Some examples of DG-Lie formality transfer

Enunciado do Problema
O artigo aborda o problema da "transferência de formalidade" para álgebras de Lie Diferenciais Graduadas (DG). Especificamente, investiga as condições sob as quais a propriedade de formalidade (ser quase-isomorfa à sua álgebra de cohomologia) pode ser transferida entre duas álgebras de Lie DG, $L$ e $M$, conectadas por um morfismo $f: L \to M$.

Embora seja bem estabelecido que certas propriedades, como a abelianidade homotópica, transferem-se sob condições específicas na aplicação induzida em cohomologia (por exemplo, injetividade ou surjetividade), os autores observam que a formalidade não se comporta de maneira semelhante. Teoremas de transferência padrão para abelianidade homotópica não se generalizam imediatamente para a formalidade; por exemplo, um morfismo $f: L \to M$ pode ter $M$ formal e $f: H^*(L) \to H^*(M)$ injetiva, mas $L$ pode falhar em ser formal. O artigo busca identificar as obstruções cohomológicas corretas e as condições que permitem um teorema de transferência de formalidade rigoroso.

Metodologia
Os autores utilizam o arcabouço da cohomologia de Chevalley–Eilenberg e sequências espectrais para analisar a obstrução à formalidade. Sua metodologia envolve:

1. Complexo Duplo de Chevalley–Eilenberg: Eles empregam o complexo duplo $CE(L, M)$ associado a uma álgebra de Lie DG $L$ e um $L$-módulo $M$. A cohomologia do complexo total, $H^*_{CE}(L, M)$, serve como a ferramenta primária para detectar obstruções.
2. Sequências Espectrais: Eles analisam a sequência espectral de cohomologia $(E(L, M)^{p,q}_r, d_r)$ associada à primeira filtração do complexo duplo.
3. Classes de Euler e Diferenciais: Um dispositivo técnico central é a "classe de Euler" $e_f \in E(L, M)^{1,0}_2$, definida via a derivação de Euler. Os autores aproveitam o fato de que o desaparecimento de diferenciais superiores ($d_r$) na sequência espectral é equivalente à formalidade. Especificamente, eles utilizam o resultado de que uma álgebra de Lie DG $L$ é formal se, e somente se, sua sequência espectral $E(L, L)_r$ degenera na página $E_2$.
4. Morfismos Induzidos: Eles estudam como um morfismo $f: L \to M$ induz morfismos entre as sequências espectrais de $(L, L)$, $(M, M)$ e $(L, M)$, rastreando como as classes de Euler e as diferenciais se comportam sob esses mapas.

Principais Contribuições e Resultados
A principal contribuição é a formulação e prova de um Teorema de Transferência de Formalidade geral (Teorema 1.2 / Teorema 2.5), que generaliza resultados anteriores sobre abelianidade homotópica para a propriedade de formalidade.

• O Teorema Principal: Seja $f: L \to M$ um morfismo de álgebras de Lie DG.

  • Transferência Reversa: Se $M$ é formal e a aplicação induzida $f^*: H^2_{CE}(H^*(L), H^*(L)) \to H^2_{CE}(H^*(L), H^*(M))$ é injetiva, então $L$ é formal.
  • Transferência Direta: Se $L$ é formal e a aplicação induzida $f^*: H^2_{CE}(H^*(M), H^*(M)) \to H^2_{CE}(H^*(L), H^*(M))$ é injetiva, então $M$ é formal.

• Corolários: Os autores derivam corolários práticos para casos em que o morfismo admite uma seção ou uma retração. Por exemplo, se $M$ é formal e existe um morfismo de $H^*(L)$-módulos $s: H^*(M) \to H^*(L)$ tal que $s \circ f = \text{Id}_{H^*(L)}$, então $L$ é formal.

• Aplicações:

  1. Álgebras Universais Envelopantes: Os autores provam que, para uma álgebra de Lie DG $L$, a formalidade de $L$ é equivalente à formalidade de sua álgebra envolvente universal $U(L)$, tanto como uma álgebra associativa DG quanto como uma álgebra de Lie DG. Isso é estabelecido usando o teorema de Poincaré–Birkhoff–Witt (PBW) e a decomposição de $U(L)$ como um $L$-módulo.
  2. Subálgebras Invariantes: Eles mostram que, se uma álgebra de Lie DG $M$ é formal e $L \subseteq M$ é uma subálgebra que admite uma retração de $L$-módulos (por exemplo, a subálgebra de invariantes sob a ação de um grupo finito ou de um grupo algébrico linearmente redutível), então $L$ também é formal.
  3. Formalidade de Kodaira–Spencer: O artigo prova que, se uma variedade projetiva suave $X$ é formal de Kodaira–Spencer (ou seja, sua álgebra de Lie DG de controle é formal) e um grupo finito $G$ age livremente em $X$, então o quociente $X/G$ também é formal de Kodaira–Spencer.
  4. Não-Exemplo: O artigo fornece um contra-exemplo (Subseção 3.4) demonstrando que a injetividade de $H^*(L) \to H^*(M)$ isoladamente é insuficiente para a transferência de formalidade, reforçando a necessidade das condições de cohomologia de Chevalley–Eilenberg.

Significância e Alegações
O artigo alega fornecer uma "reformulação conveniente" e uma "generalização leve" de teoremas de transferência de formalidade existentes. Os autores observam que o resultado de transferência reversa (Item 1 do teorema principal) foi provado anteriormente em [19] e aplicado no contexto da conjectura de formalidade de Kaledin–Lehn.

A significância deste trabalho reside em:

1. Completar o Quadro: Ao adicionar o resultado de transferência direta (Item 2) e fornecer uma prova diferente e ligeiramente mais simples para a transferência reversa, o artigo oferece um arcabouço mais simétrico e acessível para a transferência de formalidade.
2. Esclarecer Obstruções: Ele identifica explicitamente a injetividade de aplicações específicas em cohomologia de Chevalley–Eilenberg como a condição precisa necessária para superar a falha da formalidade em transferir-se sob simples injetividade/surjetividade de aplicações de cohomologia.
3. Unificar Aplicações: Os resultados unificam vários fenômenos conhecidos, tais como a preservação da formalidade sob quocientes por grupos finitos e a equivalência de formalidade de Lie e associativa para álgebras envolventes universais, sob um único arcabouço teórico.

Os autores mantêm-se modestos quanto ao escopo, reconhecendo que, embora o arcabouço teórico seja geral, "quase todas as aplicações interessantes conhecidas" desses resultados dependem do corolário específico envolvendo somandos diretos (Corolário 1.4). O artigo não propõe novas aplicações experimentais, mas sim solidifica a base teórica para as existentes em teoria de deformação e geometria algébrica.