The logarithmic leaf complex and foliated d-semistability

1. Formulação do Problema e Motivação

O artigo aborda um problema fundamental na teoria de deformação de foliações holomorfas: Quais foliações em variedades com cruzamentos normais (NC) admitem suavizações?

• Contexto: No estudo dos espaços de módulos de foliações em variedades suaves, frequentemente encontram-se pontos de fronteira correspondentes a variedades singulares com cruzamentos normais. O Teorema de Redução Semiestável garante que qualquer família de pares foliados pode ser modificada (via mudança de base e transformação birracional) para ter uma fibra central que seja uma variedade de cruzamentos normais.
• A Lacuna: Enquanto a teoria de suavizações para variedades (sem foliações) é bem estabelecida através da noção de d-semiestabilidade (introduzida por Friedman e estendida por Kawamata–Namikawa), a teoria análoga para pares foliados $(X, \mathcal{F})$ estava ausente.
• Questão Central: Dada uma variedade de cruzamentos normais $X$ e uma foliação $\mathcal{F}$ sobre ela, sob quais condições existe uma família plana sobre um disco $\Delta$ tal que a fibra central seja $(X, \mathcal{F})$ e a fibra geral seja um par foliado suave?

2. Metodologia

Os autores empregam a Geometria Logarítmica (no sentido de Fontaine–Illusie e Kato) como estrutura principal. Esta abordagem trata a variedade singular de cruzamentos normais como um objeto "suave" dentro da categoria de esquemas logarítmicos.

• Estruturas Logarítmicas: Eles equipam a variedade NC $X$ com uma estrutura logarítmica $M_X$ de tipo semiestável, permitindo um morfismo $f: (X, M_X) \to (\ast, \mathbb{N})$.
• d-Semiestabilidade Folhada: Eles definem um par $(X, \mathcal{F})$ como d-semiestável se o feixe tangente da foliação, $\mathcal{T}_{\mathcal{F}}$, estiver contido no feixe tangente logarítmico relativo $\mathcal{T}_{X/(\ast, \mathbb{N})}$. Isso garante que a foliação seja compatível com a estrutura log-suave da degeneração.
• Teoria de Deformação: Eles desenvolvem uma teoria de deformação infinitesimal para morfismos foliados log-suaves. Isso envolve a construção de um Complexo da Folha Logarítmica (análogo ao complexo da folha no caso suave) para governar as deformações.

3. Contribuições e Resultados Principais

A. Obstruções Locais e Globais à d-Semiestabilidade

O artigo estabelece critérios precisos para quando um par foliado é d-semiestável.

1. Compatibilidade Local (Índices de Camacho–Sad):

   • Para um modelo local $X = V(x_1 \cdots x_r)$, se os divisores $D_i = V(x_i)$ são invariantes sob a foliação, os autores derivam uma condição de compatibilidade para os índices de Camacho–Sad das foliações restritas $\mathcal{F}_i$ sobre as componentes irredutíveis.
   • Resultado (Proposição 3.12): Para quaisquer duas componentes $X_i, X_j$ que se intersectam em $D_{ij}$, os índices devem satisfazer:
     $$CS(\mathcal{F}_i, D_{ij}) + CS(\mathcal{F}_j, D_{ij}) = r - 2$$
     onde $r$ é o número de componentes que se encontram na singularidade.

2. Classe de Obstrução Global:

   • A d-semiestabilidade local não garante a d-semiestabilidade global. Os autores identificam a obstrução para colar estruturas logarítmicas semiestáveis locais.
   • Resultado (Proposição 3.17): A obstrução à d-semiestabilidade global reside no grupo de cohomologia:
     $$H^1(X, \mathcal{O}^*_{X/\mathcal{F}} / G_{\mathcal{F}})$$
     onde $\mathcal{O}^*_{X/\mathcal{F}}$ é o feixe de integrais primeiras invertíveis de $\mathcal{F}$, e $G_{\mathcal{F}}$ é o núcleo da restrição ao lugar singular.
   • Natureza Topológica: Se o lugar singular (lugar duplo) for uma folha da foliação, a obstrução torna-se puramente topológica, residindo em $H^1(D, \mathbb{C}^*)$.

B. Teoria de Deformação Logarítmica

Os autores constroem uma teoria de deformação para foliações log-suaves, generalizando o trabalho de Goldman–Millson e Kato.

1. O Complexo da Folha Logarítmica:

   • Eles definem um complexo $L^\bullet(\mathcal{F})$ que governa as deformações:
     $$\mathcal{T}_X \xrightarrow{\delta} \mathcal{H}om(\mathcal{T}_{\mathcal{F}}, \mathcal{N}_{\mathcal{F}}) \xrightarrow{\delta} \mathcal{H}om(\wedge^2 \mathcal{T}_{\mathcal{F}}, \mathcal{N}_{\mathcal{F}}) \to \dots$$
   • O diferencial é o diferencial de Chevalley–Eilenberg associado ao colchete de Lie no feixe tangente logarítmico.

2. Obstrução e Módulos:

   • Teorema 4.12: Os grupos de hipercohomologia deste complexo controlam a teoria de deformação:
     • $\mathbb{H}^0$: Automorfismos.
     • $\mathbb{H}^1$: Classes de equivalência de deformações de primeira ordem.
     • $\mathbb{H}^2$: Obstruções à extensão de deformações.
   • Teorema 4.15 (Casco Versal): Se $X$ é uma variedade própria, o functor de módulos de deformações log-suaves de $(X, \mathcal{F})$ admite um casco versal. Isso garante a existência de um espaço de módulos formal.

3. Existência de Suavizações:

   • Corolário 4.16: Se $(X, \mathcal{F})$ é d-semiestável e o grupo de obstrução $\mathbb{H}^2(X, L^\bullet(\mathcal{F}))$ se anula, então $(X, \mathcal{F})$ admite uma suavização.
   • O artigo fornece um exemplo concreto (Exemplo 4.17) envolvendo colagem de fibrados $\mathbb{P}^1$, mostrando como o aniquilamento de grupos de cohomologia específicos garante a existência de uma suavização.

4. Significado

• Ponte entre Singularidade e Suavidade: O artigo fornece a maquinaria teórica necessária para tratar pares foliados singulares como limites de pares suaves, um passo crucial para a compactificação dos espaços de módulos de foliações.
• Estrutura Logarítmica: Demonstra que a geometria logarítmica é o cenário natural para estudar degenerações de foliações, estendendo a aplicação bem-sucedida da geometria logarítmica a superfícies Calabi-Yau e K3 (Kawamata–Namikawa) para o contexto foliado.
• Critérios Computáveis: Ao reduzir o problema a obstruções cohomológicas e relações de índices (Camacho–Sad), os autores fornecem ferramentas concretas para pesquisadores determinarem se uma foliação singular específica pode ser suavizada.
• Direções Futuras: O trabalho estabelece as bases para o estudo de foliações log Calabi-Yau e a aplicação de técnicas de levantamento T1 para provar a existência de suavizações em contextos mais amplos, potencialmente levando a uma classificação completa de pares foliados d-semiestáveis.

Em resumo, o artigo traduz com sucesso a teoria clássica da d-semiestabilidade para o domínio das foliações usando geometria logarítmica, identificando as obstruções locais e globais precisas e provando a existência de espaços de deformação versais.