Excess logarithmic residues for foliations by curves and applications

1. Probleemstelling

Het artikel behandelt de studie van ééndimensionale holomorfe foliaties ($\mathcal{F}$) op een complexe variëteit $X$ die tangent zijn aan een gereduceerde divisor $D$.

• Context: De klassieke Baum–Bott-theorie relateert de globale Chern-classes van het normale bundel van een foliatie aan lokale residuen bij haar singulariteiten.
• Gat: Wanneer een foliatie tangent is aan een divisor $D$, vangt de standaard normale schil $N_{\mathcal{F}} = T_X / T_{\mathcal{F}}$ de geometrie ten opzichte van $D$ niet volledig. In plaats daarvan moet men de logaritmische normale schil $N^{\log}_{\mathcal{F}/X} = T_X(-\log D) / T_{\mathcal{F}}$ beschouwen, waarbij $T_X(-\log D)$ de schil is van vectorvelden die tangent zijn aan $D$.
• Doel: De auteurs beogen de "excess" of het verschil tussen de klassieke (gewone) geometrische invarianten en de logaritmische kwantificeren. Zij streven ernaar een residu-theorie te definiëren die de lokale variatie tussen deze twee transversale geometrieën meet en dit toe te passen op globale problemen zoals het Poincaré-probleem en de classificatie van oppervlaksingulariteiten.

2. Methodologie

De auteurs ontwikkelen een theorie gebaseerd op Chern–Weil-theorie aangepast aan logaritmische structuren en Grothendieck-residuen.

• Schilvergelijking: Zij analyseren de canonieke morfisme geïnduceerd door de inclusie $T_X(-\log D) \hookrightarrow T_X$:
  $$N^{\log}_{\mathcal{F}/X} \longrightarrow N_{\mathcal{F}}$$
  Deze morfisme definieert de "excess"-term.
• Residudefinities:
  • Gewoon Residu ($\text{Res}$): Afgeleid van de Chern-klasse van de gewone normale schil $N_{\mathcal{F}}$.
  • Logaritmisch Residu ($\widehat{\text{Res}}^{\log}$): Afgeleid van de Chern-klasse van de logaritmische normale schil $N^{\log}_{\mathcal{F}/X}$.
  • Variatie- (Excess) Residu ($\text{Var}$): Gedefinieerd als het verschil:
    $$\text{Var} = \text{Res} - \widehat{\text{Res}}^{\log}$$
    Dit meet het lokale defect veroorzaakt door het vervangen van de omgevende raakbundel door de logaritmische raakbundel.
• Lokale Formules: Met behulp van aangepaste coördinaten waar $D = \{f=0\}$ en het vectorveld $v$ voldoet aan $v(f) = kf$, leiden de auteurs expliciete Grothendieck-residuformules af.
  • Voor het logaritmisch residu omvat de formule de trace van de Jacobiaan van het geïnduceerde vectorveld op $D$ ($J_D(v)$) en de logaritmische afgeleide $k = v(f)/f$.
  • Het variatie-residu wordt uitgedrukt via een transgressievorm die het verschil tussen de gewone en logaritmische connectievormen omvat.
• Globalisering: Zij maken gebruik van de stelling van Stokes op het complement van kleine ballen rond singulariteiten (koppelingen) om de som van lokale residuen te relateren aan globale Chern-getallen.

3. Belangrijkste Bijdragen

A. Theoretisch Kader: Excess Logaritmische Residuen

Het artikel introduceert het concept van excess logaritmische residuen als een distincte invariant. In tegenstelling tot eerdere werken die logaritmische residuen als een direct analoog van klassieke behandelde, isoleert dit werk de verschil-term. Dit maakt een precieze meting mogelijk van hoe de tangentie aan een divisor de topologische bijdrage van singulariteiten verandert.

B. Globale Residuformule (Stelling 1.1 / Stelling 5.2)

De auteurs bewijzen een fundamentele globale identiteit. Voor een foliatie $\mathcal{F}$ met geïsoleerde singulariteiten die tangent zijn aan $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$$
en voor de variatieterm:
$$\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)$$
Vergelijkbare formules gelden voor gemengde termen die machten van de divisorklasse $[D]$ bevatten.

C. Toepassing op het Poincaré-probleem

Het Poincaré-probleem vraagt om grenzen voor de graad $m$ van een invariante hypersfeer $D$ in termen van de graad $d$ van de foliatie $\mathcal{F}$ op $\mathbb{P}^n$.

• Resultaat: De auteurs leiden een Poincaré-achtige grens af: Als het totale logaritmische residu niet-negatief is, dan geldt:
  $$m \leq d + n$$
• Betekenis: Dit biedt een nieuw criterium voor het bestaan van invariante hypersferen gebaseerd op de niet-negativiteit van lokale logaritmische residuen, en generaliseert eerdere resultaten van Carnicer, Brunella en anderen.

D. Dynamische Test voor Log-Canoniciëteit (Stelling 8.1)

In dimensie twee stellen de auteurs een diepe connectie vast tussen foliatiedynamica en singulariteitentheorie.

• Opzet: Beschouw een normale $\mathbb{Q}$-Gorenstein-oppervlak $Y$ met een functoriële log-resolutie $\pi: X \to Y$ en een exceptionele divisor $D$. Een foliatie op $Y$ lift naar een logaritmische foliatie op $X$.
• Hoofdstelling: De vector van exceptionele logaritmische residuen ($I$) langs de exceptionele componenten, vermenigvuldigd met de inverse van de exceptionele snijmatrix ($M$), herstelt de log-discrepantievector ($b = a+1$):
  $$b = -M^{-1} I$$
• Implicatie: Dit biedt een dynamische en foliatieve test voor log-Canoniciëteit. Een singulariteit is log-canoniek dan en slechts dan als de componenten van de vector $-M^{-1}I$ niet-negatief zijn.

4. Samenvatting van Belangrijkste Resultaten

1. Lokale Expressies: Expliciete Grothendieck-residuformules worden afgeleid voor $\widehat{\text{Res}}^{\log}$ en $\text{Var}$ in termen van de Jacobiaan-matrix van het vectorveld beperkt tot de divisor en de logaritmische afgeleide $v(f)/f$.
2. Globale Identiteit: De som van lokale excess-residuen is gelijk aan het integraal van het verschil van Chern-classes van de gewone en logaritmische normale schillen.
3. Poincaré-grens: Niet-negativiteit van het totale logaritmische residu impliceert de grens $m \leq d+n$ voor invariante hypersferen in $\mathbb{P}^n$.
4. Singulariteitsdetectie: Voor oppervlaksingulariteiten codeert het residu-vector van een geliftte foliatie de log-discrepanties, waardoor men kan bepalen of een singulariteit log-canoniek is puur via de dynamica van de geliftte foliatie.

5. Betekenis

• Unificatie: Het artikel unificeert de klassieke Baum–Bott-theorie, de logaritmische residu-theorie en de studie van singulariteiten van algebraïsche variëteiten.
• Nieuwe Invarianten: Het introduceert "excess"-residuen als een nieuw hulpmiddel om de interactie tussen foliaties en divisors te bestuderen, verder gaand dan eenvoudige tangentievoorwaarden.
• Algoritmisch Potentieel: Het resultaat in Sectie 8 biedt een potentiële algoritmische methode om log-discrepanties (en dus te testen op log-Canoniciëteit) te berekenen door het lokale gedrag van een geliftte foliatie te analyseren, en zo complexe dynamica en birationale meetkunde te verbinden.
• Verfijning van het Poincaré-probleem: Het verfijnt het begrip van het Poincaré-probleem door de graadgrens direct te koppelen aan de positiviteit van lokale logaritmische invarianten, en biedt zo een genuanceerdere voorwaarde dan eerdere globale grenzen.

Kortom, dit werk biedt een rigoureus analytisch kader voor het begrijpen hoe de aanwezigheid van een divisor de topologische invarianten van een foliatie verandert, met krachtige toepassingen variërend van het begrenzen van invariante hypersferen tot het karakteriseren van de aard van oppervlaksingulariteiten.