Derived isogenies and isogenies for abelian surfaces

Sintesi Tecnica: Isogenie Derivate e Isogenie per Superfici Asseliane

Enunciato del Problema
Il saggio affronta la classificazione dei partner di Fourier–Mukai per superfici asseliane, concentrandosi in particolare sul concetto di "isogenia derivata". Due varietà asseliane sono definite come derivatamente isogene se possono essere connesse da una sequenza di equivalenze derivate tra varietà asseliane con torsione (twisted) (Definizione 1.1.1). Sebbene Stellari [66] abbia stabilito che le superfici asseliane complesse derivatamente isogene sono isogene, il inverso è falso: le superfici isogene non sono necessariamente derivatamente isogene. Il problema centrale è fornire una classificazione coomologica e geometrica delle isogenie derivate tra superfici asseliane su campi algebricamente chiusi di caratteristica arbitraria, distinguendole dalle isogenie standard.

Metodologia
Gli autori impiegano un approccio multifasettico che combina la teoria di Hodge, la teoria di Hodge $p$-adica e la geometria degli spazi moduli di fasci con torsione (twisted sheaves):

1. Generalizzazione del Trucco di Shioda: Una chiave innovazione metodologica è l'estensione del trucco di Shioda (originariamente per strutture di Hodge integrali su superfici asseliane complesse) a strutture di Hodge razionali, moduli Tate $\ell$-adici e $F$-cristalli. Ciò comporta la definizione di "basi ammissibili" e "isomorfismi ammissibili" per i gruppi di coomologia attraverso diverse caratteristiche. Gli autori utilizzano la norma di spinor e la decomposizione di Cartan–Dieudonné per relazionare le isometrie dei gruppi di coomologia seconda ($H^2$) alle isogenie delle sottostanti superfici asseliane.
2. Equivalenze Derivate con Torsione: Il saggio utilizza la teoria delle categorie derivate con torsione $D^b(X, \alpha)$ e la loro realizzazione tramite trasformazioni di Fourier–Mukai. Stabilisce che le equivalenze derivate tra superfici asseliane con torsione corrispondono a isomorfismi di reticoli di Mukai con torsione.
3. Sollevamento e Specializzazione: Per la caratteristica positiva, gli autori impiegano una tecnica di sollevamento-specializzazione. Sollevano le superfici asseliane con torsione e le equivalenze derivate dalla caratteristica $p$ alla caratteristica 0 (utilizzando anelli di valuazione discreta e la costruzione di Kummer per relazionare le superfici asseliane alle superfici K3). Successivamente applicano i risultati della caratteristica 0 e specializzano nuovamente verso la caratteristica $p$.
4. Spazi Moduli di Fasci con Torsione: Il saggio si basa fortemente sulla corrispondenza tra equivalenze derivate con torsione e spazi moduli di fasci stabili con torsione (Teorema 3.5.3), estendendo i risultati di Minamide–Yanagida–Yoshioka e Bragg–Lieblich per includere i casi supersingolari tramite il teorema di Torelli cristallino di Ogus.

Contributi Chiave e Risultati

• Teorema di Torelli Derivato con Torsione (Caratteristica 0):
  Il risultato primario per la caratteristica 0 (Teorema 1.2.1) stabilisce che due superfici asseliane $X$ e $Y$ su un campo algebricamente chiuso di caratteristica 0 sono derivatamente isogene se e solo se sono principalmente isogene. Un'isogenia principale è definita come un'isogenia di grado quadrato. Questa equivalenza è ulteriormente legata a:

  • L'isogenia derivata delle loro associate superfici di Kummer.
  • L'isomorfismo dei loro motivi di Chow (specificamente le parti di grado pari) come algebre esterne di Frobenius.
  • L'esistenza di un'isometria di Hodge razionale tra i loro gruppi di coomologia seconda (o reticoli di Mukai).

• Trucco di Shioda Generalizzato e Congettura di Tate:
  Gli autori dimostrano un trucco di Shioda generalizzato (Teorema 1.3.1): per ogni isometria di Hodge ammissibile $\psi: H^2(X, \mathbb{Q}) \to H^2(Y, \mathbb{Q})$, esiste un'isogenia $f: Y \to X$ di grado quadrato tale che $\psi = f^*/d$. Questo risultato è esteso alla coomologia $\ell$-adica e $p$-adica, fornendo una prova della congettura di Tate per le isometrie tra i gruppi di coomologia seconda di superfici asseliane su campi finitamente generati (Corollario 4.6.3).

• Risultati in Caratteristica Positiva:
  Per campi di caratteristica $p > 3$, il saggio dimostra una versione "prime-to-$p$" del teorema di Torelli (Teorema 1.4.1). Due superfici asseliane sono derivatamente isogene prime-to-$p$ se e solo se sono principalmente isogene prime-to-$p$.

  • La prova utilizza il sollevamento delle equivalenze derivate prime-to-$p$ alla caratteristica 0 e la specializzazione degli spazi moduli di fasci con torsione.
  • Il saggio affronta separatamente il caso supersingolare, mostrando che se $X$ è supersingolare, $Y$ è derivatamente isogena a $X$ se e solo se anche $Y$ è supersingolare.
  • Gli autori notano che l'equivalenza per le isogenie derivate non prime-to-$p$ rimane aperta a causa di ostacoli nella specializzazione delle classi di Brauer di ordine $p$ (Nota 6.2.2).

• Superfici di Kummer:
  Il saggio indaga la relazione tra le isogenie derivate delle superfici asseliane e le loro associate superfici di Kummer. Dimostra che se $X$ e $Y$ sono derivatamente isogene prime-to-$p$, allora anche $Km(X)$e$Km(Y)$ sono derivatamente isogene prime-to-$p$ (Teorema 6.5.1). Il converse è parzialmente stabilito sotto specifiche condizioni riguardanti gli ordini delle classi di Brauer con torsione.

Significato e Rivendicazioni
Il saggio sostiene di fornire una classificazione coomologica e geometrica completa delle isogenie derivate per le superfici asseliane in caratteristica 0 e una classificazione parziale (ristretta ai casi prime-to-$p$) in caratteristica positiva.

• Unificazione: Unifica la nozione geometrica di "isogenia principale" (isogenie di grado quadrato) con la nozione categorica di "isogenia derivata", mostrando che sono condizioni equivalenti per le superfici asseliane.
• Estensione dei Risultati Classici: Il lavoro generalizza il teorema di Torelli derivato di Mukai e Orlov (che relaziona l'equivalenza derivata all'isometria di Hodge di $H^2$) al contesto con torsione (twisted) e alla caratteristica positiva.
• Avanzamento Metodologico: La generalizzazione del trucco di Shioda ai contesti razionali e $p$-adici è presentata come uno strumento tecnico chiave che permette agli autori di aggirare la mancanza di un teorema di Torelli globale in caratteristica positiva, collegando direttamente le isometrie di $H^2$ alle isogenie.
• Modestia sui Problemi Aperti: Gli autori dichiarano esplicitamente che l'equivalenza tra isogenia derivata e isogenia per le superfici K3 in caratteristica positiva rimane una congettura (Congettura 1.4.2), e che la piena equivalenza per le isogenie derivate non prime-to-$p$ delle superfici asseliane è ostacolata dalla specializzazione delle classi di Brauer (Congettura 6.4.2). Inquadrano i loro risultati sulle superfici di Kummer come fornitori di prove per la congettura K3 piuttosto che di una prova completa.

Il saggio non propone nuove applicazioni sperimentali, ma stabilisce connessioni teoriche fondamentali tra categorie derivate, teoria di Hodge e geometria aritmetica per le superfici asseliane.