Equivariant Quotients of Derived Symplectic Spaces and Legendrian Intersection Theorem

Resumo Técnico: Quocientes Equivariantes de Espaços Simpléticos Derivados e Teorema da Interseção Legendriana

Enunciado do Problema
A geometria de contato clássica baseia-se num lema fundamental de transversalidade: um campo vetorial de Liouville numa variedade simplética induz uma estrutura de contato em qualquer hipersuperfície transversal a esse campo. Esta construção depende de fluxos locais suaves, transversalidade de conjuntos de pontos e da existência de uma hipersuperfície transversal. No entanto, estes métodos clássicos falham no contexto de problemas de módulos algébricos, onde os espaços exibem frequentemente singularidades, nilpotência e grupos de automorfismos não triviais, tornando as condições de transversalidade inatingíveis ou mal definidas. Além disso, problemas de interseção em geometria algébrica sofrem frequentemente de patologias semelhantes, onde produtos fibrados carecem da dimensão homológica ou estrutura corretas. O artigo aborda a necessidade de traduzir o lema clássico de transversalidade e a teoria de interseção legendriana associada para o quadro da Geometria Algébrica Derivada (DAG), onde situações não genéricas (como interseções não transversais e quocientes "maus") são tratadas através de métodos homotópicos e de categorias superiores.

Metodologia
Os autores empregam a maquinaria da Geometria Algébrica Derivada, utilizando especificamente $\infty$-categorias estáveis, álgebras comutativas derivadas (cdgas) e estruturas simpléticas/de contato deslocadas. A mudança metodológica central envolve substituir o campo vetorial de Liouville clássico por uma ação de $G_m$ de peso 1 num pilha simplética derivada.

1. Transversalidade Derivada via Quocientes: Em vez de construir uma hipersuperfície transversal, o artigo utiliza a geometria de $G_m$-torsos e simplificação. O campo vetorial fundamental de uma ação de $G_m$ de peso 1 numa pilha de Artin derivada simplética $n$-deslocada $\tilde{X}$ substitui o campo vetorial de Liouville. Demonstra-se que a pilha quociente $[\tilde{X}/G_m]$ herda uma estrutura de contato, contornando efetivamente a necessidade de uma fatia transversal ao absorver os "zeros" do campo vetorial na estrutura de estabilizador da pilha.
2. Interseção Legendriana via Simplificação: Para abordar o problema da interseção legendriana, os autores estabelecem um dicionário entre estruturas legendrianas em módulos de contato e estruturas lagrangianas em módulos simpléticos. Isto é alcançado através de levantamentos $G_m$-equivariantes ao longo da projeção de simplificação $p: \tilde{X} \to X$. Ao levantar morfismos legendrianos para a cobertura simplética, o problema é transformado num problema de interseção lagrangiana equivariante.
3. Descida $\infty$-Categorial: As provas dependem fortemente de operações $\infty$-categoriais, incluindo mudança de base, triângulos exatos de complexos perfeitos e cubos de descida. A construção da estrutura de contato na interseção envolve analisar a transgressão de estruturas isotrópicas e verificar a não degenerescência através da estabilidade de sequências fibradas na categoria derivada.

Principais Contribuições e Resultados

• Teorema 1.1 (Análogo Derivado da Transversalidade Clássica): O artigo prova que, dada uma pilha de Artin derivada simplética $n$-deslocada $(\tilde{X}, \omega_{\tilde{X}})$ equipada com uma ação de $G_m$ de peso 1, a pilha quociente $[\tilde{X}/G_m]$ herda uma estrutura de contato $n$-deslocada. Este resultado formaliza a simplificação derivada, demonstrando que tomar o quociente de um espaço simplético homogêneo faz descer dados simpléticos para uma estrutura de contato sem exigir uma hipersuperfície transversal. O campo vetorial de Liouville é identificado com o campo vetorial fundamental da ação de $G_m$.
• Teorema 1.2 (Teorema da Interseção Legendriana Derivada): Os autores provam que a interseção de dois morfismos legendrianos $f_1: L_1 \to X$ e $f_2: L_2 \to X$ numa pilha de Artin derivada de contato $n$-deslocada admite uma estrutura de contato $(n-1)$-deslocada. Isto é estabelecido levantando a interseção para o nível simplético (onde se torna uma interseção lagrangiana), aplicando o teorema de interseção simplética deslocada e fazendo descer a estrutura resultante de volta para o quociente de contato.
• Corolário 1.3 (Lócus Discriminante Derivado): Como aplicação direta, mostra-se que o lócus discriminante derivado $\Delta_{loc}(f)$ de uma função regular $f$ num esquema $K$ suave $L$ carrega uma estrutura de contato $(-1)$-deslocada. Este lócus é definido como o produto fibrado derivado da incorporação legendriana de $L$ no espaço de 1-jatos e a seção zero.
• Aplicações à Teoria de Módulos: O artigo fornece exemplos concretos de pilhas derivadas com estruturas de contato deslocadas:
  • Fibrados de Higgs Projetivos: A pilha de módulos derivada de fibrados de Higgs projetivos, definida como o quociente da pilha cotangente 1-deslocada de fibrados principais pela ação de escalonamento, admite uma estrutura de contato 1-deslocada canónica.
  • Sistemas Locais $\ell$-ádicos: O quociente de pilha formal da pilha de módulos derivada de sistemas locais geométricos $\ell$-ádicos por um esquema de grupo co-representado por $K[x]/(x^{q^d}-1)$ herda uma estrutura de contato $(2-2d)$-deslocada, resultante da dilatação aritmética induzida pelo Frobenius geométrico.
  • 2-Grupos de Lie: O quociente de pilha derivada $P(T^*[2]BG)$ carrega uma estrutura de contato 2-deslocada canónica. Além disso, o produto fibrado derivado de dois legendrianos associados a subgrupos $H_1, H_2 \subset G$ carrega uma estrutura de contato 1-deslocada canónica.

Significado e Afirmações
O artigo afirma ter traduzido com sucesso o lema clássico de transversalidade para o quadro derivado, fornecendo um quadro robusto para definir estruturas de contato em espaços de módulos onde a transversalidade clássica falha. Ao substituir argumentos topológicos de conjuntos de pontos por operações $\infty$-catoriais estáveis, os autores resolvem a questão de quocientes "maus" e interseções não transversais.

O significado do trabalho reside na sua capacidade de:

1. Generalizar a Geometria de Contato: Estende a geometria de contato a espaços de módulos de dimensão ímpar e contextos singulares através de estruturas deslocadas, utilizando ações de $G_m$ como substituto algébrico para fluxos de Liouville.
2. Resolver Problemas de Interseção: Fornece uma resposta afirmativa definitiva ao problema da interseção legendriana na geometria derivada, ligando-o à teoria bem compreendida de interseções lagrangianas via simplificação.
3. Unificar Problemas de Módulos: Os resultados oferecem uma fundação geométrica unificada para vários problemas de módulos, incluindo fibrados de Higgs projetivos, sistemas locais $\ell$-ádicos e 2-grupos de Lie, dotando-os de estruturas de contato deslocadas naturais que eram anteriormente inacessíveis ou indefinidas no quadro clássico.

Os autores enfatizam que a sua abordagem evita a necessidade de argumentos analíticos locais ou fatias globais, dependendo em vez disso das propriedades homológicas intrínsecas das pilhas derivadas e da descida de dados equivariantes. Isto permite a construção de estruturas de contato em espaços que são inerentemente singulares ou possuem estabilizadores não triviais, expandindo assim o âmbito da geometria de contato dentro da geometria algébrica.