Hochschild cohomology of polynomial representations of GL₂

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

\(\mathrm{GL}_2\)differential graded algebras Hochschild cohomology Koszul duality

(Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Differential graded algebras and applications (associative algebraic aspects) (16E45) Quadratic and Koszul algebras (16S37) Representation theory for linear algebraic groups (20G05) Homological methods in group theory (20J05)

Abstract: We compute the Hochschild cohomology algebras of Ringel-self-dual blocks of polynomial representations of

G L_{2}

over an algebraically closed field of characteristic

p > 2

, that is, of any block whose number of simple modules is a power of

p

. These algebras are finite-dimensional and we provide an explicit description of their bases and multiplications.

Review text

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)\).

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Hochschild cohomology of polynomial representations of \(\mathrm{GL}_2\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1753320)