On canonical roots of fractional ideals

Resumen Técnico: Sobre las Raíces Canónicas de Ideales Fraccionarios

Planteamiento del Problema
El artículo aborda el problema algorítmico de computar raíces de ideales fraccionarios dentro de órdenes de campos numéricos. Si bien existen algoritmos eficientes de tiempo polinómico para computar raíces de elementos en un campo numérico $K$ y para computar raíces de ideales invertibles en la orden máxima de $K$ (específicamente el algoritmo de Belabas–Simon), una barrera significativa persiste: computar la orden máxima misma no es generalmente factible en tiempo polinómico (comparable a la dificultad de la factorización de enteros).

Consecuentemente, los algoritmos deben operar sobre órdenes arbitrarias $R$, que pueden contener divisores de cero y no son necesariamente dominios de Dedekind. Esto introduce dos obstrucciones primarias:

1. Existencia: Un ideal $\mathfrak{a}$ en una orden $R$ puede carecer de una $n$-ésima raíz dentro de $R$, pero poseer una en una orden mayor $S$ (por ejemplo, la orden máxima).
2. Unicidad y Functorialidad: Incluso si una $n$-ésima raíz existe en $R$, esta puede no ser única ni característica (fija por los automorfismos que fijan $\mathfrak{a}$). El artículo argumenta que requerir raíces únicas para todos los ideales permitiría la computación en tiempo polinómico de la orden máxima, lo cual se cree es imposible.

Para resolver estos problemas, el autor busca un algoritmo functorial. En lugar de devolver una raíz única dentro de la orden de entrada, el algoritmo debe devolver un par $(S, \mathfrak{b})$ donde $R \subseteq S \subseteq Q(R)$ y $\mathfrak{b}^n = S\mathfrak{a}$, de tal manera que el mapeo respete los isomorfismos entre las entradas.

Metodología
El artículo generaliza los resultados de Dade–Taussky–Zassenhaus y Ge/Buchmann–Eisenbrand a una clase más amplia de anillos (anillos conmutativos libres de rango finito como $\mathbb{Z}$-módulos, que potencialmente contienen divisores de cero). La metodología se apoya en tres pilares técnicos principales:

1. Blowups (Soplados) e Invertibilidad:
   El artículo define el "blowup" de una orden $R$ en un ideal fraccionario $\mathfrak{a}$ como la suborden $S$ mínima y única de $Q(R)$ tal que $S\mathfrak{a}$ sea un ideal invertible de $S$.

   • Teorema 5.11 establece que para un anillo noetheriano $R$ de dimensión de Krull $\le 1$ con cuerpo de fracciones artiniano, este anillo mínimo $S$ existe y viene dado explícitamente por $S = \mathfrak{a}^n : \mathfrak{a}^n$ para un $n$ suficientemente grande (específicamente $n+1 \ge n(\mathfrak{a})$, donde $n(\mathfrak{a})$ acota el número de generadores de las localizaciones).
   • Teorema 5.12 proporciona un algoritmo de tiempo polinómico para computar esta orden mínima $S$ y el ideal invertible resultante.

2. Refinamiento de Factores (Bases Coprimas):
   Para manejar la descomposición de ideales, el artículo adapta el concepto de una "base coprima" (un conjunto de ideales invertibles pairwise coprimos que generan el grupo de ideales).

   • Teorema 6.8 presenta un algoritmo de tiempo polinómico que, dado un conjunto finito de ideales fraccionarios $X$, computa la orden mínima $S$ tal que el conjunto $\{S\mathfrak{a} \mid \mathfrak{a} \in X\}$ admita una base coprima, y posteriormente computa esa base mínima. Esto implica ampliar iterativamente la orden para resolver la no-coprimidad.

3. Computación de Raíces Functoriales:
   El algoritmo central (Teorema 7.5) combina las herramientas anteriores con una estrategia recursiva:

   • Primero asegura que los ideales sean invertibles mediante el cálculo del blowup apropiado.
   • Descompone los ideales en componentes coprimos utilizando el algoritmo de refinamiento de factores.
   • Utiliza un resultado (Teorema 7.2) que establece que si $R/\mathfrak{a}$ es un álgebra finita-étale sobre $\mathbb{Z}/(\mathfrak{a} \cap \mathbb{Z})$, las raíces de $\mathfrak{a}$ en una extensión $S$ descienden a raíces en la estructura del anillo base, permitiendo determinar el exponente de la raíz máxima.
   • El algoritmo resuelve recursivamente el problema para los componentes coprimos y combina los resultados mediante el máximo común divisor de los exponentes.

Contribuciones Clave y Resultados

• Teorema 1.2 (Resultado Principal): Existe un algoritmo de tiempo polinómico funcional $F$ que, dado una orden $R$ y un ideal fraccionario $\mathfrak{a}$, computa el entero máximo $n$ (con respecto a la divisibilidad) tal que exista una orden $S$ y un ideal $\mathfrak{b}$ con $\mathfrak{b}^n = S\mathfrak{a}$. El algoritmo devuelve la terna $(n, S, \mathfrak{b})$.
• Generalización de la Teoría: El artículo extiende la teoría de blowups y refinamiento de factores a anillos con divisores de cero y sin asumir la existencia de un cierre integral finitamente generado (dominio de Dedekind).
• Detección de Torsión: El artículo proporciona un algoritmo (Proposición 5.15) para detectar si un ideal invertible es de torsión (es decir, $\mathfrak{a}^\ell = R$) y, de ser así, computa la orden mínima donde el ideal se convierte en el ideal unidad.
• Imposibilidad de la Unicidad: El autor demuestra (Proposición 7.10) que si una orden $R$ fuera tal que todos los ideales fraccionarios tuvieran raíces únicas (implicando que el grupo de ideales es libre de torsión), se podría computar la orden máxima del campo numérico en tiempo polinómico. Esto justifica la necesidad del enfoque "functorial" (devolver una extensión $S$) en lugar de buscar raíces únicas dentro de $R$.

Significancia y Reivindicaciones
El artículo afirma proporcionar una solución completa al problema de computar raíces canónicas de ideales fraccionarios en órdenes arbitrarias sin requerir la orden máxima ni datos adicionales de ramificación (que el algoritmo de Belabas–Simon requiere).

• Comparación con el Trabajo Previo: A diferencia del algoritmo de Belabas–Simon, que está restringido a órdenes máximas y requiere datos adicionales, este algoritmo funciona para órdenes arbitrarias y es autónomo.
• Consistencia de Comportamiento: El autor señala que para las entradas donde ambos algoritmos son aplicables (es decir, órdenes máximas), el comportamiento es esencialmente el mismo, ya que ambos dependen de la factorización del ideal basada en la estructura del álgebra de $R/\mathfrak{a}$.
• Modestia: El autor establece explícitamente que la generalización de los resultados existentes (Dade–Taussky–Zassenhaus, Ge, Buchmann–Eisenbrand) a anillos con divisores de cero es la principal contribución técnica, mientras que la estructura algorítmica central sigue paradigmas establecidos. El artículo no pretende resolver el problema general de factorización, sino que aprovecha las propiedades estructurales de las órdenes para computar raíces eficientemente.

En resumen, el artículo establece que, si bien las raíces únicas pueden no existir en una orden dada, una raíz "canónica" puede computarse en tiempo polinómico extendiendo la orden de forma functorial a un anillo mínimo donde la raíz existe y está bien definida.