The logarithmic leaf complex and foliated d-semistability

1. Probleemstelling en Motivatie

Het artikel adresseert een fundamenteel probleem in de deformatietheorie van holomorfe foliaties: Welke foliaties op variëteiten met normale kruisingen (NC) toelaten gladmakingen?

• Context: In de studie van moduli-ruimten van foliaties op gladde variëteiten, komt men vaak randpunten tegen die corresponderen met singuliere variëteiten met normale kruisingen. De Semistable Reduction Theorem garandeert dat elke familie van foliatieparen kan worden gemodificeerd (via basisverandering en birationale transformatie) om een centrale vezel te hebben die een variëteit met normale kruisingen is.
• Het Gat: Hoewel de theorie van gladmakingen voor variëteiten (zonder foliaties) goed gevestigd is via het concept van d-semistabiliteit (geïntroduceerd door Friedman en uitgebreid door Kawamata–Namikawa), ontbrak de analotheorie voor gefolieerde paren $(X, \mathcal{F})$.
• Kernvraag: Gegeven een variëteit met normale kruisingen $X$ en een foliatie $\mathcal{F}$ daarop, onder welke voorwaarden bestaat er een vlakke familie over een schijf $\Delta$ zodanig dat de centrale vezel $(X, \mathcal{F})$ is en de algemene vezel een glad foliatiepaar is?

2. Methodologie

De auteurs maken gebruik van Logaritmische Geometrie (in de zin van Fontaine–Illusie en Kato) als primair raamwerk. Deze benadering behandelt de singuliere variëteit met normale kruisingen als een "glad" object binnen de categorie van log-schemas.

• Logaritmische Structuren: Zij voorzien de NC-variëteit $X$ van een log-structuur $M_X$ van semistabiel type, wat een morfisme $f: (X, M_X) \to (\ast, \mathbb{N})$ mogelijk maakt.
• Gefolieerde d-Semistabiliteit: Zij definiëren een paar $(X, \mathcal{F})$ als d-semistabiel als de raakbundel van de foliatie, $\mathcal{T}_{\mathcal{F}}$, is opgenomen in de relatieve log-raakbundel $\mathcal{T}_{X/(\ast, \mathbb{N})}$. Dit zorgt ervoor dat de foliatie compatibel is met de log-gladde structuur van de degeneratie.
• Deformatietheorie: Zij ontwikkelen een infinitesimale deformatietheorie voor log-gladde foliatiemorfismen. Dit houdt in dat een Logaritmisch Bladcomplex wordt geconstrueerd (analoog aan het bladcomplex in het gladde geval) om de deformaties te regelen.

3. Belangrijkste Bijdragen en Resultaten

A. Lokale en Globale Obstructies voor d-Semistabiliteit

Het artikel stelt precieze criteria vast voor wanneer een foliatiepaar d-semistabiel is.

1. Lokale Compatibiliteit (Camacho–Sad Indices):

   • Voor een lokaal model $X = V(x_1 \cdots x_r)$, als de divisors $D_i = V(x_i)$ invariant zijn onder de foliatie, leiden de auteurs een compatibiliteitsvoorwaarde af voor de Camacho–Sad indices van de beperkte foliaties $\mathcal{F}_i$ op de irreducibele componenten.
   • Resultaat (Propositie 3.12): Voor twee componenten $X_i, X_j$ die elkaar snijden in $D_{ij}$, moeten de indices voldoen aan:
     $$CS(\mathcal{F}_i, D_{ij}) + CS(\mathcal{F}_j, D_{ij}) = r - 2$$
     waarbij $r$ het aantal componenten is dat samenkomen in de singulariteit.

2. Globale Obstructieklasse:

   • Lokale d-semistabiliteit garandeert geen globale d-semistabiliteit. De auteurs identificeren de obstructie voor het samenvoegen van lokale semistabiele log-structuren.
   • Resultaat (Propositie 3.17): De obstructie voor globale d-semistabiliteit ligt in de cohomologiegroep:
     $$H^1(X, \mathcal{O}^*_{X/\mathcal{F}} / G_{\mathcal{F}})$$
     waarbij $\mathcal{O}^*_{X/\mathcal{F}}$ de bundel van inverteerbare eerste integralen van $\mathcal{F}$ is, en $G_{\mathcal{F}}$ de kern is van de restrictie tot de singuliere locus.
   • Topologische Aard: Als de singuliere locus (dubbele locus) een blad is van de foliatie, wordt de obstructie puur topologisch en woont deze in $H^1(D, \mathbb{C}^*)$.

B. Logaritmische Deformatietheorie

De auteurs construeren een deformatietheorie voor log-gladde foliaties, die het werk van Goldman–Millson en Kato generaliseert.

1. Het Logaritmische Bladcomplex:

   • Zij definiëren een complex $L^\bullet(\mathcal{F})$ dat de deformaties regelt:
     $$\mathcal{T}_X \xrightarrow{\delta} \mathcal{H}om(\mathcal{T}_{\mathcal{F}}, \mathcal{N}_{\mathcal{F}}) \xrightarrow{\delta} \mathcal{H}om(\wedge^2 \mathcal{T}_{\mathcal{F}}, \mathcal{N}_{\mathcal{F}}) \to \dots$$
   • De differentiaal is de Chevalley–Eilenberg-differentiaal geassocieerd met de Lie-haak op de log-raakbundel.

2. Obstructie en Moduli:

   • Stelling 4.12: De hypercohomologiegroepen van dit complex besturen de deformatietheorie:
     • $\mathbb{H}^0$: Automorfismen.
     • $\mathbb{H}^1: Equivalenterelaties van eerste-orde deformaties.
     • $\mathbb{H}^2$: Obstructies voor het uitbreiden van deformaties.
   • Stelling 4.15 (Versale Huls): Als $X$ een eigentijdse variëteit is, dan staat de modulfunctor van log-gladde deformaties van $(X, \mathcal{F})$ een versale huls toe. Dit garandeert het bestaan van een formele moduli-ruimte.

3. Bestaan van Gladmakingen:

   • Corollarium 4.16: Als $(X, \mathcal{F})$ d-semistabiel is en de obstructiegroep $\mathbb{H}^2(X, L^\bullet(\mathcal{F}))$ verdwijnt, dan staat $(X, \mathcal{F})$ een gladmaking toe.
   • Het artikel geeft een concreet voorbeeld (Voorbeeld 4.17) dat het samenvoegen van $\mathbb{P}^1$-bundels betreft, en laat zien hoe het verdwijnen van specifieke cohomologiegroepen het bestaan van een gladmaking verzekert.

4. Betekenis

• Brug tussen Singulariteit en Gladheid: Het artikel levert de nodige theoretische machinery om singuliere foliatieparen te behandelen als limieten van gladde paren, een cruciale stap voor het compactificeren van moduli-ruimten van foliaties.
• Logaritmisch Raamwerk: Het demonstreert dat logaritmische geometrie de natuurlijke setting is voor het bestuderen van degeneraties van foliaties, en breidt de succesvolle toepassing van log-geometrie op Calabi-Yau- en K3-oppervlakken (Kawamata–Namikawa) uit naar de context van foliaties.
• Berekenbare Criteria: Door het probleem te reduceren tot cohomologische obstructies en indexrelaties (Camacho–Sad), bieden de auteurs concrete tools voor onderzoekers om te bepalen of een specifieke singuliere foliatie glad gemaakt kan worden.
• Toekomstige Richtingen: Het werk legt de basis voor het bestuderen van log Calabi-Yau foliaties en het toepassen van T1-lifting-technieken om het bestaan van gladmakingen in bredere contexten te bewijzen, wat mogelijk leidt tot een volledige classificatie van d-semistabiele foliatieparen.

Kortom, het artikel slaagt erin de klassieke theorie van d-semistabiliteit te vertalen naar het domein van foliaties met behulp van logaritmische geometrie, identificeert de precieze lokale en globale obstructies en bewijst het bestaan van versale deformatieruimten.