The first Hochschild cohomology group of quantum matrices and the quantum special linear group. (Q2471143)

Let \(k\) be a field and \(q\in k^*\) not a root of unity. The purpose of the paper is a calculation of the Hochschild cohomology groups \(HH^1(R)\) for the coordinate ring \(R=\mathcal O_q(M_n)\) of quantum square matrices of size \(n\), \(n\geqslant 2\). Note that \(HH^1(R) \) is a factor of the Lie algebra of derivations of \(R\) by the ideal of inner derivations. \textit{J. Alev} and \textit{M. Chamarie}, [Commun. Algebra 20, No. 6, 1787-1802 (1992; Zbl 0760.17003)], directly calculated \(HH^1(R)\) in the case \(n=2\). In this paper the authors use the presentation of \(R\) as an iterated Ore skew polynomial extension. The first main result classifies derivations in \(R\) and in coordinate algebras of quantum groups \(\text{GL}_n\), \(\text{SL}_n\). As a result it is shown that \(HH^1(R)\) is a free module of rank \(2n-1\) over the center of \(R\). The same result holds for \(HH^1(\mathcal O_q(\text{GL}_n))\). Also \(HH^1(\mathcal O_q(SL_n))\) is a finite dimensional vector space of dimension \(2n-2\). There are some consequences for twisted Hochschild homology groups in dimensions \(n^2-1\), \(n^2-2\) for quantum groups \(\text{GL}_n\), \(\text{SL}_n\). Note that \(HH^t(\mathcal O_q(\text{SL}_n),\mathcal O_q(\text{SL}_n))\) vanish if \(t\geqslant n\) [\textit{P. Feng} and \textit{B. Tsygan}, Commun. Math. Phys. 140, No. 3, 481-521 (1991; Zbl 0743.17020)].