Intersections of the Ekedahl-Oort and Newton Strata of $\mathcal{A}_{5}$

Resumen Técnico: Intersecciones de las Estratificaciones de Ekeda-Oort y Newton en Dimensión 5

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la geometría aritmética de variedades abelianas en característica positiva $p > 0$. Se estudia el espacio de móduli $A_g$ de variedades abelianas polarizadas principalmente de dimensión $g$. Este espacio admite dos estratificaciones principales:

1. Estratificación de Newton: Basada en la clase de isogenía del grupo $p$-divisible $X[p^\infty]$ de la variedad. Se define mediante el polígono de Newton ($\xi$).
2. Estratificación de Ekeda-Oort: Basada en la clase de isomorfismo del grupo de torsión $p$-torsión $X[p]$, caracterizada por una secuencia elemental ($\phi$).

El problema central: Determinar cuáles de las intersecciones entre una estratificación de Ekeda-Oort ($S_\phi$) y una estratificación de Newton ($N(\xi)$) son no vacías.

• En dimensiones $g \le 3$, esto es trivial debido al bajo número de estratos.
• En $g=4$, se clasificó parcialmente (especialmente para $p$-rango cero) mediante trabajos previos.
• En $g=5$: La complejidad aumenta drásticamente debido al gran número de secuencias elementales y polígonos de Newton posibles, haciendo que los métodos anteriores (como el uso de grupos $p$-divisibles mínimos o la estratificación por el número $a$) sean insuficientes para cubrir todos los casos.

El objetivo del artículo es determinar completamente cuáles intersecciones $S_\phi \cap N(\xi)$ son no vacías en dimensión 5, y como consecuencia, describir explícitamente la estratificación de Ekeda-Oort inducida en el locus supersingular $S_5$.

2. Metodología

Los autores emplean una estrategia híbrida que combina teoría de grupos $p$-divisibles, teoría de módulos de Dieudonné y cálculos computacionales explícitos.

• Reducción por $p$-rango:

  • Se demuestra que las intersecciones con $p$-rango positivo ($f > 0$) se reducen a problemas de dimensión inferior y $p$-rango cero mediante descomposición de grupos $p$-divisibles (Proposición 36).
  • El foco principal recae en el caso de $p$-rango cero ($f=0$), que es el más complejo.

• Herramientas Teóricas para Existencia:

  • Grupos $p$-divisibles mínimos: Se utiliza el teorema de Oort para identificar cuándo una estratificación de Ekeda-Oort está totalmente contenida en una de Newton (Corolario 32).
  • Pendientes de Newton: Se utiliza el primer pendiente de Newton ($\lambda_\phi$) asociado a una secuencia elemental (definido por Harashita) para deducir que ciertas intersecciones son no vacías si el polígono de Newton tiene un único primer pendiente coincidente (Corolario 20).
  • Argumentos Inductivos: Se utilizan sumas directas de secuencias elementales ($\phi \oplus \phi'$) para construir intersecciones en dimensiones mayores a partir de dimensiones menores (Proposición 22).

• Construcción y No Existencia Explícita (Módulos de Dieudonné):

  • Para los casos restantes donde las herramientas teóricas generales no son concluyentes, los autores construyen módulos de Dieudonné libres explícitos sobre el anillo de Witt $W(k)$.
  • Para existencia: Se definen operadores de Frobenius ($F$) y Verschiebung ($V$) y un emparejamiento polarizado que satisfacen las condiciones requeridas. Se calcula el polígono de Newton analizando las valuaciones $p$-ádicas de las potencias de la matriz de $F$ (Lema 39 y 40).
  • Para no existencia: Se demuestra que no existen módulos de Dieudonné que satisfagan simultáneamente una reducción módulo $p$ específica y un polígono de Newton dado. Esto se logra mediante el análisis de las entradas de las matrices de potencias de $F$ y el uso de resultados de Kraft y Oort sobre palabras primitivas (Proposición 48).

• Computación:

  • Se utilizó el sistema de álgebra computacional Magma para calcular descomposiciones de secuencias elementales, verificar condiciones de polarización y calcular valuaciones de matrices grandes. El código es público en un repositorio GitHub.

3. Contribuciones Clave y Resultados Principales

A. Clasificación Completa en Dimensión 5 (Teorema 1)
El resultado principal es la tabla completa (Tabla 1 en el artículo) que lista todas las intersecciones no vacías entre las estratificaciones de Ekeda-Oort y Newton para $g=5$.

• Se identifican 10 polígonos de Newton distintos (incluyendo el supersingular).
• Para cada polígono, se listan todas las secuencias elementales $\phi$ tales que $S_\phi \cap N(\xi) \neq \emptyset$.
• Hallazgo crucial: A diferencia de dimensiones menores ($g \le 4$), donde la lista de intersecciones de un estrato de Ekeda-Oort está determinada por un límite inferior y superior de pendientes de Newton, en dimensión 5 se observa un comportamiento "intermitente". Existen estratos de Ekeda-Oort que intersectan polígonos de Newton con pendientes $1/3$ y $1/2$, pero no intersectan el polígono con pendiente intermedia $2/5$ (ver Lema 50 y Remark 5.4).

B. Estratificación del Locus Supersingular $S_5$ (Corolario 2)
Como consecuencia directa de la clasificación, los autores proporcionan una descripción explícita de la estratificación de Ekeda-Oort restringida al locus supersingular $S_5$ (donde el polígono de Newton es $5[1,1]$).

• $S_5$ es la unión de estratos de Ekeda-Oort específicos: $S_{(0,0,0,0,0)} \cup S_{(0,0,0,0,1)} \cup \dots \cup S_{(0,1,2,3,4)}$.
• Se determina exactamente qué secuencias elementales aparecen en el locus supersingular, resolviendo un problema abierto.

C. Nuevos Fenómenos en Dimensión 5
El artículo destaca comportamientos que no ocurren en dimensiones $g \le 4$:

1. Fenómeno de "Salto" de Pendientes: Existen módulos de Dieudonné cuyo polígono de Newton es "más alto" (mayor pendiente) que el de su levantamiento tautológico (Lema 43).
2. Rango Superspecial Positivo sin Pendiente 1/2: Se construye un módulo donde el módulo mod $p$ contiene un sumando supersingular, pero el polígono de Newton del módulo completo no tiene pendiente $1/2$ (Remark 5.2).
3. No convexidad en la intersección: La intersección de un estrato de Ekeda-Oort con el locus supersingular no sigue un patrón simple de "todos los polígonos entre dos límites".

4. Significado e Impacto

• Resolución de un Problema Abierto: Este trabajo cierra la clasificación de intersecciones para $g=5$, un paso necesario para entender la estructura global de $A_g$ en característica $p$.
• Avance Metodológico: La combinación de teoría abstracta (grupos mínimos, pendientes) con la construcción explícita de módulos de Dieudonné y verificación computacional establece un nuevo estándar para problemas de clasificación en geometría aritmética de alta dimensión.
• Comprensión del Locus Supersingular: La descripción explícita de $S_5$ es vital para el estudio de la geometría de estos espacios, ya que el locus supersingular es un objeto central en la teoría de formas modulares y la teoría de números.
• Contraintuición en Dimensión 5: El descubrimiento de que la intersección no es simplemente un intervalo de pendientes (falta de intersección con $N_{2/5}$ mientras se intersecta con $N_{1/3}$ y $N_{1/2}$) sugiere que la geometría de $A_5$ es significativamente más rica y compleja que la de dimensiones inferiores, desafiando las intuiciones basadas en casos pequeños.

En resumen, el artículo proporciona una descripción completa y rigurosa de cómo se entrelazan las estructuras de torsión $p$ y los invariantes de isogenía en variedades abelianas de dimensión 5, revelando una complejidad estructural nueva que requiere herramientas computacionales y teóricas avanzadas para ser descifrada.