Algebraicity of supermoduli of curves via Artin's criteria

1. Il Problema

L'articolo affronta il problema fondamentale della algebricità (ovvero, la dimostrazione che certi spazi di moduli sono stack algebrici) in geometria super. Specificamente, l'autrice si concentra su quattro problemi di moduli:

1. Supercurve (supercurves).
2. Superfici di Riemann super (super Riemann surfaces, SRS).
3. Supercurve stabili (stable supercurves).
4. Superfici di Riemann super stabili (stable super Riemann surfaces).

Mentre l'algebricità delle superfici di Riemann super (e delle loro compattificazioni stabili) era già nota in letteratura (ottenuta tramite costruzioni esplicite di atlanti étale o quozienti), l'algebricità delle supercurve (sia lisce che stabili) non era stata studiata in modo indipendente. Inoltre, le prove esistenti per le SRS si basavano su costruzioni esplicite, che sono spesso complesse e specifiche per il caso considerato.

L'obiettivo è fornire una prova unificata e astratta dell'algebricità per questi quattro casi, applicando i criteri di Artin nella loro versione supergeometrica, recentemente sviluppati.

2. Metodologia

Il cuore metodologico del lavoro è l'applicazione del teorema di algebricità di Artin (nella sua forma supergeometrica, vedi Teorema 2.2 nel testo). Invece di costruire esplicitamente atlanti o presentazioni di quoziente, l'autrice verifica che i funtori di moduli soddisfino una serie di condizioni tecniche necessarie e sufficienti affinché uno stack sia algebrico.

Le condizioni verificate includono:

• Rappresentabilità della diagonale (A1): Dimostrare che lo schema di isomorfismi tra due famiglie è uno spazio algebrico.
• Preservazione dei limiti (A2): Mostrare che il funtore commuta con i limiti indotti da sistemi diretti di superalgebre.
• Condizioni di Schlessinger generalizzate (A3): Analizzare le deformazioni su estensioni di quadrato nullo, verificando la suriettività e la biunivocità dei mappe di deformazione.
• Effettività (A4): Dimostrare che le deformazioni formali possono essere algebrizzate (esistenza di una famiglia globale che induce la famiglia formale).
• Teoria degli ostacoli coerente (A5-A8): Verificare la coerenza dei moduli di ostacolo, la costruttibilità e la compatibilità con completamenti e localizzazioni étale.

Strumenti Teorici Chiave:

• Teoria delle deformazioni super: L'autrice utilizza il formalismo delle funtori $T^i$ (estensione super del formalismo di Kodaira-Spencer) per descrivere le deformazioni.
• Strutture Superconformi: Per le SRS, introduce fasci di vettori superconformi ($A$) e un analogo superconformale del fascio $T^1$ (denominato $A^1$), definito localmente intorno ai nodi (Ramond e Neveu-Schwarz).
• Riduzione Bosonica: Sfrutta la corrispondenza tra supercurve e coppie $(C, L)$ (curve ordinarie e fasci di linee) per ridurre problemi complessi a casi noti nella geometria algebrica classica, estendendo poi i risultati al caso super tramite teoremi di esistenza di Grothendieck.

3. Contributi Chiave e Risultati

A. Nuove Prove per le Superfici di Riemann Super (SRS)

L'autrice fornisce una nuova prova dell'algebricità dello spazio di moduli $M_g$ delle SRS di genere $g \ge 2$ e della sua compattificazione stabile.

• Risultato (Teorema 1.1 e 1.2): $M_g$ e lo spazio delle SRS stabili sono stack algebrici (e di conseguenza stack di Deligne-Mumford, grazie alla finitezza dei gruppi di automorfismi).
• Innovazione: La prova non costruisce atlanti espliciti ma verifica le condizioni di Artin, introducendo una teoria delle deformazioni basata su fasci coerenti di vettori superconformi ($A$) e un sottofascio specifico $A^1 \subset T^1$ che controlla le deformazioni dei nodi mantenendo la struttura superconforme.

B. Algebricità delle Supercurve (Risultato Nuovo)

Il contributo più originale è la dimostrazione dell'algebricità per le supercurve (lisce e stabili), che non erano state trattate come oggetti di moduli indipendenti in precedenza.

• Risultato (Teorema 1.3): Lo spazio di moduli delle supercurve (SCg) e delle supercurve stabili è uno stack algebrico.
• Metodo:
  • Per le supercurve lisce, l'autrice si restringe al caso fortemente proiettivo (ammettenti una polarizzazione tramite potenze del fascio canonico), dimostrando che questa restrizione non esclude le curve sottostanti alle SRS.
  • Per le supercurve stabili, stabilisce una corrispondenza biunivoca tra famiglie di supercurve stabili e coppie $(C, L)$ dove $C$ è una famiglia di curve stabili ordinarie e $L$ è un fascio localmente libero di rango 1 (torsion-free) su $C$.
  • Viene dimostrata l'assenza di ostacoli alle deformazioni per le supercurve lisce e la struttura esatta delle deformazioni per quelle stabili (Teorema 5.6), che coinvolge sia la coomologia del fascio tangente che il fascio $T^1$ supportato sui nodi.

C. Sviluppo della Teoria delle Deformazioni Superconformi

L'articolo sviluppa in dettaglio la teoria delle deformazioni per le SRS stabili:

• Definisce la struttura quasi-superconforme (qscf) come derivazione $\delta: \mathcal{O}_X \to \omega_{X/T}$ che generalizza la struttura superconforme ai nodi.
• Costruisce esplicitamente i modelli locali miniversali per i nodi di Ramond e Neveu-Schwarz (Sezione 6.1 e Appendice 7.2), calcolando i moduli $T^1$ e identificando i sottospazi che corrispondono a deformazioni superconformi (definendo il fascio $A^1$).
• Dimostra che la teoria delle deformazioni delle SRS stabili è governata da un'estensione esatta che lega le deformazioni della curva sottostante a quelle della struttura superconforme.

4. Significato e Implicazioni

1. Unificazione Metodologica: Il lavoro dimostra che i criteri di Artin supergeometrici sono uno strumento efficace e potente per costruire spazi di moduli in supergeometria, offrendo un'alternativa alle costruzioni esplicite che possono essere tecnicamente onerose.
2. Fondamenti per la Teoria dei Campi Super: Poiché le SRS e le loro compattificazioni sono fondamentali nella teoria delle stringhe super (come superfici mondiali per le stringhe super), la prova rigorosa della loro natura di stack algebrici (e di Deligne-Mumford) fornisce una base solida per la definizione di integrali di ampiezza di scattering e per la teoria dei campi conformi super.
3. Nuovi Oggetti di Studio: L'identificazione delle supercurve (e delle loro compattificazioni stabili) come stack algebrici apre la strada a nuovi problemi di moduli. Queste strutture possono ora servire come "base" su cui imporre strutture aggiuntive (fasci vettoriali, fasci coerenti, mappe stabili), permettendo lo studio sistematico di problemi di moduli più complessi in fisica matematica.
4. Generalizzazione: Il lavoro suggerisce che molte altre questioni di moduli in fisica matematica e geometria algebrica, che non sono ancora state sviluppate in ambito supergeometrico, possono essere affrontate con successo utilizzando i criteri di Artin.

In sintesi, Nadia Ott risolve un problema aperto riguardante le supercurve e offre una nuova, elegante dimostrazione per le SRS, consolidando il quadro teorico necessario per lo sviluppo futuro della geometria algebrica super e delle sue applicazioni in fisica teorica.