Resumen Técnico: Criba de Obstrucciones de Primos de Eisenstein para la Monogenicidad

1. El Problema: Monogenicidad vs. Monogenicidad-$\alpha$

El estudio de la monogenicidad en la teoría de números busca determinar si el anillo de enteros $\mathcal{O}_K$ de un cuerpo de números $K$ posee una base integral de potencias, es decir, si $\mathcal{O}_K = \mathbb{Z}[\theta]$ para algún $\theta \in \mathcal{O}_K$.

Un problema central es la distinción entre:

• Monogenicidad: La existencia de algún generador $\theta$.
• Monogenicidad-$\alpha$: La condición de que un generador específico $\alpha$ (en este caso, la raíz de un polinomio puro $X^n - m$) sea el generador de la base integral ($\mathcal{O}_K = \mathbb{Z}[\alpha]$).

El trabajo parte de un resultado de Alpoge–Bhargava–Shnidman (ABS), que demostró que en familias genéricas de cuerpos cúbicos y cuárticos, la ausencia de obstrucciones locales (condición de solvabilidad local de signo fijo) no garantiza la monogenicidad global. El autor investiga si este fenómeno de "falla del principio local-global" persiste en las familias de Eisenstein (campos puros $K_m = \mathbb{Q}(\sqrt[n]{m})$), donde la estructura local está altamente restringida.

2. Metodología: La Criba de Obstrucciones de Primos de Eisenstein

La contribución metodológica principal es la introducción de un mecanismo modular denominado "Eisenstein-prime obstruction sieve" (Criba de obstrucciones de primos de Eisenstein). El proceso se divide en tres etapas:

1. Rigidez Local (Local Rigidity): Utilizando la teoría de esquemas de generadores de ABHS, el autor demuestra que en un DVR (anillo de valoración discreta) con grado de residuo 1, el conjunto de valores de la forma de índice para los generadores locales forma una única clase de coset en $R^\times / (R^\times)^N$. Esto significa que la solvabilidad local está "atada" a una clase de Kummer específica.
2. Certificados de Obstrucción mediante Primos de Eisenstein: En la familia de campos puros, cualquier primo $q$ que divida al parámetro $m$ es un primo de Eisenstein para el polinomio $X^n - m$. El autor demuestra que un solo primo de Eisenstein puede "certificar" una obstrucción local si el índice global $g(m)$ no es un $N$-ésimo residuo módulo $q$.
3. Cierre de la Criba (Sieve Closure): Mediante el Teorema de Densidad de Chebotarev, se demuestra que existe un conjunto de primos $P_g$ de densidad positiva tales que, si un parámetro $m$ es divisible por un primo de $P_g$, entonces $K_m$ presenta una obstrucción local de signo fijo. Aplicando técnicas de cribado clásicas, se concluye que el conjunto de parámetros que evitan estos primos tiene densidad natural cero.

3. Resultados Principales

• Identificación de Densidades (Teoremas 1.1 y 1.2): Para campos puros de grado $n \geq 4$, el autor demuestra que la monogenicidad y la monogenicidad-$\alpha$ tienen la misma densidad natural. Esto es sorprendente porque, aunque $\alpha$ no es el único candidato a generador, en términos de densidad, la probabilidad de que el campo sea monogénico es la misma que la de que $\alpha$ sea el generador.
• Densidad Explícita: El autor proporciona la fórmula exacta para la densidad de monogenicidad en la familia pura:
  $$\delta = \frac{6}{\pi^2} \prod_{p|n} \frac{p}{p+1}$$
• Generalización a Familias de Eisenstein Escaladas (Teorema 1.3): El método no se limita a campos puros. Se demuestra que para familias de la forma $X^n + t \cdot h(X)$, el resultado de densidad cero se mantiene siempre que se cumplan dos condiciones: que los valores del índice sean finitos y que la extensión de Kummer asociada sea no trivial.
• Límites del Principio Local-Global: El autor construye contraejemplos (familias delgadas) para mostrar que la no trivialidad de la extensión de Kummer es una condición necesaria para que la criba funcione.

4. Significado e Impacto

Este trabajo es significativo por varias razones:

1. Contraste Geométrico: Revela que el principio local-global para la monogenicidad es extremadamente sensible a la geometría de la familia. Mientras que las familias genéricas (espacios de parámetros de alta dimensión) muestran fallas masivas del principio local-global, las familias de Eisenstein (unidimensionales y con ramificación controlada) exhiben un principio local-global a nivel de densidad.
2. Herramienta Reutilizable: La "Criba de Primos de Eisenstein" es un marco teórico que puede transferirse a otras familias de polinomios donde la ramificación sea predecible (como familias de Newton-polígono o extensiones de Kummer).
3. Avance en Estadística Aritmética: Proporciona una respuesta definitiva a la pregunta de si la monogenicidad es un fenómeno puramente local en familias de un solo parámetro con estructura de Eisenstein, cerrando la brecha entre la teoría de bases integrales explícitas y la estadística de campos de números.