Hochschild cohomology of polynomial representations of \(\mathrm{GL}_2\) (Q1753320)

Hochschild cohomology is an important algebraic invariant of associative algebras. For a finite-dimensional algebra, a frequent asked question is whether, or not, its Hochschild cohomology ring is finitely generated? Although the finite generation is not true for an arbitrary finite-dimensional algebra, it is still of great interest to compute Hochschild cohomology whenever it is possible. Let \(F\) be an algebraically closed field of characteristic \(p>2\). The category of \(r\)-homogeneous polynomial representations of the general linear group \(\mathrm{GL}_n=\mathrm{GL}_n(F)\) is equivalent to the module category of the Schur algebra \(S(n, r)\) over \(F\). \textit{K. Erdmann} and \textit{A. Henke} showed [Math. Proc. Camb. Philos. Soc. 132, No. 1, 97--116 (2002; Zbl 0998.20016)] that the Ringel-self-dual blocks, of polynomial representations of \(\mathrm{GL}_2\), are characterized by the property that their numbers of simple modules are powers of \(p\). Here, a block of an abelian category is a Serre subcategory, minimal with respect to extensions. [\textit{W. Lowen} and \textit{M. van den Bergh}, Adv. Math. 198, No. 1, 172--221 (2005; Zbl 1095.13013)] introduced a notion of Hochschild cohomology of abelian categories. If an abelian category is the module category of an algebra, their definition coincides with the classical one. Based on this, the present paper sets \(\mathbf{hh}_l\) to be the Hochschild cohomology algebra of a block of polynomial representations of \(\mathrm{GL}_2\) with \(p^l\) simple modules. By [\textit{V. Miemietz} and \textit{W. Turner}, Glasg. Math. J. 53, No. 2, 257--275 (2011; Zbl 1236.20050)], such a Ringel-self-dual block is equivalent to the category of modules over a finite-dimensional algebra \(\mathbb{O}_{F,0}\mathbb{O}^l_{\mathbf{c},t}(F,F)\), where \(\mathbf{c}\) is an explicitly constructed (bigraded finite-dimensional) Ringle-self-dual algebra, with a tilting bimodule \(t\). Let \(\mathbf{t}\) be the Rickard tilting complex representing \(t\). By [\textit{V. Miemietz} and \textit{W. Turner}, Sel. Math., New Ser. 21, No. 2, 605--648 (2015; Zbl 1332.20048)], there is a quasi isomorphism \[ \mathbb{O}_{F,0}\mathbb{O}^l_{\mathbf{c},\mathbf{t}}(F,F)\to \mathbb{O}_{F,0}\mathbb{O}^l_{\mathbf{c},t}(F,F) \] between differential graded algebras, which induces an isomorphism between their Hochschild cohomology. Thus \(\mathbf{hh}_l\) is isomorphic to the Hochschild cohomology algebra of \(\mathbb{O}_{F,0}\mathbb{O}^l_{\mathbf{c},\mathbf{t}}(F,F)\). In the present paper, the authors construct an explicit basis for \(\mathbf{hh}_l\) and provide its multiplicative structure. It turns out that \(\mathbf{hh}_l\) is always finite-dimensional, for each \(l\). Complicated as it is, some description of the algebras \(\mathbb{O}_{F,0}\mathbb{O}^l_{\mathbf{c},\mathbf{t}}(F,F)\) and \(\mathbb{O}_{F,0}\mathbb{O}^l_{\mathbf{c},t}(F,F)\) is needed. As hinted by the symbols (and the two papers they came from), the construction is quite involved, in terms of the tools and techniques it employed. Indeed, the authors consider a 2-category \(\mathcal{T}\) consisting of pairs \((A,M)\), where \(A\) is a differential graded algebra and \(M\) is a differential graded \(A\)-\(A\)-bimodule. For a so-called \(j\)-graded object \((\mathbf{a},\mathbf{m})\in\mathcal{T}\) (for example, \((\mathbf{c},\mathbf{t})\)), where \(\mathbf{a}\) is a differential bigraded algebra, and \(\mathbf{m}\) is a differential bigraded \(\mathbf{a}\)-\(\mathbf{a}\)-bimodule, they introduce an operator \(\mathbb{O}_{\mathbf{a},\mathbf{m}}\) on \(\mathcal{T}\) such that \[ \mathbb{O}(A,M)=(\mathbf{a}(A,M),\mathbf{m}(A,M)), \] where, for \(\alpha\in\{\mathbf{a},\mathbf{m}\}\), \[ \alpha(A,M)=(\alpha^0\otimes A)\oplus(\oplus_{j>0} \alpha^j\otimes M^{\otimes_A j}). \] Taking \(F\) as a Ringel-self-dual algebra with the self-dual tilting complex \(F\), one has \((F,F)\in\mathcal{T}\). The object \(\mathbb{O}^l_{\mathbf{c},t}(F,F)\in\mathcal{T}\) is a pair consisting of an algebra \(A'\) and a bimodule \(M'\), with zero differentials. The operator \(\mathbb{O}_{F,0}\) sends \((A,M)\in\mathcal{T}\) to \((A,0)\), which is identified with the differential graded algebra \(A\). This is how one gets \(\mathbb{O}_{F,0}\mathbb{O}^l_{\mathbf{c},\mathbf{t}}(F,F)\) and \(\mathbb{O}_{F,0}\mathbb{O}^l_{\mathbf{c},t}(F,F)\).