Extendability of foliations

Technisches Resümee: Erweiterbarkeit von Foliationen

Problemstellung
Diese Arbeit befasst sich mit dem Erweiterungsproblem für holomorphe singuläre Foliationen. Gegeben sei eine glatte Varietät $X$, die in eine größere Varietät $Y$ eingebettet ist (speziell eine reguläre Einbettung der Kodimension 1), und eine Foliation $\mathcal{F}$ auf $X$. Die zentrale Frage ist, ob es eine Foliation auf $Y$ gibt, die auf $X$ zu $\mathcal{F}$ beschränkt. Die Autoren untersuchen dies sowohl im analytischen als auch im algebraischen Kontext, wobei $Y$ als allgemeiner Umgebungskontext oder speziell als Totalraum einer Entfaltung (Theorie der Unfoldings) von $X$ betrachtet wird.

Methodik
Die Autoren verwenden einen formal-geometrischen Ansatz, indem sie das Erweiterungsproblem auf der Ebene der infinitesimalen Nachbarschaften $X^{(n)}$ von $X$ in $Y$ analysieren. Die Strategie gliedert sich in zwei Hauptphasen:

1. Infinitesimale Analyse: Die Autoren konstruieren die Obstruktionstheorie für die Erweiterung einer Foliation von $X^{(n-1)}$ nach $X^{(n)}$. Sie nutzen den Schar der Principalteile entlang der Distribution, bezeichnet als $P_{\mathcal{F}, L}$, um den Raum der möglichen Erweiterungen zu beschreiben.

   • Sie stellen fest, dass die Menge der Erweiterungen einer Distribution transitiv von $H^0(X, P_{\mathcal{F}, N_{X/Y}^{\otimes -n}})$ operiert wird.
   • Sie identifizieren den Unterraum der integrierbaren Erweiterungen über eine Kernbedingung unter Verwendung der Differentiale der definierenden 1-Form, was zum Schar $P^{\text{int}}_{\mathcal{F}, N_{X/Y}^{\otimes -n}}$ führt.
   • Entscheidend ist, dass sie die Obstruktionen für die Erweiterung integrierbarer Foliationen mit der Kohomologiegruppe $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}} \otimes N_{X/Y}^{\otimes -n})$ in Beziehung setzen, wobei $\mathcal{I}_{\text{Per}}$ der Idealschar der persistenten Singularitäten ist (Singularitäten, die entlang einer Entfaltung nicht geglättet werden können).

2. Algebraisierung: Sobald formale Erweiterungen etabliert sind (d. h. Erweiterungen auf die formale Nachbarschaft $\hat{X}_{/Y}$), wenden die Autoren die effektive Lefschetz-Bedingung $\text{Leff}(X, Y)$ an. Diese Bedingung stellt sicher, dass formale Vektorbündel und Schnitte zu tatsächlichen algebraischen (oder analytischen) Objekten in einer Umgebung von $X$ in $Y$ algebraisiert werden können.

Wesentliche Beiträge und Ergebnisse

• Existenz von Erweiterungen (Theorem 1.1 & Korollarien 1.2, 1.3):
  Die Arbeit beweist, dass falls $X \subseteq Y$ eine reguläre Einbettung der Kodimension 1 ist, $\mathcal{F}$ unobstruierte Singularitäten besitzt und die Kohomologiegruppe $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}} \otimes N_{X/Y}^{\otimes -n})$ für alle $n \geq 1$ verschwindet, dann besitzt $\mathcal{F}$ eine formale Erweiterung. Wenn die effektive Lefschetz-Bedingung $\text{Leff}(X, Y)$ erfüllt ist (was der Fall ist, wenn $X$ ein ample Divisor in einer glatten projektiven Varietät $Y$ ist), algebraisiert sich diese formale Erweiterung zu einer globalen Foliation auf $Y$.

  • Dieses Resultat wird angewendet, um zu zeigen, dass Foliationen auf amplen Divisoren unter spezifischen kohomologischen Verschwindungsbedingungen expandieren.
  • Es wird auch auf Entfaltungen angewendet: Falls $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}}) = 0$, entfaltet sich jede Foliation mit unobstruierten Singularitäten entlang jeder Deformation von $X$.

• Positivitätskriterien (Theorem 1.4):
  Die Autoren liefern ein Kriterium basierend auf der Positivität der Einbettung gegenüber dem Normalbündel der Foliation. Wenn $X$ ein ampler Divisor in $Y$ ist, $\dim(X) \geq 3$ und das Bündel $N_{\mathcal{F}}^{\otimes 2} \otimes N_{X/Y}^{\otimes -1}$ anti-ampl ist, dann erweitert sich jede Foliation mit unobstruierten Singularitäten eindeutig auf $Y$. Dies stellt bisherige Ergebnisse (z. B. aus [Fig23]) bezüglich Foliationen auf Hypersurflächen im projektiven Raum wieder her und verallgemeinert sie.

• Eindeutigkeit und das foliierte Zak-L'vovsky-Problem (Abschnitt 5):
  Die Arbeit untersucht die Eindeutigkeit von Erweiterungen. Sie führt ein foliertes Analogon des Zak-L'vovsky-Problems ein (welches fragt, ob Erweiterungen von Untervarietäten Kegel sind).

  • Die Autoren definieren Camacho-Lins Neto reguläre Foliationen, charakterisiert durch das Verschwinden der Erweiterungsräume $\text{Ex}_n(\mathcal{F}, N_{X/Y})$.
  • Sie beweisen, dass, falls diese Erweiterungsräume verschwinden, die Erweiterung der Foliation eindeutig ist.
  • Eine Dichotomie wird etabliert: Falls $X$ ein ampler Divisor ist und die Erweiterung eindeutig ist, dann ist entweder die Erweiterung eindeutig oder $X$ ist eine Hyperebene und die Erweiterung ist ein Kegel.

• Tubuläre Nachbarschaften und Rigidität (Theorem 1.5 & 1.6):
  Das Papier verknüpft die Existenz von tubulären Nachbarschaften mit der Erweiterbarkeit von Foliationen.

  • Theorem 1.5: Falls $X$ eine Foliation mit rigiden Singularitäten (Singularitäten, bei denen der erstordentliche Entfaltungsraum trivial ist) besitzt, die sich auf $Y$ erweitert, und bestimmte Kohomologiegruppen verschwinden, dann besitzt $X$ eine tubuläre Nachbarschaft. Falls $Y$ projektiv und $X$ ampl ist, führt dies zur oben genannten Dichotomie.
  • Theorem 1.6 (Verallgemeinerung von Gómez-Mont): Die Autoren beweisen, dass falls eine Foliation $\mathcal{F}$ auf einer projektiven glatten Varietät $X$ rigide Singularitäten besitzt und $H^1(X, T_{\mathcal{F}}) = 0$, dann jede Entfaltung von $\mathcal{F}$ analytisch trivial ist. Dies verallgemeinert bisherige Ergebnisse für Flächen und spezifische Klassen von Foliationen auf $\mathbb{P}^m$.

Bedeutung und Umfang
Die Arbeit beansprucht, einen vereinheitlichten Rahmen für das Verständnis der Erweiterung von Foliationen zu bieten, indem sie die formale Deformationstheorie mit globalen Positivitätsbedingungen kombiniert. Ihre Bedeutung liegt in:

1. Verallgemeinerung der Entfaltungstheorie: Sie erweitert die Theorie der Entfaltungen (zuvor untersucht von Suwa, Gómez-Mont und anderen) auf beliebige Deformationen und Umgebungskontexte, nicht nur auf spezifische Fälle.
2. Verbindung von Singularitäten mit globaler Geometrie: Sie verknüpft explizit die lokale Natur der Singularitäten (persistent vs. rigid) mit globalen Obstruktionen über den Schar $\mathcal{I}_{\text{Per}}$.
3. Eindeutigkeitsresultate: Sie bietet neue hinreichende Bedingungen für die Eindeutigkeit von Foliationserweiterungen und trägt so zur Modulitheorie von Foliationen bei.

Die Autoren wahren einen bescheidenen Ton und merken an, dass ihre Ergebnisse auf spezifischen kohomologischen Verschwindungsbedingungen und der effektiven Lefschetz-Bedingung beruhen. Sie behaupten nicht, das Erweiterungsproblem für alle Foliationen zu lösen, sondern liefern affirmative Antworten für eine breite Klasse von „unobstruierten“ und „rigiden“ Singularitäten unter positiven Einbettungsbedingungen. Die Arbeit wird als ein Beitrag zum besseren Verständnis der Modulitheorie von Foliationen und der Geometrie von Restriktionen/Erweiterungen präsentiert.