Char $p$ log Ax–Lindemann conjecture

Let $f:X\rightarrow\mathscr{A}_{g,\mathbb{F}}^{\mathrm{ord}}$ be a map from a smooth connected variety, let $x\in X(\mathbb{F})$, and let $f^{/x}:X^{/x}\rightarrow\mathscr{A}_{g,\mathbb{F}}^{/x}$ be the induced formal map. Let $\mathscr{T}_{f,x}\subseteq\mathscr{A}_{g,\mathbb{F}}^{/x}$ be the smallest formal torus through which $f^{/x}$ factors. Char $p$ log Ax–Lindemann conjecture. There exists a special subvariety of $\mathscr{A}_{g,\mathbb{F}}$ whose formal germ at $f(x)$ has $\mathscr{T}_{f,x}$ as an irreducible component. This strengthens the Tate-linear conjecture by recovering it when $f$ is a locally closed immersion and $X$ is Tate-linear at $x$; the source gives no resolution status.