Hochschild cohomology of twisted tensor products (Q2137848)

The Hochschild cohomology of an associative algebra presents several useful information about the algebra. \textit{J. Le} and \textit{G. Zhou} [J. Pure Appl. Algebra 218, No. 8, 1463--1477 (2014; Zbl 1328.16002)] were first to show that the Hochschild cohomology of tensor product of two algebras \(A, B\) is isomorphic to the tensor product of their respective Hochschild cohomologies, i.e., \[HH^*(A\otimes B)\cong HH^*(A)\otimes HH^*(B).\] The tensor product of two algebras can have its multiplication twisted by a bicharacter to obtain a twisted tensor product algebra \(A\otimes^t B\). Several algebras can be presented as a twisted tensor product of two algebras. For graded algebras, \(A,B\), \textit{P. A. Bergh} and \textit{S. Oppermann} [J. Algebra 320, No. 8, 3327--3338 (2008; Zbl 1185.16012)] showed that the extension groups of the twisted tensor product is isomorphic to the tensor product of their respective extension groups when considered only as left modules, i.e., \[\mathrm{Ext}^{*}_{A\otimes^t B}(A\otimes^t B, A\otimes^t B)\cong \mathrm{Ext}^{*}_{A}(A,A)\otimes_k^{\bar{t}}\mathrm{Ext}^{*}_{B}(B,B).\] If \(A\) and \(B\) are graded by groups \(F\) and \(G\) respectively, then Hochschild cohomology \(HH^*(A\otimes^t B)\) is doubly graded and is written as \(HH^{*,F\oplus G}(A\otimes^t B)\), where \((*)\) represents the usual grading on Hochschild cohomology. Extending the result of \textit{L. Grimley} et al. [J. Noncommut. Geom. 11, No. 4, 1351--1379 (2017; Zbl 1382.16005)] proved that there is an isomorphism \[HH^{*,F'\oplus G'}(A\otimes^t B)\cong HH^{*,F'}(A)\otimes_k^{\bar{t}}HH^{*,G'}(B)\] of Hochschild cohomology of twisted tensor products as a Gerstenhaber algebra. In this situation \(F\subseteq F\) and \( G\subseteq G'\) are subsets on which the twisting map is trivial. The article under review extends this result from \(F'\oplus G'\) to the whole group \(F\oplus G\) accounting for subsets in which the twisting map is non-trivial. The author employs the idea of orbit Hochschild cohomology. In particular, the \(A\)-bimodule \(A\) can be twisted by any element \(g\in G\) to produce another \(A\)-bimodule \(A_{\hat{g}}\) using the twisting map. Similarly, the \(B\)-bimodule \(B\) can be twisted by any element \(f\in F\) to produce another \(B\)-bimodule \(_{\hat{f}}B\). The orbit Hochschild cohomology of \(A\) is given to be \(\bigoplus_{g\in G} HH^{*}(A, A_{\hat{g}})^{f}\). The main result of the article was in showing that there is an isomorphism \[HH^{*,F\oplus G}(A\otimes^t B)\cong \bigoplus_{f\in F, g\in G}HH^{*}(A,A_{\hat{g}})^f\otimes_k HH^{*}(B, _{\hat{f}}B)^g\] of Hochschild cohomology of twisted tensor product as a Gerstenhaber algebra. In the final sections, the author computed few examples showing that the theory can be employed in finding the Hochschild cohomology and Gerstenhaber bracket for quantum complete intersections, iterated twisted tensor products and skew group algebras.