Frobenius--Tschirnhausen ampleness

Enunciato del Problema
Questo lavoro investiga i vincoli geometrici imposti sulle varietà proiettive lisce $X$ su un campo a caratteristica positiva $p > 0$ dall'ampiezza del loro fibrato di Frobenius–Tschirnhausen, denotato $E_X$. Questo fibrato è definito come il duale del nucleo della traccia di Frobenius associato alla morfismo assoluto di Frobenius $F: X \to X$, specificamente $E_X \coloneqq (F_* \mathcal{O}_X / \mathcal{O}_X)^\vee$. Lo studio è motivato da risultati classici in caratteristica 0, come il teorema di Mori (dove l'ampiezza del fibrato tangente implica $X \cong \mathbb{P}^n$) e la congettura sull'ampiezza di Tschirnhausen per gli spazi omogenei razionali. Sebbene lavori precedenti di Carvajal-Rojas e Patakfalvi abbiano stabilito che tali varietà debbano essere Fano e prive di fibrati genericamente lisci o contrazioni divisoriali, la precisa classificazione e l'esistenza di esempi oltre lo spazio proiettivo e le quadriche rimanevano aperte. La domanda centrale è: Quali varietà Fano lisce di rango di Picard 1 possiedono un nucleo di traccia di Frobenius ampio, e quali sono le condizioni necessarie sulla caratteristica $p$?

Metodologia
Gli autori utilizzano una combinazione di teoria delle rappresentazioni infinitesimali, la teoria degli scismi di Frobenius (Frobenius splittings) e costruzioni geometriche esplicite per analizzare la positività di $E_X$.

1. Restrizioni su Morfismi e Sbschami: Il saggio stabilisce innanzitutto che se $E_X$ è ampio, ogni morfismo non costante $f: X \to Y$ deve essere finito sulla sua immagine. Ciò è dimostrato mostrando che ogni sottoschema chiuso connesso $Z \subset X$ soddisfa la proprietà $G_1$ (le funzioni formali sulla completamento di $X$ lungo $Z$ sono costanti). Ciò si basa sull'osservazione che la restrizione del cokernel di Frobenius su un sottoschema è correlata al fibrato conormale e ai vicinati infinitesimali.
2. Criteri di Rappresentazione: Per gli spazi omogenei razionali $X = G/P$, gli autori utilizzano il fatto che $E_X$ è globalmente generato. Essi raffinano questo punto investigando la generazione globale del fibrato ruotato (twisted) $E_X \otimes \mathcal{O}_X(-1)$. Utilizzando l'identificazione del nucleo della traccia di Frobenius con i coinvarianti dell'azione del fibrato tangente, collegano l'ampiezza alla suriettività delle mappe di restrizione sulle sezioni globali di $\omega_X^{\otimes (1-p)} \otimes \mathcal{O}_X(-p)$ verso i jet di Frobenius-$p$.
3. Costruzioni Esplicite (Determinanti Rotolanti e Pfaffiani): Per dimostrare la generazione globale per i tipi classici (Grassmanniani, Simpletici, Ortogonali) e il Tipo $G_2$, gli autori costruiscono sezioni esplicite. Introducono i "determinanti rotolanti" (rolling determinants) per i Grassmanniani classici e i "Pfaffiani rotolanti" (rolling Pfaffians) per le varietà di spinore. Queste costruzioni coinvolgono polinomi specifici nei minori di matrici di coordinate sulla grande cella di Schubert, progettati per realizzare specifici vettori di peso (derivate dell'elemento di traccia $\tau$) nel ring di coordinate del nucleo di Frobenius.
4. Ostruzione tramite Isogenie Esotiche: Per i casi eccezionali in cui l'ampiezza fallisce, gli autori dimostrano l'esistenza di morfismi finiti puramente inseparabili (isogenie esotiche) tra gruppi algebrici o i loro associati spazi omogenei. Essi mostrano che il fibrato di Tschirnhausen di tale morfismo si restringe a un fibrato non ampio su sottovarietà specifiche (ad esempio, rette o Grassmanniani a dimensione inferiore), ostacolando così l'ampiezza di $E_X$.

Contributi Chiave e Risultati

• Teorema A (Finitezza dei Morfismi): Qualsiasi morfismo non costante da una varietà Frobenius–Tschirnhausen ampia $X$ verso un'altra varietà $Y$ è finito sulla sua immagine. Di conseguenza, $X$ non ammette contrazioni estreme non triviali. Combinato con la proprietà Fano, ciò suggerisce fortemente (e dimostra sotto l'assunzione del teorema di contrazione) che tali varietà debbano avere rango di Picard 1.
• Teorema B (Non-ampiezza delle Ipersuperfici): Gli autori costruiscono esplicite famiglie di ipersuperfici Fano lisce in $\mathbb{P}^n$ di grado $d$ (dove $p < d \le n$) che non sono Frobenius–Tschirnhausen ampie. Questi esempi includono ipersuperfici "q-bic" o estreme, generalizzando la nota non-ampiezza della quadrica tridimensionale in caratteristica 2.
• Teorema C (Classificazione per i Tipi Classici e $G_2$): Il saggio fornisce una classificazione completa dei Grassmanniani generalizzati di tipo classico e Tipo $G_2$ che sono Frobenius–Tschirnhausen ampi. Uno spazio omogeneo razionale proiettivo $X$ di rango di Picard 1 è Frobenius–Tschirnhausen ampio se e solo se non è uno dei seguenti eccezioni:
  • Grassmanniano Simpletico $SGr(k, 2m)$ con $2 \le k \le m$ in caratteristica $p=2$.
  • Grassmanniano Ortogonale $OGr(m-1, 2m+1)$ in caratteristica $p=2$.
  • Grassmanniano di $G_2$ in caratteristiche $p=2$ o $p=3$.
• Correzione di Risultati Precedenti: Il lavoro corregge una leggera imprecisione nella letteratura precedente riguardante le quadriche in caratteristica 2, mostrando che le quadriche di dimensione $\ge 4$ in $p=2$ sono Frobenius–Tschirnhausen ampie, mentre la quadrica tridimensionale non lo è.

Significato e Rivendicazioni
Il saggio sostiene di fornire il primo insieme completo di restrizioni ed esempi per le varietà Frobenius–Tschirnhausen ampie in caratteristica positiva. Dimostrando che tali varietà non ammettono contrazioni non triviali, gli autori forniscono una forte evidenza a supporto della congettura che queste siano varietà Fano di rango di Picard 1.

La significatività dei risultati risiede nel:

1. Completare la Classificazione: Il Teorema C risolve la questione dell'ampiezza per la classe più accessibile di varietà Fano (Grassmanniani generalizzati) di tipo classico e Tipo $G_2$, identificando precise ostruzioni dipendenti dalla caratteristica.
2. Meccanismo Geometrico: Il saggio elucida il meccanismo dietro il fallimento dell'ampiezza in basse caratteristiche, attribuendolo all'esistenza di "isogenie esotiche" tra gruppi algebrici (ad esempio, tra $SO_{2m+1}$ e $Sp_{2m}$ in $p=2$, e auto-isogenie di $G_2$ in $p=3$). Queste isogenie inducono morfismi i cui fibrati di Tschirnhausen non sono ampi.
3. Avanzamento Metodologico: Gli autori introducono una tecnica che evita la decomposizione esplicita di $F_* \mathcal{O}_X$ (che è spesso intrattabile) analizzando invece la generazione globale dei nuclei di traccia ruotati tramite la teoria delle rappresentazioni.

Gli autori rimangono modesti riguardo ai tipi eccezionali (oltre a $G_2$), congetturando che i Grassmanniani generalizzati di altri tipi eccezionali siano Frobenius–Tischirnhausen ampi a patto che la caratteristica sia "buona" (ad esempio, $p > 5$), ma non lo dimostrano. Il lavoro stabilisce un legame rigoroso tra la positività del nucleo della traccia di Frobenius e la geometria globale della varietà, suggerendo un inverso all'intuizione che la positività del fibrato tangente implichi la positività del nucleo della traccia di Frobenius.