On a $q$-Skew Amitsur's Theorem

Resumen Técnico: Sobre un Teorema de Amitsur q-Desviado

Planteamiento del Problema
El artículo aborda la estructura del radical de Jacobson, denotado $J(R[x; \sigma, \delta])$, en extensiones de Ore $R[x; \sigma, \delta]$. Específicamente, investiga si la intersección de este radical con el anillo base $R$, denotada $J(R[x; \sigma, \delta]) \cap R$, es un ideal nil (un ideal donde cada elemento es nilpotente). Esta indagación se enmarca como una generalización del teorema de Amitsur de 1956 para anillos de polinomios estándar, donde $J(R[x]) = (J(R[x]) \cap R)[x]$ y la intersección es un ideal nil.

El artículo se centra en el caso donde la extensión de Ore está definida por un automorfismo $\sigma$ y una $\sigma$-derivación $\delta$. Las condiciones específicas bajo estudio son:

1. $R$ es un álgebra sobre un cuerpo no numerable $k$.
2. $\sigma$ es un automorfismo localmente de torsión (para cada $a \in R$, $\sigma^n(a) = a$ para algún $n$).
3. $\delta$ es una $\sigma$-derivación localmente nilpotente (para cada $a \in R$, $\delta^n(a) = 0$ para algún $n$).
4. La derivación es q-desviada, lo que significa que $q\sigma\delta = \delta\sigma$ para algún escalar no nulo $q \in k$.

Este trabajo responde parcialmente a una pregunta abierta planteada por Greenfeld, Smoktunowicz y Ziembowski (2019) sobre si $J(R[x; \sigma, \delta]) \cap R$ es nil bajo las suposiciones de $\delta$ localmente nilpotente y $\sigma$ localmente de torsión.

Metodología
La estrategia de prueba sigue el enfoque establecido por Smoktunowicz y Ziembowski (2014) para el caso de derivaciones ($\sigma=1$), adaptado al entorno q-desviado. La metodología se basa en varios componentes técnicos clave:

• Cuasi-invertibilidad en Series de Potencias: El autor utiliza el hecho de que si un elemento está en el radical de Jacobson del anillo de polinomios, es cuasi-invertible. Al extender la multiplicación al anillo de series de potencias de Ore $R[[x; \sigma, \delta]]$ (que está bien definido debido a la nilpotencia local de $\delta$), la cuasi-inversa puede expresarse como una serie formal $f = \sum (-ax^n)^i$.
• Análisis de Grado y Extracción de Coeficientes: La prueba analiza los coeficientes de potencias de elementos de la forma $ax^n$. Utilizando una expansión generalizada del binomio q (Proposición 4) y fórmulas iterativas para $(ax^n)^m$ (Lema 5), el autor deriva cotas sobre el grado de nilpotencia de los elementos bajo la acción de $\delta$ y $\sigma$ (Lema 6).
• Independencia Lineal sobre Cuerpos No Numerables: Un paso crítico implica considerar las cuasi-inversas de $\lambda ax^n$ para escalares variables $\lambda \in k$. Dado que $k$ es no numerable, el autor emplea un argumento de matriz de Vandermonde. Al demostrar que el grado de la cuasi-inversa está acotado para infinitos $\lambda$, se deduce que ciertos coeficientes de alto grado en la expansión deben anularse.
• Propiedad de Torsión Local: La anulación de estos coeficientes conduce a una relación de la forma $a\sigma^n(a)\sigma^{2n}(a)\cdots\sigma^{(d-1)n}(a) = 0$. La naturaleza localmente de torsión de $\sigma$ se utiliza entonces para seleccionar un $n$ que sea un múltiplo del orden de $a$, forzando que el producto se convierta en una potencia de $a$ (específicamente $a^d$), demostrando así la nilpotencia.

Resultados Clave
El artículo establece el siguiente teorema principal y corolario:

• Teorema 1: Sea $R$ un álgebra $k$ sobre un cuerpo no numerable $k$, $\sigma$ un automorfismo localmente de torsión, y $\delta$ una $\sigma$-derivación localmente nilpotente y q-desviada. Entonces el conjunto $I = \{a \in R : ax^t \in J(R[x; \sigma, \delta])\}$ es un ideal nil de $R$ para cualquier $t \in \mathbb{N}$.

  • Significado: Esto confirma que para cualquier elemento $a$ en la intersección $J(R[x; \sigma, \delta]) \cap R$, $a$ es nilpotente. Esto proporciona una respuesta afirmativa parcial a la Pregunta 6.17 en [GSZ19].

• Corolario 10 (Teorema de Amitsur q-Desviado): Si además se asume que el cuerpo $k$ es de característica cero, entonces se cumple la propiedad completa de Amitsur:
  $$J(R[x; \sigma, \delta]) = (J(R[x; \sigma, \delta]) \cap R)[x; \sigma, \delta]$$
  y $J(R[x; \sigma, \delta]) \cap R$ es un ideal nil de $R$.

  • Derivación: Este resultado combina el Teorema 1 con un resultado de 2024 de Shin, que caracteriza el radical de Jacobson en característica cero para extensiones q-desviadas.

Significado y Alcance
El artículo afirma proporcionar una resolución parcial a la pregunta de si el radical de Jacobson de una extensión de Ore interseca al anillo base en un ideal nil, específicamente bajo las condiciones de un cuerpo no numerable, un automorfismo localmente de torsión y una derivación localmente nilpotente q-desviada.

El autor señala explícitamente que el resultado es "parcial" porque depende de que el cuerpo sea no numerable y, para la propiedad completa de Amitsur (Corolario 10), de que el cuerpo tenga característica cero. El artículo no afirma resolver el caso general para cuerpos arbitrarios ni para casos donde no se cumple la condición q-desviada ($q\sigma\delta = \delta\sigma$).

Preguntas Abiertas y Direcciones Futuras
El artículo concluye destacando los problemas abiertos restantes, manteniendo una postura modesta sobre el alcance actual de los resultados:

1. Si $J(R[x; \sigma, \delta]) \cap R$ es siempre el nilradical (el mayor ideal nil) en el contexto del Corolario 10.
2. Si el Teorema 1 se mantiene si se elimina la condición q-desviada ($q\sigma\delta \neq \delta\sigma$).
3. Si el Corolario 10 se mantiene si $\sigma$ es solo localmente finito en lugar de localmente de torsión.
4. Si $J(R[x; \delta]) \cap R$ es nil para álgebras sobre cuerpos de característica cero cuando $\sigma=1$ (el caso estándar de derivación).

El autor conjetura que estas preguntas podrían responderse afirmativamente, pero señala que permanecen abiertas.