Related papers: On the geometric Andr\'e-Oort conjecture for varia…

Let $\mathbb{V}$ be an admissible and graded-polarized integral variation of mixed Hodge structures over a smooth and irreducible complex algebraic variety $S$. We show that if the typical Hodge locus…

We formulate characteristic $p$ analogues of the Mumford--Tate and the Andr\'e--Oort conjectures for ordinary mod $p$ Shimura varieties of Hodge type, and set up general frameworks for studying them. We prove the two conjectures for…

We reinterpret and generalize the construction of local Shimura varieties and their non-minuscule analogs by viewing them as moduli spaces of admissible pairs. Our main application is a bi-analytic Ax-Lindemann theorem comparing, in the…

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…

We discuss the variations of mixed Hodge structure for cohomology with compact support of quasi-projective simple normal crossing pairs. We show that they are graded polarizable admissible variations of mixed Hodge structure. Then we prove…

This short paper is a continuation of the author's Ph.D thesis, where Ekedahl-Oort strata are defined and studied for Shimura varieties of Hodge type. The main results here are as follows. 1. The Ekedahl-Oort stratification is independent…

We prove that a Shimura curve in the Siegel modular variety is not generically contained in the open Torelli locus as long as the rank of unitary part in its canonical Higgs bundle satisfies a numerical upper bound. As an application we…

We give a new construction of $p$-adic overconvergent Hilbert modular forms by using Scholze's perfectoid Shimura varieties at infinite level and the Hodge--Tate period map. The definition is analytic, closely resembling that of complex…

We prove the $S=T$ conjecture proposed by Xiao--Zhu in \cite{2017arXiv170705700X}, making use of Scholze's theory of diamonds and v-stacks and Fargues--Scholze's geometric Satake equivalence. Following \cite{2018arXiv180205299X}, we deduce…

We discuss the relationships between the Andr\'e-Oort, Andr\'e-Pink-Zannier, and Mordell-Lang conjectures for Shimura varieties. We then combine the latter with the geometric Zilber-Pink conjecture to obtain some new results on unlikely…

Let $S$ be a Shimura variety with reflex field $E$. We prove that the action of $\operatorname{Gal}(\overline{\mathbb{Q}}/E)$ on $S$ maps special points to special points and special subvarieties to special subvarieties. Furthermore, the…

Consider the holomorphic bundle with connection on $\mathbb P^1-\{0,1,\infty\}$ corresponding to the regular hypergeometric differential operator \[ \prod_{j=1}^h(D-\alpha_j)-z\prod_{j=1}^h(D-\beta_j), \qquad D=z\frac{d}{dz}. \] If the…

In the proofs of most cases of the Andr\'e-Oort conjecture, there are two different steps whose effectivity is unclear: the use of generalizations of Brauer-Siegel and the use of Pila-Wilkie. Only the case of curves in ${\bf C}^2$ is…

We consider actions of non-compact simple Lie groups preserving an analytic rigid geometric structure of algebraic type on a compact manifold. The structure is not assumed to be unimodular, so an invariant measure may not exist. Ergodic…

Faltings proved that there are finitely many abelian varieties of genus $g$ over a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many…

We show that for a variety which admits a quasi-finite period map, finiteness (resp.~non-Zariski-density) of $S$-integral points implies finiteness (resp.~non-Zariski-density) of points over all $\mathbb{Z}$-finitely generated integral…

In this paper we prove the equidistribution of bounded sequences of special subvarieties in a general mixed Shimura varieties, a notion adapted from the pure case treated by Clozel, Ullmo, and Yafaev in the study of the Andre-Oort…

We show that very general hypersurfaces in odd-dimensional simplicial projective toric varieties verifying a certain combinatorial property satisfy the Hodge conjecture (these include projective spaces). This gives a connection between the…

Consider a Shimura variety of Hodge type admitting a smooth integral model S at an odd prime p>3. Consider its perfectoid cover S(p^\infty) and the Hodge-Tate period map introduced by A. Caraiani and P. Scholze. We compare the pull-back to…

If $S$ is a scheme of characteristic $p$, we define an $F$-zip over $S$ to be a vector bundle with two filtrations plus a collection of semi-linear isomorphisms between the graded pieces of the filtrations. For every smooth proper morphism…