## Duke Mathematical Journal

### Definability of restricted theta functions and families of abelian varieties

#### Abstract

We consider some classical maps from the theory of abelian varieties and their moduli spaces, and we prove their definability on restricted domains in the o-minimal structure $\mathbb {R}_{\mathrm {an,\,exp}}$. In particular, we prove that the projective embedding of the moduli space of the principally polarized abelian variety $\operatorname{Sp}(2g,\mathbb {Z})\backslash \mathbb {H}_{g}$ is definable in $\mathbb {R}_{\mathrm {an,\,exp}}$ when restricted to Siegel’s fundamental set $\mathfrak {F}_{g}$. We also prove the definability on appropriate domains of embeddings of families of abelian varieties into projective spaces.

#### Article information

Source
Duke Math. J., Volume 162, Number 4 (2013), 731-765.

Dates
First available in Project Euclid: 15 March 2013

https://projecteuclid.org/euclid.dmj/1363355692

Digital Object Identifier
doi:10.1215/00127094-2080018

Mathematical Reviews number (MathSciNet)
MR3039679

Zentralblatt MATH identifier
1284.03215

#### Citation

Peterzil, Ya’acov; Starchenko, Sergei. Definability of restricted theta functions and families of abelian varieties. Duke Math. J. 162 (2013), no. 4, 731--765. doi:10.1215/00127094-2080018. https://projecteuclid.org/euclid.dmj/1363355692

#### References

• [1] W. L. Baily Jr., On the theory of $\theta$-functions, the moduli of abelian varieties, and the moduli of curves, Ann. of Math. (2) 75 (1962), 342–381.
• [2] W. L. Baily Jr. and A. Borel, Compactification of arithmetic quotients of bounded symmetric domains, Ann. of Math. (2) 84 (1966), 442–528.
• [3] C. Birkenhake and H. Lange, Complex Abelian Varieties, 2nd ed., Grundlehren Math. Wiss. 302, Springer, Berlin, 2004.
• [4] J.-B. Bost, “Introduction to compact Riemann surfaces, Jacobians, and abelian varieties” in From Number Theory to Physics (Les Houches, 1989), Springer, Berlin, 1992, 64–211.
• [5] A. M. Gabrièlov, Projections of semianalytic sets, Funkcional. Anal. i Priložen 2 (1968), 18–30.
• [6] J.-B. Hiriart-Urruty and C. Lemaréchal, Fundamentals of Convex Analysis, Grundlehren Text Ed., Springer, Berlin, 2001.
• [7] Jun-ichi Igusa, On the graded ring of theta-constants, II, Amer. J. Math. 88 (1966), 221–236.
• [8] J.-i. Igusa, Theta Functions, Grundlehren Math. Wiss. 194, Springer, New York, 1972.
• [9] H. Klingen, Introductory Lectures on Siegel Modular Forms, Cambridge Stud. Adv. Math. 20, Cambridge Univ. Press, Cambridge, 1990.
• [10] B. Klingler and A. Yafaev, The André–Oort conjecture, preprint, arXiv:1209.0936 [math.NT].
• [11] D. Mumford, Tata Lectures on Theta, I, Progr. Math. 28, Birkhäuser, Boston, 1983.
• [12] Y. Peterzil and S. Starchenko, Uniform definability of the Weierstrass $\wp$ functions and generalized tori of dimension one, Selecta Math. (N.S.) 10 (2004), 525–550.
• [13] Ya’acov Peterzil and Sergei Starchenko, Complex analytic geometry and analytic-geometric categories, J. Reine Angew. Math. 626 (2009), 39–74.
• [14] Y. Peterzil and S. Starchenko, Mild manifolds and a non-standard Riemann existence theorem, Selecta Math. (N.S.) 14 (2009), 275–298.
• [15] Ya’acov Peterzil and Sergei Starchenko, “Tame complex analysis and o-minimality” in Proceedings of the International Congress of Mathematicians, Vol. II, Hindustan Book Agency, 2010, 58–81.
• [16] J. Pila, Rational points of definable sets and results of André–Oort–Manin–Mumford type, Int. Math. Res. Not. IMRN 13 (2009), 2476–2507.
• [17] J. Pila, O-minimality and the André–Oort conjecture for $\mathbb{C}^{n}$, Ann. of Math. (2) 173 (2011), 1779–1840.
• [18] J. Pila and A. J. Wilkie, The rational points of a definable set, Duke Math. J. 133 (2006), 591–616.
• [19] C. L. Siegel, Lectures on Quadratic Forms, notes by K. G. Ramanathan, Tata Inst. Fund. Res. Lectures Math. 7, Tata Inst. Fund. Res., Bombay, 1967.
• [20] A. Terras, Harmonic Analysis on Symmetric Spaces and Applications, II, Springer, Berlin, 1988.
• [21] L. van den Dries, Tame Topology and O-Minimal Structures, London Math. Soc. Lecture Note Ser. 248, Cambridge Univ. Press, Cambridge, 1998.
• [22] L. van den Dries, A. Macintyre, and D. Marker, The elementary theory of restricted analytic fields with exponentiation, Ann. of Math. (2) 140 (1994), 183–205.
• [23] L. van den Dries and C. Miller, On the real exponential field with restricted analytic functions, Israel J. Math. 85 (1994), 19–56.
• [24] Lou van den Dries and Christopher Miller, Geometric categories and o-minimal structures, Duke Math. J. 84 (1996), 497–540.
• [25] G. van der Geer, “Siegel modular forms and their applications” in The 1-2-3 of Modular Forms (Nordfjordeid, Norway, 2004), Universitext, Springer, Berlin, 2008, 181–245.
• [26] G. M. Ziegler, Lectures on Polytopes, Grad. Texts in Math. 152, Springer, New York, 1995.