On certain Hochschild cohomology groups for the small quantum group (Q2161141)

Let \(\mathfrak{g}\) be a finite-dimensional semi-simple complex Lie algebra, and let \(u_q:=u_q(\mathfrak{g})\) denote Lusztig's small quantum group at an \(\ell\)-th root of unity \(q\), where \(\ell\) is an odd integer greater than the Coxeter number of \(\mathfrak{g}\) and prime to the determinant of the Cartan matrix of \(\mathfrak{g}\). The aim of the paper under review is to determine the center \(\mathrm{HH}^0(\mathfrak{u}_\lambda)\) of the blocks of \(u_q\), or more generally, the higher Hochschild cohomology groups \(\mathrm{HH}^n(\mathfrak{u}_\lambda)\) for \(n\ge 1\). \textit{R. Bezrukavnikov} and \textit{A. Lachowska} [Contemp. Math. 433, 89--101 (2007; Zbl 1197.17007)] identified the Hochschild cohomology of the principal block of \(u_q\) with the cohomology of \(\mathbb{C}^*\)-equivariant coherent sheafs on the Springer resolution. From the interpretation as sheaf cohomology the center \(z_0\) of the principal block of \(u_q(\mathfrak{sl}_n(\mathbb{C}))\) has the structure of a bigraded \(S_n\)-module. \textit{A. Lachowska} and \textit{Y. Qi} [Int. Math. Res. Not. 2018, No. 20, 6349--6405 (2018; Zbl 1460.17021)] formulate several conjectures on the structure of \(z_0\). One of them is that as a bigraded \(S_n\)-module \(z_0\) is isomorphic to Haiman's diagonal coinvariant algebra [\textit{M. D. Haiman}, J. Algebr. Comb. 3, No. 1, 17--76 (1994; Zbl 0803.13010)] tensored with the one-dimensional sign representation in bidegree \((0,0)\). Moreover, they develop an algorithm using the BGG resolution of a simple \(\mathfrak{g}\)-module by Verma modules to compute the center of the principal block of \(u_q\) and work out the details for \(\mathfrak{sl}_3(\mathbb{C})\) and \(\mathfrak{sl}_4 (\mathbb{C})\). In the second part of their paper [\textit{A. Lachowska} and \textit{Y. Qi}, Proc. Lond. Math. Soc. (3) 118, No. 3, 513--544 (2019; Zbl 1460.17022)] a precise conjecture for the dimension of the center of \(u_q(\mathfrak{sl}_n(\mathbb{C}))\) is given and verified for \(n\le 4\). In a previous paper [J. Algebra 569, 758--783 (2021; Zbl. 1471.17037)] the authors of the paper under review extended the sheaf-cohomology BGG algorithm of Lachowska and Qi and implemented it as a software package written in Python as a part of SAGE. In the present paper this algorithm is applied to compute certain Hochschild cohomology groups for blocks of \(u_q\). In particular, the authors compute the center for all blocks of \(u_q\) for \(\mathfrak{g}=\mathfrak{g}_2 (\mathbb{C}),\mathfrak{so}_7(\mathbb{C}),\mathfrak{sp}_6(\mathbb{C}), \mathfrak{sl}_5(\mathbb{C})\). These results confirm the conjectures of Lachowska and Qi. Moreover, results for certain higher Hochschild cohomology groups of \(u_q(\mathfrak{sl}_n(\mathbb{C}))\) (\(n=3,4\)) are obtained by the authors' software package. It seems that most of these computations are only feasible for ranks \(\le 3\). On the other hand, computations are easier for singular blocks. The authors compute the full Hochschild cohomology ring \(\mathrm{HH}^\bullet(\mathfrak{u}_1)\) for the non-trivial singular block \(\mathfrak{u}_1\) of \(u_q(\mathfrak{sl}_3 (\mathbb{C}))\). Using BGG sheaf cohomology, \(\mathrm{HH}^\bullet (\mathfrak{u}_1)\) is expressed as an \(\mathfrak{sl}_3(\mathbb{C})\)-module and as a module over the coordinate ring \(\mathbb{C}[\mathcal{N}]\) of the nilpotent cone \(\mathcal{N}\) of \(\mathfrak{sl}_3(\mathbb{C})\). Note that the \(\mathbb{C}[\mathcal{N}]\)-module structure of the full Hochschild cohomology ring of the principal block of \(u_q(\mathfrak{sl}_2(\mathbb{C}))\) has been computed by \textit{A. Lachowska} and \textit{Y. Qi} [Sel. Math., New Ser. 27, No. 4, Paper No. 68, 40 p. (2021; Zbl 1504.17020)].