Noncommutative differential geometry of generalized Weyl algebras. (Q726533): Difference between revisions

Let \(q\) be a nonzero element of a field \(k\) and \(p\) be a polynomial in one variable with coefficients from \(k\). A generalized Weyl algebra \(A(p,q)\) in the sense of V. Bavula is generated by elements \(x_+,x_-,z_-,z_+\) subject to the defining relations: \[ z_+z_-=z_-z_+,\quad x_+z_\pm=q^{-1}z_\pm x_+,\quad x_-z_\pm=qz_\pm x_-,\quad x_+x_-=p(z_+z_-),\quad x_-x_+=p(q^2z _- z_+). \] The algebra \(B(p,q)\) is generated by \(x,y,z\) subject to the relations: \[ xz=q^2zx,\quad yz=q^{-2}zy,\quad xy=q^2zp(q^2z ),\quad yx=zp(z). \] The first main result gives a classification of skew derivations of \(A(p,q)\). The first order differential calculus for \(A(p,q)\) is a bimodule \(\Omega\) over \(A(p,q)\) with a linear map \(d\colon A(p,q)\to\Omega\) such that \(d(ab)=d(a)b+ad(b)\) and any \(\omega\in\Omega\) can be presented in the form \(\omega=\sum_ia_id(b_i)\) for some \(a_i,b_i\in A(p,q)\). Using the first result it is shown that in some cases \(\Omega\) is a free left module. The space \(I\) of right \(A(p,q)\)-module maps \(\Omega\to A(p,q)\) is equipped with a structure of \(A(p,q)\)-bimodule. A divergence is an element \(\mathrm{div}\in I\) such that \(\mathrm{div}(\xi a)=\mathrm{div}(\xi)a+\xi(d(a))\) for all \(a\in A(p,q)\) and \(\xi\in I\). Cokernel map \(A(p,q)\to\mathrm{coker}(\mathrm{div})\) is an integral on \(A(p,q)\), associated to \(\mathrm{div}\). It is shown that the dimension of the integral space coincides with the order of the defining polynomial \(p(z)\). It is shown that the restriction of first order differential calculi to the calculi on \(B(p,q)\) is isomorphic to the direct sum of degree \(2\) and degree \(-2\) components of \(A(p,q)\). A Dirac operator for \(B(p,q)\) is constructed from a (strong) connection with respect to this differential calculus on the (free) spinor bimodule defined as the direct sum of degree \(1\) and degree \(-1\) components of \(A(p,q)\). The real structure of KO-dimension two for this Dirac operator is also described.