Non-existence of Shimura curves of Mumford type generically in the non-hyperelliptic locus

Sintesi Tecnica: Non Esistenza di Curve di Shimura di Tipo Mumford Genericamente nel Luogo Non Iperellittico

Enunciato del Problema
Il lavoro affronta l'intersezione tra le curve di Shimura e il luogo di Torelli delle curve algebriche. Nello specifico, indaga l'esistenza di curve di Shimura di "tipo Mumford" (una specifica classe di curve di Shimura di tipo di Hodge non di tipo PEL) che siano contenute genericamente nel luogo di Torelli delle curve non iperellittiche.

Gli autori si concentrano sulla domanda posta da Oort per il genere $g=4$: esiste una curva di Shimura di tipo Mumford contenuta genericamente nel luogo di Torelli $T_4$? Più in generale, il lavoro cerca di determinare se tali curve esistano per qualsiasi genere $g \ge 4$ all'interno del luogo non iperellittico. Questa indagine si inserisce nel contesto più ampio della congettura di Coleman-Oort, che prevede che, per $g$ sufficientemente grande, non esistano sottovarietà speciali di dimensione positiva (curve di Shimura) contenute genericamente nel luogo di Torelli.

Metodologia
La dimostrazione si basa su una combinazione di teoria di Hodge, geometria delle famiglie semi-stabili di curve e disuguaglianze di pendenza. La metodologia procede attraverso i seguenti passaggi:

1. Caratterizzazione tramite Fasci di Higgs: Gli autori utilizzano la caratterizzazione delle curve di Shimura stabilita da Viehweg e Zuo. Una curva $C_0 \subseteq \mathcal{A}_g$ è una curva di Shimura di tipo Mumford se e solo se il fascio di Higgs logaritmico associato ammette un campo di Higgs strettamente massimale. Questa condizione è equivalente al verificarsi dell'uguaglianza di Arakelov per il grado del fascio di Hodge: $\deg E^{1,0}_C = \frac{g}{2} \deg \Omega^1_C(\log \Delta_C)$.

2. Sollevamento a Famiglie Semi-Stabili: Per una curva di Shimura $C_0$ contenuta genericamente nel luogo di Torelli, gli autori costruiscono una famiglia di curve semi-stabili $f: S \to B$ che rappresenta $C_0$ tramite la morfismo di Torelli.

   • Se $C_0$ non è contenuta nel luogo iperellittico, la mappa dalla normalizzazione dell'immagine inversa della curva nello spazio dei moduli delle curve alla curva stessa è o un isomorfismo o una ricopertura doppia.
   • Il caso in cui la mappa sia un isomorfismo è escluso da risultati precedenti (LZ19). Pertanto, l'analisi si concentra sul caso in cui la mappa $\pi: B \to C$ sia una ricopertura doppia con un luogo di ramificazione $\Lambda$.

3. Derivazione della Disuguaglianza di Pendenza: Il contributo tecnico fondamentale consiste nella derivazione di una disuguaglianza di pendenza raffinata per la famiglia $f: S \to B$.

   • Gli autori costruiscono un cambiamento di base non ramificato specifico $\psi: \tilde{B} \to B$ che solleva le involuzioni associate alla ricopertura doppia e all'involuzione iperellittica sulle fibre singolari.
   • Analizzando il quoziente della famiglia rispetto a queste involuzioni, derivano un limite inferiore per il numero di auto-intersezione $\omega^2_{S/B}$ (Teorema 3.1). Questo limite include termini dipendenti dal luogo di ramificazione $\Lambda$ e dalla geometria delle fibre singolari (in particolare il numero di componenti irriducibili di generi specifici).

4. Contraddizione tramite Limiti Superiori: Gli autori confrontano il limite inferiore derivato per $\omega^2_{S/B}$ con un limite superiore esistente stabilito nel loro lavoro precedente (LZ19, Teorema 4.3).

   • Il limite superiore dipende dal grado del fascio di Hodge e dalla configurazione delle fibre singolari.
   • Combinando la condizione di campo di Higgs strettamente massimale (che fissa il grado del fascio di Hodge rispetto alla base) con le disuguaglianze di pendenza, gli autori derivano una disuguaglianza che coinvolge il numero di tipi specifici di fibre singolari ($\Delta_{ct,b}$).

Risultati Chiave

• Teorema 1.2: Non esiste alcuna curva di Shimura di tipo Mumford contenuta genericamente nel luogo di Torelli delle curve non iperellittiche di genere $g=4$.
• Teorema 1.4: Non esiste alcuna curva di Shimura con un campo di Higgs strettamente massimale contenuta genericamente nel luogo di Torelli delle curve non iperellittiche per qualsiasi genere $g \ge 4$.
• Corollario 1.5: Se $g > 4$, nessuna curva di Shimura con un campo di Higgs strettamente massimale è contenuta genericamente nel luogo di Torelli $T_g$.

La dimostrazione del Teorema 1.4 procede per assurdo. Assumendo l'esistenza di una tale curva si arriva a una disuguaglianza della forma:
$$\frac{7-g}{6} |\Delta_{ct,b}| > \deg f^*\omega_{S/B} \ge \frac{(g-1)^2}{2g+1} |\Delta_{ct,b}|$$
Per $g \ge 4$, il coefficiente a sinistra diventa non positivo o insufficiente a soddisfare la disuguaglianza rispetto al limite inferiore positivo a destra, generando una contraddizione.

Significato e Affermazioni
Il lavoro afferma di risolvere la Domanda 1.1 posta da Oort riguardo al genere 4, dimostrando la non esistenza di tali curve nel luogo non iperellittico. Inoltre, generalizza questo risultato a tutti i generi $g \ge 4$.

Il significato risiede nei seguenti punti:

• Estensione del Lavoro Precedente: Gli autori avevano precedentemente dimostrato la non esistenza di tali curve nel luogo iperellittico per $g \ge 8$ (LZ17) e stabilito risultati di finitezza per le curve superellittiche (CLZ21). Questo lavoro estende il risultato di non esistenza al luogo non iperellittico per tutti i $g \ge 4$.
• Supporto alla Congettura di Coleman-Oort: I risultati forniscono prove solide a sostegno della congettura di Coleman-Oort, escludendo specificamente una classe maggiore di potenziali controesempi (curve di Shimura di tipo Mumford) nel luogo di Torelli non iperellittico per tutti i $g \ge 4$.
• Raffinamento Metodologico: Il lavoro introduce una disuguaglianza di pendenza raffinata (Teorema 3.1) che tiene conto della geometria specifica delle famiglie che rappresentano curve di Shimura di tipo Mumford, gestendo in particolare la ramificazione della ricopertura doppia e la struttura delle fibre singolari.

Gli autori non affermano di risolvere la congettura di Coleman-Oort completa per tutte le sottovarietà speciali o per tutti i generi, ma piuttosto stabiliscono un risultato negativo definitivo per la specifica classe di curve di Shimura di tipo Mumford nel luogo non iperellittico.