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

Resumo Técnico: Momentos Infinitos de Grupos de Classes para Campos Solváveis com um Subgrupo Abeliano Normal

Enunciado do Problema
O artigo investiga a distribuição estatística dos grupos de classes de campos numéricos, focando especificamente nos "momentos" desses grupos. O problema central abordado é o fenômeno da "probabilidade zero" e dos "momentos infinitos" para partes $p$ específicas dos grupos de classes. Embora as heurísticas de Cohen-Lenstra-Martinet prevejam distribuições de probabilidade específicas para os grupos de classes de campos numéricos, essas heurísticas frequentemente falham ou requerem modificação quando o grupo de Galois é solvável e contém um subgrupo abeliano normal, particularmente quando o primo $p$ divide a ordem deste subgrupo.

Especificamente, o artigo visa provar que, sob certas condições sobre a ordenação de campos numéricos (usando discriminantes generalizados) e a estrutura do grupo de Galois, a probabilidade de que o $p$-posto do grupo de classes seja limitado por qualquer inteiro $r$ é zero. Consequentemente, o valor esperado do número de homomorfismos do grupo de classes para $\mathbb{Z}/p\mathbb{Z}$ (o momento $\mathbb{Z}/p\mathbb{Z}$) é infinito. Isso contrasta com o comportamento de outros subgrupos de Sylow $p$, onde as heurísticas de Cohen-Lenstra tipicamente preveem momentos finitos.

Metodologia
O autor emprega uma combinação de técnicas de teoria algébrica dos números, teoria de classes e teoria analítica dos números. A metodologia procede através dos seguintes passos:

1. Álgebras de Galois e Especificações Locais: O artigo utiliza o arcabouço de $(\text{G}, F)$-álgebras de Galois para generalizar a noção de extensões de corpos. Isso permite uma definição precisa de "especificações locais" em primos, que codificam o comportamento de ramificação das extensões. O autor estabelece uma correspondência entre classes de isomorfismo de álgebras de Galois e classes de conjugação de homomorfismos contínuos do grupo absoluto para $G$.

2. Discriminantes Generalizados: Uma função de contagem para campos numéricos é definida via um "discriminante generalizado". Este é construído usando uma função de peso $c_G: G \to \mathbb{R}_{\ge 0}$ que atribui valores aos elementos do grupo de Galois com base em sua ordem e classe de conjugação. O discriminante generalizado de uma extensão de campo é o produto das contribuições locais determinadas pelos geradores de inércia da extensão em cada primo.

3. Limites de Ramificação Restrita: Um componente técnico fundamental é a derivação de limites superiores para o número de soluções para problemas de ramificação restrita para extensões solváveis. Ao decompor um grupo solvável $G$ em uma torre de quocientes abelianos, o autor aplica o limite de Minkowski iterativamente. Isso produz uma estimativa para o número de campos com uma especificação local fixa, limitado por uma potência do discriminante (ou discriminante generalizado) e pelo tamanho do grupo de classes de campos intermediários.

4. Contagem de Campos e Análise de Momentos: O autor analisa o comportamento assintótico da função de contagem $N_{C, C}(X)$ (o número de campos com discriminante generalizado menor que $X$) e das subfamílias $N_{C, C}^\gamma(X)$ (campos com exatamente $\gamma$ primos ramificados satisfazendo condições de inércia específicas). Ao comparar as taxas de crescimento dessas funções de contagem, o autor demonstra que campos com um maior número de primos ramificados específicos dominam a distribuição.

5. Aplicação aos Postos de Grupos de Classes: Usando os limites estabelecidos para a contagem de campos, o autor aplica um resultado de trabalhos anteriores (Wang [22]) que vincula o $p$-posto do grupo de classes ao número de primos com geradores de inércia específicos. Se o conjunto de campos com um alto número de tais primos crescer suficientemente rápido em relação ao conjunto total de campos, o $p$-posto é forçado a ser grande, levando aos resultados de probabilidade zero e momentos infinitos.

Principais Contribuições e Resultados

• Teorema 1.11 (Caso Solvável Geral): Para um grupo de permutação transitivo $G$ contendo um subgrupo abeliano normal $N$ tal que $\gcd(|N|, |G/N|) = 1$, e para um discriminante generalizado definido por uma função de peso onde o peso mínimo é alcançado apenas por elementos em $N$ de ordem divisível por $p$, o artigo prova:

  • A probabilidade de que o $p$-posto do grupo de classes seja $\le r$ é 0 para qualquer inteiro não negativo $r$.
  • O momento $\mathbb{Z}/p\mathbb{Z}$ do grupo de classes é infinito.
    Este resultado aplica-se a campos ordenados por discriminantes generalizados associados à estrutura do grupo.

• Teorema 1.12 (Campos Cúbicos Não-Galois): O artigo aplica a teoria geral a campos cúbicos não-galois ordenados pelo produto de primos ramificados. Ao relacionar esses campos a extensões de Galois $S_3$ e utilizar os resultados conhecidos de momentos de grupos de classes para campos quadráticos (Davenport-Heilbronn) e resultados de contagem de campos para campos cúbicos ordenados pelo radical do discriminante (Shankar e Thorne), o autor prova:

  • Para campos cúbicos não-galois ordenados pelo produto de primos ramificados, o momento $\mathbb{Z}/3\mathbb{Z}$ do grupo de classes é infinito.
  • A probabilidade de que o $3$-posto seja limitado é zero.

• Limites Superiores para Extensões Solváveis: O artigo fornece limites superiores explícitos para o número de extensões solváveis com ramificação restrita (Teorema 4.6 e Proposição 5.6). Esses limites são expressos em termos do discriminante e da estrutura da torre do grupo de Galois, mostrando que o número de tais campos cresce polinomialmente com o discriminante.

• Produto de Primos Ramificados: O artigo estende a análise para o caso em que a função de contagem é o produto de primos ramificados (Teorem 6.8 e 6.9). Sob uma hipótese referente aos momentos dos grupos de classes dos campos de base em uma torre (Hipótese 6.5), o autor prova que o fenômeno do momento infinito persiste mesmo quando a ordenação é baseada no produto de primos ramificados em vez do discriminante padrão.

Significância e Alegações
O artigo alega fornecer uma prova rigorosa do fenômeno do "momento infinito" para grupos de classes em configurações solváveis específicas, confirmando uma diferença qualitativa na distribuição da parte $p$ do grupo de classes quando $p$ divide a ordem de um subgrupo abeliano normal.

• Motivação: O trabalho é motivado pela falha das heurísticas originais de Cohen-Lenstra em prever o comportamento da parte 2 dos grupos de classes em campos quadráticos (um fenômeno conhecido como "probabilidade zero" para posto limitado) e pela subsequente Conjectura de Gerth. O artigo estende essa observação para grupos solváveis gerais e outros primos.
• Escopo: Os resultados são condicionais à existência de funções de peso adequadas e, no caso do produto de primos ramificados, a uma hipótese sobre os momentos dos grupos de classes de campos intermediários.
• Aplicação Específica: O artigo destaca explicitamente o caso de campos cúbicos não-galois. Ele alega que, para esses campos, quando ordenados pelo produto de primos ramificados, o momento $\mathbb{Z}/3\mathbb{Z}$ é infinito. Este resultado baseia-se na combinação do arcabouço geral do autor com resultados existentes sobre campos quadráticos e contagem de campos cúbicos.

O artigo não propõe novas aplicações experimentais ou direções futuras além das provas matemáticas apresentadas. Sua significância reside em unificar a compreensão das estatísticas dos grupos de classes através de diferentes tipos de extensões solváveis e funções de ordenação, demonstrando que o comportamento de "momento infinito" é uma característica robusta sob condições de grupo e aritméticas específicas.