The Tate-linear conjecture for products of GSpin Shimura varieties
Let f:X0→SI,F∞ordf:X_0\to\mathscr{S}_{\mathbf{I},F_{\infty}}^{\operatorname{ord}}f:X0→SI,F∞ord be a locally closed immersion, so that XXX is a subvariety of…
Chai's formal-torus conjecture for ordinary points on mod ppp Shimura varieties
Chai's conjecture. Then XXX is a Shimura subvariety.