Projective modules over crossed products (Q1891764)

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\).