Abstract We prove a formula for the cycle class of the supersingular locus in the Chow ring with rational coefficients of the moduli space of principally polarized abelian varieties of dimension g in characteristic p. This formula determines this class as a monomial in the Chern classes of the Hodge bundle up to a factor that is a polynomial in p. This factor is known for $$g\le 3$$ g ≤ 3 . We also determine the factor for $$g=4$$ g = 4 .

We compute the degrees of the first Chern class of the Hodge bundle λ 1 \lambda _1 and of Hurwitz-Hodge classes λ 1 e \lambda _1^e on one-dimensional moduli spaces of cyclic admissible covers of a rational curve. In higher dimension, we express the divisor class λ 1 \lambda _1 as a linear combination of ψ \psi classes and boundary strata; we detail a computational scheme, and show some infinite family of examples for the classes λ 1 e \lambda _1^e .

We describe the Harder–Narasimhan filtration of the Hodge bundle for Teichmüller curves in the nonvarying strata of quadratic differentials appearing in the work of Dawei Chen and Martin Möller [Ann. Sci. ’Ec. Norm. Sup’er. (4) 47 (2014), pp. 309–369]. Moreover, we show that the Hodge bundle on the nonvarying strata away from the irregular components can split as a direct sum of line bundles. As applications, we determine all individual Lyapunov exponents of algebraically primitive Teichmüller curves in the nonvarying strata and derive new results regarding the asymptotic behavior of Lyapunov exponents.

Inside the projectivized $k$-th Hodge bundle, we construct a collection of divisors obtained by imposing vanishing at a Brill-Noether special point. We compute the classes of the closures of such divisors in two ways, using incidence geometry and restrictions to various families, including pencils of curves on K3 surfaces and pencils of Du Val curves. We also show the extremality and rigidity of the closure of the incidence divisor consisting of smooth pointed curves together with a canonical or 2-canonical divisor passing through the marked point.

Abstract We prove that the nonvarying strata of abelian and quadratic differentials in low genus have trivial tautological rings and are affine varieties. We also prove that strata of k-differentials of infinite area are affine varieties for all k. Vanishing of homology in degree higher than the complex dimension follows as a consequence for these affine strata. Moreover we prove that the stratification of the Hodge bundle for abelian and quadratic differentials of finite area is extremal in the sense that merging two zeros in each stratum leads to an extremal effective divisor in the boundary. A common feature throughout these results is a relation of divisor classes in strata of differentials as well as its incarnation in Teichmüller dynamics.

Abstract We construct vector‐valued modular forms on moduli spaces of curves and abelian varieties using effective divisors in projectivized Hodge bundles over moduli of curves. Cycle relations tell us the weight of these modular forms. In particular, we construct basic modular forms for genus 2 and 3. We also discuss modular forms on the moduli of hyperelliptic curves. In that case, the relative canonical bundle is a pull back of a line bundle on a ‐bundle over the moduli of hyperelliptic curves and we extend that line bundle to a compactification so that its push down is (close to) the Hodge bundle and use this to construct modular forms. In the Appendix, we use our method to calculate divisor classes in the dual projectivized k‐Hodge bundle determined by Gheorghita–Tarasca and by Korotkin–Sauvaget–Zograf.

Abstract We give a new proof of the classification of $\operatorname {GL}^{+}(2,{\mathbb {R}})$-orbit closures that are saturated for the absolute period foliation of the Hodge bundle. As a consequence, we obtain a short proof of the classification of closures of leaves of the absolute period foliation of the Hodge bundle. Our approach is based on a method for classifying $\operatorname {GL}^{+}(2,{\mathbb {R}})$-orbit closures using deformations of flat pairs of pants.

We describe a conjectural formula via intersection numbers for the Masur-Veech volumes of strata of quadratic differentials with prescribed zero orders, and we prove the formula for the case when the zero orders are odd. For the principal strata of quadratic differentials with simple zeros, the formula reduces to compute the top Segre class of the quadratic Hodge bundle, which can be further simplified to certain linear Hodge integrals. An appendix proves that the intersection of this class with ψ-classes can be computed by Eynard-Orantin topological recursion. As applications, we analyze numerical properties of Masur-Veech volumes, area Siegel-Veech constants and sums of Lyapunov exponents of the principal strata for fixed genus and varying number of zeros, which settles the corresponding conjectures due to Grivaux-Hubert, Fougeron, and elaborated in [the7]. We also describe conjectural formulas for area Siegel-Veech constants and sums of Lyapunov exponents for arbitrary affine invariant submanifolds, and verify them for the principal strata

Over the moduli space of pointed smooth algebraic curves, the projectivized [Formula: see text]th Hodge bundle is the space of [Formula: see text]-canonical divisors. The incidence loci are defined by requiring the [Formula: see text]-canonical divisors to have prescribed multiplicities at the marked points. We compute the classes of the closure of the incidence loci in the projectivized [Formula: see text]th Hodge bundle over the moduli space of curves with rational tails. The classes are expressed as a linear combination of tautological classes indexed by decorated stable graphs with coefficients enumerating appropriate weightings. As a consequence, we obtain an explicit expression for some relations in tautological rings of moduli of curves with rational tails.

In this paper we study the $\mathbb {C}^*$-fixed points in moduli spaces of Higgs bundles over a compact Riemann surface for a complex semisimple Lie group and its real forms. These fixed points are called Hodge bundles and correspond to complex variations of Hodge structure. We introduce a topological invariant for Hodge bundles that generalizes the Toledo invariant appearing for Hermitian Lie groups. An important result of this paper is a bound on this invariant which generalizes the Milnor–Wood inequality for a Hodge bundle in the Hermitian case, and is analogous to the Arakelov inequalities of classical variations of Hodge structure. When the generalized Toledo invariant is maximal, we establish rigidity results for the associated variations of Hodge structure which generalize known rigidity results for maximal Higgs bundles and their associated maximal representations in the Hermitian case.

We bound from below the complexity of the top Chern class $\lambda _g$ of the Hodge bundle in the Chow ring of the moduli space of curves: no formulas for $\lambda _g$ in terms of classes of degrees 1 and 2 can exist. As a consequence of the Torelli map, the 0-section over the second Voronoi compactification of the moduli of principally polarized abelian varieties also cannot be expressed in terms of classes of degree 1 and 2. Along the way, we establish new cases of Pixton's conjecture for tautological relations. In the log Chow ring of the moduli space of curves, however, we prove $\lambda _g$ lies in the subalgebra generated by logarithmic boundary divisors. The proof is effective and uses Pixton's double ramification cycle formula together with a foundational study of the tautological ring defined by a normal crossings divisor. The results open the door to the search for simpler formulas for $\lambda _g$ on the moduli of curves after log blow-ups.

We classify the possible closures of leaves of the isoperiodic foliation defined on the Hodge bundle over the moduli space of genus $$g\ge 2$$ curves and prove that the foliation is ergodic on those sets. The results derive from the connectedness properties of the fibers of the period map defined on the Torelli cover of the moduli space. Some consequences on the topology of Hurwitz spaces of primitive branched coverings over elliptic curves are also obtained. To prove the results we develop the theory of augmented Torelli space, the branched Torelli cover of the Deligne–Mumford compactification of the moduli space of curves.

Let $\mathbb {V}$ be a polarized variation of Hodge structure over a smooth complex quasi-projective variety $S$. In this paper, we give a complete description of the typical Hodge locus for such variations. We prove that it is either empty or equidistributed with respect to a natural differential form, the pull–push form. In particular, it is always analytically dense when the pull–push form does not vanish. When the weight is two, the Hodge numbers are $(q,p,q)$ and the dimension of $S$ is least $rq$, we prove that the typical locus where the Picard rank is at least $r$ is equidistributed in $S$ with respect to the volume form $c_q^r$, where $c_q$ is the $q$th Chern form of the Hodge bundle. We obtain also several equidistribution results of the typical locus in Shimura varieties: a criterion for the density of the typical Hodge loci of a variety in $\mathcal {A}_g$, equidistribution of certain families of CM points and equidistribution of Hecke translates of curves and surfaces in $\mathcal {A}_g$. These results are proved in the much broader context of dynamics on homogeneous spaces of Lie groups which are of independent interest. The pull–push form appears in this greater generality, we provide several tools to determine it, and we compute it in many examples.

Let $\mathbb {V}$ be a motivic variation of Hodge structure on a $K$-variety $S$, let $\mathcal {H}$ be the associated $K$-algebraic Hodge bundle, and let $\sigma \in \mathrm {Aut}(\mathbb {C}/K)$ be an automorphism. The absolute Hodge conjecture predicts that given a Hodge vector $v \in \mathcal {H}_{\mathbb {C}, s}$ above $s \in S(\mathbb {C})$ which lies inside $\mathbb {V}_{s}$, the conjugate vector $v_{\sigma } \in \mathcal {H}_{\mathbb {C}, s_{\sigma }}$ is Hodge and lies inside $\mathbb {V}_{s_{\sigma }}$. We study this problem in the situation where we have an algebraic subvariety $Z \subset S_{\mathbb {C}}$ containing $s$ whose algebraic monodromy group $\textbf {H}_{Z}$ fixes $v$. Using relationships between $\textbf {H}_{Z}$ and $\textbf {H}_{Z_{\sigma }}$ coming from the theories of complex and $\ell$-adic local systems, we establish a criterion that implies the absolute Hodge conjecture for $v$ subject to a group-theoretic condition on $\textbf {H}_{Z}$. We then use our criterion to establish new cases of the absolute Hodge conjecture.

Following an article of Dettweiler and Sabbah, this article studies the behaviour of various Hodge invariants by middle additive convolution with a Kummer module. The main result gives the behaviour of the nearby cycle local Hodge numerical data at infinity. We also give expressions for Hodge numbers and degrees of some Hodge bundles without making the hypothesis of scalar monodromy at infinity, which generalizes the resultsof Dettweiler and Sabbah.

Following an article of Dettweiler and Sabbah, this article studies the behaviour of various Hodge invariants by middle additive convolution with a Kummer module. The main result gives the behaviour of the nearby cycle local Hodge numerical data at infinity. We also give expressions for Hodge numbers and degrees of some Hodge bundles without making the hypothesis of scalar monodromy at infinity, which generalizes the resultsof Dettweiler and Sabbah.

We compute an explicit formula for the first Chern class of the Hodge Bundle over the space of admissible cyclic $\mathbb{Z}/3\mathbb{Z}$ covers of $n$-pointed rational stable curves as a linear combination of boundary strata. We then apply this formula to give a recursive formula for calculating certain Hodge integrals containing $\lambda_1$. We also consider covers with a ${\mathbb{Z}}/{2\mathbb{Z}}$ action for which we compute $\lambda_2$ as a linear combination of codimension two boundary strata.

The sum of Lyapunov exponents L_f of a semi-stable fibration is the ratio of the degree of the Hodge bundle by the Euler characteristic of the base. This ratio is bounded from above by the Arakelov inequality. Sheng-Li Tan showed that for fiber genus gge 2 the Arakelov equality is never attained. We investigate whether there are sequences of fibrations approaching asymptotically the Arakelov bound. The answer turns out to be no, if the fibration is smooth, or non-hyperelliptic, or has a small base genus. Moreover, we construct examples of semi-stable fibrations showing that Teichmüller curves are not attaining the maximal possible value of L_f.

The main result of this paper concerns the positivity of the Hodge bundles of abelian varieties over global function fields. As applications, we obtain some partial results on the Tate–Shafarevich group and the Tate conjecture of surfaces over finite fields.

Differential geometry, especially the use of curvature, plays a central role in modern Hodge theory. The vector bundles that occur in the theory (Hodge bundles) have metrics given by the polarizations of the Hodge structures, and the sign and singularity properties of the resulting curvatures have far reaching implications in the geometry of families of algebraic varieties. A special property of the curvatures is that they are [Formula: see text] order invariants expressed in terms of the norms of algebro-geometric bundle mappings. This partly expository paper will explain some of the positivity and singularity properties of the curvature invariants that arise in the Hodge theory with special emphasis on the norm property.