On canonical roots of fractional ideals

Resumo Técnico: Sobre Raízes Canônicas de Ideais Fracionários

Enunciado do Problema
O artigo aborda o problema algorítmico de computar raízes de ideais fracionários dentro de ordens de corpos numéricos. Embora existam algoritmos eficientes de tempo polinomial para computar raízes de elementos em um corpo numérico $K$ e para computar raízes de ideais invertíveis na ordem máxima de $K$ (especificamente o algoritmo de Belabas–Simon), uma barreira significativa permanece: computar a ordem máxima em si não é, em geral, passível de ser feito em tempo polinomial (comparável à dificuldade da fatoração de inteiros).

Consequentemente, os algoritmos devem operar em ordens arbitrárias $R$, que podem conter divisores de zero e não são necessariamente domínios de Dedekind. Isso introduz duas obstruções primárias:

1. Existência: Um ideal $\mathfrak{a}$ em uma ordem $R$ pode carecer de uma $n$-ésima raiz dentro de $R$, mas possuir uma em uma ordem maior $S$ (por exemplo, a ordem máxima).
2. Unicidade e Functorialidade: Mesmo que uma $n$-ésima raiz exista em $R$, ela pode não ser única ou característica (fixa por automorfismos que fixam $\mathfrak{a}$). O artigo argumenta que exigir raízes únicas para todos os ideais permitiria a computação em tempo polinomial da ordem máxima, o que se acredita ser impossível.

Para resolver essas questões, o autor busca um algoritmo functorial. Em vez de retornar uma raiz única dentro da ordem de entrada, o algoritmo deve retornar um par $(S, \mathfrak{b})$ onde $R \subseteq S \subseteq Q(R)$ e $\mathfrak{b}^n = S\mathfrak{a}$, de modo que o mapeamento respeite isomorfismos entre as entradas.

Metodologia
O artigo generaliza os resultados de Dade–Taussky–Zassenhaus e Ge/Buchmann–Eisenbrand para uma classe mais ampla de anéis (anéis comutativos livres de posto finito como $\mathbb{Z}$-módulos, potencialmente contendo divisores de zero). A metodologia baseia-se em três pilares técnicos principais:

1. Blowups e Invertibilidade:
   O artigo define o "blowup" de uma ordem $R$ em um ideal fracionário $\mathfrak{a}$ como o subanel mínimo único $S$ de $Q(R)$ tal que $S\mathfrak{a}$ se torne um ideal invertível de $S$.

   • Teorema 5.11 estabelece que, para um anel noetheriano $R$ de dimensão de Krull $\le 1$ com corpo total de frações artiniano, este anel mínimo $S$ existe e é dado explicitamente por $S = \mathfrak{a}^n : \mathfrak{a}^n$ para um $n$ suficientemente grande (especificamente $n+1 \ge n(\mathfrak{a})$, onde $n(\mathfrak{a})$ limita o número de geradores das localizações).
   • Teorema 5.12 fornece um algoritmo de tempo polinomial para computar esta ordem mínima $S$ e o ideal invertível resultante.

2. Refinamento de Fatores (Bases Coprimas):
   Para lidar com a decomposição de ideais, o artigo adapta o conceito de uma "base coprima" (um conjunto de ideais invertíveis pairwise coprimos que geram o grupo de ideais).

   • Teorema 6.8 apresenta um algoritmo de tempo polinomial que, dado um conjunto finito de ideais fracionários $X$, computa a ordem mínima $S$ tal que o conjunto $\{S\mathfrak{a} \mid \mathfrak{a} \in X\}$ admita uma base coprima e, subsequentemente, computa essa base mínima. Isso envolve o alargamento iterativo da ordem para resolver a não-coprimalidade.

3. Computação de Raiz Functorial:
   O algoritmo central (Teorema 7.5) combina as ferramentas acima com uma estratégia recursiva:

   • Primeiro, garante que os ideais sejam invertíveis computando o blowup apropriado.
   • Decompõe os ideais em componentes coprimos usando o algoritmo de refinamento de fatores.
   • Utiliza um resultado (Teorema 7.2) afirmando que, se $R/\mathfrak{a}$ é finito-étalo sobre $\mathbb{Z}/(\mathfrak{a} \cap \mathbb{Z})$, as raízes de $\mathfrak{a}$ em uma extensão $S$ descendem para raízes na estrutura do anel base, permitindo que o expoente da raiz máxima seja determinado.
   • O algoritmo resolve recursivamente o problema para componentes coprimos e combina os resultados via o máximo divisor comum dos expoentes.

Contribuições Principais e Resultados

• Teorema 1.2 (Resultado Principal): Existe um algoritmo de tempo polinomial, $F$, que, dado uma ordem $R$ e um ideal fracionário $\mathfrak{a}$, computa o maior inteiro $n$ (em relação à divisibilidade) tal que exista uma ordem $S$ e um ideal $\mathfrak{b}$ com $\mathfrak{b}^n = S\mathfrak{a}$. O algoritmo retorna a tríade $(n, S, \mathfrak{b})$.
• Generalização da Teoria: O artigo estende a teoria de blowups e refinamento de fatores para anéis com divisores de zero e sem assumir a existência de um fechamento integral finitamente gerado (domínio de Dedekind).
• Detecção de Torção: O artigo fornece um algoritmo (Proposição 5.15) para detectar se um ideal invertível é de torção (isto é, $\mathfrak{a}^\ell = R$) e, se for o caso, computa a ordem mínima onde o ideal se torna o ideal unidade.
• Impossibilidade de Unicidade: O artigo prova (Proposição 7.10) que, se uma ordem $R$ fosse tal que todos os ideais fracionários tivessem raízes únicas (implicando que o grupo de ideais é livre de torção), seria possível computar a ordem máxima do corpo numérico em tempo polinomial. Isso justifica a necessidade da abordagem "functorial" (retornando uma extensão $S$) em vez de buscar raízes únicas dentro de $R$.

Significado e Alegações
O artigo afirma fornecer uma solução completa para o problema de computar raízes canônicas de ideais fracionários em ordens arbitrárias sem exigir a ordem máxima ou dados adicionais de ramificação (os quais o algoritmo de Belabas–Simon requer).

• Comparação com Trabalhos Anteriores: Diferente do algoritmo de Belabas–Simon, que é restrito a ordens máximas e requer dados extras, este algoritmo funciona para ordens arbitrárias e é autossuficiente.
• Consistência Comportamental: O autor observa que, para entradas onde ambos os algoritmos se aplicam (ou seja, ordens máximas), o comportamento é essencialmente o mesmo, pois ambos dependem da fatoração do ideal baseada na estrutura da álgebra de $R/\mathfrak{a}$.
• Modéstia: O autor afirma explicitamente que a generalização dos resultados existentes (Dade–Taussky–Zassenhaus, Ge, Buchmann–Eisenbrand) para anéis com divisores de zero é a principal contribuição técnica, enquanto a estrutura algorítmica central segue paradigmas estabelecidos. O artigo não pretende resolver o problema geral de fatoração, mas sim alavancar as propriedades estruturais das ordens para computar raízes de forma eficiente.

Em resumo, o artigo estabelece que, embora raízes únicas possam não existir em uma determinada ordem, uma raiz "canônica" pode ser computada em tempo polinomial ao estender functorialmente a ordem para um anel mínimo onde a raiz existe e é bem definida.