Modular Ax-Lindemann-Weierstrass with Derivatives

In a recent paper I established an analogue of the Lindemann-Weierstrass part of Ax-Schanuel for the elliptic modular function. Here I extend this to include its first and second derivatives. A generalisation is given that includes exponential and Weierstrass elliptic functions as well. 2000 Mathematics Subject Classification: 11G18, 03C64

[1]  Kurt Mahler.  On algebraic differential equations satisfied by automorphic functions , 1969 .

[2]  Jean-Pierre Serre.  A Course in Arithmetic , 1973 .

[3]  Cristiana Bertolin,et al.  Périodes de 1-motifs et transcendance , 2002 .

[4]  A. Pillay,et al.  Definable sets in ordered structures , 1984 .

[5]  Keiji Nishioka,et al.  A conjecture of Mahler on automorphic functions , 1989 .

[6]  Wadim Zudilin,et al.  Derivatives of Siegel modular forms and exponential functions , 2001 .

[7]  Alex Wilkie,et al.  The rational points of a definable set , 2006 .

[8]  E. Bombieri,et al.  Heights in Diophantine Geometry: Contents , 2006 .

[9]  James Ax,et al.  On Schanuel's Conjectures , 1971 .

[10]  L. van den Dries,et al.  Tame Topology and O-minimal Structures , 1998 .

[11]  Anand Pillay,et al.  A Lindemann-Weierstrass theorem for semi-abelian varieties over function fields , 2008, 0810.0383.

[12]  Jonathan Pila,et al.  On the algebraic points of a definable set , 2009 .

[13]  Wadim Zudilin,et al.  On the transcendence degree of the differential field generated by Siegel modular forms , 2000, math/0006176.

[14]  A. Pillay,et al.  DEFINABLE SETS IN ORDERED STRUCTURES. I , 1986 .

[15]  James Ax,et al.  Some Topics in Differential Algebraic Geometry I: Analytic Subgroups of Algebraic Groups , 1972 .

[16]  S. Lang,et al.  Introduction to Transcendental Numbers , 1967 .

[17]  Jonathan Pila,et al.  Integer points on the dilation of a subanalytic surface , 2004 .

[18]  Jacob Tsimerman,et al.  The André–Oort conjecture for the moduli space of abelian surfaces , 2011, Compositio Mathematica.

[19]  Emmanuel Ullmo,et al.  Hyperbolic Ax–Lindemann theorem in the cocompact case , 2012, 1209.0939.

[20]  Charles Steinhorn,et al.  Tame Topology and O-Minimal Structures , 2008 .

[21]  Jonathan Pila,et al.  O-minimality and the André-Oort conjecture for $\mathbb{C}^{n}$ , 2011 .

[22]  Ya'acov Peterzil,et al.  Uniform definability of the Weierstrass $\wp$ functions and generalized tori of dimension one , 2005 .