The space of foliations on projective spaces in positive characteristic

Sintesi Tecnica: Lo Spazio delle Foliazioni sugli Spazi Proiettivi in Caratteristica Positiva

Enunciato del Problema
Lo studio dello spazio delle foliazioni olomorfe sugli spazi proiettivi è stato un tema centrale nella geometria algebrica complessa, in particolare a seguito del lavoro fondamentale di Jouanolou, Cerveau e Lins Neto. Mentre i componenti irriducibili di questi spazi sono ben compresi sui numeri complessi per gradi bassi (specificamente gradi zero, uno e due), il comportamento di questi spazi su campi algebricamente chiusi di caratteristica positiva rimane ampiamente inesplorato. Questo articolo affronta la classificazione dei componenti irriducibili dello schema $\text{Fol}^1_d(\mathbb{P}^n_k)$, che rappresenta le foliazioni di codimensione uno di grado $d$ su $\mathbb{P}^n_k$, dove $k$ è un campo algebricamente chiuso di caratteristica $p > 0$. L'obiettivo primario è determinare come la geometria e il numero di componenti irriducibili di questi spazi varino con la caratteristica $p$, in particolare per bassi gradi ($d=0, 1, 2$).

Metodologia
Gli autori impiegano una combinazione di tecniche di geometria algebrica specifiche della caratteristica positiva e adattamenti di argomenti della geometria complessa. Gli elementi metodologici chiave includono:

1. Relazione di Eulero e Forme Chiuse: L'analisi delle foliazioni di grado zero si basa pesantemente sulla relazione di Eulero per le forme omogenee. Gli autori utilizzano il comportamento specifico delle forme proiettive chiuse in caratteristica $p$, notando che le forme chiuse di grado $e$ esistono solo se $p$ divide $e$ (o sotto specifiche condizioni di esattezza).
2. Classificazione di Medeiros: Il saggio adatta la descrizione di Medeiros delle forme differenziali integrabili localmente decomponibili con coefficienti lineari. Sebbene formulata originariamente su $\mathbb{C}$, gli autori ne verificano la validità in caratteristica arbitraria, utilizzandola per classificare le foliazioni di grado zero e uno.
3. $p$-Curvatura e Divisori di Degenerazione: Per le foliazioni di grado uno, gli autori utilizzano la teoria della $p$-curvatura. Essi distinguono tra foliazioni $p$-chiuse e $p$-dense, analizzando il divisore di degenerazione $\Delta_F$ associato al morfismo di $p$-curvatura. Ciò consente loro di caratterizzare le foliations come pull-back lineari o forme logaritmiche in base al grado rispetto a $p$.
4. Trasformata di Cartier: Uno strumento centrale per lo studio delle componenti logaritmiche è la trasformata di Cartier delle foliazioni. Applicando l'operatore di Cartier alle forme 1-logaritmiche chiuse, gli autori analizzano la stabilità di queste forme sotto deformazione e stabiliscono le condizioni sotto le quali le componenti logaritmiche rimangono irriducibili.
5. Specializzazione Aritmetica: Per dimostrare i risultati per una caratteristica arbitraria, gli autori spesso stabiliscono risultati in caratteristica zero (o $p$ grande) e utilizzano argomenti di semi-continuità o specializzazione per dedurre proprietà in piccola caratteristica. Viceversa, utilizzano l'esistenza di specifiche componenti in caratteristica $p$ per fornire prove alternative per i risultati classici su $\mathbb{C}$.

Contributi Chiave e Risultati

• Foliazioni di Grado Zero ($d=0$):
  Gli autori forniscono una descrizione completa dei componenti irriducibili per le foliazioni di grado zero.

  • Se $\text{char}(k) \neq 2$ o la codimensione $q > 1$, lo spazio è isomorfo al Grassmanniano dei sottospazi lineari, corrispondente a foliazioni definite da proiezioni lineari.
  • Nel caso eccezionale in cui $\text{char}(k) = 2$ e $q=1$, lo spazio corrisponde allo spazio proiettivo delle forme 1 chiuse di grado 2, che differisce significativamente dal caso con $\text{char}(k) \neq 2$.

• Foliazioni di Grado Uno ($d=1$):
  Il numero di componenti irriducibili dipende strettamente dalla caratteristica $p$:

  • $p=2$: Esiste esattamente un componente irriducibile, il componente di pull-back lineare $\text{Lin}_1(\mathbb{P}^n_k)$.
  • $p=3$: Esistono esattamente due componenti: il componente di pull-back lineare $\text{Lin}_1(\mathbb{P}^n_k)$ e il componente delle forme 1 chiuse $\text{Cl}_1(\mathbb{P}^n_k)$.
  • $p \geq 5$: Esistono esattamente due componenti: $\text{Lin}_1(\mathbb{P}^n_k)$ e la componente logaritmica $\text{Log}_{(1,2)}(\mathbb{P}^n_k)$.
    Il saggio stabilisce che per $p \geq 5$ la descrizione è uniforme, e la componente logaritmica deriva da forme con due residui distinti.

• Foliazioni di Grado Due ($d=2$):
  I risultati per il grado due sono meno definitivi ma forniscono una classificazione parziale.

  • Gli autori mostrano che i sei componenti irriducibili noti in caratteristica zero specializzano in componenti irriducibili in caratteristica $p$ per $p \geq 5$.
  • Identificano componenti specifiche per piccole carateristiche ($p=2, 3$), incluso il componente "eccezionale" $\text{Exc}(\mathbb{P}^n_k)$, che è definito dall'orbita di una foliazione associata a una sottoralgebra di Lie non abeliana di campi vettoriali.
  • L'esistenza del componente eccezionale è provata per $p \neq 3$. Per $p=3$, lo stato di questo componente rimane una questione aperta a causa del fallimento della condizione di singolarità non-Kupka richiesta dal loro principale strumento tecnico.

• Teorema A (Stabilità delle Forme Logaritmiche):
  Un importante contributo teorico è il Teorema A, che stabilisce l'irriducibilità delle componenti logaritmiche $\text{Log}_{(d_1, \dots, d_r)}(\mathbb{P}^n_k)$ in caratteristica arbitraria. Il teorema fornisce specifiche condizioni aritmetiche sui gradi $d_i$ e sulla caratteristica $p$ (ad esempio, se $p$ divide i gradi o le loro somme) sotto le quali questi insiemi formano componenti irriducibili. Questo risultato generalizza il teorema di stabilità di Calvo-Andrade per le forme 1-logaritmiche generiche dall'ambiente complesso a caratteristica arbitraria.

Significato e Rivendicazioni
Il saggio sostiene di dare inizio allo studio sistematico degli spazi di foliazioni in caratteristica positiva, rivelando che la geometria di questi spazi moduli è altamente sensibile alla caratteristica del campo base.

• Prospettiva Aritmetica: Gli autori dimostrano che il Teorema A offre una nuova prova aritmetica del risultato di stabilità di Calvo-Andrade su $\mathbb{C}$ (Corollario 6.3), derivata dal comportamento di questi spazi in caratteristica positiva.
• Modestia sulla Completezza: Gli autori dichiarano esplicitamente che, sebbene forniscano una descrizione completa per i gradi zero e uno, la classificazione per il grado due rimane incompleta, in particolare per piccole carateristiche ($p=2, 3$) e per codimensione più elevate. Notano che la situazione per le foliazioni di grado tre è ancora meno compresa.
• Domande Aperte: Il saggio si conclude evidenziando problemi aperti, come la completezza dell'elenco dei componenti per il grado due in piccola caratteristica e la classificazione dei componenti irriducibili per gradi e codimensioni superiori.

In sintesi, il lavoro stabilisce che, mentre la classificazione complessa serve come base, l'ambiente della caratteristica positiva introduce fenomeni distinti (come l'emergere di forme chiuse in caratteristica 2 e la dipendenza del conteggio dei componenti da $p$) che richiedono strumenti aritmetici specifici per la loro analisi.