Open-closed Deligne-Mumford field theories: construction

Resumo Técnico: Teorias de Campo Deligne–Mumford Aberto-Fechado: Construção

Enunciação do Problema
O artigo aborda uma lacuna fundamental na topologia simplética e na geometria algébrica: a ausência de uma estrutura algébrica rigorosa, ao nível da cadeia, que conecte a categoria de Fukaya de uma subvariedade lagrangiana aos invariantes de Gromov–Witten da variedade simplética ambiente em gênero arbitrário. Enquanto as teorias de campo cohomológicas (CohFTs) descrevem a estrutura algébrica dos invariantes de Gromov–Witten, e as categorias de Fukaya descrevem a teoria de Floer lagrangiana, uma construção direta de uma teoria de campo que opere ao nível da cadeia (em vez de apenas na homologia) e incorpore simultaneamente os setores aberto (fronteira lagrangiana) e fechado (interior) tem sido evasiva.

Tentativas anteriores, como as teorias de campo conformais topológicas (TCFTs) aberto-fechadas de Costello, baseiam-se em properados modulares de superfícies enquadadas suaves. No entanto, estas não utilizam diretamente os espaços de módulos compactificados de curvas estáveis com fronteira que surgem naturalmente no estudo de curvas pseudo-holomórficas. Além disso, a teoria de Floer lagrangiana padrão frequentemente produz álgebras $A_\infty$ curvas, e a extensão destas para gêneros superiores com componentes de fronteira arbitrárias exige lidar com a curvatura e as obstruções geométricas específicas dos espaços de módulos com fronteira.

Metodologia
Os autores constroem "Teorias de Campo Deligne–Mumford Aberto-Fechadas" (DMFTs), definidas como funtores $A_\infty$ simétricos monoidais de uma categoria de cadeias sobre espaços de módulos de curvas estáveis com fronteira para a categoria de complexos de cadeia. A construção prossegue através de várias etapas técnicas:

1. Estrutura Algébrica: Os autores definem uma categoria $\mathcal{OC}$ enriquecida sobre cadeias em espaços de módulos de curvas estáveis com fronteira ($M_{oc}$). Para lidar com a realidade geométrica das condições de fronteira lagrangiana, introduzem uma versão "curva" desta categoria, $\mathcal{OC}_r$, que adjunta formalmente geradores $D_0$ e $D_1$ para dar conta da instabilidade de discos com poucos pontos marcados. Isso permite que a teoria acomode álgebras $A_\infty$ curvas.
2. Modelos de Cadeia e Resolução de Singularidades: Um obstáculo técnico maior é definir operações em cadeias onde os espaços de módulos são orbifolds singulares com cantos. Os autores empregam um modelo de cadeia específico baseado em "cadeias singulares analíticas". Eles utilizam o algoritmo de resolução analítica real de singularidades (estendendo resultados de Bierstone e Milman) para lidar com produtos fibrados de espaços de módulos que não são transversais. Isso permite operações de pull-push bem definidas (operações-q) mesmo quando os mapas de estabilização não são submersões.
3. Cobordismos Cúbicos e Estruturas de Kuranishi: Para alcançar a estrita functorialidade e lidar com homotopias superiores, a construção baseia-se em um sistema de "cobordismos cúbicos" (cartas globais de Kuranishi) para espaços de módulos de mapas estáveis. Estas cartas são construídas para serem compatíveis com as estratos de fronteira e as operações de acoplamento. Os autores definem correspondências usando estas cartas e formas de Thom para definir as operações da teoria de campo.
4. Deformação e Remoção de Curvatura: A construção inicial produz uma DMFT aberto-fechada curva. Para obter uma teoria não curva (necessária para recuperar os invariantes padrão de Gromov–Witten), os autores utilizam a teoria das cadeias limitantes (bounding cochains). Eles mostram que, se a lagrangiana admite uma cadeia limitante fraca, a DMFT curva pode ser deformada em uma não curva através de um processo de deformação algébrica que elimina o termo de curvatura.
5. Independência Homotópica: Os autores provam que a teoria de campo resultante é independente de escolhas auxiliares (como a estrutura quase complexa e as cartas específicas de Kuranishi) até homotopia. Isso é alcançado construindo homotopias explícitas usando "pseudo-isotopias" dos dados geométricos subjacentes.

Principais Contribuições e Resultados

• Definição de DMFT Aberto-Fechada: O artigo define uma teoria de campo Deligne–Mumford aberto-fechada como um funtor $A_\infty$ simétrico monoidal $F: \mathcal{OC} \to \text{Ch}_\Lambda$. Esta estrutura estende a álgebra $A_\infty$ de Fukaya para curvas de gênero arbitrariamente alto e com arbitrariamente muitas componentes de fronteira.
• Teorema de Construção (Teorema A): Para uma variedade simplética fechada $(X, \omega)$ e uma lagrangiana relativamente spin, mergulhada e fracamente não obstruída $L$, os autores constroem uma DMFT aberto-fechada curva, semi-estrita e operádica.
  • Se $L$ estiver equipada com uma cadeia limitante fraca, esta se deforma em uma DMFT aberto-fechada não curva.
  • O setor fechado associado desta teoria recupera a teoria de Gromov–Witten de $X$.
• Estritidade e Propriedades Operádicas: A construção é "semi-estrita" (estrita em cadeias estáveis) e "operádica" (compatível com a esquecimento de pontos marcados). Isso implica que a álgebra associada na lagrangiana é uma álgebra $A_\infty$ cíclica.
• Corolário 1.2: Como consequência, qualquer variedade simplética compacta admite uma ação estrita ao nível da cadeia da operádia de curvas de gênero 0 estáveis sobre as formas diferenciais $\Omega^*(X; \Lambda)$, levantando o produto de copo quântico.
• Independência Homotópica (Teorema B): As DMFTs construídas são independentes de todas as escolhas auxiliares (incluindo a escolha da estrutura quase complexa e a classe de equivalência de gauge das cadeias limitantes) até homotopia de DMFTs.
• Contagem Universal de Curvas: A teoria é descrita como uma "teoria universal de contagem de curvas" que contém os mapas aberto-fechado e fechado-aberto como parte de seus dados, preenchendo a lacuna entre a categoria de Fukaya e os invariantes de Gromov–Witten.

Significância
O artigo representa um primeiro passo crítico rumo à prova da conjectura de Kontsevich de que a categoria de Fukaya determina os invariantes de Gromov–Witten de uma variedade simplética. Ao seguir uma estratégia delineada por Costello, os autores fornecem a maquinaria geométrica e algébrica necessária para levantar a categoria de Fukaya a uma teoria de campo que opera no nível das cadeias e espaços de módulos de curvas estáveis com fronteira.

A construção remove a necessidade de suposições restritivas de regularidade (como as exigidas em trabalhos anteriores de Ganatra, Pomerleano e Seidel) ao utilizar perturbações virtuais e cartas globais de Kuranishi. O artigo estabelece que a estrutura algébrica da categoria de Fukaya, quando aprimorada por uma cadeia limitante, codifica naturalmente os invariantes enumerativos da variedade simplética. Embora o artigo não afirme provar completamente a conjectura para todos os gêneros sem trabalho adicional (especificamente no que diz respeito à geração da categoria de Fukaya e à trivialização da ação de $S^1$), ele constrói com sucesso a ponte teórica de campo necessária para realizar tal comparação. O trabalho também generaliza resultados anteriores sobre invariantes de Gromov–Witten abertos de gênero zero para gênero arbitrário e componentes de fronteira.