Transversal unfoldings of derived foliations

Resumo Técnico: Desdobramentos Transversais de Foliações Derivadas

Enunciado do Problema
O artigo aborda o problema de controlar o transporte transversal de foliações derivadas relativas ao longo de um espaço de parâmetros. Embora as foliações derivadas, introduzidas por Toën e Vezzosi, forneçam um aprimoramento homotópico de foliações singulares via álgebras de de Rham mistas graduadas, o comportamento dessas estruturas sob deformação requer um arcabouço derivado preciso. Especificamente, o autor distingue entre uma deformação geral (onde a estrutura folheada muda com um parâmetro) e um desdobramento (unfolding). Um desdobramento é definido como uma deformação transversal integrável onde as próprias direções do parâmetro se elevam ao espaço total como simetrias infinitesimais planas. O desafio central é identificar o objeto derivado que classifica tais desdobramentos, particularmente na presença de singularidades e ações não efetivas (onde existem estabilizadores ou isotropia central), e estabelecer a invariância homotópica dessa classificação, independente de modelos algébricos específicos.

Metodologia
O artigo desenvolve um formalismo baseado em apresentações de Chevalley–Eilenberg (CE) e álgebra homotópica. A metodologia procede através de vários estágios:

1. Modelos Estritos Afins: O autor trabalha primeiro no cenário afim estrito onde a foliação derivada relativa é apresentada por um algebroide dg-Lie relativo cofibrante e estritamente perfeito $\rho: \mathfrak{g} \to T_{A/B}$. Neste contexto, o "controlador transversal" é construído como a álgebra de Lie dg das derivações de primeira ordem básicas de $\mathfrak{g}$ módulo derivações internas.
2. Tratamento da Não-Efetividade: Quando o mapa de derivação interna $\iota: \mathfrak{g} \to D^1_{\text{bas}}(\mathfrak{g}/B)$ não é injetivo, o quociente ordinário falha em reter os dados do estabilizador. O artigo substitui o quociente por um módulo cruzado (um $L_\infty$-algebroide de dois termos) $Uder(\mathfrak{g}/B) = [\mathfrak{g} \to D^1_{\text{bas}}(\mathfrak{g}/B)]$, que atua como o quociente homotópico.
3. Formulação Intrínseca: Para garantir que os resultados sejam independentes da apresentação CE escolhida, o artigo constrói um "controlador graduado-misto" intrínseco definido como o quociente homotópico de derivações mistas graduadas de peso zero da álgebra de de Rham derivada $DR(F/S)$.
4. Descida e Globalização: Utilizando hipercoberturas e teoria de descida para stacks derivadas, a classificação afim local é estendida para uma afirmação global. O artigo estabelece que a classificação de desdobramentos globais é equivalente ao espaço derivado de splittings planos do controlador intrínseco descendido.
5. Deformação e Transporte: O artigo analisa a teoria de deformação de um desdobramento fixo via um complexo de Maurer–Cartan e constrói uma conexão de Gauss–Manin para cristais linearizados pelo desdobramento.

Contribuições Principais e Resultados

• Classificação de Desdobramentos: O resultado principal (Teorema 5.6 para o caso afim efetivo e Teorema 7.5 para o caso não-efetivo) estabelece uma bijeção (ou equivalência de grupoides derivados) entre desdobramentos transversais estritos e splittings planos do controlador transversal.
  • No caso efetivo, os desdobramentos são classificados por splittings planos do algebroide dg $uder(\mathfrak{g}/B) \to T_{B/k}$.
  • No caso não-efetivo, os desdobramentos são classificados pelo espaço de mapeamento derivado de splittings superiores planos do módulo cruzado $Uder(\mathfrak{g}/B)$.
• Invariância Homotópica: O Teorema 9.3 e o Corolário 9.4 provam que o controlador transversal e a classificação resultante são independentes da apresentação CE escolhida. O controlador intrínseco é identificado como o quociente homotópico $[T_{F/S} \to D^{\text{gm}}_{\text{bas}}(DR(F/S))]$.
• Teorema de Descida Global: Sob hipóteses explícitas de apresentabilidade CE e de descida de controladores (Hipótese 8.6), o Teorema 8.8 fornece uma equivalência global: desdobramentos derivados transversais de $F/S$ são equivalentes ao espaço derivado de splittings planos do controlador descendido sobre o algebroide tangente da base.
• Teoria de Obstrução: O artigo identifica a classe de Atiyah–Kodaira–Spencer (Definição 13.1) como a obstrução à existência de um splitting transversal. A curvatura de um splitting escolhido serve como a obstrução à planaridade (Proposição 13.4). No caso abeliano, a existência de um splitting plano é governada por uma classe de cohomologia em $H^2(T_{B/k}, \ker(\text{ancora}))$ (Teorema 14.6).
• Forma Normal Dividida e Maurer–Cartan: O artigo deriva uma forma normal dividida para a álgebra de de Rham desdobrada (Proposição 15.3). A condição para o quadrado do diferencial misto total ser zero é mostrada como sendo a equação de Maurer–Cartan para o termo de Lie-derivada transversal, generalizando o termo transversal clássico de Suwa $h d\varepsilon$.
• Conexão de Gauss–Manin e Classes Características: Para cristais coerentemente Cartan-linearizados, o artigo constrói uma conexão de Gauss–Manin plana (Teorema 10.6). Mostra-se que esta conexão preserva a filtragem de peso/Hodge Cartan-linearizada (Proposição 17.2) e que o caractere de Chern foliado de tais cristais é horizontal (Proposição 17.3).

Significância e Alegações
O artigo alega fornecer um arcabouço unificado e homotopicamente invariante para desdobramentos transversais que subsume e estende teorias clássicas.

• Unificação: A construção recupera resultados clássicos para foliações suaves, algebroides de Lie e estruturas logarítmicas, enquanto também aborda geometria de Poisson deslocada (shifted Poisson geometry) e espaços de folhas representáveis.
• Necessidade do Estrutura Derivada: O trabalho enfatiza que, para foliações derivadas singulares, o truncamento clássico é insuficiente. A estrutura derivada (especificamente o diferencial misto graduado e o quociente homotópico de derivações) é necessária para capturar corretamente a integrabilidade e as simetrias transversais, particularmente na presença de isotropia central onde os quocientes ordinários falham.
• Clareza Estrutural: Ao identificar o controlador transversal como um quociente homotópico específico, o artigo esclarece a natureza geométrica dos desdobramentos como "deformações transversais integráveis" onde as direções do parâmetro atuam como simetrias planas.
• Limitações: O teorema de descida global é condicional a hipóteses específicas de apresentabilidade CE e da existência de pushforwards derivados do controlador (Hipótese 8.6). O artigo não pretende construir uma teoria de pushforward geral para todos os stacks de algebroides de Lie, mas isola os dados de descida específicos necessários para esta classificação.

O autor observa que os resultados são consequências derivadas da classificação, e não dados adicionais, especificamente no que diz respeito à horizontalidade das classes características e à existência da conexão de Gauss–Manin. O trabalho serve como um formalismo fundamental para o estudo da teoria de deformação de foliações derivadas e seus invariantes cohomológicos associados.