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.