The hyperbolic Ax-Lindemann-Weierstrass conjecture is a functional algebraic independence statement
for the uniformizing map of an arithmetic variety. In this talk I will describe the conjecture, its role and
its proof (joint work with E. Ullmo and A. Yafaev).
Links:
[1] http://www.mpim-bonn.mpg.de/de/taxonomy/term/39
[2] http://www.mpim-bonn.mpg.de/de/node/3444
[3] http://www.mpim-bonn.mpg.de/de/node/6370