Secondary Cohomology and k-invariants

TL;DR

This paper introduces a new secondary cohomology theory for triples involving a group, a G-module, and a 3-cocycle, extending classical invariants to higher types and associating them with topological spaces.

Contribution

It defines the secondary cohomology $_2H^n(G,A,;kappa;B)$ and constructs a new invariant $_2kappa^4$ for pointed spaces, generalizing classical k-invariants to a higher '3-type' context.

Findings

Introduces a novel secondary cohomology theory for triples involving a group, module, and cocycle.

Constructs a new invariant $_2kappa^4$ for pointed topological spaces.

Provides a higher '3-type' generalization of classical k-invariants.

Abstract

For a triple $(G,A,\kappa)$ (where $G$ is a group, $A$ is a $G$-module and $\kappa:G^3\to A$ is a 3-cocycle) and a $G$-module $B$ we introduce a new cohomology theory $_2H^n(G,A,\kappa;B)$ which we call the secondary cohomology. We give a construction that associates to a pointed topological space $(X,x_0)$ an invariant $_2\kappa^4\in_2H^4(\pi_1(X),\pi_2(X),\kappa^3;\pi_3(X))$. This construction can be seen a "3-type" generalization of the classical $k$-invariant.