Splitting aspects of holomorphic distributions with locally free tangent sheaf

Technische Zusammenfassung: Aufspaltung von Aspekten holomorpher Distributionen mit lokal freiem Tangentialschicht

Problemstellung
Die Arbeit befasst sich mit den strukturellen Eigenschaften singulärer holomorpher Distributionen $D$ der Dimension $k$ auf komplexen Mannigfaltigkeiten (speziell $\mathbb{P}^n$ für $n \ge 3$ oder Keime im Ursprung von $\mathbb{C}^n$), wobei der Fokus auf dem Fall liegt, in dem die Tangentialschicht $T_D$ lokal frei ist. Eine zentrale Frage auf diesem Gebiet, die zuvor in [1] aufgeworfen wurde, ist, ob die Tangentialschicht einer Codimension-eins-Foliation auf $\mathbb{P}^3$ mit einer lokal freien Tangentialschicht notwendigerweise in eine direkte Summe von Linienbündeln zerfällt (d. h. $T_F \cong \bigoplus \mathcal{O}_{\mathbb{P}^3}(e_i)$). Während jüngste Arbeiten [15] eine negative Antwort für nicht-integrierbare Distributionen (speziell Kontaktstrukturen) lieferten, untersucht diese Arbeit hinreichende Bedingungen, unter denen eine solche Aufspaltung stattfindet, insbesondere wenn die Distribution eine tangentielle eindimensionale Foliation $G$ besitzt.

Das Kernproblem (Problem 2) ist wie folgt formuliert: Gegeben sei eine zweidimensionale Distribution $D$ mit einer lokal freien Tangentialschicht und eine tangentielle eindimensionale Foliation $G$; unter welchen Bedingungen existiert eine weitere eindimensionale Foliation $H$, die tangent an $D$ ist, sodass $T_D = T_G \oplus T_H$ gilt?

Methodik
Der Autor verwendet eine Kombination aus lokaler algebraischer Geometrie, Schichttheorie (Sheaf Theory) und kombinatorischen Methoden unter Verwendung gerichteter Graphen.

1. Lokale Division und linearer Rang: Die Arbeit führt das Konzept der „lokalen Division“ ein, bei dem eine Foliation $G$ eine Distribution $D$ in einem Punkt $p$ lokal teilt, wenn die definierende Form von $D$ als das Innenprodukt des durch $G$ definierten Vektorfeldes und einer weiteren Form ausgedrückt werden kann. Eine wesentliche verwendete Invariante ist der „lineare Rang“ eines Vektorfeldes (oder einer Foliation) an einer Singularität, definiert als der Rang des linearen Teils des Vektorfeldes.
2. Schichttheoretische Charakterisierung: Der Autor stellt Äquivalenzen zwischen der Aufspaltung der Tangentialschicht, der lokalen Freiheit der Quotienten-Schicht $T_D/T_G$ und der Eigenschaft her, dass $G$ lokal $D$ teilt. Lemma 4.6 und Proposition 4.8 sind entscheidend, da sie die Aufspaltung der Schicht mit der Eigenschaft verknüpfen, dass $T_G$ ein Unterbündel von $T_D$ ist.
3. Globale Analyse auf $\mathbb{P}^n$: Für den projektiven Fall stützt sich die Analyse auf die Schnitteigenschaften singulärer Mengen. Der Autor nutzt die Tatsache, dass in $\mathbb{P}^n$ irreduzible Komponenten bestimmter Dimensionen schneiden müssen, was globale Schlussfolgerungen aus lokalen Divisionseigenschaften ermöglicht.
4. Kombinatorische Graphentheorie: Im Beweis von Theorem C (speziell für nilpotente Vektorfelder) konstruiert der Autor gerichtete Graphen (ss-Digraphen), die die Wirkung der Lie-Ableitung auf Räume homogener Formen darstellen. Durch die Analyse von Pfaden, Zyklen, Quellen und Senken in diesen Graphen beweist der Autor, dass bestimmte Koeffizienten in den definierenden Formen der Foliationen verschwinden müssen, wodurch algebraische Multiplizitätsbedingungen für Singularitäten etabliert werden.
5. Komputative Verifizierung: Die Arbeit nutzt die Software Maple, um Systeme linearer Gleichungen zu lösen, die aus den Bedingungen der Tangentialität und Integrierbarkeit abgeleitet wurden, insbesondere in den Beweisen für Proposition 6.1 und Theorem C für Fälle niedrigen Grades.

Wesentliche Beiträge und Ergebnisse

• Theorem A (Lokale Aufspaltung): Für einen Keim einer $k$-dimensionalen Distribution $D$ mit einer lokal freien Tangentialschicht und einer Tangentialfoliation $G$ mit linearem Rang von mindestens $k$, beweist die Arbeit, dass entweder $T_D$ als $T_G \oplus T_{H_1} \oplus \dots \oplus T_{H_{k-1}}$ zerfällt oder die Distribution regulär ist. Diese Aufspaltung tritt genau dann ein, wenn die Singularitätsmenge von $G$ in der Singularitätsmenge von $D$ enthalten ist.
• Theorem B (Globale Aufspaltung auf $\mathbb{P}^n$): Für eine zweidimensionale Distribution $D$ auf $\mathbb{P}^n$ ($n \ge 3$) mit einer lokal freien Tangentialschicht und einer Tangentialfoliation $G$ mit linearem Rang von mindestens 2 ist die Existenz einer Aufspaltung $T_D = T_G \oplus T_H$ äquivalent zu der Bedingung, dass jede irreduzible Komponente von $\text{sing}(G)$ der Dimension $n-2$ die Menge $\text{sing}(D)$ schneidet. Insbesondere, wenn $\dim(\text{sing}(D)) \ge 2$ und $n \ge 4$, zerfällt $T_D$ immer.
• Theorem C (Codimension Eins auf $\mathbb{P}^3$): Wenn $F$ eine holomorphe Codimension-eins-Foliation auf $\mathbb{P}^3$ mit einer lokal freien Tangentialschicht ist und es existiert ein nicht-verschwindendes holomorphes Vektorfeld auf $\mathbb{P}^3$, das tangent an $F$ ist, dann zerfällt $T_F$. Dieses Resultat ist signifikant, da es eine positive Antwort auf Problem 1 unter der spezifischen Bedingung der Existenz eines Tangentialvektorfeldes liefert.
• Divisionseigenschaften: Die Arbeit verfeinert das De Rham-Saito Division Lemma. Sie liefert alternative Bedingungen dafür, wann ein Vektorfeld eine Differentialform teilt, basierend auf dem Rang des linearen Teils des Vektorfeldes (Proposition 5.17) und dem Rang des linearen Teils einer 1-Form (Proposition 5.19). Es wird gezeigt, dass diese Ergebnisse in Situationen anwendbar sind, die nicht von klassischen Lemmata abgedeckt werden.
• Korollar 6.22: Durch Erweiterung der Ergebnisse auf nicht-integrierbare Distributionen zeigt die Arbeit, dass eine Codimension-eins-Distribution $D$ auf $\mathbb{P}^3$ mit einer lokal freien Tangentialschicht und Grad $\deg(D) \ge 1$ zerfällt, falls ein nicht-nilpotentes holomorphes Vektorfeld existiert, das tangent an ihr ist.

Bedeutung und Behauptungen
Die Arbeit beansprucht, einen umfassenden Rahmen für das Verständnis der Aufspaltung von Tangentialschichten für holomorphe Distributionen zu bieten. Durch die Einführung des Konzepts der lokalen Division und die Charakterisierung der Menge $S(G, D)$ (Punkte, an denen die Division fehlschlägt), etabliert der Autor präzise geometrische Kriterien (Schnitt der Singularitätsmengen) für die Aufspaltung.

Die Arbeit präsentiert sich als Erweiterung vorangegangener Studien über Foliationen [1, 4, 8, 9, 16] und bietet eine partielle Lösung für das offene Problem bezüglich der Aufspaltung von Tangentialschichten für Codimension-eins-Foliationen auf $\mathbb{P}^3$. Der Autor merkt an, dass während nicht-integrierbare Distributionen des Grades 0 (Kontaktstrukturen) nicht zerfallen, das Vorhandensein eines Tangentialvektorfeldes (speziell nicht-nilpotent für Grad $\ge 1$) die Aufspaltung der Tangentialschicht erzwingt.

Die Arbeit schließt mit der Formulierung von Problem 3: Falls eine Codimension-eins-Foliation auf $\mathbb{P}^3$ eine lokal freie Tangentialschicht besitzt und keine invariante Hypersurface (und somit keine rationale erste Integralfunktion) hat, zerfällt ihre Tangentialschicht dann notwendigerweise? Der Autor legt nahe, dass basierend auf bekannten Gegenbeispielen (welche rationale erste Integralfunktionen besitzen), die Antwort affirmativ sein könnte, dies jedoch eine offene Frage bleibt. Die Ergebnisse sind so gerahmt, dass sie als Alternativen oder Ergänzungen zu klassischen Ergebnissen wie dem De Rham-Saito Division Lemma dienen.