We prove an analogue of the classical Ax–Lindemann theorem in the context of compact Shimura varieties. Our work is motivated by Pila’s strategy for proving the André–Oort conjecture unconditionally.
"Hyperbolic Ax–Lindemann theorem in the cocompact case." Duke Math. J. 163 (2) 433 - 463, 1 February 2014. https://doi.org/10.1215/00127094-2410546