Excess logarithmic residues for foliations by curves and applications

1. Enunciato del Problema

Il lavoro affronta lo studio di foliazioni olomorfe unidimensionali ($\mathcal{F}$) su una varietà complessa $X$ che sono tangenti a un divisore ridotto $D$.

• Contesto: La teoria classica di Baum–Bott mette in relazione le classi di Chern globali del fibrato normale di una foliazione con i residui locali alle sue singolarità.
• Lacuna: Quando una foliazione è tangente a un divisore $D$, il fascio normale standard $N_{\mathcal{F}} = T_X / T_{\mathcal{F}}$ non cattura pienamente la geometria relativa a $D$. Invece, è necessario considerare il fascio normale logaritmico $N^{\log}_{\mathcal{F}/X} = T_X(-\log D) / T_{\mathcal{F}}$, dove $T_X(-\log D)$ è il fascio dei campi vettoriali tangenti a $D$.
• Obiettivo: Gli autori mirano a quantificare l'"eccesso" o la differenza tra gli invarianti geometrici classici (ordinari) e quelli logaritmici. Essi cercano di definire una teoria dei residui che misuri la variazione locale tra queste due geometrie trasversali e applicarla a problemi globali come il problema di Poincaré e la classificazione delle singolarità delle superfici.

2. Metodologia

Gli autori sviluppano una teoria basata sulla teoria di Chern–Weil adattata alle strutture logaritmiche e sui residui di Grothendieck.

• Confronto tra Fasci: Analizzano il morfismo canonico indotto dall'inclusione $T_X(-\log D) \hookrightarrow T_X$:
  $$N^{\log}_{\mathcal{F}/X} \longrightarrow N_{\mathcal{F}}$$
  Questo morfismo definisce il termine di "eccesso".
• Definizioni di Residuo:
  • Residuo Ordinario ($\text{Res}$): Derivato dalla classe di Chern del fascio normale ordinario $N_{\mathcal{F}}$.
  • Residuo Logaritmico ($\widehat{\text{Res}}^{\log}$): Derivato dalla classe di Chern del fascio normale logaritmico $N^{\log}_{\mathcal{F}/X}$.
  • Residuo Variazionale (di Eccesso) ($\text{Var}$): Definito come la differenza:
    $$\text{Var} = \text{Res} - \widehat{\text{Res}}^{\log}$$
    Questo misura il difetto locale causato dalla sostituzione del fibrato tangente ambientale con il fibrato tangente logaritmico.
• Formule Locali: Utilizzando coordinate adattate dove $D = \{f=0\}$ e il campo vettoriale $v$ soddisfa $v(f) = kf$, gli autori derivano esplicite formule di residuo di Grothendieck.
  • Per il residuo logaritmico, la formula coinvolge la traccia della Jacobiana del campo vettoriale indotto su $D$ ($J_D(v)$) e la derivata logaritmica $k = v(f)/f$.
  • Il residuo variazionale è espresso tramite una forma di transgressione che coinvolge la differenza tra le forme di connessione ordinaria e logaritmica.
• Globalizzazione: Utilizzano il teorema di Stokes sul complemento di piccole sfere attorno alle singolarità (link) per relazionare la somma dei residui locali ai numeri di Chern globali.

3. Contributi Chiave

A. Quadro Teorico: Residui Logaritmici di Eccesso

Il lavoro introduce il concetto di residui logaritmici di eccesso come un invariante distinto. A differenza di lavori precedenti che trattavano i residui logaritmici come un analogo diretto di quelli classici, questo lavoro isola il termine di differenza. Ciò permette una misurazione precisa di come la tangenza a un divisore alteri il contributo topologico delle singolarità.

B. Formula Globale dei Residui (Teorema 1.1 / Teorema 5.2)

Gli autori dimostrano un'identità globale fondamentale. Per una foliazione $\mathcal{F}$ con singolarità isolate 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$$
e per il termine variazionale:
$$\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)$$
Formule simili valgono per i termini misti che coinvolgono potenze della classe del divisore $[D]$.

C. Applicazione al Problema di Poincaré

Il problema di Poincaré chiede limiti sul grado $m$ di un ipersuperficie invariante $D$ in termini del grado $d$ della foliazione $\mathcal{F}$ su $\mathbb{P}^n$.

• Risultato: Gli autori derivano un limite di tipo Poincaré: Se il residuo logaritmico totale è non negativo, allora:
  $$m \leq d + n$$
• Significato: Ciò fornisce un nuovo criterio per l'esistenza di ipersuperfici invarianti basato sulla non negatività dei residui logaritmici locali, generalizzando risultati precedenti di Carnicer, Brunella e altri.

D. Test Dinamico per la Log-Canonicità (Teorema 8.1)

In dimensione due, gli autori stabiliscono una profonda connessione tra la dinamica delle foliazioni e la teoria delle singolarità.

• Setup: Si considera una superficie normale $\mathbb{Q}$-Gorenstein $Y$ con una risoluzione logaritmica funtoriale $\pi: X \to Y$ e divisore eccezionale $D$. Una foliazione su $Y$ si solleva a una foliazione logaritmica su $X$.
• Teorema Principale: Il vettore dei residui logaritmici eccezionali ($I$) lungo le componenti eccezionali, quando moltiplicato per l'inverso della matrice di intersezione eccezionale ($M$), riproduce il vettore delle discrepanze logaritmiche ($b = a+1$):
  $$b = -M^{-1} I$$
• Implicazione: Ciò fornisce un test dinamico e foliato per la log-canonicità. Una singolarità è logaritmica-canonica se e solo se le componenti del vettore $-M^{-1}I$ sono non negative.

4. Riepilogo dei Risultati Chiave

1. Espressioni Locali: Sono state derivate formule esplicite di residuo di Grothendieck per $\widehat{\text{Res}}^{\log}$ e $\text{Var}$ in termini della matrice Jacobiana del campo vettoriale ristretto al divisore e della derivata logaritmica $v(f)/f$.
2. Identità Globale: La somma dei residui di eccesso locali è uguale all'integrale della differenza delle classi di Chern dei fasci normali ordinario e logaritmico.
3. Limite di Poincaré: La non negatività del residuo logaritmico totale implica il limite $m \leq d+n$ per le ipersuperfici invarianti in $\mathbb{P}^n$.
4. Rilevamento delle Singolarità: Per le singolarità delle superfici, il vettore dei residui di una foliazione sollevata codifica le discrepanze logaritmiche, permettendo di determinare se una singolarità è logaritmica-canonica puramente attraverso la dinamica della foliazione sollevata.

5. Significato

• Unificazione: Il lavoro unifica la teoria classica di Baum–Bott, la teoria dei residui logaritmici e lo studio delle singolarità delle varietà algebriche.
• Nuovi Invarianti: Introduce i residui di "eccesso" come un nuovo strumento per studiare l'interazione tra foliazioni e divisori, andando oltre le semplici condizioni di tangenza.
• Potenziale Algoritmico: Il risultato nella Sezione 8 offre un potenziale metodo algoritmico per calcolare le discrepanze logaritmiche (e quindi testare la log-canonicità) analizzando il comportamento locale di una foliazione sollevata, colmando il divario tra dinamica complessa e geometria birazionale.
• Raffinamento del Problema di Poincaré: Affina la comprensione del problema di Poincaré collegando direttamente il limite del grado alla positività degli invarianti logaritmici locali, offrendo una condizione più sfumata rispetto ai precedenti limiti globali.

In conclusione, questo lavoro fornisce un quadro analitico rigoroso per comprendere come la presenza di un divisore modifichi gli invarianti topologici di una foliazione, con potenti applicazioni che vanno dal limitare le ipersuperfici invarianti alla caratterizzazione della natura delle singolarità delle superfici.