Distributions with Unstable Tangent Sheaf on $\mathbb{P}^3$

Titel: Distributies met een Instabiele Raakbundel op $\mathbb{P}^3$

1. Probleemstelling en Context

Het artikel onderzoekt codimension-1 distributies op de projectieve ruimte $\mathbb{P}^3$. Een distributie wordt gedefinieerd als een onderbundel van de raakbundel $T\mathbb{P}^3$ waarvan de quotiënt een torsievrij schuif is. De singulariteiten van de distributie zijn de punten waar deze quotiënt niet lokaal vrij is.

De focus ligt specifiek op gevallen waarbij de raakbundel van de distributie ($T_F$) niet-split is en instabiel.

• Eerdere werken (zoals [5, 14]) hebben de raakbundels van distributies met lage graad ($d \leq 2$) volledig geclassificeerd. In die gevallen is de bundel ofwel gesplitst of minstens $\mu$-semistabiel.
• Instabiele, niet-gesplitste bundels komen pas voor bij hogere graden ($d \geq 3$), vooral wanneer de bundel een globale sectie toelaat.
• Het centrale probleem is het begrijpen van de relatie tussen de orde van instabiliteit van $T_F$ en de graad van de door de distributie geïnduceerde subfoliatie door krommen.

2. Methodologie

De auteur hanteert een algebraïsch-geometrische aanpak die de volgende concepten combineert:

• Stabiliteit en Normalisatie: Er wordt gebruikgemaakt van de definitie van $\mu$-stabiliteit voor reflexieve schuiven op $\mathbb{P}^3$. De stabiliteit wordt getest via de genormaliseerde bundel $F_\eta$.
• Orde van Instabiliteit: Gebaseerd op werk uit [26], wordt de "orde van instabiliteit" ($r$) gedefinieerd als het maximale positieve gehele getal $r$ waarvoor $H^0((F_\eta)^\vee(-r)) \neq 0$. Een hogere $r$ impliceert meer instabiliteit.
• Subfoliaties door krommen: De auteur introduceert de invariant $t_F$, gedefinieerd als het minimale gehele getal $k$ zodat $H^0(T_F(k-1)) \neq 0$. Dit correspondeert met de minimale graad van een subfoliatie door krommen die door de distributie wordt toegelaten.
• Exacte Sequenties en Chern-classes: Er wordt intensief gebruikgemaakt van exacte sequenties om de relatie te leggen tussen de Chern-classes van $T_F$, de singulariteitsschema's ($Sing(F)$), en de subfoliaties. Specifiek wordt de relatie tussen de cohomologie van de genormaliseerde bundel en de graad van de subfoliatie geanalyseerd.

3. Belangrijkste Bijdragen en Resultaten

A. Relatie tussen Instabiliteit en Subfoliatiegraad (Lemma 4.1)
De auteur bewijst een fundamentele ongelijkheid die de instabiliteit van $T_F$ koppelt aan de graad van de subfoliatie:

• Voor een niet-gesplitste distributie van graad $d$ is $T_F$ instabiel dan en slechts dan als $d \geq 3$ en:
  $$1 \leq t_F \leq \frac{d - 2 + \varepsilon}{2}$$
  waarbij $\varepsilon \in \{0, 1\}$ en $\varepsilon \equiv d \pmod 2$.
• De orde van instabiliteit wordt gegeven door $r = \frac{d+\varepsilon}{2} - t_F$.
• Conclusie: Hoe instabieler de bundel is (hoger $r$), hoe lager de graad $t_F$ van de toegelaten subfoliatie.

B. Classificatie bij Maximale Instabiliteit (Hoofdstelling 4.2)
De paper classificeert volledig de raakbundels van codimension-1 distributies waarbij $T_F$ niet-gesplitst is en de maximale mogelijke orde van instabiliteit bereikt (wat overeenkomt met $t_F = 1$). Er zijn twee families:

1. Familie 1 (Geïnduceerd door een lijn):

   • Chern-classes: $(2-d, 1, d)$.
   • De bundel wordt gegenereerd door een extensie van een lijn.
   • Singulariteiten:
     • $Sing_1(F)$ is een kromme van graad $d^2 + 1$ met genus $p_a = \frac{d(d-1)}{2}$.
     • $Sing_0(F)$ bestaat uit $d$ collineaire punten.

2. Familie 2 (Geïnduceerd door een paar scheve lijnen of een dubbele lijn):

   • Chern-classes: $(2-d, 2, 2d)$.
   • De bundel wordt gegenereerd door een extensie van een paar scheve lijnen (of een dubbele lijn van genus -1).
   • Singulariteiten:
     • $Sing_1(F)$ is een kromme van graad $d^2$ (een volledige doorsnede).
     • $Sing_0(F)$ bestaat uit twee paren van $d$ collineaire punten (of $d$ punten op de dubbele lijn).

C. Bestaan en Constructie

• Voor Familie 1 wordt bewezen dat elke reflexieve bundel die voldoet aan de beschrijving, daadwerkelijk de raakbundel is van een codimension-1 distributie.
• Voor Familie 2 kan het bestaan niet voor elke mogelijke bundel worden gegarandeerd, maar de auteur construeert expliciete voorbeelden van homogene 1-vormen die precies de vereiste singulariteitsschema's hebben (zie Voorbeelden 3 en 4).
• Er wordt ook een voorbeeld gegeven (Voorbeeld 5) van een niet-gesplitste, instabiele, lokaal vrije bundel (dus zonder singulariteiten in de bundel zelf, maar met singulariteiten in de distributie) die een distributie definieert.

D. Negatief Resultaat voor Logaritmische Foliaties
De auteur toont aan dat geen van de twee families met maximale instabiliteit kan worden gerealiseerd als een generieke logaritmische foliatie. De graad van de 1-dimensionale component van de singulariteiten van generieke logaritmische foliaties is te laag vergeleken met de waarden die nodig zijn voor deze specifieke instabiele bundels.

4. Significatie

• Verdieping van de theorie: Het werk vult de classificatie van distributies op $\mathbb{P}^3$ aan voor het gebied van hoge graad en instabiele bundels, een gebied dat eerder minder bestudeerd was dan het stabiele geval.
• Kwantitatieve band: Het biedt een scherpe numerieke band tussen de algebraïsche eigenschap van instabiliteit (orde $r$) en de geometrische eigenschap van de subfoliatie (graad $t_F$).
• Moduli-ruimten: Het artikel draagt bij aan het begrip van de moduli-ruimte van distributies, waarbij wordt aangetoond dat deze ruimte niet beperkt is tot stabiele bundels en dat instabiele gevallen leiden tot specifieke, classificeerbare structuren met karakteristieke singulariteitsschema's.
• Constructieve aanpak: Door expliciete voorbeelden te construeren, verifieert de auteur dat de theoretische classificaties ook daadwerkelijk realiseerbaar zijn binnen de algebraïsche geometrie.

Samenvattend biedt dit artikel een complete classificatie van de meest "extreme" gevallen van instabiele distributies op $\mathbb{P}^3$ en legt het een fundamentele link tussen de cohomologische structuur van de raakbundel en de meetkunde van de bijbehorende singulariteiten.