Frobenius--Tschirnhausen ampleness

Probleemstelling
Dit werk onderzoekt de geometrische beperkingen die worden opgelegd aan gladde projectieve variëteiten $X$ over een lichaam met een positieve karakteristiek $p > 0$ door de ampleness van hun Frobenius–Tschirnhausen bundel, aangeduid als $E_X$. Deze bundel wordt gedefinieerd als het dual van de Frobenius-trace kern geassocieerd met de absolute Frobenius-morfisme $F: X \to X$, specifiek $E_X \coloneqq (F_* \mathcal{O}_X / \mathcal{O}_X)^\vee$. De studie wordt gemotiveerd door klassieke resultaten in karakteristiek 0, zoals de stelling van Mori (waarbij de ampleness van de tangentbundel impliceert dat $X \cong \mathbb{P}^n$) en de Tschirnhausen ampleness conjectuur voor rationale homogene ruimten. Hoewel eerder werk door Carvajal-Rojas en Patakfalvi heeft vastgesteld dat dergelijke variëteiten Fano moeten zijn en geen generieke gladde fibraties of divisoriële contracties bezitten, bleven de precieze classificatie en de existentie van voorbeelden buiten de projectieve ruimte en quadrics open. De centrale vraag is: Welke gladde Fano-variëteiten met Picard-rang 1 bezitten een ample Frobenius-trace kern, en wat zijn de noodzakelijke voorwaarden op de karakteristiek $p$?

Methodologie
De auteurs maken gebruik van een combinatie van infinitesimale representatietheorie, de theorie van Frobenius-splittings en expliciete geometrische constructies om de positiviteit van $E_X$ te analyseren.

1. Beperkingen op Morfismen en Subschema's: Het artikel stelt eerst vast dat als $E_X$ ample is, elke niet-constante morfisme $f: X \to Y$ een eindige afbeelding naar zijn beeld moet zijn. Dit wordt bewezen door aan te tonen dat elke verbonden gesloten subschema $Z \subset X$ de $G_1$-eigenschap voldoet (formele functies op de voltooiing van $X$ langs $Z$ zijn constanten). Dit berust op de observatie dat de restrictie van de Frobenius-cokernel naar een subschema gerelateerd is aan de conorm bundel en infinitesimale buurten.
2. Representatie-theoretische Criteria: Voor rationale homogene ruimten $X = G/P$ maken de auteurs gebruik van het feit dat $E_X$ globaal gegenereerd is. Zij verfijnen dit door de globale generatie van de getwiste bundel $E_X \otimes \mathcal{O}_X(-1)$ te onderzoeken. Door de identificatie van de Frobenius-trace kern met de co-invarianten van de tangentbundel-actie, relateren zij ampleness aan de surjectiviteit van restrictie-afbeeldingen op de globale secties van $\omega_X^{\otimes (1-p)} \otimes \mathcal{O}_X(-p)$ naar $p$-Frobenius jets.
3. Expliciete Constructies (Rolling Determinants en Pfaffians): Om globale generatie te bewijzen voor klassieke typen (Grassmannianen, Symplectisch, Orthogonaal) en Type $G_2$, construeren de auteurs expliciete secties. Zij introduceren "rolling determinants" voor klassieke Grassmannianen en "rolling Pfaffians" voor spinor-variëteiten. Deze constructies omvatten specifieke polynomen in de minoren van coördinatenmatrices op de grote Schubert-cel, ontworpen om specifieke gewichtsvectoren (afgeleiden van het trace-element $\tau$) te realiseren in de coördinatenring van de Frobenius-kern.
4. Obstakel via Exotische Isogenieën: Voor de uitzonderlijke gevallen waar ampleness faalt, demonstreren de auteurs het bestaan van eindige zuiver onscheidbare morfismen (exotische isogenieën) tussen algebraïsche groepen of hun geassocieerde homogene ruimten. Zij tonen aan dat de Tschirnhausen bundel van een dergelijke morfisme zich restrictief tot een niet-ample bundel op specifieke subvariëteiten (bijv. lijnen of lager-dimensionale Grassmannianen), waardoor de ampleness van $E_X$ wordt gehinderd.

Belangrijkste Bijdragen en Resultaten

• Theorema A (Eindigheid van Morfismen): Elke niet-constante morfisme van een Frobenius–Tschirnhausen ample variëteit $X$ naar een andere variëteit $Y$ is een eindige afbeelding naar zijn beeld. Bijgevolg bezit $X$ geen niet-triviale extreme contracties. Gecombineerd met de Fano-eigenschap suggereert dit sterk (en bewijst het onder de assumptie van de contractie-stelling) dat dergelke variëteiten een Picard-rang 1 moeten hebben.
• Theorema B (Niet-ampleness van Hypersurfaces): De auteurs construeren expliciete families van gladde Fano-hypersurfaces in $\mathbb{P}^n$ van graad $d$ (waarbij $p < d \le n$) die niet Frobenius–Tschirnhausen ample zijn. Deze voorbeelden omvatten "q-bic" of extreme hypersurfaces, wat de bekende niet-ampleness van de quadric driedimensionale variëteit in karakteristiek 2 generaliseert.
• Theorema C (Classificatie voor Klassieke en $G_2$ Typen): Het artikel biedt een volledige classificatie van Frobenius–Tschirnhausen ample gegeneraliseerde Grassmannianen van klassiek type en Type $G_2$. Een projectieve rationale homogene ruimte $X$ van Picard-rang 1 is Frobenius–Tschirnhausen ample dan en slechts dan als het geen een van de volgende uitzonderingen is:
  • Symplectische Grassmannian $SGr(k, 2m)$ met $2 \le k \le m$ in karakteristiek $p=2$.
  • Orthogonale Grassmannian $OGr(m-1, 2m+1)$ in karakteristiek $p=2$.
  • $G_2$-Grassmannian in karakteristieken $p=2$ of $p=3$.
• Correctie van Vorige Resultaten: Het werk corrigeert een lichte onnauwkeurigheid in de voorgaande literatuur betreffende quadrics in karakteristiek 2, waarbij wordt aangetoond dat quadrics van dimensie $\ge 4$ in $p=2$ wel Frobenius–Tschirnhausen ample zijn, terwijl de quadric driedimensionale variëteit dat niet is.

Betekenis en Claims
Het artikel claimt de eerste uitgebreide set beperkingen en voorbeelden te bieden voor Frobenius–Tschirnhausen ample variëteiten in positieve karakteristiek. Door te bewijzen dat dergelijke variëteiten geen niet-triviale contracties toestaan, leveren de auteurs sterk bewijs voor de conjectuur dat deze variëteiten Fano-variëteiten van Picard-rang 1 zijn.

De betekenis van de resultaten ligt in:

1. Voltooien van de Classificatie: Theorem C lost de ampleness-vraagstuk op voor de meest toegankelijke klasse van Fano-variëteiten (gegeneraliseerde Grassmannianen) van klassiek type en Type $G_2$, waarbij precieze karakteristiek-afhankelijke obstructies worden geïdentificeerd.
2. Geometrisch Mechanisme: Het artikel verheldert het mechanisme achter het falen van ampleness in lage karakteristieken, door dit toe te schrijven aan het bestaan van "exotische isogenieën" tussen algebraïsche groepen (bijv. tussen $SO_{2m+1}$ en $Sp_{2m}$ in $p=2$, en zelf-isogenieën van $G_2$ in $p=3$). Deze isogenieën induceren morfismen waarvan de Tschirnhausen bundels niet ample zijn.
3. Methodologische Vooruitgang: De auteurs introduceren een techniek die de expliciete decompositie van $F_* \mathcal{O}_X$ vermijdt (die vaak onhandelbaar is) door in plaats daarvan specifieke Frobenius-splittings te construeren en de globale generatie van getwiste trace-kernen via representatietheorie te analyseren.

De auteurs blijven bescheiden over de uitzonderlijke typen (behalve $G_2$), en vermoeden dat gegeneraliseerde Grassmannianen van andere exceptionele typen Frobenius–Tschirnhausen ample zijn, mits de karakteristiek "goed" is (bijv. $p > 5$), maar zij bewijzen dit niet. Het werk vestigt een rigoureuze link tussen de positiviteit van de Frobenius-trace kern en de globale geometrie van de variëteit, wat wijst op een omgekeerde van de intuïtie dat de positiviteit van de tangentbundel de positiviteit van de Frobenius-trace kern impliceert.