2015/12/31 by Martin Bays, Jonathan Kirby · 23 citations
Computer Science · Mathematics · #Abelian group #Abelian variety #Advanced Topology and Set Theory #Algebraic Geometry and Number Theory #Algebraic number #Conjecture #Exponentiation #Field (mathematics) #Function field #Intersection (aeronautics) #Polynomial and algebraic computation #Simple (philosophy) #math.LO #msc:03C65 #msc:03C75 #msc:12L12
paper · pdf · doi:10.2140/ant.2018.12.493
published in Algebra & Number Theory 12(3), 493-549 (Mathematical Sciences Publishers) · v3: Substantial improvements to the organisation and presentation
openalex created_date 2016/08/23 · arxiv created 2017/03/14 · openalex publication_date 2018/06/12 · arxiv updated 2018/06/20 · openalex updated_date 2026/08/05
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- [math] -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.