Infinite Moments of Class Groups for Solvable Fields with a Normal Abelian Subgroup

Resumen Técnico: Momentos Infinitos de los Grupos de Clase para Campos Solubles con un Subgrupo Abeliano Normal

Planteamiento del Problema
El artículo investiga la distribución estadística de los grupos de clase de los campos numéricos, centrándose específicamente en los "momentos" de estos grupos. El problema central abordado es el fenómeno de "probabilidad cero" e "momentos infinitos" para las partes-$p$ específicas de los grupos de clase. Mientras que las heurísticas de Cohen-Lenstra-Martinet predicen distribuciones de probabilidad específicas para los grupos de clase de los campos numéricos, estas heurísticas a menudo fallan o requieren modificación cuando el grupo de Galois es soluble y contiene un subgrupo abeliano normal, particularmente cuando el primo $p$ divide el orden de este subgrupo.

Específicamente, el artículo pretende demostrar que, bajo ciertas condiciones sobre el ordenamiento de los campos numéricos (utilizando discriminantes generalizados) y la estructura del grupo de Galois, la probabilidad de que el rango-$p$ del grupo de clase esté acotado por cualquier entero $r$ es cero. En consecuencia, el valor esperado del número de homomorfismos desde el grupo de clase hacia $\mathbb{Z}/p\mathbb{Z}$ (el momento de $\mathbb{Z}/p\mathbb{Z}$) es infinito. Esto contrasta con el comportamiento de otros subgrupos de Sylow $p$, donde las heurísticas de Cohen-Lenstra típicamente predicen momentos finitos.

Metodología
El autor emplea una combinación de teoría de números algebraicos, teoría de campos de clase y técnicas de teoría analítica de números. La metodología procede a través de los siguientes pasos:

1. Álgebras de Galois y Especificaciones Locales: El artículo utiliza el marco de las $(\text{G}, F)$-álgebras de Galois para generalizar la noción de extensiones de campos. Esto permite una definición precisa de "especificaciones locales" en los primos, las cuales codifican el comportamiento de ramificación de las extensiones. El autor establece una correspondencia entre las clases de isomorfismo de las álgebras de Galois y las clases de conjugación de los homomorfismos continuos desde el grupo absoluto de Galois hacia $G$.

2. Discriminantes Generalizados: Se define una función de conteo para los campos numéricos mediante un "discriminante generalizado". Este se construye utilizando una función de peso $c_G: G \to \mathbb{R}_{\ge 0}$ que asigna valores a los elementos del grupo de Galois basándose en su orden y clase de conjugación. El discriminante generalizado de una extensión de campo es el producto de las contribuciones locales determinadas por los generadores de inercia de la extensión en cada primo.

3. Límites de Ramificación Restringida: Un componente técnico clave es la derivación de cotas superiores para el número de soluciones a problemas de ramificación restringida para extensiones solubles. Al descomponer un grupo soluble $G$ en una torre de cocientes abelianos, el autor aplica la cota de Minkowski de forma iterativa. Esto produce una estimación para el número de campos con una especificación local fija, acotada por una potencia del discriminante (o discriminante generalizado) y el tamaño del grupo de clase de los campos intermedios.

4. Conteo de Campos y Análisis de Momentos: El artículo analiza el comportamiento asintótico de la función de conteo $N_{C, C}(X)$ (el número de campos con discriminante generalizado menor que $X$) y las subfamilias $N_{C, C}^\gamma(X)$ (campos con exactamente $\gamma$ primos ramificados que satisfacen condiciones de inercia específicas). Al comparar las tasas de crecimiento de estas funciones de conteo, el autor demuestra que los campos con un mayor número de tales primos ramificados dominan la distribución.

5. Aplicación a los Rangos de los Grupos de Clase: Utilizando las cotas establecidas sobre el conteo de campos, el autor aplica un resultado de un trabajo previo (Wang [22]) que vincula el rango-$p$ del grupo de clase con el número de primos con generadores de inercia específicos. Si el conjunto de campos con un alto número de tales primos crece lo suficientemente rápido en relación con el conjunto total de campos, el rango-$p$ se ve forzado a ser grande, lo que conduce a los resultados de probabilidad cero y de momentos infinitos.

Contribuciones Clave y Resultados

• Teorema 1.11 (Caso Soluble General): Para un grupo de permutación transitivo $G$ que contiene un subgrupo abeliano normal $N$ tal que $\gcd(|N|, |G/N|) = 1$, y para un discriminante generalizado definido por una función de peso donde el peso mínimo se alcanza solo por elementos en $N$ de orden divisible por $p$, el artículo demuestra:

  • La probabilidad de que el rango-$p$ del grupo de clase sea $\le r$ es 0 para cualquier entero no negativo $r$.
  • El momento de $\mathbb{Z}/p\mathbb{Z}$ del grupo de clase es infinito.
    Este resultado se aplica a los campos ordenados por discriminantes generalizados asociados con la estructura del grupo.

• Teorema 1.12 (Campos Cúbicos No Galois): El artículo aplica la teoría general a los campos cúbicos no Galois ordenados por el producto de los primos ramificados. Al relacionar estos campos con extensiones de Galois $S_3$ y utilizando los resultados conocidos sobre los momentos del grupo de clase para campos cuadráticos (Davenport-Heilbronn) y los resultados de conteo de campos para campos cúbicos ordenados por el radical del discriminante (Shankar y Thorne), el autor demuestra:

  • Para los campos cúbicos no Galois ordenados por el producto de los primos ramificados, el momento de $\mathbb{Z}/3\mathbb{Z}$ del grupo de clase es infinito.
  • La probabilidad de que el rango-$3$ esté acotado es cero.

• Cotas Superiores para Extensiones Solubles: El artículo proporciona cotas superiores explícitas para el número de extensiones solubles con ramificación restringida (Teorema 4.6 y Proposición 5.6). Estas cotas se expresan en términos del discriminante y la estructura de la torre del grupo de Galois, mostrando que el número de tales campos crece polinómicamente con el discriminante.

• Producto de Primos Ramificados: El artículo extiende el análisis al caso donde la función de conteo es el producto de los primos ramificados (Teorema 6.8 y 6.9). Bajo una hipótesis respecto a los momentos de los grupos de clase de los campos base en una torre (Hipótesis 6.5), el autor demuestra que el fenómeno del momento infinito persiste incluso cuando el ordenamiento se basa en el producto de los primos ramificados en lugar del discriminante estándar.

Significado y Reivindicaciones
El artículo pretende proporcionar una prueba rigurosa del fenómeno de "momento infinito" para los grupos de clase en configuraciones solubles específicas, confirmando una diferencia cualitativa en la distribución de la parte-$p$ del grupo de clase cuando $p$ divide el orden de un subgrupo abeliano normal.

• Motivación: El trabajo está motivado por el fallo de las heurísticas originales de Cohen-Lenstra para predecir el comportamiento de la parte-$2$ de los grupos de clase en campos cuadráticos (un fenómeno conocido como "probabilidad cero" para el rango acotado) y la subsiguiente Conjetura de Gerth. El artículo extiende esta observación a grupos solubles generales y otros primos.
• Alcance: Los resultados están condicionados a la existencia de funciones de peso adecuadas y, en el caso del producto de los primos ramificados, a una hipótesis respecto a los momentos de los grupos de clase de los campos intermedios.
• Aplicación Específica: El artículo destaca explícitamente el caso de los campos cúbicos no Galois. Reivindica que, para estos campos, cuando se ordenan por el producto de los primos ramificados, el momento de $\mathbb{Z}/3\mathbb{Z}$ es infinito. Este resultado depende de la combinación de su marco general con resultados existentes sobre campos cuadráticos y el conteo de campos cúbicos.

El artículo no propone nuevas aplicaciones experimentales ni direcciones futuras más allá de las pruebas matemáticas presentadas. Su importancia radica en unificar la comprensión de la estadística de los grupos de clase a través de diferentes tipos de extensiones solubles y funciones de ordenamiento, demostando que el comportamiento de "momento infinito" es una característica robusta bajo condiciones de grupo y aritméticas específicas.