The Hitchin morphism for K-trivial varieties

Probleemstelling

Het artikel onderzoekt het gedrag van de Hitchin-morfisme ($h_X^r$) voor hogere-dimensionale variëteiten. Voor een gladde, eigentijdse variëteit $X$ over een algebraïsch gesloten lichaam $k$ van karakteristiek 0, is de Hitchin-morfisme een afbeelding van de moduli-stack $\mathcal{M}_X^r$ van Higgs-bundels van rang $r$ naar de Hitchin-basis $\mathcal{A}_X^r = \bigoplus_{i=1}^r H^0(X, \text{Sym}^i \Omega_X^1)$.

• Krommen: Wanneer $X$ een kromme is, is bekend dat de Hitchin-morfisme surjectief is.
• Hogere dimensies: Voor $\dim(X) > 1$ is de morfisme in het algemeen niet surjectief. De integrabiliteitsvoorwaarde ($\theta \wedge \theta = 0$) is niet automatisch voldaan.
• De Spectrale Basis: Chen en Ngô hebben aangetoond dat de morfisme factoriseert via een gesloten deelvariëteit $\mathcal{B}_X^r \subset \mathcal{A}_X^r$, de spectrale basis. De centrale vraag is of de beperkte morfisme $\mathcal{M}_X^r \to \mathcal{B}_X^r$ surjectief is (Conjectuur 1.1).
• Specifiek doel: De auteurs willen bepalen voor welke projectieve variëteiten de Hitchin-morfisme vanuit de Dolbeault-moduli-ruimte ($\mathcal{M}_{X,Dol}^r$, corresponderend met Gieseker-semistabiele bundels met de Hilbert-polynoom van de triviale bundel) surjectief is op de spectrale basis.

Methodologie

De auteurs gebruiken een combinatie van moduli-theorie, de constructie van spectrale overdekkingen en meetkundige eigenschappen van symmetrische differentiaalvormen.

1. Constructie van Genormaliseerde Spectrale Overdekkingen:

   • Ze herzien de constructie van spectrale overdekkingen $X_s \to X$ geassocieerd met een spectrale data $s \in \mathcal{B}_X^r$.
   • In het algemeen is $X_s$ niet noodzakelijk Cohen-Macaulay of normaal, wat de vlakheid van de projectie $\pi_s$ in gevaar brengt.
   • De auteurs introduceren een genormaliseerde spectrale overdekking $X'_s$ door de genormaliseerde vorm van de unieke irreducibele component van $X_s$ die $X$ domineert.
   • Ze maken gebruik van de zuiverheid van het vertakkingslocus (purity of branch locus): als de vertakkingslocus codimensie $\ge 2$ heeft, is de overdekking etale.

2. Analyse van Discriminant en Verdwijningsloci:

   • Ze definiëren een discriminant-afbeelding $D: \mathcal{B}_X^r \to H^0(X, \text{Sym}^{r(r-1)}\Omega_X^1)$.
   • Ze introduceren de deelverzamelingen $W^i \subset H^0(X, \text{Sym}^k \Omega_X^1)$ bestaande uit secties waarvan de verdwijningslocus codimensie $\le i$ heeft.
   • De kern van de methode is het aantonen dat als de discriminant $D(s)$ niet in $W^1$ ligt (d.w.z. de verdwijningslocus heeft codimensie $\ge 2$), de genormaliseerde overdekking $X'_s \to X$ etaal is.

3. Verbinding met Etale Bundels:

   • Als $X'_s \to X$ etaal is, correspondeert de directe beeldbundel $\pi'_s{}_* \mathcal{O}_{X'_s}$ met een representatie van de etale fundamentele groep.
   • Dit impliceert dat de resulterende Higgs-bundel etale-trivialisabel is, polystabiel is, en verdwijnende Chern-classes heeft. Dit plaatst de bundel direct in de Dolbeault-moduli-ruimte $\mathcal{M}_{X,Dol}^r$.

4. Inleiding van "r-kleine" Variëteiten:

   • Om de voorwaarden voor de surjectiviteit controleerbaar te maken, definiëren ze een klasse van variëteiten genaamd r-klein ($r$-small). Een variëteit is $r$-klein als $\Omega_X^1$ helling-semistabiel is en de helling-ongelijkheid $\mu(\text{Sym}^{k(k-1)}\Omega_X^1) < 1$ geldt voor alle $1 \le k \le r$.

Belangrijkste Bijdragen en Resultaten

1. Versterkte Conjectuur voor K-Triviale Variëteiten (Stelling 1.2 & 4.11):

   • De auteurs bewijzen dat voor elke gladde projectieve variëteit $X$ met een numeriek triviale canonieke divisor ($K_X \equiv 0$), de beperkte Hitchin-morfisme $h_{X,Dol}^r: \mathcal{M}_{X,Dol}^r \to \mathcal{B}_X^r$ surjectief is.
   • Dit geldt voor alle rangen $r \in \mathbb{N}$.
   • Dit resultaat bevestigt een versterkte versie van de conjectuur van Chen en Ngô voor deze specifieke klasse van variëteiten (waaronder Calabi-Yau variëteiten, abelse variëteiten, enz.).

2. Algemene Stelling voor $r$-Kleine Variëteiten (Stelling 1.3 & 4.10):

   • Ze tonen aan dat de surjectiviteit geldt voor een bredere klasse: $r$-kleine variëteiten.
   • Voor deze variëteiten bevat elke vezel van de Hitchin-morfisme een Higgs-bundel waarvan de onderliggende vectorbundel semistabiel is en verdwijnende Chern-classes heeft (Propositie 4.8).

3. Technische Innovatie: Genormaliseerde Spectrale Overdekkingen:

   • Ze tonen aan dat voor elke spectrale data $s$, er een reflexieve Higgs-sheaf bestaat met spectrale data $s$ (Propositie 3.5).
   • Ze bewijzen dat de spectrale basis $\mathcal{B}_X^r$ invariant is onder gladde birationale modificaties (in lijn met werk van Song-Sun), wat de conjectuur herschrijft als een birationale invariantie-vraag.

4. Structuur van de Spectrale Basis:

   • Voor variëteiten die voldoen aan de voorwaarden (zoals $K$-triviale variëteiten), tonen ze aan dat de spectrale basis een eindige unie is van beelden van etale-trivialisabele bundels (Propositie 4.12).
   • Ze merken op dat dit niet noodzakelijk impliceert dat de spectrale basis irreducibel is, wat een interessante open vraag blijft.

Betekenis

Dit artikel levert een aanzienlijke bijdrage aan het begrip van Higgs-bundels in hogere dimensies:

• Bevestiging van een Open Vraag: Het lost het probleem op voor een belangrijke en natuurlijk gedefinieerde klasse van variëteiten ($K_X \equiv 0$), waarvoor de surjectiviteit eerder slechts in specifieke gevallen (zoals oppervlakken) was bewezen.
• Verbinding tussen Meetkunde en Topologie: Door de link te leggen tussen de verdwijningsloci van symmetrische differentiaalvormen en de etale structuur van spectrale overdekkingen, bieden ze een nieuw perspectief op hoe de topologie van $X$ (via de etale fundamentele groep) de moduli-ruimte van Higgs-bundels beïnvloedt.
• Technische Vooruitgang: De methode om genormaliseerde spectrale overdekkingen te gebruiken om vlakke (en dus goed gedefinieerde) Higgs-bundels te construeren, is een krachtig hulpmiddel dat verder kan worden toegepast in de studie van moduli-ruimten voor hogere-dimensionale variëteiten.
• Verduidelijking van de Conjectuur: Het werk verduidelijkt dat de surjectiviteit van de Hitchin-morfisme sterk afhankelijk is van de meetkundige eigenschappen van de cotangentbundel $\Omega_X^1$ (specifiek de stabiliteit en de codimensie van de nulpunten van secties).

Kortom, de auteurs bewijzen dat voor variëteiten met een "triviale" canonieke bundel, de spectrale data volledig kan worden gerealiseerd door Higgs-bundels met de juiste stabiliteits- en Chern-class-eigenschappen, wat een fundamenteel resultaat is in de algebraïsche meetkunde.