Rank of Pólya Groups in Lecacheux Parametric Family of Quintic Fields

Resumen Técnico: Rango de los Grupos de Pólya en la Familia Paramétrica de Campos Séxticos de Lecacheux

Planteamiento del Problema
El artículo investiga la estructura y el rango del grupo de Pólya, $Po(K)$, dentro de una familia específica de campos quínticos cíclicos conocidos como campos quínticos de Lecacheux. El grupo de Pólya es un subgrupo del grupo de clases de ideales $Cl(K)$ generado por las clases de los ideales característicos $J_n(K)$, que miden la desviación de un campo numérico de ser un "campo de Pólya" (un campo donde el anillo de polinomios de valores enteros admite una base regular). Mientras que la clasificación de los campos de Pólya está bien establecida para campos cuadráticos, cúbicos cíclicos y cuarticos/séxticos cíclicos, el comportamiento de los grupos de Pólya en extensiones quínticas permanece menos comprendido. Específicamente, los autores abordan la distribución del 5-rango de estos grupos y la existencia de campos con grupos de Pólya arbitrariamente grandes dentro de la familia de Lecacheux.

Metodología
Los autores emplean una combinación de teoría de números algebraicos, teoría analítica de números y verificación computacional:

1. Construcción Paramétrica: El estudio se centra en los campos $K_s = \mathbb{Q}(\theta_s)$ generados por las raíces del polinomio quíntico de Lecacheux $f_s(X)$. Para enteros impares $s$, estos polinomios son irreducibles, y los campos resultantes son extensiones quínticas cíclicas.
2. Análisis del Conductor y Ramificación: Utilizando resultados de Lecacheux y Chabert, los autores determinan el conductor $f(K_s)$ y los índices de ramificación. Establecen que los primos que ramifican en $K_s/\mathbb{Q}$ son precisamente los divisores primos de dos polinomios cuárticos específicos, $E_1(s, 1)$ y $E_2(s, 1)$, siempre que estos valores sean libres de cubos.
3. Caracterización Algebraica: El artículo utiliza el hecho de que, para extensiones cíclicas de grado impar, el grupo de Pólya está generado por clases de ideales ambiguos. Al analizar las ecuaciones de norma en $\mathbb{Q}(\zeta_5)$, los autores demuestran que cualquier primo $p \neq 5$ que divida a $E_1(s, 1)$ o $E_2(s, 1)$ debe satisfacer $p \equiv 1 \pmod 5$. Esto permite un cálculo preciso del orden del grupo de Pólya: $|Po(K_s)| = 5^{\omega(E_1 E_2) - 1}$, donde $\omega(t)$ es el número de factores primos distintos de $t$.
4. Argumentos de Densidad: Para demostrar la existencia de campos con rangos grandes, los autores aplican el teorema de Hooley sobre la distribución de valores libres de potencias de polinomios irreducibles y el orden normal del número de factores primos $\omega(f(n))$. Demuestran que el conjunto de enteros impares $s$ para los cuales $E_1(s, 1)$ y $E_2(s, 1)$ son simultáneamente libres de cubos y poseen un gran número de factores primos distintos tiene una densidad natural inferior positiva.
5. Monogeneidad y Análisis del Índice: El artículo investiga si estos campos son monogénicos (es decir, $\mathcal{O}_K = \mathbb{Z}[\theta]$). Al aplicar el teorema de Gras sobre la monogeneidad de campos cíclicos y la cota de Zylinski sobre el índice del campo, los autores analizan las relaciones del discriminante para determinar las condiciones bajo las cuales los campos son no monogénicos a pesar de tener un índice de 1.
6. Verificación Computacional: Se realizaron extensas computaciones utilizando SageMath y Wolfram Mathematica para verificar la irreducibilidad, las condiciones de libertad de cubos y valores específicos de los órdenes de los grupos de Pólya para el rango de $s$ en $[-200, 200]$.

Contribuciones Clave y Resultados

• 5-Rango Arbitrariamente Grande: El resultado principal (Teorema 1.1) establece que para cada entero positivo $k$, el conjunto de enteros impares $s$ tales que el 5-rango del grupo de Pólya de $K_s$ es al menos $k$ tiene una densidad positiva. Específicamente, $(\mathbb{Z}/5\mathbb{Z})^k \subseteq Po(K_s)$ para una proporción positiva de $s$.
• Torres de Campos de Clase Infinitas: Combinando el resultado principal con el teorema de Golod-Shafarevich, los autores demuestran (Corolario 1.2) que para una proporción positiva de enteros $s$, la torre de campos de clase 5 de la extensión quíntica de Lecacheux $K_s$ es infinita. Se proporcionan ejemplos explícitos (por ejemplo, $s = -189, 177, 183$).
• Caracterización de Campos de Pólya: El artículo caracteriza exactamente cuándo un campo quíntico de Lecacheux es un campo de Pólya: $K_s$ es un campo de Pólya si y solo si $s = \pm 1$. Para todos los demás enteros impares $s$ donde $E_1$ y $E_2$ son libres de cubos, el campo no es un campo de Pólya.
• No Monogeneidad con Índice Uno: Los autores demuestran (Teorema 1.3) que para enteros impares $s \neq \pm 1$ donde $E_1(s, 1)$ y $E_2(s, 1)$ son libres de cubos y $3 \nmid s$, el campo $K_s$ no es monogénico, aunque su índice de campo $I(K_s)$ es 1. Esto proporciona ejemplos explícitos de campos no monogénicos donde la obstrucción no es local.
• Cota Superior para los Números de Pólya: Se establece una cota superior para el número de Pólya $po_{K_s}$ (el grado mínimo de una extensión que convierte al campo en un campo de Pólya) en términos del orden del grupo de Pólya: $po_{K_s} \leq |Po(K_s)|$.

Significado
El artículo afirma ser la primera instancia donde la distribución de los rangos de los grupos de Pólya dentro de una familia específica de campos numéricos se estudia sistemáticamente. Los resultados proporcionan evidencia sólida para la conjetura del folclore de que el $m$-rango del grupo de clases es ilimitado para campos numéricos de grado $d$ cuando $m|d$ (específicamente para $m=d=5$). La construcción de campos con torres de campos de clase 5 infinitas y campos no monogénicos con índice uno contribuye a la comprensión de la complejidad aritmética de los campos quínticos cíclicos. Los datos computacionales presentados respaldan los argumentos teóricos de densidad, mostrando que las condiciones requeridas para grandes grupos de Pólya se satisfacen para la gran mayoría de los parámetros en el rango estudiado.