Group cohomology

From Wikipedia, the free encyclopedia

This article is about homology and cohomology of a group. For homology or cohomology groups of a space or other object, see Homology (mathematics).

In abstract algebra, homological algebra, algebraic topology and algebraic number theory, as well as in applications to group theory proper, group cohomology is a way to study groups using a sequence of functors Hⁿ. The study of fixed points of groups acting on modules and quotient modules is a motivation, but the cohomology can be defined using various constructions. There is a dual theory, group homology, and a generalization to non-abelian coefficients. These algebraic ideas are closely related to topological ideas. A great deal is known about the cohomology of groups, including interpretations of low dimensional cohomology, functorality, and how to change groups. The history of group cohomology began in the 1920s, matured in the late 1940s, and continues as an area of active research today.

[edit] Motivation

A general paradigm in group theory is that a group G should be studied via its group representations. A slight generalization of those representations are the G-modules: a G-module is an abelian group M together with a group action of G on M, with every element of G acting as an endomorphism of M. In the sequel we will write G multiplicatively and M additively.

Given such a G-module M, it is natural to consider the subgroup of G-invariant elements:

$M^{G} = \lbrace x \in M : \forall g \in G \ gx=x \rbrace.$

Now, if N is a submodule of M (i.e. a subgroup of M mapped to itself by the action of G), it isn't in general true that the invariants in M/N are found as the quotient of the invariants in M by N: being invariant 'up to something in N ' is broader. The first group cohomology H¹(G,N) precisely measures the difference. The group cohomology functors Hⁿ in general measure the extent to which taking invariants doesn't respect exact sequences. This is expressed by a long exact sequence.

[edit] Formal constructions

In this article, G is a finite group. The collection of all G-modules is a category (the morphisms are group homomorphisms f with the property f(gx) = g(f(x)) for all g in G and x in M). This category of G-modules is an abelian category with enough injectives (since it is isomorphic to the category of all modules over the group ring ℤ[G]).

Sending each module M to the group of invariants M^G yields a functor from this category to the category $\mathfrak{Ab}$ of abelian groups. This functor is left exact but not necessarily right exact. We may therefore form its right derived functors; their values are abelian groups and they are denoted by Hⁿ(G,M), "the n-th cohomology group of G with coefficients in M". H⁰(G,M) is identified with M^G.

[edit] Long exact sequence of cohomology

In practice, one often computes the cohomology groups using the following fact: if

$0 \to L \to M \to N \to 0$

is a short exact sequence of G-modules, then a long exact sequence

$0\to L^G\to M^G\to N^G\overset{\delta^0}{\to} H^1(G,L) \to H^1(G,M) \to H^1(G,N)\overset{\delta^1}{\to} H^2(G,L)\to \cdots$

is induced. The maps δⁿ are called the "connecting homomorphisms" and can be obtained from the snake lemma.^[1]

[edit] Cochain complexes

Rather than using the machinery of derived functors, the cohomology groups can also be defined more concretely, as follows.^[2] For n ≥ 0, let Cⁿ(G, M) be the group of all functions from Gⁿ to M. This is an abelian group; its elements are called the (inhomogeneous) n-cochains. The coboundary homomorphisms

$d^{n}: C^{n} (G,M) \rightarrow C^{n+1}(G,M)$

are defined as

$\left(d^n\varphi\right)(g_{1},\dots,g_{n+1}) = g_{1}\cdot \varphi(g_{2},\dots,g_{n+1})$

$+ \sum_{i=1}^{n} (-1)^{i} \varphi(g_{1},\dots,g_{i-1},g_{i} g_{i+1},g_{i+2},\dots,g_{n+1})$

$+ (-1)^{n+1} \varphi(g_{1},\dots,g_{n})$

The crucial thing to check here is

$d^{n+1} \circ d^{n} = 0$

thus we have a cochain complex and we can compute cohomology. For n ≥ 0, define the group of n-cocycles as:

$Z^{n}(G,M) = \operatorname{ker}(d^{n})$

and the group of $n$ -coboundaries as

$\begin{cases} B^{0}(G,M) = {0} \\ B^{n}(G,M)= \operatorname{im}(d^{n-1}) \ n \geq 1 \end{cases}$

and

H n (G, M) = Z n (G, M) / B n (G, M).

[edit] The functors Extⁿ and formal definition of group cohomology

Yet another approach is to treat G-modules as modules over the group ring ℤ[G], which allows one to define group cohomology via Ext functors:

$H^{n}(G,M) = \operatorname{Ext}^{n}_{\mathbb{Z}[G]}(\mathbb{Z},M),$

where M is a ℤ[G]-module.

Here ℤ is treated as the trivial G-module: every element of G acts as the identity. These Ext groups can also be computed via a projective resolution of ℤ, the advantage being that such a resolution only depends on G and not on M. We recall the definition of Ext more explicitly for this context. Let F be a projective ℤ[G]-resolution (e.g. a free ℤ[G]-resolution) of the trivial ℤ[G]-module ℤ:

$\dots \to F_n\to F_{n-1} \to\dots \to F_0\to \mathbb Z.$

Recall that for ℤ[G]-modules N and M, Hom_G(N, M) is an abelian group consisting of ℤ[G]-homomorphisms from N to M. Since Hom_G(–, M) is a contravariant functor and reverses the arrows, applying Hom_G(–, M) to F termwise produces a cochain complex Hom_G(F, M):

$... \leftarrow \operatorname{Hom}_G(F_n,M)\leftarrow \operatorname{Hom}_G(F_{n-1},M)\leftarrow \dots \leftarrow \operatorname{Hom}_G(F_0,M)\leftarrow \operatorname{Hom}_G(\mathbb Z,M).$

The cohomology groups H^*(G,M) of G with coefficients in M are defined as the cohomology of the above cochain complex:

Hⁿ(G,M)=Hⁿ(Hom_G(F, M))

for n ≥ 0.

[edit] Group homology

Dually to the construction of group cohomology there is the following definition of group homology: given a G-module M, set DM to be the submodule generated by elements of the form g·m-m, g∈G, m∈M. Assigning to M its so-called co-invariants, the quotient

M_G := M/DM,

is a right exact functor. Its left derived functors are by definition the group homology

H_n(G, M).

The covariant functor which assigns M_G to M is isomorphic to the functor which sends M to $\mathbb{Z}\otimes_{\mathbb{Z}[G]}M$ , where $\mathbb{Z}$ is endowed with the trivial G-action. Hence one also gets an expression for group homology in terms of the Tor functors,

$H_n(G,M) = \operatorname{Tor}_n^{\mathbb{Z}[G]}(\mathbb{Z},M)$

Recall that the tensor product $N\otimes_{\mathbb{Z}[G]}M$ is defined whenever N is a right ℤ[G]-module and M is a left ℤ[G]-module. If N is a left ℤ[G]-module, we turn it into a right ℤ[G]-module by setting a g = g^{− 1} a for every g ∈ G and every a ∈ N. This convention allows to define the tensor product $N\otimes_{\mathbb{Z}[G]}M$ in the case where both M and N are left ℤ[G]-modules.

Specifically, the homology groups H_n(G, M) can be computed as follows. Start with a projective resolution F of the trivial ℤ[G]-module ℤ, as in the previous section. Apply the covariant functor $\otimes_{\mathbb{Z}[G]}M$ to F termwise to get a chain complex $F\otimes_{\mathbb{Z}[G]}M$ :

$\dots \to F_n\otimes_{\mathbb{Z}[G]}M\to F_{n-1}\otimes_{\mathbb{Z}[G]}M \to\dots \to F_0\otimes_{\mathbb{Z}[G]}M\to \mathbb Z\otimes_{\mathbb{Z}[G]}M.$

Then H_n(G, M) are the homology groups of this chain complex, $H_n(G,M)=H_n(F\otimes_{\mathbb{Z}[G]}M)$ for n ≥ 0.

Group homology and cohomology can be treated uniformly for some groups, especially finite groups, in terms of complete resolutions and the Tate cohomology groups.

[edit] Functorial maps in terms of cochains

[edit] Connecting homomorphisms

For a short exact sequence 0 → L → M → N → 0, the connecting homomorphisms δⁿ : Hⁿ(G, N) → Hⁿ⁺¹(G, L) can be described in terms of inhomogeneous cochains as follows.^[3] If c is an element of Hⁿ(G, N) represented by an n-cocycle φ : Gⁿ → N, then δⁿ(c) is represented by dⁿ(ψ), where ψ is an n-cochain Gⁿ → M "lifting" φ (i.e. such that φ is the composition of ψ with the surjective map M → N).

[edit] Non-abelian group cohomology

Using the G-invariants and the 1-cochains, one can construct the zeroth and first group cohomology for a group G with coefficients in a non-abelian group. Specifically, a G-group is a (not necessarily abelian) group A together with an action by G.

The zeroth cohomology of G with coefficients in A is

$H^{0}(G,A)=A^{G},\,$

which is a subgroup of A.

The first cohomology of G with coefficents in A is defined as above using 1-cocycles and 1-coboundaries. However, it is generally not a group when A is non-abelian. It instead has the structure of a pointed set.

Using explicit calculations, one still obtains a truncated long exact sequence in cohomology. Specifically, let

$0\to A\to B\to C\to 0\,$

be a short exact sequence of G-groups, then there is an exact sequence of pointed sets

$0\to A^G\to B^G\to C^G\to H^1(G,A) \to H^1(G,B) \to H^1(G,C).\,$

[edit] Connections with topological cohomology theories

Group cohomology can be related to topological cohomology theories: to the topological group G there is an associated classifying space BG. (If G has no topology about which we care, then we assign the discrete topology to G. In this case, BG is an Eilenberg-MacLane space K(G,1), whose fundamental group is G and whose higher homotopy groups vanish). The n-th cohomology of BG, with coefficients in M (in the topological sense), is the same as the group cohomology of G with coefficients in M. This will involve a local coefficient system unless M is a trivial G-module. The connection holds because the total space EG is contractible, so its chain complex forms a projective resolution of M. These connections are explained in (Adem-Milgram 2004), Chapter II.

When M is a ring with trivial G-action, we inherit good properties which are familiar from the topological context: in particular, there is a cup product under which

$H^*(G;M)=\bigoplus_n H^n(G;M)\,$

is a graded module, and a Künneth formula applies.

If, furthermore, M=k is a field, then $H * (G; k)$ is a graded k-algebra. In this case, the Künneth formula yields

$H^*(G_1\times G_2;k)\cong H^*(G_1;k)\otimes H^*(G_2;k).\,$

For example, let G be the group with two elements, under the discrete topology. The real projective space ℝP^∞ is a classifying space for G. Let k=F₂, the field of two elements. Then

$H^*(G;k)\cong k[x],\,$

a polynomial k-algebra on a single generator, since this is the cellular cohomology ring of ℝP^∞.

Hence, as a second example, if G is an elementary abelian 2-group of rank r, and k=F₂, then the Künneth formula gives

$H^*(G;k)\cong k[x_1, \ldots, x_r]$ ,

a polynomial k-algebra generated by r classes in $H 1 (G; k)$ .

[edit] Properties

In the following, let M be a G-module.

[edit] Functoriality

Group cohomology depends contravariantly on the group G, in the following sense: if f : H → G is a group homomorphism, then we have a naturally induced morphism Hⁿ(G,M) → Hⁿ(H,M) (where in the latter case, M is treated as an H-module via f).

Given a morphism of G-modules M→N, one gets a morphism of cohomology groups in the Hⁿ(G,M) → Hⁿ(G,N).

[edit] H¹

The first cohomology group is the quotient of the so-called crossed homomorphisms, i.e. maps (of sets) f:G → M satisfying f(a b)=a f(b) + f(a) for all a, b in G, divided by the so-called principal crossed homomorphisms f:G → M, a → a m-m, m some element of M. This follows from the definition of cochains above.

If the action of G on M is trivial, then the above boils down to H¹(G,M)=Hom(G, M), the group of group homomorphisms G → M.

[edit] H²

If M is a trivial G-module (i.e. the action of G on M is trivial), the second cohomology group H²(G,M) is in one-to-one correspondence with the set of central extensions of G by M (up to a natural equivalence relation). More generally, if the action of G on M is nontrivial, H²(G,M) classifies the isomorphism classes of all extensions of G by M in which the induced action of G on M by inner automorphisms agrees with the given action.

[edit] Change of group

The Hochschild-Serre spectral sequence relates the cohomology of a normal subgroup N of G and the quotient G/N to the cohomology of the group G (for (pro-)finite groups G).

[edit] History and relation to other fields

The low dimensional cohomology of a group was classically studied in other guises, long before the notion of group cohomology was formulated in 1943-45. The first theorem of the subject can be identified as Hilbert's Theorem 90 in 1897; this was recast into Noether's equations in Galois theory (an appearance of cocycles for H¹). The idea of factor sets for the extension problem for groups (connected with H²) arose in the work of Hölder (1893), in Issai Schur's 1904 study of projective representations, in Schreier's 1926 treatment, and in Richard Brauer's 1928 study of simple algebras and the Brauer group. A fuller discussion of this history may be found in (Weibel 1999, pp. 806-811).

In 1941, while studying $H_2(G,\mathbb{Z})$ (which plays a special role in groups), Hopf discovered what is now called Hopf's integral homology formula (Hopf 1942), which is identical to Schur's formula for the Schur multiplier of a finite, finitely presented group:

$H_2(G,\mathbb{Z}) \cong (R \cap [F, F])/[F, R]$ , where $G \cong F/R$ and F is a free group.

Hopf's result led to the independent discovery of group cohomology by several groups in 1943-45: Eilenberg and Mac Lane in the USA (Rotman 1995, p. 358); Hopf and Eckmann in Switzerland; and Freudenthal in the Netherlands (Weibel 1999, p. 807). The situation was chaotic because communication between these countries was difficult during World War II.

From a topological point of view, the homology and cohomology of G was first defined as the homology and cohomology of a model for the topological classifying space BG as discussed in #Connections with topological cohomology theories above. In practice, this meant using topology to produce the chain complexes used in formal algebraic definitions. From a module-theoretic point of view this was integrated into the Cartan-Eilenberg theory of Homological algebra in the early 1950s.

The application in algebraic number theory to class field theory provided theorems valid for general Galois extensions (not just abelian extensions). The cohomological part of class field theory was axiomatized as the theory of class formations. In turn, this led to the notion of Galois cohomology and étale cohomology (which builds on it) (Weibel 1999, p. 822). Some refinements in the theory post-1960 have been made, such as continuous cocycles and Tate's redefinition, but the basic outlines remain the same. This is a large field, and now basic in the theories of algebraic groups.

The analogous theory for Lie algebras, called Lie algebra cohomology, was first developed in the late 1940s, by Chevalley-Eilenberg, and Koszul (Weibel 1999, p. 810). It is formally similar, using the corresponding definition of invariant for the action of a Lie algebra. It is much applied in representation theory, and is closely connected with the BRST quantization of theoretical physics.

[edit] Notes

^ Section VII.2 of Serre 1979
^ Page 62 of Milne 2008 or section VII.3 of Serre 1979
^ Remark II.1.21 of Milne 2008

[edit] References

Adem, Alejandro; R. James Milgram (2004), Cohomology of Finite Groups, Grundlehren der Mathematischen Wissenschaften, 309, Springer-Verlag, MR 2035696, ISBN 3-540-20283-8
Brown, Kenneth S. (1972), Cohomology of Groups, Graduate Texts in Mathematics, 87, Springer Verlag, MR 0672956, ISBN 0-387-90688-6
Hopf, Heinz (1942), "Fundamentalgruppe und zweite Bettische Gruppe", Comment. Math. Helv. 14: 257--309, doi:10.1007/BF02565622, MR 6510, http://www.digizeitschriften.de/index.php?id=166&ID=132355&L=2
Chapter II of Milne, James (5/2/2008), Class Field Theory, v4.00, http://www.jmilne.org/math, retrieved on 8/9/2008
Rotman, Joseph (1995), An Introduction to the Theory of Groups, Springer-Verlag, MR 1307623, ISBN 978-0-387-94285-8
Chapter VII of Serre, Jean-Pierre (1979), Local fields, Graduate Texts in Mathematics, 67, Berlin, New York: Springer-Verlag, MR 554237, ISBN 978-0-387-90424-5
Serre, Jean-Pierre (1994), Cohomologie galoisienne, Lecture Notes in Mathematics, 5 (Fifth ed.), Berlin, New York: Springer-Verlag, MR 1324577, ISBN 978-3-540-58002-7
Shatz, Stephen S. (1972), Profinite groups, arithmetic, and geometry, Princeton, NJ: Princeton University Press, MR 0347778, ISBN 978-0-691-08017-8
Chapter 6 of Weibel, Charles A. (1994), An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, 38, Cambridge University Press, MR 1269324, ISBN 978-0-521-55987-4, OCLC 36131259
Weibel, Charles A. (1999), "History of homological algebra", History of Topology, Cambridge University Press, pp. 797–836, MR 1721123, ISBN 0-444-82375-1

[0] Section VII.2 of Serre 1979

[1] Page 62 of Milne 2008 or section VII.3 of Serre 1979

[2] Remark II.1.21 of Milne 2008

[1]

[2]

[3]

Group cohomology

From Wikipedia, the free encyclopedia

Contents

[edit] Motivation

[edit] Formal constructions

[edit] Long exact sequence of cohomology

[edit] Cochain complexes

[edit] The functors Extⁿ and formal definition of group cohomology

[edit] Group homology

[edit] Functorial maps in terms of cochains

[edit] Connecting homomorphisms

[edit] Non-abelian group cohomology

[edit] Connections with topological cohomology theories

[edit] Properties

[edit] Functoriality

[edit] H¹

[edit] H²

[edit] Change of group

[edit] History and relation to other fields

[edit] Notes

[edit] References

Views

Personal tools

Navigation

Search

Interaction

Toolbox

Languages

Group cohomology

From Wikipedia, the free encyclopedia

Contents

[edit] Motivation

[edit] Formal constructions

[edit] Long exact sequence of cohomology

[edit] Cochain complexes

[edit] The functors Extn and formal definition of group cohomology

[edit] Group homology

[edit] Functorial maps in terms of cochains

[edit] Connecting homomorphisms

[edit] Non-abelian group cohomology

[edit] Connections with topological cohomology theories

[edit] Properties

[edit] Functoriality

[edit] H1

[edit] H2

[edit] Change of group

[edit] History and relation to other fields

[edit] Notes

[edit] References

Views

Personal tools

Navigation

Search

Interaction

Toolbox

Languages

[edit] The functors Extⁿ and formal definition of group cohomology

[edit] H¹

[edit] H²