The space of foliations on projective spaces in positive characteristic

Technische Samenvatting: De Ruimte van Foliaties op Projectieve Ruimten in Positieve Karakteristiek

Probleemstelling
De studie van de ruimte van holomorfe foliaties op projectieve ruimten is een centraal onderwerp geweest in de complexe algebraïsche meetkunde, met name volgend op het fundamentele werk van Jouanolou, Cerveau en Lins Neto. Hoewel de irreducibele componenten van deze ruimtes goed begrepen zijn over de complexe getallen voor lage graden (specifiek graden nul, één en twee), blijft het gedrag van deze ruimtes over algebraïsch gesloten lichamen van positieve karakteristiek grotendeels onverkend. Dit artikel behandelt de classificatie van de irreducibele componenten van het schema $\text{Fol}^1_d(\mathbb{P}^n_k)$, dat codimensie één foliaties van graad $d$ op $\mathbb{P}^n_k$ representeert, waarbij $k$ een algebraïsch gesloten lichaam is van karakteristiek $p > 0$. Het primaire doel is om te bepalen hoe de geometrie en het aantal irreducibele componenten van deze ruimtes variëren met de karakteristiek $p$, in bijzonder voor lage graden ($d=0, 1, 2$).

Methodologie
De auteurs maken gebruik van een combinatie van algebraïsche geometrische technieken specifiek voor positieve karakteristiek en aanpassingen van complex-geometrische argumenten. Belangrijke methodologische elementen zijn:

1. Euler-relatie en Gesloten Vormen: De analyse van graad nul foliaties steunt zwaar op de Euler-relatie voor homogene vormen. De auteurs maken gebruik van het specifieke gedrag van gesloten projectieve vormen in karakteristiek $p$, waarbij zij opmerken dat gesloten vormen van graad $e$ alleen bestaan als $p$ deelbaar is door $e$ (of onder specifieke condities voor exactheid).
2. Medeiros' Classificatie: Het artikel past de beschrijving van Medeiros voor lokaal decomponeerbare integreerbare differentiële vormen met lineaire coëfficiënten aan. Hoewel deze oorspronkelijk geformuleerd is over $\mathbb{C}$, verifiëren de auteurs de geldigheid ervan in willekeurige karakteristiek, waarbij zij deze gebruiken om graad nul en één foliaties te classificeren.
3. $p$-kromming en Degeneratie-divisoren: Voor graad één foliaties maken de auteurs gebruik van de theorie van $p$-kromming. Zij maken onderscheid tussen $p$-gesloten en $p$-dichte foliaties, waarbij zij de degeneratie-divisor $\Delta_F$ analyseren die geassocieerd is met de $p$-kromming-morfisme. Dit stelt hen in staat om foliaties te karakteriseren als lineaire pull-backs of logaritmische vormen op basis van de graad relatief aan $p$.
4. Cartier-transformatie: Een centraal instrument voor de studie van logaritmische componenten is de Cartier-transformatie van foliaties. Door de Cartier-operator toe te passen op gesloten logaritmische 1-vormen, analyseren de auteurs de stabiliteit van deze vormen onder deformatie en stellen zij voorwaarden vast waaronder logaritmische componenten irreducibel blijven.
5. Arithmetische Specialisatie: Om resultaten voor willekeurige karakteristiek te bewijzen, stellen de auteurs vaak resultaten in karakteristiek nul (of grote $p$) vast en gebruiken zij semi-continuïteitsargumenten of specialisatie om eigenschappen in kleine karakteristiek af te leiden. Omgekeerd gebruiken zij het bestaan van specifieke componenten in karakteristiek $p$ om alternatieve bewijzen te leveren voor klassieke resultaten over $\mathbb{C}$.

Belangrijkste Bijdragen en Resultaten

• Graad Nul Foliaties ($d=0$):
  De auteurs bieden een volledige beschrijving van de irreducibele componenten voor graad nul foliaties.

  • Als $\text{char}(k) \neq 2$ of de codimensie $q > 1$, is de ruimte isomorf aan de Grassmanniaan van lineaire subruimten, wat overeenkomt met foliaties gedefinieerd door lineaire projecties.
  • In het uitzonderlijke geval waar $\text{char}(k) = 2$ en $q=1$, komt de ruimte overeen met de projectieve ruimte van gesloten 1-vormen van graad 2, wat significant verschilt van het geval karakteristiek $\neq 2$.

• Graad Eén Foliaties ($d=1$):
  Het aantal irreducibele componenten hangt strikt af van de karakteristiek $p$:

  • $p=2$: Er is precies één irreducibele component, de lineaire pull-back component $\text{Lin}_1(\mathbb{P}^n_k)$.
  • $p=3$: Er zijn exact twee componenten: de lineaire pull-back component $\text{Lin}_1(\mathbb{P}^n_k)$ en de component van gesloten 1-vormen $\text{Cl}_1(\mathbb{P}^n_k)$.
  • $p \geq 5$: Er zijn exact twee componenten: $\text{Lin}_1(\mathbb{P}^n_k)$ en de logaritmische component $\text{Log}_{(1,2)}(\mathbb{P}^n_k)$.
    Het artikel stelt vast dat voor $p \geq 5$ de beschrijving uniform is, en dat de logaritmische component voortkomt uit vormen met twee verschillende residuen.

• Graad Twee Foliaties ($d=2$):
  De resultaten voor graad twee zijn minder definitief maar bieden een partiële classificatie.

  • De auteurs tonen aan dat de zes in karakteristiek nul bekende irreducibele componenten specialiseren naar irreducibele componenten in karakteristiek $p$ voor $p \geq 5$.
  • Zij identificeren specifieke componenten voor kleine karakteristieken ($p=2, 3$), inclusief de "exceptionele" component $\text{Exc}(\mathbb{P}^n_k)$, die wordt gedefinieerd door de baan van een foliatie geassocieerd met een niet-abelse Lie-subalgebra van vectorfelden.
  • Het bestaan van de exceptionele component wordt bewezen voor $p \neq 3$. Voor $p=3$ blijft de status van deze component een open vraag vanwege het falen van de non-Kupka singulariteitsconditie die vereist is door hun belangrijkste technische instrument.

• Stelling A (Stabiliteit van Logaritmische Vormen):
  Een belangrijke theoretische bijdrage is Stelling A, die de irreducibiliteit van logaritmische componenten $\text{Log}_{(d_1, \dots, d_r)}(\mathbb{P}^n_k)$ in willekeurige karakteristiek vaststelt. De stelling biedt specifieke arithmetische condities op de graden $d_i$ en de karakteristiek $p$ (bijvoorbeeld of $p$ de graden of hun sommen deelt) waaronder deze verzamelingen irreducibele componenten vormen. Dit resultaat generaliseert de stabiliteitsstelling van Calvo-Andrade voor generieke logaritmische 1-vormen vanuit de complexe setting naar willekeurige karakteristiek.

Betekenis en Claims
Het artikel claimt de systematische studie van foliateruimtes in positieve karakteristiek te initiëren, waarbij wordt aangetoond dat de geometrie van deze moduli-ruimtes zeer gevoelig is voor de karakteristiek van het basislichaam.

• Arithmetisch Perspectief: De auteurs demonstreren dat Stelling A een nieuw, arithmetisch bewijs biedt voor de stabiliteitsresultaten van Calvo-Andrade over $\mathbb{C}$ (Corollary 6.3), afgeleid van het gedrag van deze ruimtes in positieve karakteristiek.
• Bescheidenheid over Volledigheid: De auteurs geven expliciet aan dat hoewel zij een volledige beschrijving bieden voor graden nul en één, de classificatie voor graad twee incompleet blijft, met name voor kleine karakteristieken ($p=2, 3$) en voor hogere codimensies. Zij merken op dat de situatie voor graad drie foliaties nog minder begrepen is.
• Open Vragen: Het artikel concludeert door te wijzen op open problemen, zoals de volledigheid van de lijst van componenten voor graad twee in kleine karakteristieken en de classificatie van irreducibele componenten voor hogere graden en codimensies.

Samenvattend stelt het werk vast dat hoewel de complexe classificatie als baseline dient, de setting van positieve karakteristiek distincte fenomenen introduceert (zoals de opkomst van gesloten vormen in karakteristiek 2 en de afhankelijkheid van het aantal componenten van $p$) die specifieke arithmetische instrumenten vereisen voor hun analyse.