Derived isogenies and isogenies for abelian surfaces

Resumen Técnico: Isogenias Derivadas e Isogenias para Superficies Abelianas

Planteamiento del Problema
El artículo aborda la clasificación de los compañeros de Fourier–Mukai para superficies abelianas, centrándose específicamente en el concepto de "isogenia derivada". Dos variedades abelianas se definen como derivadas isógenas si pueden conectarse mediante una secuencia de equivalencias derivadas entre variedades abelianas con torsión (Definición 1.1.1). Mientras que Stellari [66] estableció que las superficies abelianas complejas derivadas isógenas son isógenas, la inversa es falsa: las superficies isógenas no son necesariamente derivadas isógenas. El problema central es proporcionar una clasificación cohomológica y geométrica de las isogenias derivadas entre superficies abelianas sobre cuerpos algebraicamente cerrados de característica arbitraria, distinguiéndolas de las isogenias estándar.

Metodología
Los autores emplean un enfoque multifacético que combina la teoría de Hodge, la teoría de Hodge $p$-ádica y la geometría de los espacios de módulos de haces con torsión (twisted sheaves):

1. Generalización del Truco de Shioda: Una innovación metodológica central es la extensión del truco de Shioda (originalmente para estructuras de Hodge integrales en superficies abelianas complejas) a estructuras de Hodge racionales, módulos de Tate $\ell$-ádicos y cristales-$F$. Esto implica la definición de "bases admisibles" e "isomorfismos admisibles" para los grupos de cohomología a través de diferentes características. Los autores utilizan la norma de espín y la descomposición de Cartan–Dieudonné para relacionar las isometrías de los grupos de cohomología segunda ($H^2$) con las isogenias de las superficies abelianas subyacentes.
2. Equivalencias Derivadas con Torsión (Twisted Derived Equivalences): El artículo utiliza la teoría de las categorías derivadas con torsión $D^b(X, \alpha)$ y su realización mediante transformaciones de Fourier–Mukai. Establece que las equivalencias derivadas entre superficies abelianas con torsión corresponden a isomorfismos de redes de Mukai con torsión.
3. Levantamiento y Especialización: Para la característica positiva, los autores emplean una técnica de levantamiento-especialización. Levantan las superficies abelianas con torsión y las equivalencias derivadas de la característica $p$ a la característica 0 (utilizando anillos de valoración discreta y la construcción de Kummer para relacionar las superficies abelianas con superficies K3). Luego, aplican los resultados de la característica 0 y especializan de vuelta a la característica $p$.
4. Espacios de Módulos de Haces con Torsión: El artículo depende fuertemente de la correspondencia entre equivalencias derivadas con torsión y espacios de módulos de haces estables con torsión (Teorema 3.5.3), extendiendo los resultados de Minamide–Yanagida–Yoshioka y Bragg–Lieblich para incluir casos supersingulares mediante el teorema de Torelli cristalino de Ogus.

Contribuciones Clave y Resultados

• Teorema de Torelli Derivado con Torsión (Característica 0):
  El resultado principal para la característica 0 (Teorema 1.2.1) establece que dos superficies abelianas $X$ y $Y$ sobre un cuerpo algebraicamente cerrado de característica 0 son derivadas isógenas si y solo si son principalmente isógenas. Una isogenia principal se define como una isogenia de grado cuadrado. Esta equivalencia se vincula además con:

  • La isogenia derivada de sus superficies de Kummer asociadas.
  • El isomorfismo de sus motivos de Chow (específicamente las partes de grado par) como álgebras exteriores de Frobenius.
  • La existencia de una isometría de Hodge racional entre sus grupos de cohomología segunda (o redes de Mukai).

• Truco de Shioda Generalizado y Conjetura de Tate:
  Los autores prueban un truco de Shioda generalizado (Teorema 1.3.1): para cualquier isometría de Hodge admisible $\psi: H^2(X, \mathbb{Q}) \to H^2(Y, \mathbb{Q})$, existe una isogenia $f: Y \to X$ de grado cuadrado tal que $\psi = f^*/d$. Este resultado se extiende a la cohomología $\ell$-ádica y $p$-ádica, proporcionando una prueba de la conjetura de Tate para isometrías entre los grupos de cohomología segunda de superficies abelianas sobre cuerpos finitamente generados (Corolario 4.6.3).

• Resultados en Característica Positiva:
  Para cuerpos de característica $p > 3$, el artículo prueba una versión "prima a $p$" del teorema de Torelli (Teorema 1.4.1). Dos superficies abelianas son derivadas isógenas prima a $p$ si y solo si son principalmente isógenas prima a $p$.

  • La prueba utiliza el levantamiento de equivalencias derivadas prima a $p$ a la característica 0 y la especialización de los espacios de módulos de haces con torsión.
  • El artículo aborda el caso supersingular por separado, mostrando que si $X$ es supersingular, $Y$ es derivada isógena a $X$ si y solo si $Y$ también es supersingular.
  • Los autores señalan que la equivalencia para isogenias derivadas no prima a $p$ permanece abierta debido a obstrucciones en la especialización de las clases de Brauer de orden $p$ (Observación 6.2.2).

• Superficies de Kummer:
  El artículo investiga la relación entre las isogenias derivadas de superficies abelianas y sus superficies de Kummer asociadas. Prueba que si $X$ e $Y$ son prima a $p$ derivadas isógenas, entonces $Km(X)$y$Km(Y)$ también son prima a $p$ derivadas isógenas (Teorema 6.5.1). La inversa se establece parcialmente bajo condiciones específicas respecto a los órdenes de las clases de Brauer de torsión.

Significación y Reivindicaciones
El artículo afirma proporcionar una clasificación cohomológica y geométrica completa de las isogenias derivadas para superficies abelianas en la característica 0 y una clasificación parcial (restringida a los casos prima a $p$) en la característica positiva.

• Unificación: Unifica la noción geométrica de "isogenia principal" (isogenias de grado cuadrado) con la noción categórica de "isogenia derivada", mostrando que son condiciones equivalentes para las superficies abelianas.
• Extensión de Resultados Clásicos: El trabajo generaliza el teorema de Torelli derivado de Mukai y Orlov (que relaciona la equivalencia derivada con la isometría de Hodge de $H^2$) al entorno con torsión y a la característica positiva.
• Avance Metodológico: La generalización del truco de Shioda a contextos racionales y $p$-ádicos se presenta como una herramienta técnica clave que permite a los autores sortear la falta de un teorema de Torelli global en característica positiva, vinculando directamente las isometrías de $H^2$ con las isogenias.
• Modestia sobre Problemas Abiertos: Los autores declaran explícitamente que la equivalencia entre isogenia derivada e isogenia para superficies K3 en característica positiva sigue siendo una conjetura (Conjetura 1.4.2), y que la equivalencia total para isogenias derivadas no prima a $p$ de superficies abelianas está obstruida por la especialización de las clases de Brauer (Conjetura 6.4.2). Enmarcan sus resultados sobre superficies de Kummer como una provisión de evidencia para la conjetura de las K3 más que como una prueba completa.

El artículo no propone nuevas aplicaciones experimentales, sino que establece conexiones teóricas fundamentales entre las categorías derivadas, la teoría de Hodge y la geometría aritmética para superficies abelianas.