Tschirnhausen bundles of sextic covers of $\mathbb{P}^1$

1. Il Problema: Il Problema di Realizzazione di Tschirnhausen

Il lavoro si concentra sul problema di realizzazione di Tschirnhausen per i rivestimenti di grado $d=6$ della retta proiettiva complessa $\mathbb{P}^1$.

Sia $C$ una curva proiettiva liscia e irriducibile di genere $g$ e $\pi: C \to \mathbb{P}^1$ un morfismo finito di grado $d$. La spinta in avanti del fascio strutturale, $\pi_* \mathcal{O}_C$, è un fascio coerente su $\mathbb{P}^1$. Per il teorema di Birkhoff-Grothendieck, tale fascio si spezza completamente in una somma diretta di fasci lineari. Definendo il fascio di Tschirnhausen come $E_\pi := (\pi_* \mathcal{O}_C / \mathcal{O}_{\mathbb{P}^1})^\vee$, si ottiene una decomposizione unica (a meno di isomorfismo):
$$E_\pi \cong \mathcal{O}_{\mathbb{P}^1}(e_1) \oplus \dots \oplus \mathcal{O}_{\mathbb{P}^1}(e_{d-1})$$
con $1 \le e_1 \le \dots \le e_{d-1}$. Gli interi $\vec{e} = (e_1, \dots, e_{d-1})$ sono chiamati invarianti scrollari di $\pi$.

Il problema fondamentale è: Quali $(d-1)$-uple di interi $\vec{e}$ possono essere realizzate come invarianti scrollari di un rivestimento liscio e irriducibile di grado $d$?

Mentre la risposta è nota per $2 \le d \le 5$, il caso $d=6$ (il primo grado composto non coperto da congetture precedenti) rimaneva aperto. Il paper risolve completamente questo caso.

2. Metodologia e Strumenti Teorici

Gli autori combinano algebra commutativa, teoria dei fasci vettoriali e geometria algebrica per classificare gli invarianti ammissibili.

A. Vincoli Algebrici e Strutture di Moltiplicazione

Il fascio $\pi_* \mathcal{O}_C$ ha una struttura di algebra su $\mathcal{O}_{\mathbb{P}^1}$. La moltiplicazione in questa algebra impone vincoli lineari sugli invarianti $\vec{e}$.

• Per rivestimenti primitivi (che non fattorizzano attraverso sottorivestimenti propri non banali), i vincoli noti sono $e_{i+j} \le e_i + e_j$.
• Per rivestimenti imprimitivi (che fattorizzano), i vincoli sono più complessi e dipendono dalla struttura dell'algebra sui sottorivestimenti intermedi.

Gli autori dimostrano che per $d=6$, i vincoli noti in letteratura (Vemulapalli, 2022) non sono sufficienti. Esistono quintuple che soddisfano i vincoli generali ma non sono realizzabili perché violano vincoli specifici derivanti dalla struttura moltiplicativa quando il rivestimento fattorizza.

B. Analisi dei Casi di Fattorizzazione

Il paper analizza due casi principali di fattorizzazione per un rivestimento sesto $\pi = \tau \circ \gamma$:

1. Doppio rivestimento di un rivestimento triplo ($\deg(\tau)=3, \deg(\gamma)=2$).
2. Triplo rivestimento di un rivestimento doppio ($\deg(\tau)=2, \deg(\gamma)=3$).

Per ciascun caso, gli autori derivano nuove disuguaglianze lineari sugli invarianti $\vec{e}$ che devono essere soddisfatte affinché il rivestimento esista.

C. Costruzione Esplicita

Per dimostrare che gli insiemi di vincoli derivati sono anche sufficienti, gli autori costruiscono esplicitamente i rivestimenti:

• Utilizzano la teoria di Brill-Noether per i rivestimenti trigonali (grado 3).
• Sfruttano la parametrizzazione dei rivestimenti doppi su curve iperellittiche (usando sezioni di fasci lineari e il teorema di Bertini).
• Dimostrano l'esistenza di fasci lineari con "splitting type" specifici su curve trigonali e iperellittiche, garantendo la liscità e l'irriducibilità delle curve risultanti.

3. Risultati Principali

Il risultato centrale è il Teorema 1.3, che classifica completamente gli invarianti scrollari per $d=6$.

Definizione degli Insiemi Ammissibili

Gli autori definiscono due sottoinsiemi di $\mathbb{Z}^5$ (dove $\vec{e} = (e_1, \dots, e_5)$):

1. $P_2$ e $P_3$: Insiemi definiti da disuguaglianze lineari che derivano dai vincoli di moltiplicazione generali e specifici per le fattorizzazioni.
2. $Q$: L'insieme dei punti in $P_2 \setminus P_3$ che ammettono una "partizione ammissibile" (una condizione combinatoria specifica sugli indici che garantisce la fattorizzazione attraverso un sottorivestimento triplo).

Teorema 1.3: Una quintupla $\vec{e} \in \mathbb{Z}^5$ è realizzata come invariante scrollare di un rivestimento sesto liscio e irriducibile se e solo se:
$$\vec{e} \in Q \cup P_3$$

Interpretazione Geometrica (Figura 1)

• La regione $P_3$ corrisponde ai rivestimenti che fattorizzano attraverso un sottorivestimento triplo (doppio rivestimento di un triplo).
• La regione $Q$ (parte di $P_2 \setminus P_3$) corrisponde ai rivestimenti che fattorizzano attraverso un sottorivestimento doppio (triplo rivestimento di un doppio).
• La regione $P_2 \cap P_3$ (in viola nella figura) contiene i rivestimenti che non fattorizzano attraverso sottorivestimenti propri non banali (rivestimenti primitivi) o che soddisfano entrambe le condizioni.
• Risultato chiave: Tutti i punti interi nella regione ammissibile sono realizzati da rivestimenti che fattorizzano. Non è stato necessario costruire esempi di rivestimenti primitivi per coprire l'intero spazio degli invarianti ammissibili; i rivestimenti fattorizzati sono sufficienti a "riempire" la regione.

4. Contributi Chiave

1. Risoluzione del caso $d=6$: Fornisce la prima classificazione completa per un grado composto $d > 5$, chiudendo un problema aperto.
2. Dimostrazione dell'insufficienza dei vincoli generali: Mostra che i vincoli derivanti dalla moltiplicazione in $\pi_* \mathcal{O}_C$ senza considerare la fattorizzazione non sono sufficienti. I vincoli aggiuntivi derivano dalla struttura algebrica sui sottorivestimenti intermedi.
3. Costruzione Esplicita: Fornisce metodi costruttivi per realizzare ogni punto ammissibile, dimostrando che l'insieme dei rivestimenti fattorizzati è sufficientemente ricco da coprire l'intero spazio degli invarianti possibili.
4. Connessione con la Congettura di Vemulapalli: Nel Appendice A, gli autori discutono come i loro risultati possano essere utilizzati per affrontare la congettura secondo cui ogni $\vec{e}$ che soddisfa $e_{i+j} \le e_i + e_j$ è realizzato da un rivestimento primitivo. Dimostrano che se la codimensione del luogo dei rivestimenti fattorizzati è sufficientemente alta, allora esistono rivestimenti primitivi con quegli invarianti.

5. Significato e Implicazioni Future

• Geografia dei Rivestimenti: Il lavoro mappizza la "geografia" degli invarianti scrollari per $d=6$, mostrando come le diverse regioni corrispondano a diverse strutture di fattorizzazione.
• Loci di Maroni: Il paper suggerisce che i "Loci di Maroni" (insiemi di rivestimenti con fissati invarianti scrollari) possono avere dimensioni maggiori del previsto quando gli invarianti sono "sparsi", specialmente nei casi di rivestimenti fattorizzati. Questo sfida le aspettative basate sui fasci vettoriali casuali.
• Generalizzazioni: Gli autori propongono che per gradi superiori (es. $d=8, 9$), tutti i vincoli sugli invarianti "provengano" dalla moltiplicazione su sottorivestimenti. Questo apre la strada a una congettura generale per il problema di realizzazione di Tschirnhausen per qualsiasi grado composto.
• Metodologia: L'approccio che combina vincoli algebrici rigorosi con costruzioni geometriche esplicite (usando curve iperellittiche e trigonali) offre un modello per affrontare problemi simili in gradi superiori.

In sintesi, il paper risolve un problema fondamentale nella teoria dei rivestimenti di curve, dimostrando che per $d=6$ la classificazione è governata interamente dalla struttura di fattorizzazione e fornendo un quadro completo e costruttivo degli invarianti possibili.