Excess logarithmic residues for foliations by curves and applications

Aquí se presenta un resumen técnico detallado del artículo "Residuos Logarítmicos Excesivos para Foliaciones por Curvas y Aplicaciones" de Alana Cavalcante, Maurício Corrêa, Fernando Lourenço y Elaheh Shahsavariipour.

1. Planteamiento del Problema

El artículo aborda el estudio de foliaciones holomorfas unidimensionales ($\mathcal{F}$) sobre una variedad compleja $X$ que son tangentes a un divisor reducido $D$.

• Contexto: La teoría clásica de Baum–Bott relaciona las clases de Chern globales del fibrado normal de una foliación con los residuos locales en sus singularidades.
• Brecha: Cuando una foliación es tangente a un divisor $D$, el haz normal estándar $N_{\mathcal{F}} = T_X / T_{\mathcal{F}}$ no captura completamente la geometría relativa a $D$. En su lugar, se debe considerar el haz normal logarítmico $N^{\log}_{\mathcal{F}/X} = T_X(-\log D) / T_{\mathcal{F}}$, donde $T_X(-\log D)$ es el haz de campos vectoriales tangentes a $D$.
• Objetivo: Los autores buscan cuantificar el "exceso" o la diferencia entre los invariantes geométricos clásicos (ordinarios) y los logarítmicos. Pretenden definir una teoría de residuos que mida la variación local entre estas dos geometrías transversales y aplicar esto a problemas globales como el problema de Poincaré y la clasificación de singularidades de superficies.

2. Metodología

Los autores desarrollan una teoría basada en la teoría de Chern–Weil adaptada a estructuras logarítmicas y en los residuos de Grothendieck.

• Comparación de Hazes: Analizan el morfismo canónico inducido por la inclusión $T_X(-\log D) \hookrightarrow T_X$:
  $$N^{\log}_{\mathcal{F}/X} \longrightarrow N_{\mathcal{F}}$$
  Este morfismo define el término de "exceso".
• Definiciones de Residuos:
  • Residuo Ordinario ($\text{Res}$): Derivado de la clase de Chern del haz normal ordinario $N_{\mathcal{F}}$.
  • Residuo Logarítmico ($\widehat{\text{Res}}^{\log}$): Derivado de la clase de Chern del haz normal logarítmico $N^{\log}_{\mathcal{F}/X}$.
  • Residuo Variacional (Excesivo) ($\text{Var}$): Definido como la diferencia:
    $$\text{Var} = \text{Res} - \widehat{\text{Res}}^{\log}$$
    Esto mide el defecto local causado por reemplazar el fibrado tangente ambiental con el fibrado tangente logarítmico.
• Fórmulas Locales: Utilizando coordenadas adaptadas donde $D = \{f=0\}$ y el campo vectorial $v$ satisface $v(f) = kf$, los autores derivan fórmulas explícitas de residuos de Grothendieck.
  • Para el residuo logarítmico, la fórmula involucra la traza del Jacobiano del campo vectorial inducido sobre $D$ ($J_D(v)$) y la derivada logarítmica $k = v(f)/f$.
  • El residuo variacional se expresa mediante una forma de transgresión que involucra la diferencia entre las formas de conexión ordinaria y logarítmica.
• Globalización: Utilizan el teorema de Stokes en el complemento de pequeñas bolas alrededor de las singularidades (enlaces) para relacionar la suma de residuos locales con números de Chern globales.

3. Contribuciones Clave

A. Marco Teórico: Residuos Logarítmicos Excesivos

El artículo introduce el concepto de residuos logarítmicos excesivos como un invariante distinto. A diferencia de trabajos anteriores que trataban los residuos logarítmicos como un análogo directo de los clásicos, este trabajo aísla el término de la diferencia. Esto permite una medición precisa de cómo la tangencia a un divisor altera la contribución topológica de las singularidades.

B. Fórmula Global de Residuos (Teorema 1.1 / Teorema 5.2)

Los autores prueban una identidad global fundamental. Para una foliación $\mathcal{F}$ con singularidades aisladas tangente 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$$
y para el término 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 similares se cumplen para términos mixtos que involucran potencias de la clase del divisor $[D]$.

C. Aplicación al Problema de Poincaré

El problema de Poincaré busca cotas para el grado $m$ de una hipersuperficie invariante $D$ en términos del grado $d$ de la foliación $\mathcal{F}$ en $\mathbb{P}^n$.

• Resultado: Los autores derivan una cota tipo Poincaré: Si el residuo logarítmico total es no negativo, entonces:
  $$m \leq d + n$$
• Significado: Esto proporciona un nuevo criterio para la existencia de hipersuperficies invariantes basado en la no negatividad de los residuos logarítmicos locales, generalizando resultados previos de Carnicer, Brunella y otros.

D. Prueba Dinámica para Log Canonicidad (Teorema 8.1)

En dimensión dos, los autores establecen una conexión profunda entre la dinámica de foliaciones y la teoría de singularidades.

• Configuración: Considere una superficie normal $\mathbb{Q}$-Gorenstein $Y$ con una resolución logarítmica functorial $\pi: X \to Y$ y divisor excepcional $D$. Una foliación sobre $Y$ se levanta a una foliación logarítmica sobre $X$.
• Teorema Principal: El vector de residuos logarítmicos excepcionales ($I$) a lo largo de las componentes excepcionales, cuando se multiplica por la inversa de la matriz de intersección excepcional ($M$), recupera el vector de discrepancia logarítmica ($b = a+1$):
  $$b = -M^{-1} I$$
• Implicación: Esto proporciona una prueba dinámica y foliada para la log canonicidad. Una singularidad es log canónica si y solo si las componentes del vector $-M^{-1}I$ son no negativas.

4. Resumen de Resultados Clave

1. Expresiones Locales: Se derivan fórmulas explícitas de residuos de Grothendieck para $\widehat{\text{Res}}^{\log}$ y $\text{Var}$ en términos de la matriz Jacobiana del campo vectorial restringido al divisor y la derivada logarítmica $v(f)/f$.
2. Identidad Global: La suma de residuos excesivos locales es igual a la integral de la diferencia de las clases de Chern de los haces normales ordinario y logarítmico.
3. Cota de Poincaré: La no negatividad del residuo logarítmico total implica la cota $m \leq d+n$ para hipersuperficies invariantes en $\mathbb{P}^n$.
4. Detección de Singularidades: Para singularidades de superficies, el vector de residuos de una foliación levantada codifica las discrepancias logarítmicas, permitiendo determinar si una singularidad es log canónica puramente a través de la dinámica de la foliación levantada.

5. Significado

• Unificación: El artículo unifica la teoría clásica de Baum–Bott, la teoría de residuos logarítmicos y el estudio de singularidades de variedades algebraicas.
• Nuevos Invariantes: Introduce residuos "excesivos" como una nueva herramienta para estudiar la interacción entre foliaciones y divisores, yendo más allá de condiciones simples de tangencia.
• Potencial Algorítmico: El resultado en la Sección 8 ofrece un método algorítmico potencial para calcular discrepancias logarítmicas (y por tanto probar la log canonicidad) analizando el comportamiento local de una foliación levantada, puenteando la dinámica compleja y la geometría birracional.
• Refinamiento del Problema de Poincaré: Refina la comprensión del problema de Poincaré vinculando la cota de grado directamente a la positividad de invariantes logarítmicos locales, ofreciendo una condición más matizada que las cotas globales anteriores.

En conclusión, este trabajo proporciona un marco analítico riguroso para comprender cómo la presencia de un divisor modifica los invariantes topológicos de una foliación, con aplicaciones poderosas que van desde acotar hipersuperficies invariantes hasta caracterizar la naturaleza de las singularidades de superficies.