A quantum analogue of Kostant's theorem for the general linear group. (Q661908)

Let \(\mathcal O_q(M(n))\) be the coordinate ring of quantum \(n\times n\) matrices and let \(\mathcal O_q(\text{GL}(n))\) be the coordinate ring of quantum general linear group which is obtained from \(\mathcal O_q(M(n))\) by inverting the quantum determinant. There is an adjoint coaction of the Hopf algebra \(\mathcal O_q(M(n))\) on \(\mathcal O_q(M(n))\). Denote by \(C\) the subalgebra of coinvariants. The main result of the article under review is that \(\mathcal O_q(M(n))\) is a free graded left \(C\)-module. A similar result is also obtained for another quantization of the coordinate ring of \(n\times n\) matrices, namely the so-called reflection equation algebra. These results can be seen as quantum analogues of a classical theorem of \textit{B. Kostant} [Am. J. Math. 85, 327-404 (1963; Zbl 0124.26802)].