On Isotropy Groups of Quantum Weyl Algebras and Jordanian Plane

Sintesi Tecnica: Gruppi di Isotropia dell'Algebra di Weyl Quantistica e del Piano di Jordan

Enunciato del Problema
Questo articolo investiga i gruppi di isotropia delle derivazioni su due specifiche algebre non commutative: l'algebra di Weyl quantistica $A_1^q(k)$ e il piano di Jordan $\Lambda_2(k)$. L'oggetto centrale di studio è il gruppo di isotropia di una derivazione $\delta$, definito come il sottogruppo di automorfismi $\rho$ che commutano con $\delta$ (ovvero $\rho \delta \rho^{-1} = \delta$), soggetto al vincolo che $\rho$ debba anche commutare con l'automorfismo sottostante $\sigma$ qualora $\delta$ sia una $\sigma$-derivazione. Gli autori mirano a determinare esplicitamente la struttura di questi gruppi e a utilizzarli per distinguere le proprietà strutturali delle due algebre che, nonostante siano entrambe algebre quadratiche a due generatori, sono note per essere non isomorfe.

Metodologia
Gli autori impiegano una combinazione di teoremi di classificazione, computazione diretta e decomposizione strutturale:

1. Algebra di Weyl Quantistica ($A_1^q(k)$):

   • Classificazione: Lo studio si basa sulla classificazione di Brzeziński delle $\sigma$-derivazioni per $A_1^q(k)$ dove $q$ non è una radice dell'unità. Il gruppo di automorfismi di questa algebra è limitato agli automorfismi diagonali $\rho_\beta(x) = \beta^{-1}x, \rho_\beta(y) = \beta y$.
   • Decomposizione: Gli autori decompongono lo spazio delle $\sigma$-derivazioni in una somma diretta di sottospazi: derivazioni interne ($Inn_\sigma$), una specifica famiglia di derivazioni non interne associate a polinomi in $h=1-yx$($H_\mu$), e una famiglia di derivazioni non interne associate a monomi in $x$ e $y$ ($P_\mu$).
   • Formula di Intersezione: Utilizzando un lemma generale, dimostrano che il gruppo di isotropia di una arbitraria $\sigma$-derivazione è l'intersezione dei gruppi di isotropia delle sue componenti non nulle in questa decomposizione.
   • Analisi Aritmetica: Per ogni componente, derivano condizioni esplicite sul parametro $\beta$ dell'automorfismo $\rho$, riducendo spesso il problema a condizioni aritmetiche che coinvolgono radici dell'unità e il massimo comun divisore (mcd) degli esponenti.

2. Piano di Jordan ($\Lambda_2(k)$):

   • Struttura di Automorfismi e Derivazioni: Gli autori utilizzano descrizioni note del gruppo di automorfismi (di tipo triangolare: $\phi(x) = \gamma x + g(y), \phi(y) = \gamma y$) e delle derivazioni (incluse quelle interne e quelle localmente nilpotenti).
   • Criteri di Commutatività: Stabiliscono una condizione necessaria e sufficiente affinché un automorfismo appartenga al gruppo di isotropia di una derivazione interna: $\rho(w) - w \in k$.
   • Computazione Esplicita: Applicano questo criterio a derivazioni interne monomiali e derivazioni localmente nilpotenti (definite da $\delta(y)=0, \delta(x)=p(y)$) per calcolare i loro specifici gruppi di isotropia.

Contributi Chiave e Risultati

• Algebra di Weyl Quantistica:

  • Gruppi di Isotropia Espliciti: L'articolo fornisce descrizioni aritmetiche dei gruppi di isotropia per tutte le famiglie di $\sigma$-derivazioni.
    • Per le derivazioni non interne di tipo 2a (che coinvolgono $f(h)$), il gruppo di isotropia è il gruppo di automorfismi completo $Aut(R)$ se la derivazione è interna, o banale/ristretto in base a specifiche condizioni di radici dell'unità se non interna.
    • Per le derivazioni di tipo 2b (che coinvolgono $h^d b(y)$ e $h^d a(x)$), il gruppo di isotropia è isomorfo a un gruppo ciclico $Z_d$, dove $d$ è il massimo comun divisore degli esponenti nei polinomi $a(x)$ e $b(y)$ più uno.
    • Per le derivazioni interne $ad_w$, il gruppo di isotropia è determinato dal mcd dell'insieme $S = \{j-i \mid c_{i,j} \neq 0\}$. Se $\gcd(S) = 0$, il gruppo è $k^*$; se $\gcd(S) = d > 1$, è $Z_d$; se $\gcd(S) = 1$, è banale.
  • Teorema di Intersezione: Gli autori dimostrano che per ogni $\sigma$-derivazione $\delta$, il suo gruppo di isotropia è l'intersezione dei gruppi di isotropia delle sue componenti non nulle nella decomposizione $Der_\sigma(R) = Inn_\sigma(R) \oplus H_\mu \oplus P_\mu$.

• Piano di Jordan:

  • Derivazioni Interne Monomiali: Il gruppo di isotropia di $ad_{x^m y^n}$ è caratterizzato. Per $m \ge 1$ e $(m,n) \neq (1,0)$, il gruppo è isomorfo a $Z_{m+n}$ (composto da automorfismi con $\gamma^{m+n}=1$ e $g(y)=0$).
  • Derivazioni Localmente Nilpotenti: Per le derivazioni definite da $\delta_p(y)=0$ e $\delta_p(x)=p(y)$, il gruppo di isotropia consiste negli automorfismi $\phi_{\gamma, g}$ che soddisfano $p(\gamma y) = \gamma p(y)$.
  • Sottogruppi Triangolari: Un risultato significativo è che il gruppo di isotropia della derivazione localmente nilpotente $\delta_1$ (dove $p(y)=1$) è isomorfo al gruppo additivo dei polinomi $(k[y], +)$, che forma un sottogruppo triangolare a dimensione infinita.

Significatività e Distinzione Strutturale
L'articolo conclude che la collezione di gruppi di isotropia funge da invariante naturale che riflette le differenze strutturali tra le due algebre:

• Nell'algebra di Weyl quantistica (con $q$ non radice dell'unità), il gruppo di automorfismi è monodimensionale (un toro $k^*$). Di conseguenza, tutti i gruppi di isotropia delle derivazioni sono vincolati a essere sottogruppi di questo toro, tipicamente gruppi ciclici finiti o il toro stesso.
• Nel piano di Jordan, il gruppo di automorfismi è più grande, permettendo "grandi sottogruppi triangolari". Gli autori dimostrano che il gruppo di isotropia di una specifica derivazione localmente nilpotente contiene un sottogruppo triangolare a dimensione infinita isomorfo a $(k[y], +)$.

Questo contrasto fornisce una nuova prospettiva sulla non-isomorfia tra $A_1^q(k)$ e $\Lambda_2(k)$. Sebbene la loro non-isomorfia sia un risultato noto (Shirikov), questo lavoro suggerisce che il comportamento dei gruppi di isotropia — specificamente la presenza di sottogruppi triangolari a dimensione infinita nel piano di Jordan rispetto alla loro assenza nell'algebra di Weyl quantistica — offra un invariante distinto per distinguere le algebre non commutative. L'articolo pone anche una questione più ampia riguardante la caratterizzazione dei gruppi di isotropia per le estensioni di Ore di $k[x]$.