On Isotropy Groups of Quantum Weyl Algebras and Jordanian Plane

Resumen Técnico: Grupos de Isotropía de la Álgebra de Weyl Cuántica y el Plano Jordaniano

Planteamiento del Problema
Este artículo investiga los grupos de isotropía de las derivaciones en dos álgebras no conmutativas específicas: el álgebra de Weyl cuántica $A_1^q(k)$ y el plano Jordaniano $\Lambda_2(k)$. El objeto central de estudio es el grupo de isotropía de una derivación $\delta$, definido como el subgrupo de automorfismos $\rho$ que conmutan con $\delta$ (es decir, $\rho \delta \rho^{-1} = \delta$), sujeto a la restricción de que $\rho$ también debe conmutar con el automorfismo subyacente $\sigma$ si $\delta$ es una $\sigma$-derivación. Los autores pretenden determinar la estructura de estos grupos de forma explícita y utilizarlos para distinguir las propiedades estructurales de los dos álgebras, las cuales, a pesar de ser ambas álgebras cuadráticas de dos generadores, son conocidas por no ser isomórficas.

Metodología
Los autores emplean una combinación de teoremas de clasificación, computación directa y descomposición estructural:

1. Álgebra de Weyl Cuántica ($A_1^q(k)$):

   • Clasificación: El estudio se basa en la clasificación de Brzeziński para las $\sigma$-derivaciones de $A_1^q(k)$ donde $q$ no es una raíz de la unidad. El grupo de automorfismos de este álgebra se restringe a automorfismos diagonales $\rho_\beta(x) = \beta^{-1}x, \rho_\beta(y) = \beta y$.
   • Descomposición: Los autores descomponen el espacio de las $\sigma$-derivaciones en una suma directa de subespacios: derivaciones internas ($Inn_\sigma$), una familia específica de derivaciones no internas asociadas con polinomios en $h=1-yx$($H_\mu$), y una familia de derivaciones no internas asociadas con monomios en $x$ e $y$ ($P_\mu$).
   • Fórmula de Intersección: Utilizando un lema general, prueban que el grupo de isotropía de una $\sigma$-derivación arbitraria es la intersección de los grupos de isotropía de sus componentes no nulas en esta descomposición.
   • Análisis Aritmético: Para cada componente, derivan condiciones explícitas sobre el parámetro $\beta$ del automorfismo $\rho_\beta$, reduciendo a menudo el problema a condiciones aritméticas que involucran raíces de la unidad y el máximo común divisor (mcd) de los exponentes.

2. Plano Jordaniano ($\Lambda_2(k)$):

   • Estructura de Automorfismos y Derivaciones: Los autores utilizan descripciones conocidas del grupo de automorfismos (tipo triangular: $\phi(x) = \gamma x + g(y), \phi(y) = \gamma y$) y las derivaciones (incluyendo las internas y las localmente nilpotentes).
   • Criterios de Conmutatividad: Establecen una condición necesaria y suficiente para que un automorfismo pertenezca al grupo de isotropía de una derivación interna: $\rho(w) - w \in k$.
   • Computación Explícita: Aplican este criterio a las derivaciones internas monomiales y a las derivaciones localmente nilpotentes (definidas por $\delta(y)=0, \delta(x)=p(y)$) para calcular sus grupos de isotropía específicos.

Contribuciones Clave y Resultados

• Álgebra de Weyl Cuántica:

  • Grupos de Isotropía Explícitos: El artículo proporciona descripciones aritméticas de los grupos de isotropía para todas las familias de $\sigma$-derivaciones.
    • Para las derivaciones no internas de tipo 2a (que involucran $f(h)$), el grupo de isotropía es el grupo de automorfismos completo $Aut(R)$ si la derivación es interna, o es trivial/restringido basado en condiciones específicas de raíces de la unidad si es no interna.
    • Para las derivaciones de tipo 2b (que involucran $h^d b(y)$ y $h^d a(x)$), el grupo de isotropía es isomorfo a un grupo cíclico $Z_d$, donde $d$ es el máximo común divisor de los exponentes en los polinomios $a(x)$ y $b(y)$ más uno.
    • Para las derivaciones internas $ad_w$, el grupo de isotropía está determinado por el mcd del conjunto $S = \{j-i \mid c_{i,j} \neq 0\}$. Si $\gcd(S) = 0$, el grupo es $k^*$; si $\gcd(S) = d > 1$, es $Z_d$; si $\gcd(S) = 1$, es trivial.
  • Teorema de Intersección: Los autores prueban que para cualquier $\sigma$-derivación $\delta$, su grupo de isotropía es la intersección de los grupos de isotropía de sus componentes no nulas en la descomposición $Der_\sigma(R) = Inn_\sigma(R) \oplus H_\mu \oplus P_\mu$.

• Plano Jordaniano:

  • Derivaciones Internas Monomiales: Se caracteriza el grupo de isotropía de $ad_{x^m y^n}$. Para $m \ge 1$ y $(m,n) \neq (1,0)$, el grupo es isomorfo a $Z_{m+n}$ (que consiste en automorfismos con $\gamma^{m+n}=1$ y $g(y)=0$).
  • Derivaciones Localmente Nilpotentes: Para las derivaciones definidas por $\delta_p(y)=0$ y $\delta_p(x)=p(y)$, el grupo de isotropía consiste en automorfismos $\phi_{\gamma, g}$ que satisfacen $p(\gamma y) = \gamma p(y)$.
  • Subgrupos Triangulares: Un hallazgo significativo es que el grupo de isotropía de la derivación localmente nilpotente $\delta_1$ (donde $p(y)=1$) es isomorfo al grupo aditivo de los polinomios $(k[y], +)$, el cual forma un subgrupo triangular de dimensión infinita.

Significancia y Distinción Estructural
El artículo concluye que la colección de grupos de isotropía sirve como un invariante natural que refleja las diferencias estructurales entre las dos álgebras:

• En el álgebra de Weyl cuántica (con $q$ no siendo una raíz de la unidad), el grupo de automorfismos es unidimensional (un toro $k^*$). En consecuencia, todos los grupos de isotropía de las derivaciones están restringidos a ser subgrupos de este toro, típicamente grupos cíclicos finitos o el propio toro.
• En el plano Jordaniano, el grupo de automorfismos es más grande, permitiendo "grandes subgrupos triangulares". Los autores demuestran que el grupo de isotropía de una derivación localmente nilpotente específica contiene un subgrupo triangular de dimensión infinita isomorfo a $(k[y], +)$.

Este contraste proporciona una nueva perspectiva sobre la no isomorfía de $A_1^q(k)$ y $\Lambda_2(k)$. Aunque su no isomorfía es un resultado conocido (Shirikov), este trabajo sugiere que el comportamiento de los grupos de isotropía —específicamente la presencia de subgrupos triangulares de dimensión infinita en el plano Jordaniano frente a su ausencia en el álgebra de Weyl cuántica— ofrece un invariante distintivo para diferenciar álgebras no conmutativas. El artículo también plantea una cuestión más amplia respecto a la caracterización de los grupos de isotropía para extensiones de Ore de $k[x]$.