A differential approach to Ax-Schanuel, I

Abstract

In this paper, we prove several Ax-Schanuel type results for uniformizers of geometric structures; our general results describe the differential algebraic relations between the solutions of the partial differential equation satisfied by the uniformizers. In particular, we give a proof of the full Ax-Schanuel Theorem with derivatives for some uniformizers of simple projective structure on curves including uniformizers of any Fuchsian group of the first kind and any genus.

Combining our techniques with those of Ax, we give a strong Ax-Schanuel result for the combination of the derivatives of the $j$-function and the exponential function. In the general setting of Shimura varieties, we obtain an Ax-Schanuel theorem for the derivatives of uniformizing maps.

Our techniques combine tools from differential geometry, differential algebra and the model theory of differentially closed fields.

Authors

David Blázquez-Sanz

Universidad Nacional de Colombia - Sede Medellín, Facultad de Ciencias, Departamento de Matemáticas, Colombia

Guy Casale

Université Rennes, CNRS, IRMAR-UMR 6625, F-35000 Rennes, France

James Freitag

University of Illinois Chicago, Department of Matheamtics, Statistics, and Computer Science, 851 S. Morgan Street, Chicago, IL, USA 60607-7045

Joel Nagloo

University of Illinois Chicago, Department of Matheamtics, Statistics, and Computer Science, 851 S. Morgan Street, Chicago, IL, USA 60607-7045