Isomorphism problems and groups of automorphisms for generalized Weyl algebras (Q4517463)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1534672
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Isomorphism problems and groups of automorphisms for generalized Weyl algebras |
scientific article; zbMATH DE number 1534672 |
Statements
Isomorphism problems and groups of automorphisms for generalized Weyl algebras (English)
0 references
22 November 2000
0 references
skew polynomial extensions
0 references
automorphisms
0 references
generalized Weyl algebras
0 references
automorphism groups
0 references
0 references
0.8848292231559753
0 references
0.8497031331062317
0 references
0.8436274528503418
0 references
0.8218229413032532
0 references
0.8034518361091614
0 references
A generalized Weyl algebra \(A(a)\) over an algebraically closed field \(k\) of characteristic zero is generated by elements \(h,x,y\) subject to the relations \[ xh=(h-1)x,\quad yh=(h+1)y,\quad xy=a(h-1),\quad yx=a(h), \] where \(a\in k[h]\). The Weyl algebra \(A_1(k)\) and the factor algebra \(B_\lambda=U(sl_2)/(C-\lambda)\), \(C\) the Casimir element, \(\lambda\in k\), are particular examples of \(A(a)\) for some specific \(a\). An element \(a\) is reflective if there exists some \(\rho\in k\) such that \((\rho-a)=(-1)^{\deg a}a(h)\). Denote by \(G\) the subgroup of \(k\)-automorphisms of \(A(a)\) generated by all automorphisms \[ \exp(\lambda\text{ ad }x^m),\quad\exp(\lambda\text{ ad }y^m),\qquad m\geq 1,\;\lambda\in k, \] and by the automorphisms \(\Theta_\mu\), where \(\Theta_\mu(x)=\mu x\), \(\Theta_\mu(y)=\mu^{-1}y\), \(\Theta(h)=h\). If \(a\) is not reflective then \(G\) coincides with the automorphism group of \(A(a)\). If \(a\) is reflective then the automorphism group of \(A(a)\) is generated by \(G\) and a new automorphism \(\Omega\) such that \(\Omega(x)=y\), \(\Omega(y)=(-1)^{\deg a}x\), \(\Omega(h)=1+\rho-h\). Two algebras \(A(a_1),A(a_2)\) are isomorphic if and only if \(a_2(h)=\eta a_1(\tau\pm h)\) for some \(\eta,\tau\in k\), \(\eta\neq 0\). Another class of algebras considered in the paper consists of the algebras \[ R(f)=\langle A,B,H\mid[H,A]=A,\;[H,B]=-B,\;[A,B]=f(H)\rangle \] where \(f\in k[H]\). A particular case of \(R(f)\) is the algebra \(U(sl_2)\). It is shown that \[ R(f_1)\simeq R(f_2)\iff f_2(H)=\eta f_1(\tau\pm H) \] for some \(\eta,\tau\in k\), \(\eta\neq 0\).
0 references