The Hitchin morphism for K-trivial varieties

Abstract: We study the Hitchin morphism for higher dimensional varieties and show that, for a certain class of varieties which we call r-small, the set-theoretic image of the Hitchin morphism from the Dolbeault moduli space coincides with the spectral base. In other words, a stronger version of the conjecture of Chen and Ngô holds for this class of varieties, which includes K-trivial varieties. As part of the proof, we slightly modify the construction of spectral covers to obtain normal spectral covers.

• The paper establishes surjectivity of the restricted Hitchin morphism for K-trivial and r-small varieties using refined spectral cover constructions.
• It introduces a stratified spectral base and normalization techniques to connect global differential data with stable Higgs bundles.
• Implications include advances in nonabelian Hodge theory, moduli classification, and the development of new birational invariants.

The Hitchin Morphism for $K$-Trivial Varieties: Summary and Implications

Introduction and Context

The paper "The Hitchin morphism for $K$-trivial varieties" (2604.03217) addresses the extension of the classical Hitchin morphism, originally formulated for curves, to higher-dimensional complex projective varieties, with a central focus on those with numerically trivial canonical divisors ($K$-trivial varieties). The Hitchin morphism $h^r_X$ maps the moduli stack of rank $r$ Higgs bundles on $X$ to the so-called Hitchin base $\mathscr{A}^r_X$, constructed from global symmetric differentials of the cotangent bundle. For curves, surjectivity is guaranteed by dimension and local reasons, but for higher dimensions, $h^r_X$ is generally not surjective, and the characterization of its image is nontrivial.

Recent work by Chen and Ngô introduces the spectral base $\mathscr{B}^r_X$ as a specific closed subspace of $\mathscr{A}^r_X$ related to spectral data, conjecturing that $K$0 is surjective onto $K$1. This paper strengthens that conjecture by identifying sufficient geometric conditions—encapsulated in the notion of $K$2-smallness—that guarantee surjectivity, with $K$3-trivial varieties being a principal example.

Main Results: Surjectivity on $K$4-Trivial and $K$5-Small Varieties

The authors prove the following claims:

• For any smooth projective variety with numerically trivial $K$6, the restricted Hitchin morphism $K$7 is surjective for all ranks $K$8.
• This surjectivity actually holds for any $K$9-small variety, a class defined by slope-semistability and a vanishing condition on symmetric differentials: a variety is $K$0-small if $K$1 is slope-semistable and $K$2 for all $K$3. This ensures absence of nontrivial global sections vanishing in codimension 1.
• Every fiber of $K$4 contains an étale-trivializable Higgs bundle whose underlying vector bundle is semistable with vanishing Chern classes.

These results rely on a careful modification of spectral cover constructions, ensuring normality, and purity results about branch loci to guarantee the generic étaleness required for polystability and triviality of Chern classes.

Technical Approach

The paper develops the following key technical elements:

• Spectral Base and Stratification: The authors clarify the construction of the Hitchin and spectral bases and their relationships via elementary symmetric polynomials and Chow schemes. The spectral base admits a stratification by factorization types of characteristic polynomials, with irreducible polynomials corresponding to open strata.
• Spectral Covers and Normalization: For a given spectral datum $K$5, a spectral cover $K$6 is constructed as a finite morphism, generically étale over loci where the discriminant does not vanish. The cover is normalized to obtain a coherent, reflexive Higgs sheaf, pushing spectral data to actual Higgs bundles.
• Purity and Branch Loci: Using purity of branch loci, whenever the discriminant $K$7 vanishes in codimension $K$8, normalized spectral covers are étale, ensuring the existence of stable Higgs bundles for any spectral datum.
• Birational Invariance: The image of the Hitchin morphism is shown to be birationally invariant, justifying reformulations of the surjectivity conjecture in terms of birational geometry and resolutions.

Numerical and Structural Insights

Strong structural claims are articulated in the following points:

• Spectral base is connected via a $K$9-action.
• For surfaces, all spectral data are realized, confirming the Chen-Ngô conjecture (also by Song-Sun).
• For $h^r_X$0-small and $h^r_X$1-trivial varieties, surjectivity extends to higher dimensions and ranks.
• Spectral base can be presented as a finite union of images from finite étale covers, giving a concrete decomposition tied to geometry and fundamental group representations.

The paper also discusses edge cases—examples where surjectivity fails and instances where spectral bases are zero, e.g., quotients of bounded symmetric domains.

Implications and Future Directions

Theoretical Implications

• Deepening the connection between the geometry of higher-dimensional varieties and nonabelian Hodge theory: The surjectivity of the Hitchin morphism onto the spectral base for $h^r_X$2-trivial and $h^r_X$3-small varieties tightly links their structure to representations of their étale fundamental group, spectral data, and moduli theory.
• Extension of the classical correspondence between local systems, Higgs bundles, and spectral data to broader classes of varieties: This result establishes a more general nonabelian Hodge framework.
• Birational invariance of spectral data images points to further geometric stability, potentially enabling new invariants for classifying varieties via their Hitchin moduli image.

Practical Implications

• Higgs bundle moduli on $h^r_X$4-trivial varieties, including Calabi-Yau and abelian varieties, can be systematically classified via their spectral data.
• The existence of polystable bundles with vanishing Chern classes for every spectral datum enables applications in mirror symmetry, arithmetic geometry, and the study of geometric structures on moduli spaces.

Future Directions

• Necessary and sufficient conditions for surjectivity beyond $h^r_X$5-smallness: The authors note difficulty in checking the symmetric differential vanishing hypothesis, implying future work may refine these criteria or find new geometric approaches.
• Study of the geometry and irreducibility of the spectral base itself across broader classes of varieties.
• Algorithmic and computational approaches to constructing spectral covers and Dolbeault moduli points for explicit varieties.
• Potential expansions to $h^r_X$6-Higgs bundles for reductive groups, as suggested by the conjecture's full scope.
• Interplay with birational geometry, moduli stabilization, and the construction of new invariants for higher-dimensional varieties.

Conclusion

This paper rigorously advances the understanding of the Hitchin morphism in higher dimensions, providing explicit surjectivity results for $h^r_X$7-trivial and $h^r_X$8-small varieties. It connects spectral data, Higgs bundles, and geometric structures in a way that extends classical theory and prompts further research into the geometric and topological nature of moduli spaces and their invariants. The results contribute to the theoretical foundation for nonabelian Hodge theory in higher-dimensional algebraic geometry and have significant ramifications for future studies in moduli theory, birational invariants, and related areas in mathematics.