Professional Documents
Culture Documents
ADVANCED MATHEMATICS : 40
EDITORIAL BOARD
D.J.H. GARLING, T. TOM DIECK, P. WALTERS
Already published
1
10
11
12
13
14
15
16
17
18
L.J. Corwin & F.P. Greenleaf Representations of nilpotent Lie groups and their
applications
19
24
25
26
J.E. Gilbert & M.A.M. Murray Clifford algebras and Dirac operators in harmonic
analysis
27
28
29
30
31
32
33
34
35
37
38
39
EXPLICIT BRAUER
INDUCTION
with applications to algebra and
number theory
Victor P. Snaith
Britton Professor of Mathematics
McMaster University
AMBRIDGE
UNIVERSITY PRESS
A catalogue record for this publication is available from the British Library
ISBN 978-0-521-46015-6 hardback
Transferred to digital printing 2009
Contents
Preface
1
Representations
1.1
Basic definitions
1.2
Complex representations
1.3
GL2Fq
3.2
3.3
Weil representations
Explicit Brauer induction and Shintani descent
Exercises
1
1
5
21
Exercises
Induction theorems
2.1
Induction theorems of Artin and Brauer
2.2
Brauer induction in canonical rational form
Brauer induction in canonical integral form
2.3
2.4
Inductive explicit Brauer induction
2.5
Exercises
3.1
page vii
23
25
32
45
54
67
72
73
89
104
106
107
110
120
131
138
153
166
170
172
176
189
205
Contents
vi
5.5
5.6
5.7
Exercises
Complete discrete valuation fields
6.1
Ramification groups and functions
6.2
Kato's abelian conductor
The non-abelian Swan conductor
6.3
6.4
Exercises
Galois module structure
7.1
Local Chinburg invariants
7.2
The global Chinburg invariant
7.3
The Chinburg invariant modulo D(Z[G])
7.4
Real cyclotomic Galois module structure
7.5
Exercises
219
230
241
245
246
258
282
297
299
300
331
337
365
396
Bibliography
403
Index
407
Preface
viii
Preface
Chapter 1 quickly covers the basic material concerning the finitedimensional representations of a finite group. We specialise almost
immediately to the case of complex representations, emphasising the
properties of induced representations.
Preface
ix
Chapter 4 introduces the Adams operations in the complex representation ring of a finite group (to be precise, in this special case
these operations were originally due to Burnside). It is shown how
the Explicit Brauer Induction formula enables one to write its image
under any Adams operation as a linear combination of monomial representations. Next the Hom-description is given for the class-group of
finitely generated, projective modules over the integral group-ring of a
finite group. This description presents the class-group as a quotient
of idele-valued functions on the representation ring of the group modulo global-valued functions and other special functions which are called
determinants. Martin Taylor (1978) conjectured that the Adams op-
Preface
Chapter 5 deals with six topics which are united merely by the fact
that they are related to the class-group of a group-ring. In the previous
chapter new maps out of the class-group were constructed by means of
determinantal congruences. This chapter commences with the construction of restricted determinants, which are new maps into the class-group.
The construction of the restricted determinant homomorphisms is later
Chapter 6 deals with the problem, raised in Serre (1960) and Kato
(1989), of constructing a Swan conductor for Galois representations of
complete, discrete valuation fields whose residue fields are inseparable.
The classical theory of the Artin and Swan conductors is recalled, together with Kato's definition of a Swan conductor for a one-dimensional
representation. The Explicit Brauer Induction formula is used to define
the required Swan conductor in general, and many properties are derived for this new conductor, which coincides with the classical Swan
conductor when the residue field extension is separable. Examples are
Preface
xi
to such a purpose in a number of ways and the reader may find the
following suggestions helpful in designing such courses. Twice I have
given a course which covered Chapters 1 and 2 and then concluded by
applying the results on Adams operations in Chapter 4 to derive the
determinantal congruences. Such a course was particularly successful,
since it assumes only a minimal algebraic background and culminates in
a proof of M.J. Taylor's conjecture concerning determinantal congruences
xii
Preface
Explicit Brauer Induction formula and for his help in our joint work
with Georg-Martin Cram, which forms Chapter 6. Conversations with
Greg Hill, Charles Curtis and my student, Brian McCudden, gave rise
to the treatment of Shintani descent which appears in Chapter 2. I
am also grateful to Ted Chinburg, Ali Frohlich, David Holland and
Martin Taylor for their interest in and advice concerning Galois module
Representations
Introduction
In this chapter we recall the most elementary facts about the finitedimensional representations of a finite group over a field. In our applications we shall mainly be interested in representations which are realised
over some subfield of the complex numbers.
Therefore, in Section 1, we introduce unitary, orthogonal and sym-
Let G be a finite group. Let K be a field and let V be a finitedimensional vector space over K. Let GL(V) denote the group of K-linear
automorphisms of V. A homomorphism
1.1.1
p:G-iGL(V)
g - v = P(g)(v)
1
Representations
V1 - - V2 , such that
only if there is a K-linear isomorphism,
/3(g vi) = g /1(v1) for all g E G, vl E Vi. In terms of homomorphisms,
p, of 1.1.1 two homomorphisms
1.1.3
give rise to the same representation if and only if there exists B E GL(V)
such that Bpl(g)B-1 = p2(g) for all g E G. Very often we will choose an
isomorphism between V and Kn, where dimK(V) = n is the dimension
of V. In that case a representation will become a conjugacy class of
homomorphisms of the form
1.1.4
p : G - GLH(K) = GL(Kn).
Example 1.1.5
(i) One-dimensional representations Let K* = K 0 = GL1(K) denote the multiplicative group of non-zero elements of K.
W-
{ixi
n
i=1
yields a subrepresentation.
=o}
(g E G, vi E Vi).
Pi(g)
P2(g)
)`(V) = HomK(Alt,(V),K),
where AItK(V) denotes the subspace of multilinear maps,
f: V x V x... x V- K (t factors),
such that
WW1=V.
Representations
as required.
where In is the n x n identity matrix and X* is the matrix whose (i, j)th
entry is Xji, where z denotes the complex conjugate of z E C. A unitary
representation will mean the U(n)-conjugacy class of a homomorphism
of the form
1.1.12
p : G -i U(n).
and y = (y1,...,yn)
Similarly, if R is the field of real numbers then the orthogonal group,
1.1.13
p:G->0(n).
1.1.14
As in the complex case there is a one-one correspondence between 0(n)representations and n-dimensional R-representations of G (see 1.3.2).
p:G->Sp(n).
1.1.15
p:G-+GL"(C),
1.2.1
XP(g) = Trace(p(g)) = En ,
Proposition 1.2.3
representation.
P(g)ii
(g E G).
(ii) Xp(g) is the sum of the eigenvalues of p(g), counted with their multiplicities.
Representations
Part (ii) follows by conjugating p(g) into its Jordan canonical form,
Part (iii) is clear, since Trace(In) = n and part (iv) follows from part
(ii), since the eigenvalues of p(g-1) =
are the inverses of those for
p(g). However, since p(g) has finite order, these eigenvalues are complex
p(g)-1
Proof For g E G let pl(g) = X and P2(9) = Y then (PI p2)(g) is given
by the matrix
X0)
C
YJ
X'Y1n
X'Y12
X ' Yn2
...
X ' Ynn
Lemma 1.2.5 (Schur's Lemma) Let V1 and V2 be irreducible representations of G. Let HomG(Vl, V2) =
Proof If f : V1 -) V2 is non-zero then ker(f) and im(f) are subrep0, ker(f) * V1 and
0 so that ker(f) = 0 and im(f) = V2, which means that f is
F(vi)=#(G)'
(g.f(g'.vi)
gEG
Then
(i)F=O
if VI * V2
and
if V1 = V2.
W1, W2 > =
Representations
(x1()).
Theorem 1.2.8
In 1.2.7
<X1,X2>=
<XA;,XB,>.
ij
Choose bases for W1 and W2 so that the representation, Wi, corresponds to pi : G --) GL,,; (C). In Corollary 1.2.6 assume that f is
represented by a matrix, X. In this notation 1.2.6 becomes
1.2.9
0
(dim(W1))-1
if i#jor Wi*W2
Trace(X)
if W1 = W2 and i = j.
i, j.
Therefore
=0
= dimCHomG(W1, W2).
10
if i j,
P2(g)ii ' P1(g,i) = t #(G) (dimW1)-1 if i = j.
gEG
1
Therefore
_ #(G)
and
as required.
To prove part (ii) we remark that < X2, X1 > is the complex conjugate
of < X1, X2 >, by definition, but < X1, X2 > is a positive integer and
therefore is fixed by complex conjugation.
Part (iii) follows from part (i), 1.2.5 and the observation that
s
HomG(Ai,Ai) = s.
dimCHomG(W1, W1)
i=1
Representations
10
Corollary 1.2.11
irreducibles).
<W,V> =<V,W>
= dimC(HomG(V, W)
= ndimC(HomG(V, V) + E;=1 dimC(HomG(V, Vi))
= n,
by 1.2.5
Definition 1.2.12 The regular representation of G is the permutation representation obtained, by the method of 1.1.5(ii), from the set G together
with the G-action given by left multiplication. The regular representation will be denoted by IndG,,,(I) in recognition of its construction as an
induced representation (see 1.2.31).
Proposition 1.2.13
tion. Then
if g1,
rG(g)=( 0
l #(G) if g = 1.
Proof By definition (see 1.1.4(ii)) a basis for Ind{1}(1) consists of {x I x E
G}. If g
11
trivial. When g = 1,
rG(l) = dimC(Ind{1}(1)) = #(G).
Let V be an irreducible representation of G with character, Xv, and dimension equal to nv, then the multiplicity of V in rG is
equal to nv.
Corollary 1.2.14
Proof By 1.2.7,
< Xv,rG > = #(G)-1(EgEG Xv(g)rG(g))
= #(G)-1Xv(1)#(G),
by 1.2.13,
= nv,
as required.
Corollary 1.2.15 Let VI, V2,..., Vt denote the distinct irreducible representations of G then (i)
dimC(V,)2,
#(G) _
,=1
and
(ii) if g # 1 then
0=
dimC(V;) Xv,(g)
,=1
V;
so that part (i) follows by taking dimensions. Part (ii) follows by taking
characters at 1 # g E G, using 1.2.13.
Example 1.2.16 Corollary 1.2.15 may be used in finding all the irreducible
representations of G. For example, let D2n denote the dihedral group of
order 2n given by
1.2.17
Representations
12
x;(XYI) = { (-
11)6
if i = 1,
if i=2.
vi
: D2n -) GL2(C)
by
where n = exp(2ni/n).
and otherwise the characters of the {vi} are distinct
Clearly xv, =
so that we obtain two-dimensional representations vi, V2'...' v. where m
is the largest integer smaller than (n/2) - 1. For these values of i, v, is
irreducible, by 1.2.8(iii), since
< vi, vi >
(2n)-1
EgED2. Ixv,(g)12
j=1 ij + Z7'1)2
= 1 + n-1(E`
j=1 n )
1,
2.12+1 22=4t+2=2n.
Definition 1.2.20 The (complex) representation ring of G, denoted by
R(G), is defined to be the free abelian group on the irreducible, complex
13
x = E ai Vi,
with the formal difference of representations
x=W+-WW+ = aipositiveaiVi,
W- = ainegative(-ai)Vi
vector space of all functions on G. If p : G -> GL(V) is a representation then its character, Xp, is an element of Wg. Hence, by sending an
irreducible representation to its character and extending C-linearly, we
obtain a map of C-vector spaces
1.2.23
CG : R(G) Z C-)
Proof Part (i) implies part (ii) immediately, since the rank of R(G) equals
the number of distinct irreducible representations of G while a basis for
is given by the characteristic functions of the set of conjugacy classes
of G - that is, the functions which are equal to one on one conjugacy
class and zero on all the others.
To prove part (i) let X1, X2, ... , Xt denote the characters of the distinct
irreducible representations of G. Define a semi-linear inner product on
W g by the formula,
Representations
14
and
Fi = 2gEG f(g)Pi(g) : Vi
Vi
satisfies
Fi(hv)
= EgEG f (g)P1(g)P1(h)v
= EgEG f
(g)Pi(h)Pi(h-'gh)v
= Pi(h)(>gEG f
= h(Fi(v))
(h-igh)pi(h-'gh)v)
If < f, xi >= 0 for all i then < f, x, >= 0 also, since complex conjugation
induces a permutation of the irreducible characters of G. Hence, for each
i, Fi = 0 since
Fi =
dimC(Vj)-1
< f, X, >,
p=
dimC(Vi)pj.
gEG
15
and
xy.
ly.
U=1: g(W)=
gEG
g(W)
gEG/H
Representations
16
<X1x2,x1x2>
#(G1)-'#(G2)-' E(g,,$z)EG,XG2 xl(g1)x2(g2)x1(gl)x2(g2),
by 1.2.4,
= 1, by 1.2.8(iii)
so that V1 V2 is irreducible, by 1.2.8(iii) again. This proves part (i).
By 1.2.24, we need only verify that if V; is another irreducible representation of G then Vj' VV is distinct from V1 V2 unless V1 = Vl and
V2 = V2. However, this follows at once from the relation
khh) . (
qgg)
= >(khgg)hg
g,h
khp(h)(w)
17
gh wi - Ej-1 p(h)jig wj
gh w - g 0 p(h)(w)
(h E H).
Clearly,
dimK(IndH(p)) = [G : H]dimK(p).
Example 1.2.36 (i) Let p = 1 denote the one-dimensional trivial repre-
> GL2C
is equal to I ndH "(i). This is seen as follows. Let e E C* then a basis for
I ndH2" (0i) is given by 1e and Y e. The action of X and Y is given by
X(Y(D e)=XYe=Y(YXY)e=Y4(X-1)e=Y0
'e,
Y(1e)=Ye
and
Y(Ye)=Y2e=1e.
This coincides with the formulae of 1.2.27.
18
Representations
Proposition 1.2.38 Let H be a subgroup of G. Let W, V be K-representations of H, G respectively. There are isomorphisms of the following form:
(i) HomG(IndG(W), V) ?' HomH(W,ResH(V)),
This map is injective, since f (gi w) = g,(f (10 w)), so that the map is
an isomorphism, by counting dimensions. This proves part (i).
To define a G-isomorphism in (ii) it suffices, by (i), to define an H-map
F : Hom(W,K) -+ Hom(IndH(W),K).
Define F(f)(gi w) = f (w) if gi = 1 and zero otherwise. Clearly F(f) = 0
if and only if f = 0, so that we obtain an injective G-map
HomG(V,IndG(W)) = HomG(Hom(IndH(W),K), V)
HomG(I ndH(W ), V )
HomH(W,ResH(V))
HomH(V, W).
Theorem 1.2.39 (Frobenius reciprocity) Let H < G and let W, V be Krepresentations of H, G respectively. There is a G-isomorphism
19
Proof Define
rp
by 4)(gi
since
=g,0wgiv
= 0(gi 0 w 0 v).
Define
4-Ygi w) 0 v) = gi
gi
= g((gi 0 w) 0 giv)
= (ggi (9 w) 0 ggiv
= 4)(ggi 0 w (D v).
Theorem 1.2.40
(zhz-1)(w) = h w.
In4(W)_ 1(g,W),
the sum of one copy of W for each element of G/H. Since g e G sends
gi W to ggi 0 W, d 1(gi 0 W) breaks up into J-subrepresentations,
Ei = (jsgi (D W).
S=1
Representations
20
ljgi
w = jsjgi 0 w.
- '`
One of the terms in this sum is < W, W >, which is at least one. Hence
IndH(W) is irreducible if and only if < W, W >= 1 and all the other
terms are zero.
Proposition 1.2.42
X'(g)
yEG,ygy-' EH
1.3 Exercises
21
so that we obtain
XW(g) = T,
Xv(gi 1ggi)
i,9; 'ggtEH
X(h_1g` 'ggih)
1.3 Exercises
(i) Let G be a finite group and let p : G --> GL (C) be a homomorphism. Show that there exists X E GL (C) such that X p(G)X-' < U(n).
(ii) Given homomorphisms, pi : G -> U(n) (i = 1, 2 ), which are
conjugate in GL (C), show that they are conjugate in U(n). (Hint: For
(i), by averaging, construct an inner product on C" which is preserved by
p(g) for each g E G. For (ii), let Z' denote the conjugate transpose of
Z. If Xp1X-1 = P2 then XX* is Hermitian. Find a suitable Z such that
Z2 = X"X and set U = XZ-1.)
1.3.1
1.3.2 Prove the analogous result in which GL (C) and U(n) are replaced
by GL (R) and O(n).
1.3.3 Show that the tensor product, V1 V2, may be represented in terms
of matrices by the Kronecker product (see 1.2.4).
Let V be a C-representation of G. Let Sym2(V) be the representation afforded by the vector subspace of V 0 V consisting of elements
which are fixed by the involution that interchanges the two factors (cf.
1.3.4
1.1.6).
Representations
22
and that
Xa2(v)(g) = 1/2[(X(g))2 - X(g2)]
P(g)(f)(v) = f (P(g-1)v),
#(G)-1 E XP(g)
gEG
(i) If Ei=1 n' = #(G), prove that {V,} consists of all the distinct
irreducible representations of G.
(ii) Apply part (i) to find all the irreducible representations of the
generalised quaternion group
Q4,, = {X, Y I X" = Y 2, Y 4 = 1, Y X Y -1 = X-11.
1.3.8
Induction theorems
Introduction
The chapter concerns induction theorems; that is, theorems which express
arbitrary representations as linear combinations of induced representations within the representation ring, R(G), tensored with a suitable ring
of coefficients.
24
Induction theorems
25
taking fixed-points and the relationship between dG and ac. Most of these
properties are established for further use in Chapter 6. However, in order
that dG should have the convenient inductive property it is necessary that
its coefficients be non-integral and that it cannot be natural with respect
to the inflation maps which are induced by surjective homomorphisms
of groups.
Section 5 consists of a batch of exercises concerning the Explicit Brauer
Induction homomorphisms.
(n) _
if n=1
if n is not square-free.
Recall that the Mobius function is extremely useful for inverting certain
formulae (see 2.5.2). Later we will require the generalisation of this wellknown fact to the Mobius functions of a poset (a partially ordered set).
Induction theorems
26
Theorem 2.1.3 (Actin induction theorem) Let p : G -* GL(V) be a complex representation with rational-valued character, Xp. In R(G) Q
Xp = >acIndc(1),
where C ranges over cyclic subgroups of G and where
ac = [G :
The sum is taken over all cyclic subgroups, C < B and b E B is any
generator.
ygy-1
E C} #(C)-1.
ygy-1
>)#(C)-1,
Eccyclic acxc(g) =
#(NG < g
Ccyclic,some ygy 'EC
>)#(G)-1
([B : C])xp(b)
C<B
However, the number of cyclic groups which are conjugate to < g > is
equal to #(G)#(NG < g >)-1. Furthermore, an arbitrary cyclic subgroup
27
< g >:
>Ccyclic,gEC >C<B ([B : C])Xp(b)
where < b >=< g >, since Edl, p(d) = 0 unless n = 1 (Hunter, 1964).
By 2.1.2, Xp(b) = Xp(g) so that we have shown that EacInd'(1) has the
same character-value as p on g E G, which completes the proof of 2.1.3.
with G,_1 < Gi and Gi/Gi_1 abelian. A solvable group is supersolvable if,
in addition, the quotients Gi/Gi_1 are cyclic and the G,_1 are normal in
Proof Firstly let us determine the matrix form of a monomial representation, I ndH(0). We note that the direct sum of A E NT" and B E NT'
is A B E NT"+m (cf. 1.1.7).
g(gi
Induction theorems
28
2.1.9
4)(h(1,g))
4)(h(2, g))
P(g) = 6(g)
...
However, NTd < GLdC is generated by the diagonal matrices with nonzero entries of unit length and by permutation matrices. Hence 2.1.9 is a
matrix lying in NTd.
Conversely, suppose that we are given a representation in the matrix
form
p:G-+NT".
Let it : NTn -+ En denote the quotient map whose kernel is the diagonal, maximal torus of U(n). Consider the action of G on { 1, 2, ... , n} via
np. The matrix form of p breaks into the direct sum of homomorphisms,
Tracep(g) =
UnP(g)(m)=m p(g)m,m
where H =stabRP(1)
= XW(g),
since 4)(z-1gz) =
P(z-igz)ii
29
...-->Ci(X)-+C;_1(X)->...-C0(X)->0.
We may tensor this sequence with the complex numbers to obtain a sequence of complex representations each of which is a sum of permutation
representations
2.1.13
Co(X)C
=IER(G),
C[G]-modules. Part (ii) follows from the fact that the homology with
complex coefficients, H.(U(n)/NT"; C), is isomorphic to the complex
homology of a point (Snaith, 1989b, p. 208, section 2.4).
Induction theorems
30
Proposition 2.1.15
is an M-group.
G=G1x...xGs.
An irreducible representation of G has the form I ndG, (01)...I ndH/(0s),
Definition 2.1.16
Proposition 2.1.17
H < G, such that
p : G - U(n),
so that the resulting action of G on U(n)/NT", in 2.1.14, has no fixed
point, by 2.1.10. Hence, in 2.1.14(i),
C,(X)C=IndH(Q;)(1)C,
with H(r') * G. From 2.1.14(ii) and 1.1.8 one easily shows that (see 2.5.6)
1 = j:(-1)`C;(X) C E R(G).
31
x=
naxIn4 (1)
nI n4 (Re$ (x)),
by 1.2.39. Therefore, by 1.2.42, we may assume that G is an M-group.
<A,pP>=<Ap,p>
J1, ifA=1,
0,
if not.
pop= 1+Ep1ER(G),
Induction theorems
32
where dimC(p;) >_ 2 for each i. Since p and the {p;} belong to the ideal,
BG, then so does 1. However, if 1 E BG a R(G) then BG = R(G), as
required.
There remains the case in which all the irreducible representations of
G are one-dimensional, so that G is abelian, by 1.2.28.
Suppose that G = G1 x ... x G, where G, is an abelian group of order
pu' and where pt,... , p, are distinct primes. By 1.2.30 there is a ring
isomorphism
2.1.21
pu E BG; i R(G;)
ResG
j
: R+(G) -+ R+ (J)
33
by
The first canonical form was given in Snaith (1988b). The method
was based upon the group action of G on U(n)/NT" which was used
in 2.1.6 and 2.1.10. The details, together with several applications, are
given at length in Snaith (1989b) and further elaborated upon in Snaith
(1989a). The topological procedure of Snaith (1988b) automatically gives
Induction theorems
34
R(G) a R+(G)
ResH
R(H)
R+(H)
2.2.9
if and only if
H < H' and ResH'(0')
g(H,4') = (gHg-',(g-')'(4'))
(g E G),
2.2.12
35
Lemma 2.2.14
(i) y(H,O),(H',O') depends only on the conjugacy classes,
(H, 0)G and (H', c')G.
(ii) Y(H,cb),(H',') > 0 if and only if (H, 4p)G < (H', 0')G.
Proof Part (ii) is clear from the definition. For part (i), suppose that
u, v e G then Yu(H,,fi),v(H',0') =
(gvHv-'g-', ((gv)-')'(cb'))}.
However, uHu 1 < gvH'v-1g-1 and 0'((gv)-'agv) = 4(u-1 au) for all
a E uHu ' if and only if H < u 'gvH'v-'g-'u and 0'(v-1 g-'ubu 'gv)
= 4(b) for all b E B. Hence sending g E uHu '\G/vH'v-' to u-1gv E
H\G/H' shows that yu(H,O),v(H'#) = y(H,O),(H'#), as required.
aG(P) = E
a(H,,)Q(P)(H,
(p)G
E R+(G),
(H,)GG_yW1q
The equations of 2.2.16 have at most one solution in the rational numbers.
Y(H,0),(H,4)a(H,cb) (P).
Induction theorems
36
a(H',O')G(p)(H fl
(H',4')G
zHz-1, (z-1)'(0'))H
H=HnzH:-1
Remark 2.2.17
We will construct the homomorphism, aG, by first
constructing a map,
aG : R(G) -, R+(G) Q,
which satisfies 2.2.8(i)-(ii) and then showing that the unique such map
must land in R+(G). Therefore we will temporarily (for the remainder of
this section) assume that we have constructed the map into R(G) Q.
Suppose that p : G -- GL(V) is an irreducible, complex representation. Let H Q G be a normal subgroup and let W c ResH(V) be
since, forhEHandwEW,
p(h)p(g)(w) = p(hg)(w) = p(g)(p(S 'hg)(w)) E Wg.
Wg is called a G-conjugate of W.
Lemma 2.2.18
Proof Clearly
reducible, so that
37
2.2.20
by 2.2.16.
If H < G then < 4), ResH(p) >= 0 implies that < ', ResH,(p) >= 0
for all (H, 0) < (H', 0') and so, by induction, a(H',,')G(p) = 0 in this case.
Hence 2.2.20 becomes
G (P)
let (H, 0) E
2.2.22
P(W)
2.2.23
Induction theorems
38
Hence P(W) exists and is equal to the character on the group generated
by all the H's on the right of 2.2.23 given by the unique extension of all
the 4s on the right of 2.2.23.
Definition 2.2.25 We call (H, 0) E JIG admissible for V (or p) if F(H, 0) *
0 or, equivalently, if < 0,Res$(p) >* 0. Denote by A(V) (or A(p)) the
set of elements of G which are admissible for V. Denote by S(V) the
set of non-zero subspaces of V. Therefore we have maps
2.2.26
Proposition 2.2.27
(iii) (K, ip) < (H, ) implies that F(K, ip) >_ F(H, 0) and W < W'
implies that P(W') < P(W).
(iv) (H, 0) < PF(H, 0) and W < FP(W ).
<
Re
39
(K, gyp) in the set over which the supremum is taken in 2.2.23, every
w E W satisfies p(k)(w) = ip(k)w for all k E K so that w E FP(W).
Finally, by (iv), (H, O) < PF(H, O) and W < FP(W) so that, by (iii),
F(H,4) >_ FPF(H,4)) and P(W) > PFP(W), which proves part (v),
since, by (iv), F(H,0) < FP{F(H,4)} and P(W) < PF{P(W)}.
Definition 2.2.28 For (H, 0) E A(V) and W E S(V) define their closures,
cl(H,) and cl(W), respectively, by
Proposition 2.2.29
(iii) If (K, V) < (H, 0) then cl(K, tp) < cl(H, 0) and if W < W' then
cl(W) < cl(W').
(iv) The following are equivalent:
Proof Parts (i)-(v) follow at once from 2.2.27. To prove part (vi) we
observe that (H, 0) < P(W) and (H, 0) < P(W') if and only if H acts
on both W and W' by 0 and this is equivalent to H acting on W + W'
by 0. Therefore P(W + W') is clearly the largest pair, (H, 0), such that
(H, 0) < P(W) and (H, 4)) < P(W'), which is, by definition, the infimum
of (vi).
Lemma 2.2.30
closed then
Y(K ,w),(H,c1) -
Induction theorems
40
Proof Set cl(K,W) = (U, u) then (U, u) < (H, 0), by 2.2.29(iii) since
(H, 0) is closed. As in the proof of 2.2.15,
ResU(H, O)o = Y(U,),(H,cb)(U, )U + 7(U n
zHz-1 (z-1)'(0))U,
= Y(U,k),(H,#)ResK(U,,u)U +
ResKu (U n
zHz-1, (z-
U.
Since ResK
(U, )U = (K, W)K it is sufficient to verify that, in the last sum
1,
of 2.2.3 no pair (K,W)K appears. For this it suffices to verify for all z
(U n zHz-1, (z-1)'(4)))'.
2.2.32
2.2.33
2.2.34
41
However,
on the order of H.
If H = G then (G, 0) is closed because it is maximal in A(V).
Now assume that H G and set (U, W) = cl(H, 0). Now consider the
coefficient of (H, 0) in aH(Re$(p)) and of (U, W) in au(ResU(p)). These
are equal to
<4), ResH(P) > = Y(H,0),(H,m)a(H,m)c(P)
2.2.37
+>(H,m)G<(H',A')G
in.,liG/G
and
in.,/l/c
G
Y(U,w),(U',W')a(U,,r')H(P)
By induction the sums in 2.2.37 and 2.2.38 may only be taken over
admissible pairs.
If (H, 0) is not closed and cl(H, ) = (U, W) the closed pairs which are
strictly greater than (H, 0) are the closed pairs which are greater than or
equal to (U, W). Therefore, by 2.2.30, the two sums are equal in 2.2.37
Induction theorems
42
so that F(H, 4)) = F(H', 4)). Hence cl(H', 0') = cl(H, 0) and therefore
(H, 0) is not closed, since (H, 4))
Corollary 2.2.40 (i) Suppose that ResZ(P)(p) = dimC(p)W, then for all
(H, 0) E ./&G, in 2.2.15,
a(H,O)G(p) # 0 implies that (Z(p),W) < (H, 4)).
43
aG:R(G)---o R+(G)Q,
satisfies the axioms of 2.2.8. Then, for all X E R(G),
2.2.42
Proof Let rlG R+(G) --> R+(G) be the natural homomorphism defined
by nG(H, Of = (H,1)G. The left side of 2.2.42 is the image of X under
R(G) ---. R(G) Q.
result for the cyclic group, < g >. However, for G cyclic the result is
immediate from axiom 2.2.8(ii).
Theorem 2.2.43
In 2.2.15,
Proof Assume for all H G and for all X E R(H) that all(X) E R+(H).
This inductive statement is certainly true for all abelian groups, H. In
order to verify that aG(p) E R+(G) it suffices to show this when p is
irreducible.
zEUvG/H'
(U n
zH'z-,
(z-')'(4"))U
Induction theorems
44
zHz-1
G we find that
Z.
Since a(H,,P)G(p)
0 we have, by 2.2.19, that
ResH(p) >* 0 and therefore 0 is one of the Wg's. However, if
2.2.44
This means that Ker(4)) < Ker(p) and that Ker(b) < G, since 0 is
G-invariant. Therefore there are factorisations of the following form:
: H - H/(Ker(4))) -> C.
since Ker(4)) < H.
By 2.5.9,
2.2.46
By minimality of G we must have Ker(4)) = {1} so that 4) : H -> C' is Ginvariant and injective. Hence, if h E H and g E G then 4)(ghg-1) = 4)(h)
and therefore ghg-1 = h so that H < Z(G), as required.
Let Z(p) denote the centre of p, in the sense of 2.2.39 and suppose
0, by
2.2.40(i). On the other hand, (H, 4)) = (Z(G), 4)) < (Z(p), ip). Therefore,
by maximality of (H, 4)), a(H,O)G is the only non-integral coefficient in
aG(p). By 2.2.41, in R(G) Q we have
that Resz(p)(p) = (dimC(p))1p then (Z(p), ip) < (H', (P') if a(H',(P,)G
dimC(P)
2.2.47
=a(H,O)G(P)IndH(1)+
E
(H,cb)G*(H',c')Gin.,l(G/G
06(H'#)GIndH,(1).
45
a(H, ,)G E Z,
(H,)G(H',4')Gind1G/G
2.3.1
ac'
--
R+(G) Q
ResH
R(H)
aH
--
R+ (H) Q
then a(G,,fi)G =< p, 0 > for each (H, O)G such that H = G.
Then aG(R(G)) c R+(G) and aG satisfies the axioms of 2.2.8(i)-(ii). In
addition, if bG is the homomorphism of 2.2.6 then (see 2.2.7)
bGaG = 1 : R(G) -> R(G).
Induction theorems
46
2.3.4
(R+(G) 0 Q) x (R+(G) Q) - Q
In fact, if we take the poset {(H, 4)G E (.IZG)/G} as a basis then the
matrix representing 2.3.4 with respect to this basis is `upper triangular'
with respect to the partial ordering. Therefore 2.3.4 is a non-singular
bilinear form.
Let J be a subgroup of G.
If x E R+(J) and y E R+(G) then
Proposition 2.3.6
Proof It will suffice to take x = (U, ip)J and y = (H, lp)G. In this case
[I nd (x), y]
To see that these expressions are equal we first observe that w(J n
zHz-1, (z-1)* (4)) = (J n wzH(wz)-1, ((wz)-')*((p)) and that, since U< J,
(JngHg-1,(g-1)'(4))
(U, w) < (gHg-1,(g-1)'(4)) if and only if (U, W) <
Therefore the two expressions which we wish to prove equal are both
sums over the same type of object. The result now follows from the fact
that there is a bijection
the J-orbits and then counting the decomposition of each J-orbit into
is the J-stabiliser of zH in G/H.
U-orbits, using the fact that J n
zHz-'
47
as the adjoint of bG : R+(G) -> R(G) of 2.2.6. That is, for all x E
R+(G)Q,pER(G)Q,
[x, aG(P)] =< bG(x), P > .
2.3.8
Theorem 2.3.9
= [I ndH(x), aG(P)],
=< bG(I ndH(x)), p >,
=< I ndH(bH(x)), p >
=< bH(x),ResH(p) >,
_ [x,aH(Re$(p))],
by 2.3.6
by 2.3.8
by 1.2.8,1.2.38
by 2.3.8 again
=
1
if Rest
>_ { 0
otherwise. )
However,
[(H, W )G' (G, O)G] = #{g E HAG/G I (H, W) < (G, 4)},
so that
[(H, W )G, aG(O)] =< bG((H, W
)G),
)G]
for all (H,W)G and therefore aG(4) = (G, O )G. If p is irreducible and not
one-dimensional then the multiplicity of (G, 4))G in aG(p) is equal to
[(G, /)G, aG(P)] =< , P >= 0,
Induction theorems
48
2.3.11
Ml#...
Mi.
11 A,B
Let rO denote the Mobius function for the poset, JIG, of pairs, (H, 0),
of 2.2.9.
We will now give, without proof, the formula for aG in 2.3.7. In order
to do this one considers the formula of 2.2.16:
2.3.14
1:
v H,0),(H',4')(H',cb')y(P)
(H,0)6 5(H'.O')G
in4'G /G
In order to solve 2.3.14 for the a(H-,O')G(p)s we have to invert the incidence matrix, (y(H
of the posetG/G. The inverse of this
incidence matrix is the Mobius matrix for the poset &G/G. The relationship between the Mobius matrix for MMG, (
and that
for AG/G, consists of the insertion of correction factors, #(H)/#(G).
Further details of the solution of 2.3.14 are to be found in Boltje (1990)
and Boltje (1989 (2.35) et seq.). We will not need the following explicit
formula, except in some illustrative examples.
Theorem 2.3.15
The homomorphism
_ #(G)-'
49
4'
42
43
-1
2
3
-1
-1
-2
-1
-1
-1
H
Q8
C4
C4
C4
C2
{1}
1,1,2, 3
/2
/22
402
02
02
02
4)2
41 2
0+43
0
+3
0 + 03
1,4)
2.0
2-1
,I,
1,0 _ 03,4'2
1,,k '. 3, 02
4)3, 02
1, 4)
Now consider the formula for aQ8(v). By 2.2.36-2.2.40 and Table 2.2
this must take the form
2.3.17
Induction theorems
50
V3,1
V3,2
V4
V5
51
52
0
0
al
a2
-1
-1
a2
-1
al
-1
-1
a=b=c=<0,ResQ4(v)>/(I NQs(C4i,CaI)=1.
By applying bQ$ : R+(Q8) --> R(Q8) to 2.3.17 and taking dimensions we
2.3.19 Example: G = A5
The character table of the alternating group, A5, has the form shown
in Table 2.3, in which the elements 2, 3, 51 and 52 have orders 2,3,5 and
5, respectively.
In Table 2.4, D6 and D10 are the dihedral subgroups of orders six and
ten, respectively, V4 = Z/2 x Z/2 and C denotes a cyclic group of order
n. The characters,
H -> C', can be taken to be any of the obvious
choices.
By 2.2.36-2.2.40, Table 2.4 and 2.5.10
O)A5
O )A,
From 2.2.42
3 = IndD',o(1) +IndD56(1) +IndAcS(1) +IndV4(1)
)A,
aA5 (V3,1) = (D10, 4,)A5 + (D6, 4')A5 + (C5, O
+(V4,
in R+(A5).
1,11)A5
O )A,
51
V3,1
V3,2
V4
A5
A4
0
0
0
0
4+02
,1
,A4
1+Q>+0
1+ ,A2A+ ,,11, ,3
0+02+01+04
1 +2+93
At +E12 +u3
1 +111 +92+113
1+20
3.1
D1o
1,
D6
1'.0
C5
V4
C3
C2
{1}
o 0, fp2 ti 03
1, I 2 23
1'.0 _ p2
1,
1+0+02
V5
1+0+02
+ I, + ,1,2
+ ,I,3 + 34
1+1+'f22+W
2.
1+20+2qS2
1+20
2.1+0+4,2
2.1+20
3.1
4.1
5.1
3.1+2,
Induction theorems
52
I will close this section with some remarks relating Robert Boltje's Explicit
Brauer Induction formula, aG, to my original topological Explicit Brauer
X = Ei(-1)' dimCHc'Pt(Ya;C) E Z.
(g,-,
1vga)-1(NT) -f NT'
2G(v)
l a
= `aEs4
L xa#/H
TG(v) =
EvinY(-1)dim()(HQ
53
NT n) = >(H.i,Wj)G E R+(G)
EG(V) = L.IXEd
Xa(Ha,1)G E R+(G)
Theorem 2.3.28 (i) TG, TG and EG depend only on the class of the representation, v, in R(G).
bn(TG(v)) = v E R(G),
where n = dimC(v).
(iii) If bG = bi : R+(G) -- R(G) is as in 2.2.6 then
bl(EG(v)) = 1 E R(G).
and
Induction theorems
54
LG(v) =
Ear=G\P(v)(-1)di(o)(H(a), /a)G
E R+(G).
In Symonds (1991) all the properties of aG, which we derived algebraically, are derived topologically for LG.
aG : R(G) -) R+(G)
dG :R(G)-*R+(G)Q,
which is natural both with respect to induction from and restriction to
subgroups. In order to have this inductive property one must forego
55
dG : R(G) -, R+(G) Q,
as G ranges over all finite groups, which satisfies the following properties:
R(G)
dH
R+(H) Q
R(H)
dH
R+(H) Q
R(H)
I ndH
!lnd?J
dG
R+(G) Q
R(G)
x) = (G,
4,)G
- dG(x) E R+(G) Q.
Induction theorems
56
2.4.3
if <x>=G,
otherwise.
eG(x) _
(i)
eG = #(G)-'
#(K)/K,GIndK(1)
K<G
1 - eG = -(#(G)-')
#(K)uK,GIndK(1),
KEG
where (see 2.5.1) p.K,G is given in terms of the Mobius function, y, by UK,G =
([G : K]).
(i)
eG E
fl Ker(ResK) J 4 R(G) Q,
KEG
1- eG E(Im(Ind)
E
KEG
4 R(G) Q,
57
K#G
_ (1 - eG)(R(G) Q).
I m(I ndK)
K#G
7EG
: R+(G) 0 Q -p Q[G]
by the formula
1G((H,
O)G)
=
0
otherwise.
Induction theorems
58
Proposition 2.4.9
Define a homomorphism
PG :R(G)Q--.Q[G]
by the formula, for x E R(G),
2.4.11
PG(X) = eGx
R(G)Q-->Q[G],
so that eGX may be interpreted as an element of Q[G]. Define a homomorphism
G
Q[H]
H<G
R(G) Q
dG
R+(G)
(IIHSG Q[H])G
59
= pj(ResY(x))
by 2.4.12
= pi(ResH(Res'(x)))
= nJ(ResH(dH(ResH(x))))
by 2.4.12,
Suppose now that x E R(H) for H < G and let J < G be any other
subgroup. In this case we have
nj(Res f (I nd4(dH(x))))
_ EZEJvG/H nJ(Ind.JinzHz- (ResilzHz
((z-')*(dH(x)))))
by 2.5.17
I:zEJ\GIH nj(Ind,Jinzez-' (ReSzHz-'
_
_
zEJvG/H
J<zHz-'
(dzxz ((z-')`(x)))))
nJ(ResJlzHZ-, (dzHz
EJ\GIH
J<zHz-i
(z-')*(dH(x))
and that
njIndK : R+(K) ---> R+(J)
-' Q[J]
Induction theorems
60
((z-1)'(X)))))
= 0,
_ itJ(dJ(ResY (I ndH(X))))
_ mJ(ResY(dG(IndH(X)))),
as required.
For : G ---> C', X E R(G) and H < G observe that
1rH(ResH(dG(4 'X)))
= pH(ResH() ResH(X))
= ResH(cb) PH(ResH(X)),
by part (i)
For part (iii), by 2.1.3 and the inductivity part of (i), it suffices to
61
For such a x suppose that x = Er a;4; where the {4j} are one-dimensional
representations. In this case,
PG(>t ai(G,
0,)G)
otherwise,
while
rG(X)
_ {pH(ResH(x))}H<G
x
if H=G,
otherwise.
Theorem 2.4.14 Let dG be the homomorphism of 2.4.1, which was constructed in 2.4.12-2.4.13. Then
(i) dG is a ring homomorphism.
Induction theorems
62
dG(X) = #(G)-'
#(K)4uK,H(H,IndK(ResK(X)))G,
KSH<G
K,H cyclic
= {1tH(aH(ResH(X)))}H<G
{eH}H<G
63
In order to prove part (iv) we shall use part (ii). However, since we
omitted the details of the general case of (ii) we will use only an easy
special case. We shall use only the formula for dG(1) when G is cyclic.
This formula is straightforward to prove directly by induction on #(G).
The homomorphisms, bG, nG and dG, commute with I ndH for H < G.
= I ndH(#(H)-11 nd{i}(1))
= dim(IndH(4))#(G)-'Ind{i}(1),
as required. Therefore, by 2.1.3, we may suppose that G is cyclic. Hence
bG((lG 1)(dG(X)))
= bG(nG(aG(X))) . bG((nG 1)(dG(1)))
by (vi)
by 2.2.41
E IK,H
K<H
by (ii)
Induction theorems
64
by 1.2.39
by (iv)
= dim(X)#(G)-',
as required. This completes the proof of Theorem 2.4.14.
We will close this section with some results concerning the behaviour
of dG with respect to fixing under normal subgroups. These results will
be used in our study of Swan conductors of Galois representations of
complete, discrete valuation fields in the non-separable residue field case
(see 6.3.20).
Definition 2.4.15
by the formula
(HN/N, 3)G/N, if ResHfN(4) = 1,
Fix+,N((H, 4)G)
0
otherwise,
65
R(G)
R+(G)
Fix+,N
FiXN
bG/N
R+(G/N)
R(G/N)
dG
R(G)
R+(G) Q
Fix+,N
FixN
dG/N
R(G/N)
R+(G/N) Q
as required.
When ResHnN(q5) * 1 we must show that FixN(bG((H, 4)G)) = 0. In
this case, by 2.5.13,
FixN(bG((H, ,)G)) = C[G/N] C[Hi V,
xE
K :#G
Induction theorems
66
H/(HnN)HN/N
) denote the
This can easily be seen from 2.5.13, which yields an isomorphism of the
form
C[G/N] C[H] M= 0.
Hence we have
Fix+,N(dG(x))
= Fix+,N(dG(I n4(0)))
= Fix+,N(IndH(dH(0)))
GIN
= dGIN(FixN(I ndH(0)))
= dGIN(FixN(x)),
as required.
Finally we may assume, by 2.4.5, that
xE
eG(R(G) Q)
K*G
FixN(x))G,N.
2.5 Exercises
67
FixN(x) E eG/NR(G/N) 0 Q,
by 2.5.20.
2.5 Exercises
2.5.1
by
uA,B =
Show that /1A,B = p([B : A]), where p(n) is the Mobius function of 2.1.1.
(See 2.3.10 for the general definition of the Mobius function of a finite
poset.)
2.5.2 Mobius inversion Let f be any arithmetical function defined on positive integers. Show that, if F(n) = Eden f (d) then f (n) = Eden p(n/d)F(d).
Show that every finite p-group is nilpotent. Conversely, show that
every finite nilpotent group is the product of its Sylow subgroups.
2.5.3
2.5.4
Let
d
d
0->V-->Vn-1-...-*V0->0
P2)
Induction theorems
68
H` -
>i(-1)'Vi E R(G).
I nd j ((H, )J) = (H, 4)G, Also define a product on R+(G) by the formula
((w-'Kw) n H,w*(cb)W)G,
2.5.9
2)G
2.5 Exercises
69
That is, if
aG(v) = E ni(He, 4) )G
then
(Hint: Use 2.5.13 and the discussion of I ndjG (-)N in 5.3.18 (proof) to
obtain a convenient basis.)
given by
Induction theorems
70
This verifies that aG exists and satisfies the conditions of 2.2.8 and
2.5.11 when G is a p-group.
2.5.17
composition
(ResJHH ,
((z-1)*
(w)))
zEJ\G/H
2.5.18
Q.)
2.5.19
E(Z/P,1V)Z/P
+ P 1(Z/P, 1)Z/P
w#0
dZ/4(1) = 2-'(Z/4,1)Z/4
3-1(Z/3,
O)n6
3-1(Z/3,
1)D6
+ 3-1({1}, 1)6.
2.5 Exercises
2.5.20
71
of 2.3.15:
3
GL2Fq
Introduction
73
B={XEGL2FIX=1 a f)}.
Define the unitriangular subgroup, U < B,\\to be
U={YEBIY=1
/ JJJ
# I}.
O1
GL2F = B U BwU.
5 )'
ko
and
1
w =
GL2Fq
74
(i)
10
a 1
6-1
)=(
au8-1
)'
U1
1
)(0 u11u2 )
a 0)w_1=(1 0)0
a
(iv)
(1
)W -(
-u 1
0
-u)(0
)W(0
-u-1
1
and
(v)
3.1.3
F:Fg2->Fq2
given by F(z) = zq for all z E Fq2.
In order to construct a Weil representation we shall need a character
of the form
O : Fq2 - C
which we shall generally assume to be distinct from its conjugate by the
Frobenius, O * F`(O) where F'(O)(z) = O(F(z)).
Let . denote the following complex vector space:
75
given by
0
=(z,yz-1).
T=PF,
3.1.4
))_()`(P/c)g(X)}
where O denotes the complex conjugatea of O. Explicitly 2 is given by
where Co'Y denotes the complex numbers with the H-action via O T.
The isomorphism, A, is well-defined since
(0
flg(x(0
= X 0 O(a)P(fl/a)g
= X 0 g(X).
(X ( a0
)/
76
GL2Fq
((0
S) g)
=g
(0 S)
(X) = g
\\ O1
A : W = 1 ndH
(9 'Y)
is an isomorphism of B-representations.
Proof This result will be left as an easy exercise for the reader (3.3.4).
3.1.6
A:.-->W
by the formula, where b E F 2 and NF9,IF,(b) = a 1,
A(h)
3.1.7
((0 0))
O(b)h(b).
O(tb)h(tb) = O(t)O(b)O(t)-lh(b).
Proposition 3.1.8 Define a B-action on
(ot
by the formula
(h) _ {x -
b)
where N = NFy2/F, is the norm and N(2) = ab-1. Then, with this B-action,
A yields an isomorphism of B-representations
A:
-- I ndH(O 0 `Y).
77
Proof First we note that the proposed formula does indeed define an
) A(h) )
((
vbx
((
?))
6-1
1) (
-N(v62)-1
S-1
v6 00-1
e(6)T(/3(v6)-i)
= [A(h) ((
= O( b)h(b)O(b)`P(f3(vb)-1),
A(S) ((0 1) )
= O(c)g(c)
= O(c)O(b)T(# N(c)b-1)h(2c)O(.t)
= O(2c)O(6)P(/3(v6)-1)h(.1c)
((0
)A(h))((
?))
since N(2c) = a(vb)-1. This shows that the vector space isomorphism, A,
commutes with the B-actions, as required.
Remark 3.1.9
is given by
78
GL2Fq
h x=
() P (uN(x))h(x),
a 0) h) (x) = h(Ax)O(2),
0
08 ) h) (x) = h(xF(p)-')O(p),
non-trivial. Then
E f(v)=0.
vEF'2
9
Proof Let xl,... , xq_1 E FF2 comprise a set of coset representatives for
F92/Ker(N) where N = NF92/F9 is the norm. We may rewrite the sum as
EVEF'2 f (V)
Eq-1
=0
by 3.3.3.
3.1.11
3.1.12
yEF,2
q2
79
f (tz) = -q-'
= -q-'
setting v = yt-
_ -q-'
=
O(t)-' f(v)
Hence the Fourier transform, which is evidently C-linear, yields an endomorphism of *. To show that the Fourier transform gives an endomorphism of order four we will establish the identity
f(z) =f(-z)
3.1.14
f(z) = -q-'
yEF-2 f(Y)PFq(YF(z)
+zF(Y))
q-2
f(v)`PFq(YF(v + z) + (v + z)F(y)).
q
80
GL2Fq
`I'Fq(yF(v + z) + (v + z)F(y)) = -1
yEF'2
q
E TFq(0)=q2-1.
yEFg2
Therefore we obtain
f(v)} = f(-z),
-z*vEF'2
9
by 3.1.10.
Definition 3.1.15
(r(O)(w)f)(x) = f(x)
(f E,x E Fq2),
where w is as in 3.1.1,
(ii)
(r(O)
(0
) f)(x)
= `YFq(uN q2/Fq(x))f(x)
and
(iii)
(r(O) C 0
81
Proof Notice that, by 3.1.2, 3.1.9 and 3.1.13, these formulae do define
a unique automorphism of A' for each element of GL2Fq. Therefore
we must verify that the formulae respect the relations (i)-(v) of 3.1.2.
Relations (i) and (ii) follow from 3.1.8-3.1.9 since they are relations
between elements of the Borel subgroup, B. Also relation (v) follows
from the fact that the Fourier transform is of order four, by 3.1.13.
Relation (iii) is straightforward to verify, using the well-known identity
h(x) = f (xF(/3)-' )
(r(w)r
1) r(w)f)
(0
=q
(x)
f (v) Y' Fq (- N (x
- (r (
0 ) r (0
0'
+ v)u ' )
lu ) r(w)r (
1 1 ) f) (x).
We have
1
(r(w)r (0
(r(w)r
(0
GL2Fq
82
= (yz +
aF(z)-1)(F(y)F(z)
+ F(a)z-1)
= -1 + EyEFgz'I'F,(N(yz +
aF(z)-'))'I'F9(-N(a)u 1)
= -1 + {EsEFg2 TF9(N(s))}WFq(-N(a)u 1)
= -1 +'PFq(-N(a)u-1){'I'Fg(0) + (q + 1) EZEF9'I'Fq(Z)}
= -1 - q`!Fq(-N(a)u 1).
Therefore, substituting into the previous formula,
(r(w)r
1) r(w)f) (x)
f (v)} - q-1 {EvEr, f (v)'VFg (-N(x + v)u 1)}
=
-q-1
q2
83
(r(
=
-Ou
(r (0
r(0
) r(w)r
1u )r(w)r(
0
1 )f)(x)
i-1) f) (-xu-1).
Finally,
(r (0 lu) r(w)r (0
='FFq (-uN(-xu-'))f r(w)(z
1 1) f) (-xu 1)
'FFq (-N(z)u-') f (z))}(-xu 1)
-9-1
<'F,'F(z -) >= 0,
by 3.3.3, so that
< I ndH(O (D 'F), I ndH(O (& 'F) >B= 1,
concerning GL2Fq.
84
GL2Fq
Type
Conjugacy class
representative
(t - a)(t - j3)
a#fEF
q(q + 1)
(t - a)
ac E F9
t2 - (x + F(x))t + xF(x)
F(x) * x E F2
( 0 -xF(x)
(t
II
a)2
aEF
III
IV
Number
in class
2-1
x+ F(x)
q2
-q
(0
x + F(x) ) E GL2Fq
for f E
, (r(O)(1')f)(z)
-q-1 0(-X)
0
1
-xF(x)
x+F(x))
where w is as in 3.1.1.
-xF(x)
0
-1 ) w (0
x + F(x)
1
'
85
Write t = x+F(x), d = xF(x) = N(x) and let a E Fq2 satisfy N(a) = -1.
Therefore we have
(r(O)(Y )f)(z)
- (r(
=
(r (-d
0
0
_ -q-1
)f)(z)
01)
(r (-d 0
-1 )
{s i
'
= -q 1O(ax)O(a){>yEF.2 f(y)T(tN(y)+yF(axzF(a)-')+F(y)axzF(a)-i)}
9
since
Trace
(r(e) ((0
xF(
x + F(x)
3.1.22
if ij,
fi(vi)
0
if i
j.
GL2Fq
86
11
r(O)(Y)(.fl) = I9 ailfl,
3.1.23
and
3.1.24
Trace (r(O) ((
-xF(x)
x + F(x)
x
(r() ((
x + F(x)
))f)(v)
q-1
q-1
-q-10(-x) E E .fl(uvi)W(tN(vi)
i=1 uEKer(N)
+uF(x)N(v,) + xF(u)N(v,)),
since
f,(uvj) = 0 if i
j and N(u) = 1,
q-1
_ -q-10(-x) E
i=1 uEKer(N)
0 then, by 3.3.3,
q-1
This happens for all the values of u E Ker(N) except for u = -1 and
u = -xF(x)-1 for which t + uF(x) + xF(u) = 0. Therefore the terms with
u = -1 contribute
-q-1O(-x)(q
-q-]O(-x)(q
1)0(-xF(x)-1)-1 = -(q
- 1)q-1O(F(x)).
87
-q-10(-x){-O(-1)-1
0
Proposition 3.1.25 With the notation of Table 3.1, the character-values of
r(O) on conjugacy classes of types I and III are given by
Trace r(O) ((
(q - 1)O(a) if a = fl,
)))
otherwise.
(I 0
III =
q-1
O(a)O(b)f;(av;F(b)-1).
//
Trace (r(e) I
a)) )
= E9 11 0(a)0(a)f,(av,F(a)-1)
= Eq i
O(a)O(a)O(F(a)-1)-1O(a)-1
_ (q - 1)O(a),
as required.
Proposition 3.1.26 With the notation of Table 3.1, the character-values of
r(O) on conjugacy classes of type II are given by
Trace I
r(O) (( 0
a))) = -O(a).
GL2Fq
88
Conjugacy class
representative
Type
value
7a0 0
II
a)
-O(a)
0 a)
III
IV
-xF(x)
x + F(x)
(q - 1)O(a)
-{O(x) + O(F(x))}
(r(e)
= Trace
(( 0
Ei_
=
11
)) )
(r()
O(a)2
a1
((
)) f)
(avjF(a)-1)
= E9 it O(a)2W(a-1N(vjaF(a)-1))fj(vjaF(a)-1)
11O(a)T(a 1N(v1)),
For the reader's convenience we tabulate the results of 3.1.21, 3.1.25 and
3.1.26 (see Table 3.2).
89
X, X1, X2 : Fq
det
Fq
InfB(Xi X2):B-IC"
by inflating Xi X2 from the diagonal torus, T, to the Borel subgroup,
B. That is,
InfB(Xi X2)
((0
b ))
=Xi(a)X2(b)
When X = X, = X2 we have
InfB(X 0 X)
ResBr'2Fq(L(X)) : B
-> C',
)0.
90
GL2Fq
(iii) R(X1, X2) = R(X2, X1) of 3.2.2 for any pair of distinct characters
X1, X2 : FF -' C'
and
(iv) r(O) = r(F'(O)) of 3.1.15 for any character 0 : Fq2 --> C" which
is distinct from its Frobenius conjugate, F'(O).
Proof Assuming that the representations in the list are distinct and
irreducible, the numbers of each type are q - 1, q - 1, (q - 1)(q - 2)/2
and (q2 - q)/2, respectively. Therefore, by 1.2.15, there can be no more
irreducibles since
_ #(GL2Fq)
To see that the representations in the list are distinct and irreducible
we calculate the Schur inner product, using 1.2.40, Frobenius reciprocity
and the Bruhat decomposition (1.2.39 and 3.1.1)
< IndBLZF9(In.fc(XI 0 X2)),IndBLZF9(In.fc(X1 X2)) >GLZFq
=< I of B(XI X2), ResBLZF9(I ndGLZF9(I n.f B(Xl X2))) >B
+IndB(ResTBw
`((w-1)*(InfB(Xi
0 X2)))) >B
if X1 = X2,
otherwise.
91
R(xj, X2)
S(x)
r(O)
x(aI)
xI0)x2($)+X206)xI0)
x(cP)
II
x(a)2
XI(a)X2(a)
0
-O(a)
III
X(a)2
(q + I)XI(a)X20)
IV
X(N(x))
Type
9x(a)2
-X(N(x))
(q - 1)19(a)
-{O(x) + O(F(x))}
=< Inf c(xi X2),I nfe(2i .i2) >B + < Xi X2,'2 AI >T
Proof The character values of the Weil representation, r(O), were calculated in 3.1.21, 3.1.25 and 3.1.26. The character values of L(X) are trivial
to verify. From 1.2.43 we have the formula
#(H)_i
Trace(IndH(p)(g)) =
Trace(p(ygy-i))
yEG,ygy-' EH
ndBL2Fq
a
(I of (xl X2))
92
GL2Fq
characteristic polynomial whose roots do not lie in Fq. The entries in the
table follow easily from these remarks and will be left to the reader.
3.2.6 Maximal pairs in ./GL2F9
As in 2.2.9-2.2.10 let J1IGL2F9 denote the poset of pairs (J, 0) with J <
3.2.7
Here
NGL2F9 (J, 0) = {X E GL2F9 I (XJX-1 (X-')'(4)) = (J, 4)}.
Type A:
(GL2Fq, X det) for x : FF -> C.
Type B:
(H, 2 p) where u : Fq -> C' is non-trivial and 2 : FF
C" is any homomorphism. Here
y:H-{(0
) EGL2Fq}-->Fq xFq
is as in 3.1.3.
(B,Inf'(21 ).2)), in the notation of 3.2.2, where 21,22
Type C:
Fq -* C. are distinct.
Type D:
-xF(x)
x + F(x)
f=
(1
x + F(x) )
-1
93
x + F(x)
-1
-x - F(x)
(1
x + F(x)
-1
x + F(x) xF(x)
-1
'
z) (0 6) i
(0
6) (0
az
(0
_
- (0
ay + f3z
6z
a-1
)(
-a 138
6-1
azb-1
z
94
GL2Fq
of F 2 so that f 0 NGL2Fq (Fqz, P), which easily yields the result for type
D.
GL2Fy
aGL2Fy(v)
ec( gz,
Pr)GL2F9
+>udu(GL2Fq,Xu
det)GL2F,7
A-D in 3.2.6 are as shown in 3.2.13 (the ellipsis denoting the sum of all
the terms of other types). In 3.2.13 the sums over r, s, t, u are taken over
all the terms of types A,B,C,D respectively.
Theorem 3.2.14 With the notation of 3.2.4 and 3.2.13
(i)
aGL2F9(L(X)) = (GL2Fq,X . det)GL,F9.
aGL2Fq(R(Xl, X2))
= E1#(H, XiX2
95
N)GL2Fq
+(B,InfB(X1 X2))GL2Fq
+(B, I of B(X2 X1))GL2Fq
F'
z
ResF; (P)=XI X2
(F'2'
p)GL2F,,
9
+
aGL2Fq(S(X)) = E1*(H,X2 (&
p)GL2Fq
+(B, I of B (X (D
+E,
X))GL2Fq
(g2,
F'2
p)GL2Fq
ResF; (p)=X2
+..
aGL2Fq(r())
+E
(Fq2, p)GL2Fq
F',
F'2
p${O,F'(O)},ResF;` (p)=ResF; (a)
v
+..
Proof Part (i) follows from 2.3.2(ii).
Parts (ii) and (iii) are similar and therefore we will only prove part (ii).
By 3.2.7 and 3.2.10, the multiplicity of a term of type B from 3.2.6 in
aGL2Fq (R(X1, X2)) is equal to
<2,ResH L2F
I(IndBL2Fq(IofB(X1
N X2))) >
E
ZEH\GL2Fq/B
96
GL2Fq
=E
z=1,w
I ndHnzB
1(ResHnzBz-1((z-1) (1 of s
=<A,(x1x21)+IndF (X20X1)>
=<A,X1X2IndF (1)>
1
if 2=X1X2,
otherwise.
This accounts for the first part of the formula in part (ii).
By 3.2.7 and 3.2.10, the multiplicity of a term of type C from 3.2.6 in
aG 2Fq(R(X1,X2)) is equal to
12),ResBL,F4(IndBL2F9(InfB(X1
<InfB(j1
xz))) >
otherwise.
This accounts for the remaining part of the formula in part (ii).
Clearly there are no terms of type A in aGL2F9 (R(X1, X2)) and the
multiplicity of a term of type D is equal to
L2F
< p, ResF;
92
97
by the character values of 3.2.5. This completes the proof of part (ii).
For part (iv) we observe that, since r(O) is irreducible, there can be no
terms of type A. Also there can be no terms of type C, since
<
=0.
By 3.2.7 and 3.2.10, the multiplicity of a term of type B from 3.2.6 in
aGLZFq (r((9)) is equal to
< A , Res/L2F9 (r(O)) >
= EzEB/H < A ,
F'2
_ (q2 - l) -I
P(x)(q - 1)0(x)
xEFF
-(q2
1)_i
p(x)(O(x) + O(F(x)))
xEFg2-Fq
_ (q +
1)(q2
- 1)-i
which accounts for the remaining terms in the formula for part (iv) and
completes the proof.
98
GL2Fq
{irreducible representations, v, of
GLmFgn fixed under E}
3.2.17
I Sh
{irreducible representations, Sh(v), of GLmFq}.
In 3.2.17 the Frobenius, E, acts via its action upon the entries of a
matrix. This correspondence, which was also treated by Shintani for GL2
of a local field, is also sometimes called Shintani descent or lifting (see
Gerardin & Labesse, 1979, for example).
The correspondence of 3.2.17 may be characterised by means of the
Shintani norm. For X E GLmFgn define
3.2.18
99
Trace(Sh(v)(N(X))) = Trace(v(X)).
= (E(J),
0(y-1
. _))GL2Fgn
GL2Fq
100
3.2.23
1(L(X)) = L(X).
1#
and
(B, I of B (x1 X2
))GL2Fq
+ (B, I of B (x2 (g X
1))GL2Fq
_ (B,InfB(E*(Xi)
(B,IofB(E*(x2)
E+(X1)))GL2Fq
or
(b)
Z/n
A:
111
Notice also that, in case (b), E*(XIX2) = X1X2 so that there exists a
unique 71,2 : F9 --> C' such that xi(z)X2(z) = 11,2(N(z)). In fact, we have
Fy
Fy
101
= X1(N(r))X2(N(r))
= X1(r)X2(r)
= X1,2(N(r))
= X1,2(w)-
+E
F'2
P)GL2Fq
(Fq2,
P{X1,X2},ResF; (P)=7112
9
+
in R+(GL2Fq).
These are the maximal terms of types A-D in aGL2Fq(r(xl)) and therefore, in case (b), we set
3.2.25
If E'(S(X)) = S(X) then, as in case (a) above, we see that E`(X) = X and
F4 -> C' such that X(z) = X(N(z)). In this
that there exists a unique
case we set
r(S(X)) = S(X).
3.2.26
EFq" (H,
ResFg2"
(E (O)) 'I`Fq" (v
. _))GL2Fq"
))GL2Fq"
102
GL2Fq
and
(Fg2n1+(P))GL2Fgn
F'2n
F'2n
(p)=ResF9 (O)
I
_
=
F-+
(gzn , P)
GL2Fgn
2'(p)=ResF^"(0)
9
F'
F'92"
(En-1)'(O) = O.
Since O is not Galois invariant < En-1 > must be a proper subgroup
of < E >. However, HCF(n - 1, 2n) E { 1, 2} so that we must have
HCF(n - 1, 2n) = 2 and therefore n must be odd . This means that
3.2.28
and, by 3.2.27, there exists a unique O : Fq2 - C' such that O(w) _
O(N(w)) for all w E F. If z E F9 and S E F9n satisfy N(s) = z then
ResF92 (O)(z)
= ResF92 ()(NF/F(S))
= O(NFg2n/Fg2(S))
= Res
(19)(s)
= O(NFgn/Fq(S))
= O(Z),
so that
ResF Z (O)
103
F'
(FF21 p)GL2F9
p{O,F'(O)},ResF; (p)=0
v
+ ..
These are the maximal terms of types A-D in aGLZFq(r(O)) and therefore
we set
3.2.29
T(r(E))) = r().
Each of these recipes is reversible and one easily sees that the process
yields a one-one correspondence similar to that of 3.2.17. The discussion
of 3.2.22 may be summarised as follows:
Theorem 3.2.30
the form
{irreducible representations, v, of
GL2Fgn fixed under E}
3.2.31
Ir
first the maximal abelian pairs and then, should they prove not to be selfnormalising, their normalisers. In the case of GL2Fq what we have given
is merely a calculation and in general one would wish for a more intrinsic
104
GL2Fq
3.3 Exercises
3.3.1
A=
('
d )EGL2F.
Verify that
A
-(0
)w
u
1
where
3.3.3
E x(a) = 0.
aEA
3.3.4
Verify 3.1.5.
Verify directly from the formulae of 3.1.15 that they are compatible
with those of 3.1.9 in the sense that
3.3.5
(r() (
h(x) = f(xF(f)-')
if f E; x, /3 E Fq2 and h(x) = f (/3x). )
Establish the irreducibility of the Weil representation, r(O), by
means of its character function and the Schur inner product on GL2Fq.
3.3.6
3.3 Exercises
105
p:GL,,,Fq-->GL(V)
is called cuspidal if, for each partition,
3.3.9
Let r(O) : GL2Fq --> U(q - 1) denote a Weil representation, as
in 3.1.15.
(U(q - I)INTq-i)B
consists of a single point. (See 2.1.10.)
4
The class-group of a group-ring
Introduction
Section 1 shows how Adams operations, 1 k, behave with respect to Explicit Brauer Induction. In particular it is proved that one may express
W
k( V)
107
as a complicated quotient of the weak product of the groups of Galoisequivariant maps from R(G) to all the local completions of a large number
field. The quotient involves factoring out by two subgroups of which one
is the group of determinantal functions. For the group functions into the
units of an 1-adic local field one may construct endomorphisms, denoted
by (FW'/1), by means of the Adams operations. Taylor conjectured that
for 1-groups the result of this endomorphism on determinants would be
108
a finite group with character, Xp. Let k >_ 0 be an integer. The Adams
operation, Wk, is defined by the character formula
4.1.2
for all g E G.
Xwk(p)(g) = Xp(gk)
Lemma 4.1.3 (i) The Adams operation defines a natural ring homomorphism
where Nk is the kth Newton polynomial and 2'(p) is the ith exterior power
(cf. 1.1.7).
Em 1 tk = Nk(o (t),...,6k(t))
2dim(p)(p))
= Li ... Ln,
= Ei=1
n XLi(S) k
(gk)
Ein=1
XL;
= Wk(g),
109
Once we know, from part (ii), that 1 k(p) E R(G) then parts (i) and (iii)
follow immediately by easy character calculations.
O
Remark 4.1.5 (cf. 4.7.1) In general, Wk(I ndG (p)) and I ndG (Wk(p)) are
not equal. For example, take G = Z/p, H = {1{, p = 1 and k = p. In this
case Ind,,, (WP(1)) = Ind2}P(1) is the regular representation. However,
in Theorem 2.33 of Snaith (1989a), shows that ipk behaves well with
respect to Explicit Brauer Induction.
Theorem 4.1.6 Let p : G -> GL(V) be a representation of a finite group
over any algebraically closed field, K, of characteristic zero. Then, for
all k > 0, there exist integers, ni, and one-dimensional representations of
subgroups, 4; : H; -o K', such that
n;IndGHi (0k)
i E RK(G),
wk(P) _
Proof In this situation RK(G) = R(G) and therefore we may assume that
K = C, the complex numbers. Define a homomorphism
upk
: R+(G) -* R+(G)
R(G)
R+(G)
R+ (G)
bG)
R(G)
j=i b<g>(`yk(a<g>(Lj)))(g) =
b<g>(``k(< g >,L>)<g>)(g)
= Ei=1 L;(g)
= ipk(Res<g>(P))(g)
110
4.1.8
RQ(N)(G) = R(G).
Proof Part (i) follows from part (ii) by setting k = 1. Part (ii) is a
corollary of Theorem 4.1.6. For, if 4); : Hi --> C` is a one-dimensional
111
ones and they all come about by choosing a prime ideal, P a (K, and
completing K in the P-adic topology. This is the topology in which
{x+P';n >_ 0} is a base of neighbourhoods of the element, x, in (9K. We
denote this field by Kp.
Example 4.2.2 If p is a rational prime then the p-adic completion of Z,
the integers, is given by
ZP = lira Z/(pn)
n
and is called the ring of p-adic integers. Its field of fractions is given by
QP = z,[1/p]
4.2.3
P a (9K is a prime such that the integral ideal, P n Z, equals pmZ for
a rational prime, p, then Kp/Qp is a finite extension and we say that P
divides p or that P lies over p. This is equivalent to the existence of a
commutative square of the following form:
Q - K
QP
Kp
in which the vertical maps are infinite places and L/K is an extension of
number fields. If P is a finite prime then the algebraic integers of Kp,
(9Kp, are given by the P-adic completion of (9K. By convention, if k is
Archimedean we set (9K equal to K.
112
4.2.4
In 4.2.4 fl' signifies that we take those elements of the topological ring,
flP Kp, for whom almost all entries lie in (9KP. The group of ideles is the
group of units in J(K),
4.2.5 J' (K) = {(xp) E J(K) I xp # 0 and almost everywhere xp E CKP},
where (9KP denotes the multiplicative group of units in (9KP. The unit
ideles is the subgroup
4.2.6
Now let G be a finite group. We may extend the adeles and ideles to
the group-rings, OK [G] and K [G]. Define
4.2.7
J(K [GI)
J*(K [G])
U(&K [G])
11Pprime OKp
Now suppose that E/K is a finite Galois extension with Galois group
G(E/K). In this case G(E/K) acts on the set of primes of E and
hence acts upon the groups J'(E), U(&E),J*(E[G]) and UWE[G]). If Q
RE(G) = R(G)
T : G ----> GL (E).
113
G(L/K) acts on R(G) and on J"(E), since E/K is Galois and G(E/K)
is a quotient of G(L/K). Therefore we may pass to the absolute Galois
group, f1K, which is the topological group defined by
4.2.11
HomoK(R(G),J'(E)) = HomG(E/K)(R(G),J`(E)).
A more extensive reference for the material of this section is Curtis &
Reiner (1987, p. 334 et seq.).
Let M be an (9K [G] -module of rank one which is locally free. This
means that M cK (9K, is a free (9K, [G] -module on one generator, xp,
for each prime, P, of K and that M oK K is a free K [G] -module on one
generator, x0. Since K [G] and (9K, [G] are subrings of Kp [G] this means
that there is a unit, 2p E Kp [G] * which is defined by
4.2.14
In fact, ),p will almost always lie in OK, [G]' so that we obtain an idele
4.2.15
(2p) E J*(K[G]).
T(2p) E
Kp K E = fl
Q,P
QprimeofE
EQ.
114
det(T(2p)) E fj
4.2.18
,,P
QprimeofE
E.
4.2.19
4.2.20
4.2.21
Det[M] E
HomnK
[G]))'
Now let us recall the definition of the class-group, ''.((9K [G]). This
is defined to be the Grothendieck group of finitely generated, locally free
(9K [G]-modules. To be precise, consider the set of isomorphism classes
of finitely generated, locally free (9K[G]-modules, Mod.l.f.((9K[G]). This
set is a monoid if we endow it with an addition operation defined by
4.2.25
115
4.2.26
and
(ii) [A] + [C] - [B] if there exists an exact sequence of (9K [G] -modules
4.2.27
Homo,, (R(G),P(E))
OK[G]) -> HomnK (R(G), E') Det(U((9K [G] ))
We will not prove this theorem and for our purposes the reader may
take the group of 4.2.24 as the definition of the class-group.
4.2.29 The kernel group, D((9K [G])
116
c : GLm(H)
> GL2m(C).
4.2.33
where, in 4.2.33, positive means that f (T) is positive under every Archimedean place of E which lies over a real place of K.
Similarly we may define
4.2.34
(9E}
Theorem 4.2.35 (Curtis & Reiner, 1987, p. 334 et seq.; Frdhlich, 1983)
The isomorphism of 4.2.28 induces an isomorphism
Det : D(C9K [GI)
Remark 4.2.36
primes, Q, which do not divide the order of G. Hence one may rewrite
Theorem 4.2.35 as an isomorphism of the following form:
4.2.37
117
52K and G(E/K) on U((9E) = UQprime (9EQ The action is induced by the
action of g E G(E/K) on KK E by the formula
4.2.39
g(a b) = a g(b)
(a E KP, b E E).
To see that S(k) is locally free we give another description of S(k). Let
4.2.45
= 1 +a(-1/n+k/n+/ik)
=1,if/3k=(1-k)/n.
118
{k, a} = (x/k)
{k, a}
{x,(xa)/k}
{x, a}
since (xa)/k = a2/n = a.
equal to Zp[G] < x >, since (xa)/k = a2/n = a. Similarly, at Archimedean primes {x, a} is free with generator given by 1. Therefore S(k)
is locally free of rank one and the idele associated to such a module in
4.2.15 is equal, in J'(E), to
4.2.46
2Q =
lx
T(g)).
gEG
n = Trace(>2gEG T(g))
= >gEG T race(T (g))
0,
S(k)(T) =
k
1
119
trivial in '2(Z[G]).
Proof We will prove this by means of the Hom-description of D(Z[G])
of 4.2.35 in the form 4.2.37.
Consider first the case when G = C,,. By 4.7.9, 1+x+...+xk-1 E
for each prime, p, dividing n. Let
exp(2ni/n) and let y : C -> C.
Det(1+x+...+xk-1)(y')=
if y'
1E
if y`1.
f(y) _
(1 - n')/(l - n) if y` 1,
1
ify1=1.
Det(uk)(x) =
2k + 1
if x * 1,
if x = 1.
Det(uk)(p;)
l+rl+...+nk
-det1 l +11-1
.i.....+fl-(k-1)
\\\
l+il+...+nk-1
+q-1 +...+q-k
= (p2k
1)('1-(k+1)
1)-1(>7-1
1)-'
/
l)-1(n-1 - 1)-1
E Z[ n]'.
120
h(T) =
if dimC(T) = 1,
Det(uk)(Pi)
if T = pi, y`
1,
where R(G) is identified with RN(G) and is therefore generated by representations of the form
T : G -?'
4.3.2
Det : (9M[G]*
m=(9,M/l.
G(M/Qi) = G(m/F,).
F(z) = z1
4.3.7
121
(z E m),
F(w) - wi
4.3.8
(mod l
(9M)
for allwE(9M.
If uY Ayy E (9M [G] we may therefore define
4.3.9
We are now in a position to state our first result concerning determinantal congruences. The following result proves a conjecture of M.J.
Taylor (1978) which is also mentioned in Frohlich (1983, p. 79).
Theorem 4.3.10 Let z E (9M [G]'. Then, for all T E R(G),
Det(F(z))(y)'(T))/(Det(z)(T))i E 1+l(9N.
Here Wi denotes the Adams operation of 4.1.1.
By multiplicativity
Det(F(z))(IndH1(4i))n`
Det(F(z))('(T)) =
E (9 N
11
(Det(z)(1 ))i
(Det(z)(Indc' (4.)))!nj
4.3 .12
(F()
Y
(h(i, g) E H).
122
(y) diag[4(h(1,7)),...,4(h(d,y))])
= det(X), say,
where diag [ul,... , ud] is the diagonal matrix whose (i, i)th entry is equal
to u;. Also we have
Det(>y F(Ay)y)(Ind4(4'))
= det(>y F(2y)a(y) diag [r1(h(1, y)),. .. , 4'(h(d, y))] )
= det(Y ), say.
det(Y)
(mod l(9N)
(mod l(9N)
(mod IN)-
Since det(X)' and det(Y) both lie in (9N we see that det(Y)det(X)-1 E
1 + (9N, as required.
E 1 + 4 (9N.
The congruences of 4.3.10 and 4.3.13 will permit us to take the l-adic
logarithms of
Det(F(z))(W'(T))
(Det(z)(T))'
123
our route to the logarithm will remove some of the agony and all of the
mystery.
We will begin by recalling some well-known facts from Curtis & Reiner
(1987, p. 356).
<T,e>=I'(9N 1 (9N
Hence v(n) = e-' is the least positive value taken by v on N. Define two
formal series by
E(-1)n-lxn
log(1 +x) _
/n,
4.3.15
exp(log(1 + x)) = 1 + x,
log(exp(x)) = x.
log(exp(x)) = x.
x-w
x = 1 (mod ION),
then we may choose
if 1#2,
t +1 if 1=2.
(
124
Proof Part (i) is well-known (for example, Curtis & Reiner, 1987, p. 357).
For part (ii) assume first that 1 2. In this case there is nothing to prove
if k = 0. Therefore we shall suppose that k > 1. Let us recall some facts
from Curtis & Reiner (1987, pp. 356-7) concerning the valuation, v.
Let X E (9N and let n >- 1 be an integer then, if v(x) >- 1,
log(x)
= C `0'(-1)n-1(lk+1u)n/n,
which lies in lk+1(9N, by 4.3.16. When l * 2 then exp(log(x)) E 1+lk+1(9N,
using 4.3.16 again, and therefore
x = exp(log(x)) = 1
(mod lk+1(9N)
as required.
When l = 2 we may write
(x/w)2 = 1+2 k+2U
from which we find that log(x2) E 2k+2(9N and exp(log(x2)) E I+ 2k+2 0N,
by 4.3.16. Hence
x2 = 1
(mod 2k+2&N)
x = +1
(mod 2k+1(9N)
and therefore
since such elements, x2, have precisely two square roots, which differ by
a sign and lie in 1 + 2k+1(9N
4.3.18 In Theorem 4.3.10 we produced a mod 1 determinantal congruence
which holds for all units, z E (9m[G]*, and for all representations, T.
Theorem 4.3.10 proved the conjecture of M.J. Taylor which was posed in
Frohlich (1983, p. 76) and Taylor (1978). However, when T is congruent
to zero mutually higher powers of 1, in the sense of Definition 4.3.31,
we can improve the determinantal congruence of 4.3.10 considerably.
We shall work towards such an improvement and in the course of this
process we will recover the group-ring logarithm, which was originally
discovered by M.J. Taylor (1980) and R. Oliver (1980), independently.
125
) HomnM(R(G),ION)
given by (z E (9M [G] *, T E R(G))
log(Ft1/l(Det(z)))(T) = log
DetF(z)(Wl(T))
E ION( Det(z)(T)1 )
group, Br(K), and for a finite field the Brauer group vanishes (Serre,
1979, p. 161) so that there is an isomorphism of the form
4.3.20
Proof Since r" E 10M [G] for some n (Curtis & Reiner, 1981, section
5.22, p. 112) the series for (1 - r)-1 converges l-adically and 1 - r E
OM[G]*. Since 4.3.19 is 1-adically convergent it suffices to show that
126
I - T(r")
T(1 - r)1"
(mod 1)
(mod 1).
On the other hand, T(1 -r) E (9N whose residue field, (9N/ < it >, has no
4.3.24
by the formula
E 'lyY
= E'lyXT(Y)
yEG
yEG
log
ao
aimlm
- i=1
m=1
Eco=1
u=1 Amilm
Li
_ - Em i Trace(T(rm))/m.
127
Let
4.3.27
M=1
If l does not divide m then lrm/m E l(9M[G] and the n-image of such a
term is 1-divisible in AG. Now consider the remaining terms
4.3.29
n(F(r`")/m)
m=1
=
Em_1
(rlm - F (rm))l m.
Suppose that m =
that
(rim
it(r1s
- F(ris-' )) E ISAG
' ))l m.
128
for alls>-1.
Suppose that r = t aigi (summed over all gi E G). Therefore
ris
where (j1,. .. , jts) ranges over all possible Is-tuples, which we shall think
its), and consider
of as `permutations'. Fix a permutation, i =
all the terms, j = (jl, ... , jts ), which are obtained from i by a cyclic
permutation. The products gi ... g,, and $2 ... g,,gl are conjugate in G so
that each term in the subsum of js will have the same n-image in AG.
Let H denote the cyclic subgroup of order is which cyclically permutes
i = (i1,...,its) and suppose that the stabiliser of i in H has order 1". In
this case there are ls-u terms in the subsum of j's and, in AG, we obtain
is-" times their common it-image.
When u = 0 the contribution of these terms to 4.3.30 will lie in IsAG.
Now suppose that u > 1 so that we may write
and we may consider the terms in rls-` which are of the form
aj, ... aj,,_, gj, ... g j,s_, ,
The
Now, in AG, let us collect together the terms from these two troublesome subsums when u > 1. From the subsum of js we obtain a
contribution of the form ls-ual1t(gl) while from the subsum of js we
obtain -is-uF(at 1)11(g') where g is the monomial, (gi,giz...). However,
by induction starting with 4.3.8, we find that
atu
- F(atu-1) E l"(9M
that
T E R(G) satisfies
129
Det(1 - F(r))(p'(T ))
E + 1'+'(9N
(Det(1 - r)(T))i
") AG
) (9N,
to g
Det(1 - F(r))(W'(T ))
( (Det(1 - r)(T))'
lk+l(9N
From 4.3.33 we may now finish by means of the argument which was
used to prove Corollary 4.3.17(ii).
Suppose first that l * 2, then we know from 4.3.10 and 4.3.16 that
4.3.34
-F(r))(W'(T))1)
exp I log f Det(1
\\\
(Det(1 - r)(T))'
Det(1 - F(r))(W'(T))
(Det(1 - r)(T ))l
On the other hand we know, from 4.3.17(ii)(proof) that
exp(1k+1&N) c 1 + lk+'ON,
130
4.3.36
if 1
1 + lk+1(9N
2, for all G or
if 1=2 and k = 0,
WG(k) =
2, G has no quotient
isomorphic to D6,
if 1
{+1 }J + 2k+1 ON
4.3.38
1(T
(Det(z)(T))'
E yyG(k) cl+lON.
l+ j
1+l(9N
1+ lk+10N
when l# 2
and
T2
(9M [G]'
1+20N
1+J
{1} + 2k+1 ON
when 1= 2.
The map, T1, sends the coset, z(1 +J) to 4.3.38. In each case the range of
'F1 is an abelian 1-group, as is seen by means of the logarithm of 4.3.15
and 4.3.16.
However, by 4.3.20, we have an isomorphism of the form
4.3.39
(9M[G]*/(1 +J) =
We will use 4.3.39 to show that 'F, is trivial unless l = 2 and G has a
quotient which is isomorphic to the dihedral group, D6. In the remaining
case we will show that 'F2 is the trivial map. When G has no D6 quotient
this will obviously show that 4.3.38 lies in WG(k) of 4.3.36. When l = 2
and G/H = D6 for some H 1 G then the square of 4.3.38 will lie in
({1} + 2k+1(9N) c N' and the square root of any such element exists
131
and belongs to {+1, +,[--11 + 2' (9N, which equals WG(k) in this case,
also.
By 4.3.39 it will suffice to show that Hom(GL (Fsd), Z/l) is zero when
Z/l) =
Z/l),
(mod P) (x E CO-
4.4.2
132
Let T E R(G) and suppose that K/Q satisfies the conditions of section
4.4.1, so that Pp E G(E/Q) exists in 4.4.2. Consider the map
4.4.4
(Frw p
HomaK(R(G),(Kp K E)')
given by
w(Fp(f(ip'(T))))
= Fp(zp(f(ip'(T))))
= Fpf(zp(ip'(T)))
= Fpf(FPIw(w'(T))),
= Ppf(FP '(ip'(w(T ))))
= Fpf(ip'((o(T))),
by 4.4.2,
by 4.4.2,
IEQ
133
Det(EFP(,y)y)(tp'(T))
(Det(E A.yy)(T ))'
U((9Q(xT)),
Jf,,,(Q(xT))
V(T)' ST(Hom)
ST = {ST,Q} : D(Z[G])
Q(xT)P
S Hom+ )
flPE.a V(T)P'T(
134
Example 4.4.12 Let l be a prime and suppose that #(G) = lk. Take T
to be the regular representation, T = Ind{i}(1) E R(G). Hence
(0
xT(g) = Sl
if g 1,
#(G) if g = 1,
ST : D(Z[G]) -
Z;
{1} (1 + lk+1Z1)
from Theorem 4.4.11 (ii), since D6 is not a quotient of G. The {1} in the
denominator of the target group arises because ST(Hom+) c Z'
-1}.
In terms of the Hom-description ST is given here by
where f E
by
S(k) = [ideal{k,a}]
of 4.2.44.
We will use the map, ST, of Example 4.4.12 to determine T(G) when
#(G) = lk. The proof is originally due to M.J. Taylor (1978), who did not
have available all the maps of Theorem 4.4.11 but did have the particular
case of 4.4.12.
4.4.15 The Artin exponent
& Reiner, 1987, p. 782) to be the smallest integer such that there is an
equation in the rational representation ring, RQ(G), of the form
135
T(G)=0.
Proof Let C be a subgroup of G. We have maps
Now suppose that f : R(G) -) U((9E) is an QQ-equivariant homomorphism whose class in 4.2.35 represents S(k) E T(G). In this case
A(G)S(k) = A(G)[f].
From Curtis & Reiner (1987, section 76.8, p. 784) there exists an
equation, which apparently improves upon 4.4.16, of the form
A(G) 1 =
where the sum is taken over cyclic subgroups, C, and the {nc} are
integers.
by 1.2.39.
However, Resc of 4.4.18 maps T(G) to T(C) (Curtis & Reiner, 1987,
p. 345) so that [f IndG] E T(C). However, T(C) is the trivial group, by
4.2.48. Hence [f(A(G) -)] is trivial in D(Z[G]), by 4.4.19.
136
#(T(G))
cyclic
non-cyclic , I # 2
lk-1
2
1
2
2k-2
Theorem 4.4.20 Let l be a prime and let #(G) = 1k. The Swan subgroup,
T(G), is a cyclic 1-group whose order is given by Table 4.1.
2". By 4.7.12, the restriction map, T (Q2") -> T(Q8) is onto, so that
it suffices to show that 2 T(Q2") = 0. This will follow from Theorem
5.3.3, since Q2" has a cyclic subgroup of index two, C2"-1, and there is no
element of order two in Q2" - C2"-1. The case of the semi-dihedral group
is dealt with similarly.
The semi-dihedral group, SD", has order 2n+2 and is given by
SD" = {a, b I a2n+` = 1 = b2, bab = a2"-1 }.
137
Now let us suppose that G belongs to one of the remaining cases; therefore G is not a cyclic, dihedral, semi-dihedral or generalised quaternion
group. For these remaining cases
(Z/#(G))'/{1} = (Z/lk)'/{1}
has an /-primary part which is cyclic of order Ik-1 when l 2 and 21-2
when I = 2 so that it will suffice to detect classes, S(k), which are of at
least this order. To do this we will evaluate
ST(S(1 + l)) E
Zj
{1}(1 + lk+1Z1)
4.4.21
Z
{1}(1 + lk+1Zt)'
where
[#(G)'
=#{gEGIg'=1}-1.
However, by a theorem of Kulakoff (when l # 2) and of Alperin, Feit
and Thompson (when l = 2) (see Huppert, 1967, p. 314; Isaacs, 1976, p.
52)
#{gEGIg'=1}-0(mod12).
Therefore e = lq with HCF(l, q) = 1 so that
ST( S ( l
+ l )) = ( 1 + l )
19
Zl
{1}(1 + lk+1 Z,) '
which has order 1k-1 when I * 2 and 2k-2 when l = 2. This completes
the proof of Theorem 4.4.20.
#(G) l-1
if G is cyclic,
if G is non-cyclic.
138
Proof The result is trivial when G is cyclic and otherwise it is clear from
2.1.3 that A(G) divides #(G) 1-1. Therefore, by 4.4.20, A(G) = #(G) I-1
since A(G) T(G) = 0, by 4.4.17.
#{gEGIg'=1}- 0(modl2).
In fact the proof shows that for all k satisfying HCF(k, 1) = 1
ST(S(k)) = kA_' E
Z*
where A=ale=#{gEGIg'=1}.
However, if k has order (1-1)/2 in (Z/lk)*/{1} then ST(S(k)) = 1 so
that we find that A - l is a multiple of (l - 1)/2.
This is equivalent to the following:
Det(ZI [G] * ).
139
Theorem 4.5.3 is one of the three main steps in Taylor's proof of the
Frohlich conjecture, which is the subject of the book (Frohlich, 1983).
We will not go into the details of the Frohlich conjecture here (see
Chapter 7). Suffice it to say that the ring of algebraic integers in a
tame Galois extension of number fields is a projective module over the
integral group-ring of the Galois group and Frohlich's conjecture gives
an analytic description of the class of this module in the class-group.
Incidentally, in Theorem 4.5.3, M/Q1 is tame if and only if (9m is a
projective Z1 [H]-module.
c:M[G]- )M{G}
denote the M-linear map which sends g E G to its conjugacy class. M{G}
may be identified with the centre of M[G] (see Lang, 1984, section 4.1,
p. 647), but we will not use that description here.
Let N/Q1 be a finite Galois extension which contains M and all the
n-th roots of unity (#(G) = n). Hence N is `large' in the sense of Section
3. Suppose that yl,... , ye denote the distinct conjugacy classes of G and
let yl, ... , Ye be the corresponding characteristic functions given by
y'(Yj)
if i=j,
if i
j.
Lemma 4.5.6 Let n = #(G) and let n = exp(2iti/n). Let `'G denote the
space of N-valued class functions on G (cf. 1.2.22). There exists a matrix
A = (aij) E
c GLe(N),
140
such that
e
Yi = E IXijxj E WG.
j=1
Proof By 1.2.23 we know that the matrix, A, exists with entries in some
large field. We must show that the entries lie in
By 2.1.3 there exist cyclic subgroups, {C5}, and one-dimensional representations, {his : CS ---> N*}, such that (for suitable as E Z)
n = #(G)
= Es asY1 I nd's(4s)
_ Es a,I ndG (4s 0 Rescs(Yi))
X =(Xij)=
4.5.7
4.5.8
yi-l(xj-t)
= 0-0(j-1)
From 4.5.8
Ei(X-'
)s,iyi-1(XU)
= Ei(X-')s,iXi,u+i
I
ifs=u,
if s=u.
Define a homomorphism
0 : Homo,,,(R(G), N)
141
N{G}
by the formula
4.5.10
f i- + mult(f 0 1)
(where `mult' denotes multiplication in N) and
4.5.12
h'-'
h(Ys)Ys
s=t
If co c f1m then
wMf)) =Esw(f(Ys))Ys
= Es f (w(Ys))Ys
Es f (ys)Ys
= O(f)
so that the image of 4.5.10 is contained within N{G}lM = M{G}.
On the other hand, we may define another map
4.5.13
by
Proposition 4.5.14
isomorphisms
142
and
=Eymyy,
so that W = 1.
On the other hand,
e
W Mf ))
lp( E E sjf
s=1 j=1
e
(xj )Ys)
e
F> E asjf
(xj)(A-1)ts)
s=1 j=1
where
A=((x,j)is as in 4.5.6,
Qt
f Qt))
= f,
so that W4 = 1 also.
Remark 4.5.15 If one identifies M{G} with the centre of M[G] (see
4.5.4) then Proposition 4.5.14 may be proved by means of the reduced
143
given by
a(H,cb)13(P)(H,4>)G E R+ (G),
aG(P) =
(H,O)cE_&j14
where (H, )G denotes the G-conjugacy class of a one-dimensional representation, : H --) N*.
The absolute Galois group, S2M, acts on R+(G) by the formula
4.5.17
((0 E SZM).
aG E HomnM(R(G),R+(G)).
0:H
-H>Hab->N',
AG : R(G)
(H)R(Hab)WH,
since WGH permutes the basis of the free abelian group, R(Hab), given
by the one-dimensional representations.
144
R(Hab)WGH
R(G).
Thus, by 4.5.14 and the foregoing discussion, the dual of 4.5.19 yields
a split surjection of the form
4.5.21
(M[Hab]WGH)
(H)
H<G
-> M{G},
where the sum in 4.5.21 is taken over the conjugacy classes, (H), of
subgroups of G.
Now let us derive the naturality property of 4.5.21, which results from
the naturality of AG in 4.5.19, in the sense of 2.2.8.
Suppose that J < G, then we may define an M-linear map
4.5.22
I NDJ
I -<J
(M[I
(M[Hab]WGH)
ab]WJI)
H<G
I ND (y)(H)
= 1: 1:
YS(z-'yZ)Y,
E M[Hab]WGH.
S=I
I czHz-(
M{G}.
145
M{G}
AG
(H)R(Hab)WH
Resi
Res
R(J)
AJ
O(I)R(I ab)WJI
where
4.5.24
lab
N*) = E,EJ\G/I((J n
zlz-1)ab (z
A) N').
Therefore we have only to show the commutativity of the follow} are induced by the maps
of 4.5.13 and 4.5.10 when G is set equal to H and I, respectively:
'4tab
p(I)Homu,,(R(I ab)wJI, N)
(Restt )"
HM[Hab]WGH
H.b
(H)HomnM(R(Hab)WGH,N)
146
L1
L2
L1L2
x2
-2
x
y
-1
-1
-1
-1
0
0
-1
-1
xy
If y C M[Iab]WJI we have
((H)4H-b)(Resj')*(WI-b(Y))
= ((D(H)4Hab)(Resj)'((A :jab
=(
(H)Y'Hab) 1 L.
_ ((H)OHab)
zEJ\G/H
JnzHz-l=1
CzHz 'zI
N*)'-' )(Y))
((p' : Hab
=EJ\G/H ((p :
Hab
N*) H
Ii(Z-1yz)))
II
- N") H p(Z-1yz)))Jl
zHz-' >I
_ E zEJ\G/H
zHz 1
((p : Hab
N*) H (Z-1YZ)))
fs(Z-1YZ)YS
ES
= I NDi (Y)(H),
as required.
147
I = (1 + Li + L2 + L1L2 + 2v)/8,
x2=(1+L1+L2+L1L2-2v)/8,
(1-L1+L2-L1L2)/4,
y=(1+L1-L2-L1L2)/4,
and
zy = (1 - L1 - L2 +L1L2)/4.
The homomorphism, aQ8 : R(Q8) -* R+(Q8), is given by
AQ8(L) = (Q8, L)Q8
A3)Q8
- ({x2}, A4)Q'
where Al, A2, A3, A4 are all injective homomorphisms into the fourth roots
of unity in N. From this, one may calculate that AQ8, which is defined
on the Weyl group invariant elements of M{Q$b} M{x} M{y}
M{xy} M{1} and maps to M{Q8}, is given by the following formula.
On M{Q8b}, if x,y are the images of x and y then
AQ8(l) = (1 + x2)/4,AQ8(x) = x,AQ8(y) = y and AQ8(z y) = xy.
On M{y}, AQ8(y`) is equal to the image of x' under the map, AQ8, on
M{x} and similarly for AQ8 on M{xy}. On M{x2}, AQ8(1) = 2z and
AQ8 (x2) = -2z. Finally, AQ8 is trivial on M{ 11.
148
4.5.28
Det(1 + dM(G))
HomnM(R(G),1 + l(9N)
M{G}
HomoM(R(G), N)
HomcM(R(G), ION)
The lower map in this diagram is the injection induced by the inclusion
of l(9N into N. Here F is the Frobenius of 4.3.7 and Fip'/l is the map
given by 4.3.10. The map ip is 4.5.13, whose inverse is 0 of 4.5.10.
Lemma 4.5.31 If w E 1 + ION then log((o) = 0 if and only if co is an
1-primary root of unity.
exp(log((oi'"))
= exp(lmlog((o))
= exp(0)
=1.
149
T H to g (
Det(F(u))W'(T)
(Det(u)(T))'
is zero for all T E R(G). Since R(G) is finitely generated, 4.5.31 implies
for all j >_ 0. This means that we have equations of the form
Det(F(u))(W'(T)) = Det(u)(T)',
Det(F2(u))(W!2(T))
=Det(F2(u))(W'(W'(T)))
= (Det(F(u))(W'(T)))1
= (Det(u)(T))'2,
Det(F"(u))(W"(T)) = (Det(u)(T))".
Now suppose that #(G) = l' so that
W'"(T) = dim(T) E R(G).
This means that, if e : (9M [G] -> (9M [{ 1 }] _ (9M is the augmentation
map, then
Det(u" )(T) = Det(e(F" (u)))di,(T )
=1
since e(1 + 4M(G)) _ {1}. Therefore Det(u)1' = 1 and so Det(u) = 1, by
4.5.29, which completes the proof.
150
4.5.33
c(dM(G)).
Let
bT
Hence
aG(Det(u)) E I - c((9M[G]) n c(dM(G)) = I - c(,qtM(G)),
(modl(1 - 2)2x2)
151
Lo(1-(1-z)x)E 1(1-z)(9M[G]
and therefore c(Lo(1 - (1 - z))(9M[G]) c I c((1 - z))(9M[G]).
If X E J then one sees that
lc((1 - z)x) E c(Lo(1- (1- z)(9M[G]))
4.5.36
4.5.37
Rewrite v as v =
and that
Since (9M [G] is local we may lift v to v' E 1 + .CM(G), using the fact
that G -+ Gab factors through H. Thus
ao(Det(v')) - y E Ker(ir :
152
so that
aG(Det(v')) - y E l c((1 - z)(9M[G])
and, by 4.5.35, there exists v" E (9M [G] with
Proof Consider the following diagram, whose rows are easily seen to be
short exact (that is, the left map is injective and the right one is surjective,
while the kernel equals the image in the middle):
Det(1 +dM(G))
{1}
Det
, (9M [Gab].
= Det
Det((9M[G]") - Det((9M[Gad]*)
{1}
{1}
153
- Det(ZI[Gab]*)
/32
/33
and therefore the lower sequence is short exact. However, by 4.5.34, /31
may be identified with the isomorphism
1- c(,4Q,(G)) = I . (c(dM(G)))H,
4.6.2
given by
Wh(f)(X) =f(Wh(X))
154
Theorem 4.6.3 Let Det((9M [G] *) c HomfM (R(G), N`) denote the image of
the determinant homomorphism of 4.5.2 then, for all 0 < h E Z in 4.6.2
Wh(Det((9M[G]')) c Det((9M[G]').
Here and there our proof of Theorem 4.6.3 will differ considerably
from that of chapter 9 of Taylor (1980) by virtue of the fact that we
have available better determinantal congruences; in particular, we do not
require the use of the decomposition homomorphism (cf. Taylor, 1980,
p. 106).
(b) The main application of Theorem 4.6.3 is to show that the Adams
operation, Wh, induces an endomorphism of the class group
Wh : WY((9K [G]) -> WY((9K [G])
Proof In this case (9M[G] is a maximal order in M[G] (see 4.7.3) and
therefore, by Frohlich (p. 23),
Det((9M [G]') = Homo,, (R(G), (9N ),
155
Lemma 4.6.6 Let p be any prime (not necessarily equal to the residue
characteristic, 1) and let G be a finite p-group. If
aG : Det((9M[G]') -+ M{G}
is the homomorphism defined in 4.5.30 then
aG(Det((9M[G1`)) c l(9M{G}.
G]'
a : GM
(i+r)
MG
10m (G)
The image of & must be a finite, abelian l-group and, since when l = 2
the group G has no homomorphic image equal to D6, & must be trivial,
by the argument which was used in the proof of Theorem 4.3.37.
Lemma 4.6.8 Let G be a finite l-group. Suppose that
f E Ker(HomoM(R(G),N') -+ HomcM(R(Gad),N"))
satisfies
f"
= 1.
156
4.6.11
by
NM,/M(f) =
fi
g(f),
gEG(Mi /M)
1. (9M{G}
TrM,/M
NM1 /M
(9M,{G} - Det((9M[G]')
NMI lm
M[Gb]'
157
case when G is abelian; see 4.7.16). A diagram chase completes the proof.
Proof Let X = E ayy E (9M[G]* and let Y = E ayyh. Since the Jacobson
radical is preserved by the function induced by sending y (y E G) to yh
and since ((9M[G])/J is finite we see that Y E (9M[G]*. Therefore we may
consider
4.6.15
Wh
f=
" Det x
Det(Y)
E HomnM(R(G), N*).
Notice that f lies in the kernel of the abelianisation map of 4.6.8, since
on an abelian group is induced by the hth power map.
Now let us introduce the temporary notation
4.6.16
Q[y]Trace(T(yh))
[y]
(9M.
158
and
1p(aG(Det(X)))(Wh(T)) = log(FW'/l(Det(X)))(Wh(T))
= log(FW'/l(Wh(Det(X))))(T),
= W (aG(Wh(Det(X))))(T ),
Therefore
aG(Wh(Det(X))) =
u E Det(1 + dM(G))
4.6.20
which satisfies
aG(f l u) = 1.
By the properties of log (see 4.3.16) we may apply 4.6.10 and 4.6.11 to
f /u E HomnM (R(G), N') (or to (f /u)2 when l = 2) to conclude that
4.6.21
Det(a//3) E Det((9M[G]*)
HomnM(R(G),jc(N))
which is trivial, by a result of Wall (1979) see also Taylor (1980, p. 45).
Hence we obtain a homomorphism
4.6.22
I'M : Det((9M[G]*)
I'M(Det(X)) = f/u.
159
4.6.23
FM,
Det((9M, [G]`)
FM
Det((9M[G]')
HomnM(R(G), p1_(N))
f/u = I'M(Det(X))
= I^M(NM,/M(V ))
= NM1/M(FMi(V))
= (FM, (V )f
= 1,
Hm = ker(H -) Aut(x(C)))
A. = H/Hm,
Gm = HmC .4 G.
160
Here a6 is the representation which is additive in a and when a is onedimensional is given by the extension of 0 : Hm -> GL(V) to G = HmC
by demanding that c E C acts via scalar multiplication by a(c).
a:G->G/C->Et
such that
gyj = YQ(g)(i)h(i, g) = YQ(v)h(i, g),
a(Y1 lY 1xyy1)h8(h(1,Y))
0
0
= o(g)
= I ndQ (c 0)(xhy),
set {21,...,Ak(m)}.
Define a map
161
4.6.29
k(m)
i=1
From Taylor (1980, p. 108 and p. 70, section 3.9) we have the following
result.
Proposition 4.6.30 In the notation of 4.6.28 the map, a, of 4.6.29 induces
an isomorphism of the form
k(m)
a : Det((9M[G]*) - f
ml#(C)
i=fl1
Wh(Det(C9,y[G]*))
Det((9M[G]*).
Proof Let a, b E (9M [G] * be as in 4.6.27. We are going to show that, for
each m I #(C) and for each 1 < i < k(m), in 4.6.29
am,i(Wh(Det(a))) = Wh(am,i(Det(b)))
A,J)H"
E R+(Hm)
162
Hence we have
am>i(W'(Det(a))(em))
= rj;[Det(b)(IndGm(Ah Ind5"(0h)))]";
by 4.6.32,
= Wh(am,i(Det(b)))(0m),
as required.
Z E Wh(Det((9M[G]"))} c Det((9m[G]').
163
_ {Wh(Det(z))}tt(ir`(V))
= Det(z')(V').
Note that, by induction, t may be chosen so as to work for all z E (9M[G]
We may choose z" E &M[G]` such that n(z") = z' so that
{Wl(Wh(Det(F(z))))}!t(V )
= Det(it(z"))(V')
= Det(z')(ic`(V'))
= W'(Det(z"))(V )
(Det(F-i(z" )))'
E HomcM(R(G),1 + 1(9N)-
[Det((9M[G]`)HomcM(R(G),1 +l(9N)]/(Det((9M[G]`))
Wh(z)I'+'+'
We are almost ready for the final step in the proof of Theorem 4.6.3.
In order to complete that step we shall require a small digression into
algebraic K-theory. Further details on this material is to be found in
Curtis & Reiner (1987, p. 61 et seq.).
164
of
by sending X to
x
C0
O
1
4.6.37
(QM [G]' )
Det
HomQM(R(G), (9; )
Det
K1((VM[G])
Det
HomOM(R(H), (9N)
Det
K1(&M[G])
HomnM(R(G),(9N)
165
4.6.41
Det
K1(OM [G])
(I nd' )'
ResH
Det
HomcM(R(H), ON)
K1((OM [Hl)
In 4.6.40 and 4.6.41 f ` is the map induced by the map, f , of representation rings.
Proposition 4.6.42 Let Q, < M < N be as in 4.6.1 and let 0 : G
GL (M) be a representation. If z E (9M [G]" then the map, (X F-+ Det(z)(0
X) E Homo,, (R(G),(ON) lies in the subgroup, Det(OM[G]").
>
Proof The key to this result is the fact that (Curtis & Reiner, 1987;
Wall, 1966) Det(Ki((9M[G])) = Det((OM[G]*). If Z = Eayy then 0(z) =
E a,O(y) E GL (OM [G]) and therefore gives rise to a class, 0.(z) E
Kl(OM[G]). It is clear that the function, (X '--> Det(z)(0 X)), is equal
to (X'--> Det(0.(z))(X)), which lies in Det(KI(OM[G])). This completes the
proof of 4.6.42.
4.6.43 Proof of Theorem 4.6.3
166
and
(W"(Det(z))(T))n(P)
by 4.6.41, where
E K1((9M[Ji]).
u; E (9M[Ji]*, such that, for each i,
Det(Resj'(z))(OiW"(Res'(T))) = W"(Det(ui))(Res'(T)).
= Det(Ind5 (vi))(T),
so that (W"(Det(z)))"(') E Det((9M[G]*).
Finally, let us return to the general case and suppose that n(l) _
pit ... p"r where pl,... , pr are distinct primes. Repeating the first step with
4.7 Exercises
4.7.1
4.7.2
= I ndH(Wk(p))
4.7 Exercises
167
T ={ah'bick;0<h<4,0< j <2,0<k<3}.
Also T/{a2} = A4. Define a two-dimensional, faithful representation,
-i
v(b) _
and
v(c)
1(
e7
f7
e5
and
(iii) tp6(v) = I nd>(1) - I nd<a>(1).
4.7.3
finite group with #(G) = n. Prove that (9K [G] is a maximal order in K [G]
if n is invertible in (9K (cf. Curtis & Reiner, 1981, p. 582).
168
4.7.8
4.7.10
(1 + v + aJ b + a1+1)Uk = uk+(r+1)(2k+1)
for j = 2k + r(2k + 1).
Prove that M is free if and only if (a) holds. Hence prove that
WY(Z[G]) = Z/2 = T(G) generated by the Swan module, S(3).
4.7.12
4.7 Exercises
169
U= 11
(1 +0(z)+...+0k-l(z)) E Zp[G]
[z)EP(FP)
2n-2T(G)
= 0 if
p=2.
4.7.15
G=(Fp, x...xFp,)n,
where {pi} are distinct primes.
4.7.16
N : Mi [G]' -'
M[G].
(Mi
[G]*)G(M,IM),
5
A class-group miscellany
Introduction
The determinantal functions play an important role in the Hom-description of the class-group of a group-ring. By applying the determinantal
construction to the components of the Explicit Brauer Induction formula
for a representation one may construct new types of homomorphisms,
which I have christened restricted determinants, defined on the representation ring, R(G), and giving rise to elements in the class-group. In Section
1 we describe these new maps and show that their images generate the
entire class-group.
In Section 2 we use some homological algebra to derive a new invariant,
which is a type of `reduced norm' and which detects elements in the
class-group of the quaternion group of order eight, W2'(Z[Q8]). This
class-group is a very popular place in which to test conjectures concerning
cases, to obtain new upper bounds for the Swan subgroup of G. The
motivation for this section is probably more interesting than the results.
In the study of the stable homotopy groups of spheres one of the major
achievements was the evaluation of the subgroup which is called `the
image of the J-homomorphism'. All that we require to know about this
170
Introduction
171
A class-group miscellany
172
5.1.1
H<G
#(G)-'
173
detH, : J*(K[Hib])WwH'
HomQK(R(G),J'(E))
and 0 : H1 ---> E' factors through the abelianisation map, H1 Hl b. Passing to the quotient in 4.2.28 yields a restricted determinantal
homomorphism
5.1.4
Cey(OK [G])
A class-group miscellany
174
Theorem 5.1.8 Let G be a finite group and let K be a number field. Then
E DetH(J'(K[Hb])n'GH) = `Wy((9K[G])
(1)
HSG
and
(11)
H<G
Proof We shall prove only (ii), since part (i) is similar but easier.
Let ' denote a set of conjugacy class representatives of subgroups of
G. If X E R(G) and aG(X) = >j a;(H;, cb;)G then, for H E ', define
aG,H(X) = E a,(H,, 0t)G.
H;=H
-*
lies in
diagram:
K1(Kp[Hb])WH =
(A(Hb)p)WcH.
(Kp [H ab]*)WGH
175
5.1.11
K1(A(G)p) 0 R(H)
A(G)p 0 R(Hab)
Ind
K1(Kp[G]) R(Hab)
IInd1
K1(Kp[H])WGH R(Hab)
(Kp [Hab]*)WGH
If we start with z
R(Hab)
Det
E*Q
all w E R(Hab),
Det(wp 0 tp) E (9EQ,
IndH(aG,H(X)) E R(G)
HERB
so that
5.1.12
A class-group miscellany
176
M(Z[Q8])'M1,
177
M_= {mEMIx2(m)=-m}.
Note that M+ is naturally a module over the ring Z[Q8]/(x2 - 1)
Z[Z/2 x Z/2], while M_ is a module over Z[Q8]/(x2 + 1) = HZ, where
HZ denotes the ring of integral quaternions,
5.2.5
HZ=Z[i,j,k]/(i2=j2=k2=-l,ij=k,jk=i,ki=j).
: 11'1 /M-
M+
178
A class-group miscellany
a = {al,...,ak} E M_
and we may choose, by 5.2.7,
a={al,...,AIEM
such that
al
=X
5.2.10
(l - x2)ak
(=Mk.
ak
c : Mk(HZ) -+ MMk(Z[i])
denote the complexification map (i2 = -1; Z[i], the Gaussian integers)
and set
5.2.12
4) E Z/4.
Note that 5.2.12 makes sense since det(c(X)) is a positive integer (see
5.7.2).
179
5.2.15
Y -W 1
W
'
Let Est denote the k x k matrix having a 1 in the (s, t)th entry and
zeros elsewhere. Let us examine the effect of changing X by adding 2x
in the (s, t)th entry, where x E Z[i].
Write M(Y)St for the cofactor formed by taking the determinant of
the complex matrix obtained from Y by deleting the sth row and the tth
column.
Thus
-W
Y + 2xEst /J
= det(c(X)) + 2x(-1)s+tM(c(X))st
+2x(-1)k+s+k+t M(c(X))k+s,k+t
(mod 4),
-W Y
Since we are working modulo 4 the signs within the square brackets
are irrelevant and therefore we obtain
det(c(X + 2xEst))
det(c(X)) + (-1)s+t2[xM(c(X))St + xM(c(X))St]
det(c(X))
(mod 4).
180
A class-group miscellany
of # =
(1-x2)(a+/3) _ (1-x2)a+2fl
=Xa+2X'a
for some X' E Mk(HZ). Since, by 5.2.14, det(c(X)) __ det(c(X + 2X'))
(mod 4) we see that n([M]) is independent of the lifting of a + M_ to
a E Mk.
Now suppose that the Z[Z/2 x Z/2]-basis, a + M_ = {a1 + M_, ... , ak +
det(c(U'X)) = det(c(U'))det(c(X))
det(c(X))
(mod 4).
181
Proof Let M =< 3, a >, the Swan module of 4.2.43. Here a = Eg,Qg g E
Z[Q8]. In this case
< 3, a > /M_. To see this embed < 3, a > /M_ into Z [Z/2 x Z/2] via
the abelianisation map. This induces an isomorphism
so that < 3,a > /M_ is a free Z[Z/2 x Z/2]-module with basis, a =
a - 3(x + y + xy) E Z[Q8].
Hence (1 - x2)a = 3(x2 - 1)(x + y + xy) and since
3 (mod 4).
A class-group miscellany
182
By virtue of 5.2.3, 5.2.16 and 5.2.17 it will suffice to prove that there
are precisely two isomorphism classes of projective Z[Q$]-modules, M,
5.2.19
M_->M->M/M_=M+.
5.2.20
The group
Ext2[Qe] (I ndQ 2) (1), IndQBZ}(i))
M_ --. A , M+
1
M_
.B
M+
Ext2
[Q-]
ExtZ[{XZ}]
(Z,
IndQez)(T))
H1({x2};IndQBZ) (i))
H1({x2}; IT)
Z/2[Z/2 x Z/2]
HZ 0 Z/2.
183
Notice that
5.2.23
AutQs(IndQ82}(i)) = HZ
and
AutQ$(Ind?2}(1)) = Z[Z/2 x Z/2]'
5.2.24
and that, in terms of 5.2.22, the natural actions of the left sides of 5.2.23
and 5.2.24 correspond to multiplication (reduced modulo 2) by HZ and
Z[Z/2 x Z/2] respectively.
We do not wish to classify M up to the equivalence relation generated
by 5.2.21 but rather up to isomorphism. Therefore we wish to evaluate
Ext'Z[Q8] (I ndQ8
(1) '14Q8
n (XZ) O )/
(XZ}
5.2.25
(AutQB(IndQX2}(i)) x AutQB(IndQ2}(1)))
where Z/2 x Z/2 acts by multiplication. The orbits of this action are
readily seen to be
{0},{1,x,y,xy},
5.2.26
{1+x+y,xy+x+y,x+1+xy,y+xy+1},
{1+x,y+xy},{1+y,x+xy},
{1 +xy,x+y} and {1 +x+y+xy}.
The proof will be completed if we can show that only the two orbits
of order four represent projective modules. In fact, we shall show that
only these orbits represent cohomologically trivial modules. For this we
need to recall some cohomological facts.
The `change of rings' isomorphisms in 5.2.22 arise from the pullback
diagram obtained from 5.2.20 (see Hilton & Stammbach, 1971; Snaith,
1989b) :
A class-group miscellany
184
5.2.27
M_-. V , Z
1
M-, M
--
M+ = IndQZ}(1)
in which
p(m) = 1 0 m E Z[Q8] Z[{x2}] Z
and
V = 7r-1(p(Z))
r%12IR
b 1,M
Hi+1({x2};M-)
H'( {x2}; Z)
gEZ/2xZ/2Hi+1({x2}; ,r),
06
SM
H'(Q8; M+)
185
ED
9EZ/2xZ/2 Z/2,
0->A-pB-*M-)0
is any short exact sequence of Z[G] -modules in which A and B are finitely
generated and projective.
A class-group miscellany
186
Lemma 5.2.32 Let M be a finite abelian group of odd order upon which
#(M-) = (r-)2.
Proof We may decompose M into its p-Sylow subgroups, where p is an
odd prime, and then filter each p-Sylow subgroup in such a manner that
the associated graded Q8-module consists of Fp[Q8]-modules, where Fp
is the field with p elements. Hence it suffices to assume that M is an
Fp-vector space. Therefore we must show that M_ is even-dimensional.
Fp[Qs]
M2(Fp) (Fp)4
and the only irreducible component upon which x2 acts like (-1) is
M2(Fp). Since the irreducible M2(Fp)-modules are even-dimensional it
follows that so also is M_.
abelian group of odd order upon which Q8 acts. Then, in the notation of
5.2.30 and 5.2.32,
187
5.2.34
A-
0 A/A_
B/B_ -. M/M_
V E Mk(Z[Z/2 x Z/2])
such that V and V' coincide modulo 2 and
(1 - x2)a
= Xa
(1 - x2)f = Yb
5.2.35
f_(a)
= Ub
and
f (a)
= VII + U'b.
The commutative diagram 5.2.34 gives rise to the following calculation:
XUb = f_(Xa)
= f_((1 - x2)a)
= (1 - x2)f(a)
= V'Yb+2U'b.
Therefore
A class-group miscellany
188
5.2.36
5.2.37
R : Mk(HZ) -* Mak(Z),
then
since the unreduced norm is the square of the reduced norm in this case
(cf. Curtis & Reiner, 1987, section 45, p. 138; Serre, 1977, p. 92). By
5.7.2, det(c(U)) is a non-negative integer so that
det(c(U)) = r_.
5.2.38
5.2.39
5.2.40
#(M+)
det
q
s
=(P+q+r+s)(P+q-r-s)(P+r-q-s)(P+s-q-r)
= [(p + q)2 - (r + s)2] [(P - q)2 - (r - s)2].
189
(mod 4) and
#(M+) (1 - (r + s)2)(1 - (r - s)2) (mod 8)
1 - 2r2 -2s 2
1
(mod 8)
(mod 8)
as claimed.
0-><3,a>-Z[Qs] -) M-) 0
where h(x) = x(2 - a)3-1 for all x E< 3, a >.
A class-group miscellany
190
5.3.1
>{1}
{1}
p is prime.
<g>inG.
This result will be proved in 5.3.29-5.3.42. Before proceeding to the
proof let us pause to examine some applications.
Example 5.3.4 Let p be an odd prime and let Z/p act on Z/pn (n > 2)
by 2(z) = z(1+P)Pn 2, where z E Z/pn and i generates Z/p. From Curtis &
Reiner (1987, p. 365; 4.4.20):
Example 5.3.5
order 8n,
191
5.3.6
In Bentzen & Madsen (1983) one finds some very difficult and technical
Notice that the Artin exponent of Q(8p) is equal to four (Bentzen &
Madsen, 1983, p. 462), so that 5.3.6 improves upon the estimate given by
Theorem 4.4.17.
Fp,l(Fp,)2
(Z/2)r+1.
A class-group miscellany
192
*Ker(e)-Z[G] -*Z/r )0
and
0--*(rZ[G])-+
where ir(r) = 0 and ir(a) = 1. Since r(Z[G]) = Z[G], Schanuel's lemma
(Swan, 1960, p. 270) implies that
case of the maps, ST, of 4.4.11. This manner of detection, using ip'/l
to give a lower bound for T(G), is reminiscent of J.F. Adams' approach
to the detection of the image of the J-homomorphism in the stable
homotopy groups of spheres (Adams, 1963, 1965a,b, 1966). The more
difficult part of the determination of the image of the J-homomorphism
was the construction of an upper bound. This led to the celebrated
Adams conjecture (Adams, 1963, 1965a,b, 1966) and its ultimate proof
by D. Sullivan (1974) and D.G. Quillen (1971). The Adams conjecture
concerns the maps between spheres of vector bundles. This motivated
the method which we shall now employ to prove Theorem 5.3.3. We shall
study maps between unit spheres of representation spaces. This approach
will involve a considerable digression into the topology of group actions,
for which I must ask the reader's indulgence, before we return to the
193
(tl,x1,...,0,xi,...)
whenever tj = 0. The quotient space, Z /
is X1 *
* X p.
EP
gzi = za(g)(i)j(i, g)
(j(i, g) E J).
g(t1,xl,...,tP,xP)
5.3.14
194
A class-group miscellany
where a(g) permutes the p-tuple of pairs {(t;, 3(j(i, g))(xi))}. Clearly
Sl * ... * Sl with this action is just the unit sphere in the representation
space afforded by I ndJ (, 0).
: Si --> S3( 4,k) = S2, say, denote the map which is the iden-
tity on the first circle coordinate and is the kth power map on the second
circle coordinate. Define a G-map
5.3.15
by
Fk=k*k*...*k
(p copies). In view of the previous discussion we have
5.3.16
H (S"; Z) = Z. The kth power map on S' has degree k and the degree
of the join of a number of such maps is equal to the product of their
degrees.
Lemma 5.3.18 For H < G let XH denote the H -fixed points of X. For all
H < G, Fk restricts to a map of spheres
Fk : S(1 nd (4 4)))H - S(I ndjG ( ok))H
I ndHrgJg ((g-')*(
ResHI nd,Gi (4 0) _
gEH\G/J
195
Also
((g-1)`( 4)))H) =
dim(IndH
HngJg
if Resg_,HgIV((p)
otherwise.
5.3.19
4)))
Ind'(4 (D 0)
given by
2g(h HngJg ' v) = hg J v.
5.3.20
The sum of all the )g of 5.3.19 for which the H-fixed points are non-trivial
yields an isomorphism
5.3.21
h v
hEH/(HngHg' )
where - is given by
(z,1) - (z',1)
and
(z,0)
Fk(z)
A class-group miscellany
196
is trivial for all H 5 G and for all localisations, Z(P), of the integers, Z, at
a prime dividing #(G).
Proof In Z(P) the integer, k, is invertible. However
Hm(S(I nd j (4 0,0))H; Z(P))
0-*Z(Sn) ">Z(Sn-1)
S-')
Z(S0) -i0
such that for all H < G, and for all i, 8, maps Z(SH) into Z(SH1). An
example of such a chain complex is provided by the cellular chains of
a finite G-CW-complex, X, with a cellular action of G. In this example
the subcomplex (Z(SH), 6.) is provided by the chains of XH. All chain
complexes 5.3.24 of v(G) can be realised geometrically in this manner by
some simply connected G-space. Let v"(G) denote the complexes of v(G)
for which (Z(SH), 5.) Z(P) is exact for all primes, p, dividing #(G) and
for all p-groups, H < G. A resolution for 5.3.24 is a complex in v'(G) of
the form
5.3.25
0 --i Z(Sn)
61
) Z(Sp) -* 0,
197
such that Si > Si for each i and S; extends Si and which satisfies the
following conditions:
(i) G acts freely on Si - Si for all i,
(ii) 5.3.25 is exact except at Z(Sn) and
is a projective module.
In Proposition 4 of Oliver (1978) it is shown that every complex 5.3.24
in v'(G) admits at least one resolution, as in 5.3.25, and that the class
[ker(8n)] E '2'(Z[G])
5.3.26
M(X) E WY(Z[G]).
5.3.27
M(D(G,J,
6n-
61
if i
Z/(k[G:Jl)
n - 1,
if i=n-1,
Hn-1(D(G,J,0,k);Z) =
Z/(k[GJ])
A class-group miscellany
198
By examining the map Fk explicitly, one can see that xn_1 may be taken
[Ker(Z[G] -)
as required.
Z/(k[G.J]))7
JJ
In this case we shall assume that 5.3.1 is not a split extension, which
means that there are no elements g c G - J of order p. Under these
circumstances we must show that S(k[G:J]) = pS(k) = 0 in'2'(Z[G]). To
do this we will take 4 : J -p C' to be injective in 5.3.11 and we shall
show that
M(D(G, J, 0, k)) = 0 E Wf(Z[G]).
The result will then follow from 5.3.28. By the discussion of 5.3.23, this
relation will follow if we can find a G-embedding of D(G, J, 0, k) into a
connected space W which is acyclic (i.e. R. (W ; Z) = 0) and where G acts
freely on W - D(G, J, 0, k).
Write X = Si , Y = SZ and let Z = D(J, J, 0, k) be the mapping cone
i:Z--)D,
where H. (D; Z) = 0 and J acts freely on D - i(Z). This geometrical
realisation is guaranteed by a theorem of C.T.C. Wall (1966) since the
space, Z, and the chain complex which D must realise are both simply
connected.
199
It :D(G,J,0,k)-*.E
5.3.31
D(G,J,0,k)=[C(X*...*X)u(Y*...*Y)ll
Define It of 5.3.31 by
lt(t1,Y1,...,tP,YP) _ (ti,i(Y1),...,tp,i(YP))
and
7((t1, x1, ... , tp, x,), s) _ (t1, i(s, xl ), ... , tp, 1(s, xP)),
g(w)
=w
This implies that j(i, g)(wi) = wi, for each 1 < i < p such that t, * 0.
However, because 0 is injective, the action of J on Z is free except for
the cone-point, * , which is J-fixed. Therefore w = (t1, *, ... , tp, *) E im(n).
In case B, since g J and p is prime, a(g) must be a p-cycle. Let us
suppose that o(g) = (1, 2,..., p). Hence we must examine
(ti, wi,...,tp,Wp).
A class-group miscellany
200
This equation implies either that each wi E i(S2) and w E im(7C) or that
each wi lies in the image of the cone on S. In the latter case each w,
must be at the same level in the cone and therefore, again, w E im(n).
In case C let us once more suppose that o(g) = (1, 2, ... , p). We may
also assume that tl * 0 and that w1 E D - i(Z). In this case
g(t1,w1,...,tp,wp) = o(g)(tl,j(1,g)(wl),...,tp,j(p,g)(wp))
=(tl,wl,...,tp,Wp),
then
ti = t2 = ... = tp
and
w1
= j(p, g)(Wp),
W2 = j(1,g)(W1),
wp = j(p - 1, g)(wp-1)
Substituting each of these equations into the previous one we obtain, in
the notation of 5.3.13,
w1
za(g)(p)gzpza(g)(p-1)gzp-1...
_ (zi lgpzl)(w1)
where Z/p =< t >. Let {z = ii-1 1 < i < p} serve as a set of coset
I
201
wp = j(p - 1, g)(wp-i ),
where j(i, g) = ii+1gzj and g = hT must be of order p. Hence, if w is fixed
byg=hr(hEJ)then
5.3.33
w=
pg :DDg =g(D)cE
(g')P. Then
(i)xoEDg=pg(D),
(ii) either Dg fl Dg, = xo or Dg = Dgand
Proof Suppose that g = hTs with h E J then the (ts + 1)th coordinate is
equal to T`S(hTS)`(*) = *, since * is J-fixed. This proves part (i).
For part (ii), take g = hT and g = h'TS (1 < s < p - 1). If w1, wi E
D - {*} suppose that g(w1) = pg,(wi). By comparison of the first
coordinates we see that wl = wi. Comparison of the second coordinates
yields (T-1hT)(w1) = T-SS'(h'TS)S'(wl), where ss' - 1 (mod p).
A class-group miscellany
202
Since J acts freely on wl, hT = (h'Ts)s' or < g >=< g' >. However, in
this case, the (ts + 1)th entry of pg(wl) equals
ti ts(hT)ts =
ti-ts(hfts)tss' =
ti tsthrTs)t,
which is the (ts + 1)th entry of ug,(wl). Hence Dg = Dg' and g = g,.
This proves parts (ii) and (iii).
Now define
W = E - it(D(G, J, , k)) U (UgDg),
5.3.36
Dg
zgz t
Dzgz i
(iv) If z E NG < g >, the normaliser of < g >, then z(Dg) = Dg.
Proof For part (i), the (ts+l)th coordinate of ht=(wl) (h E J, 1 < s < p-i
and his of order p) is equal to Tts(hTs)t(wl). Hence the (ts+1)th coordinate
of z(hts(wl)) is equal to
T-tszTtsti ts(hTS)t(wl) = ti tsz(hTs)t(wl)
= titsz(hTs)t(wl),
203
the wedge of the Zgs. Hence part (iii) follows from the Mayer-Vietoris
homology exact sequence.
Finally, if z E NG < g > nJ then part (iv) follows from part (i). If
z = h'rs E NG < g > we may, by 5.3.37, assume that g = hrs. Then g
acts trivially on Dg so that
z(Dhts) = h'h-i(Dg) =
0 = M(E - W) E W2'(Z[G]).
Z/kP
gZ/k
0
if i = 4p - 1,
if i = 4,
otherwise
A class-group miscellany
204
...)
In dimension five we insert free modules, Z[G] < 8g >, where bs(5) _
a4, one for each conjugacy class of g E G - J such that gP = 1.
Suppose that b5(Ez 2zZ(8g)) is in 65(C5(E - W)). Passing to homology
we find, for each z E G - NG < g >, that
5.3.41
EvENG<g> All = 0
(mod k),
since, in homology,
)0,
where
and the direct sum is taken over representative generators, g, for the
conjugacy classes of subgroups of order p which are not contained in J.
205
Pg is projective, so that
ker(85) = im(C56) (gPg).
as required.
5(E) = J'(E)/U((9E),
where J"(E) and U(&E) are as in 4.2.5 and 4.2.6. A non-zero fractional
ideal corresponds to the class of the idele given by the generators of its
completions.
The absolute Galois group of the rational field, OQ, acts on E and
A class-group miscellany
206
5.4.3
Fac(G) =
1 E
PF+(G) c Fac(G)
207
0-->P-->N-*M-)0
in which P and N are locally free A(G)-modules of the same (finite) rank.
Hence M is finite.
Let KOT(A(G)) denote the Grothendieck group of locally freely presented A(G)-modules, taken with respect to exact sequences. Hence if
0
)MI
)M
)M2
)0
K0T(A(G))
5.4.10
BG :
R(H)WGH
H.) R(Had)WGH
(H)
defined by
BG(4 : Hab
E*) = IndH(InfHab(0))
R(G)
A class-group miscellany
208
AG : R(G) --->
5.4.11
(H)
R(Hab)WGH,
H<G
5.4.12
Note that, once one has chosen a representative for (J), each (J,ip)G
determines a homomorphism J -i Jab - E' which is well-defined up
to conjugation by elements of WGJ.
By Theorem 2.3.9
BGAG = 1 : R(G) - + R(G).
5.4.13
BG)
H<G
and
(H)
H<G
which satisfy
1.
209
phisms
Fac(G)
E(FacG(Hab))WaH
(H)
H<G
and
J:(FacG(Hab))WGH
Fac(G)
(H)
H<G
which satisfy
1.
(f E Fac(G)). By definition,
Choose a set of representatives, E, for the conjugacy classes of subgroups of G. Suppose that x E R(G) and that
5.4.17
where aG,H(x) _ Ei ni(H, i)G. Since aG(X) is fixed by f Q(x) the subhomomorphisms, {(H, 0,)G}, which appear in aG,H(X), are permuted by the
(abelian) Galois group G(Q(4,)/Q(x)) and the corresponding coefficients,
{ni}, are constant along orbits. Let
5.4.18
A class-group miscellany
210
5.4.21
yi
: stab((H, cii)G)
WGH/Z(H, 4i),
given by
Now consider the subsum of aG,H(X) given by the sum of the terms in
the orbit of (H, 4,)G. This subsum equals
5.4.22
IridH(0i)(w) =
5.4.23
KEG/H
Oi(x lwx),
X ' WXEH
by 1.2.43. Since
H<Z(H,q5i)<WGH<G,
we may rewrite 5.4.23 as
5.4.24
xu
x_
Clearly, 5.4.25 is in the image of the trace from Q(4i) to Ki where
Q(X) < Ki < Q(Oi) is the fixed field of stab((H, 4i)G) = G(Q(oi)/Ki).
Hence
5.4.26
so that
5.4.27
g(H)(ni(ETEG(Q(oi)IQ(X))lstab((H,Oi)G)(H, T(4i)G)))
11
tEG(K;/Q(X))
T(g(H)((H, 0,)G)))"I.
211
g(H)(aG,H(X)) E .(Q(X)),
E Fac(G), as required.
Proof The representation, c(v), is two-dimensional. For a two-dimensional representation it is easy to show (see Boltje, 1990; Boltje, Snaith
& Symonds, 1992) that aG coincides with the original Explicit Brauer
Induction formula of Snaith (1988b), which is described in 2.3.21. Hence
5.4.31
aG(c(v)) = pG(XG(c(v))),
TG(c(v)) =
Xa (H
s. `mss'
NT z) E R+ (G, NT 2),
A class-group miscellany
212
5.4.33
PG :
R+(G,NT2) - R+ (G).
If ga-1c(v)ga(HH) < T2 < NT2 then the image is a cyclic group and there
is a homomorphism, A H,, --> S1, such that
A(h)
$a
c(v)$a(h) =
E U(2)
,(h)
T2 then set
for some
C 0J)
4(J) /
Let G be a finite group and let RSp(G) denote the Grothendieck group of
finite-dimensional, symplectic representations of G. Let RSp+(G) denote
the free abelian group on G-conjugacy classes of subhomomorphisms of
the form (with H < G)
5.4.35
:H-->Sp(1)=53.
213
and
aspG : RSp(G)
) RSp+(G).
p: G
5.4.37
.Sp(n)
aspG(P) _
EQEG\P(Hf)(-1)di,"(Q)(stab(a),
E RSp+(G)
Define a homomorphism
c+,G : RSp+(G) -' R+ (G)
by the formula
A class-group miscellany
214
5.4.41
We shall show that c+,G aspG is also natural with respect to ResG
J.
Since 5.4.36 commutes with ResGj we have only to verify that the same is
true for c+,G
R+(J),
ijw((K,W)H)))
wEJ\G/H
= c+,r(ResjG((H, 4)G)),
as required.
To complete the proof, as in the proof that aG is unique if it satisfies
215
and the coefficient of (G, 1)G in c+,G(p) is the coefficient of (G, 2)G in
aG(c(p)), which equals the Schur inner product, < 2,c(p) >, as required.
If p is irreducible but not a symplectic line then there are no terms of the
form (G, O)G in aspG(p) and no terms of the form (G, A)G in c+,G(aspG(p)).
Hence there are no such terms in aG(c(p)) in this case and again the
leading terms are equal.
This completes the proof of Theorem 5.4.42.
Corollary 5.4.43 Let p be a symplectic representation of G, as in 5.4.37.
Then
aG(c(p)) E R+(G)
where
aspG(p) _
A class-group miscellany
216
5.4.45
E' and
(ii) for all 0 in (i) such that IndH(InfHab(4)) is symplectic the fractional
ideal
PF+(G)
PFG(Hab)waH
(H)
H<G
and
A'
(H)
PFF+ (Hah)wH
H<G
PF+(G).
is given by
E")(H) = f(IndH(InfHab(cb)))
and is totally positive on 0 whenever I ndH (Inf Hab (O)) is symplectic, which
proves the assertion concerning
Let us examine
where g(H) E PFG
(Hab)WGH. In the notation
of 5.4.17
Ac({g(H)})(X) = fig(H)(aG,H(X))
Definition 5.4.47
FacG(H ab)
PFG+(Hab)
217
5.4.48
(&ZIUI
H'(WGH;Z[WGH]
Z) X)
Z[u] Z) X
H'(U; Z) X
Hom(U, Z) (9 X,
) FacG(Hab)
) WYG(Hab)
) FaCG(Hah)WGH
)'WYG(Hah)WGH
l
,
%2(A(G)) BG
(H) c
2G(Hah)WGH
H<G
and
(D (H)
H<G
which satisfy
1.
A class-group miscellany
218
5.4.50
For each H < G and for each J < Hab we may define the groups
FacG(Hab/J), PFG+(Hb/J) and c2G(Hab/J)
Inf : PFG(Hab/J)
) PFG(Hab/J')
liminf : W'G(Ha')
(2G(Hal/J).
lim
Hb/Jcyclic
liminf : W2G(Hab)WH
WYG(Hab/J)
lim
Hab/Jcyclic
lim
oYG(H''/J)
WYG(Hab)
Hb/Jcyclic
Hab
Hab/J
V'({gHab/J})(Hab
= gHa6/Ker(xrz)(2Tr :
Hab/Ker(An)
A-'
E*)
E-)
E`)
219
Conversely,
W(lim_Inf)(g)(0 :
Hab
-) E')
) Hab/Ker(4) -* E*)
11
16'(A(G))
(H)
lim
c2'G(Hab/d)
Hb/Jcyclic
and
(H)
lim
'eyo(Hab/J)
WY(A(G))
Hb/Jcyclic
In this section we shall study the Swan subgroup, T(G), in the case when
G is a nilpotent group. A finite nilpotent group is of the form
5.5.1
where G(pi) is a pi-group and pl,...,p, are distinct primes. The Swan
groups, T(G(pi)), are known by 4.4.20 so that the determination of T(G)
in 5.5.1 constitutes the next case in the hierarchy of difficulty.
By Curtis & Reiner (1987, section 53.13, p. 347) the restriction maps
may be assembled to yield a surjection
5.5.2
A class-group miscellany
220
Question 5.5.3
is the kernel of
ResGI x ResG2 : T(G) --> T(G1) T(G2)
when G = G1 x G2?
5.5.4
When p = 2 and n
r 1 PZ
1+ p Z
Z/(p - 1) X
Z/p"-1
2 we also have
(Z/2n)* ={1} x
+4Z)
1+2Z
C I
Write A(i) for F. and B(i) for Z/p"'-1 when pi # 2 and A(i) = {1},
B(i) = Z/2ni-2 when pi = 2. Let A(G(pi)) denote the Artin exponent of
G(pi) (cf. 4.4.15) so that the map, S, of 4.4.14 factors to give a surjection
5.5.5
where G is as in 5.5.1. In some cases, for trivial reasons, 5.5.2 and 5.5.5
combine to show that 5.5.2 is an isomorphism. However, when some pi
divides a (pj - 1) the image of the factor A(j) under S may yield some
`exotic torsion' of pi-primary order. Exotic torsion of this type will lie in
the kernel of 5.5.2.
The most basic nilpotent groups whose Swan subgroup might admit
exotic q-primary torsion are of the form
Z/p x (Z/q)n,
where p, q are primes and q divides (p - 1). As we shall see, the exotic qprimary torsion in T(Z/p x (Z/q)') is the image of the q-primary torsion
in FP and, typically, the order of the cyclic group of exotic q-primary
221
T(G) = T
G(pi)
T(Z/p x (Z/q)n),
i=1
k-1
5.5.8
(mod qn)
and
kq`
(mod p)
of H(p, q; n). For Z/p =< x >, say, let 0 : Z/p -> Q(cp)' be given
by (x) = gyp. The one-dimensional representations of Z/p are then
1, 0, 02'...' Op-1. For (Z/q)' let yi generate the ith copy of Z/q and
: (Z/q)n -+ Q(q)" to be given by
define Xi
if i = j,
Xi(Yj) =
if i * j.
Write X(j) = Xi` ... XJ," so that the irreducible representations of
H(p,q;n) are all of the form X(j) S for some j = (j1,...,jn) and
0<s<p-1.
homomorphism
A class-group miscellany
222
5.5.10
11o,,jEy ZP
given by sending x
to
x 9, ... , x 9-1). Combining this isomorphism with 5.5.10 yields an isomorphism
5.5.11
fj X(J) :
ZP[(Zlq)n]
-- fj ZP.
To see that 5.5.10 and 5.5.11 are isomorphisms we recall that the corresponding map
fQP
0* jE9'
ZP [Z/P]' X 11 Zp
0* jE.9'
[Z/P]' fl ZP [Z/P]',
[(Z/q)n]
223
D(Z[H(p, q; n)])
5.5.14
HomnQ(R(H(P,gt)),(
[pq
XZq
v[H(
Proposition 5.5.15 In the notation of 5.5.7 and 5.5.8 suppose that there
1=uE
(1 + gnZq [cp])
f = (1 + (k - 1)q-nv,1 + (u - 1)q-n6),
where a = >gE(Z/q)" g.
Now consider the pullback square
ZP [Z/pl
ZP'
ZP [bP]
F;P
Hence
A class-group miscellany
224
Zq [`gyp]
(1 +gnZq[ p])
andk=uEF;.
Proof We must prove the converse of 5.5.15. We shall prove this result
(when q * 2) by means of the determinantal congruences of 4.3.37, which
amounts to the analysis of the maps, ST, of 4.4.11 when T = E, X(j)
and T = Ej X(.1) 0.
Let us begin by supposing that q * 2.
fE
such that
Pi =
X(.1)
1
and P2 =
X(j) 4
1
225
fi u(j)
and
a(O)q"-q
fJ a(j)
Oj
(2*j
both lie in 1+qn+1Zq[Spq] However, both these elements are qth powers
of
and therefore lie in the qth powers of the subgroup
Zq [p] *, which contains no non-trivial qth roots. Hence both
u(Q)q"-1-1 (flu(i))
and
O*j
9::jj
n
On the other hand, at the prime p,
lie in (1 +
both lie in 1 +
0,
Therefore
5.5.19
u=
lies in (1 + gnZq
[a(Q)q'-'- I
llo#j
u(j)][U(O)q"-'- I
11o
j a(j)]-1
n Z[ip] and
u - kq"-1-1
(mod p).
For q # 2 the result now follows since k has q-primary order (modulo p).
When q = 2 a similar proof would result, by 4.3.37, only in the existence
of u E Z[] ' such that u2 E (1 + 2n+1 Z2 [gyp]) n Z [ p]' and k = u E F;.
Therefore we resort to another proof in this case.
We will use an explicit description of generators of Z2 [H(p, 2; n)]' in
order to show that the element, u, of 5.5.19 lies in Z
n (1 +2Z2[]).
2n Z2
A class-group miscellany
226
where v E 1+2SZ2 [gyp] and, without loss of generality, we may assume that
L1,.. . , LS are distinct characters from the set {Xl, ... , X"}. If
(A1,132)
u(0)2"-'-1(l
to j
u(J))-1
v2"-`-2"-r
in 5.5.19 is equal to
which lies in 1 + 2"Z2 [gyp]. On the other
hand, if #2 is a torsion unit, w g, then the product in 5.5.21 is equal
to jig X(j)(g), which is equal to 1 since g2 = 1 and n >_ 2. A similar
discussion applies to #1 E Z2 [(Z/2)"]' and shows that the factor
5.5.22
a(0)2"-`-1(Ho, j a(J))-1
227
G(2) (s23)
F3 xZ/2
quaternionic
semi-dihedral
Z/3t-1
{1}
G(2)cyclic
G(2) (s2.4)
G(3)non-cyclic
F3 x Z/2 x
Z/3t-1
F3 x (Z/2 or Z/4)
F3 x({O} or Z/2)
F3 x({O} or Z/2) x
G(2) (s22)
dihedral
Z/3t-1
2-group
F3 x Z/2s-2
F3 x Z/21-2 x Z/3t-1
(ii) When G(2) is non-cyclic then G has a quotient of the form Z/3 x
(Z/2)2.
The following result concerns the ambiguous cases.
Proposition 5.5.24 Let SD, denote the semi-dihedral group of order 2n+2
(n >- 2) and let D8 denote the dihedral group of order eight. If T(Z/3t x
D8) = F3 then
A class-group miscellany
228
(1 + 5)ls 1-
3) (mod 8).
From Theorem 5.5.16 ones sees easily that S(17) has order two in T(Z/5 x
(Z/2)2) and has order four in T(Z/5 x (Z/2)3). In fact, 5.5.5 induces a
surjection
{1}>Z/2oG>H){1}.
In this extension H is again of the same type and the isomorphism
classes of possible Gs are in one-one correspondence with the Aut(H)orbits of the cohomology group, H2(H; Z/2). The cohomology groups,
H' (D2. ; Z/2) and H' (Q2- ; Z/2), are described in Snaith (1989b, p. 24
and p. 34 respectively). For example, when n >_ 3, H2(D2n;Z/2) is an
F2-vector space with basis w, xi and x2 in the notation of Snaith (1989b,
p. 24). There is an outer automorphism,
: D2n - D2n such that
V(w) = w, V (x2) = x1 and '(x2) = x1 + x2. Hence H2(D2'; Z/2) has
six Aut(D2.)-orbits which correspond to Z/2 x D2n, D2n+', Q2'+,,
Z/4 oc Z/2n-1 and Z/2 oc (Z/2i-1 x Z/2) (cf. Thomas & Wood, 1980,
tables 16/6, 16/12, 16/14, 16/13, 16/10 and 16/8), when n = 3. Hence G
must be one of D2n+i, Q2-+t, SDn_1 or Z/4 oc Z/2r-1
Now let G(2) and G(5) be a finite 2-group and 5-group respectively.
The following table summarises the immediate implications resulting from
229
lower bound
T(G(5))
T(G(5))
FS x Z/4 x T(G(5))
FS/(Fs')' X T(G(5))
FS x Z/2s-2 x T(G(5))
FS x Z/2 -2 x T(G(5))
FS x Z/2 -2 x T(G(5))
G(2) cyclic
G(2) (s>_3)
quaternionic
G(2) (s24)
semi-dihedral
G(2) (s22)
dihedral
others with rank of
subquotients < 2
G(2) any other
2-group
f-t
(mod q2).
i=1
of -I
shows that the coefficient ofp in (1- P)qf -1 is congruent to one modulo
q2 except when i = sef-1 with 1 < s < q - 1. In the latter case the
coefficient is easily seen to be equal to
a = (1 - )/(1 - 7)
A class-group miscellany
230
G(7) cyclic
G(7) non-cyclic
G(3) cyclic
G(3)
{1}
Z/3 x
Z/3 x
Z/7t-1
non-cyclic
Z/3s-1
Z/7t-1
Z/3s-1
and
(1 - l;7 )/(l - 7). When considering 3-primary torsion we may
ignore the roots of unity. Also, by 5.5.26 (with f = 6),
(a#b)tl =_ 1
- 3a1;7 -
(3a +
(mod 9),
0-fP1->Po--) X-k0,
in which PO and P1 are finitely generated, projective Z[G]-modules. The
class, [X], is defined by
In this section, by way of illustration, we shall recall some elementary facts about several examples of cohomologically trivial modules
(and their Hom-descriptions) over cyclic groups in which the underlying
module is also a cyclic group. These modules are closely related to
the modules of roots of unity which will enter into the computation, in
Chapter 7, of the global Chinburg invariant in the real cyclotomic case.
Let p be a prime. Let G denote a cyclic p-group of order pS with
231
Generator, odd i
pt-a-t
pt-s
pt-a-1
2t-a-2
2t-s
Z/2a+2
2t-a-2
Z/2
2t-'
H`(G; Ma,t)
p odd,
Z/pa+t+s-t
s<t
ts
p odd,
Z/pa+l
p = 2, s < t,
1a
Z/2a+2+s-t
p = 2,t < s,
1<a
p=2,s=t-2,
a=0
p=2,t-1<s,
a=0
generator, g E G ^_' Zips. Let Ma,t denote the cyclic group, Z/pt with a
non-trivial G-action given, for x E Ma,t, by the formulae
5.6.1
g(x) =
(1+p)Px
if
p'2,t-1-a<s,
32' x
if
p=2,t-2-a<s.
Recall that the Tate cohomology groups, H`(G; Ma,t), coincide with the
ordinary cohomology groups in positive dimensions and are given by
if
0 (mod 2),
Ker(N)/((Ma,t)G) if
1 (mod 2),
(Ma,t)G/N(Ma,t)
5.6.2
H`(G; Ma,t) _
A class-group miscellany
232
for some m and therefore this element belongs to < g - q, pt > 1Z[Z/ps].
If 1 is a prime different from p then we have
(g -
q)(gP`-1
+ ggPs-2 +... +
ps
qp,-1)
= 1 - q".
g-(1+p)" if l=p,
5.6.5
al =
1
otherwise.
(x(g) - (I +
p)p)-1
if l = p,
xH
1
otherwise.
233
Z/2[Z/2] if p = 2, u = 1,
Mp =
5.6.8
M1_i_2,1
if p = 2, u > 1,
Mt_u_1,,
otherwise.
5.6.9
if p = 2,u = 1,
Det(x + 1)-1
Det(xy -
5.6.11
321-a-2
if p = 2,u > 1,
)-1
Det(xy - (1 + p)P'
')-1
otherwise.
given by p(x) = 1 and ip(y) = y is equal to the ideal, < 2,x - 1 >.
However, in Z2 OZ < 2, x - 1 >, we have
(x +
+ (-1)n-1) = xn + (-1)n-1 = 2
ZpZ<p`,y-a,x-1>=ZpZ<y-a,x-1>.
A class-group miscellany
234
(xy -
... +
n-1)
= y" - a"
and
(xy -
a)((xy)pu-1
+ a(xy)pu-2 + ... +
aPu-1)
= xpu
apu
= xpu - 1 + vpt
ZpZ<p`,y-a,x-1>=ZpZ<xy-a>,
as required.
5.6.12 The cyclic group of order p2
Let p be an odd prime and let n denote a primitive nth root of unity,
as usual. Let g be a generator of the cyclic group of order p2. For the
remainder of this section we shall be concerned with calculations in the
kernel subgroup
D(Z[Z/p2]) c P'(Z[Z/p2]).
We shall show that the class of 5.6.4 ( with t = 3, s = 2) and 5.6.7:
Z/p[iri]/(ni-'),
where x = 1- gyp. From Curtis & Reiner (1987, p. 285) there is an exact
sequence of the form
5.6.13
--)0,
235
Z[41
Z/p[7r2]/(7L2
0:
Z/p
is given by
0(z) =
where NLIK denotes the norm for the field extension, L/K.
236
A class-group miscellany
such that
1P ,2 if i=pj,
TQ(p2)/Q(p)(p2) _
0
Hence
otherwise.
0.
)0.
A.
The image of this injection is clearly the ideal, < p3, g - 1 - p >.
Next observe that there are integers u, v prime to p which satisfy
(1+p)p2-1=p3v
5.6.16
(1+p)p-1=p2u.
237
= (l + p)p2 - 1
p2-1
1)p2-1-j)(P
(1: gj(P +
+ 1 - g)
j=0
p2-1
1)p2-1-j
(1: gj(P +
_ g1)(P + 1 - g)
j=0
p2-1
1)P2-1-j
P(E 9j[(P +
- l]/P)(P + 1 - g),
j=0
1)P2-1-j
P2v = Q 02 gJ [(P +
- 1] /P)(P + 1 - g).
=<
P2, g- 1- p> 4 A.
p2,g-1-p>=<p2,'p-1-p>
Z[Sp]
p [(p + 1)P-1-j - I] /P
Pu =
(p +
j=o
Z[Sp]n <P2,g-1-p>=<p,"p-1-p>=<in
>.1
P2v = E p2 [(P +
1)P2-1-
_ l]/P (P + 1 - p2).
j=o
A class-group miscellany
238
observe that every term in the resulting double sum is p-divisible with
the exception of the terms
P2-2
- E PZ(j + l).
i=o
I+...
(j+1)
(j + 1)Sp2(1 + bP + 2 + ... + p1)
(mod p)
(mod p).
and we
Z[`'P2] Z[Z/P2] I
Z[AP] Z[Z/P2] I
Z[AP]
Z[Z/P2] I
<p3,g-1-p>
239
<n1>
<1t2>
in which the upper horizontal map and both vertical maps are the natural
isomorphisms
ones. We also have a Z[ip]- and
given by dividing by it1 or it. Hence we may identify the fibre square
with one of the form
Z[ip]
l1
Z[ip]
Z[ p2]
in which the unlabelled maps are the natural ones. However, there exists
a E Z[Fp]+ = Z/p[ni]/(n
-1)
(z) = a(z),
A class-group miscellany
240
5.6.19
E Z/p[nl]/(ir 1).
However, 1 - P = jnl + ziii so that 5.6.21 becomes
1+
5.6.21
p-1
= 1 +Pu(P/ii),
a = 1 +
E Z/P[iril/(ii-'),
as required.
p-2
E Z/P[ni]/(ii-
Therefore,
a/a = ( pQ)l (gyp a!') = b2a
5.7 Exercises
241
PnP-2
=1-
1rP-2
E Z/P[x!]/(xP-1).
Therefore,
a/OC = (1 +
1GP-2)2
2TG1-2 E Z/P[7rll/(1Gp
=1+
Pa
= a/a = 1 + 2icP-2 E
Z/P[itll/(iti-1).
5.7 Exercises
5.7.1
and observe that this is conjugated to its complex conjugate by the signed
permutation matrix
CO
1
-1
0
242
A class-group miscellany
{1}-) J->G-iZ/p-->{1},
where p is a prime. Suppose that J acts freely on spheres, S1 and S2, of
dimension n >- 1. Suppose, finally, that there exists a J-map, f : S1 -> S2
of degree k with HCF(k, #(G)) = 1.
Prove that, in the notation of Theorem 5.3.3,
S(kP) - >IndNG<g,(S(k)) = 0 E D(Z[G]).
g
5.7.6
5.7.7
YAPY-1
= Ap,
= AP
XAgX-1
1,
YAqY-1
= Aq 1,
= Aq.
{1}->Z/n-'G->(Z/p)m
{1}.
5.7 Exercises
243
One would expect the relations to take the form of an alternating sum involving m+1 terms, rather like an Euler characteristic. Some modification
of the geometric proof of 5.3.3 might well yield such a generalisation.
holds for any integer k for which HCF(k, #(G)) = 1 and 0 = S(k) E
D(Z[H]).
It should be admitted that the conjectured relation is suggested merely
by the evidence of the metacyclic case (Theorem 5.3.3), the p-group case
(Theorem 4.4.20) and its aesthetically pleasant form.
5.7.10
: A[Z/2] --) A A
5.7.12 (Research problem) Resolve the ambiguities in Table 5.1. (See also
5.5.24.)
A class-group miscellany
244
Verify, from the definition of 5.6.2, the identities of the cohomology groups which are tabulated in Table 5.4.
5.7.14
5.7.16
of 5.6.3.
complement.
6
Complete discrete valuation fields
Introduction
This chapter concerns complete, discrete valuation fields and the conductor invariants of their Galois representations.
In Section 1 we recall the ramification groups, ramification functions,
246
when the latter are defined. In addition we show that the obstruction
to inductivity in dimension zero for our generalised Swan conductor lies
in the cases where the Galois group is Z/p" x Z/p or Z/p" and p is
the residue characteristic. This result 6.3.20 is proved by comparing our
conductor with the rational-valued, inductive conductor which one may
define by applying our construction to the Explicit Brauer Induction
homomorphism, dG, of Chapter 2, Section 4.
Section 4 consists of a collection of exercises concerning conductors.
6.1 Ramification groups and functions
of (9K. Let G(L/K) denote the Galois group and let xL E (9L generate
mL 4 (9L. Let L = (9L/ML and K = (9K/mK denote the residue fields of
L and K respectively.
We will refer to the case when L/K is separable as the `classical case'.
For the moment we will make no such separability assumption.
Let vL denote the L-adic valuation, vL : L* ---) Z. Hence vL(xL) = 1.
g E Gi (
Following Serre (1979, p. 62) and Kato (1989, p. 121) define ramifica-
247
tion functions iG(L/K) and SG(L/K) on G(L/K) by the formulae (note that
our SG(L/K) is -SG(L/K) of Kato, 1989).
6.1.3
iG(L/K)(g)
if g
1,
if g
1,
g(x)x-1)
sG(L/K)(g) =
iG(L/K)(1)
= - E1ggEG(L/K)1G(L/K)(g),
SG(L/K)(1)
= - E1gEG(L/K)SG(L/K)(g)
iG(L/K)(g) - 1
if 1 * g E Go,
SG(L/K)(g) =
I 1G(L/K)(g)
if 1 * g V Go.
where
We shall recall briefly the definitions and properties of the classical Artin
and Swan representations and their related conductor homomorphisms.
For the remainder of this section we shall assume that L/K is a separable
extension (the `classical' case). Under these hypotheses one has complex
representations (not merely virtual representations)
6.1.7
248
= -fL/K
iG(L/K)(9)
and
6.1.8
6.1.9
6.1.10
E
R(G(L/K)).
Notice that Gi = {1} for large i so that 6.1.10 is only a finite sum.
From Serre (1979, p. 101), if G(L/K') < G(L/K) and SKI/K is the discriminant of K'/K then the restriction to G(L/K') is given, in R(G(L/K')),
by
6.1.11
Res
c(L/xG(L/K)
(AG(L/K)) = VK(bK,/K)Ind{l}
{1}
(1) + fK'/KAG(L/K'),
249
: R(G) -* R(G/N)
by
the N-fixed points of V. If K < K' < L and K'/K is Galois then (Serre,
1979, p. 101)
6.1.14
q(AG(L/K)) = AG(K'/K)
E R(G(K'/K)).
fK : R(G(L/K)) --> Z,
6.1.15
given by fK(X) =< AG(L/K),X >G(L/K), where < V, W >G is the Schur
inner-product of 1.2.7 (V, W E R(G)).
The Swan conductor
SWK : R(G(L/K)) --> Z
6.1.16
for V E R(G) and W E R(G/N). Therefore, if K < K' < L with K'/K
Galois then, by 6.1.14,
6.1.19
Since IndGI is adjoint to Res' we find for K < K' < L and X E
R(G(L/K')), by 6.1.11,
6.1.20
G
)(X))
fK(IndG(L/K'L/K)
= vK(bK'/K)dim(X) +fK'/KfK'(X)
250
6.1.21
and that
6.1.22
if dim(X) = 1 and X = 1 on Go
swK (x)
and
fK(X) =
1
swK(X) + 1,
if dim(X) = 1, otherwise.
Hence, in particular, the trivial character has trivial Artin and Swan
conductors.
6.1.23
fK(I nd
x))
AG(L/K) = IndGoL/K)(AG(L/mr))
251
R(G) that can occur as an Artin representation for some choice of L/K
with G = G(L/K ). For example, in the classical case some restrictions
are given by congruences between values of the ramification functions.
These congruences were conjectured by A. Grothendieck and proved by
S. Sen (1969, Theorem 1.1). The majority of the rest of this section
will be devoted to the study of these congruences. Note that, by 6.1.26,
there would be no loss of generality in studying the totally ramified case
(G(L/K) = Go) if we were interested in restrictions upon AG(L/K)
f :L->(9L,
6.1.28
such that the reduction of f (modulo mL) yields the identity map on
L. Similarly, when L is of characteristic zero and L is the field with q
elements we have the Teichmuller map (Iwasawa, 1986, lemma 2.2, p. 19)
which is defined by
Lemma 6.1.29 Let L/K be a Galois extension of local fields. There exists
a subset, C < (9L, such that
(i) C is a complete set of representatives for (9L/mL = L
and
(ii) if c E C then g(c) = c for all g E Go i G(L/K).
If
252
Since h E Go, h`(7tL)
= VL(ItL)
since HCF(p, s) = 1. Both 7tL and S7rL +a7tL are choices for a uniformiser
= vL((h - 1)70.
g(x-m))/x-mg(x-m))
= -m + vL(g-m(7rL)7rj' - 1) + 2m
= m + vL(gm(7rL)7rL- 1 - 1).
X. = 11 g`(7rL)
1=0
253
If x E L then
Corollary 6.1.32
00
x=
wm
m=ve(x)
X=
Cmxm,
m=vL(x)
all0<j<n,
sG(L/K)(g) = SG(L/K)(g") (mod p'),
so that m - j
sG(L/K)(gJ) - sG(L/K)(gm)
so that
sG(L/K)(gpn
) * m + sG(L/K)(gm).
)=
(mod p").
254
Set sj = sG(L/K)(gP') then we have to show that vp(sn - s,_1) > n. If this is
not so then vp(Sn - Sn_1) = n -1. Applying 6.1.31 to gP with m = Sn-1- Sn
we obtain z E L such that vL(z) = Sn_1 - sn and
VL(gP(Z) - Z)
= Sn_1 - Sn + SG(L/K)(gpm)
= Sn_1 - Sn + SG(L/K)(gP"),
and
6.1.35
VL(um) > VL(Wm) + Sn, by 6.1.30. Also, vL(x) < vL(wm) so that
VL(um) > VL(X) + Sn > VL(Z) + Sn = Sn-1 = VL(u),
by 6.1.35. Hence
VL(U) = VL(>vp(m)<n Um + Evp(m)>n um)
= VL(>vp(m)<n um)
vL(u)
This contradiction shows that vp(sn-Sn_1) > n and completes the proof
of Theorem 6.1.34.
Example 6.1.36
Suppose that char(L) = 2 and G(L/K) = Q16, the
generalised quaternion group of order 16 (see 1.3.7). Hence Q16 = {x, y I
x4 = y2 y4 = 1, xyx = y}. The congruences of Theorem 6.1.34 show that,
255
In Serre (1960, section 4, p. 413) (see also Snaith, 1989b, pp. 260
and 261) a 2-adic example is given for which G(L/Q2) = Q16 and
iG(L/Q2)(x2) = 2, iG(L/Q2)(x4) = 4 which shows that x
Go in this example.
For similar reasons one cannot expect very good properties for the
Artin conductor of WP(X). Nevertheless, one may sometimes evaluate
Let L/K be a finite Galois extension of local fields (i.e. the classical
case). If u E R is a real number and u > -1 set G = G1, where i is the
smallest integer such that i >- u. Thus, by 6.1.2,
g E G 4=t> iG(L/K)(g) ? U + 1.
Set
OL/K(u) = b(u) = LU
[G_1
[Go G]When
where $, = #(G1). Hence ca(m) + 1 = (go)_'(Em 0$1). Since 0 is continuous, increasing and piece-wise linear we may define ip to be its inverse
function. The left and right derivatives of 0 and W are easily computed
(Serre, 1979, p. 73). Define
G' = G,(ll)
256
X : G(L/K) -* C*
is an injective, one-dimensional representation. By local class field theory
we have the Artin reciprocity map
K"
(Serre, 1979, p. 66). The largest integer, c, such that GJL/K) * {1} is
related to fK(X) by Serre (1979, corollary 2, p. 228)
fK(X) = O(c) + 1.
6.1.38
Xw:K'-->C'.
Let eL/K be the ramification index of L/K so that [L:K] = fL/KeL/K.
Now suppose that K is a local field over Q, and that fK(X)-1-eK/QP >
eK/QP/(p - 1). In this case the pth power map induces isomorphisms
,fK
(x)-eK /QP
UK
,fK (x)-eK/(b, -1
UK
LL
N
UKK(X)-1
257
and trivial on
fK (x)-eKIQ1
UK
G(L/K)
E a I ndG(L/F,)(xa)
a
and
WPM _
aaI nd
G(L/F,G(L/K))(xa)
fF,IQ,, =[P
Fp]=[Fa K] [K :FP]=fF,/KfK/QP'
258
Therefore
fK(v)-fK(wp(v)) =eK/QP(Eaa,[F.:K])
eK /QP
. dim(v),
since, by 2.2.42,
dim(v)
XOC))
_Eaaa[F., :K].
This completes the proof of Theorem 6.1.41.
also 6.1.25) we may assume that L/K is totally ramified. The following
result is left to the reader as exercise 6.4.1.
Theorem 6.1.43 Assume that L/K is totally ramified. With the notation
of 6.1.42
fK(tp"(v)) = fK(v) - T. a,
aE&V
Let Z/n denote the fIK-module given by the nth roots of unity in K`,
where f1K = Gal(K`/K) is the absolute Galois group of K. Denote by
Z/n(r) the rth Tate twist of Z/n. Hence Z/n(0) is the module with the
trivial action and for r > 0, Z/n(r) = (Z/n)'. If char(K) = p > 0 we
shall also need the module, WSS1K,tog [-r], given by the logarithmic part
of the de Rham-Witt complex, WflK (Illusie, 1979, 1 section 5.7, p. 596).
259
if char(K) = p, n = psm,
s >- 0 and HCF(m,p) = 1,
Z/n(r)
otherwise.
Z/n(r) =
We will write Hn (K) for the Galois cohomology group, Hq(K ; Z/n(q 1)) and Hq(K) for limy Hn(K). For example,
6.2.3
H1(K) = Hom,ontspK,Q/Z)
H2(K) = Br(K),
x E H1(K).
6.2.6
XM E H'(M)
the unit group of the henselianisation, with respect to (n), of the localisation, (9K [T](,,). If M denotes the field of fractions of C9K [T] (h) this implies
260
6.2.8
6.2.9
x : G(L/K)
6.2.11
SWK(X) E Z,
0={xM,1+7Cn+'T}
in 6.2.9.
An important indication of the `correctness' of this abelian generalisation of the Swan conductor is the following formula of Kato, which
often gives swK in terms of the ramification function, SG(L/K)
swK(X) _ -(eL/K)-i
sG(L/K)(g)X(g)gEG(L/K)
261
Proof We shall treat only the case when x is non-trivial on Go, since the
remaining case is simpler. In this case, by 6.1.22, the Artin and Swan
conductors of x differ by one.
If {xM,1 + ir"+1T} = 0 in 6.2.9 then, by Theorem 6.3 of Kato (1989),
Hp(K[T])BHp(K[T])
HQ(K) Hp(K)
rz
Vp((9K[T])
HP(M)
7r
V ((9K)
Hp (K)
262
= I3({XM, l + irmT})
_ {X,1 + xcm}
= 0,
Q/Z.
Therefore the least n for which {X,1 + it"+1(9x } = 0 is the least n for
C' vanishes on UK 1 = 1 + icn+1 OK. By Serre (1979,
which X : K*
263
inflation (as in 6.1.21) and coincides with the Swan conductor of 6.2.10 in
the abelian case. In examples 6.2.18-6.2.20 we shall see that such a Swan
conductor cannot be inductive in dimension zero, in general. Examples
Let K = Fp((T))((it)), (9K = Fp((T))[[rc]], where it is the prime element. To construct Galois extensions of K with group Z/p we use a
modification of Artin-Schreier theory.
Consider the polynomial
E Fp.
that a (modulo n) is not a pth power (modulo H). For example, one
may take a = T. Hence fa(X) - XP - a (mod 7C), which is an irreducible
polynomial in the residue field, Fp((T )). Hence (9M0 = (9K [A] (see Serre,
1979, chapter I, section 6, proposition 15) and Mo/K is unramified with
purely inseparable residue field extension, Mo = Fp(T,A), where A is the
CO(II) = rI,
ao(A) = A + 7r,
a1(H) = IZ + 1C,
a1(A) = A.
Denote the fixed field of U; =< opal > by M, for i = 0,1, ... , p - 1 so
264
Mo
M2
Mi
...
Mp
fa, =Xp -
np-iX
- (a-iTt).
Mp-i
Now we calculate the functions, iu; and su,, of 6.1.3. We have Uj =
G(L/Mi) and (9L = CM, [II] for i = 0,1, ... , p - 1 so that, for 1 * a E Ui,
iu,(a) = infxEOL(vL(x - Q(x)))
= v(H - v(n))
= VL(Tt)
=p
and
su,(u)
=p-1.
265
E/F
eE/F
fE/F
f E/F
p
p
L/M,
i=0,...,p-1
M,/K
i=0'...,p-1
L/Mp
Mp/K
= v(A - a(A))
=p
and sup(a) = p.
Ui,
= VM,(AI - a(Ai))
= VM;(7t)
=1
and SG(M;/K)(a) = 1.
=p
and SG(MP/K)(a) = p - 1.
Let 0 : G(L/Mo)
266
IndG(L/ti1o)(B - 1) =
(Btp
tV )
i=o
= {Qpob I 1 = r;p+ia}
= Uj,
swK(Ind
-1)) = SWK(b).
C')
SWK(b : G(Mp/K)
= -P 1 EgEG(Mp/K) SG(MM/K)(g)e(g)
= p {(P - 1) + (P - 1)2}
=p-1.
Also, since f L/Mo = 1 and eL/Mo = p,
267
Ker(O1Wi) = {f0
1 = P+ib}
= {(60a1)b}
= U;.
We have
1))
_ EP o SWK(81W1) - I? o SWK(Wi)
= PSWK (e1) - (p - 1)swK (W1)
Since eMu/K = 1,
) C*)
SWK(B1 : G(Mo/K)
C-)
=P 1f(-l)(>g*l(P- 1)1P1(g))+(p-
=p-1.
Hence
1))
=p2-(p_1)2
=2p-1.
268
1,
swMp(O1
: G(L/Mp)
C*)
=p+p(p-1)
= p2.
Hence
swK(Indc L//Mp)(01 - 1))
fMp/KS'Mp(01 - 1).
that
XP - a E FP((T))[X] = K[X]
-7ts(P-l)X
-a
fa,t(X) = XP -
7Ct(P-')X
-a
and
Qa,t(aa,s) = aa,s,
[No:K]=[NP:K]=p.
The intermediate fields, K < Ni < L, are the fixed fields of Ua,saa t for
0 < i < p - 1 and of rra,t. The fixed field of aa,t is NP = L = K(aa,s)
269
6a,s6a t(aa,t - hT
t-s
aas)
= aa,t -
l7rt-s0Ca,s)
l7rt-s(0Ca,s + 7ls)
illt-saas
i7rt-S0(a,s is
7ctP-1)X
f.-;nP(`-s)a,t(X) = XP -
- (a - i7<P(t-s)a)
since
= as t - i7tp(t-s)aa s +i7rt(P-1)+t-s0Ca,s
= fa,t(agt) -
7rt(P-1)aa
- a + i7r(t-S)Pa
l7CP(t-s) faas
7rtP-s-Pt+Psaa,s
7rP(t-s)-P(t-s)a1
= (-i7rP(t-s))fa,s(aa,s)
=0.
We will now show that eLIN1 = p. To accomplish this we will find a
prime element, 7rL, for L and find its irreducible polynomial over N.
270
1rt(P-1)Q
= ttQ t - as s -
71t(P-1)pta
t+
7rt(P-1)aas
= a - aPa s + nt(P-1)0(a s
= 1tt(P-1)aa,t
=
lies in
N.
70P-1)1%as
1rs(P-1)aas(1r(t-s)(P-1)
- 1)
VNN(fP-7rt(P-1)N)
= VNp(1s(P-1)),
= s(p - 1),
since aa,s E (9;Np and 7r is prime in N. On the other hand, vL(f;P 7rt(P-1)$) = eL/Mps(p - 1). However, (3 E (9L so that vL(fl) >- 0 and t > s
implies that
vNp(fP - nt(P-1)f) = eL/Nps(P - 1)
= vL(IP)
= PvL(l3)
Since HCF(s, p) = 1 we must have eL/Np = p and vL(fl) = s(p - 1). Now
choose integers, r1 and r2, such that r1s(p - 1) + rep = 1 and set
7CL = $1i2,
271
fsep
eE/F
fE/F
Nj/K
i=0....,p
L/N;
i0,...,p
for
and
VL(6a,t(ltL) - ltL) = iG(L/Np)(6a,t)
Temporarily write 6i for our chosen generator of G(L/Ni) for 0 < i < p.
Ifi=0,l,...,p-l thenQQ
6as6a,t(aa,t - aa,s)
= 6a,s(a,t + i7Ct - OCa s)
= /3 +
7CS(i7tt-s
- 1),
while
= 6a,t(aa,t - a,s)
6p(Y)
/art )
= r2VL(lr) + VL(6i(Nrt) -
VL(6i(tL) - JtL)
=llL(>' j
Crl
Rj,,s(rt-j)(i t-s
=
= (rl - 1)s(p - 1) + sp
=rls(p-1)+s,
1))
1)r!-j)
272
SG(E/P)(g) (g * 1)
L/N;
i = 0,...,p- 1
(t-s)p+s
L/N,
When i = p,
VL(6p(7CL) - 70
= pr2 + VL
rl
U)
p.i t(r,-J)
= pre + vL(rlIr,-i71r)
=(t-s)p+s+1.
For 1 * g E G(L/N1),
SG(L/N,)(g) = vL(6P(707tL ' - 1), = iG(LINi)(g) - 1,
SWN,(O) = p){-Y-i
sG(L/Ni)(g)(0(g) -1)}
=p 1SG(LINj)(Qi)(p - 1 + 1)
= SG(L/Ni)(a )
s,
if i=O,...,p-1,
1 (t-s)p+s if i=p.
273
= iG(Nj/K)(6a,s)
= llIVi(6as(IXa,t -
i7Ct-saas))
= VN;(int)
= t.
When i = p, Qa,s still generates but
SG(Np/K)(Qa,s)
= CG(Nv/K)(6a,s)
= VNp(6a,s(aa,s) - aa,s)
= VN5(7Cs)
= S.
ps,
1 pt,
if i = p,
if i=O,...,p-1.
We record the values of the Swan conductors on non-trivial one-dimensional representations, 0, in Table 6.4
Let 0, : G(L/N;) -* C' be a non-trivial one-dimensional represen-
G(N,/K) -> C*
274
E/F
eE/F
fE/F = fE/F
SWF(O)
L/N;
i=O,...,p-1
p
p
L/Np
p(t - s) + s
N;/K
i=O,...,p-1
Np/K
Pt
Ps
by the formulae
lpp(ua,t) = 1
lpp(aa,s) _ p,
or
if i=0,...,p-1.
p-1
Bitpi - E tp .
j=o
j=o
p so that
j
8pvp(aa,tQa,,) -
+v'
= p(pt) - (p - 1)ps
= p2(t - s) + ps.
Therefore
-1))
f Q,KSwNp(9p - 1) = At - s) + s.
ej u
iWi
zzv-ijv+uj
Sp
Thus Ker(Oitpj) runs through the set {G(L/N,,) I 0< w < p} for 0< j<
p, while Ker(tp,) runs through the set {G(L/N,v) 1 0 < w < p - 1} for
275
= Ps.
N/KSWNI(0i - 1) = s.
fa,s(X) = XP -
7Cs(P-1)X
-a
and
fbs(X) = XP - 7ts(P-1)X - b,
where a,b e (9K with vK(a - b) = 1. Now set Ro = K(ab,s), RP = NP =
276
E/F
eE/F
JE/F
SG(E/F)(g)
iG(E/F)(g)
SWF(8)
ps-1
ps
ps-1
p
p
ps
Ps
pzs
ps - 1
ps
ps
SIR;
i=0,2,...,p
R; /K
i=0,2,...,p
SIR,
R, /K
ps - 1
by
).p(eas) =
Ai(Qas) =
bpi
Sp'
) p(6b,s) = 1
or
M(0b,s) = by
if
i = 0, ..,p-1.
Pp(Qa,s) = 1
or
Pi(Qa,s) = bp,
Pi(Qb,s) = 1
if i = 0,...,p- 1.
Therefore
P-1
G(s/K)
R) (Pi
- 1) = T(PiAA -- 2;
2; ).
j=0
Hence, if i * 1,
ps+p- 1 =
1))
fR /KswR,(P1 - 1) = pas.
277
11
extension with the same Galois group but with more cohomological
structure than the original extension.
z=
aiT'
co as i - oo).
i=o
278
Proposition 6.2.24 Let Autk(L) denote the group of K-linear field automorphisms of L. Every E Autk (L) is of the form
(fair)
=
c(ai)Ti
i=-n
i=-n
for some 0 E G(L/K).
with 4o E G(L/K).
Assume that char(L) = 0 and take x E L' such that 0,(x) # 0. Let
f(T)=tr+altr-1+...+ao
EK[T]
279
G(L/K)
G(M(L)/M(K)).
Hence we have the inclusion, i, and the norm map which induce
homomorphisms
6.2.27
(i+nKarc[T])
(1+nK'aK[T])
i+nyoy[T]
(i+nM oM(TI)
G(M/K) N
(1+nK aK[T])'
280
1+
(9
[T]
: torsp(H2(M(K))) -* torsp(H2(M(M)))
Therefore
ne = swK(X)[M : K].
Bo - 1 + 7cM(9M T
1 +?CM+e(9M[T]
7rM+1T}.
induces a homomorphism
H2(M(M))
281
{ResG(L/K)
G(L/M) (X),Y(w)}
G(LIK)
_ {Y( Res (
- {ResG(L/K) (X),w}
(L/M)
G(L/K)(X)
(X)),YO}
w
- { ResG(L/M)
,w}
= y({ResG(LIM)(X), w})
w}.
Next we observe that, since the henselianisation, (K H M(K)), preserves the triviality of residue field extensions and preserves Galois groups
H,2,(M(K)) H,,(M(K))
H,2,(M(K))
H, (M(K)) Hn(M(K))
H, (M(M))
One may see that the left vertical map may be taken to be (1, e) by
means of the formula of Kato (1987, section 3.5.5) :
1(x, Y) = i2(x) + {il(Y), nM(K)},
282
W11
the residue field extension is separable. Let G(L/K) denote the Galois
group. Under these circumstances we shall construct a non-abelian Swan
conductor which generalises the conductors of 6.1.16 and 6.2.11.
nc : R+(G) -- R+(G)
by the formula riG((H, 4)G) = (H, 1)G. The image of nc is called the
Burnside ring of G and the homomorphism, rlG, retracts R+(G) onto the
Burnside ring. Let e : R(G) -) Z denote the homomorphism which
sends a representation to its dimension and set
I R(G) = Ker(e).
Theorem 6.3.2 There is a natural homomorphism
283
= fK /K ' SWK'(()
K'/K. Define
6.3.5
-+ Ker(gG(c/K)) s+ Z.
R(G(F/K))
SWK
Z
SWK
R(G(L/K ))
284
swM(ResGOL/K)(x))
by 2.3.2(ii),
= SWK(y),
- (G(L/K'),1)G(L/K))
= SWK(IndG(L/K')(4 - 1)),
where SWK is the classical Swan conductor. Hence
SWK = SWKbG(L/K) : Ker(riG(L/K)) - Z,
so that
sWK(1 nfG(F/K)((G(F/K'), 4)G(F/K) - (G(F/K'),1)G(F/K)))
= SWK((G(L/K'),42)G(L/K) - (G(L/K'),1)G(L/K)).
Part (iii) follows from the naturality (with respect to inflation maps) of
aG in Theorem 6.3.2.
285
Clearly, the nQ-action does not alter the Swan conductor of 6.2.10,
SWK (O).
Part (iv) follows from the fact that, in Theorem 2.3.2, aG
commutes with the QQ-action. This is seen by appealing to the fact
that aG is uniquely characterised by the two properties of 2.3.2. Hence
aG(-) = co-i(aG(o)(-))) for co E 91Q, since both homomorphisms fulfil
the characterisation.
To prove (v) we first note that, by naturality with respect to restriction
(in the sense of 2.3.2(i)) of aG, aG and qG, it suffices to show that
SWK((G(L/F), 4)G(L/K) - (G(L/F),1)G(L/K))
= EZEGo\G(L/K)/G(L/F)(Go n
zG(L/F)z-' (z-')*(4))Go
zG(L/F)z-1
=
since it is clear from the definition of swK (x) that
SWMi(F)(ReSG(L/MZ(F))((z-1)*(',)))
= SWMF(ResG(L/MF.)(4.))
Now, by Kato (1989, lemma 6.2); (see also 6.2.22), since M/K is
separable,
SWF(4
286
Hence
sWK((G(L/F), 4)o(L/K) - (G(L/F),1)c(L/K))
= J FMK
Finally,
-1
sep
L/K(fL/F)
(by 6.1.5)
sep
fF K
so that, by the preceding discussion,
swM(ResGOL1K)((G(L/F), 4)G(L/K)
- (G(L/F),
1)G(L/K)))
= fF/K(SWMF(ResG(L/MF)(4))),
= swM(ResG(L/K)((G(L/F), 4)G(L/K)
- (G(L/F),1)o(L/K)))
287
By a computation similar to that used in the proof of part (v), the latter
expression is equal to
#(Gj\G(L1K)1G(L1F))SWMF(ResG(LIF)
Gi(G/F)(4))
= [M : K]swF()
by 6.2.26
= [M K] fFIKSWF(0)
= [M : K]swK((G(L/F), 4,) (L/K) - (G(L/F),1)G(L/K)),
dimension zero on R(G(L/K)) if, for all G(L/F) < G(L/K) and X E
R(G(L/F)),
SwK (I
288
G(L/F)
G(L/M
swM(ResG(L/
IndG(L/)(x))
by 6.3.6(v)
swM(IndGanG(L/z(F))((z-l)'(ResG(L/MF)(x))))
= LzEGo\G(L/K)/G(L/F)
= LzEGo\G(L/K)/G(L/F) sWMz(F)((Z
/F)(x))
[G(L/K) : GOG(L1F)]SWMF(ResG(LIF)
(L
= fFlK ' SWF(X),
(x))
swM(ResG(L/K)IndG(L/K)(x))
G(L/M)
G(L/F)
by 6.3.6(vi)
= EzEGiAG(L/K)/G(L/F) swM(I
SWMz(F)((z-i)*(ResG,(L/F)(x)))
= [M K]swF(x)
by 6.3.6(vi)
289
6.3.12
SWG(LIK) : R(G(L/K)) -) Q
Proof This follows from the formula of 2.4.14(ii) since, if dim(x) = 0 and
K < H are cyclic, I ndK (Res4 (x)) may be expressed as Ei(oi - Wi) where
4;, Wi : H -+ C" are one-dimensional representations.
Definition 6.3.14 Definition of SWG(L/K) Let L/K be a finite, Galois
extension of complete, discrete valuation fields. Define a rational-valued
homomorphism
SINK 1
290
(i) Let fIQ denote the absolute Galois group of the rationals. Hence %
acts on R(G(L/K)) by means of its action on character values. If w E KIQ
and X E R(G(L/K )), then
SWG(L/K)((O(x)) = SWG(L/K)(x)
Proof The proofs of (i)-(iii) are the same as those for the corresponding
results ((iv)-(vi) respectively) of 6.3.6. For part (iv) it suffices, by 2.4.1(i),
to observe that for G(L/F) G(L/K)
/
= fF/KfN/FS'N(4')
= fN/KSWNW )
C=Z/pi' x...xZ/P;'
be a cyclic group. Write Co < C for the subgroup
C=
Z/ply-1
x ... X
Z/pr'-1,
with the convention that {110 = {11. Recall that the Euler totient
function, (n), is the multiplicative function on the positive integers
291
Lemma 6.3.17 Let G be any finite group. With the notation of 6.3.16
(i) dG(1)
_ #(G)-'
#(C)4(#(Ker(W)/C))4Ker(w),c(C,W)G
(C.W)
and
#(C)4(#(Ker(W)/C))
(CAW)
/lKer(w),C(C, 1pResc())G.
Proof Clearly part (ii) follows from part (i), by 2.4.1(ii). Part (i) follows
from the formula of 2.4.14(ii) upon noticing that 12K,H = 0 unless [H : K]
is square-free when one collects the remaining terms, using the familiar
identity (Hunter, 1964)
#(K/H0)I1K,Ker(ip) = 0(#(Ker(W)1H0))
H<K <Ker(w)
#(G) '
#(C)o(#(Ker(W)/C))/ Ker(N),CX(C,W),
(C.a0
where X(C,W) =
(C,W)G]
292
aG(LIK)(X) =
i
Therefore
SWK (x - dim(x))
E aifF/KSWF (oi - 1)
sep
sep
aifF/KSWG(L/F )(Oi - 1)
aIS WG(L/K)(I ndG(L,F)(Oi - 1))
by 6.3.15(iv)
S WG(L/K)(bG(L/K)(aG(L/K)(x - dim(x))))
by 6.3.2
= SWG(L/K)(x - dim(x)),
as required.
293
SWF(I
Then, for all G(L/R) < G(L/K) and A.: G(L/R) -> C',
S WG(R/R)(A - 1) = SWR(A - 1).
Corollary 6.3.21 Under the hypotheses of 6.3.20, 5WK is inductive in dimension zero on R(G(L/K)) in the sense of 6.3.7.
294
6.3.24
#(G(L/K))SWG(L/K)(2 - 1)
_ EG(L/T) Ew #(G(L/T))O(#(Ker(W)/G(L/T)))
/Ker(lp),G(L/T)fT1KSWT(A1P -W)
, [(P
_ EG(L/T) #(G(L/T)).fsse
TIK
1))
where, in 6.3.24, the first sum is taken over cyclic subgroups, G(L/T), such
6.3.25
#(G(L/K))SWG(F/K)(A-1)
#(G(F/S))fs`1K [(P - 1)sws(ResG(is))(A -1))
=P
G(F/s)
sws(2W
- W)],
where the sum is taken over G(L/F) < G(L/S) < G(L/K) such that
G(F/S) is non-trivial, cyclic and ip : G(L/S)/G(L/S) ---> C' is a faithful
one-dimensional representation.
Hence, with the summation as in 6.3.24 and 6.3.25, we must prove that
6.3.26
)O(1)))
295
vanishes in 6.3.24):
S,G(F/S) cyclic},
6.3.28
either (a)
or
(b)
G(L/S) is cyclic
G(L/S) = G(L/F) x C
for some cyclic subgroup, C. For if G(L/S) is not cyclic then the cyclic
group, G(L/S)/G(L/F) = G(F/S) acts trivially on G(L/F), being a pgroup, so that G(L/S) is abelian and must be isomorphic to Z/p x Z/p"
for some n. An examination of the lattice of subgroups of Z/p x Z/p"
shows that each subgroup of order p has a complement and therefore
G(L/S) G(L/F) x C, as claimed. This means that F is surjective.
Now we will prove that (noting that p#(G(F/S)) = #(G(L/S))p 1)
(A - 1)(p -
6.3.29
I
r(G(L/T))=G(L/S)
296
of i and
1 = pl-npn+lP l
(#(G(L/Ei)))-1#(G(L/S))P
=p
for all i)
2p
1
SeP
P
- 1 ))(pI ndG(LIS)
= i=1 fS/K sw S(( ResG(L/K)
G(L/S) (
G(L/E;)( 1) I ndG(L/s)
G(L/UE;)( )))
=pfs /
G(L/s)
1))(>pi=1IndG(L/s)
1 -IndG(L/s)
G(L/E;)O
G(L/UE,)(1 )))
ip E R(G(L/S)),
p}
i=1
p E R(G(L/S)),
P
p-I
E R(G(L/S))
S WG(L/K)(t - 1) = SWK(A - 1)
6.4 Exercises
297
C* be a faithful representation.
Z/pn-1
Hence
P
I ndG(L/K)(
-1) =
G(L/F)
wi(g)
i=1
i=1
on
PSWK(A - 1) - EP SWG(L/K)(Wi - 1)
1
= PSWK() - 1) - EP 1 SWK(Wi - 1)
(A - 1))
= SWK (I
= fF KSWF(2 - 1)
= fFIKSWG(L/F)(A- 1)
(A - 1))
= SWG(L/K)(I
6.4 Exercises
6.4.1
6.4.2
2m:
x2m2
Q2m = {x,Y I
Suppose that L/K is a finite Galois extension of 2-adic local fields with
group G(L/K) = Go(L/K) = Q. Let AG(L/K) E R(Q2m) denote the Artin
representation of 6.1.7.
(i) Prove that, in the sense of 4.3.31,
AG(L/K) - WZ(AG(L/K)) = 0
(mod 2).
298
SWK (I nd
6.4.4
(i) In the classical case, find an element at which these infima are
attained.
(ii) Verify the formula of 6.1.4.
6.4.6 (Research problem) Let L/K be a finite, Galois extension of complete, discrete valuation fields. If K < F < L is a subextension, find a
formula for
G(LK
7
Galois module structure
Introduction
300
7.1.1
dd=0, ed=0
and 7.1.1 is exact (i.e. the kernel of each map equals the image of its
predecessor). The group, Ext'lGl(A,B), is defined to be the ith homology
group of the chain complex
7.1.2
d*
HomZfoJ(Po,B) +- 0.
301
Hence
7.1.3
Ext'[G)(A, B) =
The ith cohomology group, H'(G; B), is defined (Snaith, 1989b, p.2) to
be given by
H'(G; B) = ExtZ[G)(Z, B),
7.1.4
7.1.5
B2G-BIG o) BOG' ) 0.
In 7.1.5
is the free left Z[G]-module on G. If (91,...,gn) E Gn we
write [gl 192 I . . . gn] for the corresponding Z[G]-basis element of B.
We write [ ] for the basis element of BOG. The Z[G]-homomorphisms of
7.1.5 are given by
I
e(g1 []) = 1,
dn([g1 I g2 I
and
I gn+1])
. . .
= 91 [g2
I gn+1]+
(_ 1)n+1 [gl
I g2 I
I gigi+l
...
..
I gn+11+
I gn].
n(1)=[],
sn(g1 [g2
...
and
I gn])
= [91 192 1
302
1 = ne + doso
and
1 =
for n >- 1.
In this section we will mainly be interested in H2(G; B). For future reference we will record the description of H2(G; B) which the bar resolution
provides.
Proposition 7.1.6
notation). Then
Z2/B2,
where
Z2 =
and
B2 =
Now suppose that L/K is a finite Galois extension of local fields with
group G(L/K). The multiplicative group, L*, is a Z[G(LIK)] -module
and there is a canonical isomorphism (Serre, 1979, pp. 166 and 195):
7.1.7
0-L* -+A-B-+Z-*0
and generators of H2(G(L/K);L*) classify those extensions for which A
and B are cohomologically trivial Z[G]-modules (i.e. H`(H; M) = 0 for
all i > 0 and H < G when M = A, B).
303
G(Knr/K) = G(Fq/Fq),
where Fq is the finite field of order q and F9 is its algebraic closure. Let
F E G(Knr/K) correspond to the Frobenius element (see 4.3.7) given by
the qth power map on F. Set Lo = KnrL. Consider the sequence
7.1.8
0L'`>(LKKnr)*(l F)il(LKKnr)*-">Z_*0.
In 7.1.8, if aEL,/EKnr,
(1F)(a0 /3)=aF(/3).
7.1.9
d 1 Lo
A : L OK Knr
1L'o.Z.
w=(Ed v u )
7.1.12
Define an element
Ker(hl)
G(Lo/K).
304
Fo E G(Lo/K)
7.1.14
(1F):d1Lo -->d1Lo
by (1 0 F)(x1,...,xd) = (Fo(xd),x1,...,xd_1), then the following diagram
commutes:
(1 F)
L OK Knr
L OK Knr
(1 F)
d 1Lo
d1Lo
= A(a 0 F(/3))
= (Fd(Q)a, Fd-1(l3)a, ..., F(l3)a),
while
(1 0 F)(2(a /3)) = (
305
(1 F)/1(xl,...,xd) =
7.1.17
(FO(Xd)
1).
Hence the kernel of (1(D F)/ 1 consists of d-tuples of the form (y, y,... , y),
(9L, the units of (9k. We claim that there exists u E (94 * such that
= x. Let us assume this fact for the moment. Consider the
Fo(u)u-1
equation
(Fo(Yd)Yi 1,Y1Y21,.. .Yd-1Yd1)
= (1 F)/1(yi,...,Yd)
by 7.1.17
to satisfy y;y;+1 = x;+1 for 1 < i < d - 1. With these choices the first
coordinate becomes
Fo(Yd)Yi 1
= Fo(u)Yj
= u(l
xi)Y1-1
1Y1
= xl,
as required. Therefore, to complete the proof, we must construct u E (9L.
WcL
u1
FO(u1)(u1)-1
= z.
306
where x1 E (9E and it = 7[L, = lrL denotes the prime element. Now
suppose that we have found xm E (9E and um c (9E such that, for m
1,
(mod 7Cm+l(9E)-
that
Fo(um+1)um+l = x + 7Cm+lxm+1
Fo(u)u 1 = x,
which completes the proof of 7.1.16.
7.1.18
H`(G; A) - H`(G; B)
g:B;G-)C
307
h :B;G->B
such that $h = g. The homomorphism
hd1 :B,+1G-->B,G--->B
becomes trivial when composed with /3, since fJhd, = gd, = 0. Hence we
obtain a Z [G] -homomorphism
H :B;+1G-->A=Ker(f3)
such that aH = hd;. Also H is an (i+1)-cocycle, since aHdi+1 = hdjd;+1 =
0 and a is injective. We define 6[g] by the formula
8[g] = [H] E H`+1(G;A).
7.1.19
308
: BG(L/K) - d1Lo
i = hd : B1G(L/K) -- d 1L*
so that, for z E G(L/K),
i([z])
7.1.22
=z(nL,1,1,...,1)(rci,1,1,...,1).
Now choose j : B1G(L/K) -- d 1Lo such that
f : G(L/K) x G(L/K)
) L"
I Z2])
7.1.23
= Z1(j([Z2]))j([z1Z2])-1j([Z1]) E L',
Lemma 7.1.24 Let G be a finite group and let IG 4 Z[G] denote the
augmentation ideal. The coboundary
6 : Z = H(G;Z) -. H1(G;IG)
309
0)IG)Z[G]Z)0
is given by
S(1) = [w],
Let L/K be a finite Galois extension of local fields with Galois group,
G(L/K), and n = [L : K]. Given a 2-cocycle
(x E L")
and
(91,92 E G(L/K ))
[f] E H2(G(L/K);L')
in 7.1.6.
inv([f]) E Z/#(G(L/K))
is called the Hasse invariant of Vf. The Vf which are division algebras are
310
0 : NDL' -+ G(L/K),
which is surjective, by the Skolem-Noether theorem (Reiner, 1975,
p. 103). The kernel of contains V. However, if z E Ker(4)) then
L(z) is a subfield of D. Since L is a maximal subfield of D we must have
Ker(4)) = L' and therefore
L' -) NDL'
7.1.26
G(L/K)
L'
X-
Z[G]
INDL' -')IG(L/K)
given by
(z E L*)
6 : H1(G(L/K);IG(L/K)) -+ H2(G(L/K);L')
associated to 7.1.27. We begin by lifting w to the homomorphism
v E HomG(L/K)(BIG(L/K), Z[G]
INDL*)
vdl([gi I g2]) = gi
311
L' is given, in
2-1)-10(ug,g2-1)+10 (ug,-1)
= 9192 0 (g1g2)-1(f(g1,g2) - 1)
for all i >- 1. Furthermore, this discussion together with that of 7.1.18
yields the following result:
Proposition 7.1.28 Let L/K be a finite Galois extension of local fields
with n = [L : K]. Let D denote the division algebra of index n over K and
with Hasse invariant, s E (Z/n)'. Then
(i) Z[G(L/K)] Z[NDL.] INDL' is cohomologically trivial and
(ii) the 2-extension
312
7.1.29 c2(L/K, U)
L*--->A-->B-*Z
is a 2-extension of Z[G(L/K)]-modules in which A and B are cohomologically trivial and L/K is a finite extension of p-adic local fields, as
in 7.1.7. The module, A, cannot be chosen to be projective since it will
contain torsion elements and, furthermore, it is not finitely generated.
The module, B, may be chosen to be torsion-free and finitely generated
and, being cohomologically trivial, will therefore be projective. In 7.1.28
B = Z [G(L/K )], for example.
Suppose also that this extension is classified by
0 ---). P1 -> Po
)X
)0
313
> A - B -f Z.
Proof Let
L`-_A'-+B'--)Z
be another 2-extension, with B' finitely generated and A', B' cohomologically trivial, which represents inv-'([L : K]-I) E H2(G(L/K);L').
Therefore there is a commutative diagram resulting from the equivalence
of these two 2-extensions:
L'/U 1
L'/U
A/U - B
a
Z
1
13
However, at the left, if (a, a)(z) = (0, 0) then z E L' / U c Al U and then
0 = a(z) = z. Also, at the right, if b' E B' we may choose b E B such that
e(b) = e'(b') and then b'- fl(b) E ker(e') = im(a'). Finally, if b E B and
x E A'/U satisfy /3(b) = a'(x) then e(b) = F (a'(x)) = 0 so that b E im(a)
and b = a(y). Therefore
=0
314
HCF(k,#(G(L/K))) = 1.
Suppose that there is a commutative diagram of 2-extensions, as in 7.1.29,
N A/U
L'/U
iB
Z
k
L'/U
A'/U
+ B' -
Proof In this case the diagram chase in the proof of 7.1.31 yields an
exact sequence
0-->A/UBA'/UB'-pZ/k--->0.
Each of these modules is cohomologically trivial so that
315
)0
Corollary 7.1.34 Let f : G(L/K) x G(L/K) --* L' be a 2-cocycle representing the 2-extension of 7.1.8. Let D denote the division algebra, Vf, of
7.1.25, then
12(L/K, U) - S(-1)
H`(G(L/K); UL) = 0,
where Ui = 1 + lr7(9L c (9i denotes the group of units of level n.
Proof By 7.5.2,
10 ifi>1,
K
if i=0.
316
Go -* G(L/K) -) G(L/K).
There is also an isomorphism of G(L/K)-modules of the form
ULn /Ui+1 = L,
Hs+t(G(L/K);
L)
HS(Go; L) = 0 ifs > 0, by Snaith (1989b, p. 12) and Hilton & Stammbach
(p. 228).
H3(G(L/K);L) = 0 if j > 0. To see this we need to know very little about spectral sequences. In fact we need only that Hi(G(L/K);L)
has a (finite) filtration whose sth composition factor is E and that
the latter is computed from EZ't = 0 by successive operations of taking
homology subquotients. Hence all the composition factors are clearly
zero when j > 0.
From the long exact cohomology sequences of the short exact sequences
)0
Proposition 7.1.36 Suppose in 7.1.35 that L/K is unrami led. Thus G(L/K)
(= G(L/K)) is cyclic of order d, generated by the Frobenius, F. There is
an exact sequence of Z[G(L/K)]-modules of the form
)0'
317
rd
KE,_, aiq'
=1
in L*. Hence
d
a;q` = 0
- q' _ (F -
q)(Fi-1 + qFi-2 +
Ed
1 a+F`
Ed
1
(mod (F - q)Z[G(L/K)]).
0 = [L*] E W'(Z[G(L/K)]).
Proposition 7.1.38 Let L/K be a finite, unramiled Galois extension of
p-adic local fields then
INDL')/Uf] E c'18(Z[G(L/K)])
As a Z[G(L/K)]-module
L*/Uf = L x Z,
where G(L/K) acts trivially on Z. From 7.1.27 there is a short exact
sequence of the form
318
where N = NDL' and the middle module represents SZ(L/K, Ui) in the
class-group. By 7.1.37, we may divide out by L* to obtain
Z->N1-->G(L/K)^='Z/d
in the same manner as was used to obtain 7.1.27 from 7.1.26. We also
have cohomology isomorphisms
H2(G(L/K);L")
H2(G(L/K);L'/UL)
H2(G(L/K);L* x Z)
H2(G(L/K);L) H2(G(L/K); Z)
H2(G(L/K); Z)
Z/d
so that the class of the central extension of 7.1.39 coincides with the class
Zd i Z -- Z/d.
In this case it will suffice to construct an isomorphism of the form
W((X)=a(z-1) (aEZ[Z/d]).
Therefore the composition
319
W(l+F+...+Fd-1) =(1+F+...+Fd-1)(z- 1)
=1(1+z+...+zd-1)(z-1)
=1(zd-1),
which is the generator of the kernel of Z[Z/d] Z[Z] IZ -p IZ/d,
thereby showing that W is an isomorphism.
7.1.40 The tamely ramified case
320
7.1.42
0 -* L* x Z -) Z[G(L/K)] ZEN] IN
z. I G(L/K)
)0
Z[N]
IN
by the formulae:
W(zl)=1(ua-1)
7.1.43
I W(z2) = 1 (ub - l)
R = (1 + a +... + ae-1)zi,
7.1.44
T=(1+b+...+bd-1)z2(1+a+...+ac-1)zl.
Lemma 7.1.45 The elements R,S and T lie in ker(AW).
Proof We have
=(1+a+...+ae-1)(a- 1)
=ae
= 0,
321
=b(a9-1)-a+l-ab+b+a-1
=baq - b - ab+b
= 0
and
=bd-1-(ac-1)
= 0,
as required.
z=fR+yS+mT
for some /3,y E Z[G(L/K)] and m E Z.
Proof Write z = /31z1 + y1z2 and write yl in the form
d-1
Y1 = EYI,jbj
j=0
0 = E e(Y1,j)bj(b -1)
j=0
322
E b'Y11j
f : G(L/K) x G(L/K)
Lemma 7.1.47
e-1
Proof By definition
W(R) =(1+a+...+ae-')
= 1:i=o 1 (ua; ua - uaj )
= g ug1(y - 1)ug
= g 0 (g-1(y) - 1)
=10(y-1)
323
so that
W(R)
W(S)=
Proof By definition
W(S)
_ Ej=o bai
Eq=0
rq-1
(Uab - 1) + 1 (Ub - 1)
d-1
c-1
11 f (b1, b)
fJ f (as, a)
i=a
s=o
)-1
E L x Z.
324
Proof By definition
p(T) =Ed=obi(ub-1)-Es=oas(ua-1)
_ d=0 1 (f(bJ, b)ubj+l - ubj )
2s =o 10 (f(as, a)uas+i - uas )
(f (as, a) - 1) - 10 (uac - 1)
s=o
Suppose that
a(7r)
=uEL cL xZ.
Fo(Y) E L'
Y
and
Fo(YS)
Ys
_ = as(ir)
it
325
= (as(s)n-1,1,...,1) E dLo
= (Fo(Ys)Y-s, YSY-s, ... , ysy-s)
= (1 (9 F)/ 1(ys,ys,...,ys).
Here we have used the fact that a E Ker(hl) in 7.1.13 so that a acts
component by component on i L
Therefore
(ys ys
, YS)
if s *0
I([as)) _
if s =0.
1,..., 1)
(1,
Therefore
)as
f (as, a) = as
((a +
as
j(as+l )
if she-1,
if s=e-1.
(ye,ye'...'ye)
lies in W c L.
7.1.52
=u1 EL
326
b(n,1,1,...,1) _ (F,1)(F-',b)(n,1,..,,1)
_ (F,1)(b(n),1,1,...,1)
_ (1,b(n),1,...,1),
by 7.1.15. Therefore
= (Fo(yi),b(n)Y1,...,Y1)(b(n)-lyi 1,...,y1 1)
= (ulb(n)-1, b(n),1,1,...,1)
= (n-1,b(n),1,...,1),
so that
j(b) = (b(n)yi,Y1,...,Y1)
Similarly,
j(ab) =
and
7.1.53
W(S) =
n,-o f(baJ,a)
.
11rjq-1 bal
.1=O
_ (Ilj-o b(j(a)))j(ba9)-lj(b),
327
However,
= b(yq,Yq,...,Yq)
(F,1)(F-i,b)(Yq,Yq,...,Yq)
_ (uY,Y,Y,...,Y)
Therefore
IV(S)
(uy,y,y,...,),)(b(it)y1,y,,...,yj)
(ab(n)yy1,yyi.....yy, )
= (ub(ir)ab(ir)-i 1,1,...,1)
= 1,
since ab(rz) = a(uiir) = ului = ub(it).
ip(T)=(
t)EL*xZ.
-t
= (lj=o
bJ(b(it)Yi,Yi,...,Y1))j(bd)-1
(llj=o bJ(b(ir),1,...,1))j(a`)-1
(f-o(F1,1)(F-1,bJ)(b(n),1,...,1)).
328
However
(F',1)(F-i,bi)(b(it),1,...,1)
(Fi, l)(bi+1(7r),1,...,1)
-(1,1,...,
where it is in the jth coordinate. Therefore
W(T)-(n,it,...,n),
which is the image of TC E L' in i Lo, as required.
Z[G(L/K)] < R >, 7.1.36 implies that /3R lies in Z[G(L/K)](b-1 - q) <
R >. However
(-b)(b-1 - q)R =
(-b)(b-1-
=(1+a+...+ae-1)S.
Hence we see that the kernel of W is isomorphic to Z[G(L/K)] < S >
which is a free module of rank one. Hence we have a short exact sequence
of the form
Z[N]IN->0,
329
d Lo(11 d Lo-0Z->0
7.1.58
0-M
(1F)/1
> I Mo -+ i Mo -> Z -
0,
Proof Firstly we remark that taking the J-fixed points of 7.1.58 yields
an exact sequence, because dLo is cohomologically trivial.
V = (XI )JII
Therefore we may reduce the computation to the following two cases:
Case A:
J=I,K=Fq,M=L=Fqd or
Case B :
I = {11, K = Fq, M = Fqr, L = Fqd and d = rs.
7.1.59
0 - > M* = (LJ)
d(Lo)'
i(Lo)* -''-> Z
)0.
330
7.1.60
(10 F)II
M.
iMo
iMo
v
-y
(10 F)II
(dL;)J
b(zl,...,Zd) =
(Fr, 1)(x(Zl),...,x(Zd))
= (FO(x(Zd-r+1)),...,FO(x(Zd)),x(Zi),...,x(Zd-r))
Z2 = FO(x(Zd-r+2))
7.1.61
Zr = FO(x(Zd))
Zr+1 = x(Z1)
l Zd = x(Zd-r)
Therefore the coordinates, Zd-r+1, , Zd, determine all the other {z,} and
we obtain a diagram of the form of 7.1.60 by choosing
iMo
' i L;
331
7.1.62
Zd-r
= x(Zd-2r)
= FO(xs-l(Zd)),
which ensures that (1F)4 _ 0(1F) on (Zd_r+1, ... , Zd) E ; Mo, since
Foxs-1 is equal to Fd-r(s-1) = Fr on Kr and is equal to b-1 = 1 on M.
By definition 7.1.14, this is the manner in which FO acts on Mo.
7.2 The global Chinburg invariant
(ap)=aefP(9LQ
7.2.1
(the product being taken over finite primes of K with Q being the chosen
prime over P) such that
7.2.2
332
R7i LR = I
L K Kp
RIP
and
(LQ/xP)((9LQ )
RIP
so that
7.2.3
X = (9x [G(L/K)]a.
XP = (9KP [G(L/K)]ap =
exp:XQ-01+XQc(9iQ
for all wild LQ/KP.
Definition 7.2.6
c (L/K, 2) = [X] +
XQ))
Pwild
in W.(Z[G(L/K)]). Here 52(LQ/KP,1 + XQ) is the local Chinburg invariant of 7.1.29. The assumption of 7.2.5 ensures that 1 + XQ is cohomologically trivial.
333
Proof Let P be a wild prime of K and suppose that XQ and YQ are two
choices for the lattice in 7.2.2 such that XQ c YQ. Hence we have, in the
notation of 7.1.34, a commutative diagram of the following form:
IMP
I NDL*)/(1 + YQ)
IG(LQ/Kp)
The vertical maps are surjective and the horizontal sequences are short
exact so that there is an isomorphism
7.2.8
EPwild[YP] - [XP]
EPwild I ndZ
by 7.2.8
YQ)
EPwild
-S2(LQ/KP,1 + XQ)).
334
This proves the result when X c Y. Given two general lattices, X and
Y, we may find a third lattice, W, which lies in X f1 Y and may apply
the preceding argument to compare the effect of choosing X or Y with
that of choosing W.
Remark 7.2.9
Observe that
If K
(W)) = AF(s, W)
WK : R(G(L/K)) - C"
is a homomorphism into the unit circle. Furthermore, if p = p then
WK (p) E {1} and if p is an orthogonal representation then WK (p) = 1
(Tate, 1977, p. 130; Snaith, 1989b, p. 289, (3.9) (proof)). Therefore, if
335
7.2.11
if v is finite
if p is not symplectic
WL/K(p)v =
I a 1(WK(a(p))) if p symplectic, v = a
aEQQ.
I
By construction, WL/K(p) is S1Q-equivariant and therefore represents a
class, WL/K, in 7.2.11. However, we must show that the construction
of WL/K is independent of the choice of vim. In the tamely ramified
case it is possible to define WL/K without making a choice of v., and
the construction of WL/K was introduced in this form by Ph. CassouNogues (1978) and by A. Frohlich. The generalisation of 7.2.11 is due to
Chinburg (1989, p. 18).
Proposition 7.2.12 The class, WL/K, of 7.2.11 is independent of the choice
of vim.
where pp = ResG(L/K) (p) and fKp is the Artin conductor of 6.1.15. The
( 4/KP)
Artin conductor ideal, f (p), is the product of these ideals and its absolute
norm, Nf(p), is the integer given by the product
336
7.2.13
Write
Since
h E Homo,(R(G(L/K)),J"(E))
a-1(,/(Nf (a(P))))
WK(P)
,
I(Nf (P))
(Chinburg, 1983, p. 327) so that the a 1(v,,,)-component of this representative for WL/K is independent of a and hence does not depend on the
choice of vim.
This case was proved by M.J. Taylor (1981) and is also described in
Frohlich (1983). Furthermore, several wildly ramified examples have
been proved (Chinburg, 1989; Kim, 1991). Also, M. Rogers has proved
that S2(L/K, 2) - WL/K is in the kernel of the map from '2'(Z [G(L/K )] )
337
is contained in this kernel and D. Holland (1992) has shown the stronger
result that
12(L/K, 2) - WLIK E D(Z[G(L/K)]).
The mixture of the algebraic and the analytic aspects of L/K in the
Frohlich-Chinburg conjecture is especially attractive and number theory
owes a great debt to Ali Frohlich for his discovery of this deep connection
and for his considerable contributions to its successful progress.
'2'(Z[G(L/K)])
) WY(A(G(L/K))),
S2(L/K,2) E WY(A(G(L/K)))
G : Fac(G)
+ K0T(A(G))
IKY(A(G))
338
integral prime, p, choose a prime, P a OE, which divides p. A nonzero fractional ideal is determined by the class of the idele given by the
generators of its completions. The action of OQ permutes the primes,
P over p, with stabiliser CIQP. Hence we see that g is determined by its
local components
gp E HomoQP (R(G), 5(EP )).
M.
COO),
CO
339
where co runs through c2 /stab(4)). That is, X(e#) is the sum of all the
distinct c2QP -conjugates of 4).
Define SP(G) to be the set of pairs (C, e) where C < G is a cyclic subgroup and e is an irreducible idempotent of Zp [C']. All such idempotents
are of the form, e = eo, for some 0. We will often abbreviate X(eo) to
X(e) in the remainder of this section.
7.3.7
7.3.9
we say that
g E HomnQ(R(G),f(E))
is the canonical factorisation of f " in 7.3.9 if, for each p, the p-component
of g is the canonical factorisation of f P in the sense of 7.3.8.
i:Ml-+M2
be an injective Z[G]-homomorphism with finite cokernel, coker(i). Define
and
MPPe
340
f, = fi fj = {ff;p prime}.
(ii) For H < G, let NGH denote the normaliser of H in G. If, for each
H < G, there is an Z[NGH]-isomorphism of the form
coker(iH) = coker(jH),
then
fi =fj.
(iii) Suppose that, for each H <_ G, there is a Z[NGH]-isomorphism of
the form
coker(iH) = (coker(i))H,
then
fi = fcoker(i)
for allH<_G.
(iv) Suppose that there is a commutative diagram of Z[G]-modules
M1 ' M2
M3
N1
N2
N3
341
) coker(jH)
)0
fk = fi f;.
Proof We begin by observing that, if (C, e) E SP(G), then C < NGCP and
hence e E Zp[NGCp]. Also (- Z Z,,) is an exact functor.
Therefore, for part (i), we have inclusions M P
Mi P and M2 P -->
M3 P. Consequently there are inclusions M1 Pe --> M1 Pe and M2 e
M3Pe, from which the result follows since
f j(C, e)
= #(M3Pe/Mj,Pe)
= #(M3Pe/M2,Pe) - #(M2Pe1MiPe)
= f'(C,e)f?(C,e).
= f'(C,e).
M2 - M3 -) coker(i)
starts with
0 -f MZ -> M H
342
coker(kCP)pe
coker(joo)pe
)0
for each (C, e) E SP(G). The order of the central group, fk (C, e), is
therefore equal to the product of the orders of the other two groups,
which is f,(C, e) f (C, e), as required.
Theorem 73.13 Let G be a finite group and let f _ {fP : SP(G) -.f(QP)} be as in 7.3.9. Then, if the canonical factorisation of f* exists in
7.3.5, it is unique.
of the constant map is also equal to the constant function whose value
is the ideal, ZP.
Since HomnQ (R(G), f(Ep )) is torsion free, Artin's induction theorem
P
(see 2.1.3) implies that the natural maps, induced by IndG with C cyclic,
yield an injective map
HomoQP (R(G), J(Ep )) -s ED , Hom0QP (R(C), f(Ep ))
cyclic
Z, = g(1ndc(1)) E f(Ep)
for all A : C --> E', where C is cyclic. If C = C. x C', as in 7.3.5, we
7.3.14
ZP = g(Indg(Infc,(X(e))))
g(Indc(I of ,((o(q5))))
343
Cp-'C,,/H--*E'.
By induction on the order of the image of Wa we may suppose that
Zp = g(I ndc,c,(W# (&4)))
for all W# except those {W,} for which #(im(W)) is maximal. However,
these Wa comprise a Galois orbit consisting of
say. Hence
Zp
(,
xC,(lpa, 0
= f1m
S= , g(I ndG
CP
4)))
so that Z. = g(IndG C,(W. 4))) for all the W's. This completes the
induction step, which starts with W = 1, to show that Zp = g(IndG(W(D 4)))
Det : (Y(Z[G])
KoT(Z[G]) =
Det(U(Z[G]))
344
hT E HomnQ(R(G),J*(E)).
7.3.17
7.3.18
The following result relates canonical factorisations with representatives of the image of [T].
Theorem 7.3.19 Let [T] E K0T(Z[G]) be the class of a finite, cohomologically trivial module, which is represented by hT in 7.3.17. Let
f'T = {fT : SP(G) -> 5(QP)} be the family of functions defined in 7.3.10.
Then
by Frohlich (1983, II, lemma 2.1). Hence we may restrict our attention
to the local components
gp E HomnQP (R(G), 5(Ep )).
345
Det(c*)(Ind'(Infc,(X(e)))) = #(TQ'e).
orbits
{gp} = g E HomnQ(R(G/N),f(E))
then (Z H g(ZN)) is the canonical factorisation of fGi.
Proof Once more we will work with the local components.
Let (C, e) E SP(G) then we must show that
7.3.22
gp((Indg(Infc'(X(e))))N) = fc,i(C,e),
=IndcjcfN((1
X)cnN).
346
Hence
gP((I ndC(I nfc,(X(e))))N)
GIN
if ker(X(e)) 5t C' fl N,
fG/N,i((C/C n N, e)),
otherwise,
Xc/cnN_
P
{gp} = g E HomaQ(R(H),5(E))
7.3.24
gP(ResH(I
eZ(z(e)) = z(e).
Here, as in 7.3.5,
347
Qp[(H n (zCz-'))']ez.
Let mz denote the degree of the `abstract' field extension
Qp [(zCz-')']z(e)lQp [(H n (zCz-'))']ez.
In other words,
dimQP (Qp [(zCz-' )']z(e))
mz
dimQP(Qp[(H n (zCz-'))']ez)'
X(ez)))'"z
zEH\G/CZp[C']z(e) ZP[(Hr1zCz-')']e,
as required.
Example 7.3.25 Let us consider the case in which L/K is a wildly
ramified Galois extension of p-adic local fields with cyclic Galois group,
G(L/K), generated by x of order n.
348
0- Z
Z[G(L/K)]
fl-
IG(L/K)
IG(L/K) - 0
In 7.3.26 /3(z) = (x - 1)z and i(z) = z 0 (ux - 1). The lower sequence of
7.3.26 is that of 7.2.7 (see also 7.1.28).
7.3.27
n-1
=o
i=o
y(1)x'0(ux-1)=[Jf(x',x)E L'/(1+X),
where f : G(L/K) x G(L/K)
x'(h(x))h(x')
11
i=o
where NLIK
hx
h(xi+1)
= NLIK(IrL),
G(L/K) = K'/(NLIK(L'))
349
vK : K*/(NL/K(L*)) - Z/fL/K
Since vK is surjective, we see that y(l) may also be taken to be represented
by nK in the case when f L/K * 1.
Now set T = coker(i) in 7.3.26. Hence T is a finite Z[G(L/K)]-module
which is cohomologically trivial. Since [T] E K0T(Z[G(L/K)]) maps to
fT =fl* = fY.
Z
eL/K
(9L/(1 +X)
vL
L'/(1 +X)
M=(q/(1+X)
if x(e)
#(MPe) eLc/K
if x(e) = 1.
1,
L'/(9L=Z
350
The first case of 7.3.32 follows from the fact that e # 1 annihilates trivial
by the formula
eLc/K
if x(e) = 1,
if x(e) # 1.
li P(C, e) =
fT=fM.ff'.
Proposition 7.3.35 Let L/K be any finite, wild Galois extension of p-adic
local fields and let M be as Fin 7.3.31. Set A = (9L/X then
fM = f;f j (fL)-1.
Proof Let RL = ideal {?CL} 4 OL and let m : 1 + X - Oi, a : X --) OL
denote the inclusions. By the hypothesis of 7.2.5 we may assume that
exp induces an isomorphism, if X s RL,
7.3.36
RL/X =(1+RL)/(1+X).
mo
fA=fa =fjfa,
s=0
351
and
fM = fm =
fm,,
s=0
= (90,
(H-)* = (L*)H,
((QL)H = (OLx
LH = (L)H
fA = Hs=ofcoker(a,)
= Icoker(ao)(lls=1 fcoker(m,))
= fl,fM(foker(mo))-1
= fLfM(fi
as required.
352
q-F
0 -- ZP[G(Fq^/Fq)]cP
0 Zp[G(Fq.lFq)]ct
)0-
given by
dt-1
dt-1
E aiF)
i=0
aiF`
(1 + Fdt + F2dt
+... +
F(p"-1)dt)
i=0
Zp [G(Fgdt /Fq)]
Therefore, applying the idempotent, eo, to 7.3.40 yields the d-fold sum
However,
of the Zp[C/Cp]-module given by X(e4,) : C/Cp --i
Zp[G(Fgdt/Fq)]e, ) Zp[G(Fgdt/Fq)]e.
353
yd,IFq)
IndG(FgdtIF9d)(Zp)
q-F
G(FgdllFq)
) 1ndG(Fgde/Fgd)(Zp
f
In order to compute f- E*
sequence
7.3.41
(Zp[G(Fgn/Fq)])fK/QP P >
(Zp[G(FgnlFq)])f"7Q'
-) L
)0.
f*(C,eO) =
and
7.3.42
7.3.43
f (f)-'(C,eo) = Det(1 -
q-'F)(IndG(LlK)(Infc,(x(eO))))
Now let us consider the general case (i.e. not necessarily cyclic).
KoT(Z[G(L/K)])
KoT(A(G(L/K)))
WY(Z[G(L/K)])
WY(A(G(L/K)))
Fac(G(L/K))
354
7.3.45
K0T(Z[G(L/K)])
Fac(G(L/K))
Res
Res
KOT(Z[G(L/F)]) -
K0T(Z[G(M/F)])
Fac(G(M/F))
Fac(G(L/F))
U
FacG(L/K)(G(M/F))
In 7.3.45, we have G(L/F) < G(L/K) and G(L/M) a G(L/F) with cyclic
quotient (via the canonical isomorphism)
G(L/F)/G(L/M) = G(M/F).
Ko T (Z [G(L/K )] )
We will then chase [T] anti-clockwise around 7.3.45 and evaluate the
result in Fac(G(M/F)). Upon doing so we shall find that it lies in the
subgroup, FacG(L/K)(G(M/F)). Unfortunately, during this process we
will express the images of [T] in terms of modules which do not define
elements of '2'(Z[G(L/F)]) or '2'(Z[G(M/F)]) so that we cannot chase
[T] around 7.3.44.
355
7.3.46
a(L/ K) Z[G(L/K)]
fi
(n - a(L/K))Z[G(L/K)]
Ji
1j2
IG(L/K)
Z-
(r - a(L/F))Z[G(L/F)]
, 1Z[G(L/F)]
(Z[G(L/F)]d-1)
h1
hi
L'/(1 +X)
Z[G(L/K)] Z[M IN
IG(L/F)
01(b1,0,...,0)
01(0, ... , o, bi, 0, ... , 0)
= (d 2b1,db1,...,db1)
(Z[G(L/F)]d-1)
356
injective.
Z[N]
IN - ) Z[G(L/F)] F -) Z,
IA
L'/(1 +X) -
(Z[G(L/K)]
Z[N]
IN)/s(F)
-. I G(L/F)
in which
r-1
357
L' ,
7.3.50
me = r.
H2(G(L/M);1 + X) = H2(G(L/M);X) = 0.
Therefore H1(G(L/M);L*/(1 + X)) is trivial and the G(L/M)-invariants
of the lower row of 7.3.47 also form a short exact sequence. By 7.5.9, the
G(L/M)-invariants of 7.3.47 form the following commutative diagram in
which the horizontal rows are short exact while the vertical maps are
injective with finite cokernels.
7.3.51
c(m - a(M/F))Z[G(M/F)]
d 1Z[G(M/F)] -
Z
A
(Z[G(M/F)]d-1)
02
!1P2
IG(M/F)
(Z[G(M/F)]d-1)
In 7.3.51, a' = (a(M/F), 0,..., 0), S = (c(m - a(M/F)),1, ... ,1), X(M) _
XG(L1M) and
358
7.3.52
= (d 2zi,dzl,...,dz1)
4)2(zi,0,...,0)
d 1Z[G(M/F)]
c(m - a(M/F))Z[G(M/F)]
(Z[G(M/F)]d-1)
02
1V2
(1+Xmj
W (Z[G(M/F)]d-1)
IG(M/F)
(Z[G(M/F)]d-1)
359
IG(M/F)
is obtained from the lower short exact sequence of 7.3.26 upon replacing
L,K,N by M,F,N1.
Before embarking upon the first main result of this section, the evaluation of C (L/K,1 + X) in W'(A(G(L/K))), we require two more straightforward technical results.
Lemma 7.3.54 Let G(M/F) be a cyclic subquotient of G(L/K), as in
7.3.49 and 7.3.50. Define a function
f1
if 1
x(e),
r(G(M/E), e) =
)0-
360
if
if 1# x(e)
1 = X(e),
fG(N/F),.(G(M/E),e) _
(Z[G(M/F)]/(a(M/F)))G(M/E) = Z[G(E/F)U(o(E/F)),
which establishes part (i).
For part (ii) we first note that, by 7.3.21, f G(M/F),j has the canonical
factorisation
(V,_, s(VGo(M/F))),
where s is as in 7.5.13.
ideal of
dG(L/K)(I nfG(M/F)(V)))
G(L/F)
Q(I nG(L/F)
into cases as before we see that we need only consider the case when
V = VG0(M/F) is one-dimensional. However, in this case
I ridG(L/K)
G(L/F) (I rifG(L/F)
G(MIF) (V)) = I ri f G(L/K) (I ridG(L/K) (V))
G(L/K)
G(M/F)
361
C'
b-1
0-ia-1 E R(Z/2a$).
0ia+1
ii=o
i=o
p-adic local fields with Galois group, G(L/K). In the notation of 7.3.43
and 7.3.44, the image of the local Chinburg invariant, S2(L/K,1 + X), in
the class-group of the maximal order, A(G(L/K)), is given by
O(L/K,1 + X) = [(QL/X] E WY(A(G(L/K))),
where [(9L/X] denotes the class represented by the canonical factorisation
of
f;,/x.
362
7.3.57
f'2 = f2f42-
z--+L"/(1 +X)-+Z
is multiplication by veL/K. One finds easily, by 7.3.12(i), that ff
where f y" is as in 7.3.26. Therefore, by 7.3.34 and 7.3.35
7.3.58
(([L:KI-a(L/K))
= [L : E]([L :
[G(L/K)])G(L/E)
eE/F
K][E:Kl-2)eE/F,
-#
IG(L/K) e
([L:K]-a(L/K)) p[G(L/K)]e
ZZ [G(L/K)le
_ # (`[L:KI
[G(L/K)]e)
vG
[L:K))-1}(G(M/E), e)
363
= eE/F[L : E] [L :
_[LE][E
_ [F :
:F][F:K][F:K]-'fJF[L:K]-2
K]-1 [L
K]-1
This last fact is seen by observing that 7.3.21 and 7.3.42 imply that the
canonical factorisation of fM (fM)-1 is equal to the image of (the p-part
of) the function on R(G(L/K)) given by sending V to
Det
1-
(F I VGo(LIK))
#(K )
which is the value at s = 1 of an Euler factor (above p) from the Artin Lfunction (Martinet, 1977b). Since this function depends only on VG0(L/K)
7.3.59 We shall now state a result which relates the analytic class, WL/K,
to the canonical factorisation of modules. This result is proved using the
theory of norm resolvents to represent classes in Hom-descriptions and
it is given in Holland (1992, section 4); (see also Wilson, 1990). We shall
not give a proof of this result here, since our Explicit Brauer Induction
techniques have nothing to add to this step in the programme.
364
Ind G(L/K)
G(LQ/KP) [(9LQ l(&Kp[G(LQIKP)]ap)] -((9LIX)aK (9Kp.
365
Since (9L/X is trivial at tame primes we may combine our formula for
S2(L/K, 2) together with 7.3.62 and 7.3.63 to obtain
c (L/K, 2)
= [X/b(9K[G(L/K)]] + [(9LIX]
= [(OLI b(9x [G(L/K )]]
1I:
{0}
B") C-->{0}
xB(*) = {xB(1),...,xB(s)}
and
xc(*) = {xc(l),...,xc(s-t)}
for A, B and C, respectively.
0 :A<yc(1),...,yc(s-t)>---), B
such that 4'(yc(i)) = xc(i) for each 1 < i< s - t. Hence we have
366
Lemma 7.4.2
The homomorphism
2+O:AA<yc(*)>) B
is an isomorphism.
XA(1)
XA(t)
/ XB(1)
=U
(2+0)
Yc(l)
\ xB(S) l
Yc(s - t) I
4)
A
AA<yc(*)>
AA<yc(*)>
Therefore the difference in the two values of [U], which result from
the two choices, is represented by the matrix of p with respect to the
basis {, A(*), yc(*)}. This matrix has the form
I,
IS_t
367
{0}-->P1 -4PO
Let x1,p(*) = {x1,p(1),...,x1,p(t)} be a basis for Pi Z Zp over Zp[G]
and let xo,p(*) = {xo,p(l),...,xo,p(t)} be a basis for Po Z Zp. Also let
xl,o(*) = {x1,o(1),...,x1,o(t)} be a basis for Pi Z Q over the rational
group-ring, Q[G], and let xo,o(*) = i(xl,o(*)) so that
{xo,0(1),...,xo,o(t))
x,,p(1)
Vi
xi,o(t)
xi,p(t)
i(xl,p(*))
= i(V1x1,o(*))
Therefore
= Vii(xi,o(*))
= Vlxo,o(*)
= V1Vo'xo,p(*)
Notice that V1 V6-1 has entries which lie in Z p [G] and that the class,
[Vi] E K1(Qp[G]) is the p-component of the K1-idele which is associated
to the based module, Pi, in the Hom-description construction of 4.2.13
and 4.6.36.
{0} -- Pi Z Zp
O'D
(Po Z Zp) Xp
(
(ft,-k)
{0}.
368
PI Oz Zp
PO ZZp
k
XP
Po Z Zp
V/Xp
II:
Xp(ft)k)V
PlZZp
K E GLr(Qp[G])
369
There are matrices, whose entries lie in Zp [G], (D, E) such that
O(vp(*)) = (Dxo,p(*),Eup(*))
In addition we have
Ir = PD - KE
and
PV1Vo1=KJ.
370
It
Ir
It
D \ I ViVo 1
-1r / \
V1Vo1
Ir
P PD - Ir
I,
V1 Vo 1
Ir
P KE
Vi V1 1
0
Jr
PV1Vo-1 KE
Therefore the image of [II] E K1(Zp [G]) in K1 (Qp [G]) is given by the
following result.
Proposition 7.4.6 In K1(Qp[G]) the image of 7.4.5 is given by
371
IG(L/K) -p {0},
e : Z[G(L/K)] -- Z.
Let nL denote the prime of L and let vL : L' --> Z denote the
valuation, normalised so that vL(xL) = 1. Let eLIK denote the ramification
degree of L/K.
Proposition 7.4.11
With the notation of 7.4.9 there exists an injective
Z [G(L/K )]-homomorphism
y : Z[G(L/K)] -) A
such that
372
> (9L
x = (1 + P)Pp-1
We shall return to this example later in this section.
7.4.13
373
up E F;
7.4.14
yp(1),...,yp(np) E VP.
374
XQ
exp
exp
U1EQ
nEQ (9EQ
in which the vertical maps are injections with finite cokernels. Therefore
the exponential is an injective map of Z,[G(E/Fp)]-modules
exp : XQ -+ VP,
{O}-*T1->To") Vp/(1+XQ){0}.
As in 7.4.5, we may construct an exact sequence of free Z,,[G(EQ/Fp)]modules of the form
Or
)-P) VP
{01
Pi Z
ZP (
Z XP
(P Z P)
(ft, Ixp))
IndG(EQ/FF)
G(E/F) (Vp).
`PIP
PIP
X Z Zp = (X (90, (OF) Z Zp = X OF
11 OFp
PIP
flXp.
PIP
375
[H] E Ki(Qp[G(E/F)])
In particular, suppose that we use a Q[G(E/F)]-basis as the Qp[G(E/F)]basis for (Pi (&Z Qp) and its image under i" as the Qp[G(E/F)]-basis for
Pip wild
where Wp is as in 7.4.16.
If 1 is a prime then f2(EQ/Fp,1 + XQ) - [WF] is represented by a
cohomologically trivial 1-group, if P 11, and therefore has trivial p-adic
idelic representative at primes p different from 1. Therefore, from 7.4.6,
we have the following result (since [II] E K1(Zp[G(E/F)]) its determinant
lies in the Hom-description indeterminacy).
z Qp
PIP
H I ndG(EQ/FP)(VP ).
PIP
376
[I] E K1(Qp[G(E/F)])
is a representative of the p-adic idelic component, in the sense of the Homdescription of 4.2.13 and 4.6.36, corresponding to the class of 7.2.6,
aEXfl(0E c(XeFF)=E.
Also
7.4.27
Fp [G(E/F)]a = E OF FP = IIRIP ER
377
7.4.28
Write J,*,,me(N) for the restricted idelic product involving only those
completions, Ns, for S a ON which lie above tame primes of F. Hence
Jtame(N) is an f2Q-module. We have a norm map (Frohlich, 1976; Curtis
& Reiner (1987, section 52.25, p. 341)
(g-'
. -))
AP :X ZQp(11P,pXP)Z,QP
rlP,pIndG(EQ/FP)(exp) : (flp,pXp)
- > [J I ndG(EQG(EQ/FP)(Vp ).
PIP
378
Note that
is a Zp[G(EQ/FP)]-basis for
PIP
which satisfies
BP
sign(a)dim(T),
(ri Ns
JW ild(N) =
P
SIP
379
Define
to be the function whose coordinates are trivial in JA(N) and are given by
7.4.30 in Jl*ame(N) and by 7.4.34 in
If [sE/F] is the class given by
the Hom-description of 4.2.13 then
40id(N).
IndG(EQ/FP)([WP])
[SE/F] = S2(E/F, 2) -
/
7
E c'2'(Z[G(E/F)])
P wild
Let p be an odd prime and let ,, denote a primitive nth root of unity.
and let x = (1 +
For each s >_ 0 let Ls+1 =
E Q. Note
that x is a uniformiser for Qp with the property that LS+1 / < x > is
cohomologically trivial, as in 7.4.11. Identify G(Ls+1/Qp) with (Z/ps+l)'
in the customary manner. Set
7.4.37
J
1 Vp(s + 1) _ (LS+1/ <x >)/Wp(s + 1).
380
(1
= a,
x = W (gm - 1)`U)
i=1
(ii) More generally, let F be a totally real number field and let L1 =
F(op). Let L,+1/L1 be the completion at some p-adic prime of the subextension of the cyclotomic Zp-extension of L1 such that G(LS+1/L1) = Z/pl.
Lo denote the corresponding completion of F. Suppose that x E Lo is
chosen as in 7.4.11 then
Proof The proof of (ii) is similar to that of (i), once one knows that the
p-primary roots of unity are cohomologically trivial (Washington, 1982,
lemma 13.27, p. 287). In the case of (i) this fact is clear from Table 5.4
and 5.6.3 (see also 5.7.14).
381
{ I) -* FP x UL,+1
Temporarily set Y = UL,+I /Mo,s+1 so that Y is a torsion-free ZPmodule and, as abelian groups, UL, = Mo,s+1 Y.
Identify the cyclic group, (Z/ps+' )' with Z/ps x F. Consider the
{1}->Fp) Ker(02)->R-+{1},
where R c FP and FP acts trivially on F. The coboundary must be an
isomorphism
6 :H`(F'P '
P'
Z/ps
{1}.
382
< x >)/A) = 0.
The only manner in which this can happen, since the cohomology map
is the inclusion of N into Z/ps, is for N to be the trivial group.
Therefore we have shown that (Ls+1/ < x >)/A is torsion free and the
cohomologically trivial module, Mo,s+1 Ker(42), is equal to
Now we begin to find the Zp[(Z/ps+1)*/{l}]-basis for the free modules, Vp (s + 1). We will need the following result.
Proposition 7.4.42 In the following commutative diagram, whose upper and
lower rows are isomorphisms,
(UL,)/(Z/p)
p
ULl
logy
2
7r1 OL1
Up+l
Li
logy
poi (9 Li
383
on nl = 1-ip
Proof In the diagram, the surjectivity of the upper pth power map follows
from Hasse (1980, p. 236) since the pth power map induces isomorphisms
of the form
Up+l+d
U2+d
L,
U3+d
L,
L,
- Up+2+d
L,
0-+nl(9L,
)OL, --Z/p--) 0
xi (9L, /(PI
= niOL, /(ni+l(9L, )
(mod n,+2)
for l < a< p- l and 2< i< p- l and (ai + ... + Qp_1)(xci) =p.
E]
7.4.43 Let log denote the usual p-adic logarithm (Curtis & Reiner, 1987,
p. 356; see also 4.3.14) defined on the one-units, ULS+,. Let logy denote
the p-adic logarithm of Washington (1982, p. 50). Hence logy is defined
on all of LS+1 and coincides with log on UL, and is normalised so that
logp(p) = 0.
384
LR
LS+1 =
Uis+1 /Tors(U1J
and define
7.4.44
Xogp(is+1) = logy
PU+P>
/PS(P - 1)
= logp(ir) - Ps(p -
1)-llogp(1 + P).
sends y+1 to +,
acting on Ls+l. Hence (L+1)'/ < x > is
isomorphic to the subgroup consisting of the elements of LS+1/ < x >
which are fixed by conjugation. In addition,
(Z/Ps+1)/{1}.
G(Ls+1/Qp) -
Theorem 7.4.46 Let p be an odd, regular prime. Let L+ 1/Q, and Vp (s+l)
be as in 7.4.45. Then, for 0 < s, Vp (s + 1) is the free Zp[G(L+1/Qp)]module generated by the image of irs+1 = 1 - >>s+1.
Proof By 7.4.38 it will suffice to establish this result in the case of VP (1).
Also, by 7.4.42, we have an isomorphism of the form
Xogp : VP (1)
(lrl(9L1)+.
385
logp(1 - gyp)
= (1/2)logp(p)
=0.
Therefore, if
(p-1)/2
aj(logp(l - P) - logp(1 + p)) = 0
j=1
logp(1-gyp)-(p-l)-llogp(l+p)
Rp((-1/2)logp(l
+p))-1
386
is equal to
1
det
logP(1-l
p)-(p-1)-1logP(l+p)
Q2(XOgp(7t1))
a3(X09pOC1))
det
Hence
RP = (Y-1/2)logp(1 + p)det(a;,j),
where aij = aj+l(logp((l - by 1)/(1 - SP))) for 1 < i,j < (p - 3)/2.
The cyclotomic units
Rp = (-1/2)logp(1 +
_ 11 Lp(1, X),
X
387
so that
zz
RP(Q(Sp)+)
d(
(Sp)+/Q)
is a p-adic unit.
Therefore, by 7.4.48, the discriminant ideal of the Zp-llattice,
X1 = Zp[(Z/p)*/{1}] < XogP(it1) >C Zp[Sp]+
in
is given by
bx, = RP = p2RP(Q( P)+)2 = PZSZP[
P]+.
proposition 5, p. 49)
6x2
= P26ZP[ P1+ =
bx
Let E =
shall now consider the wild prime, p, and apply the procedure of 7.4.317.4.33 for obtaining the p-adic component of the Hom-description of the
second Chinburg invariant for
/Q).
= p j(es+1
EG L(p L-
g)
(1
< j < s)
7.4.50
and
=Ps
1)-1(
gEG(L
0<r<s,HCF(j,p)=1,1<j<ps+1-r_1
and (j,r)_(1,s+1)}.
Write Qj E G(E/F) for the map given by a ( ps+,) =
Hence, if
388
then
7.4.51
eu(as+l) = as+l-u
and
P)-1
es+l...el(as+l) _ (1 -
j,r
<ps+l-r-1}
and clearly z =
j,r7j(1 - er+1)erer-l ... el(cls+1) - 1,s+1(P - 1)es+l ... el(as+l)
j,r
so that as+l will serve as the normal basis element which is denoted by
a E (9E in 7.4.31-7.4.33. If necessary we may replace a by a suitable
389
(Z/Ps+l) -, C
- a+')
We would like to write Lp(l,xi) in the form of 7.4.55 for all Xi. In
Washington (1982, p. 63) 7.4.55 is proved for non-trivial characters, x,
with x(-1) = 1 (x is even) and fx = ps+1 However, if x(-1) = -1 (x is
odd), then both sides of 7.4.55 are zero. If x = 1 then the right-hand side
of 7.4.55 equals
log,(l - gyp,+') = logP(P) = 0,
aE(Z/ps+' )'
+,)
390
7.4.56
LP(1,Xi)
+i)/Q, 2)
Bp,s+1 E
such that
7.4.58
B+
p,s+1(a+s+1) = Xo $P(ns+1) = loge
(;;;) /PS(P- 1)
at p
(a+1 I X)-1(at I X)
at other l
XH
where (a,) is as in 7.2.1 and 7.2.2 and a+1 is a normal basis element for
Q(I;P,+t)+/Q. Here (z I X) denotes a resolvent defined by the formula
Eg(z)X(g-1).
(z I X) _
s
I X)-1(ai I X) = 1
391
in
p. 385),
(XogP(ns+i) I X) _ EY(XogP(its+i))X(Y)
Y
(from 7.4.44)
_ (1/2) E [logp(1
p S(p-
1)-ilogP(1
+P)]X(a)
aE(Z/ps+i).
= -(fx/2T(X))LP(1, X)
In the above formula the Gauss sum is the purely local Gauss sum of 7.4.54.
392
decomposes into the sum of the finite module, Wp (s + 1), and a module
whose Hom-description representative is
X --*
fxLp(1,X)
at p,X non-trivial,
-plogp(1 + p)
at p, X = 1,
at other 1.
Proof By 7.4.35,
x)-1
-(fx/2i(x))Lp(1, X)(Ps+'fX'T(x))-'
x non-trivial,
-(1/2)logp(1 +p)(-Ps)-'
X = 1,
-(1/2)fxp s-1Lp(1,X)
(1/2)Plogp(1 +p)P
since T(x)2(X) =
1-1
X non-trivial,
X = 1,
X(6-1)fx = fx.
7.4.61 fl(Fs+1/Q,2)
given by Fs+1 =
393
at p,x=1,
at other l
xH
fx
X non-trivial
1 p2 x=1.
Dividing by this we may change the Hom-representative of this element
so that it is represented by the function which is trivial on all characters
at p and on all non-trivial characters away from p. At all other primes
the function sends the trivial one-dimensional character to p. However,
each component of this function is a local determinant since, by Frohlich
(1983, proposition 2.2, pp. 23-24),
Det(R[Z/ps]') = HomlQ(R(Z/PS), (Q(cs) Q R)*)
and (if l is different from p)
Det(Zi[Z/ps]*) =
Z Zt)*)
This completes the proof, since these functions represent the trivial
element in the class-group.
Next, we observe that the contribution to S2(FF+i /Q, 2) from Wp(s+1)
is trivial since this is represented by WP(s + 1)(Z/P)*. By 7.5.21, this has
trivial action and no elements of order p. Therefore, by 5.3.9, this module
represents a Swan module, which is trivial in the class-group in the case
394
of a cyclic group (4.2.48; Curtis & Reiner, 1987, p. 344). Now let us
examine the other part of the Chinburg invariant.
From Washington (1982, pp. 118-123), if W and 0 are complex (onedimensional) characters of Z/ps and (Z/p)', respectively, then x = OW is
a character of
(Z/p)* x Z/ps = (Z/ps+1)* ~
7.4.64
where
Zp[[T]] = limZp[Z/ps].
S
Note that this isomorphism ensures that g((p + 1)y -1, 0) makes sense in
ZP [Z/PS]
The character, x, factors through G(FS+1 /Q) '" Z/ps if and only if
0 = 1 and W = X. In this case
7.4.65
- 1))-1.
X2 -->
395
at p,x non-trivial,
-plogp(1 + p) at p, x = 1,
at other 1.
(x(y) - 1)-'
x'--->
at p, x non-trivial,
7.4.69
x' -->
at p, X non-trivial,
-p'logp(1 + p)(g(0,1))-'
at p, X = 1,
at other 1
at p, x non-trivial,
UN
at p, X = 1,
at other 1
at p, x non-trivial,
vN
atp,x=1,
at other 1
396
x1>
Q(y) - 1)-1
at p, x non-trivial,
atp,x=1,
at other 1.
that the invariant, f (E/F, 2), will be equal to a class of order two
which has a Hom-description in terms of the Artin root numbers of
the irreducible symplectic representations of G(E/F). In particular, this
conjecture would predict that f2(E/F, 2) would vanish when G(E/F) were
abelian. Theorem 7.4.62 adds some new, wildly ramified examples to the
list of cases in which the conjecture is true.
7.5 Exercises
section 3) and use this fact to reduce the calculation to the unramified
case.)
Let Fq denote the finite field with q elements and let Fq denote
its algebraic closure. Let FO denote the Frobenius map given by the gdth
7.5.2
power.
(i) Prove that H1(G(Fgds/Fgd); Fqds) = 0. (That is, prove that
1+Fo+...+Fo
Fo-1
Fqds
Fqds
Fgas
7.5 Exercises
397
(ii) Prove, for any y E Fqd,, that there exists w E Fq such that
Fo(w) - w = y.
L`, of 7.1.23
f(x, l) =f 0, X) = 1.)
7.5.4
commutes:
H2(G(L/K);L*)
my
Q/Z
(- [F : K])
H2(G(L/F);L')
7.5.5
inv
Q/Z
7.5.7
G(E/N) a G(E/K)
be a normal subgroup. Let
infE/N : f,2(Z[G(E/K)])
`WY(Z[G(NlK)])
398
: d 1Z[G(L/F)] -p Z[G(L/K)]
u1
given by u1(b1,...,bd) =
modules.
(ii) Verify that
i=1
i=1
(aixi) =
is an isomorphism of Z[G(L/F)]-modules.
(v) With the identifications of (i)-(iv), verify that 7.3.46 may be identified with 7.3.47 as a diagram of Z[G(L/F)]-modules.
7.5.9
L'
(ii) Let y1, ... ,
M*
G(L/M)
(1 + X)
(I + X)G(L/M)
1 + X G(L/M)
G(L/F)/G(L/M)
and let o(L/M) be as in 7.3.46. Show that the map which sends y,G(L/M)
to yso(L/M) induces Z[G(M/F)]-module isomorphisms of the form
a : Z[G(M/F)] - (Z[G(L/F)])G(LIM)
and
a :I G(M/F) -- (I
G(L/F))G(L/M).
7.5 Exercises
399
(iv) With the identifications of (i)-(iii) verify that the G(L/M)-invariants of 7.3.47 may be identified with 7.3.51.
7.5.10 Prove that the G(L/M)-invariants of 7.3.47 may be identified
with 7.3.53.
7.5.11
fv if 1 = x,
g(x) =
if 1
x, irreducible.
dimC(X)
0-->IG-Z[G]/(fGZ[G])-) Z/#(G)-i0.
Show that f,* has a canonical factorisation s e HomnQ(R(G),5(E)),
where
if 1=x,
x, irreducible.
400
A = (I GH)/((n - OG)Z[G])H)
{2gIgE-4-{l}}
subject to the relations
nA.g =0 for g E .GP - { 1 }
and
#(H) E 2g
= 0.
(9E9?-{1}
#(A) =
#(H)n(IG:HD-2).
vS
and
US,L={xEL'IxE(9i,ifvVS}.
We have a diagonal embedding of US,L into JS,L and a resulting short
exact sequence of abelian groups
0-)
Global class field theory shows that {H2(G(L/K);Cs,L)} is a class
formation (Serre, 1979, pp. 166 and 221). Consequently there are universal
cohomology classes which represent the Weil group extension
CS,L -a WS,L --> G(L/K ).
7.5 Exercises
401
f)(L/K, S) E c P(Z[G(L/K)])
(cf. 7.1.34).
3 -3
x =
-2
Z3 - 3
takes the value one if there exist x, y E Q2 such that a + 13x2 = y2 and is
equal to minus one otherwise.
402
7.5.21
prime.
Bibliography
Bibliography
404
Curtis, C.W. & Reiner, I. (1981, 1987), Methods of Representation Theory, vols. I
& II, Wiley.
Dickson, L.E. (1958), Linear Groups, Dover.
Frohlich, A. (1976), Arithmetic and Galois module structure for tame
extensions, J. Reine. Angew. Math., 286/7, 380-440.
Frohlich, A., ed., (1977), Algebraic Number Fields, London Math. Soc. 1975
Durham Symposium, Academic Press.
Frohlich, A. (1983), Galois Module Structure of Algebraic Integers, Ergeb. Math.
3 Folge-Band No. 1, Springer-Verlag.
Frohlich, A. (1984), Classgroups and Hermitian Modules, Progress in Math. No.
48, Birkhauser.
Frohlich, A. (1988), Module defect and factorisability, Ill. J. Math., 32, 407-421.
Gerardin, P. & Labesse, J-P. (1979), The solution of a base change problem for
GL(2) (following Langlands, Saito, Shintani), Amer. Math. Soc. Proc. Symp.
Pure Math., Automorphic Forms, Representations and L-Functions, 115-134.
Gorenstein, D. (1968), Finite Groups, Harper and Row.
Green, J.A. (1955), The characters of the finite general linear groups, Trans.
Amer. Math. Soc., 80, 402-447.
Greenberg, M. & Harper, J. (1971), Lectures on Algebraic Topology, W.A.
Benjamin.
Hasse, H. (1980), Number Theory, Springer-Verlag Grund. Math. Wiss. No. 229.
Hilton, P.J. & Stammbach, U. (1971) A Course in Homological Algebra; Grad.
Texts in Math. No. 4, Springer-Verlag.
Holland, D. (1992), Additive Galois module structure and Chinburg's invariant,
J. reine angew. Math, 425, 193-218.
Holland, D. & Wilson, S.M.J. (1992), Frohlich's and Chinburg's conjectures in
the factorisability defect class-group, preprint.
Hunter, J. (1964), Number Theory; Oliver and Boyd.
Huppert, B. (1967), Endliche Gruppen I. Springer-Verlag.
Hyodo, O. (1987), Wild ramification in the imperfect residue field case, in Galois
Representations and Arithmetic Algebraic Geometry (ed. Y. Ihara), Adv.
Studies in Pure Maths. No. 12, Kinikuniya Co., 287-314.
Illusie, L. (1979), Complexe de de Rham-Witt et cohomologie cristalline, Ann.
Sci. Ec. Norm. Sup., 12, 501-661.
Isaacs, I.M. (1976), Character Theory of Finite Groups Academic Press.
Iwasawa, K. (1986), Local Class Field Theory, Oxford Math. Monographs,
Oxford University Press.
Kato, K. (1987), Swan conductors with differential values, Advanced Studies in
Pure Math., 12, 315-342.
Kato, K. (1989), Swan conductors for characters of degree one in the imperfect
residue field case, Contemp. Math., 83, 101-131.
Kim, S. (1991), A generalization of Frohlich's theorem to wildly ramified
quaternion extensions of Q, Ill. J. Math., 35, 158-189.
Kim, S. (1992), The root number class and Chinburg's second invariant, J. Alg.,
153, 133-202.
Lang, S. (1970), Algebraic Number Theory, Addison-Wesley.
Lang, S. (1984) Algebra, 2nd ed., Addison-Wesley.
Bibliography
405
406
Bibliography
Index
classification of 319
central simple algebra 309
Chinburg invariant
local 312, 313, 315, 332
global 332
class-group
Hom-description of 115, 116, 147, 343
of maximal order 207, 361
class field theory 262, 348
class formation 300, 400
class number 243, 386
closed subhomomorphism 39
closure 39
coboundary 306, 310
cocycle 308, 309, 317
normalised 397
compact manifold 29
compactly supported cohomology 52
complexification 178
composition factor 316
conductor 247, 389
ideal 335
cone point 198
conjugacy class function 13
contracting homotopy 301
degree 194
de Rham-Witt complex 258
derived series 67
determinant 114, 178
determinantal congruence 121, 129, 130
direct sum 3
discriminant 248
division algebra 309, 311, 315
maximal subfield of 309
division ring 125, 309
Double Coset Formula 19, 22, 194, 214
408
Index
based 365
cohomology 306, 341
exponential 122, 332, 383
exterior power 3, 21, 108
maximal 303
tame extension of 138, 319, 328, 331, 334
totally ramified extension 263
wild extension 331, 332, 336, 361
fixed points 28, 105, 194, 196, 249, 397
Fourier transform 78
fractional ideal 205, 338
principal 206
Frobenius
automorphism 74, 93, 120, 303
Reciprocity 18, 22
Frohlich-Chinburg
conjecture 336
idel 110
unit 112
of a group-ring 112
idempotent 56, 338
indecomposable 4
inductivity 55
in dimension zero 287
integers
algebraic 110
Gaussian 178
unit group of 112
p-adic 111
Index
locally free 113
pullback 234
409
regular 10
restriction of 17
ring 12
symplectic 5, 116, 206, 212, 335
function positive on 116
unit sphere of a 170, 194
unitary 4
Weil 73, 80
character-values of 88
ramification
function 247, 253
group 246, 248
index 123, 256, 263
representation 2
character of 5, 20, 22, 128
centre of 42
complex 5, 13
contragredient of a 22
cuspidal 72, 80, 105
equivalent 2
faithful 294
induced 16
irreducible 4, 20, 89
K-rational 110
monomial 27
one-dimensional 2
orthogonal 5
permutation 2, 29
quaternionic 5, 116
rationality of 110