3 problems

Let $f:X_0\to\mathscr{S}_{\mathbf{I},F_{\infty}}^{\operatorname{ord}}$ be a locally closed immersion, so that $X$ is a subvariety of…

Let $(X,x)$, $X_0$, $f$, and $\T_{f,x}$ be as in the source, with $f:X_0\to X$ and with $\T_{f,x}$ the associated Tate-linear formal object. Let…

Chai's conjecture. Then $X$ is a Shimura subvariety.