---
title: Weak Comp Algebra in Secondary Hochschild Cohomology
url: https://www.emergentmind.com/topics/weak-comp-algebra
type: topic
---

# Weak Comp Algebra in Secondary Hochschild Cohomology

Weak comp algebra, in the sense developed for secondary Hochschild cohomology of entwining structures, is a graded algebraic structure carried by the secondary Hochschild complex \(C^*(A,B,C,\varphi)\) associated with an entwining structure \((A,B,C,\psi,\varphi)\) over a commutative \(k\)-algebra \(B\). Its defining data are partial composition operations \(\circ_i\) and a distinguished element \(\alpha\in V^2\), and its role is to organize the differential, cup products, and higher algebraic operations on cochains. In this setting, the secondary Hochschild complex becomes a right weak comp algebra, admits two cup products on cohomology, and contains a subcomplex on which the weak structure strengthens to a comp algebra; the cohomology of that subcomplex forms a Gerstenhaber algebra [1909.05476].

## 1. Entwining structures over a commutative base

An entwining structure over \(k\) is a triple \((A,C,\psi)\) consisting of an associative unital \(k\)-algebra \(A\), a coassociative counital \(k\)-coalgebra \(C\), and a \(k\)-linear map
\[
\psi:C\otimes A\longrightarrow A\otimes C,\qquad \psi(c\otimes a)=a_\psi\otimes c^\psi,
\]
subject to four compatibility conditions. Writing \(\Delta(c)=c_1\otimes c_2\), these are:
\[
\psi(c\otimes ab)=a_{\psi}b_{\psi'}\otimes c^{\psi\psi'},
\]
\[
(A\otimes\Delta)\psi(c\otimes a)=(\psi\otimes C)(C\otimes\psi)(\Delta(c)\otimes a),
\]
\[
\psi(c\otimes 1_A)=1_A\otimes c,
\]
\[
(\varepsilon\otimes A)\psi(c\otimes a)=\varepsilon(c)\,a.
\]

Over a commutative \(k\)-algebra \(B\), the relevant datum is a tuple
\[
(A,B,C,\psi,\varphi),
\]
where \(\varphi:B\to A\) is a \(k\)-algebra map with central image \(\varphi(B)\subseteq Z(A)\), \((A,C,\psi)\) is an entwining structure over \(k\), and
\[
\psi(c\otimes \varphi(b))=\varphi(b)\otimes c
\qquad\text{for all }b\in B,\;c\in C.
\]
The coefficient objects are \(A\)-bimodules \(M\) satisfying the \(B\)-centrality condition
\[
\varphi(b)m=m\varphi(b)\qquad\forall b\in B,\;m\in M.
\]

This framework combines an algebra \(A\), a coalgebra \(C\), and a twisting map \(\psi\) with a distinguished commutative base algebra \(B\). The condition involving \(\varphi\) forces the \(B\)-part of the structure to commute with the entwining in the strongest possible way [1909.05476].

## 2. Secondary Hochschild complex

For \(n\ge 1\), the secondary cochain group attached to \((A,B,C,\varphi)\) and coefficients \(M\) is
\[
C^n((A,B,C,\varphi);M)
=\operatorname{Hom}_k\left(C\otimes A^{\otimes n}\otimes B^{\otimes \frac{n(n-1)}{2}},\,M\right).
\]
The tensor factors are written as upper triangular tensor matrices. For \(n=3\), one writes
\[
c\otimes \begin{pmatrix}
a_1 & b_{12} & b_{13}\\
1   & a_2    & b_{23}\\
1   & 1      & a_3
\end{pmatrix},
\]
with diagonal entries in \(A\) and upper triangular entries in \(B\).

The differential is defined by transporting Staic’s secondary Hochschild differential through the canonical isomorphism
\[
\Phi_n:
C^n((A,B,C,\varphi);M)
\cong
\operatorname{Hom}_k\bigl(
A^{\otimes n}\otimes B^{\otimes \frac{n(n-1)}{2}},
\operatorname{Hom}_k(C,M)
\bigr).
\]
Here \(\operatorname{Hom}_k(C,M)\) is endowed with the \(A\)-bimodule structure
\[
(g\cdot a)(c)=g(c)\cdot a,\qquad
(a\cdot g)(c)=a_\psi\cdot g(c^\psi).
\]
With this bimodule structure, \(\operatorname{Hom}_k(C,M)\) is a \(B\)-central \(A\)-bimodule, and the resulting operator \(\delta\) satisfies \(\delta^{n+1}\delta^n=0\). The cohomology groups are denoted
\[
HH^n((A,B,C,\varphi)).
\]

In this form, the secondary Hochschild complex generalizes ordinary Hochschild cohomology, Staic’s secondary Hochschild cohomology, and the Hochschild-type cohomology attached to entwining structures [1909.05476].

## 3. Weak comp algebra structure

A right weak comp algebra is a graded \(k\)-vector space \(V=\bigoplus_{i\ge 0}V^i\), together with an element \(\alpha\in V^2\) and operations
\[
\circ_i:V^m\otimes V^n\to V^{m+n-1},
\qquad m\ge 1,\;n\ge 1,\;i\ge 0,
\]
such that \(f\circ_i g=0\) for \(i>m-1\), the relation
\[
(f\circ_i g)\circ_j h=f\circ_i(g\circ_{j-i}h)
\qquad\text{if } i<j<i+n
\]
holds, the relation
\[
(f\circ_i g)\circ_j h=(f\circ_j h)\circ_{i+p-1}g
\qquad\text{if } j<i
\]
holds when either \(g=\alpha\) or \(h=\alpha\), and
\[
\alpha\circ_0\alpha=\alpha\circ_1\alpha.
\]

On the secondary Hochschild complex, the paper defines operations
\[
f\circ_i g\in C^{m+n-1}(A,B,C,\varphi)
\]
by explicit block-matrix formulas, and introduces the distinguished \(2\)-cochain
\[
\alpha\left(c\otimes
\begin{pmatrix}
a_1 & b_{12}\\
1 & a_2
\end{pmatrix}
\right)
=
\varphi(b_{12})\,a_1a_2.
\]
The resulting system satisfies the weak comp algebra axioms. Precisely,
\[
(C^*(A,B,C,\varphi),\circ,\alpha)
\]
is a right weak comp algebra.

The differential is recovered from \(\alpha\) and the insertion operations by the identity
\[
\delta^m(f)
=
(-1)^{m-1}\,\alpha\circ_0 f
-
\sum_{i=1}^{m}(-1)^i\,f\circ_{i-1}\alpha
+
\alpha\circ_m f.
\]
This is the secondary analogue of the classical expression of the Hochschild differential in terms of the multiplication cochain [1909.05476].

A comp algebra is the stronger structure in which the insertion operations satisfy the full Gerstenhaber–Schack associativity pattern for all relative positions of iterated insertions. Every comp algebra is a weak comp algebra, but not conversely.

## 4. Cup products and cohomology

The weak comp structure yields two cochain-level cup products,
\[
U,\qquad \sqcup,
\]
on \(C^*(A,B,C,\varphi)\). Their explicit formulas are given in terms of block tensor matrices, products of the \(B\)-entries through \(\varphi\), and the two coproduct components \(c_1,c_2\) of the coalgebra element \(c\). The difference between them is in how the comultiplication of \(C\) is assigned to the two cochains and where the entwining \(\psi\) acts.

These products admit compact descriptions in terms of \(\alpha\) and the insertion operations:
\[
f\,U\,g = (\alpha\circ_0 f)\circ_m g,
\]
\[
f\sqcup g = (\alpha\circ_1 g)\circ_0 f,
\]
for \(f\in C^m\), \(g\in C^n\).

Both products are graded associative at the cochain level, and the differential is a graded derivation for each:
\[
\delta(f\,U\,g)=\delta f\,U\,g+(-1)^m f\,U\,\delta g,
\]
\[
\delta(f\sqcup g)=\delta f\sqcup g+(-1)^m f\sqcup \delta g.
\]
Hence both descend to cohomology,
\[
U,\sqcup:
HH^m(A,B,C,\varphi)\otimes HH^n(A,B,C,\varphi)\to HH^{m+n}(A,B,C,\varphi).
\]
On cohomology they satisfy
\[
f\,U\,g = (-1)^{mn}\,g\sqcup f.
\]

Thus the secondary Hochschild cohomology of the entwining structure carries two distinct cup product structures. Their coexistence is a characteristic feature of the weak comp algebra formalism in this setting [1909.05476].

## 5. Equivariant subcomplex and the passage to comp algebras

The paper isolates an equivariant subcomplex
\[
E^*(A,B,C,\varphi)\subseteq C^*(A,B,C,\varphi)
\]
defined by compatibility of cochains with the \(C\)-bicomodule structure determined by the entwining maps \(P_L\) and \(P_R\). Concretely, a cochain belongs to \(E^n(A,B,C,\varphi)\) when a diagram involving \(P_R\), \(P_L\), \(\psi\), and the cochain itself commutes.

This subcomplex has several decisive properties. The distinguished element \(\alpha\) belongs to \(E^2(A,B,C,\varphi)\), and \(E^*\) is closed under all operations \(\circ_i\). Consequently,
\[
(E^*(A,B,C,\varphi),\circ,\alpha)
\]
is a weak comp subalgebra of
\[
(C^*(A,B,C,\varphi),\circ,\alpha),
\]
and \((E^*(A,B,C,\varphi),\delta)\) is a subcomplex.

The key simplification occurs at the level of cup products: for \(f\in E^m\) and \(g\in E^n\),
\[
f\,U\,g=f\sqcup g
\quad\text{in }E^{m+n}.
\]
The paper then considers this subcomplex as the locus on which the two cup products coincide and on which the stronger comp algebra axioms hold. The abstract states that this subcomplex satisfies the axioms for being a comp algebra, and that the cohomology of this subcomplex forms a Gerstenhaber algebra [1909.05476].

This passage from the full weak comp algebra to the equivariant comp algebra is structurally important. On the full complex, the two cup products remain distinct; on the equivariant subcomplex, they merge into a single product compatible with the standard Gerstenhaber package.

## 6. Deformations and mathematical position

The weak comp algebra formalism is not introduced only to organize cochain operations. It is also tied to deformation theory. The paper constructs a bicomplex that controls the deformations of the entwining structure over \(B\). In this sense, the secondary Hochschild complex of \((A,B,C,\psi,\varphi)\) plays the same role for entwining structures over a commutative base that ordinary Hochschild complexes play for associative algebras and that secondary Hochschild complexes play for \(B\)-parametrized algebra structures.

Within this framework, weak comp algebra occupies an intermediate position. It is weaker than a comp algebra, because the insertion identities are only imposed in full when one of the entries is the distinguished element \(\alpha\), yet it is strong enough to recover the differential from \(\alpha\), define two graded associative cup products, and make the differential a graded derivation for both. The equivariant subcomplex then restores the stronger comp algebra regime and yields a Gerstenhaber algebra on cohomology.

Accordingly, “weak comp algebra” denotes not merely a weakened operadic gadget, but the specific algebraic mechanism by which secondary Hochschild cochains of entwining structures over \(B\) support insertion operations, multiple cup products, and deformation-theoretic control in a single formalism [1909.05476].

Source: https://www.emergentmind.com/topics/weak-comp-algebra