The existence of infinitely many cubic fields with class group of exact 2-rank 1

Resumen Técnico: La existencia de infinitos cuerpos cúbicos con rango 2 exacto 1

Planteamiento del problema
El artículo aborda un caso específico de la heurística de Cohen–Lenstra–Martinet–Malle relativa a la distribución de los grupos de clases en cuerpos cúbicos. Si bien la heurística predice que para cualquier primo $p \neq 3$ y grupo abeliano finito $p$-grupo $A$, existen infinitos cuerpos cúbicos $K$ donde la parte-$p$ del grupo de clases $\text{Cl}_K[p^\infty]$ es isomorfa a $A$, esto permanece en gran medida sin demostrar. Específicamente, la predicción de que el $p$-rango $r_p \text{Cl}_K$ (el número de factores cíclicos no triviales en la parte-$p$) toma cada valor $r = 0, 1, 2, \dots$ infinitas veces solo ha sido probada para el caso $(p, r) = (2, 0)$.

Antes de este trabajo, se desconocía la existencia de infinitos cuerpos cúbicos con un grupo de clases de rango 2 exacto 1. La construcción de cuerpos con rangos 2 grandes es un área de estudio conocida (con resultados que muestran rangos $\ge 6, 8, 11$), pero establecer el rango exacto es significativamente más delicado, ya que uno debe asegurar que las condiciones estructurales específicas que producen un rango grande no produzcan inadvertidamente rangos superiores.

Metodología
Los autores proporcionan dos pruebas distintas para el teorema principal, ambas apoyándose en trabajos previos ([SSS25b] y [BSS25]) pero empleando estrategias diferentes para analizar la distribución de los rangos 2:

1. El enfoque de la anomalía (vía [SSS25b]):

   • Estrategia: Este enfoque aprovecha el comportamiento "anómalo" del grupo de clases dentro de una familia "delgada" de cuerpos cúbicos conocidos como cuerpos unit-monogenised (cuerpos con anillo de enteros $\mathbb{Z}[\alpha]$ donde $\alpha$ es una unidad).
   • Familia específica: Los autores se centran en la subfamilia $+B^2_{1,1}$, definida por polinomios $f(x) = x^3 + ax^2 + bx + 1$ donde $(a, b) \pmod 4 \in \{(4, 4), (1, 2), (2, 1)\}$ y $a, b > 0$.
   • Mecanismo: En esta familia, se demuestra que $|\text{Cl}[2]| \ge 2$ para la mayoría de los miembros. Crucialmente, los autores establecen un límite superior en el valor promedio de $|\text{Cl}[2]|$ en esta familia, mostrando que es $\le 3$.
   • Innovación técnica: Debido a que la familia es delgada, los métodos estándar de geometría de números (lema de Davenport) no son aplicables. En su lugar, los autores emplean la dinámica efectiva [BO12] para derivar el límite superior de 3.
   • Deducción: Dado que el promedio está acotado por 3 y el valor mínimo no trivial es 2, una proporción positiva de los cuerpos debe tener $|\text{Cl}[2]| = 2$ (correspondiente al rango 2 exacto 1). Un lema asegura que cada cuerpo cúbico aparece como máximo un número finito de veces en esta familia polinómica, garantizando la infinitud.

2. El enfoque de los momentos (vía [BSS25]):

   • Estrategia: Este enfoque utiliza el primer y segundo momentos del tamaño del subgrupo de 2-torsión, $|\text{Cl}[2]|$, sobre la familia de cuerpos cúbicos monogenizados totalmente reales ($F_{1,+}$).
   • Datos: Resultados previos establecieron que el promedio de $|\text{Cl}[2]|$ es $3/2$ y el promedio de $|\text{Cl}[2]|^2$ está acotado superiormente por 3.
   • Argumento geométrico: Los autores analizan la envolvente convexa cerrada del conjunto de vectores de momentos posibles $\{(2^n, 2^{2n}) : n \in \mathbb{N}\}$. Demuestran que el vector de momento observado $(3/2, \beta)$ con $\beta \le 3$ se encuentra fuera de la envolvente convexa del conjunto que excluye el punto $(2, 4)$.
   • Deducción: Esta imposibilidad geométrica implica que la proporción de cuerpos con $|\text{Cl}[2]| = 2$ no puede ser cero. Por lo tanto, una proporción positiva de los cuerpos cúbicos monogenizados totalmente reales tiene un rango 2 exacto 1.

Resultados clave

• Teorema 1: Existen infinitos cuerpos cúbicos con grupos de clases de rango 2 exacto 1.
• Teorema 2: El número de tales cuerpos con discriminante $|D_K| < X$ satisface el límite inferior $\gg X^{5/6}$. Este límite se deriva del enfoque de los momentos. El enfoque de la anomalía produce un límite más débil de $X^{1/2}$.
• Teorema 3: Infinitos cuerpos cúbicos complejos tienen grupos de clases de rango 2 o 2. (El vector de momento para cuerpos complejos permite una dicotomía donde la proporción de campos de rango 1 podría ser cero, pero la proporción de rango 1 o 2 es positiva).

Significado y afirmaciones
El artículo afirma resolver el caso $(p, r) = (2, 1)$ para cuerpos cúbicos, un problema que anteriormente estaba abierto más allá del caso trivial de rango 0. La significancia es doble:

1. Desviación conceptual: El "enfoque de la anomalía" representa un cambio respecto a las estrategias convencionales. Demuestra que establecer la existencia de cuerpos con un rango específico puede lograrse utilizando únicamente un límite superior en el primer momento (tamaño promedio), mientras que el enfoque de los momentos requería tanto un límite inferior en el primer momento como un límite superior en el segundo momento.
2. Progreso cuantitativo: El artículo proporciona límites inferiores asintóticos explícitos ($X^{5/6}$ y $X^{1/2}$) para el conteo de estos cuerpos, aunque señala que actualmente están por debajo de lo que predice la heurística de Cohen–Lenstra–Martinet–Malle para $X$.

Los autores señalan modestamente que, si bien el enfoque de la anomalía es poderoso para el rango 1, extenderlo a rangos exactos superiores (por ejemplo, rango 2) requeriría límites aún más fuertes sobre los momentos superiores, los cuales anticipan pero aún no han probado. El trabajo depende fuertemente de las intuiciones estructurales y los límites establecidos en [SSS25b] y [BSS25], utilizándolos para cerrar la brecha entre el comportamiento promedio y la existencia de configuraciones de rango específicas.