Eisenstein-prime Obstruction Sieve for Monogenicity

Resumo Técnico: Crivo de Obstrução de Primos de Eisenstein para Monogenicidade

Autor: Khai-Hoan Nguyen-Dang
Data: Fevereiro de 2026

1. O Problema

O artigo investiga a monogenicidade de corpos numéricos, especificamente o problema de determinar se o anel de inteiros $\mathcal{O}_K$ de um corpo $K$ possui uma base integral de potência (ou seja, se $\mathcal{O}_K = \mathbb{Z}[\theta]$ para algum $\theta \in \mathcal{O}_K$).

O ponto de partida é um fenômeno observado por Alpoge, Bhargava e Shnidman (ABS), que demonstraram que, em famílias genéricas de corpos cúbicos e quárticos, a ausência de obstruções locais (condições de solvabilidade local) não garante a monogenicidade global. Isso indica uma falha no princípio local-global para a monogenicidade em espaços de parâmetros de alta dimensão.

A questão central deste trabalho é: esse fenômeno de falha local-global persiste dentro de famílias de um único parâmetro onde a estrutura local é altamente restrita? O autor foca na família de corpos puros $K_m = \mathbb{Q}(\sqrt[n]{m})$ para $n \geq 4$, onde $m$ é um inteiro livre de quadrados.

2. Metodologia: O Crivo de Obstrução de Primos de Eisenstein

A principal contribuição metodológica é a introdução do "Eisenstein-prime obstruction sieve" (Crivo de obstrução de primos de Eisenstein). O método não é um cálculo caso a caso, mas uma estratégia de crivo modular composta por três etapas:

1. Rigidez Local: Utilizando a teoria de Kummer, o autor prova que, em um DVR (Anel de Valoração Discreta) com grau de resíduo 1, o conjunto de valores do índice local para geradores é um único cosseno de um grupo de $N$-ésimas potências. Isso significa que a solvabilidade local é "rígida" e pode ser codificada por uma classe de obstrução em $H^1(\text{Spec } R, \mu_N)$.
2. Certificados de Obstrução via Primos de Eisenstein: Na família de corpos puros, qualquer primo $q$ que divide o parâmetro $m$ torna o polinômio $X^n - m$ um polinômio de Eisenstein. O autor demonstra que um único primo de Eisenstein pode "certificar" uma obstrução local se o índice global $g(m)$ não for uma $N$-ésima potência módulo $q$.
3. Fechamento do Crivo via Teorema de Chebotarev: Através da teoria de Kummer e do Teorema de Densidade de Chebotarev, o autor mostra que existe um conjunto de primos de densidade positiva ($P_g$) que, se dividirem o parâmetro $m$, forçam uma obstrução local de sinal fixo (condição ABS). Como a densidade de inteiros que evitam um conjunto de primos com soma de inversos divergente ($\sum 1/q = \infty$) é zero, a maioria dos parâmetros terá essa obstrução.

3. Principais Resultados

O artigo apresenta três resultados fundamentais:

• Teorema 1.1 e 1.2 (Identificação de Densidade): Para $n \geq 4$, a condição de solvabilidade local de sinal fixo (ABS) é genericamente incompatível com a falha de monogenicidade na família de corpos puros. Consequentemente, a monogenicidade e a $\alpha$-monogenicidade (onde o gerador é especificamente $\sqrt[n]{m}$) têm a mesma densidade natural.
• Densidade Explícita: O autor fornece a fórmula exata para a densidade de monogenicidade na família de corpos puros para $n \geq 4$:
  $$\delta = \frac{6}{\pi^2} \prod_{p|n} \frac{p}{p+1}$$
• Generalização para Famílias de Eisenstein Escaladas (Teorema 1.3): O método é provado como um "template" aplicável a outras famílias de polinômios do tipo $X^n + t \cdot h(X)$, desde que satisfaçam condições de finitude de índice e não-trivialidade de Kummer.

4. Significância e Conclusões

A importância deste trabalho reside na distinção entre a geometria de famílias genéricas e famílias estruturadas:

1. Sensibilidade Geométrica: Enquanto famílias genéricas (alta dimensão) exibem abundantes falhas do princípio local-global, as famílias de Eisenstein (baixa dimensão/restritas) exibem um princípio local-global em nível de densidade.
2. Contraste de Graus: O autor nota que para $n=2, 3$, a monogenicidade e a $\alpha$-monogenicidade possuem densidades diferentes, mas para $n \geq 4$, elas colapsam para a mesma densidade.
3. Limitações do Método: O autor também constrói contraexemplos (famílias "finas" como conjuntos de primos) para mostrar que a hipótese de não-trivialidade de Kummer é essencial, pois se o índice for uma potência perfeita, a obstrução de Chebotarev desaparece.

Em suma, o artigo fornece uma ferramenta poderosa para estudar a distribuição estatística de propriedades aritméticas em famílias de corpos numéricos, provando que, em certas estruturas, as condições locais são determinantes para o comportamento global em termos de densidade.