Simplest cubic fields with small class number

Resumen Técnico: Campos Cúbicos Más Simples con Número de Clase Pequeño

1. Planteamiento del Problema

El artículo se centra en el estudio de los campos cúbicos más simples (simplest cubic fields), denotados como $L_m = \mathbb{Q}(\alpha)$, donde $\alpha$ es una raíz del polinomio irreducible:
$$f_m(X) = X^3 - mX^2 - (m + 3)X - 1$$
con $m \in \mathbb{Z}$.

El objetivo principal es determinar y clasificar los valores del entero $m$ para los cuales el número de clase $h_m$ del campo $L_m$ es pequeño. Específicamente, los autores buscan:

1. Identificar todos los $m \ge -1$ tales que $h_m \le 1000$, bajo condiciones específicas sobre el índice del anillo de enteros $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]]$.
2. Determinar exhaustivamente los $m$ en el rango $-1 \le m \le 4 \cdot 10^6$ para los cuales $h_m < 16$.

El problema es relevante porque, aunque existen fórmulas asintóticas y cotas inferiores para el número de clase (como las de Lettl), la determinación exacta de los campos con números de clase específicos requiere un análisis computacional intensivo y una comprensión profunda de la estructura aritmética de estos campos cíclicos.

2. Metodología

Los autores combinan teoría de números algebraica avanzada con cálculos computacionales masivos utilizando el sistema PARI/GP.

• Fundamentos Teóricos:

  • Conductor y Discriminante: Utilizan la relación entre el discriminante del polinomio $disc(f_m) = (m^2 + 3m + 9)^2$ y el discriminante del campo $d_m$. Se define el conductor $f_m$ y el índice $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]]$.
  • Clasificación por Índice: El análisis se divide según el valor del índice $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]]$, que puede ser $1$, $3$o$27$. Esto depende de la factorización de $m^2 + 3m + 9$ y las congruencias de $m$ módulo 3, 9 y 27.
  • Cotas Asintóticas: Se emplean los resultados de Lettl (1986) y la fórmula del número de clase para establecer cotas superiores para $m$. Por ejemplo, si el índice es 1, se demuestra que si $m \ge 5763$, entonces $h_m > 1000$. Esto permite acotar el rango de búsqueda computacional.
  • Hipótesis de Riemann Generalizada (GRH): Para calcular los números de clase de campos grandes, se asume la GRH. Sin embargo, para los casos donde $h_m$ es pequeño, los autores utilizan el comando bnfcertify de PARI/GP para verificar los resultados de manera incondicional (sin depender de la GRH).

• Procedimiento Computacional:

  • Se ejecutaron bucles en PARI/GP para iterar sobre $m$ dentro de los límites teóricos derivados de las cotas.
  • Para cada $m$, se calculó el grupo de clases de ideales $Cl(L_m)$ y su orden $h_m$.
  • Se filtraron los resultados para agrupar por el valor de $h_m$ y el índice del anillo de enteros.

3. Contribuciones Clave y Resultados Principales

El artículo presenta dos teoremas principales que resumen los hallazgos computacionales:

A. Teorema 1.12: Clasificación para $h_m \le 1000$
Los autores confirman que existen exactamente 581 enteros $m \ge -1$ con índice $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]] = 1$ tales que $h_m \le 1000$.

• Desglose por índice:
  • Si el índice es 1 ($m^2+3m+9 = f_m$): 581 valores de $m$.
  • Si el índice es 3 ($m^2+3m+9 = 3f_m$): 80 valores de $m$.
  • Si el índice es 27 ($m^2+3m+9 = 27f_m$): 142 valores de $m$.
• El artículo proporciona listas explícitas de estos valores de $m$, sus conductores y la estructura del grupo de clases (descomposición en grupos cíclicos).

B. Teorema 1.13: Búsqueda exhaustiva para $h_m < 16$
Para el rango $-1 \le m \le 4 \cdot 10^6$, se identificaron 137 valores de $m$ tales que $h_m < 16$.

• Distribución de números de clase:
  • $h_m = 1$: 26 casos.
  • $h_m = 3$: 31 casos.
  • $h_m = 4$: 10 casos.
  • $h_m = 7$: 10 casos.
  • $h_m = 9$: 36 casos.
  • $h_m = 12$: 21 casos.
  • $h_m = 13$: 3 casos.
• Condicionamiento: Bajo la Hipótesis de Riemann Generalizada (GRH), se afirma que no existen otros valores de $m$ en este rango con $h_m < 16$.

C. Tablas de Datos
El artículo incluye 7 tablas detalladas que listan explícitamente:

1. El valor de $m$.
2. La congruencia de $m$ módulo 3, 9 y 27.
3. El valor de $m^2 + 3m + 9$.
4. La factorización prima de dicho valor.
5. La estructura del grupo de clases $Cl(L_m)$ (ej. $C_3 \times C_3$).

4. Significado e Impacto

• Completitud de Datos: Este trabajo proporciona la base de datos más completa y verificada hasta la fecha sobre los números de clase de los campos cúbicos más simples. Extiende significativamente los resultados previos de Lettl (1986) y Byeon (2000), que solo cubrían casos con $h_m$ muy pequeños o conductores primos.
• Verificación de Conjeturas: Al proporcionar listas explícitas, permite verificar conjeturas sobre la distribución de números de clase en familias de campos cíclicos.
• Herramienta para Teoría de Números: Los datos generados son fundamentales para estudiar la densidad de campos con números de clase específicos y para probar propiedades sobre la estructura de los grupos de clases en extensiones cíclicas.
• Validación de Algoritmos: El uso de bnfcertify demuestra la viabilidad de calcular números de clase de manera incondicional para campos de grado 3 con conductores relativamente grandes, sirviendo como referencia para futuros trabajos computacionales en teoría algebraica de números.

En resumen, Hoshi e Iida han realizado un trabajo exhaustivo que combina teoría analítica para acotar el problema y computación de alto rendimiento para resolverlo, entregando una clasificación completa de los campos cúbicos más simples con números de clase pequeños, un recurso valioso para la comunidad matemática.