Projective modules over crossed products

From MaRDI portal





The author studies projective modules over crossed products of the form \(B=A\#_tH\), where \(A\) is an associative algebra, \(H\) is a Hopf algebra which acts on (measures) \(A\), and \(t:H\otimes H\to A\) is a suitable cocycle. Under certain hypotheses which ensure that (1) \(B\) is a finite module over a convenient central subalgebra and (2) \(B\) inherits an \(\mathbb{N}^n\)-grading, for some \(n\geq 1\), from corresponding gradings of \(A\) and \(H\), a cancellation theorem for finitely generated projective \(B\)-modules \(P\) is established: If \(P\) is stably isomorphic to \(P'=(B\otimes_{A(0)} Q)\oplus B^r\) for some finitely generated projective module \(Q\) over the \(0\)-component \(A(0)\) of \(A\) and some large enough \(r\), with an explicit bound, then \(P\) is in fact isomorphic to \(P'\). As an application, the author proves freeness of all finitely generated projective modules of \(\text{rank}\geq 2\) over the quantum polynomial algebra \(A=k[a_1^{\pm 1},\dots, a_d^{\pm 1}, a_{d+1},\dots, a_n]\), \(a_i a_j=q_{ij} a_j a_i\) for certain roots of unity \(q_{ij}\in k\).











This page was built for publication: Projective modules over crossed products

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1891764)