Bondal's conjecture in dimension five

Resumo Técnico: Conjectura de Bondal em Dimensão Cinco

Enunciado do Problema
O artigo aborda a conjectura de Bondal (1993) relativa à geometria dos loci de degenerescência para estruturas de Poisson holomorfas em variedades de Fano. Seja $X$ uma variedade de Fano complexa e $\sigma$ uma estrutura de Poisson holomorfa em $X$. A estrutura $\sigma$ induz uma foliação singular por folhas simpléticas. O locus de degenerescência $D_{2k}(\sigma)$ é definido como o subespaço analítico fechado onde o posto de $\sigma$ é no máximo $2k$.

A conjectura de Bondal postula que, quando $X$ possui curvatura positiva (ou seja, é de Fano), os loci de degenerescência são significativamente maiores do que as variedades determinantais de formas antissimétricas clássicas preveriam. Especificamente, para qualquer inteiro $k$ tal que $0 \le 2k < \dim X$, o locus $D_{2k}(\sigma)$ deve possuir um componente irredutível de dimensão pelo menos $2k+1$.

Antes deste trabalho, a conjectura foi estabelecida para variedades de Fano de dimensão $\le 4$ e para loci de degenerescência "maximais" específicos em dimensões superiores. O problema em aberto era o caso geral para variedades de Fano de dimensão ímpar, particularmente o locus de degenerescência "submaximal" em dimensão cinco.

Metodologia
Os autores empregam uma combinação de teoria de foliações, restrições cohomológicas em campos de Pfaff e técnicas de geometria de Poisson. A estratégia de prova para o teorema principal (Teorema 1.2) envolve a análise da foliação holomorfa $\mathcal{F}$ definida pela saturação da imagem do mapa de contração $\sigma^\sharp: \Omega^1_X \to TX$. O argumento procede distinguindo casos baseados na codimensão do locus singular de $\mathcal{F}$:

1. Singularidades de Alta Codimensão ($\ge 3$):
   Os autores estabelecem um resultado estrutural para foliações de codimensão um em variedades de Fano fracas com loci singulares de codimensão $\ge 3$. Eles provam que tais foliações são definidas pelas fibras de um morfismo $f: X \to \mathbb{P}^1$ com fibras irredutíveis. Isso reduz o problema ao caso de dimensão par (as fibras), onde a conjectura já é conhecida por ser válida.

2. Singularidades de Codimensão Dois:
   Quando o locus singular de $\mathcal{F}$ tem codimensão dois, os autores analisam a geometria dos subvariedades singulares utilizando duas ferramentas primárias:

   • Resíduos Modulares: Utilizando a teoria de resíduos modulares introduzida por Gualtieri e Pym, eles examinam os loci de desaparecimento desses resíduos nos loci de degenerescência. Isso fornece restrições sobre os loci singulares de Poisson de subvariedades invariantes.
   • Restrições Cohomológicas em Campos de Pfaff: Os autores estendem o trabalho de Esteves–Kleiman sobre campos de Pfaff para o contexto de variedades de Kähler compactas. Eles introduzem o conceito de "correntes positivas fortemente direcionadas" para derivar obstruções cohomológicas. Especificamente, eles provam que se uma subvariedade de Poisson $Y$ possui singularidades suficientemente suaves e suporta uma corrente positiva fortemente direcionada, então o número de Hodge $h^{0, \dim Y}(X)$ deve ser não nulo. Como variedades de Fano possuem números de Hodge $h^{0, k}(X) = 0$ para $k > 0$, isso cria uma contradição se o locus de degenerescência for muito pequeno.

Principais Contribuições e Resultados

• Teorema 1.2 (Resultado Principal): Para uma variedade de Fano $X$ de dimensão $2n+1$ ($n > 1$) com uma estrutura de Poisson $\sigma$, o locus de degenerescência submaximal $D_{2n-4}(\sigma)$ contém um componente irredutível de dimensão pelo menos $2n-3$.
• Corolário 1.3: Como consequência direta, a conjectura de Bondal é provada para todas as variedades de Fano de dimensão cinco.
• Teorema 2.5 (Foliações em Fanos Fracos): Uma generalização de resultados anteriores mostrando que foliações holomorfas de codimensão um em variedades de Fano fracas com loci singulares de codimensão $\ge 3$ são fibrados sobre $\mathbb{P}^1$. Isso estende o trabalho anterior do primeiro autor sobre foliações regulares para o caso singular.
• Proposição 1.5 & Lema 3.3: O artigo fornece uma restrição cohomológica para variedades de Kähler compactas: se $X$ contém uma subvariedade fechada $Y$ (com singularidades suaves) que é o fechamento de uma folha simplética, então $h^{0, \dim Y}(X) > 0$. Isso generaliza resultados anteriores sobre folhas simpléticas compactas.
• Proposição 4.1: Uma aplicação específica da restrição acima a subvariedades de Poisson, ligando a existência de tais subvariedades ao não desaparecimento de números de Hodge.

Significância
O artigo afirma fornecer a primeira prova da conjectura de Bondal para variedades de Fano de dimensão cinco. Ao resolver o caso de degenerescência submaximal para Fanos de dimensão ímpar, os autores fecham uma lacuna significativa na compreensão da geometria de Poisson em variedades de curvatura positiva.

O trabalho é significativo não apenas pelo resultado específico em dimensão cinco, mas também pelas ferramentas metodológicas desenvolvidas:

1. A extensão dos critérios de integrabilidade algébrica para foliações para o cenário singular em variedades de Fano fracas.
2. A adaptação da teoria de campos de Pfaff de Esteves–Kleiman para variedades de Kähler compactas usando correntes positivas, permitindo a derivação de restrições cohomológicas em subvariedades invariantes.

Os autores observam que seus resultados para dimensões ímpares são parciais (especificamente tratando do locus submaximal), mas as técnicas lançam as bases para investigações futuras em dimensões ímpares superiores. O artigo não propõe aplicações experimentais ou conjecturas futuras além do escopo dos teoremas estabelecidos.