Cohomology of cyclic groups

Section 3.4 Cohomology of cyclic groups

Reference.

[38], IV.7; [34], IX.1.

We next specialize attention to the case of a finite cyclic group, which will play a key role in many of our calculations. In this case, the cohomology, homology, and Tate groups satisfy a key periodicity property (Theorem 3.4.1) which allows us to define and manipulate a sort of “Euler characteristic”, the Herbrand quotient (Definition 3.4.4).

🔗

Subsection The periodicity theorem

In general, for any given

G

and

M,

it is at worst a tedious exercise (or a computer calculation) to compute

H_{T}^{i} (G, M)

for any single value of

i,

but try to compute all of these at once and you discover that they exhibit very little evident structure. Thankfully, there is an exception to that dreary rule when

G

is cyclic.

🔗

Theorem 3.4.1.

Let

G

be a finite cyclic group and

M

G

-module. Then there is a functorial isomorphism

H_{T}^{i} (G, M) \to H_{T}^{i + 2} (G, M)

for all

i \in Z;

moreover, these isomorphisms are all determined by the choice of a generator of

G .

🔗

Proof.

Let

m

be the order of

G,

choose a generator

g

G,

and fix the identification of the group ring

Z [G]

with the (commutative!) ring

Z [x] / (x^{m} - 1)

taking

g

x .

I can then view multiplication by

x - 1

as a map of

G

-modules

Z [G] \to Z [G],

then tensor over

Z

with

M

to get a map

{Ind}_{1}^{G} {Res}_{1}^{G} M \overset{\times (x - 1)}{\to} {Ind}_{1}^{G} {Res}_{1}^{G} M .

The kernel of this map is the image of multiplication by

x^{m - 1} + \dots + 1,

while the image is the ideal generated by

x - 1 .

Consequently, if I extend this map to a sequence

0 \to M \to {Ind}_{1}^{G} {Res}_{1}^{G} M \overset{\times (x - 1)}{\to} {Ind}_{1}^{G} {Res}_{1}^{G} M \to M \to 0

by adding the adjunction maps on both sides, the result is exact.

By Shapiro’s lemma, the Tate groups of the two modules in the middle are all zero. The desired result now follows from the following general fact: if

0 \to A \overset{f}{\to} B \overset{g}{\to} C \overset{h}{\to} D \to 0

is exact and

B

and

C

have all Tate groups zero, then there is a canonical isomorphism

H_{T}^{i + 2} (G, A) \to H_{T}^{i} (G, D) .

To see this, form the long exact sequence associated to the short exact sequences

\begin{matrix} 0 \to A \to B \to \frac{B}{im (f)} \to 0 \\ 0 \to \frac{B}{\ker (g)} \to C \to D \to 0 \end{matrix}

and combine the resulting isomorphisms to get

H^{i + 2} (G, A) ≅ H^{i + 1} (G, \frac{B}{im (f)}) = H^{i + 1} (G, \frac{B}{\ker (g)}) ≅ H^{i} (G, D) .

Remark 3.4.2.

In particular, when

G

is cyclic, the long exact sequence of a short exact sequence

0 \to M^{'} \to M \to M^{″} \to 0

G

-modules curls up into an exact hexagon as in Figure 3.4.3.

🔗

Subsection Herbrand quotients

Definition 3.4.4.

Let

G

be a finite cyclic group and let

M

be a

G

-module. If the groups

H_{T}^{i} (G, M)

are finite, we define the Herbrand quotient as the ratio

🔗

h (M) = # H_{T}^{0} (G, M) / # H_{T}^{- 1} (G, M) .

From the exactness of the hexagon in Figure 3.4.3, we see that if

M^{'}, M, M^{″}

all have Herbrand quotients, then

🔗

h (M) = h (M^{'}) h (M^{″}) .

🔗

Remark 3.4.5.

Expanding on the previous point, if two of

M^{'}, M, M^{″}

have Herbrand quotients, then so does the third. For example, if

M^{'}

and

M^{″}

have Herbrand quotients (i.e., their Tate groups are finite), then we have an exact sequence

🔗

H_{T}^{- 1} (G, M^{'}) \to H_{T}^{- 1} (G, M) \to H_{T}^{- 1} (G, M^{″})

and the outer groups are all finite. In particular, the first map is out of a finite group and so has finite image, and modulo that image,

H_{T}^{- 1} (G, M)

injects into another finite group. So it’s also finite, and so on.

🔗

Remark 3.4.6.

In general, we “almost” know that the groups

H_{T}^{i} (G, M)

are finite: by extended functoriality (Example 3.2.24), we know they are torsion with exponent dividing

# G .

The only issue is that they could fail to be finitely generated.

🔗

Remark 3.4.7.

In practice, it will often be much easier to compute the Herbrand quotient of a

G

-module than to compute either of its Tate groups directly. The Herbrand quotient will then do half of the work for free: once one group is computed directly, at least the order of the other will be automatically known. The key example for our purposes will occur in Section 7.1.

🔗

Remark 3.4.8.

M

is finite, then the groups

H_{T}^{i} (G, M)

are finite and

h (M) = 1 .

To wit, the sequences

🔗

\begin{matrix} 0 \to M^{G} \to M \to M \to M_{G} \to 0 \\ 0 \to H_{T}^{- 1} (G, M) \to M_{G} \overset{{Norm}_{G}}{\to} M^{G} \to H_{T}^{0} (G, M) \to 0 \end{matrix}

are exact, where

M \to M

is the map

m \mapsto m^{g} - m;

thus

M_{G}

and

M^{G}

are finite groups of the same order, as then are

H_{T}^{- 1}

and

H_{T}^{0} .

🔗

Exercises Exercises

1.

The periodicity of the Tate groups for

G

cyclic means that there is a canonical (up to the choice of a generator of

G

) isomorphism between

H_{T}^{- 1} (G, M)

and

H_{T}^{1} (G, M),

i.e., between

\ker ({Norm}_{G}) / M I_{G}

and the set of equivalence classes of 1-cocycles. What is this isomorphism explicitly? In other words, given an element of

\ker ({Norm}_{G}) / M I_{G},

what is the corresponding 1-cocycle?

🔗

2.

Put

K = Q_{p} (\sqrt{p}) .

Compute the Herbrand quotient of

K^{*}

as a

G

-module for

G = Gal (Q_{p} (\sqrt{p}) / Q_{p}) .

🔗

Hint.

Use the exact sequence

1 \to o_{K}^{*} \to K^{*} \to Z \to 1 .

🔗

3.

Let

G = S_{3}

(the symmetric group on three letters), let

M = Z^{3}

with the natural

G

-action permuting the factors, and let

N = M^{G} .

Compute

H^{i} (G, M / N)

for

i = 1, 2

however you want: you can explicitly compute cochains, use the alternate interpretations given above, or use the exact sequence

0 \to N \to M \to M / N \to 0 .

Better yet, use more than one method and make sure that you get the same answer.

🔗

Hint.

Part of the point of this exercise is that even in this relatively simple-looking situation, it is not all that easy to do the computation. One approach that minimizes the computational complexity is to use the Hochschild-Serre spectral sequence (see [37], Remark II.1.35) to reduce to working with the cyclic groups

H = A_{3} ≅ Z / 3 Z

and

G / H = S_{3} / A_{3} ≅ Z / 2 Z,

for which periodicity is applicable.

🔗

Prev Top Next