On the role of higher roots in prime ideal races

Resumo Técnico: Sobre o Papel de Raízes de Ordem Superior em Corridas de Ideais Primos

Enunciado do Problema
O artigo investiga o viés de Chebyshev no contexto de corridas de ideais primos dentro de extensões de Galois de corpos numéricos. Especificamente, aborda o fenômeno onde a densidade logarítmica $\delta_{L/K}(C_1, C_2)$ do conjunto de $x$ para os quais a função de contagem de ideais primos normalizada $\pi(x; L/K; C_1)$ excede $\pi(x; L/K; C_2)$ reside estritamente no intervalo $(1/2, 1)$.

A literatura existente (ex: Rubinstein e Sarnak, Ng) estabeleceu que tais vieses surgem tipicamente de dois mecanismos primários:

1. Uma diferença no número de raízes quadradas de elementos nas classes de conjugação $C_1$ e $C_2$.
2. A ordem de nulidade das funções $L$ de Artin em $s = 1/2$ (especificamente, a presença de representações simpléticas).

O problema central abordado por este trabalho é se um viés pode ser gerado unicamente pela diferença no número de raízes de ordem superior (especificamente raízes de ordem $2p$ para um primo ímpar $p$), na ausência de ambas as discrepâncias de raízes quadradas e de nulidades de funções $L$ em $s=1/2$.

Metodologia
O artigo emprega uma combinação de teoria analítica dos números e construções grupoteóricas explícitas.

1. Estrutura Analítica:

   • O autor introduz dois parâmetros algébricos, $\iota(t)$ e $\gamma(t)$, associados a uma função de classe $t$ no grupo de Galois $G$. Esses parâmetros medem os menores inteiros quadrados livres $\ell$ para os quais a função induzida do mapa de potência $\ell$-ésima é não nula e para os quais o produto interno com a função de contagem de raízes é não nulo, respectivamente.
   • Sob hipóteses padrão (Hipótese de Riemann Generalizada (GRH), Conjectura de Holomorfia de Artin (AC) e Independência Linear (LI) de zeros), o artigo deriva uma caracterização condicional (Teorema 1.2) para o viés.
   • A análise utiliza princípios de inclusão-exclusão relacionando funções do tipo Chebyshev aos zeros das funções $L$ de Artin, estendendo o arcabouço de Rubinstein–Sarnak para isolar a contribuição de raízes superiores.

2. Construções Grupoteóricas:

   • Para realizar o viés incondicionalmente, o artigo constrói extensões de Galois específicas onde o grupo de Galois $G$ satisfaz uma propriedade $P(2p; x, y)$. Esta propriedade exige que, para as classes de conjugação $C_1, C_2$ contendo $x, y$, o número de raízes de ordem $\ell$ seja igual para todo $\ell$ quadrado livre menor que $2p$, mas difira para $\ell = 2p$.
   • As construções baseiam-se fortemente em grupos de quatérnios generalizados ($Q_{4n}$). O autor incorpora produtos desses grupos (ex: $Q_{4p} \times Q_{4(p-1)}$) em grupos lineares gerais $GL(4, \mathbb{F}_q)$ e, subsequentemente, em grupos simétricos $S_{q^4}$ para garantir as necessárias restrições de representação (especificamente, que a função de classe induzida se anule para potências inferiores, mas não para potências de $2p$).
   • O artigo prova que o grupo de Galois da extensão sobre $\mathbb{Q}$ deve não admitir representações simpléticas irredutíveis para garantir a não nulidade das funções $L$ em $s=1/2$.

3. Provas de Limites Inferiores:

   • O artigo estabelece limites inferiores rigorosos para a ordem de grupos que satisfazem a propriedade $P(2p; x, y)$. Isso envolve a análise de fórmulas de contagem de raízes, utilizando o teorema de Schur–Zassenhaus e a classificação de Wall de grupos com uma alta proporção de involuções.

Principais Contribuições e Resultados

• Caracterização Condicional (Teorema 1.2): O artigo fornece uma condição necessária e suficiente para que uma corrida de ideais primos seja enviesada em direção a $C_1$ ($\delta > 1/2$) em termos dos parâmetros $\iota(t)$ e $\gamma(t)$. Ele isola o caso onde o viés é impulsionado inteiramente por raízes superiores ($\gamma(t) = 2\iota(t)$) e a nulidade das funções $L$ está ausente.
• Construções Incondicionais (Teorema 1.5): O autor constrói extensões de Galois explícitas $L/K$ onde o viés surge exclusivamente de uma diferença no número de raízes de ordem $2p$.
  • Para $p=3$, a ordem mínima do grupo de Galois é provada como sendo 96. A estrutura do grupo é $Q_{12} \times Q_8$.
  • Para $p=5$, a ordem mínima do grupo de Galois é provada como sendo 320. A estrutura do grupo é $Q_{20} \times Q_{16}$.
  • Os grupos construídos são produtos diretos de grupos de quatérnios generalizados e grupos cíclicos.
• Limites Inferiores (Teoremas 4.1 e 4.2): O artigo prova que qualquer grupo finito que satisfaça a propriedade $P(2p; x, y)$ deve ter uma ordem de pelo menos $8p^2$. Especificamente, estabelece os limites inferiores ótimos $|G| \ge 96$ para $p=3$ e $|G| \ge 320$ para $p=5$, confirmando que os exemplos construídos são de grau mínimo.
• Corridas de Ideais Primos Pesadas (Teoremas 1.6 e 1.7): O artigo estende os resultados para funções de contagem de ideais primos pesadas $\pi_\alpha(x)$. Demonstra que, para extensões específicas, o comportamento assintótico estabelecido por Aoki e Koyama sob a Hipótese de Riemann Profunda (DRH) mantém-se incondicionalmente sob GRH.
  • Identifica casos em que a corrida é "não enviesada" no sentido de Aoki–Koyama (termo constante $K=0$ na expansão assintótica) mas "enviesada" no sentido de Rubinstein–Sarnak ($\delta \in (1/2, 1)$), ou vice-versa, dependendo do peso $\alpha$.
• Proposição 1.8: Mostra-se que, para as extensões construídas em $E_p$, a corrida é não enviesada no sentido de Aoki–Koyama para pesos $\alpha > 1/(2p)$, permanecendo, contudo, enviesada no sentido de Rubinstein–Sarnak.

Significância e Alegações
O artigo afirma resolver uma lacuna específica na compreensão do viés de Chebyshev ao demonstrar que o fenômeno do "viés" não se limita a raízes quadradas ou zeros de funções $L$. Ao construir exemplos onde o viés é impulsionado puramente pela aritmética de raízes de ordem superior ($2p$-ésimas), o autor:

1. Generaliza o critério de Rubinstein–Sarnak: Mostra que o mecanismo de viés é mais diverso do que documentado anteriormente, dependendo da interação entre funções de contagem de raízes e a indução de funções de classe.
2. Fornece Exemplos Mínimos: Estabelece as ordens mínimas absolutas de grupos necessárias para exibir este tipo específico de viés, provando que tais fenômenos são raros e exigem estruturas grupais complexas (não nilpotentes, não abelianas).
3. Resultados Incondicionais: Remove a necessidade da Hipótese de Riemann Profunda para certas estimativas assintóticas relativas a corridas de ideais primos pesadas, baseando-se apenas em GRH e nas construções grupoteóricas específicas.

O artigo conclui levantando questões abertas sobre a fórmula geral para a ordem mínima $n_p$ para todos os primos ímpares e a existência de tais grupos para todos os inteiros quadrados livres $d$, sugerindo que as construções de quatérnios generalizados provavelmente resultam nas estruturas mínimas.