On the uniform dimension of subextensions in skew polynomial rings

Resumo Técnico: Sobre a Dimensão Uniforme de Subextensões em Anéis de Polinômios Esquerdistos (Skew Polynomial Rings)

Enunciado do Problema
O artigo investiga a invariância da dimensão uniforme (Goldie) e conceitos relacionados, como a preservação das condições de Goldie e da (semi)primalidade, para subextensões dentro de anéis de polinômios esquerdistos, especificamente $S = R[X; \alpha, \delta]$ ou um anel de polinômios de Laurent esquerdisto $S = R[X^{\pm 1}; \alpha]$. O problema central é determinar sob quais condições sobre a forma de uma subextensão $A$ a igualdade $\text{udim}(A) = \text{udim}(S) = \text{udim}(R)$ ocorre, e se $A$ herda a propriedade Goldie à esquerda (dimensão uniforme finita e condição de cadeia ascendente em anuladores à esquerda) de $R$. O autor observa que, embora essa invariância seja bem estabelecida para anéis polinomiais clássicos e extensões de Ore iteradas, a situação para subanéis arbitrários do tipo "semelhante a polinômios" em contextos esquerdistos é complexa. Em contextos não comutativos, subanéis gerados por termos padrão podem se comportar de maneira "estranha", podendo falhar em preservar a dimensão uniforme ou as condições de Goldie, conforme demonstrado por exemplos onde um anel de polinômios esquerdisto primo Goldie à esquerda contém um subanel de monoide isomorfo a um anel de polinômios não comutativos livres (que possui dimensão uniforme infinita).

Metodologia
O artigo emprega uma abordagem estrutural combinando caracterizações de teoria de módulos com construções algébricas específicas adaptadas para anéis de polinômios esquerdistos.

1. Estratégia de Extensão de Anéis Geral: O autor primeiro estabelece um arcabouço geral para extensões de anéis arbitrárias $R \subset S$. Um conceito chave introduzido é o de um subanel precisamente essencial (Definição 2.5). Um subanel $A$ é precisamente essencial em $S$ se, para todo conjunto finito de elementos não nulos em $S$, existe um elemento não nulo em $A$ que mapeia todos os elementos do conjunto para dentro de $A$. O artigo prova que, se $A$ é um subanel precisamente essencial de $S$, eles compartilham a mesma dimensão uniforme, e propriedades como (semi)primalidade e a condição de Goldie são preservadas sob condições específicas (Proposições 2.6 e 2.7).

2. Caso de Variáveis Comutativas: Para anéis de polinômios de Laurent esquerdistos com variáveis comutativas, o artigo utiliza o fato de que qualquer subextensão gerada por termos padrão é um anel de monoide esquerdisto sobre um submonoide de um grupo abeliano livre. Ao embutir esses anéis em um anel de Laurent esquerdisto maior e utilizar as propriedades de conjuntos de denominadores e localização de Ore, o autor demonstra que tais subextensões são extensões precisamente essenciais do anel de coeficientes, preservando assim a dimensão uniforme e as propriedades de Goldie (Teoremas 3.3 e 3.5).

3. Variáveis Não Comutativas e Subextensões "Essencialmente Especiais": No caso geral não comutativo, o artigo introduz a classe de subextensões essencialmente especiais (Definição 4.7). Estas são subanéis que são "precisamente essenciais" dentro de uma "subextensão especial". Uma subextensão especial é definida por uma forma estrutural específica envolvendo graus atingíveis de variáveis e automorfismos induzidos em subanéis de coeficientes.

   • A metodologia baseia-se fortemente no conceito de polinômios $R$-legais (Definição 4.4), onde os coeficientes compartilham um anulador à esquerda comum.
   • Lemmas técnicos (4.5, 4.10, 4.11) são desenvolvidos para mostrar que, sob a forma "especial", é possível elevar ideais esquerdos uniformes e essenciais do anel base $R$ para a subextensão $A$.
   • As provas utilizam indução transfinita sobre o conjunto bem ordenado de variáveis e ordenação lexicográfica reversa para lidar com casos multivariados.

Principais Contribuições e Resultados

• Estratégia de Invariância Geral: O artigo fornece uma estratégia geral (Proposição 2.4) para comparar dimensões uniformes em extensões de anéis arbitrárias, removendo a suposição tácita de dimensão uniforme finita encontrada em trabalhos anteriores (ex: Shock [Sho72]). Ele caracteriza módulos com "ideais uniformes suficientes" via somas diretas essenciais (Proposição 2.3).
• Variáveis Comutativas: O artigo resolve completamente o problema para subextensões de anéis de polinômios de Laurent esquerdistos com variáveis comativas. Prova que, para qualquer subextensão $A$ gerada por uma família de termos padrão, $\text{udim}(A) = \text{udim}(R)$, e $A$ é Goldie à esquerda (resp. (semi)prima) se, e somente se, $R$ é (resp. (semi)prima) (Teoremas 3.3 e 3.5).
• Variáveis Não Comutativas (Subextensões Essencialmente Especiais): O principal resultado (Teorema 4.15) estabelece que, para uma subextensão essencialmente especial $A$ de um anel de polinômios esquerdisto bijetivo $S$:
  • Se $R$ possui suficientes ideais esquerdos uniformes, então $A$ possui suficientes ideais esquerdos uniformes e $\text{udim}(A) = \text{udim}(R)$.
  • O ideal singular à esquerda satisfaz $\mathfrak{z}(A) = A \cap \mathfrak{z}(R)T$, onde $T$ é o conjunto de termos padrão.
  • Se $R$ é um anel Goldie à esquerda (semi)primo e $A$ é uma subextensão essencialmente especial forte, então $A$ também é um anel Goldie à esquerda (semi)primo com a mesma dimensão uniforme (Teorema 4.17).
• Contraexemplos: O artigo fornece exemplos explícitos (Exemplos 2.9 e 2.10) de anéis de polinômios esquerdistos (semi)primos Goldie à esquerda contendo subanéis de monoides isomorfos a anéis de polinômios não comutativos livres. Esses subanéis possuem dimensão uniforme infinita, demonstrando que a invariância da dimensão uniforme não se aplica a todas as subextensões, destacando assim a necessidade da condição "essencialmente especial".

Significância e Escopo
O artigo afirma estender resultados clássicos sobre a invariância da dimensão uniforme (como os de Shock [Sho72], Matczuk [Mat95] e outros) para um cenário mais amplo e complexo de subextensões em anéis de polinômios esquerdistos. Sua significância reside em:

1. Lidar com Dimensões Infinitas: Diferente de trabalhos anteriores que frequentemente assumiam dimensões uniformes finitas, este artigo permite dimensões uniformes não necessariamente finitas.
2. Generalização de Subextensões: Vai além das extensões de Ore iteradas padrão para considerar subextensões arbitrárias geradas por subconjuntos de termos padrão, identificando uma classe específica ("essencialmente especial") onde as propriedades clássicas de invariância se mantêm.
3. Nitidez (Sharpness): Os resultados são apresentados como precisos; o artigo demonstra através de exemplos que, sem a condição "essencialmente especial", a preservação da dimensão uniforme e das propriedades de Goldie falha, mesmo em anéis ambientes bem comportados.

O trabalho não propõe novas aplicações ou propostas experimentais, mas fornece um arcabouço teórico rigoroso para compreender a estabilidade estrutural das condições de Goldie em anéis não comutativos do tipo polinomial.