Ax-Schanuel for Shimura varieties
Appears in collection : Model Theory and Applications
In 1971, Ax proved functional versions of Scahanuel’s conjecture for the expoential function, including in the setting of differential fields. This result is known as “Ax-Schanuel”. I will describe joint work with N. Mok and J. Tsimerman proving analogues of Ax-Schanuel for Shimura varieties.