On the uniform dimension of subextensions in skew polynomial rings

Resumen Técnico: Sobre la dimensión uniforme de subextensiones en anillos de polinomios sesgados

Planteamiento del Problema
El artículo investiga la invariancia de la dimensión uniforme (Goldie) y conceptos relacionados, como la preservación de las condiciones de Goldie y la (semi)primeness, para las subextensiones dentro de anillos de polinomios sesgados. Específicamente, aborda el comportamiento de los subanillos $A$ generados sobre un anillo base $R$ mediante subconjuntos de términos estándar dentro de un anillo de polinomios sesgados ambiente $S = R[X; \alpha, \delta]$ o un anillo de polinomios de Laurent sesgados $S = R[X^{\pm 1}; \alpha]$.

El problema central es determinar bajo qué condiciones sobre la forma de una subextensión $A$ se cumple la igualdad $\text{udim}(A) = \text{udim}(S) = \text{udim}(R)$, y si $A$ hereda la propiedad de Goldie izquierda (dimensión uniforme finita y condición de cadena ascendente sobre anuladores izquierdos) de $R$. El autor señala que, si bien esto está bien establecido para los anillos polinómicos clásicos y las extensiones de Ore iteradas, la situación para subanillos arbitrarios de tipo "polinómico" en entornos sesgados es compleja. En contextos no conmutativos, los subanillos generados por términos estándar pueden comportarse de manera "extraña", fallando potencialmente en la preservación de la dimensión uniforme o de las condiciones de Goldie, como lo demuestran los ejemplos donde un anillo de polinomios sesgados primo de Goldie izquierda contiene un subanillo de monoide isomorfo a un anillo de polinomios no conmutativos libres (el cual tiene dimensión uniforme infinita).

Metodología
El artículo emplea un enfoque estructural que combina caracterizaciones de la teoría de módulos con construcciones algebraicas específicas adaptadas a los anillos de polinomios sesgados.

1. Estrategia de Extensión de Anillos General: El autor establece primero un marco general para extensiones de anillos arbitrarias $R \subset S$. Un concepto clave introducido es el de un subanillo esencialmente agradable (Definición 2.5). Un subanillo $A$ es esencialmente agradable en $S$ si para todo conjunto finito de elementos no nulos en $S$, existe un elemento no nulo en $A$ que mapea todos los elementos del conjunto hacia $A$. El artículo demuestra que si $A$ es un subanillo esencialmente agradable de $S$, ambos comparten la misma dimensión uniforme, y propiedades como la (semi)primeness y la condición de Goldie se preservan bajo condiciones específicas (Proposiciones 2.6 y 2.7).

2. Caso de Variables Conmutativas: Para los anillos de Laurent sesgados con variables conmutativas, el artículo utiliza el hecho de que cualquier subextensión generada por términos estándar es un anillo de monoide sesgado sobre un submonoide de un grupo abeliano libre. Al embeber estos en un anillo de Laurent sesgado más grande y utilizar las propiedades de los conjuntos de denominadores y la localización de Ore, el autor demuestra que tales subextensiones son extensiones esencialmente agradables del anillo de coeficientes, preservando así la dimensión uniforme y las propiedades de Goldie (Teoremas 3.3 y 3.5).

3. Variables No Conmutativas y Subextensiones "Esencialmente Especiales": En el caso general no conmutativo, el artículo introduce la clase de subextensiones esencialmente especiales (Definición 4.7). Estas son subanillos que son "esencialmente agradables" dentro de una "subextensión especial". Una subextensión especial se define por una forma estructural específica que involucra grados alcanzables de las variables y automorfismos inducidos en los subanillos de coeficientes.

   • La metodología depende fuertmente del concepto de polinomios $R$-agradables (Definición 4.4), donde los coeficientes comparten un anulador izquierdo común.
   • Se desarrollan lemas técnicos (4.5, 4.10, 4.11) para mostrar que, bajo la forma "especial", es posible elevar ideales izquierdos uniformes y esenciales desde el anillo base $R$ hacia la subextensión $A$.
   • Las demostraciones utilizan inducción transfinita sobre el conjunto bien ordenado de las variables y el ordenamiento lexicográfico inverso para manejar casos multivariables.

Contribuciones Clave y Resultados

• Estrategia de Invariancia General: El artículo proporciona una estrategia general (Proposición 2.4) para comparar dimensiones uniformes en extensiones de anillos arbitrarias, eliminando la suposición tácita de dimensión uniforme finita presente en trabajos anteriores (por ejemplo, Shock [Sho72]). Caracteriza los módulos con "suficientes submódulos uniformes" a través de sumas directas esenciales (Proposición 2.3).
• Variables Conmutativas: El artículo resuelve completamente el problema para las subextensiones de anillos de Laurent sesgados con variables conmutativas. Demuestra que para cualquier subextensión $A$ generada por una familia de términos estándar, $\text{udim}(A) = \text{udim}(R)$, y $A$ es de Goldie izquierda (resp. (semi)prima) si y solo si $R$ lo es (Teoremas 3.3 y 3.5).
• Variables No Conmutativas (Subextensiones Esencialmente Especiales): El resultado principal (Teorema 4.15) establece que para una subextensión esencialmente especial $A$ de un anillo de polinomios sesgados biyectivo $S$:
  • Si $R$ tiene suficientes ideales izquierdos uniformes, entonces $A$ tiene suficientes ideales izquierdos uniformes y $\text{udim}(A) = \text{udim}(R)$.
  • El ideal singular izquierdo satisface $\mathfrak{z}(A) = A \cap \mathfrak{z}(R)T$, donde $T$ es el conjunto de términos estándar.
  • Si $R$ es un anillo de Goldie izquierda (semi)primo, entonces $A$ también es un anillo de Goldie izquierda (semi)primo con la misma dimensión uniforme, siempre que $A$ sea una subextensión esencialmente especial fuerte (Teorema 4.17).
• Contraejemplos: El artículo proporciona ejemplos explícitos (Ejemplos 2.9 y 2.10) de anillos de polinomios sesgados (semi)primeros de Goldie izquierda que contienen subanillos de monoide isomorfos a anillos de polinomios no conmutativos libres. Estos subanillos tienen dimensión uniforme infinita, demostrando que la invariancia de la dimensión uniforme no se cumple para todas las subextensiones, resaltando así la necesidad de la condición de "esencialmente especial".

Significancia y Alcance
El artículo pretende extender los resultados clásicos sobre la invariancia de la dimensión uniforme (como los de Shock [Sho72], Matczuk [Mat95] y otros) a un entorno más amplio y complejo de subextensiones en anillos de polinomios sesgados. Su importancia radica en:

1. Manejo de Dimensiones Infinitas: A diferencia de trabajos previos que a menudo asumían dimensiones uniformes finitas, este artículo permite dimensiones uniformes no necesariamente finitas.
2. Generalización de Subextensiones: Va más allá de las extensiones de Ore iteradas estándar para considerar subextensiones arbitrarias generadas por subconjuntos de términos estándar, identificando una clase específica ("esencialmente especial") donde las propiedades clásicas de invariancia se mantienen.
3. Nitidez (Sharpness): Los resultados se presentan como exactos; el artículo demuestra mediante ejemplos que, sin la condición de "esencialmente especial", la preservación de la dimensión uniforme y las propiedades de Goldie falla, incluso en anillos ambientes bien comportados.

El trabajo no propone nuevas aplicaciones o propuestas experimentales, sino que proporciona un marco teórico riguroso para comprender la estabilidad estructural de las condiciones de Goldie en anillos de tipo polinómico no conmutativo.