Log Baum--Bott Residues for foliations by curves

Resumo Técnico: Resíduos de Baum–Bott Logarítmicos para Foliações por Curvas

Enunciado do Problema
O artigo aborda a extensão da teoria clássica de Baum–Bott, que relaciona os números característicos de uma variedade aos resíduos das singularidades de foliações holomorfas, para o contexto da geometria logarítmica. Especificamente, os autores investigam foliações holomorfas unidimensionais (foliações por curvas) que são logarítmicas ao longo de um divisor livre $D$ em uma variedade complexa $X$. O problema central é definir e calcular "resíduos de Baum–Bott logarítmicos" para singularidades localizadas no divisor $D$, e estabelecer uma fórmula residual global que incorpore esses índices logarítmicos. Além disso, o trabalho busca aplicar esses resultados a variedades singulares via resoluções logarítmicas e explorar implicações para a conjectura de Zariski–Lipman e o Problema de Poincaré.

Metodologia
Os autores empregam uma combinação de geometria algébrica local, teoria de feixes (sheaf theory) e métodos topológicos globais:

1. Campos Vetoriais Logarítmicos e Frames: O estudo utiliza o feixe de campos vetoriais logarítmicos $TX(-\log D)$. Para uma foliação $\mathcal{F}$ logarítmica ao longo de $D$, os representantes locais são seções deste feixe. Os autores definem uma matriz específica $M_{\log}(\vartheta)$ associada a um campo vetorial logarítmico local $\vartheta$, construída usando um frame local de $TX(-\log D)$ e a estrutura de colchete de Lie do frame.
2. Definições de Resíduo: Generalizando o resíduo de Grothendieck, os autores definem o resíduo de Baum–Bott logarítmico $\text{Res}^{\log}_{\varphi}(\mathcal{F}, D, p)$ para um polinômio simétrico homogêneo $\varphi$ de grau $n$. Este é definido via o resíduo de Grothendieck de $\varphi(M_{\log}(\vartheta))$ em relação às coordenadas locais do campo vetorial.
3. Estrutura Cohomológica: As provas baseiam-se na cohomologia de Čech-de Rham relativa e na dualidade de Alexander. Ao construir uma cobertura específica do conjunto singular e utilizar o teorema de desaparecimento de Bott (Bott vanishing theorem) para conexões no fibrado normal da foliação em relação ao fibrado tangente logarítmico, os autores relacionam classes características globais a resíduos locais.
4. Resolução de Singularidades: Para lidar com variedades singulares, os autores utilizam resoluções logarítmicas funcionais $\pi: (X, D) \to (Y, \emptyset)$. Eles elevam a foliação para a resolução e aplicam o teorema de Baum–Bott logarítmico na variedade suave $X$ para derivar fórmulas para a variedade singular $Y$.
5. Comparações de Índices: O artigo estabelece relações entre os novos resíduos logarítmicos e índices existentes, incluindo o índice logarítmico de Aleksandrov, o índice GSV (Gómez-Mont, Seade, Verjovsky) e o índice de Camacho–Sad, particularmente no contexto de superfícies.

Principais Contribuições e Resultados

• O Teorema de Baum–Bott Logarítmico (Teorema 1.2): O principal resultado é uma fórmula residual para uma foliação holomorfa unidimensional $\mathcal{F}$ em uma variedade complexa compacta $X$ logarítmica ao longo de um divisor livre $D$. Para um polinômio simétrico homogêneo $\varphi$ de grau $n = \dim X$:
  $$\int_X \varphi(TX(-\log D) - T\mathcal{F}) = \sum_{S_\lambda \not\subset D} BB_\varphi(\mathcal{F}, S_\lambda) + \sum_{S_\lambda \subset D} \text{Res}^{\log}_\varphi(\mathcal{F}, D, S_\lambda)$$
  onde a soma percorre os componentes conexos do conjunto singular. Isso generaliza o teorema clássico para o contexto logarítmico e para $\partial$-variedades não compactas.

• Generalização do Índice de Aleksandrov: Os autores demonstram que, para singularidades isoladas em um divisor livre, o resíduo de Baum–Bott logarítmico generaliza o índice logarítmico de Aleksandrov. Especificamente, quando $\varphi = \det$, o resíduo coincide com o índice logarítmico $\text{Log}(\mathcal{F}, D, p)$.

• Relações em Superfícies (Corolário 1.6): Para foliações em superfícies complexas compactas, a diferença entre o índice de Baum–Bott clássico e o índice de Baum–Bott logarítmico ao longo de uma curva invariante $D$ é explicitamente expressa em termos do índice GSV e do índice de Camacho–Sad (CS):
  $$BB_{c_1^2}(\mathcal{F}, D) - \text{Res}^{\log}_{c_1^2}(\mathcal{F}, D) = 2\text{GSV}(\mathcal{F}, D) + \text{CS}(\mathcal{F}, D)$$
  O artigo observa que, se $\mathcal{F}$ é uma "curva generalizada" ao longo de $D$ (sem saddle-nodes na resolução), o resíduo logarítmico desaparece.

• Aplicação ao Problema de Poincaré (Corolário 1.5): Os autores derivam uma nova obstrução para o Problema de Poincaré em $\mathbb{P}^n$ (para $n$ ímpar). Se uma foliação possui um divisor livre invariante $D$ e a soma dos resíduos logarítmicos é não-negativa, então $\deg(D) \leq \deg(\mathcal{F}) + n$.

• Variedades Singulares e Resolução Logarítmica (Corolário 1.7): Uma fórmula do tipo Baum–Bott é obtida para variedades normais singulares via resoluções logarítmicas. Os números característicos globais da variedade singular são expressos como uma soma de resíduos de Baum–Bott clássicos na parte regular e resíduos logarítmicos no divisor excepcional.

• Conjectura de Zariski–Lipman e Saddle-Nodes (Corolário 1.9): O artigo prova uma versão global fraca da conjectura de Zariski–Lipman para superfícies algébricas compactas. Estabelece um "critério de suavidade foliada": Se $Y$ é uma superfície analítica compacta com um feixe tangente localmente livre e uma foliação induzida por um campo vetorial torcido cujas singularidades residem apenas em $\text{Sing}(Y)$, então, se a foliação for uma "curva generalizada", $Y$ deve ser suave. Inversamente, se $Y$ é singular, a redução de singularidades de tal foliação deve necessariamente exibir pelo menos um saddle-node. Isso sugere uma manifestação dinâmica da condição de Zariski–Lipman.

• Funções Construíveis (Seção 6): Os autores organizam os resíduos logarítmicos em uma função construível natural com valores de resíduo, fornecendo um arcabouço que captura invariantes de valores complexos (como índices de Camacho–Sad) que são perdidos em abordagens puramente de teoria de interseção que dependem de ciclos característicos com multiplicidades inteiras.

Significância e Alegações
O artigo afirma fornecer um arcabouço unificado para o estudo de foliações com singularidades em divisores livres, unindo a lacuna entre índices logarítmicos locais e invariantes topológicos globais. Ao estender o teorema de Baum–Bott para contextos logarítmicos e variedades singulares, os autores oferecem novas ferramentas para analisar a topologia de foliações em espaços não suaves.

A significância do trabalho reside em:

1. Generalização: Estender o teorema de Baum–Bott para o contexto logarítmico e variedades singulares, permitindo a inclusão de singularidades mais gerais do que as singularidades de interseção completa isoladas (ICIS).
2. Unificação: Conectar vários índices (Aleksandrov, GSV, Camacho–Sad, Baum–Bott) através de um único formalismo de resíduo.
3. Restrições Dinâmicas: Fornecer uma nova perspectiva sobre a conjectura de Zariski–Lipman ao ligar a condição algébrica de um feixe tangente localmente livre à necessidade dinâmica de saddle-nodes na resolução de singularidades.
4. Obstruções: Oferecer novas obstruções quantitativas (via resíduos logarítmicos) à existência de soluções algébricas para equações diferenciais polinomiais (Problema de Poincaré).

Os autores mantêm um tom modesto em relação aos resultados de Zariski–Lipman, enquadrando-os como uma "versão global fraca" e um "critério de suavidade foliada" que destaca o aparecimento de saddle-nodes em configurações singulares, em vez de uma prova completa da conjectura em toda a sua generalidade.