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

From MaRDI portal
scientific article
Language Label Description Also known as
English
The first Hochschild cohomology group of quantum matrices and the quantum special linear group.
scientific article

    Statements

    The first Hochschild cohomology group of quantum matrices and the quantum special linear group. (English)
    0 references
    22 February 2008
    0 references
    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)].
    0 references
    quantum groups
    0 references
    Hochschild cohomology groups
    0 references
    coordinate rings of quantum matrices
    0 references
    Lie algebras of derivations
    0 references
    iterated Ore skew polynomial extensions
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references