Ax–Lindemann conjecture for variations of mixed integral Hodge structures

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

$$\overline{\pi(Y)}^{\operatorname{Zar}}$$

is a bi-algebraic subvariety of $(S,\mathbb{V})$, equivalently, it is weakly special for $(S,\mathbb{V})$. The source presents this as a specialization of the Ax–Schanuel conjecture and does not report a resolution in the mixed setting.