Existential rank and essential dimension of diophantine sets

We study the minimal number of existential quantifiers needed to define a diophantine set over a field and relate this number to the essential dimension of the functor of points associated to such a definition.

[1]  Erik Massop.  Hilbert's tenth problem , 2012 .

[2]  Alexander Grothendieck,et al.  Technique de descente et théorèmes d'existence en géométrie algébrique. VI. Les schémas de Picard : propriétés générales , 1962 .

[3]  A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF Q , 2020 .

[4]  A. Macintyre.  On $ω_1$-categorical theories of fields , 1971 .

[5]  Alexandra Shlapentokh.  Hilbert's Tenth Problem: Diophantine Classes and Extensions to Global Fields , 2006 .

[6]  Hector Pasten,et al.  NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES , 2020, The Journal of Symbolic Logic.

[7]  Zhi-Wei Sun.  Further results on Hilbert’s Tenth Problem , 2017, Science China Mathematics.

[8]  Bjorn Poonen,et al.  HILBERT'S TENTH PROBLEM OVER RINGS OF NUMBER-THEORETIC INTEREST , 2003 .

[9]  Arno Fehm.  Embeddings of function fields into ample fields , 2011 .

[10]  Recursively enumerable sets of polynomials over a finite field are Diophantine , 2007 .

[11]  D. Marker.  Model theory : an introduction , 2002 .

[12]  Florian Pop,et al.  Embedding problems over large fields , 1996 .

[13]  Lou van den Dries,et al.  A remark on Ax's theorem on solvability modulo primes , 1991 .

[14]  J. Kollár.  Diophantine subsets of function fields of curves , 2007, 0708.3451.

[15]  Sylvy Anscombe.  Existentially generated subfields of large fields , 2017, Journal of Algebra.

[16]  Universally defining finitely generated subrings of global fields , 2018, 1812.04372.

[17]  N. Karpenko.  Upper motives of algebraic groups and incompressibility of Severi–Brauer varieties , 2009, 0904.2844.

[18]  T. Morrison,et al.  Universally and existentially definable subsets of global fields , 2016, 1609.09787.

[19]  J. Koenigsmann.  Defining Z in Q , 2010 .

[20]  Gunther Cornelissen,et al.  Stockage diophantien et hypothèse abc généralisée , 1999 .

[21]  J. Koenigsmann.  Undecidability in Number Theory , 2013, 1309.0441.

[22]  Bjorn Poonen,et al.  Multivariable polynomial injections on rational numbers , 2009, 0902.3961.

[23]  U. Zannier,et al.  On the Hilbert property and the fundamental group of algebraic varieties , 2016, 1601.07066.

[24]  T. Willmore.  Algebraic Geometry , 1973, Nature.

[25]  Jean-Pierre Serre,et al.  Topics in Galois Theory , 1992 .

[26]  D. Garling,et al.  Algebra, Volume 1 , 1969, Mathematical Gazette.

[27]  Hofreiter.  Structure of algebras , 1941 .

[28]  Bjorn Poonen,et al.  Rational Points on Varieties , 2017 .

[29]  G. Berhuy,et al.  Essential dimension: A functorial point of view (after A. Merkurjev) , 2003, Documenta Mathematica.

[30]  James P. Jones.  Universal Diophantine Equation , 1982, J. Symb. Log..

[31]  Arno Fehm,et al.  Characterizing diophantine henselian valuation rings and valuation ideals , 2016, 1602.01233.

[32]  Bjorn Poonen.  Heuristics for the Brauer–Manin Obstruction for Curves , 2006, Exp. Math..

[33]  Sangtae Jeong.  Rational Points on Algebraic Curves That Change Genus , 1997 .

[34]  Richard Elman,et al.  The Algebraic and Geometric Theory of Quadratic Forms , 2008 .

[35]  J. Stix,et al.  Field Arithmetic , 2019, Oberwolfach Reports.

[36]  E. Artin.  Algebraic Numbers and Algebraic Functions , 2006 .

[37]  Peter Roquette,et al.  Formally P-Adic Fields , 1984 .

[38]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[39]  Qing Liu,et al.  Algebraic Geometry and Arithmetic Curves , 2002 .

[40]  S. Lang,et al.  On Chevalley’s proof of Luroth’s theorem , 1952 .

[41]  A. Merkurjev,et al.  Essential dimension of quadrics , 2003 .

[42]  Barry Mazur,et al.  The Topology of Rational Points , 1992, Exp. Math..

[43]  Philip Dittmann.  Irreducibility of polynomials over global fields is diophantine , 2016, Compositio Mathematica.

[44]  L. Bary-Soroker,et al.  Explicit Hilbert’s irreducibility theorem in function fields , 2019, Contemporary Mathematics.

[45]  Ju. V. Matijasevic,et al.  ENUMERABLE SETS ARE DIOPHANTINE , 2003 .

[46]  H. Pasten.  Bivariate polynomial injections and elliptic curves , 2018, Selecta Mathematica.

[47]  L. Bary-Soroker,et al.  Open Problems in the Theory of Ample Fields , 2011, 1106.1310.

[48]  Y. Ershov.  Multi-Valued Fields , 2001 .

[49]  A. D. de Jong.  Smoothness , semi-stability and alterations , 1996 .

[50]  Alexander Merkurjev,et al.  ESSENTIAL DIMENSION , 2015 .

[51]  Sam Lichtenstein,et al.  NÉRON MODELS , 2011 .