Fields with no everywhere good abelian varieties

Resumen Técnico: Campos sin Variedades Abelianas con Buena Reducción en Todas Partes

1. El Problema y el Contexto

El problema central de la teoría de números algebraicos y la geometría aritmética abordado en este trabajo es determinar la existencia (o no existencia) de variedades abelianas no nulas sobre un cuerpo de números $K$ que tengan buena reducción en todos los lugares (es decir, buena reducción en todos los primos de $K$, incluidos los que dividen al 2).

• Definición de Campo de Fontaine: Un cuerpo de números $K$ se denomina campo de Fontaine si no existe ninguna variedad abeliana no nula sobre $K$ con buena reducción en todas partes.
• Estado del Arte: Fontaine y Abrashkin probaron independientemente que $\mathbb{Q}$ es un campo de Fontaine. Schoof demostró que ciertos cuerpos ciclotómicos y cuadráticos también lo son. Sin embargo, la lista de campos conocidos con esta propiedad era muy corta (16 campos) incluso bajo la Hipótesis de Riemann Generalizada (GRH).
• Objetivo: Extender los métodos existentes para identificar un número mucho mayor de campos de Fontaine, específicamente para grados $n \leq 16$, asumiendo la GRH.

2. Metodología y Herramientas Teóricas

Los autores combinan teoría de grupos, teoría de esquemas de grupos, teoría de cuerpos de clases y límites de ramificación para construir criterios de no existencia.

A. Esquemas de Grupos y Reducción Buena

• Una variedad abeliana $A$ tiene buena reducción en todos los lugares si y solo si su modelo de Néron es un esquema de grupos sobre el anillo de enteros $\mathcal{O}_K$.
• Esto implica que los grupos de torsión $A[2^n]$ son esquemas de grupos planos finitos sobre $\mathcal{O}_K$.
• El enfoque se centra en el comportamiento de los esquemas de grupos de orden $2$ y sus extensiones.

B. Hipótesis del Cuerpo ($K$)
Para hacer el problema manejable, los autores asumen la Hipótesis K:

1. El discriminante de $K$ es impar (sin ramificación en primos impares).
2. El número de clase estrecho es $h^+_K = 1$.
3. Se asume que el número de primos sobre 2 en $K$ es pequeño (1, 2 o 3).

C. Límites de Ramificación Superior (Abrashkin-Fontaine)
Utilizan el teorema de Fontaine que acota el índice de ramificación superior $m_{F/E}$ para extensiones de cuerpos de puntos de esquemas de grupos de exponente $p^n$. Para $p=2$, esto implica que la ramificación es muy restringida.

• Definen una extensión de Abrashkin-Fontaine $F/K$ que contiene los cuerpos de puntos de todos los esquemas de grupos planos finitos de exponente 2.
• El objetivo es demostrar que $F/K$ es una 2-extensión (una extensión de Galois cuyo grupo de Galois es un 2-grupo). Si esto se cumple, se pueden acotar los exponentes de los esquemas de grupos, forzando a la variedad abeliana a ser trivial.

D. Herramientas de Teoría de Grupos

• Analizan la estructura del grupo de Galois de las extensiones máximas solvables dentro de $F$.
• Utilizan resultados sobre grupos no abelianos (como productos en corona y grupos diédricos) para demostrar que, bajo ciertas condiciones de ramificación, no pueden existir extensiones de orden impar dentro de $F$.
• Introducen el concepto de "prosaico": Un esquema de grupos $V$ es prosaico si su cuerpo de puntos es una 2-extensión de $K$. Demuestran que bajo sus condiciones, cualquier esquema de grupos relevante debe ser prosaico.

E. Filtración de Esquemas de Grupos
Un aporte metodológico clave es la construcción de filtraciones para los esquemas de grupos $A[2^n]$.

• Demuestran que bajo las condiciones de $K$, cualquier esquema de grupos puede filtrarse en capas donde los cocientes son isomorfos a esquemas específicos ($\mu_2$, $\mathbb{Z}/2\mathbb{Z}$, o esquemas $G_\rho$ asociados a divisores de 2).
• Utilizan la teoría de extensiones de esquemas de grupos (grupos $\text{Ext}^1$) y condiciones de conductores de clases rayo para mostrar que muchas de estas extensiones se descomponen (son triviales) o están acotadas.

3. Contribuciones Clave

1. Criterios de No Existencia Generalizados:
   Desarrollan una serie de teoremas (6.4 y 6.5) que proporcionan condiciones suficientes para que un cuerpo $K$ sea un campo de Fontaine. Estas condiciones dependen de:

   • El número de primos sobre 2.
   • La estructura de las extensiones cuadráticas de $K$ (específicamente, la inexistencia de ciertas extensiones cuadráticas con conductores específicos que se descomponen en ciertos primos).
   • La finitud de ciertas torres de extensiones abelianas 2 (condición de torre $T(p)$).

2. Control de la Extensión de Galois:
   Demuestran que, bajo la GRH y las condiciones de ramificación impuestas, la extensión máxima solvable $F_s$ dentro de la extensión de Abrashkin-Fontaine es una 2-extensión. Esto elimina la posibilidad de que existan variedades abelianas no triviales, ya que sus grupos de torsión requerirían extensiones de grado impar que no existen en este contexto.

3. Algoritmo Computacional Eficiente:
   Diseñan un procedimiento paso a paso para verificar si un cuerpo dado satisface las condiciones de no existencia, utilizando datos de la base de datos LMFDB (L-Functions and Modular Forms Database) y software de teoría de números (Magma).

4. Resultados Principales

• Descubrimiento Masivo: Bajo la suposición de la Hipótesis de Riemann Generalizada (GRH) para cuerpos de números, los autores identifican 24,744 campos de Fontaine de grados $n \leq 16$.
• Distribución por Grado:
  • La mayoría de los campos encontrados son de grado par, con un pico significativo en grados 10 y 8.
  • Se verificaron campos con discriminantes impares y número de clase estrecho 1.
• Comparación con Trabajos Previos:
  • Superan ampliamente la lista previa de 16 campos conocidos.
  • Sus resultados son consistentes con los hallazgos recientes de Tchamitchian (preprint [Tch]), quien utilizó fórmulas explícitas de Weil y conjeturas sobre funciones L. La superposición de resultados valida tanto las conjeturas de Tchamitchian como los métodos de ramificación de Brumer y Kramer.

5. Significado e Impacto

• Avance en la Teoría de Fontaine: Este trabajo transforma la comprensión de la rareza de las variedades abelianas con buena reducción global. Muestra que tales variedades son extremadamente raras y que la mayoría de los cuerpos de números de grado moderado no admiten ninguna.
• Validación de Métodos: Confirma que los límites de ramificación superior de Fontaine, combinados con la teoría de grupos y la GRH, son herramientas poderosas y efectivas para problemas de no existencia, incluso en grados superiores a los manejables por métodos anteriores.
• Limitaciones: El trabajo depende de la GRH para los límites de discriminante de Odlyzko y de la disponibilidad de tablas completas de cuerpos de números (especialmente para grados > 6). Además, asume que el número de primos sobre 2 es pequeño (≤ 3), aunque esto cubre la gran mayoría de los casos prácticos en sus bases de datos.

En conclusión, el artículo establece un nuevo estándar para la identificación de campos de Fontaine, proporcionando una lista extensa de ejemplos y una metodología robusta que vincula la teoría de esquemas de grupos con la teoría de números computacional.