Let $\mathbb{V}$ be a polarized variation of integral Hodge structure on a smooth complex quasi-projective variety $S$. In this paper, we show that the union of the non-factor special subvarieties for $(S, \mathbb{V})$, which are of Shimura type with dominant period maps, is a finite union of special subvarieties of $S$. This generalizes previous results of Clozel and Ullmo arXiv:math/0404131, Ullmo \cite{Ullmo07} on the distribution of the non-factor (in particular, strongly) special subvarieties in a Shimura variety to the non-classical setting and also answers positively the geometric part of a conjecture of Klingler on the André-Oort conjecture for variations of Hodge structures.
We construct canonical non-vanishing global sections of powers of the Hodge bundle on each Ekedahl-Oort stratum of a Hodge type Shimura variety. In particular we recover the quasi-affineness of the Ekedahl-Oort strata. In the projective case, this gives a very short proof of non-emptiness of Ekedahl-Oort strata. It follows that the Newton strata are also nonempty, by a result of S.Nie. We also deduce the fact that the $μ$-ordinary locus is determined by the Ekedahl-Oort strata of its image by any embedding.
We show that the zip stratification given by an arbitrary $\Ghat$-zip over a scheme is pure. We deduce purity of the level-$m$-stratification for truncated Barsotti-Tate groups and purity of the Ekedahl-Oort stratification for special fibers of good models of Shimura varieties of Hodge type. We also show that all Ekedahl-Oort strata are quasi-affine schemes and generalize several properties of the Bruhat stratification from the PEL case to the case of Shimura varieties of Hodge type.
For a Shimura variety of Hodge type with hyperspecial level structure at a prime $p$, Vasiu and Kisin constructed a smooth integral model (namely the integral canonical model) uniquely determined by a certain extension property. We define and study the Ekedahl-Oort stratifications on the special fibers of those integral canonical models when $p>2$. This generalizes Ekedahl-Oort stratifications defined and studied by Oort on moduli spaces of principally polarized abelian varieties and those defined and studied by Moonen, Wedhorn and Viehmann on good reductions of Shimura varieties of PEL type. …
We give a proof of the André-Oort conjecture for $\mathcal{A}_g$ - the moduli space of principally polarized abelian varieties. In particular, we show that a recently proven `averaged' version of the Colmez conjecture yields lower bounds for Galois orbits of CM points. The André-Oort conjecture then follows from previous work of Pila and the author.
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 S(p^\infty) of the Ekedahl-Oort stratification on the mod p special fiber of S and the pull back to S(p^\infty) of the fine Deligne-Lusztig stratification on the mod p special fiber of the flag variety which is the target of the Hodge-Tate period map. An application to the non-emptiness of Ekedhal-Oort strata is provided.
We establish the equidistribution with respect to the bifurcation measure of post-critically finite maps in any one-dimensional algebraic family of unicritical polynomials. Using this equidistribution result, together with a combinatorial analysis of certain algebraic correspondences on the complement of the Mandelbrot set $M_2$ (or generalized Mandelbrot set $M_d$ for degree $d>2$), we classify all complex plane curves $C$ with Zariski-dense subsets of points $(a,b)\in C$, such that both $z^d+a$ and $z^d+b$ are simultaneously post-critically finite for a fixed degree $d\geq 2$. Our result is …
We prove in this paper the Ax-Lindemann-Weierstrass theorem for all mixed Shimura varieties and discuss the lower bounds for Galois orbits of special points of mixed Shimura varieties. In particular we reprove a result of Silverberg in a different approach. Then combining these results we prove the André-Oort conjecture for any mixed Shimura variety whose pure part is a subvariety of A_6^n.
In the proofs of most cases of the André-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 currently known effectively (by other methods). We give an effective proof of André-Oort for non-compact curves in every Hilbert modular surface and every Hilbert modular variety of odd genus (under a minor generic simplicity condition). In particular we show that in these cases the first step may be replaced by the endomorphism estimates of Wüstholz and the second …
In the moduli space of degree d polynomials, the special subvarieties are those cut out by critical orbit relations, and then the special points are the post-critically finite polynomials. It was conjectured that in the moduli space of degree d polynomials, the subvarieties containing a Zariski-dense set of special points are exactly these special subvarieties. In this article, we prove the first non-trivial case for this conjecture: the case of cubic polynomials.
Let $Z=X_1\times...\times X_n$ be a product of Drinfeld modular curves. We characterize those algebraic subvarieties $X \subset Z$ containing a Zariski-dense set of CM points, i.e. points corresponding to $n$-tuples of Drinfeld modules with complex multiplication (and suitable level structure). This is a characteristic $p$ analogue of a special case of the André-Oort conjecture. We follow closely the approach used by Bas Edixhoven in characteristic zero, see math.NT/0302138. Note that in this paper we assume that the characteristic $p$ is odd, and we only treat the case of Drinfeld $F_q[T]$-mo…
Let $X\subset Y(1)^n$ be a subvariety defined over a number field $\mathbb F$ and let $(P_1,\ldots,P_n)\in X$ be a special point not contained in a positive-dimensional special subvariety of $X$. We show that the if a coordinate $P_i$ corresponds to an order not contained in a single exceptional Siegel-Tatuzawa imaginary quadratic field $K_*$ then the associated discriminant $|Δ(P_i)|$ is bounded by an effective constant depending only on $\operatorname{deg} X$ and $[{\mathbb F}:{\mathbb Q}]$. We derive analogous effective results for the positive-dimensional maximal special subvarieties. From…
We prove a $p$-adic analogue of the André-Oort conjecture for subvarieties of the universal abelian varieties containing a dense set of special points. Let $g$ and $n$ be integers with $n \geq 3$ and $p$ a prime number not dividing $n$. Let $R$ be a finite extension of $W[{\mathbb F}_p^{\mathrm alg}]$, the ring of Witt vectors of the algebraic closure of the field of $p$ elements. The moduli space $\cA = \cA_{g,1,n}$ of $g$-dimensional principally polarized abelian varieties with full level $n$-structure as well as the universal abelian variety $π:\cX \to \cA$ over $\cA$ may be defined over $R…
A characterization of subvarieties of Shimura varieties which contain a Zariski dense subset of weakly special subvarieties has been proved by the second author, by combining o-minimality results and functional transcendence results. In this paper, we obtain a new proof of this statement by dynamics techniques on homogeneous spaces in the spirit of the earlier work of Clozel and the second author. The proof combines ergodic theory à la Ratner, with a statement on the dimension of a Hausdorff limit of a sequence of definable subsets (in an o-minimal theory) extracted from a definable family. On…
We review the Newton stratification and Ekedahl-Oort stratification on the special fiber of a smooth integral model for a Shimura variety of Hodge type at a prime of good reduction. We show that the μ-ordinary locus coincides with the generic Ekedahl-Oort stratum, and that for any two geometric points in the μ-ordinary locus there is an isomorphism of the attached Dieudonne modules with additional structure. As a consequence, we proof that the μ-ordinary locus is open and dense, thus generalizing the results which were already known in the PEL-case. To prove our results we provide a method whi…
We present a conjecture on the geometry of the Hodge locus of a (graded polarizable, admissible) variation of mixed Hodge structure over a complex smooth quasi-projective base, generalizing to this context the Zilber-Pink Conjecture for mixed Shimura varieties (in particular the André-Oort conjecture).
We construct group-theoretical generalizations of the Hasse invariant on strata closures of the stacks $G$-Zip$^μ$. Restricting to zip data of Hodge type, we obtain a group-theoretical Hasse invariant on every Ekedahl-Oort stratum closure of a general Hodge-type Shimura variety. A key tool is the construction of a stack of zip flags $G$-ZipFlag$^μ$, fibered in flag varieties over $G$-Zip$^μ$. It provides a simultaneous generalization of the "classical case" homogeneous complex manifolds studied by Griffiths-Schmid and the "flag space" for Siegel varieties studied by Ekedahl-van der Geer. Four …
The moduli space of principally polarized abelian varieties $A_g$ of genus g is defined over the integers and admits a minimal compactification $A_g^*$, also defined over the integers. The Hodge bundle over $A_g$ has its Chern classes in the Chow ring of $A_g$ with rational coefficients. We show that over the prime field $F_p$, these Chern classes naturally lift to $A_g^*$ and do so in the best possible way: despite the highly singular nature of $A_g^*$ they are represented by algebraic cycles on $A_g^*\otimes F_p$ which define elements in its bivariant Chow ring. This is in contrast to the si…
We prove, following Deligne and André, that the Hodge classes on abelian varieties of CM-type can be expressed in terms of divisor classes and split Weil classes, and we describe some consequences. In particular, we show that Grothendieck's standard conjecture of Lefschetz type implies the Hodge conjecture for abelian varieties (Abdulali, André, ...).
The André-Pink-Zannier conjecture concerns the intersection of subvarieties and the generalized Hecke orbit of a given point in mixed Shimura varieties. It is part of the Zilber-Pink conjecture. In this paper we focus on the universal family of principally polarized abelian varieties. We explain the moduli interpretation of the conjecture in this case and prove several different cases for this conjecture: its overlap with the André-Oort conjecture; when the subvariety is contained in an abelian scheme over a curve and the point is a torsion point on its fiber; when the subvariety is a curve.
We prove the existence of an Abelian variety $A$ of dimension $g$ over $\Qa$ which is not isogenous to any Jacobian, subject to the necessary condition $g>3$. Recently, C.Chai and F.Oort gave such a proof assuming the André-Oort conjecture. We modify their proof by constructing a special sequence of CM points for which we can avoid any unproven hypotheses. We make use of various techniques from the recent work of Klingler-Yafaev et al.
A strongly special subvariety of a Shimura variety $S$ is (essentially) a subvariety associated to a semi-simple sub-Shimura datum. We prove that the set of probability measures canonically associated to to strongly special subvarieties is compact. More precisely: If $μ_n$ is a sequence of such probability measures associated to strongly special subvarieties $Z_n$ of $S$ there exists a subsequence $μ_{n_k}$ which converge to a measure $μ_Z$ canonically associated to a strongly special subvariety $Z$ and for all $k>>0$ $Z_{n_k}$ is contained in $Z$. We give some application to the Andre-Oort co…
Let $S$ be the special fibre of a Shimura variety of Hodge type, with good reduction at a place above $p$. We give an alternative construction of the zip period map for $S$, which is used to define the Ekedahl-Oort strata of $S$. The method employed is local, $p$-adic, and group-theoretic in nature.
A conjecture by Yves Andre and Frans Oort says that closed subvarieties of Shimura varieties that contain a Zariski dense subset of special points are subvarieties of Hodge type. We prove this in the case where the subvariety is a curve that contains infinitely many special points that lie in one Hecke orbit. Via work of Juergen Wolfart, Paula Cohen and Gisbert Wuestholz, this result has an application to algebraicity of values of hypergeometric functions.
André used Hodge-theoretic methods to show that in a smooth proper family X to B of varieties over an algebraically closed field k of characteristic 0, there exists a closed fiber having the same Picard number as the geometric generic fiber, even if k is countable. We give a completely different approach to André's theorem, which also proves the following refinement: in a family of varieties with good reduction at p, the locus on the base where the Picard number jumps is nowhere p-adically dense. Our proof uses the ``p-adic Lefschetz (1,1) theorem'' of Berthelot and Ogus, combined with an anal…
For an affine toric variety $\mathrm{Spec}(A)$, we give a convex geometric description of the Hodge decomposition of its Hochschild cohomology. Under certain assumptions we compute the dimensions of the Hodge summands $T^1_{(i)}(A)$, generalizing the existing results about the Andre-Quillen cohomology group $T^1_{(1)}(A)$. We prove that every Poisson structure on a possibly singular affine toric variety can be quantized in the sense of deformation quantization.
An abelian category of relative pure motives is constructed along the lines of André (over a field of characteristic 0). An algebraic stack is shown to possess a motive in this sense. This motive is studied for the moduli stack of G-bundles over the universal curve for appropriate G, and a motivic Atiyah-Bott formula is obtained. By taking Hodge realization, a description of the corresponding variations of Hodge structures over M_g is given. In particular, it follows that these lie in the tensor category generated by the variation of Hodge structure associated to the curve itself. Similar resu…
Let $Y$ be a subvariety contained in a smooth Mumford compactification of an orthogonal Shimura variety $M \subset A_g$, where $A_g$ is the moduli space of principally polarized abelian varieties of dimension $g$ with some level structure, such that $Y$ intersects the boundary of $A_g$ transversally. Then we give necessary and sufficient conditions of André-Oort type for $Y$ itself being the compactification of a special subvariety $Y^0 \subset M$
We explore an analogue of the André-Oort conjecture for subvarieties of Drinfeld modular varieties. The conjecture states that a subvariety $X$ of a Drinfeld modular variety contains a Zariski-dense set of complex multiplication (CM) points if and only if $X$ is a "special" subvariety (i.e. $X$ is defined by requiring additional endomorphisms). We prove this conjecture in two cases. Firstly when $X$ contains a Zariski-dense set of CM points with a certain behaviour above a fixed prime (which is the case if these CM points lie in one Hecke orbit), and secondly when $X$ is a curve containing inf…
We study an algebraic cycle of the form $Z_0= r {\mathbb P}^{\frac{n}{2}}+\check r \check{\mathbb P}^{\frac{n}{2}}$, $r \in{\mathbb N},\check r \in{\mathbb Z},\ \ 1\leq r , |\check r |\leq 10,\ \ \gcd ( r ,\check r )=1$, inside the cubic Fermat variety $X_0$ of even dimension $n\geq 4$ and with $\dim\left ({\mathbb P}^{\frac{n}{2}}\cap \check{\mathbb P}^{\frac{n}{2}}\right)=m$. We take a smooth deformation space $\sf S$ of $X_0$ such that the triple $(X_0, {\mathbb P}^\frac{n}{2}, \check{\mathbb P}^\frac{n}{2})$ becomes rigid. For $m=\frac{n}{2}-2$ and for many examples of $N\in{\mathbb N}$ an…
We show that the André motive of a hyper-Kähler variety $X$ over a field $K \subset \mathbb{C}$ with $b_2(X)>6$ is governed by its component in degree $2$. More precisely, we prove that if $X_1$ and $X_2$ are deformation equivalent hyper-Kähler varieties with $b_2(X_i)>6$ and if there exists a Hodge isometry $f\colon H^2(X_1,\mathbb{Q})\to H^2(X_2,\mathbb{Q})$, then the André motives of $X_1$ and $X_2$ are isomorphic after a finite extension of $K$, up to an additional technical assumption in presence of non-trivial odd cohomology. As a consequence, the Galois representations on the étale coho…
Let X be a Mumford-Tate variety, i.e., a quotient of a Mumford-Tate domain D by a discrete subgroup. Mumford-Tate varieties are generalizations of Shimura varieties. We define the notion of a special subvariety Y in X (of Shimura type), and formulate necessary criteria for Y to be special. Our method consists in looking at finitely many compactified special curves C_i in Y, and testing whether the inclusion of the union of all C_i in Y satisfies certain properties. One of them is the so-called relative proportionality condition. In this paper, we give a new formulation of this numerical criter…
Let $S$ be a Shimura variety and let $h$ be a Weil height function on $S$. We conjecture that the heights of special points in $S$ are discriminant negligible. Assuming this conjecture to be true, we prove that the sizes of the Galois orbits of special points grow as a fixed power of their discriminant (an invariant we will define in the text). In the case of Shimura varieties of abelian type, the height bound holds by the recently proved averaged Colmez formula, and our theorem gives a new proof of Tsimerman's Galois lower bound in this case. The main novelty is that our approach avoids the u…
