TY - JOUR

T1 - Pseudo-exponential maps, variants, and quasiminimality

AU - Bays, Martin

AU - Kirby, Jonathan

PY - 2018/6/12

Y1 - 2018/6/12

N2 - We give a construction of quasiminimal fields equipped with pseudo-analytic maps, generalizing Zilber’s pseudo-exponential function. In particular we construct pseudo-exponential maps of simple abelian varieties, including pseudo-℘-functions for elliptic curves. We show that the complex field with the corresponding analytic function is isomorphic to the pseudo-analytic version if and only if the appropriate version of Schanuel’s conjecture is true and the corresponding version of the strong exponential-algebraic closedness property holds. Moreover, we relativize the construction to build a model over a fairly arbitrary countable subfield and deduce that the complex exponential field is quasiminimal if it is exponentially-algebraically closed. This property states only that the graph of exponentiation has nonempty intersection with certain algebraic varieties but does not require genericity of any point in the intersection. Furthermore, Schanuel’s conjecture is not required as a condition for quasiminimality.

AB - We give a construction of quasiminimal fields equipped with pseudo-analytic maps, generalizing Zilber’s pseudo-exponential function. In particular we construct pseudo-exponential maps of simple abelian varieties, including pseudo-℘-functions for elliptic curves. We show that the complex field with the corresponding analytic function is isomorphic to the pseudo-analytic version if and only if the appropriate version of Schanuel’s conjecture is true and the corresponding version of the strong exponential-algebraic closedness property holds. Moreover, we relativize the construction to build a model over a fairly arbitrary countable subfield and deduce that the complex exponential field is quasiminimal if it is exponentially-algebraically closed. This property states only that the graph of exponentiation has nonempty intersection with certain algebraic varieties but does not require genericity of any point in the intersection. Furthermore, Schanuel’s conjecture is not required as a condition for quasiminimality.

KW - exponential fields

KW - predimension

KW - categoricity

KW - Schanuel conjecture

KW - Ax–Schanuel

KW - Zilber–Pink

KW - quasiminimality

KW - Kummer theory

U2 - 10.2140/ant.2018.12.493

DO - 10.2140/ant.2018.12.493

M3 - Article

VL - 12

SP - 493

EP - 549

JO - Algebra and Number Theory

JF - Algebra and Number Theory

SN - 1937-0652

IS - 3

ER -