Cohomology of partial smash products (Q528507)

The study of algebras generated by partial isometries on a Hilbert space \(H\) was the main motivation to introduce the notion of partial group action (see [\textit{R. Exel}, Proc. Am. Math. Soc. 126, No. 12, 3481--3494 (1998; Zbl 0910.46041)], and [\textit{J. Quigg} and \textit{I. Raeburn}, J. Oper. Theory 37, No. 2, 311--340 (1997; Zbl 0890.46048)]. An interesting example of this kind of actions comes from the theory of group actions over an algebra. More concretely, given an action of \(G\) on an algebra \(B\), every unital ideal \(A\) of \(B\) carries a partial action in the following way: if \(A\) is such an ideal, with unit \(1_A\), then a partial \(G\)-action on \(A\) is obtained by defining \(D_g\) as the ideal \(A \cap g(A)\) and \(\alpha_g\) to be the restriction of the map \(b \in B \mapsto g(b) \in B\) to the ideal \(D_{g^{-1}}\). If a partial action arises in this manner, one says that this partial action is globalizable, and its globalization is the subalgebra \(\tilde{A} = \oplus_{g \in G} g(A)\). The skew group algebra \(\tilde{A} [G]\) of the globalization and the partial smash product \(A \times_\alpha G\) are Morita equivalent and, as a consequence, the Hochschild cohomology of \(\tilde{A} [G]\) and \(A \times_\alpha G\) is the same. Then, we can use the globalization to obtain the Hochschild cohomology of \(A \times_\alpha G\). But this approach has some problems: First, \(\tilde{A}\) may not be a unital algebra and, on the other hand, there is not an easy way to describe explicitly in terms of generators and relations \(\tilde{A}\). Therefore, it is not an useful tool to calculate the Hochschild cohomology of \(A \times_\alpha G\). The main contribution of the paper under review is to prove that there exists an alternative way to obtain the Hochschild cohomology of \(A \times_\alpha G\). In Section 2, the authors recall some definitions and results about partial actions and partial representations of a group and show that the category of partial representations \(\mathop{\mathrm{ParRep}}\nolimits G\) is equivalent to the category of representations of the partial group algebra \(\mathop{\mathrm{K}_{\mathrm{par}}}\nolimits G\), introduced by \textit{M. Dokuchaev} et al. [J. Algebra 320, No. 8, 3278--3310 (2008; Zbl 1160.16016)]. Also they recall the definition of partial action of \(G\) on an algebra \(A\), the construction of the partial smash product \(A \times_\alpha G\) and they show the following facts: 1) the category of representations of the partial smash product \(A \times_\alpha G\) is equivalent to the category of covariant pairs \(\mathop{\mathrm{CovPair}}\nolimits (A,G)\) and 2) the partial group algebra \(\mathop{\mathrm{K}_{\mathrm{par}}}\nolimits G\) is a partial smash algebra. In Section 3, the authors show that the functor of partial invariants is representable, that is, \((-)^{G_{\mathrm{par}}} \simeq {\mathop{\mathrm{Hom}}\nolimits}_{\mathop{\mathrm{K}_{\mathrm{par}}}\nolimits G} (B, -)\) and, using this property they introduce the partial group cohomology as the right derived functor of the functor of partial invariants. Finally, in the last section of the paper, they show that there exists a Grothendieck spectral sequence relating the cohomology of partial smash products with the partial group cohomology and algebra cohomology.