Versal dg deformation of Calabi--Yau manifolds

1. Problema e Contexto

O artigo aborda a relação fundamental entre a teoria de deformações de variedades algébricas e a teoria de deformações de suas categorias derivadas (ou categorias DG de complexos perfeitos). Especificamente, o foco recai sobre variedades de Calabi-Yau de dimensão superior ($dim > 2$).

• O Cenário: É amplamente aceito que deformar uma variedade algébrica e deformar sua categoria derivada são processos essencialmente equivalentes, uma vez que ambos são controlados pela cohomologia de Hochschild (que, para variedades de Calabi-Yau, é isomorfa à cohomologia do feixe tangente).
• A Lacuna: Antes deste trabalho, não havia um quadro rigoroso que estabelecesse um isomorfismo natural entre os funtores de deformação da variedade ($Def_{X_0}$) e o funtor de deformação de Morita de sua categoria DG de complexos perfeitos ($Def^{mo}_{Perfdg(X_0)}$). Além disso, existiam questões sobre a unicidade das deformações de Morita quando se considera variedades derivadamente equivalentes (como no contexto da simetria espelho).
• Objetivo Principal: Provar que a teoria de deformação de uma variedade de Calabi-Yau é equivalente à teoria de deformação de sua categoria DG de complexos perfeitos, estabelecendo um isomorfismo natural entre os funtores de deformação e demonstrando a unicidade das deformações de Morita versais sob certas condições.

2. Metodologia

O autor emprega uma combinação sofisticada de técnicas de geometria algébrica, teoria de categorias derivadas e teoria de deformação de categorias lineares e abelianas.

• Categorias DG e Deformações Curvas: O trabalho utiliza a teoria de deformações de categorias DG (diferenciais graduadas) e $A_\infty$ curvas, seguindo o formalismo desenvolvido por Lowen e Van den Bergh. A ideia central é classificar deformações via cohomologia de Hochschild de segunda ordem ($H^2$).
• Construção de Toda: O autor recorre à construção de Toda, que associa a um cociclo de Hochschild uma categoria de feixes torcidos em um esquema não-comutativo. Para variedades de Calabi-Yau, essa construção coincide com a categoria de feixes coerentes sobre a deformação da variedade.
• Categorias de Feixes Quase-Coerentes ($Qch$): O caminho técnico passa pela equivalência entre:
  1. Deformações da variedade $X$.
  2. Deformações da categoria abeliana de feixes quase-coerentes $Qch(X)$.
  3. Deformações da subcategoria de objetos injetivos de $Qch(X)$.
  4. Deformações da categoria DG de complexos perfeitos $Perfdg(X)$.
• Morfismos Característicos e Obstruções: Utiliza-se o morfismo característico de Lowen para determinar quais objetos de uma categoria podem ser levantados para uma deformação. O autor demonstra que, para variedades de Calabi-Yau, as obstruções para levantar objetos de $Perfdg(X)$ para uma deformação curvada desaparecem exatamente quando a deformação da variedade é possível.
• Kernels de Fourier-Mukai: Para tratar a unicidade e a equivalência entre variedades derivadamente equivalentes, o autor utiliza a teoria de deformação de kernels de Fourier-Mukai, mostrando que o kernel que define a equivalência derivada inicial pode ser deformado simultaneamente com as variedades.

3. Principais Contribuições e Resultados

A. Isomorfismo de Funtores de Deformação (Teorema 1.1)

O resultado central é a prova de que existe um isomorfismo natural entre o funtor de deformação da variedade $X_0$ e o funtor de deformação de Morita de sua categoria DG de complexos perfeitos:
$$\zeta: Def_{X_0} \xrightarrow{\sim} Def^{mo}_{Perfdg(X_0)}$$
Isso implica que:

• As deformações de Morita de $Perfdg(X_0)$ são controladas pelo mesmo complexo de Lie de Kodaira-Spencer que controla as deformações da variedade.
• Uma deformação de Morita de $Perfdg(X_0)$ é essencialmente dada pela categoria de complexos perfeitos sobre uma deformação da variedade.

B. Deformações Parciais Máximas e Realização Geométrica

O autor estabelece que a categoria $Perfdg(X_\phi)$ (complexos perfeitos sobre uma deformação $X_\phi$) define uma deformação DG parcial máxima de $Perfdg(X)$.

• Corolário 1.4: Qualquer família formal universal efetiva para $Def^{mo}_{Perfdg(X_0)}$ é algebrizável. Isso significa que a deformação versal de Morita é dada geometricamente por $Perfdg(X_S)$, onde $X_S$ é uma deformação versal da variedade $X_0$.

C. Fibra Genérica e Quotiente de Drinfeld

O artigo introduz a fibra genérica categórica DG de uma família de deformações como um Quotiente de Drinfeld:
$$Perfdg(X_S) / Perfdg(X_S)_0$$
onde $Perfdg(X_S)_0$ é a subcategoria de complexos com cohomologia de torção em $S$.

• Proposição 1.6: Prova-se que este Quotiente de Drinfeld é quasi-equivalente à categoria de complexos perfeitos na fibra genérica da variedade ($Perfdg(X_{Q(S)})$).

D. Unicidade e Equivalência Derivada (Teorema 1.7 e Corolário 1.8)

Este é um dos resultados mais significativos para a simetria espelho e a teoria de equivalência derivada:

• Dadas duas variedades de Calabi-Yau $X_0$ e $X'_0$ que são derivadamente equivalentes (via um kernel de Fourier-Mukai $P_0$), e considerando suas deformações versais $X_S$ e $X'_S$ sobre uma base comum $S$:
• Se as deformações forem suficientemente próximas das suas "efetivizações" (ou seja, se a aproximação de primeira ordem for suficientemente precisa), então as categorias DG $Perfdg(X_S)$ e $Perfdg(X'_S)$ são quasi-equivalentes.
• Isso implica que a equivalência derivada entre as fibras especiais se estende para as fibras gerais (e vice-versa) dentro do contexto das deformações versais, sem a necessidade de encolher a base para vizinhanças étale menores do que o necessário.

4. Significado e Impacto

1. Rigidez da Equivalência Derivada: O trabalho fornece uma ferramenta poderosa para entender como equivalências derivadas se comportam sob deformações. Ele confirma que a estrutura da categoria derivada "sente" a geometria da variedade de maneira tão íntima que deformar a variedade é equivalente a deformar a categoria.
2. Simetria Espelho e Famílias: No contexto da Simetria Espelho de Homologia (Kontsevich), onde variedades não-isomórficas podem ter categorias derivadas equivalentes, este resultado garante que essa equivalência persiste ao longo de famílias de deformações versais comuns. Isso é crucial para a construção de famílias de variedades espelho.
3. Fundamentação Teórica: O artigo preenche lacunas teóricas deixadas por trabalhos anteriores (como os de Toda e Dinh-Liu-Lowen), fornecendo o quadro correto para lidar com deformações de categorias lineares e abelianas de forma rigorosa, conectando a geometria algébrica clássica com a teoria de categorias DG modernas.
4. Novo Tipo de Unicidade: O autor prova uma forma de unicidade para deformações de Morita que vai além da unicidade clássica de vizinhanças étale, mostrando que a escolha da realização geométrica (dentro de certos limites de aproximação) não afeta a classe de equivalência de Morita da deformação versal.

Em resumo, Morimura estabelece uma ponte definitiva entre a geometria de deformação de variedades de Calabi-Yau e a teoria de deformação de suas categorias derivadas, demonstrando que a estrutura de Morita da categoria de complexos perfeitos é um invariante robusto que reflete fielmente a geometria da variedade subjacente, mesmo na presença de equivalências derivadas não triviais.