Equivariant Quotients of Derived Symplectic Spaces and Legendrian Intersection Theorem

Sintesi Tecnica: Quozienti Equivarianti di Spazi Simplettici Derivati e Teorema dell'Intersezione Legendriana

Enunciazione del Problema
La geometria di contatto classica si fonda su un lemma fondamentale di trasversalità: un campo vettoriale di Liouville su una varietà simplettica induce una struttura di contatto su qualsiasi ipersuperficie trasversa a tale campo. Questa costruzione dipende da flussi locali lisci, dalla trasversalità insiemistica e dall'esistenza di un'ipersuperficie trasversa. Tuttavia, tali metodi classici falliscono nel contesto dei problemi moduli algebrici, dove gli spazi presentano frequentemente singolarità, nilpotenza e gruppi di automorfismi non banali, rendendo le condizioni di trasversalità irraggiungibili o mal definite. Inoltre, i problemi di intersezione in geometria algebrica soffrono spesso di patologie analoghe, in cui i prodotti fibrati mancano della dimensione omologica o della struttura corretta. Il lavoro affronta la necessità di tradurre il lemma classico di trasversalità e la teoria associata dell'intersezione legendriana nel quadro della Geometria Algebrica Derivata (DAG), dove situazioni non generiche (come intersezioni non trasversali e quozienti "cattivi") sono gestite mediante metodi omotopici e di categoria superiore.

Metodologia
Gli autori impiegano la strumentazione della Geometria Algebrica Derivata, utilizzando specificamente $\infty$-categorie stabili, algebre commutative derivate (cdga) e strutture simplettiche/di contatto spostate. Il cambiamento metodologico fondamentale consiste nel sostituire il campo vettoriale di Liouville classico con un'azione di $G_m$ di peso 1 su uno stack derivato simplettico.

1. Trasversalità Derivata tramite Quozienti: Invece di costruire un'ipersuperficie trasversa, il lavoro utilizza la geometria dei $G_m$-torsori e la simplettificazione. Il campo vettoriale fondamentale di un'azione di $G_m$ di peso 1 su uno stack derivato di Artin $n$-simplettico $\tilde{X}$ sostituisce il campo vettoriale di Liouville. Si dimostra che lo stack quoziente $[\tilde{X}/G_m]$ eredita una struttura di contatto, aggirando efficacemente la necessità di una sezione trasversa assorbendo gli "zeri" del campo vettoriale nella struttura degli stabilizzatori dello stack.
2. Intersezione Legendriana tramite Simplettificazione: Per affrontare il problema dell'intersezione legendriana, gli autori stabiliscono un dizionario tra strutture legendriane nei moduli di contatto e strutture lagrangiane nei moduli simplettici. Ciò è ottenuto mediante sollevamenti $G_m$-equivarianti lungo la proiezione di simplettificazione $p: \tilde{X} \to X$. Sollevando i morfismi legendriani al rivestimento simplettico, il problema viene trasformato in un problema di intersezione lagrangiana equivariante.
3. Discesa $\infty$-Categorica: Le dimostrazioni si basano pesantemente su operazioni $\infty$-categoriche, inclusi il cambio di base, i triangoli esatti di complessi perfetti e i cubi di discesa. La costruzione della struttura di contatto sull'intersezione coinvolge l'analisi della trasgressione delle strutture isotrope e la verifica della non-degenerazione attraverso la stabilità delle successioni fibrate nella categoria derivata.

Contributi e Risultati Chiave

• Teorema 1.1 (Analogico Derivato del Lemma di Trasversalità Classica): Il lavoro dimostra che, dato uno stack derivato di Artin $n$-simplettico $(\tilde{X}, \omega_{\tilde{X}})$ dotato di un'azione di $G_m$ di peso 1, lo stack quoziente $[\tilde{X}/G_m]$ eredita una struttura di contatto $n$-spostata. Questo risultato formalizza la simplettificazione derivata, dimostrando che il quoziente di uno spazio simplettico omogeneo fa discendere i dati simplettici a una struttura di contatto senza richiedere un'ipersuperficie trasversa. Il campo vettoriale di Liouville è identificato con il campo vettoriale fondamentale dell'azione di $G_m$.
• Teorema 1.2 (Teorema dell'Intersezione Legendriana Derivata): Gli autori dimostrano che l'intersezione di due morfismi legendriani $f_1: L_1 \to X$ e $f_2: L_2 \to X$ in uno stack derivato di Artin $n$-spostato di contatto ammette una struttura di contatto $(n-1)$-spostata. Ciò è stabilito sollevando l'intersezione al livello simplettico (dove diventa un'intersezione lagrangiana), applicando il teorema dell'intersezione simplettica spostata e facendo discendere la struttura risultante al quoziente di contatto.
• Corollario 1.3 (Luoghi Discriminanti Derivati): Come applicazione diretta, si dimostra che il luogo discriminante derivato $\Delta_{loc}(f)$ di una funzione regolare $f$ su uno schema $K$ liscio $L$ porta una struttura di contatto $(-1)$-spostata. Tale luogo è definito come il prodotto fibrato derivato dell'incorporamento legendriano di $L$ nello spazio delle 1-gette e della sezione nulla.
• Applicazioni alla Teoria dei Moduli: Il lavoro fornisce esempi concreti di stack derivati con strutture di contatto spostate:
  • Fibrati di Higgs Proiettivi: Lo stack moduli derivato dei fibrati di Higgs proiettivi, definito come il quoziente dello stack cotangente 1-spostato dei fibrati principali rispetto all'azione di scalatura, ammette una canonica struttura di contatto 1-spostata.
  • Sistemi Locali $\ell$-adici: Il quoziente di stack formale dello stack moduli derivato dei sistemi locali geometrici $\ell$-adici rispetto a uno schema di gruppo corepresentato da $K[x]/(x^{q^d}-1)$ eredita una struttura di contatto $(2-2d)$-spostata, derivante dalla dilatazione aritmetica indotta dal Frobenius geometrico.
  • Gruppi di Lie 2: Il quoziente di stack derivato $P(T^*[2]BG)$ porta una canonica struttura di contatto 2-spostata. Inoltre, il prodotto fibrato derivato di due legendriani associati a sottogruppi $H_1, H_2 \subset G$ porta una canonica struttura di contatto 1-spostata.

Significato e Affermazioni
Il lavoro afferma di aver tradotto con successo il lemma classico di trasversalità nel contesto derivato, fornendo un quadro robusto per definire strutture di contatto su spazi moduli dove la trasversalità classica fallisce. Sostituendo argomenti topologici puntuali con operazioni $\infty$-categoriche stabili, gli autori risolvono il problema dei quozienti "cattivi" e delle intersezioni non trasversali.

Il significato del lavoro risiede nella sua capacità di:

1. Generalizzare la Geometria di Contatto: Estende la geometria di contatto a spazi moduli di dimensione dispari e contesti singolari tramite strutture spostate, utilizzando azioni di $G_m$ come proxy algebrico per i flussi di Liouville.
2. Risolvere Problemi di Intersezione: Fornisce una risposta affermativa definitiva al problema dell'intersezione legendriana in geometria derivata, collegandolo alla ben compresa teoria delle intersezioni lagrangiane tramite simplettificazione.
3. Unificare Problemi Moduli: I risultati offrono una fondazione geometrica unificata per vari problemi moduli, inclusi i fibrati di Higgs proiettivi, i sistemi locali $\ell$-adici e i gruppi di Lie 2, dotandoli di naturali strutture di contatto spostate che erano precedentemente inaccessibili o non definite nel quadro classico.

Gli autori sottolineano che il loro approccio evita la necessità di argomenti analitici locali o sezioni globali, affidandosi invece alle proprietà omologiche intrinseche degli stack derivati e alla discesa dei dati equivarianti. Ciò permette la costruzione di strutture di contatto su spazi intrinsecamente singolari o dotati di stabilizzatori non banali, ampliando così la portata della geometria di contatto all'interno della geometria algebrica.