On the Hodge and Tate conjectures for moduli spaces of curves

Sintesi Tecnica: Sulle Congetture di Hodge e Tate per gli Spazi di Moduli delle Curve

Enunciazione del Problema
Le congetture di Hodge e Tate sono problemi centrali, sebbene in gran parte aperti, che collegano la coomologia delle varietà algebriche ai cicli algebrici. Sebbene i progressi storici abbiano fatto affidamento su varietà che si muovono in famiglie non banali (ad esempio, varietà abeliane, superfici K3) o che possiedono endomorfismi speciali, gli spazi di moduli delle curve stabili, $\mathcal{M}_{g,n}$, costituiscono un terreno di prova distinto. Questi spazi non si deformano in famiglie ma formano una collezione discreta infinita con strutture di Hodge ricche e complesse e rappresentazioni di Galois. Il lavoro affronta la verifica delle congetture di Hodge e Tate, in particolare nelle loro forme generalizzate di coniveau, per la coomologia di $\mathcal{M}_{g,n}$. Le forme generalizzate chiedono se specifiche sottostrutture nella coomologia (sottostrutture di Hodge o sottorappresentazioni di Galois) siano supportate su sottoinsiemi algebrici di una codimensione prevista, piuttosto che chiedere semplicemente se le classi di grado pari derivino da cicli.

Metodologia
Il lavoro sintetizza recenti calcoli coomologici con il quadro induttivo stabilito da Arbarello e Cornalba. La metodologia si basa su tre pilastri principali:

1. Stratificazione Induttiva del Confine: La strategia di dimostrazione utilizza la stratificazione di $\mathcal{M}_{g,n}$ per tipi topologici di curve stabili. Il divisore di confine $\bar{D}_{g,n}$ è un'unione disgiunta di prodotti di spazi di moduli più piccoli. Utilizzando la sequenza di localizzazione e argomenti relativi ai pesi, le classi di coomologia su $\mathcal{M}_{g,n}$ sono correlate alle classi su spazi di moduli più piccoli e alla parte di peso puro della coomologia interna.
2. Generazione Tautologica: Una tecnica fondamentale consiste nel determinare se i gruppi di coomologia sono generati da classi tautologiche (generate da classi $\kappa$, $\psi$ e di confine). Se $H^{2k}(\mathcal{M}_{g,n})$ è tautologica, le congetture di Hodge e Tate valgono per i cicli di codimensione $k$. Il lavoro impiega "estensioni semi-tautologiche" per controllare la coomologia di alto grado, riducendo le questioni a casi base.
3. Ispirazione Aritmetica e Classificazione: I risultati sono guidati dalla classificazione delle rappresentazioni automorfe di peso motivico $\le 22$ di Chenevier e Lannes. Questa classificazione prevede le specifiche strutture motiviche (ad esempio, $S_{12}$, $S_{16}$) che appaiono nella coomologia di varietà lisce e proprie su $\mathbb{Z}$. Il lavoro utilizza queste previsioni per identificare i luoghi di supporto attesi per le classi non tautologiche, in particolare nei gradi dispari.
4. Verifica dei Casi Base: Gli argomenti induttivi richiedono la verifica esplicita dei casi base per piccoli $g$ e $n$. Questi sono stabiliti utilizzando:
   • Il conteggio dei punti su campi finiti e la formula della traccia di Behrend–Grothendieck–Lefschetz.
   • La proprietà di generazione di Chow–Künneth.
   • Costruzioni geometriche esplicite (ad esempio, la descrizione di Mukai delle curve canoniche).
   • Teoremi di annullamento topologici (ad esempio, i limiti di Harer sulla dimensione coomologica virtuale).

Contributi e Risultati Chiave

• Verifica delle Congetture in Intervalli Specifici: Il lavoro dimostra che le congetture generalizzate di Hodge e Tate valgono per $\mathcal{M}_{g,n}$ in un intervallo sorprendentemente ampio di gradi:

  • Codimensione 1 e 2: Vale per tutti gli $g, n$.
  • Codimensione 3: Vale per tutti gli $n$ e $g \notin \{7, 8, 9\}$.
  • Dimensione $\le 7$: Vale per tutti gli $g, n$.
  • Congettura Generalizzata di Hodge: Vale per $H^k(\mathcal{M}_{g,n})$ per $k$ pari $\le 4$ (tutti $g,n$), $k=6$ ($g \notin \{7,8,9\}$), $k$ dispari $\le 13$ (tutti $g,n$), e $k = 2d-j$ per $0 \le j \le 15$.
  • Congettura Generalizzata di Tate: Vale su campi finitamente generati $L$ negli stessi intervalli, soggetto a condizioni di ordinarietà sulla caratteristica $p$ di $L$ (in particolare, $p$ non deve dividere la funzione $\tau$ di Ramanujan per $S_{12}$ o i coefficienti di Fourier della forma cuspidale di peso 16 per $S_{16}$).

• Struttura dei Gruppi di Cohomologia:

  • Gradi Pari: Per bassi gradi pari ($k \le 6$, con eccezioni per $g \in \{7,8,9\}$ a $k=6$), la coomologia è generata da classi tautologiche.
  • Gradi Dispari: $H^k(\mathcal{M}_{g,n}) = 0$ per $k$ dispari $< 11$. Per $k=11$, la coomologia è una somma diretta di twist di Tate di $S_{12} := W_{11}H^{11}(\mathcal{M}_{1,11})$, che è correlata alla forma cuspidale di Ramanujan $\Delta$. Per $k=13$, la coomologia è supportata su divisori (strati di confine) e consiste in twist di Tate di $S_{12}$.
  • Gradi Elevati: Per dualità di Poincaré e Hard Lefschetz, i risultati per i bassi gradi implicano risultati per i gradi elevati ($2d-k$).

• Strutture Motiviche: Il lavoro conferma che le strutture motiviche che appaiono in $H^*(\mathcal{M}_{g,n})$ fino al peso 15 si allineano con la classificazione di Chenevier–Lannes. Nello specifico, la coomologia dispari si annulla sotto il grado 11, $H^{11}$ deriva da $S_{12}$, e $H^{13}$ deriva da twist di Tate supportati sul confine di $S_{12}$.

• Congetture sui Gruppi di Chow: Il lavoro propone la Congettura di Chow 10, affermando che il gruppo di Chow razionale $A^k(\mathcal{M}_{g,n})_\mathbb{Q}$ è generato da cicli tautologici per $k \le 10$. Ciò implica che la mappa della classe del ciclo è un isomorfismo per $k \le 10$.

Significato e Affermazioni
Il lavoro afferma che la struttura induttiva della stratificazione del confine, combinata con previsioni aritmetiche moderne e calcoli espliciti di basso genere, verifica le congetture generalizzate di Hodge e Tate in un intervallo precedentemente inaccessibile.

• Novità dell'Approccio: A differenza degli approcci tradizionali che fanno affidamento sulla variazione in famiglie, questo lavoro dimostra che l'"incollaggio tautologico e i morfismi di oblio" e la stratificazione del confine di $\mathcal{M}_{g,n}$ forniscono una struttura sufficiente per verificare queste congetture profonde.
• Collegamento tra Aritmetica e Geometria: Il lavoro evidenzia come le previsioni aritmetiche (Chenevier–Lannes) riguardanti i motivi su $\mathbb{Z}$ servano da guida per le dimostrazioni geometriche. I risultati geometrici confermano queste previsioni incondizionatamente per gli spazi di moduli delle curve.
• Problemi Aperti: Il lavoro identifica specifiche sfide rimanenti, tra cui:
  • Dimostrare la generazione tautologica per $H^6(\mathcal{M}_{g,n})$ quando $g \in \{7, 8, 9\}$.
  • Verificare la congettura generalizzata di Hodge per $H^{15}(\mathcal{M}_{g,n})$.
  • Indagare il supporto della coomologia in primi non ordinari (dove $p | \tau(p)$), dove il coniveau previsto salta.
  • Costruire cicli algebrici per strutture motiviche isomorfe che appaiono in diversi spazi di moduli (ad esempio, $S_{18}$ in $\mathcal{M}_{1,17}$ e $\mathcal{M}_{2,14}$) senza una spiegazione geometrica nota.

Il lavoro stabilisce $\mathcal{M}_{g,n}$ come un terreno di prova robusto per le congetture motiviche, fornendo un "intervallo sorprendentemente ampio" di casi verificati mentre delinea i confini precisi in cui emergono nuovi fenomeni (come classi non tautologiche e primi non ordinari).