Unobstructed deformations for singular Calabi-Yau varieties

1. Problema e Contexto

O artigo aborda o problema fundamental na geometria algébrica e analítica complexa de determinar quando as deformações de uma variedade singular são não obstruídas (unobstructed).

• Contexto: Para variedades complexas compactas suaves $M$, o Teorema de Bogomolov-Tian-Todorov garante que as deformações de variedades Calabi-Yau (onde o fibrado canônico é trivial, $K_M \cong \mathcal{O}_M$) são não obstruídas. Isso significa que o espaço de deformação é suave (isomorfo a um espaço vetorial).
• O Desafio Singular: Quando $Y$ é uma variedade analítica compacta singular (especificamente uma variedade Calabi-Yau singular, definida como um espaço Gorenstein com fibrado dualizante trivial $\omega_Y \cong \mathcal{O}_Y$), a teoria de deformação torna-se mais complexa. Existem obstruções locais (na vizinhança dos pontos singulares) e globais.
• Objetivo: Generalizar resultados recentes de Y. Imagi (que tratavam de singularidades ponderadamente homogêneas e racionais sob condições Kähler estritas) para uma classe muito mais ampla de singularidades, removendo a necessidade de homogeneidade ponderada e substituindo a condição Kähler por uma condição de resolução satisfazendo o lema $\partial\bar{\partial}$.

2. Metodologia

A abordagem de Friedman combina teoria de deformações, cohomologia de Hodge mista e propriedades de levantabilidade ($T^1$ lifting).

• Estrutura de Hodge Mista e Cohomologia Relativa:
  • O autor utiliza a cohomologia relativa $H^*(Y, Z)$, onde $Z$ é o lugar singular de $Y$.
  • Considera uma resolução de singularidades $\pi: \tilde{Y} \to Y$ com conjunto excepcional $E$. A cohomologia relativa é identificada com $H^*(\tilde{Y}, E)$.
  • Assume-se que a resolução $\tilde{Y}$ satisfaz o lema $\partial\bar{\partial}$, o que implica a degeneração da sequência espectral de Hodge-de Rham no termo $E_1$. Isso permite o uso de métodos de Hodge padrão para provar a degeneração de sequências espectrais apropriadas.
• Condições de Levantamento ($T^1$ Lifting):
  • O critério central para a não obstrução é a propriedade de levantamento de $T^1$ (ou uma versão generalizada). Isso exige que certos mapas de cohomologia sejam sobrejetivos ao passar de uma deformação sobre um anel Artin $A$ para um quociente $A'$.
  • Especificamente, o autor foca na sobrejetividade do mapa:
    $$H^{n-2}(Y; \Omega^1_{Y/\text{Spec } A}) \to H^{n-2}(Y; \Omega^1_Y)$$
    (ou sua versão relativa ao lugar singular no caso não lci).
• Generalização para Casos Não lci:
  • Em vez de assumir que as singularidades são interseções completas locais (lci), o autor considera singularidades Du Bois.
  • No caso não lci, ele introduz o uso do co-kernel do mapa $H^{n-2}_Z(Y; \Omega^1_Y) \to H^{n-2}(Y; \Omega^1_Y)$, adaptando argumentos de Mark Gross e Y. Imagi.

3. Contribuições Chave e Resultados Principais

O artigo estabelece os seguintes teoremas principais sob a hipótese de que $Y$ é uma variedade Calabi-Yau singular compacta de dimensão $n \ge 3$, com singularidades isoladas, e $H^1(Y; \mathcal{O}_Y) = 0$:

A. Teorema Principal (Casos lci e Du Bois)

Teorema 1.6: Se as singularidades de $Y$ são isoladas, lci e Du Bois (o que inclui singularidades racionais), e existe uma resolução satisfazendo o lema $\partial\bar{\partial}$, então as deformações de $Y$ são não obstruídas.

• Significado: Isso generaliza resultados anteriores de Kawamata, Ran e Tian, removendo a restrição de que as singularidades devem ser "pontos duplos ordinários" ou "ponderadamente homogêneas". A condição "Du Bois" é mais fraca que "racional" em geral, mas para singularidades Gorenstein isoladas de dimensão $\ge 2$, equivale a serem "log canônicas".

B. Generalização para Casos Não lci

Teorema 3.10: Se as singularidades são apenas isoladas e Du Bois (sem assumir lci), então $Y$ satisfaz a propriedade de levantamento generalizada de $T^1$.

• Isso implica que, se o functor de deformação é prorepresentável, a estrutura do espaço de deformação é controlada pela obstrução local. O autor mostra que a obstrução global é controlada pela obstrução local via a propriedade de levantamento generalizada.

C. Casos Log-Calabi-Yau e Fano

• Log-Calabi-Yau (Teorema 3.15): O autor estende os resultados para pares $(Y, D)$, onde $D$ é um divisor com cruzamentos normais simples no locus suave, tal que $\omega_Y \cong \mathcal{O}_Y(-D)$. Sob condições similares (singularidades Du Bois lci, lema $\partial\bar{\partial}$), as deformações logarítmicas são não obstruídas.
• Fano (Teorema 3.17): Para variedades onde o fibrado anticanônico $\omega_Y^{-1}$ é nef e big (caso Fano), com singularidades racionais lci isoladas, as deformações são não obstruídas. A prova utiliza coberturas cíclicas e o teorema de anulação de Kawamata-Viehweg.

4. Significado e Impacto

1. Relaxamento de Hipóteses: O trabalho remove a necessidade de singularidades serem "ponderadamente homogêneas" (uma condição muito restritiva) e substitui a condição global "Kähler" (difícil de verificar para variedades não projetivas) pela existência de uma resolução satisfazendo o lema $\partial\bar{\partial}$.
2. Unificação de Abordagens: O artigo sintetiza insights de trabalhos recentes de Imagi, Gross, Namikawa e outros, unificando a teoria de deformação para singularidades lci e não lci através da cohomologia relativa e estruturas de Hodge mista.
3. Aplicabilidade a Suavizações: Embora a não obstrução não garante automaticamente a existência de uma suavização (smoothing), ela é um pré-requisito essencial. Estes resultados abrem caminho para provar a suavizabilidade de novas classes de variedades Calabi-Yau singulares, que são objetos centrais na teoria de espelhos e na física teórica (teoria de cordas).
4. Generalidade: Ao trabalhar com singularidades Du Bois (que englobam as racionais), o autor amplia o escopo de variedades para as quais a teoria de deformação é bem-comportada, cobrindo casos que antes exigiam técnicas muito específicas ou não eram cobertos por teoremas existentes.

Em resumo, Friedman fornece uma estrutura robusta e generalizada para entender a suavidade dos espaços de deformação de variedades Calabi-Yau singulares, baseando-se em propriedades cohomológicas profundas e na teoria de Hodge, superando limitações de trabalhos anteriores que dependiam de condições de singularidade muito fortes.