Abstract:Given a polarizable $\mathbb{Z}$-variation of Hodge structures $\mathbb{V}$ over a complex smooth quasi-projective base $S$, a classical result of Cattani, Deligne and Kaplan says that its Hodge locus (i.e. the locus where exceptional Hodge tensors appear) is a countable union of irreducible algebraic subvarieties of $S$, called the special subvarieties for $\mathbb{V}$. Our main result in this paper is that, if the level of $\mathbb{V}$ is at least $3$, this Hodge locus is in fact a finite union of such special subvarieties (hence is algebraic), at least if we restrict ourselves to the Hodge locus factorwise of positive period dimension. For instance the Hodge locus of positive period dimension of the universal family of degree $d$ smooth hypersurfaces in $\mathbf{P}^{n+1}_\mathbb{C}$, $n\geq 3, d\geq 5$ and $(n,d)\neq (4,5)$, is algebraic. On the other hand we prove that in level $1$ or $2$, the Hodge locus is analytically dense in $S^{an}$ as soon as it contains one typical special subvariety. These results follow from a complete elucidation of the distribution in $S$ of the special subvarieties in terms of typical/atypical intersections, with the exception of the atypical special subvarieties of zero period dimension.

Some density results for hyperkähler manifolds

Hodge theory and Lagrangian fibrations on holomorphic symplectic manifolds

The Density Property for Vector Bundles

Roundness of the ample cone and existence of double Lagrangian fibrations on hyperkahler manifolds

Gromov–Hausdorff Limits of Kähler Manifolds and Algebraic Geometry

On the distribution of the Hodge locus

Non-density results in high dimensional stable Hamiltonian topology

Existence and density of typical Hodge loci

On Chern classes of Lagrangian fibered hyper-Kähler manifolds

Density of Noether-Lefschetz loci for surfaces in Fano and Calabi-Yau threefolds

Paucity of rational points on fibrations with multiple fibres

Boundedness results for families of non-canonically polarized projective varieties

Counting Rational Curves and Standard Complex Structures on HyperKähler ALE 4-manifolds

Hamiltonian stationary Lagrangian fibrations

Non-density of the exceptional components of the Noether-Lefschetz locus

On boundedness and moduli spaces of K-stable Calabi-Yau fibrations over curves

On the density of singular hyperbolic three-dimensional vector fields: a conjecture of Palis

Kähler metrics and toric Lagrangian fibrations

Kummer rigidity for hyperkähler automorphisms

On the formality of nearly Kähler manifolds and of Joyce's examples in $G_2$-holonomy