group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
Related concepts
The group cohomology of a group is the cohomology of its delooping . This cohomology classifies group extensions of .
More generally, the group cohomology of an ∞-group is the cohomology of its delooping and it classifies ∞-group extensions of or equivalently principal ∞-bundles over (for coefficients with trivial ∞-action) or associated ∞-bundles (for coefficients with nontrivial ∞-action).
More in detail, if is any abelian group then a cocycle in -group cohomology with coefficients in regarded as equipped with the trivial action is a morphism
and the cohomology group is the homotopy equivalence classes of this
More generally, here may be equipped with a -action . There is the the corresponding action groupoid or associated ∞-bundle and now a cocycle is a morphism fitting into a diagram
Equivalently this means that the group cohomology of with coefficients in an abelian group with -action is the twisted cohomology of the delooping with respect to the local coefficient ∞-bundle .
All this generalizes to itself any ∞-group and replaced by any -∞-action in which case a group cocycle is now a morphism
hence a cocycle in the twisted cohomology of with coefficients in the local coefficient ∞-bundle given by the universal -associated -fiber ∞-bundle.
In other words, the general notion of group cohomology of is just the most general notion of cohomology of .
This general definition we discuss below in
The special case where is the -fold delooping of an abelian group is important for applications and also because in this case powerful tools of homological algebra can be applied and group cohomology of ordinary groups may be computed in tersm of of Ext-functors. This we discuss in
Finally one can break this further down into components In
we give some standard formulas for group cohomology in low degree.
We give the general abstract definition in the language of (∞,1)-topos theory / homotopy type theory.
Let be an (∞,1)-topos. Let be a group object, an ∞-group, in . Write for its delooping.
An ∞-action of on a is equivalently, as discussed there, exhibited by a fiber sequence
Regarded as an object in the slice (∞,1)-topos this is the categorical semantics of what in the syntax of homotopy type theory this is the dependent type
Also, is the local coefficient bundle for -group cohomology with coefficients in equipped with this -∞-action. this means that the group cohomology of with coefficients in is the hom in the slice (∞,1)-topos over as base (∞,1)-topos
where we denote on the right by the terminal object in the slice . Notice that in this is the trivial fiber sequence
This is the categorical semantics of what in the syntax of homotopy type theory is
By the discussion at ∞-action, this expresses the ∞-invariants of the conjugation action of on the morphisms of the underlying objects. Since the action on the point is trivial, these are just the ∞-invariants of .
In the special case that the -∞-action on is trivial, the group cohomology is equivalently just the set of connected components of the hom space
In particular if for an abelian group, this is
representation theory and equivariant cohomology in terms of (∞,1)-topos theory/homotopy type theory (FSS 12 I, exmp. 4.4):
Let be an ordinary group, specifically a group object in a topos such that the abelian category has enough projectives. If is an ordinary discrete group then this means that in the ambient set theory we assume the axiom of choice or ar least the presentation axiom.
Write then
for the group algebra of over the integers. Write
for the category Mod of modules over .
Notice that a module
is equivalently an abelian group equipped with a -action. This or rather its -fold suspension as a chain complex
is the kind of coefficient for the group cohomology of to which the following statement applies.
For a -module, the invariants of are equivalently the -module homomorphisms from equipped with the trivial module structure
This equivalence is natural and hence the contravariant hom functor is equivalently the invariants-functor
By the fully general discussion above, group cohomology of with coefficients in some is the homotopy-version of the -invariants of . In the context of homological algebra and in view of remark , this means that it is given by the derived functor of the hom functor out of the trivial -module, hence by the Ext-functor:
For an abelian group equipped with a -action, the degree- group cohomology of with coefficients in is the th-Ext-group
where on the right is regarded as equipped with the trivial -action.
By the discussion at projective resolution this means more explicitly the following: let be a projective resolution of equipped with the trivial -action, hence an exact sequence
of -modules. Let
be the corresponding cochain complex. Then the degree- group cohomology of with coefficient in is the degree- cochain cohomology of this complex
Give a normal subgroup the invariants-functor may be decomposed as a composition of the functor that forms -invariants with that which forms -invariants for the quotient group. This decomposition gives rise to a Grothendieck spectral sequence for the group cohomology. This is called the Hochschild-Serre spectral sequence.
The fully general definition above subsumes various cases that are not always discussed on the same footing in traditional literature. For emphasis we highlight these special cases separately.
We unwind the general abstract definition of group cohomology above in terms of constructions on simplicial sets (for cohomology of discrete groups) and simplicial presheaves (for cohomology of general group objects).
Let be a discrete group and an abelian discrete group, regarded as equipped with the trivial -action. Let .
Write
sSet for the simplicial classifying space, hence the nerve of the delooping groupoid ;
sSet for the image under the Dold-Kan correspondence of the chain complex which is the -fold suspension of a chain complex of .
Then the degree- group cohomology of with coefficients in is the set
of homomorphisms of simplicial sets modulo simplicial homotopy.
By prop. the group cohomology is
By assumption the relevant (∞,1)-topos here is ∞Grpd, which for emphasis we might write “Disc∞Grpd”. This is presented by the standard model structure on simplicial sets, .
By the discussion at delooping and at ∞-group, a presentation in sSet, necessarily cofibrant, of the delooping is the standard bar construction
which is equivalently the nerve of the groupoid .
Moreover, by the discussion at Dold-Kan correspondence a presentation of the Eilenberg-MacLane object is , and this is a Kan complex and hence a fibrant object in the model category structure.
Therefore by the discussion at derived hom-space we have that is a Kan complex which presents the required hom--groupoid.
For low values of it is useful and easily possible to describe these simplicial maps explicitly. This we turn to now.
A degree-one group cocycle , is just group homomorphism – a character of .
We discuss here in detail and in components the special case of degree-2 group cohomology of a discrete group with coefficients in an abelian discrete group and regarded as being equipped with the trivial -action.
Let be a discrete group and an abelian discrete group, regarded as being equipped with the trivial -action.
Then a group 2-cocycle on with coefficients in is a function
such that for all it satisfies the equation
(called the group 2-cocycle condition).
For two such cocycles, a coboundary between them is a function
such that for all the equation
holds in , where
is the group 2-coboundary encoded by .
The degree-2 group cohomology is the set
of equivalence classes of group 2-cocycles modulo group 2-coboundaries. This is itself naturally an abelian group under pointwise addition of cocycles in
where
This may be taken as the definition of degree-2 group cohomology (with coefficients in abelian groups and with trivial action). The following proof shows how this follows from the general simplicial presentation of prop. .
Notice that fully explicitly the 2-simplices in are
and the 3-simplices are
Therefore a homomorphism of simplical sets is in degree 2 a function
i.e. a map . To be a simplicial homomorphism this has to extend to 3-simplices as:
Since there is a unique 3-cell in whenever the oriented sum of the -labels of the boundary of the corresponding tetrahedron vanishes, the existence of the 3-cell on the right here is precisely the claimed cocycle condition.
A similar argument gives the coboundaries
We discuss now how in the computation of one may concentrate on the normalized cocycles.
For a group 2-cocycle, we have for all that
The cocycle condition (1) evaluated on
says that
hence that
Similarly the 2-cocycle condition applied to
says that
hence that
By lemma it is sufficient to show that is cohomologous to a cocycle satisfying . Now given , Let be given by
Then has the desired property, with (2):
The simplex category \Delta, whose objects are {1,2,3..n} and morphisms are nondecreasing functions, is the UNIVERSAL “category equipped with a monoid”.
Dually, \Delta^op is the UNIVERSAL “category equipped with a comonoid”.
For a group G, there’s an adjunction between (G-reps) and (Vector Spaces) by the forgetful functor and the free G-rep functor. The composition gives you a COMONAD of (G-rep).
A comonad is just a categorification of a comonoid. More concretely a comonad is a comonoid in End( (G-rep), (G-rep) ).
Since \Delta^op is has a universal comonoid, we connect both contexts naturally. No wonder there’s nice cohomology theory for groups!
(ref: Categories-for-the-Working-Mathematician-[Mac-Lane])
If the groups in question are not plain groups (group objects internal to Set) but groups with extra structure, such as topological groups or Lie groups, then their cohomology has to be understood in the corresponding natural context.
In parts of the literature cohomology of structured groups is defined in direct generalization of the formulas above as homotopy classes of morphisms from the simplicial object
to a simplicial object .
This is what is described above for discrete groups. But this does not in general give the right answer for structured groups: while the simplicial set is cofibrant in the relevant model category presenting the ambient (∞,1)-topos Disc∞Grpd, for a structured group the simplicial object given by the same formula is not in general already cofibrant. It needs to be further resolved, instead.
Specifically, for a Lie group , the object
has to be considered as an Lie ∞-groupoid: an object in the model structure on simplicial presheaves over a site such as Diff or CartSp. As such it is in general not both cofibrant and fibrant. To that extent plain morphisms out of this object do not compute the correct derived hom-spaces. Instead, the right definition of structured group cohomology uses the correct fibrant and cofibrant replacements.
Doing requires more work. This is discussed at
See below at References - For structured groups for pointers to the literature.
If the coefficient group is nonabelian, its higher deloopings do not exist. But n-groupoids approximating this non-existant delooping do exists. Cohomology of with coefficients in these is called nonabelian group cohomology or Schreier theory. See there for more details.
For group cohomology of the group of order 2 see at Groupprops, Group cohomology of cyclic group Z2
The cohomology of with coefficients in admits a very simple description (see (p.66 of Adem & Milgram (2004))). There exists a ring isomorphism
of the cohomology ring to the polynomial ring of commuting variables with coefficients in . Furthermore, each cohomology group is generated by the classes of the functions:
with , where each argument is an -tuple .
We consider for a topological group such as
the unitary group ;
the special unitary group ;
the symplectic group
the corresponding group cohomology in terms of the cohomology of the classifying space/delooping .
For all we have
where and .
The additive group on the Cartesian space with group operation
carries a degree-2 group cocycle with values in given by
The cocycle condition for this is the identity
The group extension classified by this cocycle is the Heisenberg group.
The group cohomology of Galois groups is called Galois cohomology. See there for more details.
We may regard a Lie algebra as an infinitesimal group. Under this perspective Lie algebra cohomology and infinity-Lie algebra cohomology is a special case of (higher) group cohomology. See there for details.
group cohomology
See also:
S. Eilenberg, S. MacLane, Relations between Homology and Homotopy Groups. Proceedings of the National Academy of Sciences 29 5 (1943) 155–158. [doi:10.1073/pnas.29.5.155]
Samuel Eilenberg, Saunders MacLane, Relations Between Homology and Homotopy Groups of Spaces, The Annals of Mathematics 46 3 (1945) 480 [doi:10.2307/1969165]
Samuel Eilenberg, Saunders MacLane, Relations Between Homology and Homotopy Groups of Spaces. II, The Annals of Mathematics 51 3 (1950) 514. [doi:10.2307/1969365]
Dmitri Faddeev, On factor-systems in Abelian groups with operators. (Russian), Doklady Akad. Nauk SSSR (N. S.) 58, (1947). 361–364.
Textbook accounts:
specifically with an eye towards cohomology of finite groups:
Michael Atiyah, Characters and cohomology of finite groups, Publications Mathématiques de l’IHÉS, 9 (1961), p. 23-64 (Numdam)
Alejandro Adem, R. James Milgram, Cohomology of Finite Groups, Springer 2004
specifically for profinite groups:
specifically for algebraic groups:
On homotopy theory-methods:
Further exposition:
Alejandro Adem, Lectures on the cohomology of finite groups (pdf)
Narthana Epa, Platonic 2-groups, 2010 (pdf)
An introduction to group cohomology of a group as the cohomology of the classifying space :
Joshua Roberts, Group cohomology: a classifying space perspective (pdf)
Advanced course on classifying spaces and cohomology of groups (ps)
Discussion of the cohomology of discrete groups with abelian coefficients in terms of crossed modules instead of chain complexes (an intermediate step in the Dold-Kan correspondence) is in chapter 12 of
Cohomology of simplicial groups is discussed for instance in
Much of what is called “nonabelian cohomology” in the existing literature concerns the case of nonabelian group cohomology with coefficients in the automorphism 2-group of some possibly nonabelian group .
This is the topic of Schreier theory.
A random example for this use of terminology would be
For a conceptual discussion of nonabelian group cohomology see
Group cocycles classify group extensions. This is often discussed only for 2-cocycles and extensions by ordinary groups. Higher cocycles classify extensions by 2-groups and further by infinity-groups. In the context of crossed complexes, which are models for strict -groups, this is discussed for instance in
In
-cocycles on a topological group with values in a topological abelian group are considered as continuous maps (p. 3 ).
A definition in terms of Ext-functors and comparison with the naive definition is in
A classical reference that considers the cohomology of Lie groups as topological spaces is
A corrected definition of topological group cohomology has been given by Segal
Graeme Segal, Cohomology of topological groups In Symposia Mathematica, Vol. IV (INDAM, Rome, 1968/69), pages 377{387. Academic Press, London, (1970).
Graeme Segal, A classifying space of a topological group in the sense of Gel’fand-Fuks. Funkcional. Anal. i Prilozen.,
9(2):48{50, (1975).
For reductive algebraic groups:
Some references pertaining to the cohomology of the classifying space/delooping for a topological group (characteristic classes).
Cohomology of the classifying space for the topological group underlying a compact Lie group.
Mark Feshbach, Some General Theorems on the Cohomology of Classifying Spaces of Compact Lie Groups Transactions of the American Mathematical Society Vol. 264, No. 1 (Mar., 1981), pp. 49-58 (JSTOR)
Donald Yau, Cohomology of unitary and symplectic groups (pdf)
D. Benson, John Greenlees, Commutative algebra for cohomology rings of classifying spaces of compact Lie groups (pdf)
Eric Friedlander, Guido Mislin, Cohomology of classifying spaces of complex Lie groups and related discrete groups Commentarii Mathematici Helvetici
Volume 59, Number 1, 347-361,
For the unitary group, the integral cohomology of the classifying space consists of the Chern classes, one in every even degree.
The cohomology of (orthogonal group) and (special orthogonal group) with coefficients in is discussed in (MilnorStasheff, 1974).
The cohomology of with coefficients in and was found in
The ring-structure on the cohomology with integer coefficients was given in
E. Brown (Jr.), The cohomology of and with integer coefficients Proc. AMS Soc. 85 (1982)
Mark Feshbach, The integral cohomology rings of the classifying spaces of and , Indiana Univ. Math. J. 32 (1983), 511–516.
For local coefficients see
Martin Čadek, The cohomology of with twisted integer coefficients, J. Math. Kyoto Univ. 39 (1999), no. 2, 277–286 (Euclid)
Richard Lastovecki, Cohomology of with local integer coefficients Comment.Math.Univ.Carolin. 46,1 (2005)21–32 (pdf)
The Whitehead tower of the orthogonal group starts out with
fivebrane group string group spin group special orthogonal group orthogonal group
Group cohomology of the spin group (cohomology of the classifying space ) is discussed in
Emery Thomas, On the cohomology groups of the classifying space for the stable spinor group , Bol. Soc. Mex. (1962), 57 - 69
Masana Harada, Akira Kono, Cohomology mod 2 of the classifying space of Publications of the Research Institute for Mathematical Sciences archive Volume 22 Issue 3, Sept. (1986) (web)
Group cohomology of the string group (cohomology of the classifying space ) is discussed in
Cohomology of classifying spaces of exceptional Lie groups.
Some of the above materiel is taken from discussion at
Last revised on March 4, 2024 at 21:35:32. See the history of this page for a list of all contributions to it.