On the role of higher roots in prime ideal races

Resumen Técnico: Sobre el papel de las raíces superiores en las carreras de ideales primos

Planteamiento del problema
El artículo investiga el sesgo de Chebyshev en el contexto de las carreras de ideales primos dentro de extensiones de Galois de cuerpos numéricos. Específicamente, aborda el fenómeno donde la densidad logarítmica $\delta_{L/K}(C_1, C_2)$ del conjunto de $x$ para los cuales la función de conteo de ideales primos normalizada $\pi(x; L/K; C_1)$ excede a $\pi(x; L/K; C_2)$ se encuentra estrictamente en el intervalo $(1/2, 1)$.

La literatura existente (por ejemplo, Rubinstein y Sarnak, Ng) ha establecido que tales sesgos surgen típicamente de dos mecanismos primarios:

1. Una diferencia en el número de raíces cuadradas de los elementos en las clases de conjugación $C_1$ y $C_2$.
2. El orden de anulación de las funciones $L$ de Artin en $s = 1/2$ (específicamente, la presencia de representaciones simplécticas).

El problema central abordado en este trabajo es si un sesgo puede ser generado únicamente por la diferencia en el número de raíces de grado superior (específicamente raíces de $2p$-ésimo orden para un primo impar $p$), en ausencia de ambas discrepancias de raíces cuadradas y de la anulación de las funciones $L$ en $s=1/2$.

Metodología
El artículo emplea una combinación de teoría analítica de números y construcciones grupales explícitas.

1. Marco Analítico:

   • El autor introduce dos parámetros algebraicos, $\iota(t)$ y $\gamma(t)$, asociados a una función de clase $t$ sobre el grupo de Galois $G$. Estos parámetros miden los enteros libres de cuadrados más pequeños $\ell$ para los cuales la función inducida del mapa de la potencia $\ell$-ésima es no nula, y para los cuales el producto interno con la función de conteo de raíces es no nulo, respectivamente.
   • Bajo hipótesis estándar (Hipótesis de Riemann Generalizada (GRH), la Conjetura de Holomorficidad de Artin (AC) y la Independencia Lineal (LI) de los ceros), el artículo deriva una caracterización condicional (Teorema 1.2) para el sesgo.
   • El análisis utiliza principios de inclusión-exclusión que relacionan las funciones de tipo Chebyshev con los ceros de las funciones $L$ de Artin, extendiendo el marco de Rubinstein–Sarnak para aislar la contribución de las raíces superiores.

2. Construcciones de la Teoría de Grupos:

   • Para realizar el sesgo de forma incondicional, el artículo construye extensiones de Galois específicas donde el grupo de Galois $G$ satisface una propiedad $P(2p; x, y)$. Esta propiedad requiere que para las clases de conjugación $C_1, C_2$ que contienen a $x, y$, el número de raíces de orden $\ell$ sea igual para todo $\ell$ libre de cuadrados menor que $2p$, pero difiera para $\ell = 2p$.
   • Las construcciones dependen fuertemente de grupos cuaterniónicos generalizados ($Q_{4n}$). El autor embebe productos de estos grupos (por ejemplo, $Q_{4p} \times Q_{4(p-1)}$) en grupos lineales generales $GL(4, \mathbb{F}_q)$ y, posteriormente, en grupos simétricos $S_{q^4}$ para asegurar las restricciones representacionales necesarias (específicamente, que la función de clase inducida se anule para potencias menores pero no para potencias de $2p$-ésimo orden).
   • El artículo prueba que el grupo de Galois de la extensión sobre $\mathbb{Q}$ debe no admitir representaciones simplécticas irreducibles para asegurar la no anulación de las funciones $L$ en $s=1/2$.

3. Pruebas de Cota Inferior:

   • El artículo establece cotas inferiores rigurosas sobre el orden de los grupos que satisfacen la propiedad $P(2p; x, y)$. Esto implica analizar fórmulas de conteo de raíces, utilizando el teorema de Schur–Zassenhaus y la clasificación de Wall para grupos con una alta proporción de involuciones.

Contribuciones Clave y Resultados

• Caracterización Condicional (Teorema 1.2): El artículo proporciona una condición necesaria y suficiente para que una carrera de ideales primos esté sesgada hacia $C_1$ ($\delta > 1/2$) en términos de los parámetros $\iota(t)$ y $\gamma(t)$. Aísla el caso donde el sesgo es impulsado enteramente por raíces superiores ($\gamma(t) = 2\iota(t)$) y la anulación de las funciones $L$ está ausente.
• Construcciones Incondicionales (Teorema 1.5): El autor construye extensiones de Galois explícitas $L/K$ donde el sesgo surge exclusivamente de una diferencia en el número de raíces de $2p$-ésimo orden.
  • Para $p=3$, el orden mínimo del grupo de Galois se prueba como 96. La estructura del grupo es $Q_{12} \times Q_8$.
  • Para $p=5$, el orden mínimo del grupo de Galois se prueba como 320. La estructura del grupo es $Q_{20} \times Q_{16}$.
  • Los grupos construidos son productos directos de grupos cuaterniónicos generalizados y grupos cíclicos.
• Cotas Inferiores (Teoremas 4.1 y 4.2): El artículo prueba que cualquier grupo finito que satisfaga la propiedad $P(2p; x, y)$ debe tener un orden de al menos $8p^2$. Específicamente, establece las cotas inferiores óptimas $|G| \ge 96$ para $p=3$ y $|G| \ge 320$ para $p=5$, confirmando que los ejemplos construidos son de grado mínimo.
• Carreras de Ideales Primos Ponderadas (Teoremas 1.6 y 1.7): El artículo extiende los resultados a funciones de conteo de ideales primos ponderadas $\pi_\alpha(x)$. Demuestra que para extensiones específicas, el comportamiento asintótico establecido por Aoki y Koyama bajo la Hipótesis de Riemann Profunda (DRH) se cumple incondicionalmente bajo GRH.
  • Identifica casos donde la carrera es "no sesgada" en el sentido de Aoki–Koyama (término constante $K=0$ en la expansión asintótica) pero "sesgada" en el sentido de Rubinstein–Sarnak ($\delta \in (1/2, 1)$), o viceversa, dependiendo del peso $\alpha$.
• Proposición 1.8: Se muestra que para las extensiones construidas en $E_p$, la carrera es no sesgada en el sentido de Aoki–Koyama para pesos $\alpha > 1/(2p)$, mientras permanece sesgada en el sentido de Rubinstein–Sarnak.

Significancia y Reivindicaciones
El artículo afirma resolver un vacío específico en la comprensión del sesgo de Chebyshev al demostrar que el fenómeno del "sesgo" no se limita a las raíces cuadradas o a los ceros de las funciones $L$. Al construir ejemplos donde el sesgo es impulsado puramente por la aritmética de las raíces superiores ($2p$-ésimas raíces), el autor:

1. Generaliza el criterio de Rubinstein–Sarnak: Muestra que el mecanismo del sesgo es más diverso de lo documentado anteriormente, apoyándose en la interacción entre las funciones de conteo de raíces y la inducción de funciones de clase.
2. Provee Ejemplos Mínimos: Establece los órdenes de grupo absolutos mínimos requeridos para exhibir este tipo específico de sesgo, probando que tales fenómenos son raros y requieren estructuras grupales complejas (no nilpotentes, no abelianas).
3. Resultados Incondicionales: Elimina la necesidad de la Hipótesis de Riemann Profunda para ciertas estimaciones asintóticas respecto a las carreras de ideales primos ponderadas, apoyándose solo en GRH y en las construcciones específicas de la teoría de grupos.

El artículo concluye planteando preguntas abiertas sobre la fórmula general para el orden mínimo $n_p$ para todos los primos impares y la existencia de tales grupos para todos los enteros libres de cuadrados $d$, sugiriendo que las construcciones de cuaterniones generalizados probablemente yielden las estructuras mínimas.