On Isotropy Groups of Quantum Weyl Algebras and Jordanian Plane

Resumo Técnico: Grupos de Isotropia da Álgebra de Weyl Quântica e do Plano Jordaniano

Enunciado do Problema
Este artigo investiga os grupos de isotropia de derivações em duas álgebras não comutativas específicas: a álgebra de Weyl quântica $A_1^q(k)$ e o plano jordaniano $\Lambda_2(k)$. O objeto central de estudo é o grupo de isotropia de uma derivação $\delta$, definido como o subgrupo de automorfismos $\rho$ que comutam com $\delta$ (ou seja, $\rho \delta \rho^{-1} = \delta$), sujeito à restrição de que $\rho$ também deve comutar com o automorfismo subjacente $\sigma$ caso $\delta$ seja uma $\sigma$-derivação. Os autores visam determinar explicitamente a estrutura desses grupos e utilizá-los para distinguir as propriedades estruturais das duas álgebras, que, apesar de ambas serem álgebras quadráticas geradas por dois elementos, são conhecidas por serem não isomórficas.

Metodologia
Os autores empregam uma combinação de teoremas de classificação, computação direta e decomposição estrutural:

1. Álgebra de Weyl Quântica ($A_1^q(k)$):

   • Classificação: O estudo baseia-se na classificação de Brzeziński para $\sigma$-derivações de $A_1^q(k)$ onde $q$ não é uma raiz da unidade. O grupo de automorfismos desta álgebra é restrito a automorfismos diagonais $\rho_\beta(x) = \beta^{-1}x, \rho_\beta(y) = \beta y$.
   • Decomposição: Os autores decompõem o espaço de $\sigma$-derivações em uma soma direta de subespaços: derivações internas ($Inn_\sigma$), uma família específica de derivações não internas associadas a polinômios em $h=1-yx$($H_\mu$), e uma família de derivações não internas associadas a monômios em $x$ e $y$ ($P_\mu$).
   • Fórmula de Interseção: Utilizando um lema geral, eles provam que o grupo de isotropia de uma $\sigma$-derivação arbitrária é a interseção dos grupos de isotropia de seus componentes não nulos nesta decomposição.
   • Análise Aritmética: Para cada componente, eles derivam condições explícitas sobre o parâmetro $\beta$ do automorfismo $\rho_\beta$, frequentemente reduzindo o problema a condições aritméticas envolvendo raízes da unidade e o máximo divisor comum (mdc) de expoentes.

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

   • Estrutura de Automorfismo e Derivação: Os autores utilizam descrições conhecidas do grupo de automorfismos (tipo triangular: $\phi(x) = \gamma x + g(y), \phi(y) = \gamma y$) e derivações (incluindo tipos internos e localmente nilpotentes).
   • Critérios de Comutatividade: Eles estabelecem uma condição necessária e suficiente para um automorfismo pertencer ao grupo de isotropia de uma derivação interna: $\rho(w) - w \in k$.
   • Computação Explícita: Eles aplicam este critério a derivações internas mono miais e derivações localmente nilpotentes (definidas por $\delta(y)=0, \delta(x)=p(y)$) para calcular seus grupos de isotropia específicos.

Contribuições Principais e Resultados

• Álgebra de Weyl Quântica:

  • Grupos de Isotropia Explícitos: O artigo fornece descrições aritméticas de grupos de isotropia para todas as famílias de $\sigma$-derivações.
    • Para derivações não internas do tipo 2a (envolvendo $f(h)$), o grupo de isotropia é o grupo de automorfismos completo $Aut(R)$ se a derivação for interna, ou trivial/restrito baseado em condições específicas de raízes da unidade se for não interna.
    • Para derivações do tipo 2b (envolvendo $h^d b(y)$ e $h^d a(x)$), o grupo de isotropia é isomorfo a um grupo cíclico $Z_d$, onde $d$ é o máximo divisor comum dos expoentes nos polinômios $a(x)$ e $b(y)$ mais um.
    • Para derivações internas $ad_w$, o grupo de isotropia é determinado pelo mdc do conjunto $S = \{j-i \mid c_{i,j} \neq 0\}$. Se $\gcd(S) = 0$, o grupo é $k^*$; se $\gcd(S) = d > 1$, é $Z_d$; se $\gcd(S) = 1$, é trivial.
  • Teorema da Interseção: Os autores provam que, para qualquer $\sigma$-derivação $\delta$, seu grupo de isotropia é a interseção dos grupos de isotropia de seus componentes não nulos na decomposição $Der_\sigma(R) = Inn_\sigma(R) \oplus H_\mu \oplus P_\mu$.

• Plano Jordaniano:

  • Derivações Internas Mono miais: O grupo de isotropia de $ad_{x^m y^n}$ é caracterizado. Para $m \ge 1$ e $(m,n) \neq (1,0)$, o grupo é isomorfo a $Z_{m+n}$ (consistindo de automorfismos com $\gamma^{m+n}=1$ e $g(y)=0$).
  • Derivações Localmente Nilpotentes: Para derivações definidas por $\delta_p(y)=0$ e $\delta_p(x)=p(y)$, o grupo de isotropia consiste em automorfismos $\phi_{\gamma, g}$ satisfazendo $p(\gamma y) = \gamma p(y)$.
  • Subgrupos Triangulares: Uma descoberta significativa é que o grupo de isotropia da derivação localmente nilpotente $\delta_1$ (onde $p(y)=1$) é isomorfo ao grupo aditivo de polinômios $(k[y], +)$, que forma um subgrupo triangular de dimensão infinita.

Significância e Distinção Estrutural
O artigo conclui que a coleção de grupos de isotropia serve como um invariante natural que reflete as diferenças estruturais entre as duas álgebras:

• Na álgebra de Weyl quântica (com $q$ não sendo raiz da unidade), o grupo de automorfismos é unidimensional (um toro $k^*$). Consequentemente, todos os grupos de isotropia das derivações são restritos a ser subgrupos deste toro, tipicamente grupos cíclicos finitos ou o próprio toro.
• No plano jordaniano, o grupo de automorfismos é maior, permitindo "grandes subgrupos triangulares". Os autores demonstram que o grupo de isotropia de uma derivação localmente nilpotente específica contém um subgrupo triangular de dimensão infinita isomorfo a $(k[y], +)$.

Este contraste fornece uma nova perspectiva sobre a não isomorfia de $A_1^q(k)$ e $\Lambda_2(k)$. Embora a não isomorfia deles seja um resultado conhecido (Shirikov), este trabalho sugere que o comportamento dos grupos de isotropia — especificamente a presença de subgrupos triangulares de dimensão infinita no plano jordaniano versus a ausência deles na álgebra de Weyl quântica — oferece um invariante distinto para distinguir álgebras não comutativas. O artigo também levanta uma questão mais ampla sobre a caracterização de grupos de isotropia para extensões de Ore de $k[x]$.