Extendability of foliations

Technische Samenvatting: Uitbreidbaarheid van Foliaties

Probleemstelling
Dit artikel behandelt het uitbreidingsprobleem voor holomorfe singuliere foliaties. Gegeven een gladde variëteit $X$ ingebed in een grotere variëteit $Y$ (specifiek een reguliere inbedding van codimensie 1), en een foliatie $\mathcal{F}$ op $X$, is de centrale vraag of er een foliatie op $Y$ bestaat die zich op $X$ restrictief tot $\mathcal{F}$. De auteurs onderzoeken dit zowel in analytische als algebraïsche context, waarbij $Y$ wordt beschouwd als een algemene omgeving of specifiek als de totale ruimte van een deformatie van $X$ (de theorie van unfoldings).

Methodologie
De auteurs hanteren een formele geometrische aanpak, waarbij het uitbreidingsprobleem wordt geanalyseerd op het niveau van infinitesimale buurten $X^{(n)}$ van $X$ in $Y$. De strategie verloopt in twee hoofdfasen:

1. Infinitesimale Analyse: De auteurs construeren de obstructietheorie voor het uitbreiden van een foliatie van $X^{(n-1)}$ naar $X^{(n)}$. Zij maken gebruik van de schur van de principaal deelstukken langs de distributie, aangeduid met $P_{\mathcal{F}, L}$, om de ruimte van mogelijke uitbreidingen te beschrijven.

   • Zij stellen vast dat de verzameling uitbreidingen van een distributie transitief wordt bewerkt door $H^0(X, P_{\mathcal{F}, N_{X/Y}^{\otimes -n}})$.
   • Zij identificeren de subruimte van integreerbare uitbreidingen via een kernelvoorwaarde met betrekking tot de differentiaal van de definiërende vorm, wat leidt tot de schur $P^{\text{int}}_{\mathcal{F}, N_{X/Y}^{\otimes -n}}$.
   • Cruciaal is dat zij de obstructies voor het uitbreiden van integreerbare foliaties relateren aan de cohomologiegroep $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}} \otimes N_{X/Y}^{\otimes -n})$, waarbij $\mathcal{I}_{\text{Per}}$ de ideaalschur is van persistente singulariteiten (singulariteiten die niet gladgestreken kunnen worden langs een unfolding).

2. Algebraïsatie: Zodra formele uitbreidingen zijn vastgesteld (d.w.z. uitbreidingen naar de formele buurt $\hat{X}_{/Y}$), passen de auteurs de effectieve Lefschetz-conditie toe, $\text{Leff}(X, Y)$. Deze conditie waarborgt dat formele vectorbundels en secties gealgebraïseerd kunnen worden naar werkelijke algebraïsche (of analytische) objecten op een buurt van $X$ in $Y$.

Belangrijkste Bijdragen en Resultaten

• Bestaan van Uitbreidingen (Stelling 1.1 & Corollaria 1.2, 1.3):
  Het artikel bewijst dat indien $X \subseteq Y$ een reguliere inbedding van codimensie 1 is, $\mathcal{F}$ ongeobstrueerde singulariteiten heeft, en de cohomologiegroep $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}} \otimes N_{X/Y}^{\otimes -n})$ voor alle $n \geq 1$ verdwijnt, dan $\mathcal{F}$ een formele uitbreiding toelaat. Indien de effectieve Lefschetz-conditie $\text{Leff}(X, Y)$ standhoudt (wat het geval is als $X$ een ample divisor is in een gladde projectieve variëteit $Y$), deze formele uitbreiding algebraïseert naar een globale foliatie op $Y$.

  • Dit resultaat wordt toegepast om aan te tonen dat foliates op ample divisors uitbreiden onder specifieke cohomologische verdwijningsvoorwaarden.
  • Het wordt ook toegepast op unfoldings: indien $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}}) = 0$, breidt elke foliatie met ongeobstrueerde singulariteiten zich uit langs elke deformatie van $X$.

• Positiviteitscriteria (Stelling 1.4):
  De auteurs bieden een criterium gebaseerd op de positiviteit van de inbedding versus de normale bundel van de foliatie. Als $X$ een ample divisor is in $Y$, $\dim(X) \geq 3$, en de bundel $N_{\mathcal{F}}^{\otimes 2} \otimes N_{X/Y}^{\otimes -1}$ anti-ample is, dan breidt elke foliatie met ongeobstrueerde singulariteiten zich uniek uit naar $Y$. Dit herstelt en generaliseert eerdere resultaten (bijv. uit [Fig23]) betreffende foliates op hypersurfaces in de projectieve ruimte.

• Uniciteit en het Gefoliëerde Zak-L'vovsky Probleem (Sectie 5):
  Het artikel onderzoekt de uniciteit van uitbreidingen. Het introduceert een gefoliëerd analoog van het Zak-L'vovsky probleem (dat vraagt of uitbreidingen van subvariëteiten kegels zijn).

  • De auteurs definiëren Camacho-Lins Neto regelmatige foliates, gekenmerkt door het verdwijnen van de uitbreidingsruimten $\text{Ex}_n(\mathcal{F}, N_{X/Y})$.
  • Zij bewijzen dat indien deze uitbreidingsruimten verdwijnen, de uitbreiding van de foliatie uniek is.
  • Een dichotomie wordt vastgesteld: indien $X$ een ample divisor is en de uitbreiding uniek is, dan is ofwel de uitbreiding uniek, ofwel $X$ is een hypervlak en de uitbreiding is een kegel.

• Tubulaire Buren en Rigiditeit (Stelling 1.5 & 1.6):
  Het artikel legt een verband tussen het bestaan van tubulaire buren en de uitbreidbaarheid van foliates.

  • Stelling 1.5: Indien $X$ een foliatie heeft met rigide singulariteiten (singulariteiten waarbij de eerste-orde unfolding-ruimte triviaal is) die uitbreidt naar $Y$, en bepaalde cohomologiegroepen verdwijnen, dan bezit $X$ een tubulaire buur. Indien $Y$ projectief is en $X$ ample is, leidt dit tot de eerder genoemde dichotomie.
  • Stelling 1.6 (Generalisatie van Gómez-Mont): De auteurs bewijzen dat indien een foliatie $\mathcal{F}$ op een passende gladde variëteit $X$ rigide singulariteiten heeft en $H^1(X, T_{\mathcal{F}}) = 0$, elke unfolding van $\mathcal{F}$ analytisch triviaal is. Dit generaliseert eerdere resultaten voor oppervlakken en specifieke klassen van foliates op $\mathbb{P}^m$.

Betekenis en Omvang
Het artikel beweert een verenigd kader te bieden voor het begrijpen van de uitbreiding van foliates door de combinatie van formele deformatietheorie met globale positiviteitscondities. De betekenis ligt in:

1. Generalisering van Unfolding Theorie: Het breidt de theorie van unfoldings (voorheen bestudeerd door Suwa, Gómez-Mont en anderen) uit naar willekeurige deformaties en omgevingen, niet enkel naar specifieke gevallen.
2. Verbinding tussen Singulariteiten en Globale Geometrie: Het koppelt expliciet de lokale aard van singulariteiten (persistent versus rigide) aan globale obstructies via de schur $\mathcal{I}_{\text{Per}}$.
3. Uniciteitsresultaten: Het biedt nieuwe voldoende voorwaarden voor de uniciteit van de uitbreidingen van foliates, wat bijdraagt aan de moduli-theorie van foliates.

De auteurs hanteren een bescheiden toon, waarbij zij opmerken dat hun resultaten steunen op specifieke cohomologische verdwijningsvoorwaarden en de effectieve Lefschetz-conditie. Zij beweren niet het uitbreidingsprobleem voor álle foliates op te lossen, maar bieden bevestigende antwoorden voor een brede klasse van "ongeobstrueerde" en "rigide" singulariteiten onder positieve inbeddingscondities. Het werk wordt gepresenteerd als een bijdrage aan het betere begrip van de moduli-theorie van foliates en de geometrie van restricties/uitbreidingen.