Equivariant Contact Darboux Quotients and Perversely Categorified Legendrian Correspondences

Resumo Técnico: Quotientes de Darboux de Contato Equivariantes e Correspondências Legendrianas Perversas Categorificadas

Enunciado do Problema
O artigo aborda o desafio de definir invariantes enumerativos e linearizar estruturas categóricas em geometria de contato derivada. Embora trabalhos anteriores tenham estabelecido que stacks de Artin derivados de contato deslocados admitem atlas de Darboux suaves, esses modelos locais são insuficientes para calcular ciclos de vanishing étale equivariantes, que são necessários para teorias enumerativas (como os invariantes de Donaldson-Thomas). A dificuldade central reside na "aciclicidade topológica genérica" dos espaços de contato devido à ação estrutural de $\mathbb{G}_m$ (fluxo de Reeb), que faz com que as características de Euler topológicas ingênuas se anulem. O problema central é que o espaço de contato é "vazio" do ponto de vista da cohomologia clássica.

Metodologia
O autor emprega uma combinação de geometria algébrica derivada, geometria equivariante e teoria de sheaves $\ell$-ádicas. A metodologia procede através das seguintes etapas:

1. Modelos Locais Equivariantes: O artigo estabelece um Teorema de Darboux de Contato Equivariante. Ao utilizar a simpletificação derivada de uma stack de contato de deslocamento $-1$ e aplicar o teorema de Kresch sobre estratificação por stacks de quociente, o autor refina o atlas suave local para um stack de quociente geométrico $[\Delta_{\text{loc}}(s)/G]$. Aqui, $\Delta_{\text{loc}}(s)$ é o lócus discriminante derivado associado a uma seção relativa $s$, e $G$ é um grupo estabilizador redutivo.
2. Descida de Perverse Sheaves: Utilizando o modelo mínimo BBDJS (Beilinson-Bernstein-Deligne-Gabber-Joyce-Schürmann) para ciclos de vanishing no simpletificação derivada, o autor faz a descida dessas estruturas para a stack de contato. Esta descida depende da equivalência de especialização de Verdier para sheaves monodrômicas. A ação de $\mathbb{G}_m$ no simpletificação induz um automorfismo de monodromia geométrica tênue $T$ na perverse sheaf $\ell$-ádica resultante.
3. Linearização de Categorias: O artigo formula um análogo de contato da conjectura de Joyce para linearizar as categorias Legendrianas não lineares. Utilizando o formalismo de seis funções para sheaves $\ell$-ádicas e funtores de pull-push de Fourier-Mukai, o autor constrói 2-categorias linearizadas onde os 2-morfismos são definidos pela hipercohomologia étale de perverse sheaves monodrômicas.
4. Invariantes via Fórmulas de Traço: Para resolver a questão da aciclicidade topológica, o artigo define invariantes enumerativos usando o traço de Grothendieck-Lefschetz $\ell$-ádico do operador de monodromia torcida $\tau$ atuando na perverse sheaf de ciclos de vanishing. Isso leva à definição de uma função de Behrend de contato.

Contribuições Principais e Resultados

• Teorema 1.1 (Teorema de Darboux de Contato Equivariante): Prova que toda stack derivada de Artin de contato de deslocamento $-1$ sobre um corpo algebricamente fechado $K$ de característica zero admite um atlas suave por um esquema de Darboux de contato $\text{Spec}(A) \simeq \Delta_{\text{loc}}(s)$. Na presença de estabilizadores redutivos $G$, a stack é localmente equivalente, na topologia suave, ao quociente geométrico $[\Delta_{\text{loc}}(s)/G]$.
• Teorema 1.2 (Perverse Sheaves $\ell$-ádicas Monodrômicas): Estabelece que toda stack derivada de Artin de contato de deslocamento $-1$ orientada admite uma perverse sheaf $\ell$-ádica $P_Z$ equipada com um automorfismo de monodromia geométrica tênue $T$. Esta estrutura é derivada pela descida dos ciclos de vanishing BBDJS do simpletificação.
• Teorema 1.3 (Categoria Legendriana Categorificada): Constrói uma 2-categoria linearizada $\mathcal{LF}_c(X)$ para uma stack de contato de deslocamento $1$. Os 1-morfismos são correspondências Legendrianas orientadas próprias, e os 2-morfismos são dados pela hipercohomologia étale de perverse sheaves monodrômicas em interseções derivadas. Uma 2-categoria fraca linear globalmente categorificada $\mathcal{LLeg}_0$ também é construída para stacks de contato de deslocamento $0$.
• Teorema 7.2 (Integração Topológica de Contato $\ell-ádica$): Fornece uma fórmula para o invariante de Donaldson-Thomas (DT) de contato como a integração topológica $\ell$-ádica da função de Behrend de contato $\nu^{\text{contact}}_Z$. Isso resolve o desaparecimento de invariantes topológicos ao ponderar os estratos com o traço do operador de monodromia.
• Exemplos Computacionais: O artigo computa a função de Behrend de contato para singularidades $A_k$ e singularidades quadráticas não degeneradas. Em ambos os casos, a multiplicidade de contato local é encontrada como 1, contrastando com os valores clássicos da função de Behrend (ex: $k$ para $A_k$), demonstrando como o traço alternado da monodromia cíclica cancela contribuições de ramos de múltiplas folhas.

Significância e Alegações
O artigo afirma resolver a obstrução para definir invariantes enumerativos em geometria de contato derivada através da introdução de modelos locais equivariantes e um formalismo de perverse sheaf monodrômica. Ao linearizar as categorias Legendrianas, o trabalho conecta espaços de módulos de contato derivados à teoria de microlocal sheaf, fornecendo um "Análogo de contato da conjectura de Joyce".

O autor afirma que este arcabouço permite a extração de invariantes enumerativos derivados via o traço de Grothendieck-Lefschetz $\ell$-ádico, efetivamente contornando a aciclicidade topológica genérica inerente aos espaços de contato. Os resultados lançam as bases para desenvolvimentos futuros em invariantes DT de contato motivados, Álgebras de Hall Cohomológicas (CoHAs) e uma potencial "Simetria de Espelho Homológica de Contato" via uma correspondência de Nadler-Zaslow de contato. O artigo posiciona estes resultados como os fundamentos geométicos e cohomológicos necessários para uma Teoria de Campo Simplético (SFT) derivada formulada algebricamente.