Beruflich Dokumente
Kultur Dokumente
Eisa ARTIN
JOHN TATE
QA247.A75 2008
512.7'4—dc22 2008042201
Copying and reprinting. Individual readers of this publication, and nonprofit libraries
acting for them, are permitted to make fair use of the material, such as to copy a chapter for use
in teaching or research. Permission is granted to quote brief passages from this publication in
reviews, provided the customary acknowledgment of the source is given
Republication, systematic copying, or multiple reproduction of any material in this publication
Is permitted only under license from the American Mathematical Society. Requests for such
permissIon should be addressed to the Acquisitions Department, American Mathematical Society,
201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can also be made by
e-mail to
© 1967, 1990 held by the American Mathematical Society. All rights reserved.
Reprinted with corrections by the American Mathematical Society, 2009.
The American Mathematical Society retains all rights
except those granted to the United States Government.
Printed in the United States of America.
0 The paperestablished
used in this book is acid-free and falls within the guidelines
to ensure permanence and durability.
Visit the AMS home page at http://vw.ama.org/
10987654321 14131211 1009
Contents
Preface to the New Edition v
Preface vii
Preliminaries I
I. Idèles and ldèle Classes 1
2. Cohomology 3
3. The Herbrand Quotient 5
4. Local Class Field Theory 8
Bibliography 191
Preface to the New Edition
The original preface which follows tells about the history of these notes and
the missing chapters. This book is a slightly revised edition. Some footnotes and
historical comments have been added in an attempt to compensate for the lack of
references and attribution of credit in the original. There are two mathematical
additions. One Is a sketch of the analytic proof of the second inequality in Chapter
VI. The other is several additional pages on Well groups at the end of Chapter XV.
They explain that what is there called a Weil group for a finite Galois extension K/F
lacks an essential feature of a Weil group in Weil's sense, namely the homomorphism
WK,F —r but that we recover this once we construct a Weil group for
F/F by passing to an inverse limit. There is also a sketch of an abstract version of
Well's proof of the existence and uniqueness of his WK.F for number fields.
I have not renumbered the chapters. After some preliminaries, the book still
starts with Chapter V, hut the mysterious references to the missing chapters have
been eliminated. The book is now in TeX. The handwritten German letters are
gone, and many typographical errors have been corrected. I thank Mike Rosen for
his help with that effort. For the typos we've missed and other mistakes in the text,
the AMS maintains a Web page with a list of errata at
http: I/wv. ama. org/bookpages/chel—366/
I would like to thank the AMS for republishing this book, and especially Sergei
Gelfand for his patience and help with the preparation of the manuscript.
For those unacquainted with the book, it is a quite complete account of the
algebraic (as opposed to analytic) aspects of classical class field theory. The first
four chapters, V—VHI, cover the basics of global class field theory, the cohomology of
idéle classes, the reciprocity law and existence theorem, for both number fields and
function fields. Chapters LX and X cover two more special topics, the structure and
cohomology of the connected component of I in the idèle class group of a number
field, and questions of local vs. global behavior surrounding the Grunwald—Wang
theorem. Then there are two chapters on higher ramification theory, generalized
local classfield theory, and explicit reciprocity laws. This material is beautifully
covered also in [21]. For a recent report, see [8]. There is a nice generalization of our
classical explicit formula in [13]. The last three chapters of the book cover abstract
class field theory. The cohomological algebra behind the reciprocity law is common
to both the local and global class field theory of number fields and function fields.
Abstracting it led to the definition of a new algebraic structure, 'class formation',
which embodies the common features of the four theories. The difference is in the
proofs that the idèle classes globally, and the multiplicative groups locally, satisfy
the axioms of a class formation. Chapter XIV concludes with a discussion of the
reciprocity law and existence theorem for an abstract class formation. In the last
V
vi PREFACE TO THE NEW
chapter XV, Weil groups are defined for finite of an arbitrary class formation',
and then, for topological class formations satisfying certain aXIOWN which hold in
the classical cases, a Well group for the whole formation is c'oiistnicted, by passage
to an inverse limit, The class formation can be n'covrred ii its Wril group, and
the topological groups which occur as Well groups are chareu'trrizt'rl by axnnris.
The mathematics in this book is the result of a century of devvlupement,
roughly 1850—1950. Some history is discussed by llasse in [5) and in several of
the papers in [18j. The high point came in the 1920's with l'alotgi's proof that the
finite abelian extensions of a number field are in natural to-one correspondence
with the quotients of the generalized ideal class groups of that field, and Artin's
proof several years later that an abelian Galois group and the cm responding ideal
class group are canonically isomorphic, by an isornorphisin which Implied all known
reciprocity laws. The flavor of this book is strongly irillutneetl by the last bLeps in
that history. Around 1950, the systematic use of the eohomology of groups by
Hochschild, Nakayama and the authors shed new light. It enabled many theorems
of the local class field theory of the 1930's to be transferred to the global theory, and
led to the notion of class formation embodying the conunon features of bol h theo-
des. At about the same time, Weil conceivcd the idea of Weil groups and proved
their existence. With those two developments it is fair to say that the classical
one-dimensional abelian class field theory had reached full maturity. '['here were
still a few things to be worked out, such as the local arid global duality theories,
and the cohomology of algebraic tori, but it was time for new directions.
They soon came. For example:
• Higher dimensional class field theory;
• Non-abelian reciprocity laws and the Langlanda program;
• Iwasawa theory;
• Leopold's conjecture;
• Abelian (and non-abelian) t-ad.ic representations;
• Lubin-Tate local theory, Hayes explicit theory for function fields, Drinfeld
modules;
• Stark conjectures;
• Serre conjectures (now theorems).
Rather than say more or give references for these, I simply recommend what
has become a universal reference, the internet. Searching any of the above topies
is rewarding.
John Tate
September 2008
Preface
This is a chunk of the notes of the Artin—Thte seminar on class field theory given
at Princeton University in 1951—1952, namely the part dealing with global class field,
theory (Chapters V through XII) and the part dealing with the abstract theory
of class formations and Well groups (Chapters XI11—XV). The first four chapters,
which are not included, covered the cohomology theory of groups, the fundamentals
of algebraic number theory, a preliminary discussion of class formations, and local
class field theory. In view of these missing sections, the reader will encounter missing
references and other minor flaws of an editorial nature, and also some unexplained
notations. We have written a few pages below recalling some of these notations and
outlining the local class field theory, in an attempt to reduce the "prerequisites"
for reading these notes to a basic knowledge of the cohomology of groups and of
algebraic theory, together with patience.
The reason for the long delay in publication was the ambition to publish a
revised and improved version of the notes. This new version was to incorporate the
advances in the cohomology theory of finite groups which grew out of the seminar
and which led to the determination of the higher cohomology groups and to a
complete picture of the cohomological aspects of the situation, as outlined in Tate's
talk at the Amsterdam Congress in 1954. However this project was never completed
and thus served only to prevent the publication of the most important part of the
seminar, namely Chapters V through XII of these notes, That this material finally
appears is due to the energies of Serge Lang, who took the original notes, continued
to urge their publication, and has now made the arrangements for printing. It is a
pleasure to express here our appreciation to him for these efforts.
Two excellent general treatments of class field theory, which complement these
notes, have appeared during the past year, namely:
Camels and Algebraic Ntmber Theory, Academic Press, London, 196?.
(Distributed in the U.S. by the Thompson Publishing Company, Washington, D.C.).
Weil, Basic Number Theory, Springer4'erlag, Berlin/Heidelberg/New York, 1967.
VII
Preliminaries
1. Idéles and Idèle Classes
A global field is either a number field of finite degrcw' over the rational field
or a function field in one variable over a finite conat ant field. Such fields have
primes and corresponding canonical absolute values mi wiucli product
formula holds. A local field is the completion k a prime p.
Thus a local field is either the real field IR, the complex Held C, a finite extension
of the rational p-adic field Q,,, for some prime number p, or a field of formal power
series in one variable over a finite constant flea In other words, a local field is a
locally compact non discrete topological field.
The tdêle group and the zdèle class group of a global field k are denoted by
J = .J, and C = Ck respectively. The absolute value (or volume) of an idèle a is
the product of the absolute values of its components: lal In view of
the product formula, the absolute value of an idéle depends only on its class. We
denote by J° (resp. C°) the group of idèles (rep. idéle classes) of absolute value 1.
By a finite set of primes S of k we menu a non-empty set, containing
the arch.imedean primes in case k is a number field. The group of S-Idèles,
4,5 fl k x fi
4 =pES
consists of the idéles whose components are units for p S. The group of S-idèle
classes,
Ck,s = Cs = k*Js/k* .Js/k fl J.q 4/k;
consists of the idéle classes which are represented by S-idèles. Notice that =
kt fl 4 is the group of S-units of k, i.e. elements of k which are units for all
p g 5, and that C/C5 i/ks..!5 is isomorphic to the group of divisor classes in
the Dedekind ring formed by the elements of k which are integral for p S.
We give J the unique topology such that, for each 8, 4 is open in J and the
topology induced on 4 is the product topology. Uniqueness because J = .Js
Existence because the group of units is open in for each non.archiinedvan p.
Note that J is locally compact because each U,,, is compact, and each k is locally
compact.
Applying the product formula to a — 1 for a e k, a $ 1, one proves that k
is a discrete subgroup of J. The theorems on finiteness of class number and the
existence of units can be used to show that C° J°/k is Of course,
C/C° J/J° is isomorphic to or to Z in the number field and function field
cases respectively.
If K is a finite extension of k, then there are injections Je, — and (7&
CK, and in each case the smaller group maps houneornorphically onto a
PRELIMINARIES
subgroup of the larger one. If K/k is Galois, the Galois group C operates on K,
Jjc, and CK, and we have k 4 and (7k The first of these
isomorphisms follows from Galois theory, the second from definitions of idèles and of
the imbedding Jk C Jic, and the last follows from the first two in view of "Hilbert's
Theory 90": 1I'(C,K') =0.
If S is a finite set of primes p of k, we let the same symbol S stand also for the
set of primes ¶33 of K which divide some prime p S. With this understanding we
have
J,c,s fl(fluqj)
VeS ¶flS peS VVS
and consequently
fl irQ, xH
peS VIp
Now the operation of C on permutes the factors, and the subgroup of
C consisting of the elements which carry a given factor into itself is the de-
wmposition group Gcp of ¶33. It follows that K is the C-module "induced"
by the 1(1 and the cohomological theory of induced modules (some
time referred to as Shapiro's Lemma, referred to in these notes by the catchword
scmiocal theory) shows that we have isomorphisms
(pip
for any fixed prime t33 dividing p, and similarly
Hr Hr(G(p,u(p).
These isomorphisms are canonical, coming from the restriction from C to and
the projection of the ¶33-factor. By the theory of local fields, we have =
0 for r > 0 if K(p is unramifled over and therefore if our set S contains all primes
p of k which ramify in K we have
Ir(G,JK,S) fl H Jr(C,,Kj.
peS (pap peS
Passing to the direct limit over larger and larger 5, we find for r > 0:
H'(G, Jx)
S
Hr(G, JK,s) II
p
K&)
where denotes direct sum, and for each p of k, denotes a selected prime
of K above p. In this way, the Galois cohomology of the idéles is reduced to
the cohomology of the local fields. The isomorphism is of course functorial and
commutes with restriction, transfer, and inflation in the k C L c K situation in
the obvious way: A global restriction from GK/k to CK/L is reflected in the local
restrictions from CKc9/kp to The global transfer in the other direction
is reflected, for each p, in the sum over the primes q of L dividing p, of the local
transfers. The global inflation corresponds to the totality of all local infiations.
Let IZ be an infinite extension of k. The idele group Jr1 is by definition the union
of the idèle groups of the finite subextensions K/k of 12/k, and the same goes for
the idèle class group C0. ñ is a Galois extension then its Galois group G =
t COHOMOLOGY $
2. Cohomology
In the proof of the main theorem, p. 154, we refer to the folhMng reucult in the
cohomology of finite groups.
THEOREM A. Let C be a finite gnnsp, and let Ax B - ' C be a C-pairing of two
C-modules into a thin!. Let a A). Then for each q Z and ear/i subgroup
S C C the cup product with the restriction of a to S yields a homonwrphism
aq,s: JP(S, B) —' C).
Suppose for some qo that the maps czqo..i.s are surf ective, the maps are bijec-
tive, and the maps aqo+1,s are infective for all subgroups S. Then the maps czq,s
are bijectzve for all q and ailS.
The proof is not difficult. By dimension shifting, one reduces to the ernie p =0,
in which case aq,s is just the map induced by some G-horruimorphis;u f: IS —' C.
Adding to C a cohomologically trivial module into which II we see that
it is no loss of generality to assume that f is an injection. We then consider the
cohomology sequence associated with the exact sequence
is given by
From this formula we obtain a conceptual proof for the periodicity of the co-
homology of cyclic groups:
THEOREM B. Let C be a finite cyclic group of order n, and A a C-module, and
w a generator of C. Let x be the character of (3 stir/a that I/n (mod 1).
Then the cup produc2s with 6x and with give mutually inverse isomorphisms
zt
LJSx
U',
Indeed, we have U ox 5x U C,, = 1 (mod n) In this case.
Now let K/F be a normal layer in a class formation For each a Ap, we
let (a, K/F) denote the element of corresponding to the residue class
of a mod NK/FAK under the norm residue isomorphisni (.). Then (a, K/F) is
characterized by the fact that
x((a, K/F)) = invp(xa U ox) for all x C
where no denotes the 0-dimensional cohomology class corresponding to a. Indeed,
if (a, K/F) = a mod (3C then by definition, sea = where a is the Fundamental
class of the layer, hence
xaUOx = ati
UOx =
and this 2-dimensional class does have invariant x(a) because a baa Invariant 1/n.2
3. The Heitrand Quotient
The Herbrand quotient is used so frequently in clans field theory that we recall
here its definition and properties. If f is an endomorplusm of eui abilnut group A,
we shall denote its kernel and image by A1 and A1 respectively.
Let f and g be endomorphisrns of an abelian group A such that fg —0=9/.
Then the Herbrand quotient is defined by the expression
q(A) = qj,9(A)
=
provided both indices are finite.
Special Case: Gis a finite cyclic group of order n. A is a C-module, f = 1 — w
and = 1 + + -. . + where w is a generator of C. We have
ff°(G, A) Jf2((3, A)
A3/A1 ff'(C,A) H'(C,',A)
and thus the Herbrand quotient is denoted in this ease by 1(C, A) or by "2/I (A),
because it is the ratio of the orders of the 2- and 1-dimensional cohomokigy groups,
and so appears in many applications.
2The interpretation of the Nakayama reap as the cup product wIIb(. gives a quick proof
of the theorem of Akizuki-Nalcayama mentioned in the previous footnote Indund, denoting the
class of a by 6x we have
(ç0 Jx)anR(o)n
Hence, if a is of order vi = IGI asid ç, . a = 0, then k(a) is an integer, i.e., a 0, for ill x
t7EG'. EG'.)
PRELIMINARIES
The basic properties of the l-lerbrand quotient result from the fact that it is
the "multiplicative" Euler—Poincaré characteristic of the circular complex
f
A
i.e. is the ratio of the orders of the two cohomology groupa of the complex. Thus,
by usual arguments, we find:
THEOREM q.1. Suppose in the following diagram the horizontal rows are exact
and the horizontal arrows commute with the vertical arrows:
o it" A A', 0
o A' A" —÷ 0.
A
Then q(A) = q(A')q(A") in the sense that if any two of the three quotients are
defined then the third is o./.so and the above equality,i holds.
THEOREM q.2. 1/A is finite, then q(A) =1.
It is an elementary exercise to prove:
THEOREM q.3. If g and h are commuting endomorphisms of an abelian group
A, then
= qo,9(A)qo,a(A)
in the sense that if either side is defined then the other is also, and equality holds.
We sketch a proof of the following theorem which generalizes a theorem of
Chevalley (Class Field Theory, Nagoya, 1953—54, Theorem 10.3).
THEOREM q.4. Let G be a cyclic group of prime order p, and let A be a C-
module such that is defined. Then and are defined and we
have:
= 'A0
=
3. TEE HEEBRAND QUOPIEWP
But the endomorphism I ÷ ço + + 9r4 annthilates A' ' so that we can view
as a module over the ring ZjX]/(1 +X+ '), 1e we can treat
a primitive p-th root of unity, and we are to prove
= (qo,i_,(A'
But this follows from Theorem q.3 because in the ring of integers in the field of p-tb
roots of unity, the factorization of p is given by p = (1 - wt
where e is a unit.
Another proof can be found in notes of Serre's course TMHonzologie des groupes,
applications arithmetiques", College de France, 11)58—59
Theorem q.4 gives the fastest known proof of the basic lemma (Chapter V, §3)
in the proof of the global first inequality in case of cyclic extension of lrine degree
which is the only case necessary. To compute tho herb: and quotient (Ks) of
the S-units one needs only know the ranks of the finitely generated groups K5 and
= because qo,p depends obviously on the rank. The details cata he found in
Cheva.Hey's Nagoya book.
Another application of Herbrand's quotient is in the computation of the power
index
(if :
in a local field At Since this index is used at the end of the proof of Lemma 2,
Chapter VI, § 3 we outline the computation here. Let k be a ntna-archimedean local
field, let U be the group of units in k, and for each integer s? 1, let U1 .- 1 + p'
be the group of units congruent to 1 mod We let / he the map f(x) = 1 for all
zek*,andg(x)=C. Then
(if
We observe that the denominator is the order of the group of n th roots of unity
ink. Nowfor any i,
qo,n(k) =
= (finite
=
n prime to the characteristic of k, then the map x —. a" maps
Ug isomorphicaUy onto where m = ord&(n), as one siw's for example by the
binomial series for (1 + i)" and (1 + t)'1'. Hence
= (U1 = (o : p)tm = (o : no) — l/Hs
where f denotes the normed absolute value of it in At Thus finally:
(Ic' :1)
because is the image of coj,p under the canonical map GL/F —* CK/F, and
inflation of za U amounts to viewing a character xof GK/F, as a character of
GL/F by this same canonical map. Hence
= U H2(GK,#F, K)
K/F unramthed
the subgroup of the Braner group H2(*/F) consisting of the elements coming from
unramified layers. We obtain an isomorphism
invp: -. Q/Z
(surjectivity because there exist unrainified extension of arbitrary degree).
To complete the proof of Axiom II', we must show that the invariant multiplies
by the degree IE: F] under restriction from F to F. This follows from (**) when
one takes into account that ordE = e ordp, where e is the ramification index, and
that, under the canonical map GKE/E Gjqp the image of WKE/E is c/F where
/ is the residue class degree. Hence the invariant multiplies by ef [F: F].
This just about completes our introductory comments. Concerning the exis-
tence theorem, we have given in Chapter XIV, §6 an abstract discussion which
shows that the existence theorem follows in abstracto from Axioms lila-Tile. In
both global and local class field theory, these axioms are all trivial to verify except
for Lild. The proof of this axiom in the global case is carried out in Chapter VI,
§5. In the local case, it is not covered in these notes, but would follow readily from
the theory of the norm residue symbol in Kummer fields.
Chapter XIII and Chapter XV are not needed for the remaining parts, but note
that there is a proof of the principal ideal theorem in Chapter XIII.
We hope that the preceding remarks will to some extent reduce the inconve-
nience which the reader will suffer from the missing portions of the notes, arid other
imperfections occurring in them.
CHAPTER V
We let and h2 denote the orders of the first and second cohomology groups.
abbreviates h2/h1. We wish to determine the order h2(C, C) of C), and
it will be shown in this chapter that h2(G, C) ) it. In feet, we prove
THEOREM 1. Let k be a global field and let K/k be a cyclic cxtenaon of degree it
with group C. Then
h2(G,Cg) n hi(G,Cx)
or in other words,
h3/l(G,CK) = n.
To simplify the notation we omit C and write ?i1(C) Instead of 111(C, C) when-
ever C is the group of operators.
We shall prove this inequality first in function fields, lxx'.ause considerable aim-
plifications occur in this special case. Afterwards, we shall give a unified proof for
all global fields.
We shall make constant use of the properties of the Index developed on
pages 5-7 (Section 3 of "Preliminaries"), and recall here the three most important
properties for the convenience of the reader.
PR0PERn' I. The index 113/1 is multiplicative In other words, if A is an
abelian group on which G acts, and A0 is a subgroup Invariant under C we have
=
in the sense that if two of these quotients are finite, then so Is the third, sad the
relation holds.
PROPERTY 2. MA0 is a finite group, then h311(A0) a 1, sad henos 113/I (A) =
(A/A0).
PROPERTY 3. If A Z is infinite cyclic and Gopnatn trivially, then ?t311(Z) =
it is the order of C.
flu, =1. Then Jo U obviously, and Jo K' by the product formula. Hence
UK'.
The multiplicativity of h211 gives
=
and it will come out that all three quotients on the right are finite.
To begin with, J/Jo is C-isomorphic to the additive group of integers Z with
trivial action under C, via the degree map. Hence
h211(J/J0) = vs.
Since the number of divisor classes of degree zero is finite, Jo/UK' is a finite
group. Hence
h311(J0/UK') = 1.
The factor group UK'/K' is to U/(U n K') and hence
u=[J(ll
P PIP
up)
and we have
fl'(U)
where e, is the ramification index. But Cp 1 at almost all p. This shows that
h2(U) and h1(U) are both equal to and therefore that h211(U) = 1, as was
to be shown.
If we piece together the information just derived, we get the desired result:
h211(C) h411(J/K') = vs.
t FIRST INEQUALITY IIJ GLOBAL PIELDS 13
fl K; = H (H K;').
pES Ply
Let K; be any one of the fields K, and let be its local group. The semilocal
theory shows that
h2/1 (c, fi K;) H fl K;) = fl K;).
PES p€5 pC$
From the local theory we know that K;) = flp is the local degree, and
K;) = 1 is trivial. Hence
H "r
yES
We shall therefore have annpleted the proof of the first inequality If n aicceed in
proving the following
LEMMA. Let S be a finite set of primes of k including all arrisimedean primes
arid let K/k be a cyclic extension of degree n wtth group C. Then
= (fl
pES
V. TEE FIRST FUNDAMENTAl4 TNEQIJALITY
PRoOF. Let $ be the number of primes ¶)3 of the set S in K, and let R' be
1
the additive group of Euclidean s-space. Let be a basis of R" and map
the 5-idéles of K into R3 as follows:
a- L(a)=
'13ES
= E log UJPX!pe
= L(a)°.
This proves that L is a C-homomorphism of into R.
The image L(K3) is a lattice of dimension s — 1 in R, according to the Unit
Theorem (see 116, p. 104] or [5, proof of theorem, p. 721). This lattice is contained
in the hyperplane RI-I of all elements such that = 0 because of
the product fonnula, and consequently the lattice L(Ks) spans this hyperplane.
The kernel of L in Ks consists of all roots of unity and is a finite group. The
map
K5 —+ L(K5)
Is a C-homomorphism and L(K5) is G-isomorphic to K5/(roots of unity). Hence
frt,ii(L(Ks)) =
because ofafinitegroupis 1.
We now face the task of determining hzp(L(Ks)). We first extend the 8— 1
dimensional lattice L(Ks) to an s-dimensional lattice M as follows. We let X =
Then the vector X does not lie in the hyperplane R't spanned by L(Kg).
We let M be the lattice generated by L(K5) and by X, i.e.
M L(Ks) + IX (Z are the integers).
Then M is s-dimensional, and spans R'. Since XC = X for all a E C, M is
Invariant under G and both L(Ks) and ZX are C-modules. The module ZX is
tThe key idea in this proof is that for a finite cyclic group G and a finitely generated C-
module M, the }Ierbrand quotient h211(G, M) is defined and depends only on the R(G).module
M R (see, for example, [5, Cli. IV, Sect. 8, Prop. 12]) In fact, if C is of order it, generated by
c, and the characteristic polynomial of a acting on the vector space M ®ia is 4'(z) = (z— 1)'hP(z)
with t(l) 0, then
h211(C,M) =
For example, if 4'(z) = —1, then = n/r.
3. FIRST INEQUALITY IN GLOBAL FIELDS 1$
= mrIxcI e R.
E etC
r"—v
IS V. PEtE FIRST FUNDAMENTAL INEQUALITY
as was to be shown.
All that remains to be done is to show that the vectors are linearly mdc-
pendent. Given a relation
E 6X+ >
1,0=13
> bXqj+Cqj
= p0=13
= + C1
where C13 is a vector such that (7q4 Substituting in the relation yields
(2) 0= +
13
Let (C13, be the component of C13 along X13. Since the vectors are inde-
pendent, the component of each X13 Id (2) must be 0. It is
x,p[npb + X13)]
The first inequality implies therefore that the norm index (,Jk kNJK) of a
cyclic extension is greater or equal to its degree. in particular, if this index is 1,
then the cyclic extension is trivial, and [K k] = I also. This remark is used to
prove an important consequence of the first inequality.
4. CONSEQUENCES OF ThE FIRST INEQUALITY 1?
is the local degree and is strictly less thanjf. Hence ((Kflk,) : *4 > I and therefore
Fc This would mean that all but a finite nwziber of prime split completely
in F, and this is impossible. C
The next theorem will be used in the proof of the second inequality.
THEOREM 4. Let K1,.. . ,K,./k be r cyclic eztension.c of prime dnjree p which
are mutually disjoint over k, I.e. n (K1 ... Ks.. K,.) a. k Then there exist
infinitely many primes p that split completely in K, (s> 1) and vrtnain prime in
K1.
PROOF. Let K = . .be the compositum of all K,,. Then K/(K2 .. . K,.)
. K,.
is cyclic. Let q be a prime in (K2.. . Kr) which remains prime K and which
divides a prime p of k which is unra.mified in K. (There exist inllmtely many such
primes.) Then Kq/(K2. . . K,.)4 is cyclic of degree p. Rut K,fk, Is also cyclic
because p is unramified in K. The Calois grou;i øf K/k Is of type (pp p)
and that of Kq/kp a cyclic subgroup. This means that (K, k,J p. 'logether
with [K, : (K2 . K4,j = p this shows (K2 .. . K,.), — k,. It follows that p splits
. .
We shall now perform certain trivial reduction steps showing that it suffices to
prow the inequality in cyclic fields of prime degree 1?. If £ $ p, we may even assume
that k contains the £-th roots of unity.
LEMMA. If E/k is any finite extension of degree m, then ((3k NE/kCE) is
finite and divides a power of m.
To prove the norm index finite it suffices to prove it for normal exten-
sions (because if K B and K/k is normal, NCK C NE/kCE). In the later case,
let S be a finite set of primes including all archimedean primes, all ramified primes,
and enough primes such that'
JK=KJL
Then kNJK = . NEC . = whence
by an argument similar to that used in the first inequality (V, 3). This proves the
finiteness. 0
The norm index divides a power of the degree because for any a E Ck, am E
NE/kCE.
LEMMA. Let E F k be two finite extensions. Then:
1. ((3k : NF/k(CF)) dindes (Ck :
2. ((3k : NE/k(CE)) divides (Ck : Np/k(CF)) . (CF : NEIF(CE)).
Corwequently if the inequality holds in the steps of a tower, it holds in the tower
PRooF. If K/k is cyclic of degree £ then the norm index of K/k divides that
of K(c)/k which in turn divides the product of the one of k(Cj/k and the one of
K(()/k(C). The norm index of k(()/k is prime to £ since the degree is prime to £.
The norm index of K/k is a power of £ and divides therefore the norm index of
a cyclic extension of prime degree £ of a field containing (. 0
2. Kuinmer Theory
Let k be any field with any characteristicp, K/k an abelian extension of k (finite
or infinite) and C its (3alois group with the Krull topology. We shall consider only
cases in which C is of finite exponent it, meaning by this that a" = 1 for all a C.
We shall give an algebraic characterization of these extension fields K/k in two
certain special cases.
a. p{ it and k contains the primitive n-th roots of unity. The n-th roots
of unity form a multiplicative group of order ii in k and we use it as value group
for the characters of C,
if is a character, its value is in k, so that it is invariant under the action
of C. This implies x(crr) = x(o)x(r) = and shows that the function
xfr) is a continuous 1-cocycle of (G, K'). flt(G, K') is trivial. Consequently
there exists an a E K' such that x(a) = a1 This a is not arbitrary, since
= (x(rr))" 1 for all a G, so that a" is in k.
This suggests that we introduce the discrete multiplicative group A of all a
K' such that a" k. We have then x(a) = with a & A. If we form conversely
with any a A the function x(a) = then this function is continuous on C
since its value is 1 on the subgroup of C that has the field k(o) as fixed field. It
satisfies = = 1. is therefore an n-th root of unity in k and
consequently invariant under the action of C. Finally x(c)x(r) = x(a)(x(r))a =
= = x(ar), in other words, x(a) is a character of C.
We introduce now the symbol:
(a, a) =
and see that it defines a pairing of the groups A and C into the roots of unity of k.
The kernel of A in this pairing, the set of all a e A with a1° = I for alla €0,
is k (k C A is trivial). In order to find the kernel of C let a0 be an element $ 1.
By the Duality Theorem, there exists a character x such that x(ao) I. We have
shown above that x(a) = for some a. This shows that is not in the kernel,
in other words that the kernel of C is 1.
Let now H be a closed subgroup of C and H' the orthogonal group to H under
our pairing. Then k' C H1 C A and any subgroup of A that contains k will come
from precisely one closed subgroup H of C namely its orthogonal group. We adjoin
the elements of H' to k and obtain the subfield k(I! I) of K Whirli subgroup of
G determines this subfield? It consists of those elerne,its a of C which leave every
element of Jfr invariant. The translation of this statement into tile language of the
pairing shows that the group in question is orthogonal to H According to the
duality theory it is therefore If. We have therefore a 1 1 correspondence between
the subfields of K/k and the subgroups of A that contain k'.
The connection between the structure of C and that of A is given by
A/k' O
VI. SECOND FUNDAMENTAL INEQUALiTY
If we start with art additive group A of k which contains pk, we form in the
algebraic closure of k the group where the symbol means all solutions of
p(x) =9 --x = cz. We form the field K = and arrive by completely similar
arguments at the theorem:
THEOREM 5. Let k be a field of characteristic p> 0. There is a 1—1 cone-
sponder&ce between the additive subgroups A of k which contain pk, and abehan
extensions K/k with groups of exponent p. The correspondence is given by
A-' KA=k(!A
'p
3. Proof in Kummer Fields of Prime Degree
Let k be a global field, of characteristic p (= 0 or > 0). Let n be an integer,
flit. denotes a primitive n-tb root of unity. We assume lies in k.
We shall introduce auxiliary groups of idèles in the following way. Let S be
a finite set of primes containing at least all archimedean primes and divisors of n.
This set S is split up into two disjoint sets 51 and S2, one of which may be empty:
S = 5i US2. Let i stand for one of the two subscripts 1, 2 and call j the other. We
define the group to be the group of all idbles a such that
1. a is an n-tb power at all p
2. a is a unit outside 5,
whereas no condition is put on the primes of We see that D1 can be written
naturally as a product:
D1= fl krx flk; x
pcS, pES, flS
An element a D1 can be written a = b" with b k, and c x
flflS Up.
We put A1 = D1 fl k. It is clear that D A1 lv? and we know from the
Unit Theorem that is finite. In fact is a free abellan group on s — 1
generators if S consists of 5 primes, modulo the roots of unity. Since k contains
the roots of unity form a cyclic group of an order divisible by n and this shows
(1) (kg:14'1)n8.
The extension K1 = is a finite Kurruner extension, belonging to A1k".
We obviously have Ii lv" = From this we get for the degree
[K1: = : lv?),
(A1
by Theorem 3, Corollary 2. In addition, from Theorem 4 we obtain a crude de.
acription of the splitting of primes in K1 as follows:
If p 5, then p is nnramified in
If p then p splits completely in K,.
In a similar way we define We denote the idèles of and by .J1 resp.
and norms from these fields to k by N1 resp.
The proof of the second inequality is contained in the following lemmas.
LEMMA 1. Let K/k be a finite abelian extension of exponent n (i.e. a" = I for
silo G). Let a .Jk. Then C k'NK/kJJc.
3. PROOP IN ICUMMER FIELDS 0!? PRIME DEGREE
PROOF. We first note that even though G has exponent a, it does not mean
that G is of order a. If C has order a, then the lemma is of course trivial.
If we wish to use local class field theory, we can even prove that atm NJK.
Indeed, 4' E K;, so the lemma is obvious. We can give an elementary proof,
however. Let a k be such that aa is close to 1 at all ramified primes. Then
is norm at these primes.2 At the other primes, the local extension is cyclic,
and therefore has a degree dividing a. Hence (cia)" is a norm at the unrarnified
primes also. This proves the lemma. U
The next lemma is fundamental, and shows how the Kummer theory of the two
fields intermingles with their class field theory.
LEMMA 2. Let k contain the n-A roots of unitp, p $ a. Let S be a finite set of
primes including
• all n and all archime4ean primes,
• enough primes so that = k'4.
Let S = U S2 as above. Let K4 = k(zhr). Then
1.
((Jfnk') :(04flk))
— (4 : D4)
— llpcs,( p p . LSTI
—
=
[K4 :
We form now the analogous expression for (.Jk ; kD,) awl multiply the two
formulas. This yields
=
(4 : ; Ff02) ; kJ[K2 k].
Ch. 11, Sections 4 and 5, for the details djust how rice to I (tsr needs to be. But
the fact that * it is open is more elementary. For example, it contaIns 14" "PJ which it
compact of finite index in Ui,, hence open
VI. SECOND FUNDAMENTAL INEQUALITY
(k, 14') =
flinip=HInjp=1.
pEES p
and consequently
fl (14 : =
The second inequality will now be an immediate consequence of the next lemma.
Note how the Kuinmer theory relates with D1 whereas the class field theory
relates with 1)3. 0
LEMMA 3. Let n be a pitne. Let k(ç/&) = K be any given Kttmmer extension
of degree n. Then there exist two disjoint sets of pnmes
S satisfies the condition of Lemma 2, for which .4 = kD1, and for which the
associated field K1 happens to be K.
Before proving this lemma we indicate right away how the second inequality
follows from it. Since 4 = k*Di C . N2J2 we have (4: N2J2) = 1. By
.
the first inequality this implies that "2 = k. The last line of Lemma 2 reads now
(4: k*N1J1) ( [K1 : k] and this is the second inequality since K = K1. (The
divisibility follows from the first lemma of this chapter.)
We look now at the structure of the groups Js1, A and .1st fl D1:
J81
= fl k; X 12
pESt
x fl
pgS
But 5 has to lie in A1k" which implies that S must be an n-tb power at every prime
qj S2 (i 1). At qj every with j i is an n-th power and is not. This
shows &3,.. . u,, are divisible by n.
that 1/2, Since n-tb powers ('an be absorbed
into k" we may now assume S = Such a 6 is indeed in since it is an n-th
power at every prime of S2 and a unit outside S. Since a this proves the
contention. U
Proof in p-extensions
4.
a. Abed pairing.
=
If z k, and y we define
We find easily
WpOt + x', y) = ii) + y),
in") = Wp(X, y) + y'),
and have therefore a pairing of the two groups k into the additive group
If x is an integer of and if y is a i.mit in k then has residue 0 and this
shows the continuity of this pairing.
LEMMA 5. Let x be an integer of Then Wp(x, y) =0 if and only if either
ordy or x = pr/or some z E
Paoor. Letx=ao+a1t+... withageki,andy=flwhereelsaunitof
Then e) =0 and consequently
!dt
çop(z,y)=n x— =nS(a0).
4, t
= 0 is therefore equivalent with p 1 n or S(ao) = 0 and we have to show
cpp(x, y)
that S(ao) = 0 is equivalent with x = pz = — z.
Suppose first x = — z. If the power series for z had poles then these poles
would dominate in z could not be an integer of If 6 is the constant term
of z then a0 = ft —6. Raising into the power p is the generating automorphism a of
the finite field k1/Z,, so that we have a0 = (a — 1)6, an equation which is equivalent
to S(a0) =1) because the additive Galois cohomology groups of a field are trivial.
If we have conversely 8(a0) = 0 then from the last remark = (a — 1)6 = p6
foracertainbe !cj. Letzi =ait+a2t2i-... andput z1 =
This series converges in the topology of and we get easily = 4' — = pzj
and consequently
z=p(b+zi). a
fi. A global pairing. The trace S in (1) can be broken up into the trace from
the residue class field k1 of to the constant field k0, followed by the trace 5' from
k0 down to the prime field Z,.
Let V be the additive group of valuation vectors of k (see [2, XIII, I)) V
with local components We select one of the primes and choose t separating in
k and local uniforrnizing parameter for this prime. Put
= >Tp(resp(ep cAt)).
A(C) takes values in k0, is additive and 1c0-linear and is not identically 0. If
is sufficiently small at all primes where t has poles and a unit at all other
primes, then = 0, since each residue is 0. This shows that A(() is continuous
VI. SECOND FUKDAMENTAL INEQUALITY
/ dt = S%X(e)) = E /Cp
LEMMA 6. 1/4 is a valuation vector such that f 4xdt = S'(A(4x)) =0 for all
zek is ink.
PROOF. We may replace x by ax for any a e k0 and obtain S'(a.A((x)) =0. If
were 0 we would have S'(k0) =0 which is not true since k0/Z, is separable.
Therefore A(4x) =0 for all x k. Theorems 5 and 9 of 12, XIlI, 5] show now that
. U
t is separating in k. horn [2, XVII, 4J it follows that for almost all p the
derivatives jf are local units means a local uniformizing parameter at the
prime p).
if a E .4 is an idhle then its local components up are in k. If we form the
vector with the components
s dt —
then almost all of its components are local integers, it is therefore a valuation vector
that we shall denote by We define now the following pairing between elements
x k and idèles a, into
(2)
The last expression shows that we have indeed a pairing. As for continuity, nothing
has to be shown for the discrete k; if up is very close to 1 then is very close to 0
and a look at the components of the local integrands shows the required continuity
on The most interesting question, that of the kernels is answered by
LEMMA 7. The kernel of in our pairing (2) is precisely k .
that of k
is the additive group pk, i.e. the elements of the form z z k. (Note
that every element of k has period p and that Jk/k* is compact; indeed it is
isomorphic to The duality theory may therefore be used.)
PROOF. I. Suppose a is in the kerneL The valuation vector= has then
the property that 5 dt = for all x k and is therefore an element y of k.
0
Taking the p component of y at the prime p, which has the element t k as local
uniformizing parameter we obtain
I
Weobtai.nforouridèle: Put
= 0. Each component satisfies therefore - 0. This means that each
component is a p-tb power whence c J and consequently a k'
Both and Ic lie trivially in the kernel, Ic for the reason that A is a differential.
2. Suppose x = — z. By the approximation theorem we can find an element
v Ic such that the idèle ya is very close to 1 at all primes where r has a pole. At
these primes then yap) = 0. Furtheremore w(x, a) = w(x, ya) since p is in the
kernel of .4. Then
w(x, a) = E pp(x, yap) = wq(x, yap)
where q ranges only over those primes where x has no pole and is consequently a
locai integer. Lemma 5 shows that each = 0, since x = — z. x is
therefore in the kernel of Ic.
3. Suppose that x is in the kernel of Ic. Then a) =0 for all idèles, especially
the local idéles a, which have only one component $ 1. One obtains therefore that
Wp(X,0p) = 0 for all Up Let p be a prime where x has no pole. At such a
prime Lemma 5 applies and tells that x =4— Zp with Zp Such a prime splits
therefore completely in the global extension and Theorem 2 of Chapter V
Section 4 tells us that this global extension must collapse, i.e. x = — z, z Ic. 0
xek,cEø.
The kernel of Ic is now ph, the same as in the pairing çp(x, a); that of 15 is 1. Under
this pairing the group 15 is naturally isomorphic to the character group of k/pk
(where k/ph has the discrete topology). In the pairing a) the group Jk/k4 is
naturally isomorphic to the sante character group. it follows that one has a natural
isomorphism between 15 and Jk/k*J. If a is the image of the idèle a under this
map then we should have y(x,a) = fx,aJ = (a — We denote this map
by cr(a) and the previous equation describes for us just the effect of a(a) on the
generators of M, a description which determines e(a) completely:
1 1
(3) a(a):
The mapping (3) is actually a mapping of the idèle classes Into 0 with kernel Ct.
We have therefore the theorem
THEOREM 6. The mapping (3) is a bicontsnuous uomorphiam between the
group .1k/k. (or Ck/C) and the Calots group of the vnanmal abettan exten-
sion M of exponent p.
W. SECOND FUNDAMENTAL INEQUALITY
E - Jlog(—1-1)
PET
is bounded on 1 Cs c 1+ e. The set of all primes has density 1. This follows
from the fact that the zeta-function (k(s) = (1 — Nra)' has a simple pole at
$ = 1, so that log (k(s) — log is bounded near s = 1, and on the other hand,
Iog(k(s) differs from by a bounded amount there. A finite set, and any set
of primes of degree> 1, have density 0. The analytic proof that Ii $Ck/NCJC1
is less than it = jK: kl is by showing that the set of primes p of k which split
completely in K has density and the set of primes whose class is a norm from
K has density Since the former set is contained in the latter this implies h n.
A sketch of how this goes is as fellows. Let B be an open subgroup of finite
index in Ck. As explained in (Viii, 2 and 4), we can view Ck/I) as a group C
of classes of fractional ideals prime to a "conductor" m, each class being a coset
of a group of "generalized arithmetic progressions" (mod rn) Let X denote the
character group of C, the analog of a finite group of Dirichiet characters. The
associated L-functions, defined for Re(s) > I by L(a, x) = (I — 'have
similar properties to those of Dirichlet L-functions. They are holomorphic at s = I,
except for x = 1. The zeta function, (k(s) = L(s, 1), has a pole of order 1 there.
34 VI. SECOND FUNDAMENTAL INEQUALITY
L
where h=IX!=ICI=JCk/BI.
Now suppose K/k is a finite extension, and B NK/kCK, so that h is the
norm index. Let T be the set of primes p of k which split completely in K. Each
p T lies below a = [K: k] primes ¶)) of K, each with = Np. Hence, since the
set of all primes of K has density 1,
= !iog +0(1).
=
The primes p T are norms from K, so their classes are norms, i.e. they are among
the primes p with x(P) = 1. Comparing the last two equations we find therefore
S (1 - Lax).
x 1, i.e. L(s,x) does not vanish at a = I, and Ii 5n.
CHAPTER VII
Reciprocity Law
1. Introduction
k is a global field, 11 the separable part of its algebraic closure, and S the Galois
group of 11/k. C0 are the idèle classes of 11, Ccz = UK (K where k C K C 11, K/k
finite and normal.
We have seen in the preceding chapter that (5, C0) is a field formation, i.e.
11'(b, C0) = I for all open subgroups lj of S. It is possible to assign invariants to
the element of N2(S, C0) in such a way that (5, C0) becomes a class formation in
the sense of Chapter XIV. This assignment will be carried out in this chapter.
In function fields, the situation is very much like that in local fields: every idèle
class can be given an ordinal, and the constant field extensions in the large can be
used in the same way as the unramnifled extensions were used in local class field
theory.
In number fields, it turns out that the cyclotomic extensions can be made to
play a role similar to the constant field extensions, in spite of the fact that they
ramify and that they are not all cyélic. (As a matter of fact, the constant field
extensions themselves are cyclotomic, i.e. they are obtained by adjoining roots of
unity.)
It will therefore be necessary to prove first the reciprocity law for cyclotomic
extensions of the rational numbers. This is done in 2. The proofs proceed in a
completely elementary fashion, except at the very last argument where the second
inequality is used. From then on the reciprocity law can be proved for normal
extensions K/k of global fields without essentially distinguishing the two cases. We
first assign invariants to idèle cocycles by taking the sum of their local invariants.
We then prove that number cocycles have invariant 0. This is done by moving a
number cocycle from a normal extension to a cyclic cyclotomic extension, where
this fact has already been proved. We select the auxiliary cyclic extension so that
it splits the cocycle locally everywhere, and then use the triviality of N'(Cx) to
move the cocycle.
By this procedure, we get invariants for idéle class cocycles, whenever these
have a representative idèle cocycle. When they do not, the triviality of 1t'(Cx)
allows us to move a cocycle to a cyclic extension K' on which it splits. In K' the
cocycle has a representative idéle cocycle, and hence may be given an invariant
there. It is easy to show that the invariants thus obtained are independent of
the auxiliary constructions performed, and that they satisfy the axioms of a class
formation.
Knowing that (0, C0) is a class formation, we can apply the axiomatic devel-
opment of Chapter XIV. In particular, we get the triviality of the third cohomology
group i13(G, Cx) in finite layers of the formation.
35
VII. RECIPROCITY LAW
this unramified extension contains the Frobenius substitution which sends each Co
onto Ct. We shall denote by an element of which has this effect on the Co
Our first aim is to prove that 0 is isomorphic to ii in a'natural way.
An element of 0 is determined by its effect on the roots of unity. If C is a
primitive m-th root of unity then the automorphisms of C5 induce of course the
Galois group of Q(C)/Q on this subfield. The following lemma which is nothing
else than the irreducibility of the cyclotomic equation gives the structure of this
&oup:
LEMMA 1. Let C be a primitive rn-Ui root of unity. An automorphism of Q(C)/Q
sends C into a power where n is prime to rn Conversely, to any given n prune
to m there is an autornorphwm a such that C° = In short, GQ(ç)/g (Z/mZ).
PROOF. The first part of the lemma is trivial. As to the second part, it suffices
to prove the statement if n is a prime p that does not divide m. C satisfies the
equation C - = f(x) = 0, and f'(() = is prime to p. The local field
is therefore unramified. Its Frobenius substitution sends C into an m-
th root of unity that is congruent to (P. Since f'(() = ITIM(C — CM) is prime to
p it follows, that no two rn-Ui roots of unity are in the same residue class; (P is
therefore the image of ( under the Frobenius substitution. This automorphism of
the local field induces an automorphism of the global field Q(()/Q and this proves
the lemma. U
For the description of the automorphisms of the infinite field F the exponen-
tiation with integers is not convenient and shall be replaced by an exponentiation
with elements it c 17. Let rn the prime divisors
p of rn and u, the p-components of it. We can find an integer it that satisfies the
simultaneous congruence n it, (mod n e it (mod rn).
This it will be prime to rn and its residue class mod rn is uniquely determined. If
we put C = C then (" is well defined. If conversely an integer it prime to p is
given, there exists a it u such that it n (mod m). Indeed, it suffices to select
Oneverifleseasilythat(Ct=C"
for it and v in U.
According to our lemma we may now say that an autornorphism of Q(C)/Q
sends ( into some power (" and that each it U gives rise to an automorphism
of this field which maps C onto (U. If rn divides m' and if C' is an m'-th root of
unity then Q(() c Q(C'). Let a be the automorphism that sends C' into ((I)U. To
describe it we have to find an nil a it (mod m'). Then = ((')Th'. C is a power
of C' hence C° = C'. Since this it' is also congruent to it (mod in), (C = (U. This
means that the automorphism that it defines on Q(C') will induce on the subfield
Q(() again the automorphism corresponding to it.
Let now a0 be the following map of F into F. If a E r tben a lies in some field
Q(C). The given it defines on Q() a certain automorphism and we let a4a) be the
image of a under this automorphism of Q(C). If a lies also in the field Q(('), we can
find a root of unity Ci such that C and C' are powers of Ci. The automorphism of
Q(Ci) corresponding to it agrees with those of Q(C) and Q(C') sad this shows that
our map is well defined, is an automorphism of F since it is an automorphism
on every subfield Q((). To make its description now very short; sends every
root of unity ( into Clearly a0a,, =
VII. RECrPROCITY LAW
u=
pES
is the complement of S in the set of all primes. As S becomes bigger and bigger
approaches 1. Since a(a) is continuous, = 1. A more highbrow and
more formal argument is the following: The totality of all sets S forms a filter in the
set of all primes. In this sense = I and the continuity implies = 1.
From this we deduce the convergence of the infinite produce fi,, a(a,,) in the sense
of this filter and the formula:
a(a) =
to find an integer n (mod in) and notice that it = e will always do it.
Therefore = (6 or:
= çigu(ap0,)
2. RECIPROCITY LAW OVER THE RATIONALS 39
(p,l,1,1,...)CR+
Since any root of unity C is the product of an m0..th root of unity (o with p{ me
and a f-tb root of unity fr it suffices to give the action of u(a,,) on Co and (,,,.
separately:
We have to find an integer ir' (mod trio) and see that r does it for all trio
if p 0 Hence = cf. The Frobenius substitution p, maps Co onto and
we may also write:
— p p
"0 "O '
a description which remains valid if p C 0 because of the group property.
For the action on we have to find an integer n u;' (mod j/) i.e. simply
a sufficiently good approximation of the p.adic number tç' and we shall leave it at
that. Then
'apt
— ,ç'
½pr
—
tSince these notes first appeared there have been two local approaches found. The first was
by Dwork (71, see also 121, CIt XIII, Sect. The second was by Lubin and Tate [17], see also
[12] and (5, Ch. Vi, Sect. 3]
2Contpletion with respect to the subgroups of finite index: 2= Litu Z/mZ.
VII. RECIPROCITY LAW
Hence .JK) may be viewed as a direct sum of the local cohomology groups
Kr),by assigning to each cocycle class e fl2(G, JK) local components
Cp which determine e completely. We have cp 1 for almost all p.
We recall how these local components behave under inflation, restriction, and
verlagerung.3
Inflation. Let L K A, be normal over k. Let I be a prime of L. A
Local component of JJ1IL c is the local inflation of a local component Cp to
(1)
To discuss the restriction and verlagerung, we suppose that H is a subgroup of
C and that E is its fixed field. Let q p in E.
Restriction. Let c fl2(G, Jjç). The local q component of ReSE c is obtained
by the local restriction of Cp to Eq:
(2) (Ressc)q=ResEqep.
Verhzgerung. Let c fl2(ll, .JK). A local p component of VE/ke is the product
of verlagerungs of the components cq:
the local
This sum is finite because cp = 1 at almost all p, and hence invp c = 0 at almost
all p.
We have trivially
rnvcic2 = invci + invc2.
The map
mc
is a homomorphism of 112(0, .JK) into the rationals mod 1. We note that mc does
not characterize c and that invc = 0 does not imply that c = I. (in contrast with
the local set up).
It is convenient to discuss immediately the formalism of these invariants, i.e.
how they behave under inflation, restriction, and verlagerung. We note that the
invariants we have assigned are functions of K and k. When necessary we shall
write invx,k to emphasize their dependence on particular fields.
5Vertagensng is the term used here for the map which today is called corestriction.
3. RECIPROCITY LAW 43
The next three lemmas are immediate consequences of the local class field
LEMMA 1. Let L K k be normal over k and let c fl2(C, JK). Then the
invarüznt does not change under inflation to L, i.e. IIiVp C = lflVp c, and
IDVL/k JuL C =
PRoOF. ñom the local class field theory we know that the local invariant of
Cp does not change under local inflation to Lqy. The lemma follows immediately
frozu(1). 0
REMARK. Lemma 1 shows that our assignment of invariants is consistent with
the isomorphic imbedding of fl2(G, JK) in In other words, let K1 ft
and K2/k be two normal extensions with groups C1 and C2. Let c1 N2(G1, Jg1)
and c2EN2 (G2,JK3). LetL=K1K2. If
Inft c1 = Inft C2
then invK1/k Cj = 1nvK3/k c2. Hence invpqk is not a function of K but only of k.
We may therefore write legitimately invk instead of invx/k. In particular, given
e If ResK c = 1 we know that c can be deflated to a cocycle class of
fl2(G, .JK) (or equivalently that c is the inflation of a cocycle class of fl2(G, IK)).
To determine the invariant of a cocycle class c, it suffices therefore to determine it
in any one of the layers on which it splits.
For the next two lemmas, we let H be a subgroup of C and E the fixed field.
Let q pinE and let nq = [Eq be thélocal degree of E.
LEMMA 2. Let c c K2(Ø, .Jjc). Then invq Res5 C = Ttq invp c, and
invz ResE c = fE hi c.
PROoF. &om the local class field theory and (2), the statement concerning the
local restriction is clear. We recall the elementary fact that flq = [E: kj and
therefore
invpc) = c= [E: k]invpc.
q)p
q, =PriçResc0x(a)uJx=x(a,)UJxp
where Xv = Res00 If (ar, is the local norm residue symbol, then
invp x(a) U 6x = x(a,) U
= xp((ap,Kp/kp))
= x((ap,
if we interpret (Up, also as an element of C.
To simplify the notation, we shall omit one parenthesis and write for instance
Xp(Ctp, instead of xp((Ilp,
We note that (un, = 1 at all p where is a unit and p is unratnifled,
because Up is then a local norm.
Define
(a, K/k) = fl (ar, Kp/kp).
This product is finite because (up, =1 at almost all p and it is defined
because G is abelian so that the order of the factors does not matter.
3. RECIPROCITY LAW 45
Ex(op,Kp/kp) =
and consequently
mv s4a) U ox = x(a, K/k).
THEoREM 6. Let K/k be a nonnal extension with group C and c fl2(C, K*).
Then invc = 0.
PROOF. The following argument shows that in number fields, it suffices to
prove the theorem in case k = Q is the rationals.
Let L K be normal over Q. Then ml c is an element of fl2(L/k) and by
Lemma 1,
Iflvi InfL c = inv% C.
According to Lemma 3, taking the verlagerung does not change the invariant. The
cocycle class Vk/Q c is an element of N2(L/Q) and we have
mvk C = invQ Vk/Q lrift c.
If the theorem is proved for normal extensions of the rationals, it will follow that
rnvQVk/QInfLc=0,andhencelnvkc=0. 0
We shall now prove the theorem in special cases.
Case 1. k = Q is the rationals, and K/Q is a cyclic, cyclotomic extension.
Any cocycle class c e 712(K) is of type x(a) U where a e Q. We know that
invx(a)uOx = x(a,K/Q)
and we have already remarked that (a,K/Q) =1. Hence mnvx(a)UOx = 0, as was
to be shown.
Case 2. k is a function field and K is a constant field extension (hence cyclic
cyclotoinic).
K/k is cyclic and unramified. Let a Then
(up, = Pp = ord, a,
where 'pp is the Frobenius Substitution and (a,, acts on the residue class
field locally. If q is the number of elements of ko then the residue class field of p
has elements. The effect of on the residue class field is therefore
Vp
) x
and it induces the same effect on the constant field of K.
Any cocycle class cC N2(K') is of type x(a)UOx, a C k. We look at a as an
idèle, a = (...,a, a, a,...), and let Up = a. The product formula gives
=0.
VII. RECIPROCITY LAW
(a, K/k) =
We have defined invariants for elements c N2(JK), and the natural way of pro-
ceeding would be to assign jc the same invariant as c. However, we encounter the
following difficulty: The map j is not always onto. In order to assign invariants to
elements of fl2 (GK) we shall therefore proceed as follows.
We begin by making three auxiliary remarks. The first one is a
corollary to Theorem 6.
REMARK 1. Let L/k be normal with group Gt. Let i E ?(?(GL,CL), and
suppose ë = ft = jd with c, d fl2(CL,JL). Then invtc = invkd. Proof: We
VU. RECIPROCITY LAW
this proves that G is regular. It proves also that given two regular elements, there
exists a common extension L in which their inflation is in the image of j.
We shall now define invariants for regular elements. It will be proved at the
very end that all elements are regular.
Let a R2(CK) be regular, arid let L K be a normal field such that
InfLC=iC
with c 4). We define Lnvk ë to be invkc.
From Remark I, it follows that our definition is independent of the choice of
representative c in the field L. From Remark 3, it follows that our definition is
independent of the choice of auxiliary held L. The invariant depends only on the
field k, and is well defined. -
Given two regular elements ë and d, we can find a field L such that ml L E jc
and Inft d = fd. We then have In.fL(czt) =j(cd) and invkcd = invkc4-invkd. The
map
C —+ C
LEMMA 4. LetH be a subgroup ofG and let E be the 'fixed field. LetE be a
regular element of fl2(CK). Then Hess E is regular, and
lflV5 Res5 E = [E: kl mvk
Paoop. Let L K and suppose JnftE = je, with c fl2(GL,J,j. By the
comrnutativity of lnf, Res, and j we have
Let K' be any cyclic field of degree n over k. (The existence of K' follows from
the proposition concerning the existence of cyclic cyclotomic fields.) Let L = KK'
be the compositum. Let if' 7-12(Csci) have invariant 1/n. Such a if' exists by
Lemma 5. Then if' has also invariant 1/n. It follows from Lemma 4 that
Resg led L d has invariant 0. But UK is cyclic. By Lemma 6 this implies that
Resx IIlfL if' = 1. This means that lnfj. if' can be deflated to K, or in other words,
that there exists ë 712(C,c) such that
InfL e = lnft
Since Irif1, if is a cocyele class of invariant 1/n, it follows that if is regular and has
invariant 1/n. The group generated by a is cyclic of order at least n. The second
inequality shows that the order is exactly n, and that 712(CK) = 712 (Cx) is cyclic.
We have therefore shown that the map
E—+
= E inv,,(x(ap) U 6Xp)
where x,, Resc, x. Ifrom the definition of the local dual mapping it follows that
inv,,(x(a,,)uLx,,) =x,,(a,,,K,,/k,,) =
Hence
inv(x(a)UJx) = Ex(op, K,/k,,) = x(fl&ip1 Ky/k,))
aswastobeshown. 0
COROLLARY 1. Let K/k be finite abelkn. U an element a E k is a local norm
at all primes but one, then it is also a local norm at this prime.
PROOF. This is an immediate consequence of the product formula for the norm
residue symbol,
1 = (a, K/k) = fl(cr,
PROOF. The product is finite on every finite subfield of Ak, and hence converges
In 0. Since
(a, k) = fl(ap, k,)
COROLLARY 3. The norm residue symbol gives a continuous map from Ck into
6.
PROoF. Let 1) be a neighborhood of lint, i.e. an open subgroup of finite index.
Let K be its fixed field. Let a lip is unrainified in K, and 0p is a unit then
= I. lip is unraniifled, we have therefore C Ij, lip is rantified,
it follows from the local theory that there exists a neighborhood of I such that
= 1. Hence C If we put N = Up unram Up )< N,, then
N is a neighborhood of 1 in 4 and (N, k) C b. Since Ck has the factor topology,
and (k, k) = 1, the corollary is proved. 0
Let K/k be an abeian extension. Let a 4. Then (ap,K,,/k,,) = is an
element of the local group C,,. Tithe idéle a is a field element a k, then fl, c, =
fl,,(a, = 1. Conversely, given a set of local autornorphisms Up C,,, we
wish to determine when there exists a k such that (a, K,,/k,,) = Up. It turns out
that the obvious necessary conditions to be placed on the are also sufficient.
THEOREM 10. Let K/k be a finite abelian extension with group C. Given a set
of av.tornorphisnis G,, for each p such that
1. almost all op=l
2. flpUpI
there exists a c k such that (a,K,,/k,,) = Up.
Pn.ooF. By the local class field theory we can obviously find an idèle a .Jk
such that (ap,K,,/k,,) = But (u,K/k) = fl,,ap = I implies that a lies in
the kernel of the norm residue symbol, i.e. a C k*NJ,c. We can therefore write
a = aNa for some a k*, a JK. Locally, (Na,,,K,,/kp) = 1 and consequently
(a, K,,/k,,) = a,, as was to be shown. 0
Tho elements a of k' for which (a, K,,/k,,) = I at all primes p are k' fl NJK,
the elements which are local norms everywhere. The conditions under which these
elements are also global norms will be discussed latex in this chapter.
112(Cx) —L fl3(K')
tx/k has invariant 1/n. All we need to do is select a field L having local degrees at
least a Then lUlL cK/k has also invariant 1/n, and is now in the image of j. It is
consequently in the kernel of 5, as was to be shown. 0
CHAPTER VIII
Conversely, let N2ta = aØJ. Then a/fl is a local norm at all primes but p.
By the product formula for the norm residue symbol, we know that a/fl is a norm
at p also. This implies that ap is a local norm, and conchides the proof of the
theorem. 0
The Ramification Theorem now shows how the splitting of a prime p in a class
field is reflected in its idèle class group.
THEOREM 3. Let K/k be an abelian extension belonging to the group B =
NCK. A pnme p is unramifled in K if and only if U,, c B. p splits completely
in K if and only if k,,' C B. (If p is archimedean, the two notions coincide, and
U,,=k,,.)
PROOF. If p is unramified, then all local units are local norms. Hence U,, C B.
Conversely, if C B, then by the previous theorem U,, C (B fl = N!pKqJ.
All local units are therefore norms, and by the local class field theory, p must be
uriramifled.
The part of the theorem relating to the complete splitting is proved by replacing
TMU,," by "k,," and "unramified" by "spilt completely" in the preceding argument.
0
The global problem of determining how a prime ramifles can therefore be solved
by investigating the norm group, and is completely reduced to a local problem by
the preceding theorems. The higher ramification for finite primes will be studied
in detail in a subsequent chapter. Note that Theorems 2 and 3 are valid for p finite
or not.
2. Number Fields
Let k be a number field. We shall prove the Existence Theorem, and investigate
the structure of the open subgroups of finite index in C.
We have first:
THEOREM 4. The norm residue symbol w: a —' (a, k) maps C onto S.
define up 1 (mod
p finite, 1.
Let we be given any normal extension K/k of a number field with group G.
There exist infinitely many finite extensions E/k such that En K = k, i.e. KE/E
has also group G, and such that KE/E is unramified.
KE
XE
3. Function Fields
Let k be a global function field. Let ko be the constant field, with q elements.
Let be the algebraic closure of Ic0, and let K = K0k be the compositum. Z
maybe interpreted as the group t50 of K0/ko, or of Kok/k. Letp: cx —. be the
canonical generator of which then consists of powers f, ii Z. (We recall that
/\
7 is the completion of Z under the ideal topology.)
1C0k
k K0
Let Ak be the maximal abelian extension of k, and let 0 be its Galois group.
Letu€0. lfo=çoM on Kc, we define ordc=v.
We have previously assigned ordinals to idèle classes. Namely, if a C, we can
write a = ar ao where aol = 1, Jail = q, ii Z. We let ord4 = ii.
Let w: a (a, k) be the map of the norm residue symboL
ord(ap,kp) =
because the constant field of has qiP elements. We have from the local cla.% field
theory
=
= ord,
= orda
thereby proving the theorem. ci
COROLLARY. Let ho be the group of Ak/Kok. Then w is a topological isornor-
phism of C0 onto ho. 6 is isomorphic to the direct product of ljo and
PROOF. o.(Co) is contained in Conversely, if w(a) ho then orda =0 and
a C C0. Hence a is an isomorphism of C0 onto ho. It is continuous, and since C0 is
compact it is a homeornorphism onto. —
Let a 0 be a lifting of a topological generator w of Then the closure (a)
of the subgroup generated by a maps isomorphically to and 0= (a) x øo. 0
Let ordai = I. Write C as a direct product {ai} x C0. Any a C can be
written a = a7 x ac. We see that C is isomorphic to Z x C0 (but not canonically).
We define a new topology on C: The neighborhoods of 1 are to be the open
subgroups of finite index in the ordinary topology. This topology will be called the
class topology.
LEMMA. The class topology coincides with the old one on Co. It induces the
ideal topology on Z and the product topology on Z x C0.
PRooF. Let B be an open subgroup of finite index in C. Let b E B have least
positive ordinal. Let B0 = B fl C0. Then B = UVEZ b"B0. Bo is open because Co
is open. We shall now discuss those open subgroups, and prove they are of finite
index in C0.
As in our discussion of number fields, we let in = (v, ) 0 and = 0 for
almost all primes) be a module. A fundamental system of neighborhoods of I in J
is given by the groups
Gin flu9 x fiN,
ptm P1,n
where N, are the groups of Ic, such that a9 1 (mod p"), for p 1 rn The
groups Cm = ktSn, are a fundamental system in C, and in fact C C0. We have
(C0 : = (C0 : Uk)(Uk :
where U = , U,. By the finiteness of class number, (Co : = h is finite,
and obviously (Uk is finite, because (U, : N,) is finite.
The open subgroup Bo must contain some open group Cm and hence (C3 : Do)
is finite.
It is clear that the induced topology on Z is the ideal topology, and this proves
our lemma. In addition, it gives insight into the structure of open subgroups similar
to that obtained in number fields. 0
3. FUNCtION FIELDS SI
But and are in the same coset mod C1. This proves our contention.
The field K = UK, . . K,, is of degree
. over Iv. It is invariantly defined and
is may be viewed as the correct generalization of the Hubert Class Field. It is class
field to {6h} x C,, where 6 is any idèle class of ordinal 1.
On the other hand, noting that in number fields the HCF is class field to the
group IC Js,©, where is the set of archimedean primes, one couid say that an
VUL THE EXISTENCE THEOREM
analogue in function fields is the class field to ktJ5, where S ,is any non-empty set
of primes which we designate as the "infinite" ones. Then the Galois group of the
Dedekind ring Os of functions with no poles outside 5, in strict analogy with the
number field case, where the Galois group of the HCF is isomorphic to the ideal
class group of the ring of integers. The constant field extension in this type of UCF
is of degree equal the qcd of the degrees of the primes in S.
tm J
map idèles onto ideals by putting = fl
p finite
'Tin Jut
of 4 onto the ideals prime to in. Let be the principal ideals represented by
elements a c k*, a 1 (mod in). Then = Jim fl Hence we get
J/kt6in Jm/Jinflk4tStn
Let C be the group of K/k. Let
w: 4 —p0
be the norm residue map restricted to Then w depends only on cosets of
Jut fl ?Om. For every ideal a in we select an idèle a such that =
and define (f) to be w(a). We know that w depends only on cosets of (1
and consequently (*) depends only on cosets of k. The map
-
a
(K
I -r
is a homomorphism of onto C, with kernel L. We interpret a generalized
arithmetic progression modm.
Let p be a finite prime. It follows from the Ramification Theorem that if p { in
then p is unramified. Let it it = I. The idéle it = (..., 1, it, 1,...) having
w at p and 1 at all other primes is such that = p, and hence w(ir) = (f)
isthe Frobenius Substitution. This shows how the norm residue symbol can be
described just in terms of the unramified primes. If q is another prime we have
(t) (F if and only if p and q lie in the same arithmetic progression.
4. DECOMPOSITION LAWS AND ARITHMETIC PROGRESSIONS 63
PRooF. 1. Suppose m and n are relatively prime, a = fJtm and a = q' tth
/3, 7 in Ic. Let rrn + on = 1 then
= an r,nn atnn k"
This shows that it suffices to prove our theorem in case in = yf a power of a prime
and we shall assume this for the rest of the proof.
2. Let p be the characteristic of k. Consider the inseparable extension K =
k(fl). Since Ktm C Ic, any valuation p of Ic extends uniquely to K which means
that only one prime of K divides p. From the elementary theory of global fields
we know ecpfqi = deg(K//c) and hence deg(K/k) = ecpfp = deg(Kp/kp).
If we now assume that a then deg (K/k) = 1 or
a km.
3. Assume Ic. The field = K is then a well defined Ku.mmcr
extension of Ic and our assumption about a means that = for every p S.
Theorem 2 of Chapter V shows K = Ic hence a Ictm.
4. 11Cm Ic we form the new ground field Ic' = k(C,,j. The preceding part of
the proof shows a = (3m with j3 Ic'.
The polynomial xm — a splits in Ic' into linear factors x Let xm — a =
f1(x) be its decomposition into irreducible factors in Ic; each has a root of
the form = and k(131)/k is abelian as subfield of Al/k. If a = %", 7p
65
IX. CONNECTED COMPONENT OF mEtE CLASSES
then f1('yp) =0 so there exists one such that =0. This means that
our p splits completely in one of the subfields of k'.
Assume now that k'/k is cyclic of prime power degree. The subfields of k' are
then linearly ordered by inclusion and we may assume that k(fl1) is the smallest of
the subfields If p S then p splits in one of the k(j31) and consequently in
k($1). Theorem 2 of Chapter V shows k($1) = k, E Ic, a = or
5. Let p be odd and put k1 = k(4j. k'/k1 is cyclic of prime power degree.
Considering k1 as the new ground field we see that we can write a /3" with
/3 k1. Taking norms from to k on both sides we see that k"' where d is
the degree of k1 /k and therefore prime to in = p7 as divisor of p—I. Since atm Ictm
we conclude a C r.
6. Only the case in = remains. The degree of k'/k is then a power of 2. If
k'/k is cyclic our problem is settled by part 4 of our proof. This eliminates the case
of a function field. We may therefore assume that Ic is a number field, and that
k'/k is not cyclic (especially that t> 2).
Put k1 = k(VCT). Since it is well known that k'/k1 is cyclic we have k1 k
andwecanwritea=/3rwithfiic/cj. Takingnormsfromk1tokweobtain
a2 = fJtm with j3€ Ic. This means a = ±/32'' and we must show that the — sign
is impossible. Assume that it occurs. Then —1 = The assumption about a
together with t > 2 allows us to conclude that —J is a square at all primes p S.
According to Theorçm 2 of Chapter V we would have Ic1 = Ic which is not the
case. 0
REMARK. If the m-th roots of unity are not in Ic, the symbol has no
well defined meaning and a careless use of it may lead to mistakes. The crucial
steps of our proof are those of part 4 and a reader that wishes to simplify them is
asked to be especially careful at this place. In the next chapter we shall see by the
way, that the conjecture that a ktm is not always true.
We let Ic be a number field for the rest of this chapter. J =
J of the multiplicative groups of
the complex local fields and the positive real lines at real primes. One knows
from the elementary theory of topological groups that the connected component
of C is the closure of the image of the connected component of J. However, we
shall obtain a more explicit model for it, and will not make use of the abstract
topological situation, which would in any case not be sufficient for a discussion of
the cohomology of the connected component.
The group U of unit idèles splits into a direct product U x Ti where U =
and U = Accordingly each unit idhle a can be written as a
product
where ü has components I at all finite primes and a has components 1 at all
archimedean primes. The units e of the number field Ic, considered as idéles, can
therefore be written accordingly e = The two factors on the right side are of
course only idéles and not any longer principal idèles.
The group U is compact and has a fundamental system of neighborhoods of 1
that are subgroups of finite index. It follows that the exponentiation with ordinary
integers can be extended to an exponentiation with elements of Z where Z is the
completion of Z under the topology of the ideals of Z. The symbol at is therefore
1. STRUCTURE OF THE CONNECTED COMPONENT 67
defined for every unit idèle and every z C 2 and especially ttds defined for units e
of k and x Z. it is of course again only a unit idèle of U.
As usual we denote by vi the number of real archimeuean primes, by £3 the
number of complex primes and put r = + £3 —1.
THEOREM 2. Let Ci,.. . ,e,. be independent units of k. The corresponding idèles
4. QTE independent relative to exponentiation with I In other words, the
relation
(1) edlrzexr_1
implies that all =0.
The group generated (with ordinary integers as exponents) by the
is of finite index d in the group of all units of k. Let m be any integer. We find to
each in (1) an approximating ordinary integer v1: v1 (mod 2dm), v2 Z.
Then e =4' .. is an element of k and we can write
— Mr
e—e1e2 —Mi
...Cr.
Dividing the right side by the left side of (1) we obtain
At a finite prime each 4 has component 1; the remaining factors have exponents
that are divisible by 2dm. C is therefore a 2drn..th power at every finite prime.
Theorem 1 shows that it is a dm-th power in k: e = ç' k. This zy must
be a unit of k and consequently its d-th power in the subgroup generated by the
= 41 .. .er, pj €1. Consequently e = . =
Since are independent! we must have = pjm. This shows that every x1 is
divisible by m. Since m was an arbitrary integer it follows that each =0 as was
to be shown. 0
Let V be the integral valuation vectors of the rational numbers Q. We may
view V as a direct V = Z + It (R the reals) with the product topology. Any
element A V can therefore be written as pair: A = (z, s) where z €Z and s It.
The integers m Z are canonically imbedded in V by the map m —t (m, m).
If C is a totally positive unit of k (that means > 0 for every real we
define (not quite canonically) an exponentiation of C by an element A = (x, s) of V
by putting
= ret
The idèle C8 is defined as follows: it has component I all finite primes and component
e1°5'cao at the log has any fixed value for a complex prime but is the real log
if p<, is real (this last restriction is necessary in order to obtain for the component
an element of This is again an idèle of U. it Is the ordinary power if A is
an integer and has always volume = 1. Indeed CAl = WI = = 1.
The map A —' r' (for a fixed C) is a continuous map of V into U.
If Pi, .. . , are the complex primes of k, we have unit circles in each of the
corresponding local fields. We describe the frth unit circle by the idèle Øp(tM)
which has at the component (t0 It) and I at all other components.
Let C3, . . . be a system of independent totally positive units of k (if is
not totally positive its square will be).
IX. CONNWFED COMPONENT OP rDELE CLASSES
an element of k. This c is equal to a at all finite primes. Even if we had this only
at one prime we could conclude a = e. The infinite components of a are therefore
on one hand, whereas (2) gives .. . ë'"Øi(ti) ..
.
LEMMA 2. V/Z is compact. The reals R, naturally irabedded its V/Z, am ev-
erywhere dense in it, and V/I is eonsequently connected. V/I is infinitely and
uniquely divisible.
PRooF. 1. One sees easily that every element of V/I has a representative
A = (z, s) with 0 ç a ( 1. If we denote by N the set of all A = (0, a) with 0 C s 1
then our representative is in Z + N and this means that V/I is the image of the
compact set I + N under the canonical map of V onto V/I. V/I is therefore
compact.
2. Let A = (x, s) be any element of V. If in is a given integer (describing a
neighborhood of Z), let p a (mod m), p I and subtract the image of p in V,
so the pair (p, j.t) from A. This leads to the pair (a — p, s — j.z) which represents the
same element as A in V/I. This pair belongs to the set (mZ, 0) + (0,s — which is
mapped into a neighborhood of the real s — pin V/I. Therefore R is dense in V/I.
Since the closure of a connected set is connected, it follows that V/I is connected.
3. The same computation allows us to write A e (mod I) and
shows divisibility by rn If mA 0 (mod I) then there would be an integer p I
such that mx = p in and ma = p in lit The first equation implies (as in the
previous lein.ma) that a is an integer and the second shows now that a is the same
integer. But this means A 0 (mod I), and proves the unique divisibility. 0
The group V/I is called the solenoid. It can be shown that it is simply the
compact dual of the discrete additive group Q of rationals.
We return to our continuous isomorphism of x into Co. Each
circle k/I is compact and infinitely (but not uniquely) divisible. it is obviously
connected The group x is therefore compact, connected and in-
finitely divisible. Its image D0 in C0 is therefore compact, connected and infinitely
divisible and our map an isomorphism, both algebraically and topologically.
We contend now that every infinitely divisible idèle class of volume I lies in
D0. Let a be such a class. Write a = where h is the class number of k and
in a highly divisible integer. The class W' can be represented by a unit idble, the
class b2k by an idèle c of U that is totally positive, a is therefore represented by
the idéle = The idèle is in as small a neighborhood of 1 as we like for
a suitably highly divisible in. We shall prove that the idèle class c of Zm belongs to
D0. From this it follows that a is in the closure of D0. But D0 is a closed set and
consequently we will have proved that a is in D0.
Let = a. Then a is totally positive and = 1.
Let (v = 1,. ..,r+ 1) range over the archimedean primes.
From the independence of the units we can solve for 5k,. s,. the system of
equations
= ... Li = 1,...,r.
Since al =1 we also have
11 .—1— 1r
I IPr.pi — Ci P"+i '• 'I r1P,.+i.
for any real At a complex prime they differ by an element of value 1. Hence
we can write
70 IX. CONNECTED COMPONENT OP IDELE CLASSES
thereby proving our contention, that D0 contains the infinitely divisible idèle classes
of volume 1. Since D0 itself is infinitely divisible, it is therefore equal to the infinitely
divisible idèle classes of volume I.
This shows that D0 is the intersection of all open subgroups of finite index in
C0. It contains therefore the connected component of identity in C0. Since D0 is
connected, it now follows that it is the connected component of 1 in Co.
In order to get the full connected component of C, we select at some archime-
dean prime a positive real line C Then it is clear that every element
from the connected component is uniquely represented by an idèle of the group
P
Indeed, each ¶1 of K extends exactly one prime p of k, which may be real or
complex. It is clear from the definition of the action of C on idèles that each
semilocal component 11PIv Øqj is invariant under C, and hence the full product is
invariant under C. (This comes from the fact that each local module consists
precisely of those elements of the local complex field having absolute value equal
to 1.)
Let D' be the subgroup of D given by the canonical image of the circles in C,
i.e.
i.e. the fixed elements modulo the norms. But the fixed elements are simply ±1,
and the norms are trivial, i.e. equal to 1. Hence the factor group is cyclic of order 2.
Thus we have proved:
THEOREM 5. Let K/k be nonna! with group G. Then N2"(D') is of type
(2,2,. .. , 2) and order 2" where p is' the number of ramified archimedeen primes.
fl2r+l(jy) = 1 for all r.
in the exact sequence
1= fl'(C) — fl'(C/D) -. 112(D) -fr -. fl2(C/D) -'1
the map i maps each local factor of 712(D) onto the kernel of multiplication by 2
in the cyclic group N2(C). Thus, if ji> 0, then N1(C/D) is of type (2,2,. . . , 2)
and order and cH2(C/D) is cyclic of order k}.
We note that N'(C/D) is not necessarily trivial, and that consequently the
inclusion i: fl2(D) N2(C) is not always an isomorphism.
CHAPTER X
11n 1932 W. Grunwald proved a theorem like 'Theorem 5 of this chapter in his dissertation
(supervised by H. Hasse, cf. [10]). However he did not notice the need for an extra condition in
a certain special case. Ten years later, (3. Whaples published a new Foof of Grunwald's theorem
[30] also overlooking the special case. This new proof was presented by Bill Mills in Artin's seminar
in the spring of 1948. A few days later, one of the listeners, Shianghaw Wang came to Artin's
office with a counterexample to a key lemma of that proof, and later the same day produced a
counterexample to the Theorem itself, by proving that there dose not exist a cyclic extension of Q
of degree in which 2 stays prime (see the 'consequence' before Theorem 2 below). In his Ph.D.
thesis, [26] Wang published a corrected version of Grunwald's statement, which is now known ss
the Grunwald-Wang Theorem. This chapter is Artin's own reworldng of this theorem, its proof
and related questions, in the light of Wang's discovery.
73
iC THE GRUNWALD-WANG THEOREM
Let So be the (possibly empty) set of all primes p where F,/k,, is of degree 4
(and consequently a four group field). Since unramified fields are cyclic, and
is only ramified for primes dividing 2, and since archimedean extensions are of
degree 2, it follows that consists only of certain divisors of 2.
Assume now that ktm or that it is in some k" with p So Then it
would be in k2t resp. Since in' is odd, (2 + would be in k2t resp. kE.
Extracting a 2t*th root (2 + i)3)( would be in k2 resp. where ( is a 2''-th
root of unity of k resp. But k(i) resp. k9(i) are genuine extensions so ( can only
be ±1. The fact that F/k reap. is a four group field shows that ±(2 + q.,) is
not a square and we have a contradiction.
This shows that a0km $ ktm but it shows also that ao can be in P(m, 5) only
if So C S.
Assume now So c S and let p S. collapses so one of the three quadratic
fields of F must collapse. Either or or is in and a suitable expression
from (5) shows El Icr, ao P(m, 5). We have now proved the theorem:
THEOREM 1. Let Ic be a global field, in an integer, S a finite set of primes
and Pfrn, 5) the group of all a El kt such that a El k" for all p S. Then
F(m, 5) = k'tm except under the following conditions which will be referred to as
the special case:
1. k is a number field.
2. 2 + tj, and —(2 + are non-squares in Ic, where $) 2 is an integer
such that c k, g k.
3. in = 2cm' where in' is odd, and t> s.
4. c 5, where So is the let of those primes p (2 where —1, 2+ ci,, and
—(2 ÷ are non-squares in
In this special case P(m, 5) = k*rn Ua0km where ao is given by (5,). Obviously
but a0
As an example let Ic = Q. Then 3 = 2, F = = Q(i, contains
the single prime 2. The special case occurs if 8 (in and if S contains 2. =
therefore
(1÷ir = = 2km.
Taking especially in 8 (the smallest integer where the exceptional case occurs)
we have
ao= 16=
and 16 is an 8-th power at co and at all odd primes. Indeed, if p is odd, the
extension is unramilled and must therefore be cyclic of degree 2. This
means that either i or or vC2 lies in Q, and the formulas show that 16 is an
8-th power. On the other band 16 is not an 8-tb power in Q or in the 2-adic field.
CONSEQUENCE: Let K/Q be any cyclic field of degree 8. Then 16 is a norm
at all p except possibly 2, and hence at 2 also by the product formula for the
norm residue symbol. It follows that K2/Q2 cannot be unrainilled of degree 8 (the
ordinal of 16 is not divisible by 8). This shows that one cannot prescribe local
conditions at certain primes and find a global cyclic field of given degree satisfying
these conditions. The circumstances when this can be done are discussed in the
next section.
X. THE GRUNWALD-WANG THEOREM
PROOF. 3Both groups P0C't and PC'1 are closed in C. Since Po is of finite
index in P, P0C' is of finite index in PC't. The complement of P0C't in PC"
consists of a finite number of (closed) cosets of P0C'1 and is therefore closed In
the topology of PC", P0C" is therefore open in the group PC". This means
that there exists a neighborhood V of 1 in C such that PC" fl V C P0C". Put
N = P0CW. According to Lemma 6, N is an open subgroup of finite index of C.
PC"nP0C"V = P0C"(PC'tflV) = P0C't. Therefore WIN = =
PnP0C" =Po(PflC").
C
/YN\
P0(PnC")=PnP0C"
/\/PC"
P06"'
N=POC"V
PC"flV
C
3We make use of the following Minus II B is a group, A a subset of B and C any other set
then BflAC= A.(BflC).
X. THE ORUNWALD—WAt4G ThEOREM
is satisfied. If the condition is not satisfied one can only achieve the period 2m.
We describe very briefly the corresponding question if P/P0 is abelian. Let
, , be a basis for the group of characters of P/P0. Let be the period
of The question is whether one can find an N such that C/N P/P0 and
P fl N = P0. This turns out to be equivalent to the condition that each of the
can be extended to a character Xi of C with period ej. If this is possible, one takes
for N the common kernel of the Xi
We return now to the cyclic case.
REMARK. Assume that we are in the special case, p E 8o and 14,/hp the local
extension described by the given character Xv of period if Ttp is even, let I4/hp
be its quadratic subfield. Then xpfrxo) = ±1 where the — sign occurs if and only if
is odd and —(2 + q9) is not a norm from K/kr.
PROOF. According to (6) Oo = (—(2 + rp8flm/2. ii is even, then a0
and consequently = I.. if is odd we write:
We can now prove a theorem that has applications in the theory of algebras
over global fields:
THEOREM 6. Let k be a global field, S a finite set of primes and Tip positive
integers associated with each p S. If p is archimedean it, should be a possible
degree/or an extension of k,. Then there exists a cyclic extension K/k whose degree
it is the least common multiple of the and such that the completions K9)/kp have
degree '½ for all S.
PROOF. To each p S select a cyclic field in the following way:
1. If p is archimedean select the extension in the only way that is anyhow
possible.
2. If p is non-archimedean but not in select the unranüfied extension of
degree Tip. For primes in select the extension as in the previous lemma.
if we describe each of these local extensions by characters, we can find a global
character of period n whose restrictions to k, are the given local ones since we have
taken care that in the special case = 1. 0
The following corollary is directly adapted to the intended application to alge-
bras:
3. Cyclic Extensions
it is possible to ask a somewhat different question. Namely, given a cyclic
extension K/k of degree it, and a prime p. We wish to determine when there exists
a field L J K which is cyclic of degree f over K, and also cyclic over k.
If pf it, then the question reduces to the one already treated. We suppose that
p 1 n.
To simplify the notation, let C denote the idèle classes modulo the connected
component in the case of number fields, and the compactified idéle classes in the
case of function fields. We have therefore C = C in the notation used previously.
Denote by C the character group of C.
Let N be the norm group of K, to which K is class field, and N,, = Nflk,. Let
x be a character with kernel N. Afield L of the prescribed type will exist if and
only if there exists a character C such that x =9 , or in other words, x C".
indeed, the kernel of such a character 0 would be an open subgroup M C N of
finite index yin in C, and its class fieki L would satisfy our requirements.
The subgroup of C orthogonal to is precisely (the elements of order
dividingf in C) because a (CPr)* <* = 1 for all & C <* *(a"')= 1 for
all i/i C = I.
In function fields we note that the elements 11/Pt have ordinal 0 and hence are
genuine idéle classes.
X. TIlE GIWNWALD-WANG THEOREM
=E(#¾-I). 0
We shall now derive some useful structure theorems concerning the ramification
groups.
We begin by remarking that we may assume K/k completely ramified without
loss of generality. Indeed, we have
THEOREM 2. Let K/k be normal with group C. Let K be an intermediate field
fixed under H. Let V4 be the ramification groups of K/E. Then V4 =
V4 fl H.
PRooF. Clear. 0
If K/k is normal it is much more difficult to determine the relationship between
the ramification groups of K/k, and those of K/k. The next section will be
devoted to this enterprise. For the moment, we stay in one field.
Denote by k the multiplicative group of units of k which axe 1 (mod p9
for i > 0. Complete this definition by letting be the group of units of k, and
= k' itself. We have
k0 k1 k2 D
Let K/k be normal with group C.
The factor group 1(o/K1 is naturally isomorphic with the multiplicative
group of the residue class field. If K/k is completely ramified, then K = k and C
operates with trivial action.
Let K/k be completely ramified, V0 = C. We have
aEV4*aEImli
jja-i
In fact, we see that Z'(Vo, Ko) is a unit cocycle.
ThEoREM 3. Let K/k be completely ramified. V0/V1 is isomorphic to a finite
subgroup of K (multiplicative), and is cyclic. Its order e0 is prime top.
I. HIGHER RAMIFICATION GROUPS 85
Let FJ/k be normal, fixed under H. Let C UHU. We have functions 1(ã) for
S/k. The following lemma gives 1(ü) in terms of the indices in K/EL
LEMMA 2. If off flY1 is not empty for some i, then
((a)
fr_0(Vo.
where 4cr) is the largest integer r' such that oH fl is not empty.
We may also describe 4cr) as the integer such that a Ve(a)H but u
7CM
v=Q
((a)
= Vu).
i
i(ü) +1 =
as desired. U
XI HIGHER RAMIFICATiON THEORY
'Pzc/k(X) +1=
1/c
=
=
At an integer i where we have
and
Properties of tI4x).
1. is continuous, strictly monotone increasIng, and tfr(O) =0.
2. has right and left derivatives everywhere, t/4 and t/4. By elementary
calculus, ifr'(x) = I/ço'(çA(x)), and i/4(x) or is always an integer for z —1,
except for
3. t,b'(—co) = I/f and ø'(+oo) = e.
4. is convex.
5. If i is an integer, then is also an integer, for I —I.
The properties of w(x) and 'J'(z) are obvious from their definitions, except
possibly 5 which follows from 2.
1 1
1
(Vo:V2)
= p'(x).
Hence at the points where the functions are differentiable, their derivatives are
equal. By elementary calculus, it follows that 'p = as contended.
In order to avoid mentioning explicitly the function 'p,we may define
or
Then the result of Theorem 6 may be expressed as follows:
rH/H.
The new numbering of the ramification groups is now set up in such a way that
we may define ramification groups in infinite extensions. Indeed, let fl/k be the
algebraic closure of k (any other infinite Calois extension would also do). Let (5 be
its Galois group, and let I) range over normal open subgroups of finite index.
For real x let be the subgroup of 0 containing such that = VX for
the normal extension fIb/k. Let be D lj. It follows from Theorem 6 that
an = x
Define =
The groups for a finite nonnal extension are now easily recovered from
Indeed, we contend that
The inclusion is trivial. Conversely, let -r E We can write 'r = m-'m where
b and 7b Hence =b The sets fl are not empty
and are closed. Since the group is compact, the intersection C
is not empty. Let a be in it. Then allo = rblyo for all Ij. This shows that
= 07,7 bo, and proves our contention. 0
3. The General Residue Class Field
The fields studied in this brief section will be used as the residue class fields of
a complete field in the next section. It turns out that local cLass field theory and
the ramification theory can be carried out in these more general complete fields.
We suppose therefore that k is a field satisfying Moriya 's Ariom:
3. THE GENERAL RESIDUE CLASS FIELD 91
k is perfect, and for each positive integer n there exists exactly one extension
of degree vi of k.
We note that any finite extension of k also satisfies the axiom.
LEMMA 3. All finite extensions of k are cyclic.
PROOF. It is obviously sufficient to prove that an arbitrary finite normal exten-
sion K/k is cyclic. Let C be its Galois group and let JK : k] = n. For each divisor
d of vi let ih'(d) be the number of elements a e C with the exact period d. Any
two automorphisms with the same period must have the same fixed subfield, and
must therefore generate the same group: they are powers of each other. Therefore
0(d) ç ço(d). We have
E
d/n
O(d)=orderofC=n=Eco(4
ti/n
It follows that 0(d) = w(d). Taking d vi shows that C is cyclic. 0
The following algebraic proposition will be usefu] in Lemma 4.
PROPOSITION. Let F be any field of characteristic p 0.
Let be a prime p. Let a E F. The polynomial xt — a is either irreducible in
F, or a is an £4/i power in F.
Letp>0. The polynomial
f(x) — c is either irreducible in F or has a vuot in F.
PROOF. Suppose xt — a is reducible in F. The constant term of one of the
factors with coefficients th F is of type where r <1, and C is an €-th root
of unity. From F we deduce at F'. Thvially at Ft and hence
afr.t) = a E F', as was to be shown.
We turn to the additive case. Obviously, f(x + y) = f(x) + fly). Let a be one
root of f(x) = c. It is trivially verified that all the roots are given by a + vfl where
=0,1,. . . ,p — 1 and fi = Suppose f(x) — c is reducible. The coefficient
of x"1 in one of the factors in F is a sum of roots, and hence of type ret +
where 0< r C p. It lies in F, and hence + pfi) = a + (js/r)fl is in F and is a
root of f(x) = c, as contended. 0
LEMMA 4. Every element of k is norm from any finite extension.
PROOF. Using the transitivity of the norm and the fact that every finite exten-
sion of Jr also satisfies the axiom, we see that it suffices to prove the lemma in case
of cyclic extensions of prime degree £. Note that all €-th powers in Jr are norms.
We distinguish three cases.
£ = p. Then Jr' = Jr because k is perfect. Everything is a norm.
£ p and £ is odd. Let a Jr. Consider the equation xt — a. If it is irreducible,
then a is clearly a norm. If it is reducible, then a is £-th power by the proposition,
and hence a norm.
£ $ p andt = 2. ffx2 —a is reducible then a is a square and hence a norm.
Otherwise, its root generates the extension of degree 2, and —a is a norm. We shall
now show that —1 is also a norm. Let K be the extension of degree 2 over Jr. We
know that k has exactly one extension of degree 4, say with a K. Let a
be the non-trivial automorphisin of K/k. Then K(v&w) has also degree 4 over Jr
XI. HIGHER RAMIFICATION THEORY
PROPOSITION. Let k be complete under any discrete valuation and let K/k be a
normal unramified extension. Let it be a unit in k, it a 1 (mod p). Then it = Ne,
where e is a unit of K.
PROOF. Since K/k is unramified, the prime p remains prime in K. An element
r of order 1 in k also has order 1 in K. We show that given a unit Urn 1
(mod ptm), there exists a unit Cm of K such that Cm a I (mod ptm) and it,,, a Nem
(mod pTfl+l)
Put e = I + irtmy,,, where is some integer of K to be determined. Write
it,,, = I + ir"e,,, where 0rn is an integer of k. We have
We may interpret the trace in the residue class field. K corresponds to a normal
extension Ko of the residue class field k0, and not all elements of K0 have trace 0.
Since the trace is homogeneous with respect to the elements of /c0 we can obviously
find an integer I/rn such that S(ym) a am (mod p) For this value of I/rn we get
Ne,,, 1+ irmS(yrn) a 1+ (mod prn+1)
as contended.
We have it a Ne1 (mod p9. Put u/Ne1 = it2. We can find a unit C2 a 1
(mod p9 such that u2 Ne2 (mod p9. Put u2/Ne2 = U3. Proceed inductively in
this manner. The infinite product eie2ea... converges to a unit of K, and clearly
it = Ne, as was to be shown. 0
Returning to our general local fields, we let it be any unit of k. According
to Lemma 4, there exists a unit e0 of K such that it Neo (mod p). By the
proposition, u/Nco = Ne1 for some unit e1 in K. It follows that a = Ne where
e = cod, thereby proving Lemma 7. 0
The next lemmas are preparatory to the proof of the second inequality, and to
the determination of the conductor in cyclic extensions of prime degree.
If K/k is a normal extension, II denotes a prime of K, ir a prime of k, and II,
an element of order ) s in K. We use N for the norm, and S for the trace.
LEMMA 8. Let K/k be cyclic of prime degree C. Let x be an snteger of k. Then
N(1 + x115) a 1+ xS(fl5) + x'N115 (mod
PROOF. Let c generate the group of K/k. We have
Beside the three terms in the expansion given above, we have terms of the type
where is a polynomial inc of degree €— 1, with coefficients either 0
or 1 and involving at least two monomials. F\irthermore all such polynomials will
actually occur as exponents of fl3.
If = ay(c),then y(c) = °2w(°) = a3cp(c) = ... and hence co(c) =
1+ a + q2 ÷ ... + This would give the norm, already taken care of.
We have therefore ça(u) $ crcp(c). We lump together the terms involving
oip(a), . .. and by taldng these together we obtain terms of
Since has at least two monomials, this proves our lemma. C
XI HIGHER RAMIFICATION THEORY
*0 tpl(r+l)-s
*(r+ I)t—8>m
=ir+I> (m+s)/t
Thisyieldsr=[(ml-s)/tjaedesired. 0
We are now in a position to investigate the cyclic extensions of prime degree.
Let K/k be cyclic of prime degree 1, with group CL Since G has no subgroups
except itself and 1, the pattern of the ramification groups of K/k will be;
= = ...=
1),
according to Theorem 1.
K/k is unramified if and only if t = —1. The graphs of t/4x) in the ramified
and unramified cases are as follows:
Unramified
1/
/ Ramified
/
,//soPel /1
b(x)= ft
tt+t(x—t)
4. GENERAL LOCAL CLASS FIELD THEORY 95
•+1
ifi=t
where t is the integer such that Vt
PRooF. We distinguish several cases.
i = —1. Then = —1. The inclusion statements are obvious, and so is the
index which = I if K/k is ramified (t $ —1) and = £ if K/k is unramifled (t = —1).
i = U. Then tp(O) =0. Obviously, NK0 C k0. We also have NK1 C Ic1 and we
see that the inclusion statements are obvious.
If t —I (K/k unramified) then every unit is a norm by Lemma 7, and
(k0:k1NK0)=1.
Let - denote residue classes (mod 9,3). We have
(k13 = (k0 : k1NK0)(k1 k1 (1 k1NK0)
= (k:
5 p. Then Nez = irta, where a 0 (mod p). For any integer x of k we have by
Lemma 8:
N(1 + xa) 1+ xSa + xtNa (mod
E I + irt (ax' + bx) (mod pt+l)
where aS $ 0 (mod p) We have considered the polynomial /(x) = + Sr
in Lemma 6, and found the index (k : p. Multiplicatively, this gives
: k1÷1NKt) E p, as was to be shown.
t ) 0 and i
Wehavetfr(i)=ict.
i+(i+1)(t—1) Thisprovesthatt/'(i)+(t+l)(t—l)) 1(i+l). Hence
by Lemma 9, C and a fortiori, and C For the
norm, we are in the ramified case, and therefore NcJ3*(i) = pt, and = pt+l.
Using Lemma 8 proves the inclusion statements. Furthermore,
N(1 + qyfli)) = 1 + p4 (mod
and this means multiplicatively = lcj, thereby completing the proof of
our theorem. 0
Having settled the case of a cyclic extension of prime degree, we can treat
the general normal extension by showing that the statements we wish to make are
transitive.
We recall the notation: and t14(z) are the right and left derivatives of
t'(x). We denote by the quotient
THEOREM 9. Let k be a general local field, and K/k a normal extension. For
an integeri welwve:
I. C kj, and C ki+i.
2. (k4 :
PRooF. The two statements have been proved in Theorem 8 in a cyclic ex-
tension of prime degree. We know that K/k is solvable, and it suffices therefore
to prove that the two statements are transitive. This transitivity is essentially a
trivial consequence of the transitivity of the norm, and of the function (proved
in Theorem 7).
Let K E D k be two normal extensions and assume the theorem for K/E
and E/k. We have
N—RN and &=t/nP.
By assumption,
Ck and C
C k1.1.1 and C
The first statement is now trivial, because
C
To prove the second statement, we write
(k1 : k4+1NK0(0) = (ks:
4 GENERAL LOCAL CLASS FIELD THEORY 97
We can insert the group in the last index because of the inclusion
C which we have just proved:
=
Hence our index becomes by induction
:
C
=
This final step follows from the chain nile for right and left differentiation which
holds because our functions are strictly monotone. C
If we take i very large in the preceding theorem, we get = I. This
means that for all sufficiently large i,
(k, =I
and from this index we see that every unit of k1 is congruent to a norm from
mod Such a unit can therefore be refined to a norm by an obvious argument.
COROLLARY. Let k be a geneml local field. Let K/k be a normal ertension.
Then C N.E for some integer i.
The conductor of K/k is the least power p" of p such that C NK, and we
see that the conductor exists. We denote it by f if the reference
to the field is clear
We may now write the norm index as a product:
(k: NK) = (k: k0NK)(k0NK : k1NK).. . (k5_1NK: k,NK).
Ifs is big enough, k3 C NK. Hence
(3) (k : NK) 4 4n
k. The effect of 5 on each finite extension is to generate the Galois group, which
is cyclic. The automorphisrn a has a corresponding automorphism a in the Galois
group of the maximal unrarnified extension of k, which can jlay the same role as
the Frobenius Substitution. It has not been canonically selected, but this does not
make any difference to the proofs, as long as we develop only a local theory. It
is only in the global theory, when the local theories were pieced together, that it
became important to choose the proper automorphism in the local fields.
Having done local class field theory, we obtain all the results of Chapter XIV.
In particular:
THE0R.EM 10. Let k be a general local field. Let 1! be its algebraic cloture, and
e the Galois group. Then (0, ii') is a class formation.
We may now return to the indices computed to prove the second inequality. We
know that in abelian extensions the norm index is equal to the degree. This means
that the doubtful indices of Theorem 8, 9 and (2), (3) above for abelian fields are
no more doubtful, but are actually equal.
THEoREM 11. Let k be a general local field, and let K/k be a finite abelian
ext ension.
1. k1 n NK = n NK C
2. : kI+1NK,p(,)) (k1NK: =
3. All breaks in occur at integral arguments. in other words, =1
if a is not an integer.
4. C NK if and only if Vz(= V,b(r)) = 1.
PROOF. Statements I and 2 arise from the equality in (2) and (3) above. lb
prove 3 we note that has a finite number of breaks. If we take the product
over the numbers a for which there is a break, we get ef = n. But each
is> 1. Since the product over integers already yields n, this means that
the integers give all the breaks.
Using the equality of the indices in 2 we have:
CNK (k1 1 for allj)x
foralij)x
i*ij'.(x) =e
(#Vo : #V*(x)) = (#Vo : #Voo)
4* = V00 = I
4;> VX = 1
thereby proving 4. 0
THEOREM 12. Let k be a general local field, and w the norm residue mapping,
into the Galois group 0 of the maximal abelian extension of k. Then is
everywhere dense in
Paoop. Let K/k be a finite abelian extension. K Is left fixed by
=1
* C NK
* w(k4 leaves K fixed
5. THE CONDUCTOR 99
5. The Conductor
Let k be complete under a discrete valuation with perfect residue class field k.
We shall investigate the conductor of a normal extension of k attached to a character
of its Galois group, and defined formally in terms of the ramification groups. Most
of our discussion will be valid in the field k, and it will be explicitly stated when k
is to be specialized to a general local field.
Let K/k be normal with group (3. We assume known the representation theory
of 0 over the complex numbers.
Let 1(u) be a function of C into the complex. Let H be a subgroup of C. Then
f is also a function on H by restriction. We let
L f(a)du=
The integral is an average over H.
Let x be a character of C. Its restriction to H is a character of H. On H, we
can express x as a sum of irreducible characters:
cit.
=.L
Then Vt = I for large t, and x(l — 1) =0. Hence x(i — o)dcr =0 for large I.
The inner integral is always 0 according to the preceding remarks, and therefore
v(x) is a well defined non-negative real number. We define formally the conductor
belonging to this character to be pM(X) =
The function f(t) = x(1 —a) do- is easily seen to be a step function. Suppose
that C is abelian and that x is an ordinary character of G (i.e. a homomorphism into
the unit circle), x # 1. It follows from representation theory that = 0 if
100 XL RICHER RAMIFICATION THEORY
1
Xe
:1)0
x(i—ci)da = =
=J
=
i=O V
= (D = discriminant.)
PROOF. Let G = U HE5. The induced character x has the value
x(r) = E
where =0 if a H. Starting with the expression derived for '4x) in Theo-
rem 17 we have therefore:
z4x)=
i=o V..
=! - ear').
XL HiGHER RAMTPICAPZON THEORY
=
Ot'g C
— —
Using Theorem I for the order of the different, and Theorem 17 giving the expression
for z4tp): -
= vi ordK I3] +
flux
where the product is taken over all the ordinary characters of (3.
PRooF. Let E = K in the preceding corollary. The character x induced by 1
is the character of the regular representation. The irreducible characters have
dimension 1 so = 1 in the product. The irreducible characters are simply the
ordinary characters of C when C is abelian, and this proves our corollary. 0
The preceding theorems giving the formalism of '4x) are valid in a complete
field with any perfect residue class held. We shall now specialize to a general local
field to obtain one more statement concerning the conductor:
5. THE CONDUCTOR 103
THEOREM 19. Let k be a general local field, and K/k a normal extension. Then
t4x) an integer.
as
= —Ex(u)] — >(i— —
= — — f — x(a)]
V0 1=1
i {x(1)(#Vs — #V1+i) — E
But e0 #Vo and Ev. x(a) = #Vo . p where p is the multiplicity of 1 in x. So the
first term is divisible by Co.
To handle the sums, we recall Theorem 5 and the discussion following it. The
sum x(c) breaks up into a suns over equivalence classes and we have
S x(a) =5
where the second sum is taken over a representing the equivalence classes. (We
can do this because a character depends only on the conjugate class of a group
element.)
the corollary of Theorem 3 In the appendix which follows.
XI. HIGHER RAMIFiCATION THEORY
E
one i
But cc' = c if and only if ear1 E H. Furthermore,
=
106 XL HIGHER EAMIFICATIOM THEORY
Hence
x(o)
as was to be shown. 0
THEOREM 3. Let (3 be a p-group. Let V be an irreducible C-space. If V is
not 1-dimensional then there exists a proper subgroup H1 and an irreducible H1-
sttbspace W of V such that (C, V) is induced by (Hi, W).
PROOF. We begin by recalling that an irreducible representation of an abelian
group is 1-dimensional. This implies in particular that if V is not 1-dimensional,
then C is not abelian.
We shall first give the proof of our theorem under the additional assumption
that V gives a faithful representation of C. (This means, if a4 = 4 for all 4 E V
then a = 1.) It will be easy to remove this restriction at the end.
Let H be a normal subgroup of C which is abeliazi and contains the center
properly. -
(Proof of existence of H: C has a non-trivial center Co. LetG = C/Go. Let
be an element of period p in the non-trivial center of C and let H be the subgroup
of C generated by a. Then H is normal in C. Its inverse image H in the natural
map C C is normal in C, and is generated by an inverse image of a, and
by C0. Furthermore, a G0 so H C0 properly. Finally, a commutes with its
powers and with C0 (the center of C) so that H is abelian.)
We denote the elements of H
As an H-space, V is a direct sum of irreducible H-spaces which are 1-dimensi-
is not irreducible, but for each factor (x — it contains also all its conjugates.
Putting x = 0 and z = 1 as before shows that —a and 1— a are norms. 0
We now let Ic be a local field, p the characteristic of its residue class field if k
is not archimedean. p is the prime of k. We assume that k contains the n-th roots
of unity, p$n.
Let a = (a, k). On each abelian field K/k of finite degree, a = (a, K/k). in
particular, on k(fi"') we have
a = (a, k(131/")/k).
Define (a,Ø) to (jjl/ny'—l. Then (a, 13) is an n-th root of unity and does
not depend on the n-th root 131/fl selected. If Ic is complex then (a, /3) = 1 for all
LOS
HO ML EXPLiCIT RECIPROCITY LAWS
PROOF. We have
gah/nal/n\o_1
tWL P2 / tPl / W2 /
4. (—a,a)=(1—a,a)=1.
PROOF. Use Property 1 and Lemma 1. 0
5. (a, /3)(Ø, a) = 1 (inversion theorem).
PROOF. Then
1= (1—. =
= (j3, a)(fl,
11f F is a field and A an abelian group, a map r x F —, A with propertim 2,3, and 41s
called a Steinberg symbol and can be interperted as a homomorphism K3F A.
2. LOCAL ANALYSIS III
2. Local Analysis
Let k be complete under a discrete valuation with perfect residue class field k,
and integers a. We shall specialize k later to an ordinary p-adic field.
We recall some elementary facts.
A series >tIJ a,, converges in k if arid only if lim a,, =0.
A product Ha,, converges in k if and only if lima,, = 1.
Let o{t} be the ring of formal power series f(t) = a,,t" with a,, E o. The
f(t) —+ /(x)
is a homomorphism of o{t} onto o. This is clear for the polynomial ring and extends
to the power series by continuity.
Let F/k be a finite, completely ramified extension. Then P = k. Let EL be
a prime in F, and co(t) = irr([l,k,t). Every a ED can be written a =
where a,, E a because F = k. The map
1(t) —'1(11)
where f(t) E o(t} is therefore onto ID. We contend that its kernel is the principal
ideal generated by w(t) in ojt}. Indeed, suppose
O=f(l1)=ao+ajL+a2H2+...
with a,, a. Then II, and hence ir ao. Since çp(t) is an Eisenstein polynomial
with last coefficient divisible by ir exactly, we have, for suitable d0
f(t) — docp(t) = b1t + + bat3 +...
and is in the kerneL Hence by the same argument as before, r b1 and
we can find d1 a such that
/(t) — (do + d1t)ço(t) = +
c2t2 ÷
Repeating this argument shows that f(t) = g(t)co(t) where g(t) e o{t}, as conS
tended.
Let a 0, a = /(H) E0a,,fl" where f(t) o{t}. We may take the
derivative,
a' = E
Then a' is not well defined in K. However, we know that any other expression for
a as a power series is of type a = 1(H) + g(H)ço(H) where g(t) C o{t}. Taking the
derivative shows that
a' = f(H) + g(H)co'(H).
But çl(fl) is the different of F/k. Hence we have proved
LEMMA 2. Let F/k be completely ramified. Let a E 0 and write a =
where f(t) o{t}. Then the derivative a' = f'(H) is well defined modulo the
different off/k.
We now specialize the field k: Suppose that k is a completion at a finite prime
of an algebraic number field, in other words, k is an ordinary p-adic field. We shall
consider special series in k, analogous to the log and exponent. Let p 1 p. By ord
Ifp=pt
112 XII. EXPLICiT RECIPROCITY LAWS
o.
To justify this last step, note that it suffices to show r(p —1) n—i. Since yf
it suffices to show r(p — 1) — 1. If r = 0 this is clear. Otherwise, dividing by
COROLLARY. Let ( be a p' root of unity in At. Then log (is defined and =0.
PROOF. We certainly have 1 — ( 0 (mod p) and hence log(l — (1 —
converges.By the functional equation,
0=logl=IogQ' =p'log(.
Hencelog(=0. 0
Although we shall not need the exponential function in the sequel, we give it
here anyway for completeness.
THEOREM 3. The series
expz= 1+x+52/2!+xu/3!+...
converges for alit sec/i that on! z> 1/(p — 1). In that case, ordt/n! > ordz for
[n/f] = tip.
We clearly have
p = ordn! = [n/p] + jn/p2] + + [n/f] =
and therefore
(p — 1)p = (1— 1)a0 + (p — + (9 — + . .. + (f — 1)a,.
= U—
where +ai+ a,.. This gives
p
=n(ordx_ J_1) +Sn/(p 1).
Since is positive we see that ordx't/n! — oo when ordx> 1/(p — 1), and the
series converges.
To get the second statement wç have to show that ordz"/n! — ord z >0. We
have
ordxT1/n! —ordr = (it 1)ordz (it— sn)/(p 1)
+(8n1)/(p1).
If it 2 the result is obvious because a,, ? 1 always. 0
THEOREM 4. if ordz and ord y> 1/(p — 1) then
exp(x + y) = (expx)(expy).
PROOF. The formal identity is known, and all the series converge by the pre-
vious theorem. 0
THEOREM 5. Ifordx> l/(p — 1) then
explog(l +x) = 1+z
logexpz = x.
PROOF. The formal identities are known, and all the series converge by the
previous theorems. 0
Let 6= [e/(p-l)]+l. The log and exponent give mutually inverse isomorphisms
of 1+ p5 onto p6.
We leave it as an exercise to the reader to prove the converse of the Corollary
to Theorem 2, i.e. the kernel of the map
a—loga
for a I (mod p) is exactly the pM-th roots of unity contained in the field k.
114 XII. EXPLICIT RECiPROCITY LAWS
Thus
e(a1a2) = e(aj) + e(a2) (mod 2).
For the other exponent we have
as was to be shown.
Both sides of our equations axe multiplicative. It suffices to verify the state-
ments for a basis of k.
We note that:
Q2(i) is ramified (because (I + 1)2 = 21).
is unrainifled. Indeed, let a = — I)/2.
Then a generates and satisfies the equation a2 -f-a—I =0. Read mod 2,
it is the canonicalequation for an extension of the residue class field. Hence Q2(a) =
is unramified.
Now:
2Here and in the next four pages, basis for" means "a set of generators for &
dense bUb%flBJp of".
3. COMPUTATION OF THE NORM RESIDUE SYMBOL US
(2,2)=(.-l,2)=1 because—i
(2,5) = —I because the prime 2 is not a norm from the unrarnified extension
(modA).
We shall abbreviate the modulus, and write (A) for (mod A).
Let rjj = 1)1.
LEMMA 3. The form a multiplicative basis of the units of k 1(A). A full
multiplicative basis is given by the the (F — 1)-Ut roots of unity, and the powers
of a prime.
PROOF. The residue class field of Ic is Z1 = because k/Qt is completely
ramified. The (1—1) roots of urdty lie in and obviously any unit can be multiplied
by such a root of unity to make if 1(A).
Every unit e 1(A) can be written e = 1 + a1A + a2A2 +... where are
rational integers. We can obviously solve formally
for integers b2, c3, by a recursive process. The power series obtained by putting
t = A will converge, and this proves our lemma. U
We are now interested in computing the symbols A). We note that
(q1,A') = (1— A1,A1) = (1— =I
by Properties 1 and 4 of the symbol. This shows that if £ i then (qj, A) = 1
because A) is an £-th root of unity.
LEMMA 4. Lete be a unit of/c, e Exl(Al+9 for somex E k. Theme it an
1-I/c power in k.
PROOF. Suppose e x'(A") with ii ) £ +1. We try to refine x. We contend
that
(z + yA"/t)t xl ÷
116 XII. EXPLICIT RECIPROCITY LAWS
Since £1 the intermediate terms are divisible by t (4) and hence are
Furthermore A"1/t = A" Also, v—I 1, and 1— 1 ) 2.
Hence the last term is also This proves that we can solve for y such
that
x + yfr'A"
and by a standard refinement process, we can find an t-th root for e, as contended.
0
THEOREM 7.
(A).
We have seen at the beginning of our discussion that (IA/A') —1 (A) and our
equation becomes therefore
x'—.z+ImO (A).
Since k/Q, is totally ramified, the residue class fields k and are equal and are
simply the prime field Z,. Hence the equation above is irreducible in the residue
class field and this proves that k(A)/k is unramified. 0
We conclude that a = (A, k(A)/k) = w is the flobenlus Substitution. We must
therefore prove that = C.
3. COMPIJTAPION OF THE NO1tM RESiDUE SYMBOL
(A2)
El—A (A2)
(A2)
But if (It (P (A2) then t7(l — e 0 (A2). Since (1— (11V) A unless v p
(mod £) we conclude that = (thereby proving our theorem. 0
Our next problem is to determine (m1 in terms of (iji, A).
We begin by deriving a certain functional equation for (ijj, qj). We see imme..
diately from the definition that
'ij +A1tj,
Note that = —1 because £ is an odd prime, and hence (—1,/i) I for all /3.
From the addition theorem we get
('i,,A"i1) =
We use the multiplicativity of the symbol and
(I)
to get
('ii, = Th+j) ('11+1, m)&ii+a,
and invert everything:
(2) =
PRoposmoN.
(qi,7j,) = [1 (flri+sj, A)_(toi+aoJ)
r,sfl
(r,s)=1
where r, 3 are positive integers, relatively prime, and for each pair (r, a) the pair
(ro, so) is one solution of the equation rs0 — sr0 = 1.
PROOF. We must first show that the expression is well defined, i.e. does not
depend on the choice of (ro, so). Indeed, it is easy to verify that any other sdution
(ri, is given by r1 = r0 + ri and si = + st where t is an integral parameter.
This implies that the exponent changes by (ri + sj)t. Let p = ri + sj. From (1)
we know that A)" = I and therefore our expression is well defined.
Let [zh rjjj be the expression. We prove that frj,, 'uJ satisfies the functional
equation (2) as a function of i We consider different values of r, s.
r = s. Then r = s = 1 because (r,s) = 1. We may choose ro = 0 and = 1.
The term gives the contribution (tlj+j,
r> s. Let s = s' and r = r' + s'. This gives a 1—1 correspondence between
(r', s') and (r, s). The product over such terms gives the contribution
[J ( A)
r < s. Let r = r' and s = r' + s'. Again we have a i-i correspondence between
(r', a') and (r, a). The product over such terms gives the contribution
jj
ri .
i /
Before computing the symbol for the above cases, we make a definition. Let fi
be a unit of k, j3 = EtJ where are rational integers Define Diog (ito be
if/fl where (3' is the derivative of the power series, as discussed iii section 2. Then
Dlog[i is well defined mod t2 according to Lemma 2. Indeed, the different of
k/Q, is A'2 because k/Q, is tamely ramified. We have obviously
Dlog(afl) mDlogfl+Dloga (t2).
Note that logfl may not be defined since (3 is not necessarily mi (A). Even in this
case, log/i may not be a unit, so Dlogfl is not necessarily (log/i)'.
REMARK. The good radius of convergence for the log in k is precisely A2.
Indeed, if ordA x) 2, or equivalently, if x> 1 then ordx> 1/(t —1) which is
the number of Theorem 1.
We let S denote the trace from k to Qj.
THEOREM 10. (a, (3) is determined according to the following scheme.
1. cal (A2) and/ia 1 (A). Then
(a,fl) =
2. awl (A). Them
((,a)
3.aal(A). Then
(a,A) = loga)
The previous statements hold in the sense that the exponents involving log cx and
Dlogfl an well defined mod t and hence ( can be raised to such exponents.
PROOF. We begin with the first formula and must prove that the exponent is
well defined mod t. F'kom a E I (A2) we get loga a 0 (A2) by Theorem 1. We
know that Dlog/3 is well defined mod A'2. Hence lognDlogfl is well defined
mod A2A'2 = At = tAt where c is a unit. We see that
= 5(k)') =0 (mod 1)
where 'y is an integer. This proves that the exponent is well defined.
From the functional equation of log and Dlog we see that the exponent is
multiplicative in a and (3, and that it is continuous in both arguments. It suffices
therefore to verify our theorem for a multiplicative basis, i.e. for (tj4, 'Ii) according
to Lemma 3. In fact, since a 1 (A2) we may assume i a 2.
Considering Theorem 9 we must prove that
E
r,s)1
(mod 1)
We have
=log(1—A')= —EA'1/r
Dlogij1 = =
120 XII. EXPLICIT RECIPROCITY LAWS
(in-. 1)
= 3s (Yi
(in; ')(_l)us((P+l).
=
But in (Implies p +1 C 1. We have
ifp+l<€
ifp+i=t
Indeed, if p + 1 Ct then (14+1 $ I is a primitive £-th root of unity satisfying
+ + --- + 1 = 0 over Qe. Hence = —(coeffafr2) = —1. If
= (then (' = land S(1)=t— I.
We note that
(in—
a = (1— 1)"—'
=
Hence the sum is 0 except when in = £. in that case we obtain
(in— 1) (_1)ø +
=
(;: 1)
')(_I)P4
= (2€" (1 — 1)
>0
forz'>Lflutf(l)=2t-.1—2(t—1)=Lflencef(u)>Oforallu)1,aswas
to be shown.
concludes the proof for the first formula of the theorem.
This
We shall obtain the second as an immediate corollary. We first consider the
case a 1 (A2), and must show
= çtsflosct).
Since ( 1(A) we can use the preceding result on (a,C). We have = 1—A,
—1 and Dlog( = = —1/C. This gives
logaDlog( = —logo
and by the preceding result,
(5)
log(1 — A1)) =
—
andv=O. Sincetlsaprimeandi)2,thiscombinationcanoccuronlyifr=1
and i = £. In that case, we get I (mod 1) from the sum, and the minus sign in
front. These values are seen to coincide with those of (5), and this concludes the
proof of our theorem. 0
—1 =fI(x"" -C)
C
(q — 1)/rn elements in its kernel and z(t.l)/m = I if and only if r = vtm for
some y.
We let kbeaglobalfield,p afiniteprime, q = Np. p{m, and wesupposethat
a primitive rn-th root of unity lies in k. From this it follows that in I (Np — 1) and
that the preceding remarks on finite fields can be applied to the residue class field
of p.
We recall the elementary fact that (" (P (mod p) if and only if ii
(mod in).
Suppose p { a. We let be the rn-th root of unity defined by
\ )\)\
— (al\(a2
PROOF. Immediate from the definitions and the remarks on finite fields. 0
Let A = be one of the m-th roots of a. From Kummer theory we know
that k(A)/k is un.ramifled at p. Let be the Frobenius Substitution at p. Then
e (mod p)
(mod p)
(mod p).
The congruences are written mod p because they hold for each I P.
For /3 satisfying the conditions
1. $isprixnetoa,
2. jiisprirnetorn,
4. THE POWER RECIPROCiTY LAW 123
k$)=PitPcc
'1
From this definition we have immediately
f a\ (a\(cz
\/3/\a/p
But is unramified and therefore = (/3, = cor' By defini-
tion,
(/i,a)p = = AerdpP(wp_1}
where the product is taken over all primes (including the infinite primes!).
3Far a prime p which divide. a, so that (f) is not defined, the exponent ordp ft is 0, and
the corresponding factor in the product is to be interpreted as 1.
4A slightly more general statement, true for arbitrary a, /3 k, is
=
wherei=ordpa andj =ordpfl.
124 XII EXPLICIT RECIPROCITY LAWS
fl ($,ci)p H
plmva
= (a,A), = fl (A,a)p.
G) =
The complementary result coming from Theorem 14 and Theorem 6 is, for odd a,
= =
EXAMPLE 2. Let k = Q(() where £ is an odd prime, and (a primitive £..tb
root of Take in = £ r.s where A =1- (.
Only one prime divides 1', namely A. All are complex so they will give no
contribution in the power residue symboL
Suppose a I (A2) and j3 a 1 (A). Then by combining Theorems 10 and 13
we get
=
we also obtain
= Iosa))
(c)
(where N is of course the absolute
The complementary statement for A is
=
CHAPTER Xiii
Group Extensions
1. HomomorphIsms of Group Extensions
This section concerns the elementary facts about group extensions and home.
morphisins of them. Since these things are quite well known, the treatment is
sketchy throughout, many details being left to the reader. The main results are
summarized in Theorems 1 and 2 at the end of the section.
Let C be a group, not necessarily finite, and let A be an abelian group. A
group extension of A by C is an exact sequence of group homomorphisms
p —1 —1_.
—
The left band side of this last equation is the multiplicative form of the cobound..
ary formula for standard 2-cochains (ci. the discussion of H2(A) in §2 of Ch. II).
Therefore, our associativity condition means simply that a,,7 is a standard 2-cocycle
of C with values in the C-module A.
Working backwards, we can easily prove that, given any mode of operation of
G on A, and any 2-cocycle a,,7 of C in A with respect to that operation, there
exists a group extension U from which they come. We define U to be the set of all
symbols a * ti,, a A, a C, with the multiplication rule
(a * * u7) = * (it,7).
The associativity of this multiplication is an immediate consequence of the cobound-
ary, relation = 1, and of the usual properties of the exponentiation a'.
For fixed a and $ U the equations
areeasily seen to be solvable in U, and it follows that U is a group, i.e. has a unit
element and inverses. They are explicitly given by
1= ci *
(a * = * 14,—i.
(Various identities which arise in this connection, and which are of course direct
consequences of the coboundary relation are:
= aç1 a1,.,. =
C C
=
Putting j(a * a,) a we obtain a homomorphism of U onto C whose kernel
is the set of all elements of the form a * This subgroup is isomorphic to A
under the correspondence a (aajl a ui). We may therefore identify A with this
subgroup, i.e. put a = * a1, and if at the same time we put a, I sit,, we
find
= * ui)(1 * ti,) = * U * U0
'1
is commutative. Since we are viewing i as an inclusion, this means in particular
that / is the restriction of F to A. Now suppose f and are given. Under what
conditions does F exist, and bow many F's arc there? To study this question we
select representatives is0 U and VA V. Supposing for the moment that an F is
given, we have for arbitrary is = au0 U
= F(au0) = (Fa)(Fu0) = (fa)(Fts4.
Hence to describe F completely it is enough to give the elements Fu0; and since
j(Fu0) = çPju0 = con =
there are elements c0 c B such that
Fit0 =
Thus, F is described by a function a -. c0 from G to B.
If F is to be a homomorphism it is furthermore necessary that
F(u0aiç') = (Fu0)(fa)(Fu0y'
and
F(u0w,.) = F(u0)F(u.,.).
Writing out these conditions we find that they amount to
f(a"j=(/a)'0, aEA,
and
/ ,a,,,
" -—b
— 1,0—1
c0,c01,
where a01, and are the 2-cocycles associated with our two extensions and our
selected representatives it0 and VA. To interpret these conditions, we must view B
as a G-module under the operation If0 which is induced by the homomorphism
cp: G — H. Then the first condition means simply that f is a G-homomorphisin
of A into B; and thc second condition means that the 2-cocylcies f a01, and b,01,,
of G in B differ by the coboundary of the 1-cochain c0 of C in B.
Thus, necessary conditions for the existence of F are that be a C-homomor-
phism when C operates on B through 0, and that 1a1, and b,,0,, be cohomologous
2-cocycles of C in B. Conversely, it is easy to check that these conditions are suf-
ficient; if c0 is a 1-cochain satisfying (*), then a suitable F is obtained by putting
F(au,) = (/a)c0v,0.
In order to investigate the number of different F's for given f and p, we consider
the totality of 1-cochains c0 = (Fu4v;0' which describe them. If F and F' are
any two F's, then, as we have seen, the corresponding c and c' have the same
cobouadary, so their quotient
4C' = (ru0)v;v,,(Yu4' (F'u0)(Fu0)'
130 XIII. GROUP EXTENSIONS
identitYt identitYt
A U C.
Then the equivalence classes are in natural (i—i)-correspondence with the 2-dimen-
sional cohomology classes of C in A, for the vanous modes of operation of C on
A.
THEOREM 2. Let U/A C and U'/A' C' be two group extensions. Then, if
homomorphisms f: A A' and w: C —' C' are given, there exists a homomorphism
F: U -' U' such that the diagram
A —U —s C
'if
if
is a
2) f4a = f a', where a
a' C 112(G', A') is the class of U'. (Here
on A' through ço, and
IP(C,A) is the class of the extension U, and
and cc' stand for the homomorphisms
induced by (1, f): (C, A) —' (C, A') and 1): (C', A') —' (C, A'), respectively.)
Furthermore, if we call two such F's equivalent whenever they differ by an inner
automorphisin of U' by an element a' A', then the group H1 (C, A') operates
transitively without fixed points on the set of equivalence classes. In particular, if
H1(C,A') = 0, then all F's are equivalent.
2. COMMUTATORS AND TRANSFER IN GROUP EXTENSIONS 331
\
This can be viewed as a question about homomorphisms of (P n A
group extensions as in the following diagram:
Ii I
Q/Z —S. Q/Z
Since the lower extension is trivial, we see from Theorem 2 of §1 that necessary
and sufficient conditions for the existence of F are:
(1) f must be a C-homomorphism, G operating trivially on Q/Z, and
(2) /.a =0 in H2(C,Q/Z),
where a H2(G, A) is the class of our extension U/A C. The first condition
means simply that f must vanish on IA, the submodule of A generated by the
elements To transform the second condition we use the corollary of Theo-
rem 18 of Ch. V, §4, which states that H2(G,Q/Z) is the dual of H3(G,Z). It
follows that is the zero element of H2(C, Q/Z), if and only if it yields the zero
character of H3(G,Z), i.e. if and only if (f.a)( 0 for all ( H3(G, Z). We
have (/.a)C f.fr.z() because (1a)n = f(an) for a A, vi C Z; hence, our second
condition is equivalent to
(2') f.(a()=0 forall(€H3(G,Z);
in other words, to the vanishing of on the subgroup If 3(C, Z) of A).
The effect of f. on H'(C,A) is related to the effect of I on AN (= the kernel of
132 XIII. GROUP EXTENSIONS
AN
'1
(Q/7/4x —L. H'(G,Q/Z),
in which the lower horizontal arrow is an isomorphism. We see finally that our
conditions amount to the vanishing of f on the subgroup )IC' (a. H3(G, 1))
of A. Thus we have shown that the characters of A which vanish on U' fl A are
exactly those vanishing on . H3(G, Z)), both conditions being equivalent
see that the image of U/Ut under V is contained in AQ This can also be seen
directly, for it is a special consequence of the following fact about transfer: If W is
any subgroup of finite index in U, then
= u(Vu.wu')tC'
o -'-A' wO,
I':
H3(G,Z) -. H'(G,A) a...2: H2(C,Z) —' H°(G,A).
PROOF. Notice that the horizontal rows of the diagram of Theorem 4 are exact.
Let us augment that diagram by putting zeros above and below in the following
1The diagram gives another interpretation of the Nakayama map a, as the map induced by
the Verlagerung in the group extension corresponding to the class cx. In that version it is implicit
in the proof of the Principal Ideal Theorem due to Artin and lyanaga which we give in Section
4 of this chapter. It was published in S. lyanaga 1141 lyanaga was in Hamburg at the time and
states that the greater part of the proof is due to Artin, who generously let him publish it under
his own name.
Pt! IUX
II
:aauuvm
1
0 —0"—--— —0 o
-———0 * e—IA* e— * o
I I
0 0 e— I0
11 1
'fljOUOWUfl9qflCt44flt35tjiTtfl
it '0)tH (v aq; lvuoTsuam!p-z ssep 'a
uaqs B
'H)ZH (v smis 'Al 'paapiij a ; sai4wp.tasasdaz jo 0
tic ssuamaja 3 'H 8B SaAfle5UaSOKTal JO H ItI ODUOff
£q aip apXooa-c .&'DV jLDnSnflnt 'H v apAaoo-g
'In
99903 jo H U! 0 01 aqs 99903 JO Al UJ 'fi pue J! H
o ni/ri 'HID asoa.xaqj at traa uuoj aig uoTsuasxa
hit-I
Os tra jo aip ada at 9AtIj uaaq
'trmjaqe at ;srnn appqp ;no Aq io;wgtmmoa dnoa2 ,jo
I 3M/AP' H/D"mht/IP
3. THE AKIZUKI—WITF MAP U: H2(G,A) -. 113(G/H,A"} 135
where'y="y,ft=flFrt EH.2
COROLLARY. The cohomology map v is multiplicative.
THEOREM 6. For o JP(G, A) we have
=
(Za,a.
=
Dividing our 2-cocycle by this coboundary we obtain the following equivalent 2-
cocycle in thc class ink va
= fi (2j.
It consists of two factom of the coboundary and since this coboundary
is I we can write
CS,l. = = llae,?haA.
Using the coboundary relation to put the a in the first factor back in the exponent
we find
= fl a,. ,1a,T,hafffla0
.
=
Since the quantity in the parentheses is the coboundary of the 1-cochain 4 =
11 we see finally
(11:1)
a,,,,.
In terms of cohoniology classes this means ml va = as contended. 0
4. Splitting Modules and the Principal Ideal Theorem
Let C be a group and A a C-module. Let a Hr(G, A) be a cohomology class
of (3 in A. A splitting module. for the class a is a C-module B containing A, such
that the image of a under the homomorphism induced by the inclusion of A in B
is zero. In other words, such that a cocycle in the class of a becomes a coboimdary
when it is viewed in the bigger module B. Splitting modules exist for cobornology
classes of all dimensions, but we will content ourselves with a discussion of a special
case, namely a canonical type of splitting module for 2-dimensional classes. This
special case is the most important one because of its intimate relationship with
group extensions.
Let as,,. be a standard 2-cocycle of C in A, and for convenience assume as,,. =
=0. (Any 2-dimensional class contains such a 2-cocycle; from the point of view
of group extensions, the normalization al,,. = Ua,j = (I corresponds to choosing the
identity element of the extension U as the representative of the identity element
of the factor group C.) We wish now to construct a G-module B containing A, in
which there is a 1-cochain x0 such that
(ax)0,,. = ax,. — + x,, = a,,,,..
As the additive group of B we take the direct sum of A and of a 7.-free module
whose basis consists of symbols x,., one for each element r G except the identity,
i.e. we put
B=A+EZX,. (directsurn).
r$1
For notational convenience we define to be the zero element of B. We extend
the operation of C from A to B in just such a way that the 2-cocycle arn,. becomes
the coboundary of the l-cocha.in x,.. This is done by defining
(*) ax,. —x,,+a,,,.
for a, 'r E C. In order to justify this definition, we discuss the general question
of 7.-homomorphisms of B into an arbitrary 7.-nodule C. A 7.-homomorphism
f: B —' C is obviously determined by its restriction to A, and by the values
J(x,.) for r 1. Conversely, given any 7.-homomorphism g: A —+ C and given
arbitrary elements c,- C for 'r I, there exists a homomorphism f: B C
such that = g and f(x,.) = c,.. Now taking C to be B itself we can therefore
associate with each a C the unique homomorphism a: B —' B such that 04 is
the originally given effect of a on A, and such that ax,. is given by equation (s) for
XILL GROUP EXTENSIONS
r e 1. The equation (*) then holds automatically for r =1 beçause =0. The
unit element of C acts as identity on A because
lit,. =i., ri + ai,r = £7.
(Recall that = (I and at,, = 0.) The associative law for our operation follows
from the cobou.ndary relation for the 2-cocycle namely:
p(ux,.) = £g + a0,)
= — x9 + — Zpe + — Upe + PUa,r
= Zper Xpg + (pa0,, + apor
= +
= (pcr)xr.
We have shown that the operation of C on B has all the required properties; B is
a C-module.
The main properties of the splitting module B are stated in the next several
lemmas. These lemmas will be used later to prove the principal ideal theorem.
LEMMA 1. The factor module 8/A is C-isomorphic to the augmentation liSA
I. Mart precisely, the following is an aract sequence of C-homomorphisms
0—' A' -98-'
I I-'O,
where i is the inclusion, andj is defined byjA = 0, and by jat,. = fr—i) fort 1.
PROOF. Since the elements 'r — I for -r I are a Z-basis for I, and since the
elements it,. are a Z-basis for B/A, we see that j is a Z-homornorphism of B onto
I with kernel A, so the sequence is exact. To see that j is a C-homomorphism we
note that the formula fr,. = — 1 holds for all -r, because it holds automatically
for r = I, and consequently
jaxr = j(xor x0 + a0,,)
= (ar—l)—(c— l)=o'r—c =cfr— 1)
UJZ,. 0
LEMMA 2. Let be an element of the group ring of C. Then 78 c A if and
only if -y is a multiple of the trace, i.e. 'y = e(E0 u) = eS for some integer e.
PRO0F.ByLemmaiwebaveB/As'sL Hence'yB
'y('r—l) =Oforallr eC. Writlng =Ee0aweseethatthisrneansall
coefficients e0 are equaL 0
Now let us introduce the group extension U/A C constructed with the 2-
cocycle a0,7. When A occurs in this connection, we will write it multiplicatively,
though we still preserve the additive way of writing A when we view it as a sub-
module of the splitting module B. Thus, U consists of the elements au0 with the
multiplication rule
au0bw,. = ab'a0,7u07.
in particular, we have u1u1 = ai,iui = UI, hence Ui =1, because we have assumed
a1,1 is the identity element of A.
4. SPLITTING MODULES AND TEE PRINCIPAL IDEAL THEOREM 139
fexpa=aut, aCA
r$1.
As usual, the second of these formulas holds for 'r = 1 as well because = 0 and
= 1. This homomorphism exp vanishes on 113, because
exp(a — 1)a = = =
and
exp(a — 1)z.,. = exp(xq.,. — x0 + as,, —
I (mod Ift).
u0u7
Consequently, exp induces a homomorphism ëiq5: B/lB U/Ut. A glance at the
definitions shows that and are mutually inverse maps; hence they are both
isomorphisms onto. This concludes the proof. 0
LEMMA 4. The transfer map Vu,A: U/Ut —, A corresponds, under the isomor-
phism U/Ut 8/18, to the map 3: B/lB — A which is induced by the frace map
8:8-3. (Notice that S carries B into A (cf Lemma 1) and S vanishes on ID.)
PROoF. For the representatives we have
= [J (viewing A in U)
(viewingAinB)
= Eart —
ebj=EOsjb,, i=l,2,...,s.
Putting = eiJq where is the Kronecker delta, we obtain an s x $ matrix
of elements of the group ring F of G such that
c) The intersection of two members of the family {Gp} also belongs to the
family.
d) Any conjugate of a member of the family {Cp} is also a member of the
family.
e) The intersection of all members of the family {CF} is the identity:
fl
FeE
Gp 1.
4= = (AGX)GFIGK
in other words, the ground level of a normal layer consists exactly of all elements of
the top level which are left fixed by the operation of the galois group of the layer.
As in galois theory, a normal layer is called solvable, abelian, or cyclic, if the galois
group is solvable, abelian, or cyclic.
1. FORMATIONS 145
V(K/E),(x/p): fflK/E)
and
res(c,,GK),caZ,fcK): Jr (GE/GK, A(GK))
res(x/F),(K/E): H'(K/F) —. fr(K/E).
Conjugation: If K/F is normal and u C, then we have
—
PRoPoSITIoN 1. Given any finite set of Layers over the same ground field,
E1/ F, E2/F,... ,Em/F, there exists a normal Layer K/F containing all of them,
i.e. such thatFcEjcKfori=l,...,m.
Paooi. Each of the subgroups is of finite index in Op and has therefore
only a finite number of distinct conjugates G°5, in CF. These conjugates are open
subgroups of G by assumption d) of definition 1. Hence, by assumption c) of that
same definition, their intersection,
cEGp
LCi(,n
is also open, i.e. is of the form Gx for some field K. Since Gic is obviously normal
in Gp, and is contained in for each i, it follows that K/F is normal, and
K D Fig for each i, as contended. 0
PROPOSITION 2. Every subgroup of the galois group 0K/F of a normal Layer
K/F is of the form for some E,Fc EcK.
PROOF. We have = Hence any subgroup is of the form H/Ox
for some group H such that H Since if J Cx there is a field B such
that H = 05, by assumption b) of Definition 1. Then F C B C K and our original
subgroup of GKIF is GE/GK = Ox/s. 0
One difference between formation theory and galois theory proper is that in a
formation one does not assume that ,the correspondence
0x Ax = A°"
is one-to-one. It is perfectly possible, according to our definition, that the galois
group of a formation operates trivially on the formation module, in which case all
levels are the formation module itself. The point is that the one-to-oneness of the
correspondence plays no role whatsoever in the cohomological considerations, so
there is no point in assuming it.
isnot zero, i.e. a C Ax. The existence of such a 6 follows from the theorem on the
independence of isomorphisms of a field (see, e.g., [3, Corollary in Section F], or [4,
2. FIELD FORMATIONS. THE BRAVER GROUPS 147
Chap. V, §7, Theorem 3] or almost any modern textbook on (3alois theory). Then
the equations
a'f(c) = EbUt(f(r)rffr) = =a
where ii,. denotes "order of H'"'. Since the layers K/F and L/K are of lower degree
than L/F, (*) holds for them, by our inductive assumption, i.e.
hr(K/F)IIK:F]V and
Combining these divisibilities with the above and using the obvious multiplicativity
of the degrees, IL: F] = [L: K][K: FJ, we obtain
hr(L/F) IL:
145 XIV. ABSTRACT CLASS FIELD THEORY
ML/F) I fi
Since IL: F] is not a prime power, all the layers corresponding to the Sylow
subgroups are of lower degree than L/F; hence (*) holds for them by our inductive
assumption, i.e.
I
[L:
multiplying over p and using = (L Fl (the order of a group is the
product of the orders of the p-sylow subgroups for the various p) we obtain the
desired result. This completes the proof of Lemma 1. 0
In the proof of Lemma 1 the exactness of the inflation-restriction sequence is
used only in the form of the consequence
hr(L/F)
This consequence could also be obtained from an exact sequence in the other di-
rection such as the special 0-dimensional sequence
II°(K/F) s— H°(L/F) — II°(L/K)
mentioned at the beginning of Ch. W, and from this we get a similar statement
in dimension 0. However we only mention this in passing, since we will never require
the result.
Throughout the remainder of this section we will assume that our formation
is a field formation. The most Important consequence of this assumption is the
exactness of the inflation-restriction sequence in dimension 2. 11 F C K C L with
K/F and L/F normal, then the sequence
0—' H2(K/F) ±L 112(L/F) H2(L/K)
is exact. This follows either from the Hochschild—Serre spectral sequence, or by
"dimensiona shifting", using the fact that the 1-dimensional cohomology group of
the layer L/K corresponding to the subgroup CL/K of GL/F, is trivial in our field
formation.
One consequence of this exactness is that for F C K C L, the map
H2(K/F) 2!, H2(L/F)
is an isomorphism into. We may therefore identify H2(K/F) with its image in
112(L/F), and view the inflation as an inclusion. If F C K C L C M, then, by the
transitivity of inflation we see that the direct imbedding of H2(K/F) in H2(M/F)
is the same as the imbedding via H2(L/F). Taking the injective limit we obtain
a group which we may denote by 112(*/F) = limx H2(K/F), and which has the
following properties:
1) For each normal layer K/F over the ground field F, 112(K/ F) is a subgroup
àf H2(*/F).
3. FIELD FORMATIONS. THE BRAVER GROUPS 149
lnfa+infa'
in H2(L/F). In this way, all computations in the Brauer group are referred to
computations in the layers.
It is natural to denote the inclusion map of If 2(K/F) into the Brauer group
H2(*/F) by the symbol in! (K/f),(*/F), and to view it as a symbolic inflation, since
it is, so to speak, the limit of actual inflations, inf(K/p),(L/p) as L —. oo.
Our next task is to define a symbolic restriction map, resp,E: H2(*/F) —'
H2(*/E) between the respective Brauer groups of two fields F C B. Let F C E C
K C L with K/F and L/F normal. Then the following diagram is commutative:
H2(K/E) H2(L/E).
Therefore, if we view the two upper groups as subgroups of H2(*/F), the two lower
ones as subgroups of 112(*/B), and the horizontal arrows as inclusions, we see
that the effect of the vertical restriction maps is consistent—the one on the right
extends the one on the left. Taken all together therefore, for all K, L etc. which
contain E and are normal over F, these restriction maps res(K/p),(K/E) constitute a
map of H2(*/F) into H2(*/E) which we denote by resr,s, and view as a symbolic
restriction.
In case E is normal over F, the kernels of both vertical restriction maps in
our diagram are the sa.rne, namely they are inf (112(E/F)). This follows from the
150 XIV. ABSTRACT CLASS FIELD THEORY
11 Infj
H2(E/F) —EL H2(L/F) 112(L/E)
and the commutativity of the diagram, in which we view the vertical inflations as
inclusions. Consequently, the symbolic inflation-restriction sequence
0—' H2(E/F) ±L H2(*/F) H2Qtc/E)
is exact; the kernel of reeFs is the subgroup H2(E/F) of LP(*/F) in case E/F
is normal. This fact is of' the utmost importance because it characterizes the sub-
groups of the Braner group H2(*/F) which belong to the individual layers: For
an element a e H2(*/F) to belong to H2(EfF), it is necessary and sufficient that
= 0.
Let us review how the image of an element a E 112(*/F) under the symbolic
restriction map is explicitly computed in terms of the layers. The given a will
belong to seine normal layer K/F, i.e. a c 112(K/F). Then we have
a = res(L.fl,(L,s) S (K/F),(L/F) a H2(L/E) C 112(*/E),
for any L containing E which is normal over F.
A symbolic transfer map can also be defined which maps H2(*/E) into H2(*/F)
for any F C E. As in the case of restriction, it is induced by the ordinary transfers in
finite layers, whose consistency is by the fact that the following diagram
is commutative:
H2(K/F) _i!L 112(L/F)
vI . vI
112(K/E) —EL 112(L/E).
We denote the resulting symbolic transfer by
H2(*/E) —' H2(*/F); F C E.
The important relation "transfer of restriction = multiplication by degree", i.e.
VE,Fresp,sa = EL? : F]a,
holds for these symbolic maps because it holds in the finite layers.
Finally of course we have the isomorphisms between Brauer groups which are
induced by conjugation with an element G:
H2(*/F) —. f-12(*/F°)
where FC is defined by G(pc) = We leave their construction to the reader.
field theory can be carried out. We call this structure a class formation; it is a field
formation which satisfies the following additional axiom
AxioM II. For each field F, there is given an isomorphism a —' invp a of the
Brauer group H2(*/F) into the group Q/Z of rationals mod 1, which satisfies the
following conditions:
a) If K/F is a normal layer of degree n, then invp, maps H2(K/F) onto the
subgroup of Q/Z.
b) For any layer E/F of degree ii we have
= flhJlVp.
The rational number mod 1 which we denote by irtvp a is called the invariant
of the element a H2(*/F). Since inVF is by definition an isomorphism into, these
invariants characterize the elements of the Brauer group uniquely.
The most difficult part of class field theory consists in proving that the fortn&.
tions of local fields and of global idèle classes are class formations. In the next few
paragraphs, we shall outline the method of proof that is used, carrying out here the
reduction steps which can be done abstractly. In the later sections of this chapter,
we will assume given an abstract class formation and derive consequences from that
assumption.
Notice that in the proof we are about to outline we do not assume at the
beginning that our formation is a field formation. The proofs of Axioms I and II
are intermingled, at least in the global theory. One first proves that the formation
in question satisfies
AXIOM 0'. Tn each cyclic layer of prime degree, the Herbrand quotient is
defined and is equal to the degree.
The proof of Axiom 0' involves subtle arithmetical arguments, especially in the
global case, but one has the advantage that the layers involved are of the simplest
possible type, and that the Herbrand quotient has especially simple multiplicative
properties with respect to changes in the coefficient module (cf. q.l, q.2, q.3 in the
first chapter of the book).
Axiom 0' states that if K/F is a cyclic layer of prime degree, then
h2(K/F) = (K: F]h1(K/F),
where Ii,. = "order of H'". Thus, when it is proved, one has at one's disposal the
"first inequality":
(K : Fl 1 h2(K/F)
in all cyclic layers of prime degree; and one knows that the and sufficient
condition for the equality
h2(K/F) = 1K: F]
to hold in these layers is given by Axiom I' of the preceding section, i.e. H'(K/F) =
0 for cyclic layers of prime degree. On the other hand, another necessary and
sufficient condition is obviously given by
AXIOM V'. The "second inequality"
h2(K/F)( (K:F]
holds in all cyclic layers of prime degree.
152 XIV. ABSTRACT CLASS FiELD THEORY
Therefore one proves next either Axiom I' or Axiom I", whichever is more
convenient. In the local theory Axiom 1' is immediate because the formation is
that of the non-zero field elements and is therefore a field formation. But in the
global theory, where one is dealing with the formation of idèle-classes, no direct
proof of Axiom I' is known. Instead, one proves Axiom I", making heavy use
of the first inequality and of Kumnmer theory. Here one again has the advantage
that the layers involved are of the simplest possible type—cycbc of prime degree.
Furthermore, in such a layer, the cohomology group in question, ff2, is isomorphic
to H°, which has a simple down-to-earth description: elements in the ground level
rnodulo norms from the top level.
At this stage one knows that the formation is a field formation because, as we
have seen in the preceding section, Axiom I' implies Axiom I. Hence, the inflation-
restriction sequence is exact in dimension 2, and we can use the case r = 2, v = 1
of Lemma 1 of §2 to show that the "second inequality"
order of H2(K/Ffl [K :F]
holds in all normal layers K/F, since we know by Axiom 1" that it holds in cyclic
layers of prime degree.
Finally, by investigating the 2-dimensional cohomology groups of some special
layers (corresponding to unrarnified extensions locally and cyclotomic extensions
globally) one proves that the formation satisfies
AXIOM H'. For each field F, there is a subgroup F) of the Brauer group
112(*/F), and an isomorphism of this subgroup into Q/Z such that:
a) For any layer E/F we have C and
resF.E a = [B: Fl mvp Q
krallaER2(*/F). -
b) If there exists a layer E/F of degree it, then H2(s/F) contains a subgroup
which is cyclic of order it.
The point is that we now have enough information to prove that the subgroup
must in fact be the whole Brauer group over F. To do this we have
simply to show, for each normal layer K/F, that H2(K/F) is contained in ii
because the Brauer group is the union of the groups H2(K/F). Let it = [K: Fl be
the degree of the layer in question. According to lYb, there exists a subgroup T of
H2(*/F) which is cyclic of order vi. Using ll'a we find
ulvjc resp,KT = ninvpT = invpnT = invjrO = 0.
Since nvK is an isomorphism into by hypothesis, it follows that resFjc T =
end the exactness of the symbolic inflation-restriction sequence
0—' H2(K/F) —' H2(*/F) H2(*/K)
allows us to conclude T C H2(K/F). Recalling the second inequality, which states
that the order of H2(K/F) divides the degree it, which is the order of T, we see that
H2(K/F) = T and is therefore contained in H2(*/F) as contended. ftrthermore,
its image under IFWF is
triiwp(T) = 1Z/Z
3. CLASS FORMATIONS; METHOD OF ESTABLISHiNG AXIOMS 155
because *Z/Z is the only cyclic subgroup of order n of Q/Z. Thus the formation,
together with the map satisfies Axiom II. This concludes our discussion of
how Axioms I and II follow from the seemingly weaker Axioms 0', 1! or I", and IL'.
For the remainder of this chapter we assume that our formation (C, {CF}, A)
is a class-formation and discuss the rather remarkable consequences of this assump-
tion. According to Axiom II a), the 2-dimensional cohornology group of any normal
layer K/F of degree n is cyclic of order n, being in fact canonically isomorphic to
the group under the isomorphism iUVF. Any rational number t which can
be written with denominator is determines a unique element a E H2(K/F) such
that invp a t (mod Z). This a is called Usc cohomology class with invariant t.
If we are working with a complex X for the galois group CK/p of the layer, and
f: X2 —' AK is a cocycle in the class a, we also say that is a cocycle with in-
variant t. The class with invariant I/n has period is and generates H2(K/F). It is
called the canonical class, or the fundamental class of the layer K/F. A cocycle f
reprcsenting the fundamental class is called a fundamental 2-cocycle.
PRor'osrrioN 4. Let F C E c K, with K/F normal. Then the restriction of
the fundamental class of the layer K/F is the fundamental class of the layer K/E.
PROOF. Letn=[K:Fjandm=[K:E]. Then [E:FJ=n/m, and ifais
the fundamental class of K/F we have by Axiom JIb:
m.
invEresFEa= —lnvFam —. — —
1 nI
(mod Z). 0
n mis mn
Since the fundamental class of a layer generates its two dimensional cohomology
group, the foUowing corollary is immediate:
COROLLARY 1. Let Pc E C K, with K/F normaL Then the restriction maps
JP(K/F) onto H2(K/E).
Keeping F and E fixed, letting K vary, and remembering that H2(*/E) =
UK H2(K/E) we see also
COROLLARY 2. Let E/F be an arbitrary layer of a class formation. Then the
symbolic restriction maps H2(s/F) onto H2(*/E).
Corollary 2 is an important fact. For one thing, it shows that the isomorphisms
havE for all fields £ J F are determined by the single isoznorphism invp through
the equation
rnvEresF,g = [E: Fjinvp.
Furthermore, the onto-ness of the symbolic restriction allows us to prove
PROPOSrTION 5. Let E/F be an arbitrary layer. Then
1) The symbolic transfer maps H2(*/E) isomorphically into H2(*/F), preserv-
ing invariants in the following sense
UivF Vs,pa = havE a, a H2(*/E).
2) Conjugation by an element c E Cp preserves invariants in the following
sense
invEe(c.a) = invs a, a E 112(*/E).
XJV. ABSTRACT CLASS FIELD THEORY
order (UK/F' : 1) = [K : F'] generated by xl, H2(K/F') is cyclic of the same order
generated by a', and c4(xl) = a'(4) = l,a' = a'. Finally, a' is automatically an
isomorphism into because H'(GK/p., Z) =0. This concludes the proof of the main
theorem. 0
The canonical isomorphisins which we have just established commute with re-
striction and transfer, according to
THEOREM 2. Let F C F' C K, with K/F normaL Let a be the canonical class
of the layer K/F, and a' that of K/F'. Then each pair of vertical arrows makes
the following diagram commutative:
H
a' that this theorem is an immediate
consequence of the identities relating products and restriction and transfer. Namely,
for any C E H"(GK/p1Z)
a'(res() = (resa)(re8() = res(aC),
and for any
c4V(') V((res a)(') = V(a'C,'). 0
The isomorphisnis of the main theorem commute with conjugation, but since
this commutativity is a special case of their commutativity with the isoznorphisms
induced by isomorphisms between class formations, we digress for a moment to dis-
cuss this latter concept. if (G, {Gp}, A) and (G', A') are two formations, it is
natural to define an isomorphisrn of one onto the other to be a pair of isomorphisnis
f:ArtA'
such that f((Aa')a) = c'(f a), and such that A induces a correspondence
between the subgroups and the subgroups {GF}. Then for each field F' we
can define AF' by G(Ap') = A(G'1,), and it is clear that f(AAF') = Ak,, GAK'/Ap' =
etc. Consequently, for each norma! layer K'/F' there is an isomorphism
If one formation is a field formation, then so is the other, and the isomorphisms
(A, on the 2-dimensional groups of the layers induce isomorphisrus of the Brauer
groups. If the formations are class formations, then one would also require that
these isornorphisrns between Brauer groups also preserve the invariants. When this
is the case, it is clear that the two class formations are the "same" alge-
braic structure and that any construction carried out in one could be carried out in
156 XIV. ABSTRACT CLASS FIELD THEORY
the other with the "same" result. In particular, the isomorphiszns constructed in the
main theorem would correspond, i.e. the following diagram would be commutative
JP(GAJ(s/Aps, Z) _..
(A)I).t
Jfq+2(J(l/J74)
If (G, {Gp}, A) is any class formation, and r E C, then the "inner automor-
phisni"
rl:ct=rurl_r tr:a—"ra
is an automorphisin of it in the sense we have described, because by Proposition 5
of §3 we know that conjugation preserves invariants. Thus we have proved
THEOREM 3. Let r E G, and let K/F be a normal layer. Let a be the funda-
mental class of the layer K/F. Then is the fundamental class of 'rK/rF and
the following diagram is commutative:
--b
Z)
The isomorphisms of the main theorem do not commute with inflation in pos-
itive dimensions. The correct rule is given by
THEOREM 4. Let F C K c L with K/F and L/F normal. Let ax/p and
0L/F be the canonical classes of the respective layers. Then the following diagram
is commutative for q > 0;
Z)
!L:Klinfj iufj
Exercise
Using the isomorphism 6: H'(Q/Z) H2(Z) we see that the elements of
if4 (K/F) are of the form a where x e H'(CK/p,Q/Z) and a is the fun-
damental class of the layer K/F. If x(cr) is the standard 1-cocycle representing
then the map a is a character of C, and we may identify x with this
character as we have discussed. Thus the correspondence
c) Let F c K C L with K/F and LIP normal. Show that the inflation map
from H4(K/F) to H4(L/F) corresponds to the procedure of viewing a character
of the factor group cK/F as a character of the big group and raising it into
the [L: K]-th power. (Use Theorem 4.)
d) Given a standard 4-cocycle f = f(uj, a2,03, of GK/F in AK, representing
a class (3 C If 4(K/F), show that the corresponding character x is given by
x(r) =invp(f*r),
where f * r is the standard 2-cocycle defined by
(f * Ef(a1,02,p,'r).
This Is known as the reciprocity law isomorphism, for historical reasons. Being
an isomorphism between a factor group of A1 and a factor group of GK/F, it is
induced by a multivalued correspondence
al-4a,
between those two groups. Then. by definition, we have
ifandonlyif ,ca=a.(0.,
where a is the fundamental 2-dimensional class of the layer K/F. A dual description
is given by
3Ilere 6: 1r2(G,Z) Z H'(Q, I)ts the connecting homomorphism of the exact sequence
0—p tc; Z —'0.
We have H'(G, 2') Ic/'&. and as is well known, the map cr.-.o—I (rood 1)2 inducas an
isomorphism G/GC
5. THE RECIPROCITY LAW ISOMORPHISM 159
(x/F)j (FCECK)
inclusion
C K/S
c)
PRoOF. To prove a) and b) we use Theorem 2 of §4 which states that the fun-
damental isomorphisms of the main theorem commute with restriction and transfer.
We have only to recall how these homomorphIsms are obtai.ued explicitly in case
of H°(AK) and H2(Z). The inclusion map Ajj induces the restriction
from H°(JCfF) to Jf°(K/E); while the norm map from A5 to AF induces the
transfer from H°(K/E) to H°(K/F). On the other hand, the restriction from
H2(GK/F, Z) to Jf-2 (Gjc/5, Z) is induced by the group theoretical transfer from
Gx,'r to GK/E, while the cohomological transfer in the other direction is induced
by the inclusion of CK/s in
Statement c) follows similarly from Theorem 3 of § 4.
160 XIV. ABSTRACT CLASS FIELD THEORY
For d) we must use another method because we have not introduced cohomology
corresponding to the natural map of Al/Nt/FAt onto AF/NK/FAK, and to
the natural map of CL/F onto the factor group GK/F. We use the duality criterion
of Proposition 6, which states that for a Ap and o Gtip we have a u
if and only if
(*) = invp(xa öx)
x(cx)
for all characters of CL/F. We must therefore show that if (*) holds for all
then
(a) 4'(aCL/K) = invp(xa' 54')
for each character 4' of CK/F = GL/F/GLIK. To this effect, we let x
= rnfcKIF,GL,P 4'. Then x is the character of CL/F defined by xfr) = lIi(UCL/K).
Of course we have jul = 5x because inflation commutes with coboundaries.
Hence
%b(crCL/K) = xfr) = invp(xa' 5x) = invp(xa . laf 54'),
and since the cup product with the 0-dimensional class na is given by an induced
map (Theorem 10, §3, Ch. V), and therefore commutes with inflation, we can write
this as
?,b(UCL/K) = invp(inf(xa . 5*)) = invp(xa .
(The last equality follows from the fact that we have inf (xa' 54') = xa by the
very definition of the Brauer group.) This concludes the proof of Theorem 5. 0
The reciprocity law isornorphisin is of course induced by a homomorphism of
Ap' onto with kernel NaqrAx. This homomorphism is called the
norm-residue map and is denoted by
a—.(a,K/F), a€Ap.
The symbol (a, K/F) is called the norm-residue symbol and is of historical origin.
The reason for the name is that the value of (a, K/F) determines the residue class
of a modulo norms from K, i.e. modulo NK/FAK. Dunslating Proposition 6 and
Theorem 6 into properties of this symbol we obtain:
PROPOSITION 6'. Let K/F be a normal layer and let a Then (a, K/F)
is the uniquely determined element of such that
invp(xa 5x) = x(a, K/F)
for all characters x of CK/p.
THEOREM 6. a) IfFc ECK, then fora€A1 we have
(a, K/B) = VGK,F,GKIR (a, K/F).
b) IfFc B cK, then fora E AB we have
(N511a, K/F) = (a, K/B) .
c) JfFcKari4tcG, then foraeAp' we have
(aT, KT/r) = (a, K/F)t.
d) lfFcKcL, anda€Ap', then
(a, K/F) = (a, L/F) . CL/K.
t THE RECIPROCITY LAW ISOMOItFHI5M 161
c) [M: :NM/FAM).
Finally, every subgroup of AF which contains a norm subgroup is itself a norm
subgroup.
PROOF. Proposition 7 shows that for the extensions ElF which are contained
in a given normal extension IC/F, the norm group depends only on the
group This group is obviously the minimal normal sub-
group of GK/F containing Giqe such that the factor group
abelian. Consequently the corresponding intermediate field M (defined by =
is the maximal abelian subextension of B. Thus, the norm group
Ne1pAs depends only on the maximal abeban subextension of E/F; arid since the
maximal abelian subcxtension of the maximal abelian subextension is that exten-
Sn itself, it follows that NE/FAR = NM/PAM. This proves the first part of the
theorem, and shows in addition that every norm subgroup of 4 is a norm group
of an abelian extension.
Let M/F be any abelian extension. The intermediate fields M1, F C M1 C
are in one-to-one correspondence with the set of all subgroups GM/MI of the
galois group GM/P. Since the norm residue map a —' (a, M/F) maps 4 onto
0M/P' and has kernel NM/PAM, it follows that the subgroups GM/MI are in one-
to-one correspondence with their inverse images under the norm residue map, and
that these inverse images are those subgroups of 4 which contain NM/PAM.
On the other hand Proposition 7 shows that the inverse image of GM/M1 is the
norm subgroup NM1/FAM1. Since any two abelian extensions M1/F and 113/F
are contained in a single abelian extension M = M1M2, it follows from what we
have proved that M1 = M2 if and only if NMIIPAMI NMZ/PAM2; hence the
correspondence between abelian extensions and theii norm groups is one-to-one.
Furthermore, since any norm subgroup of Ap is the norm group of an abelian
extension Al, we have shown that any subgroup of Ap which contains a norm
subgroup is itself a norm subgroup.
All that remains is to establish properties a), b), and c). Concerning a) we
know from the transitivity of the norm that the bigger the extension, the smaller
its norm group; and in the case of abelian extensions we can say conversely that
the smaller the norm group the bigger the extension, because of the one-one-ness
of the correspondence. Now b) follows from a) by simply considering the lattice
of norm subgroups of 4 as compared to the lattice of abelian extensions of F.
Property c) is just a special consequence of the reciprocity law isomorphism GM/P
AF/NM/FAM. This concludes the proof of Theorem 7. 0
If E/F is an arbitrary extension, the index (4 NQ,PAR) is called its norm
index. From Theorem 7 it follows that the norm index of an extension is equal
to the degree of its maximal abelian subextension. Hence, the norm index of an
extension always divides its degree, and is equal to the degree if and only if the
extension is abelian.
For historical reasons the top fields M of abelian extensions P4/F are called
class fields over F. According to Theorem 7, the class fields over F are in one-
to-one correspondence with their norm groups in A,'. If B is a norm subgroup of
Ap, the corresponding class field M over F such that NM/PAM = B is called the
class field belonging to B. The galois group GM/P is canonically isomorphic to the
6. THE ABSTRACT EXISTENCE THEOREM 163
factor group Ar/B by the reciprocity law. If ElF is an arbitrary extension, then
by Theorem 7 we have M C E if and only if B NE/rAE.
PROPOSITION 8. Let B be a norm subgnnip of Ap, and let M be the clan field
over F belonging to B. Then
a) For any r G, is the class field over F' belonging to Bt.
b) If E is any field containing F, the group C = N/,(B) is a norm subgroup
of A5 and the class field over E belonging to it is the compositurn ME.
PROOF. a) This follows from first principles: MT/V is abelian because M/F
is, and we have
NM? /F?AM? = = (NM/RAM)' = B'.
Hence M' is the class field over FT belonging to B'.
b) Let L denote a variable extension of E. Then, by definition, ME is the
smallest L such that L J M. Since M is the class field over F belonging to B, we
have
C B4*NLIEAL ca
where C = Nj,3,(B). Thus, ME is the smallest L such that NL/EAL C C. This
shows in the first place that C is a norm subgroup of A5, because C contains the
norm group of ME; and now it follows that ME is the class field over E belonging
to C because that is the smallest extension of E whose noun group is contained
inC. 0
6. The Abstract Existence Theorem
As we have seen (Theorem 7 of the preceding section), the lattice of abelian
extensions M of a given field F is anti-isomorphic to the lattice of norm subgroups
of the given ground level AF. Thus, if we can in some way characterize those
subgroups of A, which are norm subgroups, then we will have gained an insight
into the totality of all abelian extensions ofF. In class field theory proper, both local
and global, it turns out that a very simple characterization of the norm subgroups
can be given, in terms of the natural topology in the levels Ap—the norm subgroups
turn out to be the open subgroups of finite index in A,. The aim of this section is
to discuss a set of conditions on an abstract class formation, from which the above-
mentioned characterization of norm subgroups follows, and which are relatively
easy to check in the case of class field theory proper.
DEFINITION 2. A formation (G, {Gp}, A) is a topological formation if each
level A, is a topological group and if:
a) In each layer E/F, the topology of the ground level A, is that induced by
the topology of the top level AE; in other words, the inclusion map Ap —* A5 is
bicontinuous.
b) The galois group G acts continuously on the levels; if a C, then the snap
a: Ap —. A(po) is continuous for each field F.
It follows that the map a: A, A,0 is bicontinuous in a topological for-
mation, because the inverse map, given by r', is also continuous. If E/F is an
arbitrary layer of a topological formation, the norm map N5/p: A5 A, is con-
tinuous, and furtlicrmore the ground level Ap is a closed subgroup of the top level
A5. To prove these statements, we imbed ElF in a normal layer K/F, and make
XIV. ABSTRACT CLASS FIELD THEORY
use of the fact that the topologies of A5 and of A? are those they inherit as subsets
of AK. Obviously the norm map a = ft a" is continuous, because each
of the isomorphisms a —' a°' is a continuous map of AK into AK. Furthermore,
A?, being the set of elements of AK which are left fixed by the continuous operators
c is closed in AK.
From now on in this section we asswne that our class formation is a topological
formation. in the course of studying the norm subgroups of a given level Ap, it
will be useful to consider the intersection of all norm subgroups. We denote this
intersection by Dp:
DF= fl
ED?
Thus, Dp is the group of "universal norms", elements which are norms from every
extension. For any layer E/F we have N5IFDE C D1, i.e. a norm of a universal
norm is a universal norm. This is obvious from the transitivity of the norm and
from the fact that every extension of F is contained in an extension containing E.
Under certain topological assumptions one can prove the opposite inclusion,
I)p C N51pD5. These assumptions are:
AXIOM lila). For each layer B/F the norm group is a closed subgroup
of Ap.
AXIOM 11Th). For each layer B/F the kernel of the norm map, namely
is a compact subgroup of A5.
PRoPosiTion 9. In a topological formation satisfying Axioms lila) and b) we
have = N5IpDE for each B/F.
PRooF. According to the remarks above, we have only to show Dp C N5IFDE.
Let a c Dp. For each field L containing B, let
Tb = (NL/EAL) fl
denote the set of elements of A5 which are norms from AL and whose norm to F
is a. Our task is to show that the intersection of the sets TL, over all I, D B, is
non-empty, for an element of that intersection would be a universal norm in A5
whose norm to F is a. The individual sets Tt are not empty because, a being a
universal norm in Ap, we have for each L,
a E Nt/PAL = N5/p(NL/5Ajj.
It follows that the sets Tb have the finite intersection property, since fl...1 D Tb
whenever L for i = 1,. .. ,r. Therefore, in order to prove that the Tb have
a common point it suffices to show they are compact. This is where Axioms lila)
and b) come in; TL is the intersection of the closed set Nb/SAL and the compact set
and is therefore compact. This concludes the proof of Proposition 9. 0
In class field theory proper the formations satisfy
AXioM IlIc). In each level Ap the kernel of the map a d, namely i3, is
compact, for each prime number 1.
AxioM Hid). For each prime number t we have Dir C 4 for all sufficiently
large fields E. (More precisely, there exists a field such that D5 C 4 for all
£ B1. Note that the required "largeness" is allowed to depend on the prime 1.
6. THE ABSTRACF EXISTENCE TKEOREM 165
For example, in the application to ordinary class field theory, "sufficiently large"
will mean "containing the £-th roots of unity".)
PRoPOSITIoN 10. In a topological formation satisfying Axioms lila), b), c)
and d) we have Dp = D for all natural numbers m and all fields F.
PROOF. It is clearly sufficient to prove Dp = Di,, for each prime C. Using
Axioms lila) and b) we know from the preceding proposition that Dp = NE/FDE
for each extension E/F. Taking E to be "sufficiently large" for £ in the sense of
Axiom hId) we have then
fl = AS
Up IT iat'. II?
fl C IVE/pkttEJ A 'Li
\LVE/ptlE).
For each a C Dp, let aVt denote the set of all elements of A, whose
is a. From (*) we see that the sets
XE = (NEIFAE) fl
are non-empty. Therefore they have the finite intersection property. They are
compact because is closed (Axiom lila) and alit is compact (Axiom Ilic).
Consequently their intersection is not empty. An element of their intersection is an
element of D,, whose e-power is a. This concludes the proof of Proposition 10. 0
If our class formation satisfies one more axiom, then we can get information
about the norm groups themselves rather than their intersection B,. This final
axiom is
AXIOM Ille). For each field F there exists a compact subgroup Up of A, such
that every open subgroup of finite index in Ap, which contains Up, is a norm
subgroup.
THEOREM 8. In a topological class formation satisfying the five Axioms liJa)—
e), the norm subgroups of a level A, are just the open subgroups of finite index in
A,. Their intersection D, is given by D, = and we have B, =
for all natural numbers rn
PROOF. The statements about Dp follow immediately from the preceding
proposition. Indeed, for each held E F we have
C = NE/PA, c NE/PAE
which proves that A7t C B,. Conversely, for each m we know from the
preceding proposition that B, = D7' C A7t, which proves B, C
In a class formation the norm indices (A, NE1,As) are finite (cf. Theorem 7
of the preceding section), and we have assumed (Axiom lila) that the norm sub-
groups NE/FAE are closed. it follows that the norm subgroups are open. What
remains to be shown is that conversely, each open subgroup B of finite index is
a norm subgroup. Let N designate the general norm subgroup of Ap. Then B
contains Dp = flN N because B 4FB) Lip. in other words, in terms of
the complements. the open sets A — N cover the closed set A — B. In particu-
lar, they cover the compact set (A — B) fl U,, where U, is the compact subgroup
of A, mentioned in Axiom Ilie). Thus there is a finite set of norm subgroups
N1, N2, . .. such that the sets A — cover (A — B) fl U,. The intersection
N = N1 fl fl . . fl N,, is a norm subgroup such that (A — B) fl U, fl N is empty,
166 XIV ABSTRACT CLASS FIELD THEORY
i.e. Up flN C B. Now consider NnB. It is open and of finite index in Ap because
both N and B are. Multiplying it by Up we obtain a subgroup (Nil B)Up, which
is open, of finite index, and contains Up. Such a subgroup is a norm subgroup by
Axiom IRe). Since the intersection of two norm subgroups is a norm subgroup, it
follows that N n (Up(N fl B)) is a norm subgroup. This last subgroup is easily
seen to be contained in B if one remembers that we have constructed N so that
N fl Up C B. Thus B contains a norm subgroup and is therefore itself a norm
subgroup. This concludes the proof of Theorem 8. 0
CHAPTER XV
Weil Groups
In this section we shall apply the abstract theory of group extensions developed
in Cb. Xlll, §1, 2, 3 to the case of a group extension belonging to the fundamental
class aK/p H2(K/F) of a normal layer K/F of our class formation. In doing so
we will gain a new insight into the reciprocity law isomorphism. For the sake of
efficiency and ultimate clarity, our discussion will be quite formal. We first define
a certain type of mathematical structure called a Weil group of the normal layer
K/F. We then prove the existence and essential uniqueness of such a structure.
Finally we discuss various further properties of the structu.re.
In order to constitute a Well group, these objects U,g, and must have the
following four properties:
Wi) For each intermediate layer E7E, F C £ C 0 C K, the following diagram
is commutative:
Jinci
where the left hand vertical arrow is the inclusion map between formation level,
and the right hand vertical arrow V5'15 denotes the group theoretical transfer
(Verlagerung) from U5 to U5'.
W2) Let u be an element of U and put a = g(u) Then it is clear that
for each intermediate field B we have = Property W2) states that the
167
XV. WElL GROUPS
A5 Q
a it
where the left hand vertical arrow is the action of a on the formation level A5 and
the right hand vertical arrow is the map of the factor commutator groups induced
by conjugation by it: U5 — UUEtC1 =
W3) Suppose L/E is a normal intermediate level, F C E C L C K. Thea the
map g i.uduces an isoniorphism
GK/E/GK/L =
which we do not bother to name. Since At is isomorphic to tic/Ut by we can
view UE/UL as a group extension of AL by Cia as follows:
values in AE:
i ire
vK/s: LIE/LIE —i
.4
In the corollary of Theorem 4, §2, Ch. XIII the kernel and cokernel of this homo-
morphism is analyzed in terms of kernels and cokernels of the homomorphisms
a_s: H3 (GK/E, 1) H'(GK/s, AK)
a_2: H2(CK/E,Z) —
which are effected by cup product multiplication with the 2-dimensional class of
the group extension involved. In our present case this 2-dimensional class is the
fundamental class of the layer K/E, and by the main theorem of class field theory
we know that the maps a,.: Z) —. Jfr+2(K/E) are isoxnorphisms onto
for all r. It follows that the transfer map is an isomorphism onto, Vxig:
AE. We finish the construction of our Well group by defining the isomorphism
fE: AE Un/Ui to be the inverse of 11K/E•
All that remains is to verify that properties WI)—W4) are satisfied, and this
is not hard. Properties Wi) and W2) concern the commutativity of diagrams
involving the isomorphisms fE Replacing these isomorphisms by their inverses,
we see that Wi) amounts to the transitivity of the transfer, namely
VjqE(a) = VK/EIVEI/E(a), aC
and W2) amounts to the nile, for a =
= uVK/13(a)v71 VKIEO(uatC'), aC
which follows from the naturality of the transfer.
To verify property W3) we refer to Ch. XIII, §3, where the map
v: 112(GK/z,AIc) —' H2(GLIE,AL)
is defined. By the very definition of v we see that the class of the extension (*)
mentioned in W3) is the image under v of the class &K/E of the extension fig/AK
GK/E, because the extension
UL/UL -4 -'
is a factor extension of the latter in the sense discussed in §3 of Gh. XII!, and the
isomorphism Ut/UE At is given by the transfer VUL AK. And since aL/E =
it follows that 0L/E is indeed the class of the extension (*).
Finally we see that W4) is satisfied because by our construction UK = AK and
is abelian. This concludes the proof of Theorem 1. [1
Having defined the notion of Weil group, and shown the existence of Weil
groups, it is natural to consider the question of isotnorphisins of Weil group. It is
clear how we should define isomorphisxns, namely
DEFINITION 2. Let K/F be a normal layer in a class formation. Let (U,g, (fpj})
and (U', g', {fJ) be two Weil groups for the layer K/F. Then a Wet! isomorphism
from one to the other is an isomorphism p: U U" with the following two
properties.
170 XV. WElL GROUPS
P identity
'9
4, ,
U ..—)..t7K/F.
WI 2) From WI 1) it is evident that y(U5) = for each intermediate field
£ between F and K, and consequently cp induces an isomorphisin WE:
(4/UEI. Property Wi 2) requires the commutativity of
Is
1Ps
A5 JL
for each E.
THEOREM 2. There exists a Weil isosnorphism ip: U U' for any two Weil
groups U and U' of a layer K/F. Furthermore, is unique up to an inner auto-
morphism of U' effected by an element of Uk.
PROOF. if is a Well isomorphism then the following diagram is commutative,
by WI 1) and by WI 2) for the extreme case E = K:
15 mc) S
UK-.-----...U------4.GK/p-------(1)
lid.
Ix , mci /
Conversely, we contend that any homomorphism 4p: U U' which makes this dia-
gram commutative is a Well isomorphism. Indeed, let ço be such a homomorphism.
Then, from the exactness of the rows, it follows that ip is an isomorphism of U onto
U', and by the commutativity of the right hand square we have so(Us) = Uk for
each intermediate field E. Thus so induces an isornorphism ipx: Uk/14f
and we can consider the following cube:
A5 AK
it
mci
A5 --S---- AK PS
-V Uk
The top and bottom faces are commutative by property WI) of Well groups. The
back face is obviously commutative. The front face is commutative by the naturality
of the transfer map V, because ip: U U' is an isoinorphism mapping U5 on
(4 and UK on Uk. The right hand face is commutative because the left hand
square in the preceding diagram is commutative. Since the horizontal arrows are
XV. WElL GROUPS 171
isomorphisms into, we conclude that the left hand face of our cube is commutative,
and this shows that w satisfies property WI 2) for all intermediate fields E and is
therefore a Weil isomorphism.
The problem of Weil isomorphisms o therefore boils down to the problem of
middle arrows coin the diagram at the beginning of this proof, that is, to the problem
of homomorphisms between the two group extensions represented by the horizontal
rows of that diagram. These two group extensions have the same 2-dimensional
class, namely &K/p. Consequently, maps exist, by Theorem 2, §1 of Ch. XIII.
Moreover, since the 1-dimensional cohomology group H'(Gx,p, AK) is trivial, it
follows from the uniqueness part of that same theorem that co is determined uniquely
up to an inner automorphism of If' effected by an element of = fk(Ajc). This
concludes the proof of Theorem 2. 0
TnE0REM 3. Let F1 C F C K C K1
with K1/F1 and K/F normal. Let (U,g,{fE})
be a Weil group for the big layer 1C1/F1. Then /
U = Up1
is normaL We can then refer the things we are interested in to AK and Ux/Uk by
means of a cubic diagram of the following type:
—-*AK
Up/U} -
ME/P
NI
in':'
N3
Vu/uc
Here we must explain N1 and N2. We choose Nt so that the back face of the cube
is commutative, going back to the definition of Namely we write
and put
Ni(a)=fla°', GEAK.
Next, we choose N2 so that the right face of the cube is commutative. According
to property W2) of Well groups, this can be done by choosing elements vj E Up
such that = and defining
N2(u) = fl &" fl (mod Uk)
Now the top and bottom of the cube are commutative by property Wi) of Well
groups. Since the horizontal arrows of the cube are isomorphisms into, the comrn
mutativity of the left side, which we want to show, will follow if we can show that
the front face is commutative. This means that we must prove for it E 1JE that
Vu,,uK(u) = llvi(Vuz,uK(u))vi'.
To do this we write
Us = U Uxtv1 (disjoint).
Then
Up = U =U = U UKvewJ,
the last because UK is normal in Up. Now by the definition of the transfer we have
= flv1w3uw;'vC,
where (i, j) (i1 ,ji) is the unique permutation of the pairs (i, J) such that each
factor of this product lies in UK. But since UK is normal in Up we see that this
___
permutation is achieved by selecting first so that w1uw1 (.JK and then putting
= i. And now we are through because
Vu5 u5(u) flwjuw,,. 0
st (UE n
THEOREM 5. Let K/F be a nonnal layer. Then the reciprocity law £somorphism
for that layer is given by
AF/NK/FAK UF/UKT4
CK/F/G1c/p.
where the ñgl&t hand isornorphisrn is that induced by 9. In other words, if
9.: Up/Uk —,
is the homomorphism induced by g: U, -÷ GK/F, then g.f: A, —' is
the norm residue map.
PROOF. For each a E select a representative u0 E Up such that a =
g(u0), and let b, = f,1(ujJ$) 4. We must then show that corresponds to
a under the reciprocity law map. From the commutativity of
A, Up/U,
j;nci jv
we see that
fK(b0) = = =11 u7u0u;J Uk = fx(fl
we can conclude that b0 and a do correspond under the reciprocity law, as con-
tended. 0
The theorem we have just proved shows that the entire theory of the reciprocity
law is contained in the theory of Well groups. The reader will easily check that all
the results of Ch. XIV, § 5, can be recovered immediately from our present theory.
The reciprocity relationship between levels A, and galois groups GK/F becomes
easy to visualize when one identifies with U,/14 (by means of ft.) and identifies
with UP/UK (by means of 9). In this way, all the facts are wrapped up in
XV. WELL GROUPS
one neat non-abeliaA bundle, namely a suitable Well group U. From this point of
view we get one additional dividend, the Shafarevië Theorem.2.
THEoREM 6. Let F C K C L with K/F and L/F normal, and L/K abelian.
Then we may view GL/F as a group extension of GL/K by GK/F so there is de-
termined in a canonical way a 2-dimensional class jY 112(CK/P, CL/K), the
class of this extension. By means of the reciprocity law isomorphism, GL/K
AK/NL/KAL (which is a 0K/P isomorphism), /3 determines then a class /3' E
H2(CK/F, Ajc/NL/KAL). This class /3' is the image of the fundamental class
aK/F c H2(CK/p,AK) under the natural projection of AK onto AK/NL/KAL.
PRooF. The proof is evident from the lattice die.-
gram at the left. We identify the various gaJois groups
with factor groups of subgroups of U, and we identify AK
with UK/Uk by means of fK. Then NL/KAL is identi-
fled with (IL/Uk, and the reciprocity law isomorphism
becomes the identity map of UK/lIE, by the preceding
theorem. Hence j3' is the class of the extension
AK! 1L AK/NL./KAL UP/IlL —
all groups and modules to be considered from now on are topological. As usual in
the theory of topological groups we must distinguish between the notion of a rep-
resentation and the notion of a homomorphism. A representation is a continuous
map of one group into another which is algebraically a homomorphism. A homo-
morphism is a representation f: C —, if such that / induces a homeomorphism
between C/Kentelf and Image 1' in other words, such that 1(U) is open in f(C)
whenever U is open in C. These things being said, we can now define the type of
object which we aim to construct:
DEFINITION 3. Let (C, {Cp}, A) be a topological class formation. A Weil group
(U,g, {fp}) for the formation consists of the following object,s:
1) A topological group U.
2) A representation, g, of U onto an everywhere dense subgroup of the galois
group C of the formation.
Having 9 at our disposal, we can introduce, for each field F of our formation the
subgroup Up = The Up's wiil then be open subgroups of finite index in U
whose lattice reflects exactly the lattice of the Ge's. We have UE C Up F C B,
and LIE is normal in Up if and only if E/F is a normal layer. If this is the case,
then g induces an isomorphism Up/LIE GE/F. (These things are true because
9(U) is dense in C, and consequently, for any B, we have g(U) . GE = G, because
GE is open in C. In other words, every coset of GE contains an element of the
form g(u).) The third ingredient of our Weil group is
3) For each field F of our formation, an isomorphism (topological and algebraic)
fp: Ap Up/Uj',
where denotes here, and from now on, the closure of the commutator sub-
group Up.
In order to constitute a Weil group for the formatiou, these objects U, g, and
{fp} must have the following four properties:
W 1) For each layer E/F, the following diagram is commutative
AF Up/U}
IncA V
where V is the transfer map. (It is easy to verify, in case of a topological group
G and an open subgroup H of finite index, that the transfer map carries G',
the closure of the commutator group of C into if', the closure of the commutator
group of H, and consequently induces a map of G/G' into if/if C. It is this latter
map which is meant by V here, and from now on.)
W 2) Let u U and let e = g(u) G. Then it is clear that u(UE)tr' = U(Ecr).
Property W 2) states that the following diagram is commutative for each field B:
AE
by is
AEO
XV. WElL GROUPS
W 3) For each normal layer K/F, the class of the group extension
(I) AK -' Up/Uk [IF/UK GIçIJi' (1)
is the fundamental class of the layer K/F.
W 4) We finally require that
[1-4
be an isomorphism of topological groups. This concludes Definition 3.
Suppose for the moment that U is a Weil group for the formation. It is obvious
from the definition that for each normal layer K/F, Uy/Uk is a Well group for
that layer. In particular, if k is the ground field of the formation, so that U = [4,
then the factor groups U/Uk for variable K normal over k are Well groups for the
various normal layers K/k. On the other hand, property \V 4) above states that
U is the projective (inverse) limit of these factor groups. This shows how we must
go about constructing U; we must get it as the projective limit of Well groups of
finite layers K/k. Let us carry out this program.
From now on, unless specific mention is made to the contrary, all fields F,
K, L, M, - - -
are understood to be normal over k. For each such field K, let
(UK, 9K, (If }) be a Weil group for the layer K/k. It will be convenient to suppose
that the isomorphism if: AK (if is the identity map, in other words to identify
Ax with its isomorphic image uff, for each K. This being said, we topologize UK
by taking as fundamental system of neighborhoods of liii UK a fundamental system
of neighborhoods of I in AK; in other words, we give UK the unique topology for
which Ax is an open subgroup âf UK, and for which the topology induced on AK
is the same as that which AK gets as a level of our topological formation.
LEMMA. For each field E, k c E C K, normal or not, the commutator subgroup
of Uf is closed; in other words, (Uff)c has the same meaning as befort.
PROOF. Let for the moment (Uff)t denote just the conunutator subgroup
rather than its closure. Then (Uf) fl AK is closed in Ax because it is the ker-
nel of NK/E, and the norm map NK/E is continuous in a topological formation.
Being closed in Ax, it is closed in U". On the other hand (Uff)' flAK is of finite
index in (Uflc because AK is of finite index in U". Therefore, being the union of
a finite number of closed cosets, (Uff)c is closed. U
t S.
+ / map induced
I
\ by inclusion
IKZ1d.
AK AK
Since Ax is open in (F', i, is an open map. And since is a homeoniorphiszn,
it follows that if ft is a homeomorphism, then NK/t must be an open map. Con-
versely, if NK/E is an open map, then NK/EAK is an open subgroup of At, and is
XV. WElL GROUPS 177
A1
isid
ittL
the left side square is commutative, and the top square is commutative, by the
definition of Weil isomorphism. Factoring the diagonal arrow (restriction of co) into
the product of and the Weil isomorphism, we see that the restriction of cc does
induce NL/K on At as contended.
Now since cot/K maps onto U", cot/K will be a topological homomorphism
if and only if it is an open map. Since the subgroups AL C Ut and AK C are
open subgroups, it is clear that Wt/K is an open map if and only if its restriction
to At is open, i.e. if and only if is open. This concludes the proof of the
lemma. U
According to Theorem 2, a Well map cot/K exists for each layer L/K, but is not
unique, bcing determined only up to an inner automorphism of by an element
of AK = (4. This non-uniqueness will be the main obstacle we shall encounter in
constructing our projective limit, since it forces us to make a selection. \Ve must
therefore discuss in some detail the inner automorphisms by which the Weil maps
178 XV. WElL GROUPS
can be changed. In order to have a notation for them, let us denote by aK the inner
automorphism of U" effected by an element a AK; that is, we put aK(u) = auC1
for u U". When is the identity automorphism? Clearly, when, and only when,
a commutes with every element of U". Selecting representatives u0, a e GK/k, for
the elements of we see that the condition is that a commute with
each because, Ax being abelian, it will then follow that a commutes with each
element of Since = this condition means that a for all
o Gx/k, iii other words that a Ak. Thus we have shown that the group of
inner automorphisms of UK by elements of AK is isomorphic to AK/Ak.
For each layer L K, let XL,K denote the set of all Well maps cot/ic: 1$
UK. If is one fixed element of XL,K, then the other elements are of the
form with a E AK. Since 'PL/K is an onto map we have a,op°L,K =
bKC,4IK 4* bjç aIC' Ak * aAk = bAk. In other words, we have a
one-one correspondence
aAk 4-4
between Ax/Ak and XL,K. This allows us to topologize XL,K by the topology
which is induced on it by the topology of AK/Ak, i.e. such that the above one-
one correspondence is a homeomorphism. This topologization of the set of Well
maps is independent of the choice of because the topology of AK/Ak
is invariant under translation.
LEMMA. The composition of WeU maps is continuous. More precisely, if M D
L D K, then the composed map Wt/WPM/t XM1K is a continuous function of
the two variables 'Pt/K XL/K and 'PM/t XM,L.
Note first of all the rule
WL/Kat = (Nt/KG)
for a C AL, 'Pt/K XL,K. Indeed, for it we have
K \—1(/fl
PKI
= '31'K9) WK/E
—l —1(r,
=9
=g1(GE)=UE.
Tb prove the second statement, let denote the commutator group of U5 so
that is, by definition, the dosure of in U. Let L be any field containing
K such that L/k is normal. Then from what we already have proved, namely
U5 = and from the fact that Wt is an onto mapping, we can conclude
that
TY? IL' \ —liirrL'tc
\WE)
(Recall that (Uk)t = (Uk)' by a lemma.) Now from the theory of Well groups of fi-
nite layers and from the definition dfWeil map we know that (Uk)t =
And since WK = 'PL/KWL, we conclude
=
a formula in which the left side contains an arbitrary L K, and the right side is
independent of L. From the definition of the topology in U, we can make Key WL
an arbitrarily small subgroup by selecting L sufficiently large. Hence
= D
A5 -
\,.
'k'\
182 XV. WElL GROUPS
the injective limit on the right being taken over all Up's relpSive to the transfer
homomorphisms Vs,p.
This suggests we define a new type of mathematical objects which we will call
W-group.
DEFINFrION 4. A W-group (U, (Up)) Is a topological group U, together with
a family of subgroups {Up} such that
WG 1) The family {UF} consists of open subgroups of finite index in U, is closed
under finite intersection and conjugation, and contains all subgroups containing any
one of its members.
WG 2) For every pair UK < 11F. the transfer map VK/P Up/Uk —, Ux/Uk
maps Up/Ui isomorphicaily and homeomorphically onto and has
compact cokernel. (Here Up acts on UK by conjugation and UK acts trivially on
UK/Uk, so Up/UK acts on the latter.)
WG 3) The canonical map U —' is an isomorphism of topological
groups.
It is clear that the Well group of a class formation satisfying the conditions
WT 1,2,3 of Theorem 7, gives us a W-group. In fact, the converse is also true.
THEoREM 9. Up to isomorphism, evenj W-group comes from a class formation
satisfyin9 the three conditions of Theorem 7.
PRooF. Let (U, {Up}) be a W-group. As explained in a paragraph preceding
Definition 4, we can construct from U a formation (C, {Gp}, A) by putting
and
and taking for Op the inverse image of Up/UK for all sufficiently small UK normal
in U. The level Ap, which by definition is A°' can be identified with the isomorphic
image of in A because the injective Limit is made with the transfer maps,
and for all small UK normal in U we have VK/p(Up/Ufl = —
If g: U —+ G is the canonical map, and fp : —+Up/Ui' is our
identification map, then (U,g, {fp}) is a Well group for the formation.
This formation does satisfy the three conditions of Theorem 7. The norm map
NE/rAe —, Ap is reflected in the canonical map — LJp/(4 which is open;
the inclusion map Ap —' Ac is reflected in the transfer map which has compact
cokernel by the definition of W-g'roup; and G is profinite, hence complete. The only
question is whether our formation is a class formation. To see that it is, let K/F
be a normal layer and consider the exact sequence
O—4Ajc ndJK/Uk -t Up/Uk
Which to simplify notation we will denote by
0— AK —' GK/F 0.
Let a fl2(GK/p, AK) be the class of this group extension. Let be the
algebraic commutator subgroup of
LEMMA. (Ufl' is compact, hence (Ufl' = (Uflc = and is com-
pact.
We postpone the proof of the lemma. Assume the lemma is true. Then the
transfer map Uji/(Ui)' Af'/" is bijective, by condition WG 2) of Definition 4,
*84 XV. WElL GROUPS
and it follows from (Chapter XIII, Section 2, Theorem 4) and its corollary, (in both
of which (P denotes U'), that is surjective and cr..2 is bijective, where
?r(GJ(/F, 1) —' AK) is the map given by cup product with a. Also,
is injective because fl'(GK/F, Z) 0. Hence, by the general cohomological
theorem alluded to in the proof of Theorem 1 of Chapter XIV, §4, is bijective
Sn all n Z. For vi = —1 this implies our formation is a field formation, and for
ii = 0 it implies that N2(GK/F, Z) is cyclic of order IGK/FI = [K generated
by a = ao(l). We denote this class by 0K/p when different layers are involved. For
K C L normal over F, (Xlii, §3, Th.6) shows that infiLfK(aK/F) = [L: KJcq.,ip,
because aK/p = v(aL/p), by definition of v and the a's. Also for F C E C K
we have aK/F = resE/paK/p. These facts allow us to define "invariant maps"
rnvp fl2(Gp, A) Q/Z which satisfy the class formation axiom, Axiom Ii of
Chapter XIV, Section 3, by putting invp(ajc,p)
PRooF OF THE LEMMA. Consider the inclusions
JK/FAK:= II
e€GK/p
The index of the first inclusion is finite, because, by Theorem 3 in Chapter XIII,
Section 2, the quotient is a homomorphic image of The index of
the second inclusion is finite because AK is of finite index in Uf Each is
compact, as continuous image of AK/A?. Thus IK/FAK is compact and so also is
(Ufl', as finite union of compacts. Hence (Ui)' is i.e, equal to its closure
(Uf)' = Finally, U$ is compact as projective limit of the compacts
This proves the lemma and the theorem. U
THEOREM tO. The existence theorem holds for the class formation associated
to a W-group (U, i/and only if the family {Up} consists of all open subgroups
of finite index in U.
The existence theorem for a "field" F means that every open subgroup
of finite index in U,' which contains Uf? is of the form UK for some "field" K, which
is then the "class field over F to the subgroup of = A,". This is
certainly true if every open subgroup of finite index in U is a UK, because finite
index in Up implies finite index in U. Conversely, suppose the existence theorem
holds. Let W be open of finite index in U = A neighborhood of 1 in
the projective limit topology contains the inverse image in U of a neighborhood of
I in U/Uk for some K. Thus, W Uk for some K. By the existence theorem for
K, there exists a "clasafield L over K belonging to the subgroup (W fl UK)/Uk of
UK/Uk", that is, a field L such that UL = W fl UK, and since W contains (4, it
is of the form Up for some F. 0
It follows that a topological class formation satisfying the existence theorem
and the three conditions of Theorem 7 is mathematically equivalent to a special
type of topological group U, one which satisfies the two conditions WG 2) and WG
3) of Definition 4, if we take the collection of all open subgroups of finite index as
the family denoted there by {Up}.
In class formations in which the reciprocity maps A, —. Gp/(4 are injeetive,
the map U — C is injective, and one can "find" a Weil group U for the formation
XV. WELL GROUPS 185
inside the Galois group C. This is the case for nonarchimedean local fields and
global function fields. We discuss the latter case as an example.
Let k be a global function field, p its characteristic, 'a separable algebraic
closure, k0 the (finite) constant field, and kg the algebraic closure of kg in Let
C= and let U be the subgroup of C consisting of the elements which
act on as a positive or negative power of the F'robenius autornorphisin x
Let U1 = = be the subgroup of U consisting of the elements of C
which act trivially on kg. Topologize U by declaring U1 to be open in U and giving
U1 the profinite Krull topology of C1. Thus U/U1 = Z with the discrete topology,
whereas C/Ci = Z.
Let g U C be the inclusion map. For each finite extension F' of k in
let Gp = and Up = U fl Cp = C'(Cp). Let —' be
the reciprocity map (denoted by w in Chapter VIII). The image of rp' is
We have = because Up is dense in and C = U1. Let IF
-4 be the bijection induced by Our choice of the topology of U
is such that the fp's are isomorphisrns of topological groups (cf. Ch. YllI, §3).
Thus (U,9, {fe}) is a Well group for the formation (G, {Cp}, This should
be clear from the preceding discussion, except perhaps for the fact that for each
normal layer K/F the class of the group extension
O—iCK=UK/Uk-..UF/U1(-JUF/UK =CK/F-.+O
is the Kndainental class. But that is true by part (b) of Theorem 8, because part
(a) holds, by our construction of U:
It was Weil who first focused on the fact that the Takagi-Artin class field theory,
as expressed for infinite extensions by Chevalley with idhles, could be interpreted,
in the case of function fields, in terms of the group U we have just describçd.
His belief in the deep analogy between function fields and number fields and his
hope to find a non-abelian analog of Hecke's 1,-functions with Grössencharacters
led him to expect that a similar group U might exist in the case of number fields,
a group in which the quotients are isomorphic to the idele class groups
Ce, so that one would have a Galois-like interpretation of the full group Cp, as
a refinement of Chevalley's interpretation of the group of connected components
Ce/Dc as Weil believed that to find a theory in which such a group
U appears as naturally for number fields as it does for function fields is a very
important problem, perhaps holding the key to the R.iemann hypothesis. He was
at least able to show that this idea was not a pipe dream, by proving in 1281 by
an artificial construction that such a group U, with all the properties one would
expect, does indeed exist for number fields, and is characterized up to isomorphisrn
by those properties. To find it occurring naturally is still, 60 years later, an open
problem.
How did Well construct the group U using only the classical Thkagi-Artin the-
ory, without the theory of global fundamental classes which was the basis of our
method? Although our way is more general, and perhaps more natural, once one has
the theory of fundamental classes, Weil's is a natural direct attack on the specific
problem of global number fields, and is certainly of intrinsic and historic interest.
We finish this chapter by describing Weil's method in an abstract situation briefly,
in a series of exercises.
XV. WElL GROUPS
Th begin, we must define what Well constructed. For that we have only to
modify our Definition 1 at the beginning of this chapter as follows:
(i) Replace "class formation" by "field formation with reciprocity maps Ap .-+
CF/CC, satisfying (Chapter XIV, Section 5, Theorem 6)"
(ii) Have g be a map of U into rather than into GK/F = Up/ag.
(iii) Replace condition W 3) involving the fundamental class by:
W 3') For each intermediate field F c E C K, let : Ut —' denote the
map induced by g. Then the composed map
Ut t
is the reciprocity map rE.
Call a triple (U,g, {fE}) satisfying this modified definition a V/cit group in
Weil's sense for the layer K/F. Note that it has a key feature, the map g in (ii)
above, which is missing from our definition of Weil group of a layer. We recover
the existence of g only after passing to the inverse limit to construct a Well group
for the whole formation.
In 128J, Weil showed for the formation of idèle classes of global number fields
that for normal K/F a Weil group in Well's sense exists and is unique up to
isoxnorphism.The key special properties of number fields which he used are:
(1) For each intermediate field F C E C K the reciprocity map rE : Cs —e
is surjective.
(2) The GK/p.rnodule Dg := Ker(r,c) is isomorphic to a direct sum of modules
Induced from subgroups of order I or 2 of OK/p.
(3) For each intermediate E, W (GK/E, Dg) = I) and NK/EDK = D5.
THEOREM 11. Let (0, {C,}, A) be a field formation with reciprocity laws satis-
fring Theorem 6 in Chapter XIV, §5, properties (1) and (3) just above and, instead
of (2), the slightly more liberal condition
(2') The Dg := Ker(rg) is isomorphic to a direct sum of modules
induced from cyclic subgroups of 0K/F'
Assume also that C is complete so that we have reciprocity maps ?p Ap —0
C!'. Then a Weil group in Weil's sense exists for a normal layer K/F of the
formation, and is unique up to isomorphism.
PROOF. (Sketch, in a series of exercises. The method is essentially Well's,
except for the additional technical difficulty posed by assuming (2') instead of (2).)
1. Define a W-diagram for K/F to be an exact commutative diagram
Ag U, 4 CK/F 0
lrx Lid.
canon.
o (Jx/Gk GF/0g - —' Gjqp 00.
Using the long exact cohomology sequence associated with the short exact sequence
of
O—4Dg'--'Ag
show that a W-diagrarn exists.
2. The group DK) acts simply and transitively on the set of isomor-
phism classes of W-diagrams for K/F. To see this, fix a section a e-t of the
xv. wzrt cnoun tar
Show that the product action of DK) on the coset of lifts induces a simply
transitive action of N2 Dx) on the set of isomorphism classes of W-diagrams
for K/F. Call this action "twisting".
3. Suppose (Up, gp, i, j) is a W-diagram for K/F. For each intermediate field
B, F C E C K, let = .r1(GxIs) = r'(Gs/Gk) and note that by replacing
F's by L's in the diagram in (1) we obtain a W-diagram for K/E as "subdiagram"
of the one there for K/F. The transfer map Ut — = Ax factors through
the inclusion A5 '—' Ax. Let VKIE U)) — Ag denote the map it induces.
Show that a Well group (U,9, {IE}) for K/F in Weil's sense is the "same" as a
W-diagram (U,9,...) in which, for each intermediate E, the map VKIE = fj' is an
isomorphism and the composed map rg OVK!E is equal to the map 9r: Ut —'
induced by g. Our first goal is to show that there exists a W-diagrarn in which
r5 = for all E, and that it is unique up to isomorphism.Then we shall
prove that for such a diagram the transfer maps are isoinorphisms.
4. Suppose (Up, gp, . ..) is a W-diagrarn for K/F. Show that the maps tpo
Vx/F and coincide on the image of AK = Ut in U)P and that their compositions
with : are equal. (Use the "translation" and "transfer" theorems,
i.e., parts (b) and (a) of Theorem 6 in Chapter XIV, Section 5).
5. Note that the quotient of Ut by the image of AK is =
Also, show that rp maps N°(GKJF, Dx) = = (Dx fl Ap)/Dp
isomorphically onto Ker(Vt'p).
191
192 BIBLiOGRAPHY
127] A. Well, L'ir&têgrution dons Ms greupes topologiquca et sea applications, Uermann, Paris,
193&
(281 , .Sur to thia& du corps de classest 3. Math. Soc. Japan 3 (1951), 1-35; see also
A. Well, Collected Papers, Volume 1, [1951b], Springer-Verlag New York—Heidelberg, 1979,
pp. 487—581.
129] , Bent Number Theory, Berlin-Heidelberg-New York, 1967.
(30) 0 Whaples, Non-analytic class field theory and Grisnwald's theorem, Duke Math. .1. 9(1942),
455-473.
[31] B. Witt, Zues Re9eln 66cr verschrünkte Produkte, 3. Reine Angew. Math. 173 (1935), 191—
19Z
ISBN 978-0-8218-4426-?
9 780821 844267
CH2L1366.H