A note on varieties of non-negative Kodaira dimension with polarized self maps

Technische Samenvatting: Variëteiten met een niet-negatieve Kodaira-dimensie met gepolariseerde zelfafbeeldingen

Probleemstelling
Het artikel onderzoekt de geometrische structuur van gladde projectieve variëteiten $X$, gedefinieerd over een lichaam $k$, die een niet-negatieve Kodaira-dimensie bezitten en een gepolariseerde zelfafbeelding toelaten. Specifiek richt de studie zich op triples $(X, \phi, L)$ waarbij $L$ een ample lijnvoorraad is en $\phi: X \to X$ een zelfafbeelding is die voldoet aan $\phi^*L \cong L^{\otimes d}$ voor een geheeltal $d > 1$. Terwijl de casus van karakteristiek 0 gedeeltelijk is behandeld (met name door Nakayama en Zhang in [2]), blijft het gedrag van dergelijke variëteiten in positieve karakteristiek, en over niet-algebraisch gesloten lichamen, een onderwerp dat verdere verduidelijking en generalisering vereist.

Methodologie
De auteur maakt gebruik van een combinatie van algebraïsche meetkunde, étale fundamentele groeptheorie en deformatietheorie om structurele resultaten vast te stellen. De methodologie verloopt via de volgende logische stappen:

1. Reductie naar Abelse Fundamentele Groepen: Het bewijs begint met het gebruik van de hypothese dat de étale fundamentele groep $\pi_1^{\text{et}}(X)$ een normale abelse ondergroep van eindige index bevat. Lemma 2.1 toont aan dat onder deze voorwaarde men een eindige étale afdekking $Z \to X$ kan construeren zodanig dat de fundamentele groep van $Z$ abels is en de gepolariseerde afbeelding naar $Z$ lift.
2. Analyse van de Albanese-afbeelding: Met de aanname dat $\pi_1^{\text{et}}(X)$ abels is, analyseert het artikel de Albanese-morfisme $\text{alb}_X: X \to \text{Alb}_X$. De kern van het argument behelst het bewijzen dat deze afbeelding eindig is.
   • Casus $k = \mathbb{F}_p$: Het bewijs maakt gebruik van de existentie van periodieke punten voor de afbeelding $\phi$ (gegarandeerd door de eindigheid van het lichaam). Door het periodieke punt naar de Albanese-variëteit te liften, construeert de auteur een commutatief diagram dat de geïnduceerde afbeelding op de Albanese-variëteit omvat. Gebruikmakend van resultaten over de injectiviteit van de terugtrekking op globale differentiaalvormen (Igusa) en de eigenschappen van relatieve differentiaalvormen, wordt aangetoond dat de geïnduceerde afbeelding op de Albanese-variëteit een isogenie is. Een contradictie-argument betreffende de kern van de afbeelding op de fundamentele groepen wordt gebruikt om te bewijzen dat de vezels van de Albanese-afbeelding eindig zijn.
   • Algemene Karakteristiek $p > 0$: Het resultaat voor $k = \mathbb{F}_p$ wordt uitgebreid naar elk algebraïsch gesloten lichaam van karakteristiek $p$ via een specialisatie-argument. De variëteit en de afbeelding zijn gedefinieerd over een eindig gegenereerd sublichaam, wat reductie naar een discrete waardelichaam (DVR) met een residulichaam van een lagere transcendentiegraad mogelijk maakt. Een inductie op de transcendentiegraad reduceert de algemene casus tot de eindige veldcasus.
3. Lifting naar Karakteristiek 0: In Sectie 3 behandelt het artikel de voorwaarde op de fundamentele groep. Lemma 3.1 bewijst dat als $X$ een lift naar karakteristiek 0 bezit, de fundamentele groep noodzakelijkerwijs een normale abelse ondergroep van eindige index bevat. Dit maakt een alternatief bewijs van het hoofdbestanddeel van het artikel mogelijk, dat berust op elementaire resultaten (specifiek de structuur van de generieke vezel) in plaats van op diepe stellingen zoals die van Hacon–Patakfalvi–Zhang.
4. Niet-Algebraïsch Gesloten Lichamen: Sectie 4 breidt de resultaten uit naar lichamen $k$ die niet noodzakelijkerwijs algebraïsch gesloten zijn. Door gebruik te maken van de theorie van torsoren en de splitsing van de fundamentele groep exact reeks, construeert de auteur een vorm $A'$ van een abelse variëteit gedefinieerd over $k$ die eindig en étale naar $X$ mapt, mits $X(k) \neq \emptyset$.

Belangrijkste Bijdragen en Resultaten

• Theorem 1.1 (Hoofdresultaat): Voor een gladde projectieve variëteit $X$ van niet-negatieve Kodaira-dimensie over een algebraïsch gesloten lichaam $k$ van karakteristiek $p > 0$, indien $X$ een separabele gepolariseerde zelfafbeelding toelaat en de étale fundamentele groep een normale abelse ondergroep van eindige index bevat, dan bestaat er een abelse variëteit $A$ met een eindige étale afbeelding naar $X$.
• Generalisatie naar Niet-Gesloten Lichamen (Theorema 4.3 & 4.4): Het artikel stelt vast dat over elk lichaam $k$ (karakteristiek 0 of $p > 0$), indien $X$ een $k$-rationeel punt heeft en aan de fundamentele groepsvoorwaarden (virtueel abels) voldoet, $X$ een eindige vrije quotient is van een abelse variëteit gedefinieerd over $k$.
• Lifting Implicatie (Lemma 3.1 & 3.2): Het artikel bewijst dat de "lifting naar karakteristiek 0" hypothese de noodzakelijke fundamentele groepstructuur impliceert, waardoor een bewijs wordt geleverd voor de hoofdstructurele stelling voor dergelijke variëteiten die de zwaardere machinerie vermijdt die vaak in de literatuur over karakteristiek 0 wordt gebruikt.
• Extensie naar Int-Amplified Maps: De auteur merkt op dat de argumenten kunnen worden aangepast aan "int-amplified" zelfafbeeldingen (waarbij $f^*L \otimes L^{-1}$ ample is), mits de trivialiteit van de eerste Chern-klasse van de canonieke bundel in die context kan worden vastgesteld.

Betekenis en Claims
Het artikel claimt een positieve karakteristiek-analoog te bieden voor de resultaten van Nakayama en Zhang ([2, Theorem 4.2]) met betrekking tot de structuur van variëteiten met gepolariseerde endomorfismen. De significantie ligt in:

1. Het Overbruggen van Karakteristiek-Kloven: Het adresseert expliciet de positieve karakteristiek-casus, die voorheen slechts onder aanvullende hypothesen werd aangenomen te gelden.
2. Fundamentele Groepsvoorwaarden: Het verheldert dat de existentie van een normale abelse ondergroep van eindige index in de fundamentele groep een voldoende voorwaarde is voor de variëteit om een eindige étale quotient van een abelse variëteit te zijn.
3. Lichaamsonafhankelijkheid: Het generaliseert deze structurele resultaten naar niet-algebraïsch gesloten lichamen, mits een rationeel punt aanwezig is.
4. Elementaire Bewijzen: In het geval dat de variëteit naar karakteristiek 0 lift, biedt het artikel een bewijs dat gebruikmaakt van meer elementaire resultaten (Lemma 3.2), in contrast met de zware machinerie die vaak vereist is in dit domein.

De auteur presenteert het werk bescheiden als een "note" die specifieke structurele stellingen bewijst en analogen biedt voor bestaande resultaten, in plaats van de bredere dynamische conjecturen (zoals de Bogomolov- of Mordell–Lang-conjecturen) op te lossen die in de inleiding als context worden genoemd.