Derived isogenies and isogenies for abelian surfaces

Technische Samenvatting: Afgeleide Isogenieën en Isogenieën voor Abelse Variëteiten van Dimensie 2

Probleemstelling
Het artikel behandelt de classificatie van Fourier–Mukai-partners voor abelse oppervlakken, met een specifieële focus op het concept van "afgeleide isogenie" (derived isogeny). Twee abelse variëteiten worden gedefinieerd als afgeleid isogeen indien zij verbonden kunnen worden door een sequentie van afgeleide equivalenties tussen getwiste abelse variëteiten (Definitie 1.1.1). Hoewel Stellari [66] heeft vastgesteld dat afgeleid isogene complexe abelse oppervlakken isogeen zijn, is het omgekeerde niet waar: isogene oppervlakken zijn niet noodzakelijkerwijs afgeleid isogeen. Het centrale probleem is het bieden van een cohomologische en geometrische classificatie van afgeleide isogenieën tussen abelse oppervlakken over algebraïsch gesloten velden van willekeurige karakteristiek, waarbij onderscheid wordt gemaakt van standaard isogenieën.

Methodologie
De auteurs hanteren een veelzijdige aanpak die Hodge-theorie, $p$-adische Hodge-theorie en de geometrie van moduli ruimten van getwiste sheaves combineert:

1. Generalisatie van Shioda's truc: Een kerninnovatie in de methodologie is de uitbreiding van Shioda's truc (oorspronkelijk bedoeld voor integrale Hodge-structuren op complexe abelse oppervlakken) naar rationale Hodge-structuren, $\ell$-adische Tate-modules en $F$-crisen. Dit houdt het definiëren van "admissible bases" en "admissible isomorphisms" in voor cohomologiegroepen over verschillende karakteristieken. De auteurs maken gebruik van de spinornorm en de Cartan–Dieudonné-decompositie om isometrieën van tweede cohomologiegroepen ($H^2$) te relateren aan isogenieën van de onderliggende abelse oppervlakken.
2. Getwiste Afgeleide Equivalenties: Het artikel maakt gebruik van de theorie van getwiste afgeleide categorieën $D^b(X, \alpha)$ en hun realisatie via Fourier–Mukai-transformaties. Het stelt vast dat afgeleide equivalenties tussen getwiste abelse oppervlakken corresponderen met isomorfismen van getwiste Mukai-lattices.
3. Lifting en Specialisatie: Voor positieve karakteristiek gebruiken de auteurs een lifting-specialisatietechniek. Zij liften getwiste abelse oppervlakken en afgeleide equivalenties van karakteristiek $p$ naar karakteristiek 0 (met behulp van discrete waarderingsringen en de Kummer-constructie om abelse oppervlakken te relateren aan K3-oppervlakken). Vervolgens passen zij resultaten uit karakteristiek 0 toe en specialiseren zij deze terug naar karakteristiek $p$.
4. Moduli Ruimten van Getwiste Sheaves: Het artikel leunt zwaar op de correspondentie tussen getwiste afgeleide equivalenties en moduli ruimten van stabiele getwiste sheaves (Theorema 3.5.3), waarbij de resultaten van Minamide–Yanagida–Yoshioka en Bragg–Lieblich worden uitgebreid om ook de supersinguliere gevallen te omvatten via Ogus's kristallijne Torelli-stelling.

Belangrijkste Bijdragen en Resultaten

• Getwiste Afgeleide Torelli-stelling (Karakteristiek 0):
  Het primaire resultaat voor karakteristiek 0 (Theorema 1.2.1) stelt vast dat twee abelse oppervlakken $X$ en $Y$ over een algebraïsch gesloten veld van karakteristiek 0 afgeleid isogeen zijn dan en slechts dan als zij principaal isogeen zijn. Een principaal isogenie wordt gedefinieerd als een isogenie van een kwadratische graad. Deze equivalentie wordt verder gekoppeld aan:

  • De afgeleide isogenie van hun geassocieerde Kummer-oppervlakken.
  • Het isomorfisme van hun Chow-motieven (specifiek de even-graads delen) als Frobenius buitenvoudige algebra's.
  • Het bestaan van een rationale Hodge-isometrie tussen hun tweede cohomologiegroepen (of Mukai-lattices).

• Gegeneraliseerde Shioda's Truc en de Tate-veronderstelling:
  De auteurs bewijzen een gegeneraliseerde Shioda's truc (Theorema 1.3.1): voor elke admissible Hodge-isometrie $\psi: H^2(X, \mathbb{Q}) \to H^2(Y, \mathbb{Q})$, bestaat er een isogenie $f: Y \to X$ van een kwadratische graad zodanig dat $\psi = f^*/d$. Dit resultaat wordt uitgebreid naar $\ell$-adische en $p$-adische cohomologie, wat een bewijs levert voor de Tate-veronderstelling voor isometrieën tussen de tweede cohomologiegroepen van abelse oppervlakken over eindig gegenereerde velden (Corollary 4.6.3).

• Resultaten in Positieve Karakteristiek:
  Voor velden van karakteristiek $p > 3$ bewijst het artikel een "prime-to-$p$" versie van de Torelli-stelling (Theorema 1.4.1). Twee abelse oppervlakken zijn prime-to-$p$ afgeleid isogeen dan en slechts dan als zij prime-to-$p$ principaal isogeen zijn.

  • Het bewijs maakt gebruik van de lifting van prime-to-$p$ afgeleide equivalenties naar karakteristiek 0 en de specialisatie van moduli ruimten van getwiste sheaves.
  • Het artikel behandelt het supersinguliere geval apart, waarbij wordt aangetoond dat als $X$ supersingulier is, $Y$ afgeleid isogeen is aan $X$ dan en slechts dan als $Y$ eveneens supersingulier is.
  • De auteurs merken op dat de equivalentie voor niet-prime-to-$p$ afgeleide isogenieën open blijft vanwege obstructies in de specialisatie van Brauer-klassen van orde $p$ (Remark 6.2.2).

• Kummer-oppervlakken:
  Het artikel onderzoekt de relatie tussen de afgeleide isogenieën van abelse oppervlakken en hun geassocieerde Kummer-oppervlakken. Het bewijst dat als $X$ en $Y$ prime-to-$p$ afgeleid isogeen zijn, dan $Km(X)$ en $Km(Y)$ eveneens prime-to-$p$ afgeleid isogeen zijn (Theorema 6.5.1). Het omgekeerde wordt gedeeltelijk vastgesteld onder specifieke condities met betrekking tot de orden van de twistende Brauer-klassen.

Betekenis en Claims
Het artikel claimt een volledige cohomologische en geometrische classificatie te bieden van afgeleide isogenieën voor abelse oppervlakken in karakteristiek 0 en een partiële classificatie (beperkt tot de prime-to-$p$ gevallen) in positieve karakteristiek.

• Unificatie: Het verenigt het geometrische begrip van "principale isogenie" (isogenieën van een kwadratische graad) met het categorische begrip van "afgeleide isogenie", en toont aan dat dit equivalente condities zijn voor abelse oppervlakken.
• Extensie van Klassieke Resultaten: Het werk generaliseert de afgeleide Torelli-stelling van Mukai en Orlov (die de relatie tussen afgeleide equivalentie en Hodge-isometrie van $H^2$ vaststelt) naar de getwiste setting en naar positieve karakteristiek.
• Methodologische Vooruitgang: De generalisatie van Shioda's truc naar rationale en $p$-adische contexten wordt gepresenteerd als een cruciaal technisch instrument dat de auteurs in staat stelt de afwezigheid van een globale Torelli-stelling in positieve karakteristiek te omzeilen door $H^2$ isometrieën direct aan isogenieën te koppelen.
• Bescheidenheid over Openstaande Problemen: De auteurs geven expliciet aan dat de equivalentie tussen afgeleide isogenie en isogenie voor K3-oppervlakken in positieve karakteristiek een conjectuur blijft (Conjectuur 1.4.2), en dat de volledige equivalentie voor niet-prime-to-$p$ afgeleide isogenieën van abelse oppervlakken wordt gehinderd door de specialisatie van Brauer-klassen (Conjectuur 6.4.2). Zij presenteren hun resultaten over Kummer-oppervlakken eerder als bewijs voor de K3-conjectuur dan als een volledig bewijs.

Het artikel stelt geen nieuwe experimentele toepassingen voor, maar legt fundamentele theoretische verbindingen vast tussen afgeleide categorieën, Hodge-theorie en arithmetische geometrie voor abelse oppervlakken.