The Hitchin morphism for K-trivial varieties

1. Il Problema e il Contesto

Il lavoro si colloca nello studio della morfismo di Hitchin per varietà algebriche di dimensione superiore.

• Contesto: Per una curva $X$, il morfismo di Hitchin $h_X^r: \mathcal{M}_X^r \to \mathcal{A}_X^r$ (dove $\mathcal{M}_X^r$ è lo stack dei fibrati di Higgs di rango $r$ e $\mathcal{A}_X^r$ è la base di Hitchin) è noto essere suriettivo.
• Il Problema: Per varietà di dimensione $d > 1$, il morfismo di Hitchin non è generalmente suriettivo. Chen e Ngˆo hanno introdotto una sottovarietà chiusa $\mathcal{B}_X^r \subset \mathcal{A}_X^r$, chiamata base spettrale, e hanno congetturato che la restrizione del morfismo di Hitchin a questa base sia suriettiva (Congettura 1.1). In altre parole, per ogni punto $s \in \mathcal{B}_X^r$, la fibra $(h_X^r)^{-1}(s)$ dovrebbe essere non vuota.
• Obiettivo dell'articolo: Determinare per quali classi di varietà la congettura di Chen-Ngˆo vale, e in particolare dimostrare una versione più forte: la suriettività del morfismo di Hitchin ristretto allo spazio di moduli di Dolbeault ($M_{X,Dol}^r$, fibrati di Higgs semistabili di Gieseker con polinomio di Hilbert fissato a quello del fibrato banale) sulla base spettrale.

2. Metodologia e Strumenti Teorici

Gli autori adottano un approccio geometrico basato sulla costruzione e modifica delle coperture spettrali (spectral covers).

• Coperture Spettrali Normalizzate:

  • Partendo da un dato spettrale $s \in \mathcal{B}_X^r$, si costruisce la copertura spettrale standard $X_s \to X$. Tuttavia, $X_s$ non è necessariamente normale o Cohen-Macaulay, il che impedisce di garantire che il fascio diretto $\pi_{s*}\mathcal{O}_{X_s}$ sia localmente libero (un requisito per i fibrati di Higgs).
  • Gli autori introducono la copertura spettrale normalizzata $X'_s$, ottenuta normalizzando la componente irriducibile dominante di $X_s$.
  • Utilizzano la purezza del luogo di ramificazione (purity of branch locus): se il luogo di ramificazione ha codimensione $\ge 2$, la mappa è etale.

• Analisi del Discriminante:

  • Viene studiato il discriminante $D(s)$ del polinomio caratteristico associato a $s$. Il luogo di ramificazione della copertura spettrale è dato dal luogo di annullamento di $D(s)$.
  • Gli autori definiscono insiemi chiusi $W^i$ nello spazio delle sezioni globali dei differenziali simmetrici, contenenti le sezioni che si annullano su sottovarietà di codimensione $\le i$.
  • La strategia chiave consiste nel dimostrare che, sotto certe condizioni geometriche su $X$, il discriminante $D(s)$ non si annulla su alcuna divisors (codimensione 1), rendendo la copertura normalizzata etale.

• Fibrati Etale-Trivializzabili:

  • Se la copertura spettrale normalizzata $X'_s \to X$ è etale, il fascio vettoriale sottostante $\pi'_{s*}\mathcal{O}_{X'_s}$ è un fibrato vettoriale etale-trivializzabile.
  • Per un teorema di Chen-Liu-Mok (e generalizzazioni), tali fibrati sono polistabili e hanno classi di Chern nulle. Di conseguenza, il fibrato di Higgs associato $(\pi'_{s*}\mathcal{O}_{X'_s}, \theta')$ appartiene allo spazio di moduli di Dolbeault $M_{X,Dol}^r$.

3. Contributi Chiave e Risultati Principali

A. Definizione di Varietà "r-piccole" (r-small)

Gli autori introducono una classe di varietà chiamata r-piccole (Definizione 1.4). Una varietà liscia proiettiva $X$ è $r$-piccola se:

1. Il fascio cotangente $\Omega^1_X$ è semistabile per la pendenza (slope-semistable).
2. Per ogni $1 \le k \le r$, il fascio simmetrico $\text{Sym}^{k(k-1)}\Omega^1_X$ soddisfa la disuguaglianza di pendenza $\mu(\text{Sym}^{k(k-1)}\Omega^1_X) < 1$.

B. Teorema Principale (Teorema 4.11)

Il risultato centrale è la seguente dimostrazione:

Teorema: Sia $X$ una varietà proiettiva liscia con divisore canonico $K_X$ numericamente banale (cioè $K_X \equiv 0$). Allora, per ogni $r \in \mathbb{N}$, il morfismo di Hitchin ristretto allo spazio di moduli di Dolbeault
$$h_{X,Dol}^r : M_{X,Dol}^r \to \mathcal{B}_X^r$$
è suriettivo.

Dimostrazione logica:

1. È noto che per varietà con $K_X$ numericamente banale, $\Omega^1_X$ è semistabile di pendenza 0.
2. In caratteristica zero, la semistabilità di $\Omega^1_X$ implica quella dei suoi prodotti simmetrici.
3. Ne consegue che tali varietà sono $r$-piccole.
4. Per le varietà $r$-piccole, non esistono sezioni globali non nulle di $\text{Sym}^{k(k-1)}\Omega^1_X$ che si annullano su un divisore (cioè $W^1 = \{0\}$).
5. Questo implica che per ogni dato spettrale $s$, il discriminante $D(s)$ non si annulla su un divisore.
6. Per purezza del luogo di ramificazione, la copertura spettrale normalizzata è etale.
7. Il fibrato di Higgs risultante è etale-trivializzabile, quindi appartiene a $M_{X,Dol}^r$, garantendo la suriettività.

C. Versione Più Forte della Congettura

Mentre la congettura originale di Chen-Ngˆo richiede solo l'esistenza di un fibrato di Higgs nella fibra, gli autori dimostrano che per queste varietà, ogni fibra contiene un fibrato di Higgs il cui fascio vettoriale sottostante è semistabile e ha classi di Chern nulle (cioè appartiene allo spazio di moduli di Dolbeault).

D. Invarianza Birazionale

Gli autori riformulano la congettura in termini di invarianza birazionale. Dimostrano che l'immagine insiemistica del morfismo di Hitchin è invariante sotto modificazioni birazionali lisce (Corollario 3.7 e Lemma 3.8), collegando il problema alla geometria birazionale delle varietà.

4. Significato e Implicazioni

1. Risposta a una Congettura Aperta: Il lavoro risolve positivamente la congettura di Chen-Ngˆo per una classe significativa di varietà, in particolare quelle con $K_X$ numericamente banale (che includono varietà Calabi-Yau, varietà abeliane, iperellittiche, ecc.).
2. Connessione tra Geometria e Topologia: Il risultato stabilisce un legame profondo tra la stabilità del fascio cotangente, la struttura della base spettrale e la topologia etale della varietà (tramite i fibrati etale-trivializzabili).
3. Nuova Tecnica di Costruzione: L'uso sistematico della normalizzazione delle coperture spettrali e l'analisi delle condizioni di codimensione del luogo di ramificazione offrono un nuovo strumento potente per studiare i fibrati di Higgs in dimensione superiore, superando le difficoltà legate alla non-flattezza delle coperture standard.
4. Generalizzazione: Il risultato si applica non solo alle varietà $K$-triviali, ma a qualsiasi varietà che soddisfi la condizione geometrica sulle sezioni dei differenziali simmetrici (Teorema 1.3), fornendo un criterio verificabile per la suriettività.

In sintesi, Patel e Weissmann dimostrano che per una vasta classe di varietà geometricamente "rigide" (come quelle con $K_X$ banale), lo spazio di moduli di Dolbeault è sufficientemente ricco da coprire l'intera base spettrale, confermando una versione rafforzata della congettura di Chen-Ngˆo.