---
title: Benson–Krause–Schwede Canonical Class
url: https://www.emergentmind.com/topics/benson-krause-schwede-canonical-class
type: topic
---

# Benson–Krause–Schwede Canonical Class

The Benson–Krause–Schwede (BKS) canonical class is a fundamental invariant in the Hochschild cohomology of group cohomology algebras and related differential graded algebras, introduced in the work of D. Benson, H. Krause, and S. Schwede. It arises as a universal cohomological obstruction related to the realization of module structures, the secondary multiplication structure on cohomology, and $A_3$-formality. The canonical class plays a central role in modern obstruction theory for both finite group cohomology and profinite group cohomology, especially in contexts where explicit higher structure on the cohomology algebra controls deformation and realization problems.

## 1. Formal Definition and Construction

Let $A$ be a connected differential graded algebra (dga) over a field $F$, with $A^i = 0$ for $i < 0$ and $A^0 = F$, equipped with a differential $\delta$ of degree $+1$. The graded cohomology $H^n(A)$ inherits the cup product $m_2 : H^p(A) \otimes H^q(A) \to H^{p+q}(A)$. By Kadeishvili's theorem, $H^*(A)$ admits a minimal $A_3$-structure: maps $(m_1=0, m_2, m_3)$, together with an $A_3$-quasi-isomorphism $f = (f_1, f_2, f_3) : H^*(A) \to A$.

The BKS canonical cochain $m_3 \in C^{3,-1}(H^*(A), H^*(A))$ is precisely the ternary operation
\[
\Phi_3(x, y, z) =
\,_2(f_1(x) \otimes f_2(y, z) - f_2(x, y) \otimes f_1(z))
- f_2(m_2(x, y) \otimes z - x \otimes m_2(y, z))
\]
where $_2$ is the multiplication in $A$. $\Phi_3$ is verified to be a Hochschild 3-cocycle of internal degree $-1$ (Lemma 4.3 in [2601.07551]), yielding the canonical class
\[
\gamma_A = [m_3] \in HH^{3,-1}(H^*(A), H^*(A)).
\]
This class is independent of the choices of $f_1$ and $f_2$, and is functorial under morphisms of dg-algebras (Proposition 4.5 in [2601.07551]).

When $A$ is a group (co)homology dga, such as $A = C^\bullet(G, k)$ or Tate cohomology $\widehat{H}^*(G;k)$, $\gamma_A$ specializes to the canonical class associated to the group.

## 2. Computation and Module-Theoretic Role

Within Tate or continuous group cohomology, $A$ is typically taken as $C^\bullet(G, k)$ for a profinite or finite group $G$ and field $k$, and $H^*(A) = H^*(G, k)$.

The construction of the canonical class, as systematically developed in [0911.3603] and [2601.07551], utilizes explicit lifts of cocycles and homotopies:
- A $kG$-projective resolution $P_\bullet \to k$ is fixed.  
- A chain-level lift $f_1$ of the algebra product and a secondary homotopy $f_2$ are constructed, satisfying $d(f_2(a, b)) = f_1(a) f_1(b) - f_1(ab)$.
- The ternary cocycle is $m(a,b,c) = C\left(f_2(a,b)f_1(c) + f_2(ab, c) + f_2(a, bc) + f_1(a)f_2(b, c)\right)$.

This data is used to build $\gamma_G \in HH^{3,-1}(H^*(G, k))$, which is the main object of study for realization problems:
\[
\gamma_G = \mathrm{can}_G \in HH^{3,-1}(H^*(G)).
\]

The BKS theorem asserts that for a graded $H^*(G)$-module $X$, $\gamma_G$ acts via
\[
id_X \cup - : HH^{3,-1}(H^*(G)) \rightarrow \Ext^{3,-1}_{H^*(G)}(X,X),
\]
and
\[
(id_X \cup \gamma_G) = 0 \Longleftrightarrow X
\ \text{is a direct summand of some}\ H^*(G;M).
\]
Hence, $\gamma_G$ precisely measures the non-realizability of $X$ as a summand of an actual group cohomology module [0911.3603].

## 3. Case Studies: Demushkin and Quaternion Groups

### Pro-$p$ Demushkin Groups

For pro-$p$ Demushkin groups $G$, the canonical class $\gamma_G$ is analyzed using the Koszul complex $K_\bullet(H)$ of $H = H^*(G, \mathbb{F}_p)$, which is a quadratic Koszul algebra (Corollary 6.7 in [2601.07551]). The explicit classification of Koszul basis elements (Lemma 8.2) and the computation of the restriction $\kappa_3 : K_3^3(H) \to H^2$ allows the identification of $\gamma_G$ with the coboundary or non-coboundary property of certain cochains.

- For $q$-invariant $q \neq 3$, one finds that explicit cochains exist killing all $\Phi_3$ values (Theorem 7.1), leading to $\gamma_G=0$ and ensuring $A_3$-formality.
- For $q = 3$ (notably at $p=3$, $q=3$), there remains a tensor (e.g., $\chi_1 \chi_1 \chi_1$) where no corresponding coboundary can be found, leading to $\gamma_G \neq 0$ (Theorem 7.4).

### Generalized Quaternion Groups

For generalized quaternion groups $Q_{2^n}$ in characteristic $2$, the Tate cohomology algebra $H^*(G) = k[x, y, s^{\pm 1}]/(y^2, x^2 + xy)$ is 4-periodic, and the canonical cocycle $m$ yields values such as $m(x, y, x) = xy$ [0911.3603]. For $n = 3$ ($Q_8$), there exists a module $X$ with $id_X \cup \gamma_G \neq 0$, yielding a classical non-realizable module (Section 4 in [0911.3603]). For $n > 3$, despite $\gamma_G \neq 0$ in $HH^{3,-1}$, it acts trivially on all modules, so every graded module is realizable.

## 4. Connection to $A_3$-formality and Obstructions

$A_3$-formality is the property of a dga that its minimal $A_3$-model (with differentiated higher multiplication $m_3$) is quasi-isomorphic to its cohomology algebra equipped only with $m_2$, i.e., all higher Massey products vanish universally. According to Kadeishvili's obstruction theory (Theorem 5.1 in [2601.07551]), the single obstruction to $A_3$-formality is the BKS canonical class:
\[
A\ \mathrm{is}\ A_3\text{-formal} \iff \gamma_A = 0 \in HH^{3,-1}(H^*(A), H^*(A)).
\]
For Demushkin groups with $q \neq 3$, $A = C^\bullet(G, \mathbb{F}_p)$ is $A_3$-formal; for $q=3$ ($p=3$, $q=3$), it is not. All triple Massey products vanish for Demushkin groups, but the nontrivial $m_3$ revealed by the canonical class persists whenever $(q,p) = (3, 3)$.

In the module-theoretic context, the BKS class measures module realizability: its vanishing (or not) on a module is equivalent to that module splitting off from an actual group cohomology module [0911.3603].

## 5. Functoriality, Broader Implications, and Open Questions

The canonical class is functorial under dga (and group cohomology) morphisms, suggesting the possibility of an obstruction theory for larger classes of (profinite) groups. The methods employed for Demushkin groups extend to "elementary type" pro-$p$-groups, with the functoriality of $\gamma$ providing a tool for tracking higher structure across group extensions [2601.07551]. Furthermore, evidence suggests all local and global Galois groups $G_F(\ell)$ at odd $\ell \neq 3$ may have $\gamma = 0$, raising questions about the extent of $A_3$-formality within arithmetic.

More generally, the theory predicts higher $A_n$-obstruction classes in $HH^{n, 2-n}$, and the vanishing of these classes has implications for rigidity and deformation theory in Galois cohomology (see remarks referencing Positselski's work in [2601.07551]). For $p=2$ or small $q$, such higher obstructions are expected to arise.

## 6. Summary Table: Properties of the Canonical Class in Key Contexts

| Context                                 | $\gamma_G$ in $HH^{3,-1}$    | Realizability Criterion    |
|------------------------------------------|------------------------------|---------------------------|
| Demushkin, $q\neq 3$ ($p$ odd)          | $\gamma_G=0$                 | All modules realizable    |
| Demushkin, $q=3$ ($p=3$)                | $\gamma_G\neq 0$             | Obstruction to $A_3$-formality |
| Quaternion, $Q_8$ (char 2)              | $\gamma_G\neq 0$             | Non-realizable modules exist |
| Quaternion, $Q_{2^n}$, $n>3$ (char 2)   | $\gamma_G\neq 0$             | All modules realizable    |

For Demushkin groups, Koszul property plus vanishing triple Massey products do not suffice for $A_3$-formality, as exhibited by the persistence of $\gamma_G$ at $(q, p) = (3, 3)$. For finite groups, the canonical class provides a single cohomological invariant regulating the entire realization problem for graded modules.

## 7. Literature and Foundational Results

The original construction and realization criterion for the canonical class are established in Benson, Krause, and Schwede (see [0911.3603]). The explicit computational and obstruction-theoretic role in $A_3$-formality, particularly for pro-$p$ Demushkin groups, is developed in Pál–Quick [2601.07551]. The interplay between the canonical class, Massey products, Koszul algebras, and realization problems reflects current understanding at the interface of group cohomology, homotopical algebra, and algebraic deformation theory.

Source: https://www.emergentmind.com/topics/benson-krause-schwede-canonical-class