Open-closed Deligne-Mumford field theories: construction

Sintesi Tecnica: Teorie di Campo di Deligne–Mumford Aperte-Chiuse: Costruzione

Enunciato del Problema
Il lavoro affronta un vuoto fondamentale nella topologia simplettica e nella geometria algebrica: la mancanza di un quadro algebrico rigoroso a livello di catene che colleghi la categoria di Fukaya di una sottovarietà lagrangiana agli invarianti di Gromov–Witten della varietà simplettica ambiente in genere arbitrario. Mentre le teorie di campo coomologiche (CohFT) descrivono la struttura algebrica degli invarianti di Gromov–Witten, e le categorie di Fukaya descrivono la teoria di Floer lagrangiana, una costruzione diretta di una teoria di campo che operi a livello di catene (anziché solo sull'omologia) e incorpori sia settori aperti (bordo lagrangiano) sia settori chiusi (interno) è rimasta elusiva.

I tentativi precedenti, come le teorie di campo conformi topologiche aperte-chiuse (TCFT) di Costello, si basano su properadi modulari di superfici incorniciate lisce. Tuttavia, questi non utilizzano direttamente gli spazi di moduli compattificati di curve stabili con bordo che sorgono naturalmente nello studio delle curve pseudo-olomorfe. Inoltre, la teoria di Floer lagrangiana standard spesso produce algebre $A_\infty$ curve, e estenderle a genere superiore con componenti di bordo arbitrarie richiede la gestione della curvatura e delle specifiche ostacoli geometrici degli spazi di moduli con bordo.

Metodologia
Gli autori costruiscono "Teorie di Campo di Deligne–Mumford Aperte-Chiuse" (DMFT), definite come funtori $A_\infty$ simmetrici monoidali da una categoria di catene sugli spazi di moduli di curve stabili con bordo alla categoria dei complessi di catene. La costruzione procede attraverso diverse fasi tecniche:

1. Quadro Algebrico: Gli autori definiscono una categoria $\mathcal{OC}$ arricchita sulle catene degli spazi di moduli di curve stabili con bordo ($M_{oc}$). Per gestire la realtà geometrica delle condizioni al contorno lagrangiane, introducono una versione "curva" di questa categoria, $\mathcal{OC}_r$, che aggiunge formalmente generatori $D_0$ e $D_1$ per tenere conto dell'instabilità dei dischi con pochi punti marcati. Ciò permette alla teoria di accomodare algebre $A_\infty$ curve.
2. Modelli di Catena e Risoluzione delle Singolarità: Un ostacolo tecnico maggiore è definire operazioni su catene dove gli spazi di moduli sono orbifold singolari con angoli. Gli autori impiegano un modello di catena specifico basato su "catene singolari analitiche". Utilizzano l'algoritmo di risoluzione reale analitica delle singolarità (estendendo risultati di Bierstone e Milman) per gestire i prodotti fibrati degli spazi di moduli che non sono trasversali. Ciò permette operazioni di pull-push ben definite (operazioni q) anche quando le mappe di stabilizzazione non sono subimmersioni.
3. Cobordismi Cubici e Strutture di Kuranishi: Per ottenere la funtorialità stretta e gestire le omotopie superiori, la costruzione si basa su un sistema di "cobordismi cubici" (carte globali di Kuranishi) per gli spazi di moduli delle mappe stabili. Queste carte sono costruite per essere compatibili con gli strati di bordo e le operazioni di incollamento. Gli autori definiscono corrispondenze utilizzando queste carte e forme di Thom per definire le operazioni della teoria di campo.
4. Deformazione e Rimozione della Curvatura: La costruzione iniziale produce una DMFT aperta-chiusa curva. Per ottenere una teoria non curva (necessaria per recuperare gli invarianti standard di Gromov–Witten), gli autori utilizzano la teoria delle catene di vincolo. Dimostrano che se la lagrangiana ammette una catena di vincolo debole, la DMFT curva può essere deformata in una non curva tramite un processo di deformazione algebrica che elimina il termine di curvatura.
5. Indipendenza dall'Omologia: Gli autori dimostrano che la teoria di campo risultante è indipendente dalle scelte ausiliarie (come la struttura complessa quasi e le specifiche carte di Kuranishi) fino all'omotopia. Ciò è ottenuto costruendo omotopie esplicite utilizzando "pseudo-isotopie" dei dati geometrici sottostanti.

Contributi e Risultati Chiave

• Definizione di DMFT Aperta-Chiusa: Il lavoro definisce una teoria di campo di Deligne–Mumford aperta-chiusa come un funtore $A_\infty$ simmetrico monoidale $F: \mathcal{OC} \to \text{Ch}_\Lambda$. Questa struttura estende l'algebra $A_\infty$ di Fukaya a curve di genere arbitrariamente alto e con un numero arbitrario di componenti di bordo.
• Teorema di Costruzione (Teorema A): Per una varietà simplettica chiusa $(X, \omega)$ e una lagrangiana $L$ relativamente spin, immersa e debolmente non ostacolata, gli autori costruiscono una DMFT aperta-chiusa curva operadica semi-stretta.
  • Se $L$ è dotata di una catena di vincolo debole, questa si deforma in una DMFT aperta-chiusa non curva.
  • Il settore chiuso associato di questa teoria recupera la teoria di Gromov–Witten di $X$.
• Strettezza e Proprietà Operadiche: La costruzione è "semi-stretta" (stretta sulle catene stabili) e "operadica" (compatibile con l'oblio dei punti marcati). Ciò implica che l'algebra associata sulla lagrangiana è un'algebra $A_\infty$ ciclica.
• Corollario 1.2: Di conseguenza, ogni varietà simplettica compatta ammette un'azione a livello di catene stretta dell'operade delle curve di genere 0 stabili sulle forme differenziali $\Omega^*(X; \Lambda)$, sollevando il prodotto cup quantistico.
• Indipendenza dall'Omologia (Teorema B): Le DMFT costruite sono indipendenti da tutte le scelte ausiliarie (inclusa la scelta della struttura complessa quasi e la classe di equivalenza di gauge delle catene di vincolo) fino all'omotopia di DMFT.
• Conteggio Universale delle Curve: La teoria è descritta come una "teoria universale di conteggio delle curve" che contiene le mappe aperta-chiusa e chiusa-aperta come parte dei suoi dati, colmando il divario tra la categoria di Fukaya e gli invarianti di Gromov–Witten.

Significato
Il lavoro rappresenta un primo passo critico verso la dimostrazione della congettura di Kontsevich secondo cui la categoria di Fukaya determina gli invarianti di Gromov–Witten di una varietà simplettica. Seguendo una strategia delineata da Costello, gli autori forniscono la necessaria macchina geometrica e algebrica per sollevare la categoria di Fukaya a una teoria di campo che operi a livello di catene e spazi di moduli di curve stabili con bordo.

La costruzione elimina la necessità di ipotesi di regolarità restrittive (come quelle richieste in lavori precedenti di Ganatra, Pomerleano e Seidel) utilizzando perturbazioni virtuali e carte globali di Kuranishi. Il lavoro stabilisce che la struttura algebrica della categoria di Fukaya, quando potenziata da una catena di vincolo, codifica naturalmente gli invarianti enumerativi della varietà simplettica. Sebbene il lavoro non pretenda di dimostrare completamente la congettura per tutti i generi senza ulteriore lavoro (in particolare riguardo alla generazione della categoria di Fukaya e alla trivialisazione dell'azione $S^1$), costruisce con successo il ponte teorico-campo necessario per effettuare tale confronto. Il lavoro generalizza inoltre i risultati precedenti sugli invarianti di Gromov–Werti aperti di genere zero a genere e componenti di bordo arbitrari.