Benson–Krause–Schwede Canonical Class

• The BKS canonical class is a key invariant in Hochschild cohomology, defined via a ternary cocycle m₃ that reflects obstruction to module realization and A₃-formality.
• Its construction methodically lifts chain-level algebra structures using maps f₁ and f₂, ensuring independence from choices and enabling functorial behavior under differential graded algebra morphisms.
• In practical terms, the canonical class distinguishes whether a graded module is realizable in group cohomology, as seen in studies on Demushkin and generalized quaternion groups.

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 (Pál et al., 12 Jan 2026)), 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 (Pál et al., 12 Jan 2026)).

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 (Pál et al., 12 Jan 2026), 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 (Pál et al., 12 Jan 2026)). 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 (Pál et al., 12 Jan 2026)), 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 (Pál et al., 12 Jan 2026). 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 (Pál et al., 12 Jan 2026)). 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 (Pál et al., 12 Jan 2026). 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.