Derived isogenies and isogenies for abelian surfaces

Resumo Técnico: Isogenias Derivadas e Isogenias para Superfícies Abelianas

Enunciado do Problema
O artigo aborda a classificação de parceiros de Fourier–Mukai para superfícies abelianas, focando especificamente no conceito de "isogenia derivada". Duas variedades abelianas são definidas como derivadas isógenas se puderem ser conectadas por uma sequência de equivalências derivadas entre variedades abelianas torcidas (Definição 1.1.1). Embora Stellari [66] tenha estabelecido que superfícies abelianas complexas derivadas isógenas são isógenas, o inverso é falso: superfícies isógenas não são necessariamente derivadas isógenas. O problema central é fornecer uma classificação cohomológica e geométrica das isogenias derivadas entre superfícies abelianas sobre corpos algebricamente fechados de característica arbitrária, distinguindo-as das isogenias padrão.

Metodologia
Os autores empregam uma abordagem multifacetada combinando teoria de Hodge, teoria de Hodge $p$-ádica e a geometria dos espaços de módulos de feixes torcidos:

1. Generalização do Truque de Shioda: Uma inovação metodológica central é a extensão do truque de Shioda (originalmente para estruturas de Hodge integrais em superfícies abelianas complexas) para estruturas de Hodge racionais, módulos de Tate $\ell$-ádicos e $F$-cristais. Isso envolve a definição de "bases admissíveis" e "isomorfismos admissíveis" para grupos de cohomologia através de diferentes características. Os autores utilizam a norma de spinor e a decomposição de Cartan–Dieudonné para relacionar isometrias de grupos de cohomologia segunda ($H^2$) com isogenias das superfícies abelianas subjacentes.
2. Equivalências Derivadas Torcidas: O artigo utiliza a teoria de categorias derivadas torcidas $D^b(X, \alpha)$ e sua realização via transformações de Fourier–Mukai. Estabelece-se que equivalências derivadas entre superfícies abelianas torcidas correspondem a isomorfismos de reticulados de Mukai torcidos.
3. Levantamento e Especialização: Para característica positiva, os autores empregam uma técnica de levantamento-especialização. Eles levantam superfícies abelianas torcidas e equivalências derivadas da característica $p$ para a característica 0 (usando anéis de valorização discreta e a construção de Kummer para relacionar superfícies abelianas a superfícies K3). Eles então aplicam resultados da característica 0 e especializam-nos de volta para a característica $p$.
4. Espaços de Módulos de Feixes Torcidos: O artigo depende fortemente da correspondência entre equivalências derivadas torcidas e espaços de módulos de feixes estáveis torcidos (Teorema 3.5.3), estendendo os resultados de Minamide–Yanagida–Yoshioka e Bragg–Lieblich para incluir casos supersingulares via o teorema de Torelli cristalino de Ogus.

Principais Contribuições e Resultados

• Teorema de Torelli Derivado Torcido (Característica 0):
  O principal resultado para característica 0 (Teorema 1.2.1) estabelece que duas superfícies abelianas $X$ e $Y$ sobre um corpo algebricamente fechado de característica 0 são derivadas isógenas se, e somente se, forem principalmente isógenas. Uma isogenia principal é definida como uma isogenia de grau quadrado. Esta equivalência é adicionalmente ligada a:

  • A isogenia derivada de suas superfícies de Kummer associadas.
  • O isomorfismo de seus motivos de Chow (especificamente as partes de grau par) como álgebras exteriores de Frobenius.
  • A existência de uma isometria de Hodge racional entre seus grupos de cohomologia segunda (ou reticulados de Mukai).

• Truque de Shioda Generalizado e Conjectura de Tate:
  Os autores provam um truque de Shioda generalizado (Teorema 1.3.1): para qualquer isometria de Hodge admissível $\psi: H^2(X, \mathbb{Q}) \to H^2(Y, \mathbb{Q})$, existe uma isogenia $f: Y \to X$ de grau quadrado tal que $\psi = f^*/d$. Este resultado é estendido para cohomologias $\ell$-ádicas e $p$-ádicas, fornecendo uma prova da conjectura de Tate para isometrias entre os grupos de cohomologia segunda de superfícies abelianas sobre corpos finitamente gerados (Corolário 4.6.3).

• Resultados em Característica Positiva:
  Para corpos de característica $p > 3$, o artigo prova uma versão "primo a $p$" do teorema de Torelli (Teorema 1.4.1). Duas superfícies abelianas são derivadas isógenas primo a $p$ se, e somente se, forem principalmente isógenas primo a $p$.

  • A prova utiliza o levantamento de equivalências derivadas primo a $p$ para a característica 0 e a especialização de espaços de módulos de feixes torcidos.
  • O artigo aborda o caso supersingular separadamente, mostrando que se $X$ é supersingular, $Y$ é derivada isógena a $X$ se, e somente se, $Y$ também for supersingular.
  • Os autores observam que a equivalência para isogenias derivadas não-primo a $p$ permanece em aberto devido a obstruções na especialização de classes de Brauer de ordem $p$ (Observação 6.2.2).

• Superfícies de Kummer:
  O artigo investiga a relação entre isogenias derivadas de superfícies abelianas e suas superfícies de Kummer associadas. Prova-se que, se $X$ e $Y$ são derivadas isógenas primo a $p$, então $Km(X)$e$Km(Y)$ também são derivadas isógenas primo a $p$ (Teorema 6.5.1). O inverso é parcialmente estabelecido sob condições específicas relativas às ordens das classes de Brauer de torção.

Significância e Alegações
O artigo alega fornecer uma classificação cohomológica e geométrica completa de isogenias derivadas para superfícies abelianas em característica 0 e uma classificação parcial (restrita aos casos primo a $p$) em característica positiva.

• Unificação: Ele unifica a noção geométrica de "isogenia principal" (isogenias de grau quadrado) com a noção categórica de "isogenia derivada", mostrando que são condições equivalentes para superfícies abelianas.
• Extensão de Resultados Clássicos: O trabalho generaliza o teorema de Torelli derivado de Mukai e Orlov (que relaciona equivalência derivada com isometria de Hodge de $H^2$) para o contexto torcido e para a característica positiva.
• Avanço Metodológico: A generalização do truque de Shioda para contextos racionais e $p$-ádicos é apresentada como uma ferramenta técnica fundamental que permite aos autores contornar a falta de um teorema de Torelli global em característica positiva, ligando diretamente isometrias de $H^2$ a isogenias.
• Modéstia sobre Problemas Abertos: Os autores declaram explicitamente que a equivalência entre isogenia derivada e isogenia para superfícies K3 em característica positiva permanece uma conjectura (Conjectura 1.4.2), e que a equivalência total para isogenias derivadas não-primo a $p$ de superfícies abelianas é obstruída pela especialização de classes de Brauer (Conjectura 6.4.2). Eles enquadram seus resultados sobre superfícies de Kummer como fornecendo evidências para a conjectura de K3, em vez de uma prova completa.

O artigo não propõe novas aplicações experimentais, mas estabelece conexões teóricas fundamentais entre categorias derivadas, teoria de Hodge e geometria aritmética para superfícies abelianas.