Joint Deformations of Manifolds, Coherent Sheaves and Sections

Resumo Técnico: Deformações Conjuntas de Variedades, Feixes Coerentes e Seções

Enunciado do Problema
O artigo aborda a teoria de deformação de triplas $(X, F, \sigma)$, onde $X$ é uma variedade suave sobre um corpo de característica 0, $F$ é um feixe coerente em $X$, e $\sigma \in H^0(X, F)$ é uma seção global. Embora a teoria de deformação de pares $(X, Z)$ (onde $Z$ é um divisor) seja bem compreendida via a hipercohomologia do complexo $\Theta_X \xrightarrow{\gamma} N_{Z|X}$, existe uma lacuna técnica significativa: o complexo $D = [\Theta_X \xrightarrow{\gamma} N_{Z|X}]$ não possui naturalmente a estrutura de um feixe de álgebras de Lie diferenciais graduadas (álgebras de Lie DG) . Essa ausência complica o estudo das deformações usando a maquinaria padrão de soluções de Maurer–Cartan e equivalência de gauge, particularmente para o cálculo de obstruções primárias e produtos de Massey.

Trabalhos anteriores dos autores e de outros estabeleceram que, para um feixe de linha $L$ e uma seção $\sigma$, as deformações de $(X, L, \sigma)$ são controladas pelo complexo $P(X, L) \xrightarrow{e_\sigma} L$, onde $P(X, L)$ é o feixe de operadores diferenciais de primeira ordem. No entanto, faltava um arcabouço geral para feixes coerentes arbitrários $F$ (que podem não ser localmente livres) e suas seções.

Metodologia
Os autores empregam a teoria de álgebras de Lie DG e grupoides de Deligne para construir um mecanismo de controle para essas deformações. A metodologia procede em várias etapas:

1. Resolução e Construção: Para um feixe coerente $F$, os autores selecionam uma resolução localmente livre finita $E^\bullet$ e uma seção $s \in H^0(X, E^0)$ que levanta $\sigma$. Eles constroem um feixe de algebroides de Lie DG $C^\bullet(X, E^\bullet, s)$, definido como o cocone de mapeamento da morfismo de avaliação $e_s: P^\bullet(X, E^\bullet) \to E^\bullet$. Aqui, $P^\bullet(X, E^\bullet)$ denota o feixe de operadores diferenciais de primeira ordem com símbolo escalar.
2. Independência de Resolução: Utilizando técnicas de álgebra homológica (especificamente o procedimento de "matar ciclos" e propriedades de quase-isomorfismos), os autores provam que a classe de quase-isomorfismo do algebroide de Lie DG $C^\bullet(X, E^\bullet, s)$ é independente da escolha da resolução $(E^\bullet, s)$.
3. Teoria de Descida: Para passar de vizinhanças afins locais para a variedade global $X$, os autores utilizam a totalização de Thom–Whitney do álgebra de Lie DG semico-simplicial formado pelas restrições de $C^\bullet$ a uma cobertura aberta afim. Eles aplicam uma variação do teorema de descida de Hinich para grupoides de Deligne (especificamente a extensão de Fiorenza–Iacono–Martinengo) para relacionar o funtor de deformação global às seções globais derivadas da álgebra de Lie DG totalizada.
4. Grupoides Formais: Os autores definem grupoides formais $G(X,F,\sigma)$ representando as classes de isomorfismo de deformações infinitesimais. Eles estabelecem equivalências entre esses grupoides e os grupoides de Deligne associados às álgebras de Lie DG construídas.

Principais Contribuições e Resultados

• Teorema Principal (Teorema 5.6): As deformações infinitesimais da tripla $(X, F, \sigma)$ são controladas pela álgebra de Lie DG $L$ das seções globais derivadas do complexo $C^\bullet(X, E^\bullet, s)$. Especificamente, há um isomorfismo de funtores de deformação:
  $$\text{Def}_{\text{Tot}(U, C^\bullet)} \cong \text{Def}_{(X,F,\sigma)}$$
  Consequentemente, o espaço tangente às deformações é identificado com $T^1_{(X,F,\sigma)} = H^1(X, C^\bullet(X, E^\bullet, s))$, e as obstruções residem em $T^2_{(X,F,\sigma)} = H^2(X, C^\bullet(X, E^\bullet, s))$.
• Generalização para Seções: O arcabouço estende-se naturalmente para sequências finitas de seções $\sigma_1, \dots, \sigma_n$ ao substituir o alvo do morfismo de avaliação pela soma direta das resoluções.
• Recuperação de Resultados Conhecidos (Seção 6): O artigo demonstra que, quando $F = L$ é um feixe de linha e $\sigma$ define um divisor $Z$, o complexo $C^\bullet(X, L, \sigma)$ é quase-isomorfo ao complexo clássico $\Theta_X \xrightarrow{\gamma} N_{Z|X}$. Isso recupera o resultado conhecido de que a hipercohomologia deste complexo controla as deformações do par $(X, Z)$.
• Insight Estrutural (Exemplo 6.2): Os autores provam explicitamente que o complexo $\Theta_X \xrightarrow{\gamma} N_{Z|X}$ não admite uma estrutura de álgebra de Lie DG compatível com o colchete de Lie em $\Theta_X$ de modo que a projeção seja um morfismo de Lie DG. Isso destaca a necessidade do feixe intermediário de operadores diferenciais $P(X, L)$ para obter uma estrutura de Lie DG válida.
• Critério de Suavidade (Corolário 5.8): Se $H^1(X, F) = 0$, o morfismo de esquecimento das deformações de $(X, F, \sigma)$ para as deformações de $(X, F)$ é suave.

Significância
O artigo reivindica significância ao fornecer um arcabouço de álgebra de Lie DG unificado e rigoroso para as deformações conjuntas de uma variedade, um feixe coerente e uma seção. Esta abordagem resolve a dificuldade técnica de lidar com feixes não localmente livres e seções onde o complexo tangente-normal padrão falha em possuir uma estrutura de álgebra de Lie DG. Ao estabelecer que as seções globais derivadas do cocone de mapeamento construído controlam essas deformações, os autores permitem a aplicação de ferramentas padrão da teoria de deformação (como teoria de obstrução e produtos de Massey) a uma classe mais ampla de objetos geométricos. Além disso, o trabalho generaliza resultados existentes sobre as deformações de pares $(X, Z)$ para casos onde o divisor $Z$ pode ser singular, sem exigir que o feixe de campos vetoriais logarítmicos seja o único controlador.