Log Baum--Bott Residues for foliations by curves

Technische Samenvatting: Logaritmische Baum–Bott-residuen voor foliaties door curven

Probleemstelling
Het artikel behandelt de uitbreiding van de klassieke Baum–Bott-theorie, die de karakteristieke getallen van een variëteit relateert aan de residuen van singulariteiten van holomorfe foliaties, naar de setting van logaritmische geometrie. Specifiek onderzoeken de auteurs één-dimensionale holomorfe foliaties (foliaties door curven) die logaritmisch zijn langs een vrije divisor $D$ op een complexe variëteit $X$. Het centrale probleem is het definiëren en berekenen van "logaritmische Baum–Bott-residuen" voor singulariteiten gelegen op de divisor $D$, en het vaststellen van een globale residuformule die deze logaritmische indices incorporeert. Voorts streeft het werk ernaar deze resultaten toe te passen op singuliere variëteiten via logaritmische resoluties en om de implicaties voor de Zariski–Lipman-conjectuur en Poincaré's Probleem te verkennen.

Methodologie
De auteurs maken gebruik van een combinatie van lokale algebraïsche geometrie, scheentheorie en globale topologische methoden:

1. Logaritmische vectorfelden en frames: De studie maakt gebruik van de scheef van logaritmische vectorfelden $TX(-\log D)$. Voor een foliatie $\mathcal{F}$ die logaritmisch is langs $D$, zijn de lokale representanten secties van deze scheef. De auteurs definiëren een specifieke matrix $M_{\log}(\vartheta)$ geassocieerd met een lokaal logaritmisch vectorfeld $\vartheta$, geconstrueerd met behulp van een lokaal frame van $TX(-\log D)$ en de Lie-bracketstructuur van het frame.
2. Definities van residuen: Door de Grothendieck-residue te generaliseren, definiëren de auteurs het Log Baum–Bott-residu $\text{Res}^{\log}_{\varphi}(\mathcal{F}, D, p)$ voor een homogene symmetrische polynoom $\varphi$ van graad $n$. Dit wordt gedefinieerd via de Grothendieck-residue van $\varphi(M_{\log}(\vartheta))$ met betrekking tot de lokale coördinaten van het vectorfeld.
3. Cohomologische raamwerk: De bewijzen steunen op de relatieve Čech-de Rham-cohomologie en de Alexander-dualiteit. Door een specifieke dekking van de singuliere verzameling te construeren en gebruik te maken van de Bott-vanishingstelling voor verbindingen op de normaalbundel van de foliatie relatief aan de logaritmische tangentiële bundel, relateren de auteurs globale karakteristieke klassen aan lokale residuen.
4. Resolutie van singulariteiten: Om singuliere variëteiten te behandelen, maken de auteurs gebruik van functoriele logaritmische resoluties $\pi: (X, D) \to (Y, \emptyset)$. Zij liften de foliatie naar de resolutie en passen de logaritmische Baum–Bott-stelling toe op de gladde variëteit $X$ om formules voor de singuliere variëteit $Y$ af te leiden.
5. Indexvergelijkingen: Het artikel stelt relaties vast tussen de nieuwe logaritmische residuen en bestaande indices, waaronder de Aleksandrov-logaritmische index, de GSV-index (Gómez-Mont, Seade, Verjovsky) en de Camacho–Sad-index, met name in de context van oppervlakken.

Belangrijkste Bijdragen en Resultaten

• De Log Baum–Bott-stelling (Stelling 1.2): Het primaire resultaat is een residuformule voor een één-dimensionale holomorfe foliatie $\mathcal{F}$ op een compacte complexe variëteit $X$ die logaritmisch is langs een vrije divisor $D$. Voor een homogene symmetrische polynoom $\varphi$ van graad $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)$$
  waarbij de som loopt over verbonden componenten van de singuliere verzameling. Dit generaliseert de klassieke stelling naar de logaritmische setting en niet-compacte $\partial$-variëteiten.

• Generalisatie van de Aleksandrov-index: De auteurs tonen aan dat voor geïsoleerde singulariteiten op een vrije divisor het log Baum–Bott-residu de Aleksandrov-logaritmische index generaliseert. Specifiek, wanneer $\varphi = \det$, komt het residu overeen met de logaritmische index $\text{Log}(\mathcal{F}, D, p)$.

• Relaties op Oppervlakken (Corolarium 1.6): Voor foliates op compacte complexe oppervlakken wordt het verschil tussen de klassieke Baum–Bott-index en de log Baum–Bott-index langs een invariante curve $D$ expliciet uitgedrukt in termen van de GSV-index en de Camacho–Sad (CS) index:
  $$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)$$
  Het artikel merkt op dat als $\mathcal{F}$ een "generalized curve" is langs $D$ (geen saddle-nodes in de resolutie), het logaritmische residu verdwijnt.

• Toepassing op Poincaré's Probleem (Corolarium 1.5): De auteurs leiden een nieuwe obstructie af voor Poincaré's Probleem op $\mathbb{P}^n$ (voor oneven $n$). Als een foliatie een invariante vrije divisor $D$ heeft en de som van de logaritmische residuen niet-negatief is, dan geldt $\deg(D) \leq \deg(\mathcal{F}) + n$.

• Singuliere Variëteiten en Logaritmische Resoluties (Corolarium 1.7): Een Baum–Bott-type formule wordt verkregen voor singuliere normale variëteiten via logaritmische resoluties. De globale karakteristieke getallen van de singuliere variëteit worden uitgedrukt als een som van klassieke Baum–Bott-residuen op het reguliere deel en logaritmische residuen op de exceptionele divisor.

• Zariski–Lipman-conjectuur en Saddle-nodes (Corolarium 1.9): Het artikel bewijst een zwakke globale versie van de Zariski–Lipman-conjectuur voor compacte algebraïsche oppervlakken. Het stelt een "gefolieerde gladheidscriterium" vast: Indien $Y$ een compacte analytische oppervlak is met een lokaal vrije tangentiële scheef en een foliatie geïnduceerd door een getwist vectorfeld waarvan de singulariteiten enkel in $\text{Sing}(Y)$ liggen, dan moet $Y$ glad zijn indien de foliatie een "generalized curve" is. Omgekeerd, indien $Y$ singulier is, moet de reductie van singulariteiten van een dergelijke foliatie noodzakelijkerwijs ten minste één saddle-node vertonen. Dit suggereert een dynamische manifestatie van de Zariski–Lipman-conditie.

• Constructibele Functies (Sectie 6): De auteurs organiseren de logaritmische residuen in een natuurlijke residu-waardige constructibele functie, wat een raamwerk biedt dat complexe-waardige invarianten (zoals de Camacho–Sad-indices) vastlegt die verloren gaan in puur intersectietheoretische benaderingen die steunen op karakteristieke cycli met gehele veelvouden.

Betekenis en Claims
Het artikel claimt een verenigend raamwerk te bieden voor het bestuderen van foliates met singulariteiten op vrije divisors, waarbij de kloof tussen lokale logaritmische indices en globale topologische invarianten wordt overbrugd. Door de Baum–Bott-stelling uit te breiden naar logaritmische settings en singuliere variëteiten, bieden de auteurs nieuwe instrumenten voor de analyse van de topologie van foliates op niet-gladde ruimtes.

De betekenis van het werk ligt in:

1. Generalisatie: Het uitbreiden van de Baum–Bott-stelling naar de logaritmische context en singuliere variëteiten, waardoor de inclusie van singulariteiten die algemener zijn dan geïsoleerde volledige doorsnede-singulariteiten (ICIS) mogelijk is.
2. Unificatie: Het verbinden van diverse indices (Aleksandrov, GSV, Camacho–Sad, Baum–Bott) via een enkel residu-formalisme.
3. Dynamische Beperkingen: Het bieden van een nieuw perspectief op de Zariski–Lipman-conjectuur door de algebraïsche conditie van een lokaal vrije tangentiële scheef te koppelen aan de dynamische noodzaak van saddle-nodes in de resolutie van singulariteiten.
4. Obstructies: Het bieden van nieuwe kwantitatieve obstructies (via log-residuen) voor het bestaan van algebraïsche oplossingen voor polynoom differentiaalvergelijkingen (Poincaré's Probleem).

De auteurs hanteren een bescheiden toon met betrekking tot de Zariski–Lipman resultaten, waarbij zij deze framen als een "zwakke globale versie" en een "gefolieerd gladheidscriterium" dat de verschijning van saddle-nodes in singuliere settings benadrukt, in plaats van een volledig bewijs van de conjectuur in algemene zin.