2 problems

Let $(S,\mathbb{V})$ be a $\mathbb{Z}$VMHS and let $Y\subset\widetilde S$ be an algebraic subvariety. Ax–Lindemann for $\mathbb{Z}$VMHS. The Zariski closure … is a bi-algebraic sub…

Let $S$ be a Shimura variety and let ${\mathcal X}$ be a complex realisation of a connected component $X^+$. Let … be the uniformisation map, and let $V$ be an algebraic subvariety…