Riepilogo Tecnico: Teorema del Supporto per i Jacobiani Compattificati Universali

1. Enunciato del Problema

Il lavoro affronta la struttura geometrica e cohomologica del Jacobiano compattificato universale $\overline{\mathcal{J}}^{d,\phi}_{g,n}$ sullo stack di moduli delle curve stabili marcate $\mathcal{M}_{g,n}$. Sebbene sia noto che la coomologia di questi spazi sia invariante rispetto alla scelta del grado $d$ e delle condizioni di stabilità non degeneri $\phi$ (dimostrato da Migliorini–Shende–Viviani [MSV21]), la geometria diventa significativamente più complessa quando $\phi$ è degenera. Nel caso degenere, la presenza di fasci strettamente semistabili introduce severe singolarità sopra le strati di confine di $\mathcal{M}_{g,n}$.

Il problema centrale è determinare il supporto dei sommandi diretti che appaiono nella decomposizione BBDG (Beilinson–Bernstein–Deligne–Gabber) del pushforward derivato del complesso di coomologia di intersezione, $R\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n})$, dove $\overline{\pi}$ è la mappa di oblio verso la base. Nello specifico, l'autore si propone di dimostrare che ogni sommandio diretto ha supporto pieno sulla base $\mathcal{M}_{g,n}$, estendendo il "teorema del supporto" noto per le fibrazioni di Hitchin e i Jacobiani non degeneri a questo contesto universale più singolare.

2. Metodologia

Il lavoro impiega due approcci metodologici distinti per stabilire il risultato principale:

Approccio A: Teorema del Supporto di Ngô Generalizzato

La dimostrazione principale sintetizza tecniche dalla teoria delle fibrazioni abeliane deboli e dei fasci perversi equivarianti.

1. Rigidificazione e Buoni Spazi di Moduli: L'applicazione diretta del teorema del supporto di Ngô è ostacolata dal fatto che lo stack del Jacobiano compattificato universale non è proprio su $\mathcal{M}_{g,n}$, e l'azione naturale di traslazione del gruppo di Picard relativo non discende allo spazio di moduli grossolano a causa degli automorfismi. Per risolvere ciò, l'autore lavora con lo spazio di moduli relativo buono $\overline{\mathcal{J}}^{d,\phi}_{g,n}$, che rigidifica gli automorfismi verticali preservando la base $\mathcal{M}_{g,n}$.
2. Cambio di Base: Per evitare sottigliezze tecniche riguardanti stack di quoziente finiti, il morfismo è cambiato di base lungo una copertura étale finita $B \to \mathcal{M}_{g,n}$ (uno spazio di struttura di livello di Teichmüller), risultando in una varietà liscia $B$.
3. Verifica delle Ipotesi: L'autore verifica che la terna $(\widetilde{\mathcal{J}}^{d,\phi}_B, P, B)$, dove $P$ è la varietà di Picard relativa, forma una fibrazione abeliana debole nel senso di Maulik e Shen [MS23]. Ciò comporta il controllo di:
   • Proprietà e dimensione pura delle fibre.
   • Stabilizzatori affini per l'azione del gruppo.
   • $\delta$-regolarità: Una condizione che lega la codimensione degli strati nella base alla dimensione della parte affine del gruppo stabilizzatore.
4. Teorema di Decomposizione: Utilizzando il teorema del supporto generalizzato (Teorema 2.2), l'autore dimostra che ogni supporto $Z$ della decomposizione deve soddisfare $\text{codim } Z \leq \delta_Z$. Combinato con la $\delta$-regolarità, ciò forza $Z$ a essere l'intera base.
5. Discesa: Il risultato è disceso dalla copertura $B$ fino a $\mathcal{M}_{g,n}$ utilizzando il formalismo della categoria derivata equivariante.

Approccio B: Variazione delle Condizioni di Stabilità

Viene fornita una seconda dimostrazione indipendente per il caso $n \geq 1$ (e adattata per $n=0$ tramite intorni étale).

1. Attraversamento di Muri: L'autore utilizza la struttura di muri e camere dello spazio di stabilità $V^d_{g,n}$. Per una condizione di stabilità degenere $\phi$, viene scelta una condizione non degenere vicina $\phi'$.
2. Morfismo Proprio: Un'inclusione di stack di moduli induce un morfismo proprio e suriettivo $r: \mathcal{J}^{d,\phi'}_{g,n} \to \mathcal{J}^{d,\phi}_{g,n}$ tra i loro spazi di moduli relativi buoni.
3. Riduzione: Poiché $\mathcal{J}^{d,\phi'}_{g,n}$ è liscio (per $\phi'$ non degenere), il suo complesso di intersezione è un fascio costante spostato. Il noto teorema del supporto per i Jacobiani non degeneri [MSV21] si applica al pushforward di questo fascio costante.
4. Argomento del Sommandio Diretto: Il complesso di intersezione $IC(\mathcal{J}^{d,\phi}_{g,n})$ è mostrato essere un sommandio diretto del pushforward del fascio costante dal lato non degenere. Di conseguenza, le proprietà di supporto del caso non degenere si trasferiscono al caso degenere.

3. Contributi e Risultati Chiave

Teorema Principale (Teorema 1.1)

Il lavoro dimostra che per interi $g, n \geq 0$ con $2g-2+n > 0$, e per lo spazio di moduli relativo buono $\overline{\mathcal{J}}^{d,\phi}_{g,n}$ su $\mathcal{M}_{g,n}$:

1. Supporto Pieno: Ogni sommandio diretto del pushforward derivato $\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n})$ ha supporto pieno su $\mathcal{M}_{g,n}$.
2. Decomposizione Esplicita: Esiste un isomorfismo nella categoria derivata limitata dei moduli di Hodge misti su $\mathcal{M}_{g,n}$:
   $$\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n}) \simeq \bigoplus_{i=0}^{2g} IC\left(\mathcal{M}_{g,n}, (\wedge^i R^1\gamma_* \mathbb{Q}_{C_{g,n}})\right)[-i+g]$$
   dove $\gamma: C_{g,n} \to \mathcal{M}_{g,n}$ è la curva universale.

Corollari

• Spazio di Moduli Grossolano (Corollario 1.2): La proprietà del supporto pieno vale per il pushforward del complesso di intersezione dello spazio di moduli grossolano $J$ di $\overline{\mathcal{J}}^{d,\phi}_{g,n}$.
• Invarianza Topologica (Corollario 1.3): I gruppi di coomologia di intersezione $IH^*(\overline{\mathcal{J}}^{d,\phi}_{g,n}, \mathbb{Q})$ sono isomorfi come strutture di Hodge $\mathbb{Q}$ per qualsiasi interi $d, d'$ e qualsiasi condizioni di stabilità $\phi, \phi'$ (degeneri o non degeneri). Ciò estende la nota invarianza dei gruppi di coomologia al contesto degenere.

4. Significato e Affermazioni

Il lavoro afferma di fornire un teorema del supporto pieno per il Jacobiano compattificato universale, un risultato precedentemente ostacolato dalla complessità degli strati di confine e dalla mancanza di un'azione di gruppo propria sullo spazio di moduli grossolano.

• Sintesi Metodologica: Il lavoro adatta con successo la macchina del teorema del supporto di Ngô (originariamente sviluppato per la fibrazione di Hitchin) ai moduli delle curve. Risolve l'ostacolo della non-proprietà e dei gruppi di automorfismi utilizzando lo spazio di moduli relativo buono e le categorie derivate equivarianti.
• Gestione della Degenerazione: Il lavoro affronta esplicitamente il caso delle condizioni di stabilità degeneri, dove la geometria è singolare e esistono fasci strettamente semistabili. Dimostra che, nonostante queste singolarità, l'invarianza topologica della coomologia di intersezione persiste.
• Indipendenza delle Dimostrazioni: Fornendo due dimostrazioni distinte — una basata sul teorema del supporto generalizzato per fibrazioni abeliane deboli e l'altra sulla variazione delle condizioni di stabilità — l'autore rafforza la robustezza del risultato.
• Motivazione per Lavori Futuri: I risultati motivano la questione se l'"anello di coomologia intrinseco" (una degenerazione della struttura dell'anello di coomologia definita per condizioni non degeneri) possa essere esteso al contesto delle condizioni di stabilità degeneri.

L'autore mantiene un tono modesto riguardo alla portata, notando che, sebbene i gruppi di coomologia siano invarianti, la struttura dell'anello di coomologia dipende generalmente dalle scelte di $d$ e $\phi$, e il lavoro non risolve la struttura dell'anello per il caso degenere.