group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
This entry largely discusses Schreier theory of nonabelian group extensions – but from the nPOV.
As group cohomology of a group is the cohomology of its delooping , so nonabelian group cohomology is the corresponding nonabelian cohomology.
By the general abstract definition of cohomology, the abelian group cohomology in degree of a group with coefficients in an abelian group is the set of equivalence classes of morphisms
in the (∞,1)-category ∞Grpd, from the delooping of to the -fold delooping of .
However, if the group is not abelian, then its -fold delooping does not exist for , so accordingly the above does not give a prescription for cohomology of with coefficients in a nonabelian group in degree greater than 1 (and in degree 1 group cohomology is not very interesting, though see at crossed homomorphism).
But for nonabelian there are higher groupoids that “approximate” the non-existing higher deloopings, in some sense. Nonabelian group cohomology is the cohomology of with coefficients in such approximations.
More in detail, notice that for and abelian, the -fold delooping is the strict 2-groupoid whose corresponding crossed complex is
But for every group there is also its automorphism 2-group . Its delooping corresponds to the crossed complex
where the boundary map is the one that sends an element to the adjoint action automorphism .
So this looks much like (when that exists) only that it has more elements in degree 1.
Accordingly, what is called nonabelian group cohomology of with coefficients in is the set of equivalence classes of morphisms
Notice that when has nontrivial automorphisms, this differs in general from the ordinary degree=2 abelian group cohomology even if is abelian.
It is a familiar fact that abelian group cohomology classifies (shifted) central group extensions. Abstractly, this is really nothing but the statement that to a morphism we may associate its homotopy fiber, making the fiber sequence
(where both squares are homotopy pullback squares). In particular, for we get ordinary central extensions
which may be looped to yield exact sequences of groups
In Schreier theory one notices that, similarly, nonabelian group cohomology in degree=2 classifies nonabelian group extensions, i.e. sequences
As we shall discuss below, along the lines of the abstract discussion abive, nonabelian degree=2 cocycles really classify something slightly richer, namely exact sequences of groupoids
where the double slashes denote homotopy quotients (presented as action groupoids, and so is the delooping groupoid).
In the existing literature – which does not usually present the picture quite in the way we are doing here – nonabelian group cohomology is rarely considered beyond degree=2. But the picture does straightforwardly generalize. For instance degree=3 nonabelian cohomology of with coefficients in may be taken to be the cohomology of with coefficients in the 3-groupoid .
and so on.
We work out in detail what nonabelian group cocycles, such as morphisms
correspond to in terms of classical group data, using the relation between strict 2-groups and crossed modules that is spelled out in detail at strict 2-group – in terms of crossed modules.
For making the translation we follow the convention LB there.
Degree=2 cocycles of nonabelian group cohomology on with coefficients in are given by the following data:
a map ;
a map
subject to
the constraint that for all we have
the cocycle condition that for all we have
Use the identification of with its crossed module in the “convention L B” as described at strict 2-group – in terms of crossed modules to translate the relevant diagrams – which are of the sort spelled out in great detail at group cohomology: The first three items of the above encode a map of 2-morphisms
and the cocycle condition encodes that this assignment makes all tetrahedra commute (since there are only trivial k-morphisms with in ):
Precisely the same kind of “twisted” cocycles appear as the cocycles of nonabelian gerbes and principal 2-bundles: for a -gerbe these are cocycles with coefficients in but on a domain that is the discrete groupoid given by the given base space.
The following statement is classically the central statement of Schreier theory. We state and prove it in the guise of 2-groupoids where the thing classified by a cocycle is nothing but its homotopy fiber.
Cohomology classes of nonabelian 2-cocycles are in bijection with equivalence classes of extensions
In fact, we claim a bit more: we claim that the fibration sequence to the left which is induced by the cocycle is
where
is the twisted product of with , using the maps and , i.e. the group whose underlying set is the cartesian product with multiplication given by
To see this, we compute the homotopy pullback
as the ordinary pullback
as described at generalized universal bundle. ( is the universal -principal 2-bundle).
Recall from the discussion there that a morphism in is a triangle
in , and composition of morphisms is pasting of these triangles along their vertical edges. 2-morphisms in are given by paper-cup pasting diagrams of such triangles in .
Accordingly, the pullback has
objects are elements of (this is the bit not seen in the classical picture of Schreier theory, as that doesn’t know about groupoids);
morphisms are pairs
2-morphisms (thought of as 2-simplexes) take two such triangles and to the pair , where is given by the pasting diagram
Translating these diagrams into formulas using the convention LB as described at strict 2-group – in terms of crossed modules yields the claimed expressions.
Given two 2-cocycles
a homotopy (coboundary) between them is a transformation
Its components
are given in terms of group elements by
such that
The naturality condition on this datat is that for all we have
In terms of the conventionl LB at strict 2-group – in terms of crossed modules, this is equivalent to the equation
Compare this to the discussion of 2-coboundaries of extensions at group extension.
When the groups in question are Lie groups, there is an infinitesimal version of nonabelian group cohomology:
See there for details.
Non-abelian group cohomology in degree 1, as the set of crossed-conjugation-equivalence classes of crossed homomorphisms:
Philippe Gille, Tamás Szamuely, Def. 2.3.2 in: Central Simple Algebras and Galois Cohomology, Cambridge University Press 2006 (doi:10.1017/CBO9780511607219, pdf)
James Milne, Sec. 3.k (27.a of the pdf) in: Algebraic Groups, Cambridge University Press 2017 (doi:10.1017/9781316711736, webpage, pdf)
Groupprops, First cohomology set with coefficients in a non-abelian group
Last revised on August 19, 2024 at 17:01:23. See the history of this page for a list of all contributions to it.