Excess logarithmic residues for foliations by curves and applications

1. Formulação do Problema

O artigo aborda o estudo de folheações holomorfas unidimensionais ($\mathcal{F}$) em uma variedade complexa $X$ que são tangentes a um divisor reduzido $D$.

• Contexto: A teoria clássica de Baum–Bott relaciona as classes de Chern globais do fibrado normal de uma folheação aos resíduos locais em suas singularidades.
• Lacuna: Quando uma folheação é tangente a um divisor $D$, o feixe normal padrão $N_{\mathcal{F}} = T_X / T_{\mathcal{F}}$ não captura plenamente a geometria relativa a $D$. Em vez disso, deve-se considerar o feixe normal logarítmico $N^{\log}_{\mathcal{F}/X} = T_X(-\log D) / T_{\mathcal{F}}$, onde $T_X(-\log D)$ é o feixe de campos vetoriais tangentes a $D$.
• Objetivo: Os autores visam quantificar o "excesso" ou a diferença entre os invariantes geométricos clássicos (ordinários) e os logarítmicos. Eles buscam definir uma teoria de resíduos que meça a variação local entre essas duas geometrias transversais e aplicar isso a problemas globais, como o Problema de Poincaré e a classificação de singularidades de superfícies.

2. Metodologia

Os autores desenvolvem uma teoria baseada na teoria de Chern–Weil adaptada a estruturas logarítmicas e nos resíduos de Grothendieck.

• Comparação de Feixes: Eles analisam o morfismo canônico induzido pela inclusão $T_X(-\log D) \hookrightarrow T_X$:
  $$N^{\log}_{\mathcal{F}/X} \longrightarrow N_{\mathcal{F}}$$
  Este morfismo define o termo de "excesso".
• Definições de Resíduos:
  • Resíduo Ordinário ($\text{Res}$): Derivado da classe de Chern do feixe normal ordinário $N_{\mathcal{F}}$.
  • Resíduo Logarítmico ($\widehat{\text{Res}}^{\log}$): Derivado da classe de Chern do feixe normal logarítmico $N^{\log}_{\mathcal{F}/X}$.
  • Resíduo Variacional (Excessivo) ($\text{Var}$): Definido como a diferença:
    $$\text{Var} = \text{Res} - \widehat{\text{Res}}^{\log}$$
    Isso mede o defeito local causado pela substituição do fibrado tangente ambiente pelo fibrado tangente logarítmico.
• Fórmulas Locais: Usando coordenadas adaptadas onde $D = \{f=0\}$ e o campo vetorial $v$ satisfaz $v(f) = kf$, os autores derivam fórmulas explícitas de resíduos de Grothendieck.
  • Para o resíduo logarítmico, a fórmula envolve o traço do Jacobiano do campo vetorial induzido em $D$ ($J_D(v)$) e a derivada logarítmica $k = v(f)/f$.
  • O resíduo variacional é expresso por meio de uma forma de transgressão envolvendo a diferença entre as formas de conexão ordinária e logarítmica.
• Globalização: Eles utilizam o teorema de Stokes no complemento de pequenas bolas ao redor das singularidades (links) para relacionar a soma dos resíduos locais aos números de Chern globais.

3. Contribuições Principais

A. Estrutura Teórica: Resíduos Logarítmicos Excessivos

O artigo introduz o conceito de resíduos logarítmicos excessivos como um invariante distinto. Diferentemente de trabalhos anteriores que tratavam os resíduos logarítmicos como um análogo direto dos clássicos, este trabalho isola o termo de diferença. Isso permite uma medição precisa de como a tangência a um divisor altera a contribuição topológica das singularidades.

B. Fórmula Global de Resíduos (Teorema 1.1 / Teorema 5.2)

Os autores provam uma identidade global fundamental. Para uma folheação $\mathcal{F}$ com singularidades isoladas tangentes a $D$:
$$\sum_{p \in \text{Sing}(\mathcal{F})} \widehat{\text{Res}}^{\log}_{c_1^n}(\mathcal{F}, D, p) = \int_X c_1(N^{\log}_{\mathcal{F}/X})^n$$
e para o termo variacional:
$$\sum_{p} \text{Var}_{c_1^n}(\mathcal{F}, D, p) = \int_X \left( c_1(N_{\mathcal{F}})^n - c_1(N^{\log}_{\mathcal{F}/X})^n \right)$$
Fórmulas semelhantes valem para termos mistos envolvendo potências da classe do divisor $[D]$.

C. Aplicação ao Problema de Poincaré

O Problema de Poincaré busca limites para o grau $m$ de uma hipersuperfície invariante $D$ em termos do grau $d$ da folheação $\mathcal{F}$ em $\mathbb{P}^n$.

• Resultado: Os autores derivam um limite do tipo Poincaré: Se o resíduo logarítmico total for não negativo, então:
  $$m \leq d + n$$
• Significado: Isso fornece um novo critério para a existência de hipersuperfícies invariantes baseado na não negatividade dos resíduos logarítmicos locais, generalizando resultados anteriores de Carnicer, Brunella e outros.

D. Teste Dinâmico para Log Canonicidade (Teorema 8.1)

Em dimensão dois, os autores estabelecem uma conexão profunda entre a dinâmica de folheações e a teoria de singularidades.

• Configuração: Considere uma superfície normal $\mathbb{Q}$-Gorenstein $Y$ com uma resolução logarítmica functorial $\pi: X \to Y$ e divisor excepcional $D$. Uma folheação em $Y$ sobe para uma folheação logarítmica em $X$.
• Teorema Principal: O vetor de resíduos logarítmicos excepcionais ($I$) ao longo das componentes excepcionais, quando multiplicado pela inversa da matriz de interseção excepcional ($M$), recupera o vetor de discrepância logarítmica ($b = a+1$):
  $$b = -M^{-1} I$$
• Implicação: Isso fornece um teste dinâmico e folheado para log canonicidade. Uma singularidade é log canônica se e somente se as componentes do vetor $-M^{-1}I$ forem não negativas.

4. Resumo dos Resultados Principais

1. Expressões Locais: Fórmulas explícitas de resíduos de Grothendieck são derivadas para $\widehat{\text{Res}}^{\log}$ e $\text{Var}$ em termos da matriz Jacobiana do campo vetorial restrito ao divisor e da derivada logarítmica $v(f)/f$.
2. Identidade Global: A soma dos resíduos excessivos locais é igual à integral da diferença das classes de Chern dos feixes normais ordinário e logarítmico.
3. Limite de Poincaré: A não negatividade do resíduo logarítmico total implica o limite $m \leq d+n$ para hipersuperfícies invariantes em $\mathbb{P}^n$.
4. Detecção de Singularidades: Para singularidades de superfícies, o vetor de resíduos de uma folheação levantada codifica as discrepâncias logarítmicas, permitindo determinar se uma singularidade é log canônica puramente através da dinâmica da folheação levantada.

5. Significado

• Unificação: O artigo unifica a teoria clássica de Baum–Bott, a teoria de resíduos logarítmicos e o estudo de singularidades de variedades algébricas.
• Novos Invariantes: Introduz resíduos "excessivos" como uma nova ferramenta para estudar a interação entre folheações e divisores, indo além de condições simples de tangência.
• Potencial Algorítmico: O resultado na Seção 8 oferece um método algorítmico potencial para calcular discrepâncias logarítmicas (e, portanto, testar log canonicidade) analisando o comportamento local de uma folheação levantada, fazendo a ponte entre dinâmica complexa e geometria birracional.
• Refinamento do Problema de Poincaré: Refina a compreensão do Problema de Poincaré ao vincular o limite de grau diretamente à positividade de invariantes logarítmicos locais, oferecendo uma condição mais matizada do que limites globais anteriores.

Em conclusão, este trabalho fornece uma estrutura analítica rigorosa para entender como a presença de um divisor modifica os invariantes topológicos de uma folheação, com aplicações poderosas que vão desde o limite de hipersuperfícies invariantes até a caracterização da natureza de singularidades de superfícies.