We continue our quest to climb Mount Takagi-Artin.
In class field theory, it will be important to compute and keep track of the orders of groups such as , where is a Galois extension of local fields. A convenient piece of machinery for doing this is the Herbrand quotient, which we discuss today. I only sketch the proofs though, and a little familiarity with the Tate cohomology groups will be useful (but is not strictly necessary if one accepts the essentially combinatorial results without proof or proves them directly).
Let be a cyclic group generated by and a -module. It is well-known that the Tate cohomology groups are periodic with period two and thus determined by and . By definition,
where consists of the elements of fixed by , and is the norm map, . Moreover,
(Normally, for only assumed finite, we would quotient by the sum of for arbitrary, but here it is enough to do it for a generator—easy exercise.)
If both cohomology groups are finite, define the Herbrand quotient as
Why is this so useful? Well, local class field theory gives an isomorphism for a finite abelian extension of local fields. To prove this, one needs first to compute the order of . I claim that when is cyclic, this is in fact (where is regarded as -module). Indeed,
since by Hilbert’s Theorem 90! (I never proved HT 90 or really covered any of this cohomology business in much detail, but it basically states that if you have a cyclic extension of fields and has norm 1 to , then it can be written as for a generator of the Galois group and . This precisely means that the cohomology group at -1 vanishes.)
So instead of computing actual orders of cohomology groups, one just has to compute the Herbrand quotient. And the Herbrand quotient has many nice properties that make its computation a lot easier, as we will see below.
2. Proporties of the Herbrand quotient
1. is an Euler-Poincaré function. In other words, if is an exact sequence of -modules, and if is defined on two of , then it is defined on all three and
This follows because there is always a long exact sequence of Tate cohomology groups associated to the short exact sequence, which becomes an exact hexagon since is cyclic and we have periodicity. When one has an exact hexagon of abelian groups, the orders satisfy a well-known multiplicative relation (essentially an extension of for a subgroup) This is how one proves multiplicativity.
2. if is finite. This is somewhat counterintuitive, but is is incredibly useful.
To prove it, we shall write some exact sequences. Define , the fixed points of (i.e. those of ). Then there is an exact sequence of abelian groups:
which proves that , if is finite. Then
is exact, for the norm map . It now follows that , since these are precisely the extreme terms of the last exact sequence, and the two middle terms have the same order.
3. If with trivial action, then . Indeed, in this case the norm is just multiplication by , so that is trivial. and , so has order .
Next time, we’re going to use just these three properties to compute the local norm index of a cyclic extension.