Abstract:Motivated by a question of Baldi-Klingler-Ullmo, we provide a general sufficient criterion for the existence and analytic density of typical Hodge loci associated to a polarizable $\mathbb{Z}$-variation of Hodge structures $\mathbb{V}$. Our criterion reproves the existing results in the literature on density of Noether-Lefschetz loci. It also applies to understand Hodge loci of subvarieties of $\mathcal{A}_g$ . For instance, we prove that for $g \geq 4$, if a subvariety $S$ of $\mathcal{A}_g$ has dimension at least $g$ then it has an analytically dense typical Hodge locus. This applies for example to the Torelli locus of $\mathcal{A}_g$
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the existence and analytic density of the typical Hodge locus under a given polarized integral variation of Hodge structure (Z - VHS). Specifically, the goal of the paper is to provide a general sufficient condition to prove the existence and analytic density of the typical Hodge locus associated with the polarized Z - VHS. This condition can not only re - prove the existing results in the literature regarding the density of the Noether - Lefschetz locus, but also be used to understand the Hodge loci of sub - varieties of \( \mathcal{A}_g \).
### Background of the Paper
In Hodge theory, Hodge loci are important tools for studying the variation of Hodge structures. For a polarized Z - VHS \( V \) on a smooth, irreducible, and quasi - projective algebraic variety \( S \), the Hodge locus \( HL(S, V_b) \) is the set of points on \( S \) where the Mumford - Tate group of the Hodge structure is strictly contained in the universal Mumford - Tate group \( G \). These loci can be further divided into typical Hodge loci and atypical Hodge loci.
### Typical and Atypical Hodge Loci
- **Typical Hodge Locus**: If the dimension of the intersection of \( \Phi(\mathcal{S}^{\text{an}}) \) and \( \Gamma_{G_Y} \backslash D_{G_Y} \) in \( \Gamma \backslash D \) is as expected, it is called typical.
- **Atypical Hodge Locus**: If the dimension of the intersection is greater than expected, it is called atypical.
### Main Contributions of the Paper
The main contribution of the paper is to provide a sufficient condition for the density of the typical Hodge locus that is valid at any level. Specifically, the author proves the following theorem:
#### Theorem 1.9
Let \( V \) be a polarized Z - VHS on a smooth, irreducible, and quasi - projective algebraic variety \( S \), with the universal Hodge data \((G, D)\). Assume that its algebraic one - parameter group \( H = G^{\text{der}} \) and is \( \mathbb{Q}\)-simple. Let \((M, D_M)\subset (G, D)\) be a strict Hodge sub - data.
1. If \((M, D_M)\) is \( V\)-admissible, then \( HL(S, V_b, M)\) is analytically dense in \( S^{\text{an}}\).
2. If \((M, D_M)\) is strongly \( V\)-admissible, then \( HL(S, V_b, M)^{\text{typ}}\) is analytically dense in \( S^{\text{an}}\).
### Application Examples
By applying the above results, the paper re - proves classical theorems, such as the results regarding the density of the Noether - Lefschetz locus. In particular, when \( d\geq 5 \), it proves the analytic density of the Noether - Lefschetz locus of maximum codimension of degree \( d \) hypersurfaces in \( \mathbb{P}^3 \).
### Conclusion
This paper provides a new perspective on the existence and density of the typical Hodge locus and gives more refined results in some cases. These results not only promote the research of Hodge theory but also provide a powerful tool for the further development of related fields.