Hyperbolic Ax-Lindemann theorem in the cocompact case

We prove an analogue of the classical Ax-Lindemann theorem in the context of compact Shimura varieties. Our work is motivated by J. Pila's strategy for proving the Andr\'e-Oort conjecture unconditionally