Module and Hochschild cohomology of certain semigroup algebras (Q280804)

The paper is devoted to module cohomology of certain semigroup algebras. The authors study the relations between module cohomology of Banach algebras and classical Hochschild cohomology of Banach algebras. Let \(A\) be a Banach algebra and denote by \(A\widehat{\otimes} A\) the projective tensor product of \(A\) with \(A\). The multiplication map \(\pi:A\widehat{\otimes} A\rightarrow A\) is defined by \(\pi(a\otimes b)=ab\), for each \(a,b\in A\). Suppose that \(A\) is a Banach \(\mathfrak{A}\)-bimodule. Write \(I\) for the closed ideal of \(A\widehat{\otimes} A\) generated by \(a\cdot \alpha\otimes b - a\otimes \alpha\cdot b\), for \(a,b\in A\) and \(\alpha\in \mathfrak{A}\). Set \(A\widehat{\otimes}_{\mathfrak{A}} A=\frac{A\widehat{\otimes} A}{I}\) and denote by \(J\) the closed ideal generated by \(\pi(I)\). Let \(X\) be an \(A\)-\(\mathfrak{A}\)-bimodule. A linear map \(D:A\rightarrow X\) is called module derivation if \(D\) is both a derivation and an \(\mathfrak{A}\) module map. Suppose that \(X\) is a commutative \(A\)-\(\mathfrak{A}\)-bimodule. The map \(ad_{x}:A\rightarrow X\) given by \(ad_{x}(a)=a\cdot x-x\cdot a\) is called inner module derivation. The set of all module derivations is denoted by \(Z^{1}_{\mathfrak{A}}(A,X)\), and \(B^{1}_{\mathfrak{A}}(A,X)\) is used for the set of all inner module derivations. Set \(\mathcal{H}_{\mathfrak{A}}^{1}(A,X)=\frac{Z^{1}_{\mathfrak{A}}(A,X)}{B^{1}_{\mathfrak{A}}(A,X)}\). The authors show that the seminormed space \(\mathcal{H}_{\mathfrak{A}}^{k}(A,X^*)\cong \mathcal{H}^{k}(\frac{A}{J},X^*)\), where \(\mathcal{H}^{k}(A,X)\) denotes the \(k\)-th Hochschild cohomology. As an application for an inverse semigroup \(S\) with the maximal subgroup \(G_{S}\) and idempotent set \(E\), they show that \(\mathcal{H}_{\ell^{1}(E)}^{1}(\ell^{1}(S),\ell^{1}(G_{S})^{(2n+1)})\) is trivial and also that \(\mathcal{H}_{\ell^{1}(E)}^{2}(\ell^{1}(S),\ell^{1}(G_{S})^{(2n+1)})\) is a Banach space.