The Wadge hierarchy on Zariski topologies

Abstract We study the relation of continuous reducibility, or Wadge reducibility, between subsets of an affine variety. We show that on any curve the relation of continuous reducibility is a bqo, though it may have large finite antichains. We determine the Wadge hierarchy on irreducible curves and on countable irreducible affine varieties of any dimension. Under a technical assumption of adequateness, we prove that on the class of finite differences of closed subsets of an irreducible affine variety the structure of the Wadge hierarchy depends only on the dimension of the affine variety and coincides with the difference hierarchy; we also show that this assumption of adequateness is satisfied by a large class of affine varieties. In contrast, we show that for large cardinalities the behaviour of the Wadge hierarchy outside the class of finite differences of closed sets can be much wilder, for example there may exist antichains of size the continuum.

[1]  Yann Pequignot,et al.  A Wadge hierarchy for second countable spaces , 2015, Arch. Math. Log..

[2]  Philipp Schlicht,et al.  Borel subsets of the real line and continuous reducibility , 2019, Fundamenta Mathematicae.

[3]  Victor L. Selivanov,et al.  Wadge Reducibility and Infinite Computations , 2008, Math. Comput. Sci..

[4]  E. C. Milner Basic WQO- and BQO-Theory , 1985 .

[5]  Alessandro Andretta The SLO Principle and the Wadge hierarchy , 2007 .

[6]  Philipp Schlicht,et al.  Continuous reducibility and dimension of metric spaces , 2017, Arch. Math. Log..

[7]  Philipp Schlicht,et al.  Wadge-like reducibilities on arbitrary quasi-Polish spaces , 2012, Mathematical Structures in Computer Science.

[8]  C. Nash-Williams On well-quasi-ordering infinite trees , 1963, Mathematical Proceedings of the Cambridge Philosophical Society.