Splitting aspects of holomorphic distributions with locally free tangent sheaf

Technische Samenvatting: Splijten van aspecten van holomorfe distributies met een lokaal vrije tangentiële bundel

Probleemstelling
Het artikel behandelt de structurele eigenschappen van singuliere holorme distributies $D$ van dimensie $k$ op complexe variëteiten (specifiek $\mathbb{P}^n$ voor $n \ge 3$ of germs in de oorsprong van $\mathbb{C}^n$), waarbij de focus ligt op het geval waarin de tangentiële bundel $T_D$ lokaal vrij is. Een centrale vraag in dit vakgebied, eerder geponeerd in [1], is of de tangentiële bundel van een codimensie-één foliatie op $\mathbb{P}^3$ met een lokaal vrije tangentiële bundel noodzakelijkerwijs splitst in een directe som van lijnbundels (d.w.z. $T_F \cong \bigoplus \mathcal{O}_{\mathbb{P}^3}(e_i)$). Terwijl recent werk [15] een negatief antwoord gaf voor niet-integreerbare distributies (specifiek contactstructuren), onderzoekt dit werk voldoende voorwaarden waaronder een dergelijke splitsing optreedt, in het bijzonder wanneer de distributie een tangentiële één-dimensionale foliatie $G$ bezit.

Het kernprobleem (Probleem 2) wordt als volgt geformuleerd: Gegeven een twee-dimensionale distributie $D$ met een lokaal vrije tangentiële bundel en een één-dimensionale foliatie $G$ die tangentieel is aan $D$, onder welke voorwaarden bestaat er een andere één-dimensionale foliatie $H$ die tangentieel is aan $D$, zodanig dat $T_D = T_G \oplus T_H$?

Methodologie
De auteur maakt gebruik van een combinatie van lokale algebraïsche meetkunde, bundeltheorie en combinatorische methoden met behulp van gerichte grafen.

1. Lokale Divisie en Lineaire Rang: Het artikel introduceert het concept van "lokale divisie", waarbij een foliatie $G$ een distributie $D$ lokaal deelt in een punt $p$ als de definiërende vorm van $D$ kan worden uitgedrukt als het inwendig product van het vectorveld dat $G$ definieert en een andere vorm. Een cruciale invariant die wordt gebruikt is de "lineaire rang" van een vectorveld (of foliatie) bij een singulariteit, gedefinieerd als de rang van het lineaire deel van het vectorveld.
2. Bundeltheoretische Karakterisering: De auteur stelt equivalenties vast tussen de splitsing van de tangentiële bundel, de lokale vrijheid van de quotientbundel $T_D/T_G$, en de eigenschap dat $G$ lokaal $D$ deelt. Lemma 4.6 en Propositie 4.8 zijn cruciaal, omdat zij de link leggen tussen de splitsing van de bundel en het feit dat $T_G$ een subbundel is van $T_D$.
3. Globale Analyse op $\mathbb{P}^n$: Voor het projectieve geval rust de analyse op de snijpuntseigenschappen van singuliere verzamelingen. De auteur maakt gebruik van het feit dat in $\mathbb{P}^n$ irredeusibele componenten van bepaalde dimensies moeten snijden, waardoor globale conclusies kunnen worden getrokken uit lokale divisie-eigenschappen.
4. Combinatorische Grafentheorie: In het bewijs van Stelling C (specifiek voor nilpotente vectorvelden) construeert de auteur gerichte grafen (ss-digrafen) die de werking van de Lie-afgeleide op ruimtes van homogene vormen representeren. Door paden, cycli, bronnen en putten in deze grafen te analyseren, bewijst de auteur dat bepaalde coëfficiënten in de definiërende vormen van foliaties nul moeten zijn, waarmee algebraïsche veelvoudscondities voor singulariteiten worden vastgesteld.
5. Computationele Verificatie: Het artikel maakt gebruik van de software Maple om systemen van lineaire vergelijkingen op te lossen die voortvloeien uit de condities van tangentie en integrabiliteit, met name in de bewijzen van Propositie 6.1 en Stelling C voor gevallen met een lage graad.

Belangrijkste Bijdragen en Resultaten

• Stelling A (Lokale Splitsing): Voor een germ van een $k$-dimensionale distributie $D$ met een lokaal vrije tangentiële bundel en een tangentiële foliatie $G$ met een lineaire rang van ten minste $k$, bewijst het artikel dat ofwel $T_D$ splitst als $T_G \oplus T_{H_1} \oplus \dots \oplus T_{H_{k-1}}$, of dat de distributie regulier is. Deze splitsing vindt plaats dan en slechts dan als de singuliere verzameling van $G$ gecontineerd is in de singuliere verzameling van $D$.
• Stelling B (Globale Splitsing op $\mathbb{P}^n$): Voor een twee-dimensionale distributie $D$ op $\mathbb{P}^n$ ($n \ge 3$) met een lokaal vrije tangentiële bundel en een tangentiële foliatie $G$ met een lineaire rang van ten minste 2, is het bestaan van een splitsing $T_D = T_G \oplus T_H$ equivalent aan de voorwaarde dat elke irreduceble component van $\text{sing}(G)$ van dimensie $n-2$ de $\text{sing}(D)$ snijdt. In het bijzonder, als $\dim(\text{sing}(D)) \ge 2$ en $n \ge 4$, splitst $T_D$ altijd.
• Stelling C (Codimensie Één op $\mathbb{P}^3$): Als $F$ een codimensie-één holorme foliatie op $\mathbb{P}^3$ is met een lokaal vrije tangentiële bundel, en er bestaat een niet-nul vectorveld op $\mathbb{P}^3$ dat tangentieel is aan $F$, dan splitst $T_F$. Dit resultaat is significant omdat het een positief antwoord biedt op Probleem 1 onder de specifieke voorwaarde van de existentie van een tangentieel vectorveld.
• Divisie-eigenschappen: Het artikel verfijnt de De Rham-Saito Divisie-lemma. Het biedt alternatieve voorwaarden voor een vectorveld om een differentiële vorm te delen op basis van de rang van het lineaire deel van het vectorveld (Propositie 5.17) en de rang van het lineaire deel van een 1-vorm (Propositie 5.19). Deze resultaten worden getoond bruikbaar te zijn in situaties die niet door klassieke lemma's worden gedekt.
• Corollary 6.22: Door de resultaten uit te breiden naar niet-integreerbare distributies, toont het artikel aan dat een codimensie-één distributie $D$ op $\mathbb{P}^3$ met een lokaal vrije tangentiële bundel en graad $\deg(D) \ge 1$ splitst indien er een niet-nilpotent holorm vectorveld bestaat dat er aan tangentieel is.

Betekenis en Claims
Het artikel claimt een uitgebreid kader te bieden voor het begrijpen van de splitsing van tangentiële bundels van holorme distributies. Door het concept van lokale divisie te introduceren en de verzameling $S(G, D)$ (punten waar divisie faalt) te karakteriseren, stelt de auteur precieze geometrische criteria (snijding van singuliere verzamelingen) vast voor splitsing.

Het werk wordt gepresenteerd als een uitbreiding van eerdere studies naar foliaties [1, 4, 8, 9, 16] en biedt een gedeeltelijke oplossing voor het openstaande probleem betreffende de splitsing van tangentiële bundels voor codimensie-één foliaties op $\mathbb{P}^3$. De auteur merkt op dat hoewel niet-integreerbare distributies van graad 0 (contactstructuren) niet splitsen, de aanwezigheid van een tangentieel vectorveld (specifiek niet-nilpotent voor graad $\ge 1$) de splitsing van de tangentiële bundel afdwingt.

Het artikel sluit af met het formuleren van Probleem 3: Als een codimensie-één foliatie op $\mathbb{P}^3$ een lokaal vrije tangentiële bundel heeft en geen invariante hyperoppervlak (en dus geen rationale eerste integraal), splitst de tangentiële bundel dan noodzakelijkerwijs? De auteur suggereert dat, gebaseerd op bekende tegenvoorbeelden (die rationale eerste integralen bezitten), het antwoord mogelijk bevestigend is, maar dat dit een open vraag blijft. De resultaten worden gekaderd als het bieden van voldoende voorwaarden en divisie-criteria die dienen als alternatieven of complementen voor klassieke resultaten zoals de De Rham-Saito Divisie-lemma.