Simplest cubic fields with small class number

1. Problema e Contexto

O artigo foca no estudo dos campos cúbicos mais simples (simplest cubic fields), denotados por $L_m$. Estes são campos de números definidos como $L_m = \mathbb{Q}(\alpha)$, onde $\alpha$ é uma raiz do polinômio cúbico:
$$f_m(X) = X^3 - mX^2 - (m + 3)X - 1$$
com $m \in \mathbb{Z}$.

O objetivo principal é determinar e listar explicitamente os inteiros $m$ para os quais o número de classe ($h_m$) do campo $L_m$ é pequeno. Especificamente, os autores investigam:

1. A contagem exata de inteiros $m \ge -1$ onde $h_m \le 1000$, condicionada ao índice do anel de inteiros gerado por $\alpha$ no anel de inteiros completo do campo, $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]]$, sendo igual a 1, 3 ou 27.
2. A identificação de todos os inteiros $m$ no intervalo $-1 \le m \le 4 \cdot 10^6$ onde $h_m < 16$.

O problema é relevante na teoria algébrica dos números, pois campos cúbicos cíclicos com números de classe pequenos são raros e difíceis de caracterizar. A relação entre o discriminante do polinômio, o condutor do campo e a estrutura do grupo de classes é central para a análise.

2. Metodologia

A abordagem combina teoria algébrica dos números com computação intensiva utilizando o sistema PARI/GP.

• Fundamentação Teórica:

  • Utilizam-se fórmulas de condutor-discriminante para relacionar $m^2 + 3m + 9$ com o condutor $f_m$ e o índice $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]]$.
  • Aplicam-se resultados prévios de Gras, Cusick, Washington e Lettl para classificar quando o polinômio é monogênico (índice 1) ou quando o índice é 3 ou 27.
  • Utilizam-se limites inferiores para o número de classe (via fórmula do número de classe e limites superiores para o regulador) para estabelecer limites superiores para $m$ quando $h_m$ é fixo. Por exemplo, provam-se que se $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]] = 1$ e $h_m \le 1000$, então $m \le 5762$.

• Computação (PARI/GP):

  • Os autores realizam varreduras sistemáticas sobre os inteiros $m$ dentro dos limites teóricos derivados.
  • Para cada $m$, calculam o grupo de classes ideal $Cl(L_m)$ e o número de classe $h_m$ usando o comando bnfinit.
  • Verificação Rigorosa: Embora o cálculo inicial seja feito sob a Hipótese de Riemann Generalizada (GRH) para eficiência, os autores utilizam o comando bnfcertify para confirmar os resultados sem depender da GRH, garantindo que as listas de $m$ e seus respectivos números de classe são matematicamente corretos e incondicionais.

3. Contribuições Principais e Resultados

A. Classificação para $h_m \le 1000$ (Teorema 1.12)

Os autores confirmam a existência e listam explicitamente os inteiros $m$ para os quais $h_m \le 1000$, divididos por três casos de índice:

1. Índice $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]] = 1$ (Polinômio Monogênico):

   • Existem exatamente 581 inteiros $m \ge -1$.
   • Destes, 149 têm condutor primo ($f_m = p$), 308 têm condutor composto ($f_m = p_1 \dots p_r$), e 56 têm condutor da forma $9p$.
   • Inclui casos famosos como $m = -1, 1, 2, 4, 7, 8, 10$ onde $h_m = 1$.

2. Índice $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]] = 3$:

   • Existem exatamente 80 inteiros $m \ge -1$.
   • Inclui casos onde $h_m = 1$ (ex: $m=3$) e $h_m = 3$.

3. Índice $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]] = 27$:

   • Existem exatamente 142 inteiros $m \ge -1$.
   • Inclui casos onde $h_m = 1$ (ex: $m=12, 39, 93$).

B. Classificação para $h_m < 16$ no intervalo $-1 \le m \le 4 \cdot 10^6$ (Teorema 1.13)

Os autores realizam uma busca exaustiva até $4 \cdot 10^6$ e encontram que a desigualdade $h_m < 16$ é satisfeita por exatamente 137 inteiros $m$. A distribuição por valor de $h_m$ é:

• $h_m = 1$: 26 inteiros.
• $h_m = 3$: 31 inteiros.
• $h_m = 4$: 10 inteiros.
• $h_m = 7$: 10 inteiros.
• $h_m = 9$: 36 inteiros.
• $h_m = 12$: 21 inteiros.
• $h_m = 13$: 3 inteiros.

Observação Importante: Sob a Hipótese de Riemann Generalizada (GRH), os autores afirmam que não existem outros inteiros $m$ fora dessa lista de 137 no intervalo estudado que satisfaçam $h_m < 16$.

C. Listas Explícitas

O artigo fornece tabelas detalhadas (Tabelas 1 a 7) listando cada $m$, seu valor de $m^2 + 3m + 9$, a fatoração desse valor, o condutor $f_m$, e a estrutura do grupo de classes (ex: $C_3 \times C_3$, $C_{12}$, etc.).

4. Significado e Impacto

• Completude Computacional: O trabalho fornece a lista mais completa e verificada (sem GRH) de campos cúbicos cíclicos com números de classe pequenos. Isso serve como um banco de dados essencial para pesquisadores na área.
• Refutação/Correção: O artigo corrige e expande resultados anteriores de Lettl (1986) e Byeon (2000), identificando casos omitidos (como $m=12$ com $h_m=1$ no caso de índice 27) e fornecendo limites superiores rigorosos para $m$.
• Estrutura Algébrica: A análise detalhada da estrutura do grupo de classes (não apenas o número, mas a decomposição em grupos cíclicos) para valores específicos de $m$ oferece insights sobre como a fatoração do condutor influencia a aritmética do campo.
• Método de Verificação: A ênfase na certificação dos resultados via bnfcertify no PARI/GP eleva o padrão de rigor para estudos computacionais em teoria dos números, garantindo que as descobertas não dependam de conjecturas não provadas.

Em resumo, este artigo é uma referência definitiva para a classificação de campos cúbicos mais simples com números de classe pequenos, combinando limites teóricos profundos com poder computacional massivo e verificação rigorosa.