Ax-Schanuel for the j-function
  In this paper we prove a functional transcendence statement for the j-function which is an analogue of the Ax-Schanuel theorem for the exponential function. It asserts, roughly, that atypical algebraic relations among functions and their compositions with the j-function are governed by modular relations. 
Jonathan Pila, Jacob Tsimerman
math.LO math.NT