Explicit desingularisation of Kummer surfaces in characteristic two via specialisation

Resumen Técnico: Desingularización Explícita de Superficies de Kummer en Característica Dos mediante Especialización

Planteamiento del Problema
Las superficies de Kummer, definidas como el cociente de una superficie abeliana por la involución $P \mapsto -P$, son ejemplos clásicos de superficies K3. Mientras que su geometría sobre cuerpos de característica distinta de dos está bien comprendida —específicamente, la existencia de modelos explícitos para su desingularización como la intersección de tres cuádricas en $\mathbb{P}^5$—, la situación en característica dos es significativamente más compleja. En característica dos, el subgrupo de 2-torsión de la superficie abeliana es más pequeño (isomorfo a $(\mathbb{Z}/2\mathbb{Z})^r$ donde $r \le 2$), lo que conduce a menos puntos singulares pero de mayor complejidad (por ejemplo, singularidades $D_4$, $D_8$ o elípticas). Intentos previos de construir modelos explícitos para estas superficies en característica dos, como los de Müller, no lograron generar modelos desingularizados suaves mediante la intersección estándar de cuádricas. Además, el comportamiento de las superficies de Kummer en característica dos difiere fundamentalmente de otras características, lo que plantea preguntas sobre si las construcciones clásicas pueden adaptarse y si existen ejemplos de superficies de Kummer con reducción buena en todas partes sobre cuerpos numéricos.

Metodología
El autor emplea una estrategia de especialización desde característica cero a característica dos. La metodología central consiste en:

1. Inmersiones Explícitas: Calcular una inmersión proyectiva de la Jacobiana $J$ de una curva de género dos $C$ como la intersección de 72 cuádricas en $\mathbb{P}^{15}$. Esto se logra construyendo una base para el sistema lineal $|2(\Theta_+ + \Theta_-)|$, donde $\Theta$ representa los divisores theta.
2. Construcción de Base mediante la Forma Normal de Smith: Para manejar la reducción módulo dos, el autor adapta una base de funciones impares de característica cero. Dado que la reducción directa suele conducir a dependencia lineal debido al colapso de los autovalores $\pm 1$ a $1$, se utiliza un algoritmo (Algoritmo 1) para calcular la forma normal de Smith de la matriz de relación. Esto produce una base modificada que se reduce bien a característica dos, asegurando que los elementos resultantes permanezcan linealmente independientes.
3. Desingularización Parcial: Utilizando la base reducida, el autor construye un mapa racional de la superficie de Kummer singular $X \subset \mathbb{P}^3$ a una superficie $Y \subset \mathbb{P}^5$. Esta superficie $Y$ está definida como la intersección completa de tres cuádricas. El mapa es un isomorfismo fuera del lugar singular de $X$ y actúa como una desingularización parcial.
4. Análisis Geométrico por p-rango: La geometría de $Y$ y sus singularidades se analizan por separado para los tres casos del p-rango de la Jacobiana: ordinaria ($r=2$), casi ordinaria ($r=1$) y supersingular ($r=0$). El autor utiliza la teoría de "tropos" (conicas especiales en la superficie de Kummer) y su comportamiento bajo especialización para describir los divisores excepcionales y las singularidades resultantes de $Y$.
5. Criterio de Buena Reducción: Para abordar la existencia de superficies de Kummer con reducción buena en todas partes, el artículo aplica un criterio de Lazda y Skorobogatov. Esto implica analizar la acción del grupo de Galois absoluto sobre los puntos de 2-torsión de la Jacobiana sobre un cuerpo cuadrático, verificando específicamente si la secuencia exacta de los módulos de 2-torsión se descompone (splits) tras la reducción.

Contribuciones Clave y Resultados

• Modelos Explícitos en Característica Dos: El artículo proporciona las primeras ecuaciones explícitas para la Jacobiana de una curva de género dos general en característica dos como la intersección de 72 cuádricas en $\mathbb{P}^{15}$ (Teorema 4.1).
• Desingularización Parcial: Construye un modelo para una desingularización parcial de la superficie de Kummer como la intersección de tres cuádricas en $\mathbb{P}^5$ (Teorema 3.1). El artículo clasifica las singularidades de este modelo basándose en el p-rango:
  • Ordinaria: $Y$ tiene 12 singularidades de tipo $A_1$.
  • Casi Ordinaria: $Y$ tiene 2 singularidades de tipo $D_4^0$ y 2 de tipo $A_3$.
  • Supersingular: $Y$ tiene una singularidad elíptica de tipo $A^*_{0} + A^*_{0} + A^*_{0} + A^*_{0} + A^*_{0}$ (en la notación de Laufer).
• Descripción Geométrica de Tropos: El artículo extiende la descripción clásica de los tropos a la característica dos, detallando cómo se especializan y cómo sus intersecciones con los divisores excepcionales determinan la estructura de singularidad del modelo desingularizado.
• Existencia de Reducción Buena en Todas Partes: El artículo demuestra la existencia de superficies de Kummer con reducción buena en todas partes sobre un cuerpo numérico (Teorema 1.2). Específicamente, construye un ejemplo explícito sobre el cuerpo cuadrático $\mathbb{Q}(\sqrt{353})$ donde la superficie de Kummer asociada tiene reducción buena en todos los primos, incluyendo aquellos por encima de 2. Esto se logra verificando que la acción de Galois sobre los puntos de 2-torsión es compatible con la reducción, permitiendo la descomposición de la secuencia exacta relevante sin requerir una extensión de campo para el ejemplo específico proporcionado.
• Limitaciones y Extensiones: El artículo señala que, si bien la buena reducción en 2 es posible, no está garantizada para todas las curvas con reducción buena en todas partes. Para los casos "casi ordinarios", la extensión mínima requerida para lograr la buena reducción puede ser de grado superior (por ejemplo, grado 12), y para los casos supersingulares, la existencia de un modelo de buena reducción está garantizada por el teorema de Matsumoto, pero no se proporciona la extensión explícita.

Significado
El artículo demuestra que las construcciones geométricas clásicas de las superficies de Kummer y sus desingularizaciones, tradicionalmente restringidas a la característica cero o característica impar, pueden adaptarse con éxito a la característica dos mediante la especialización. Esto cierra una brecha en la comprensión de las superficies K3 en característica positiva, lo cual es particularmente relevante para las aplicaciones criptográficas que involucran protocolos basados en isogenias (como SIDH) que a menudo presentan dificultades en característica dos. Al proporcionar ecuaciones explícitas y una clasificación geométrica completa de las singularidades, este trabajo permite la verificación computacional y el estudio posterior de estas superficies. Además, la construcción de una superficie de Kummer con reducción buena en todas partes sobre un cuerpo cuadrático resuelve una pregunta abierta específica sobre la existencia de tales superficies K3, contrastando con la no existencia de variedades abelianas con reducción buena en todas partes sobre $\mathbb{Q}$. El artículo enfatiza que estos resultados son constructivos, respaldados por código que permite la computación de las ecuaciones explícitas de las variedades descritas.