Cyclotomic Fields S Lang PDF Download
Cyclotomic Fields S Lang PDF Download
https://ebookbell.com/product/cyclotomic-fields-s-lang-43047166
Cyclotomic Fields And Zeta Values 1st Edition John Coates R Sujatha
https://ebookbell.com/product/cyclotomic-fields-and-zeta-values-1st-
edition-john-coates-r-sujatha-895740
Cyclotomic Fields And Zeta Values 1st Edition John Coates R Sujatha
https://ebookbell.com/product/cyclotomic-fields-and-zeta-values-1st-
edition-john-coates-r-sujatha-1289500
https://ebookbell.com/product/blocks-and-families-for-cyclotomic-
hecke-algebras-maria-chlouveraki-49032740
Graduate Texts in Mathematics
59
Editorial Board
F. W. Gehring
P.R.Halmos
Managing Editor
C.C.Moore
Serge Lang
Cyclotomic
Fields
Springer-Verlag
New York Heidelberg Berlin
Dr. Serge Lang
Department of Mathematics
Yale University
New Haven, Connecticut 06520
USA
Editorial Board
9 8 7 6 5 432 1
ISBN-13: 978-1-4612-9947-9 e-ISBN-13: 978-1-4612-9945-5
DOl: 10.1007/978-1-4612-9945-5
Foreword
Kummer's work on cyclotomic fields paved the way for the development of
algebraic number theory in general by Dedekind, Weber, Hensel, Hilbert,
Takagi, Artin and others. However, the success of this general theory has
tended to obscure special facts proved by Kummer about cyclotomic fields
which lie deeper than the general theory. For a long period in the 20th century
this aspect of Kummer's work seems to have been largely forgotten, except
for a few papers, among which are those by Pollaczek [Po], Artin-Hasse
[A-H] and Vandiver [Va].
In the mid 1950's, the theory of cyclotomic fields was taken up again by
Iwasawa and Leopoldt. Iwasawa viewed cyclotomic fields as being analogues
for number fields of the constant field extensions of algebraic geometry, and
wrote a great sequence of papers investigating towers of cyclotomic fields,
and more generally, Galois extensions of number fields whose Galois group
is isomorphic to the additive group of p-adic integers. Leopoldt concentrated
on a fixed cyclotomic field, and established various p-adic analogues of the
classical complex analytic class number formulas. In particular, this led him
to introduce, with Kubota, p-adic analogues of the complex L-functions
attached to cyclotomic extensions of the rationals. Finally, in the late 1960's,
Iwasawa [Iw 1I] .made the fundamental discovery that there was a close
connection between his work on towers of cyclotomic fields and these
p-adic L-functions of Leopoldt-Kubota.
The classical results of Kummer, Stickelberger, and the Iwasawa-
Leopoldt theories have been complemented by, and received new significance
from the following directions:
1. The analogues for abelian extensions of imaginary quadratic fields in
the context of complex multiplication by Novikov, Robert, and Coates-
Wiles. Especially the latter, leading to a major result in the direction of the
v
Foreword
vi
Contents
Foreword v
CHAPTER 1
Character Sums 1
1. Character Sums Over Finite Fields 1
2. Stickelberger's Theorem 6
3. Relations in the Ideal Classes 14
4. Jacobi Sums as Hecke Characters 16
5. Gauss Sums Over Extension Fields 20
6. Application to the Fermat Curve 22
CHAPTER 2
Stickelberger Ideals and Bernoulli Distributions 26
1. The Index of the First Stickel berger Ideal 27
2. Bernoulli Numbers 32
3. Integral Stickelberger Ideals 43
4. General Comments on Indices 48
5. The Index for k Even 49
6. The Index for k Odd 50
7. Twistings and Stickelberger Ideals 51
8. Stickel berger Elements as Distributions 53
9. Universal Distributions 57
10. The Davenport-Hasse Distribution 61
CHAPTER 3
Complex Analytic Class Number Formulas 69
1. Gauss Sums on Z/mZ 69
2. Primitive L-series 72
vii
Contents
3. Decomposition of L-series 75
4. The (± l)-eigenspaces 81
5. Cyclotomic Units 84
6. The Dedekind Determinant 89
7. Bounds for Class Numbers 91
CHAPTER 4
The p-adic L-function 94
1. Measures and Power Series 95
2. Operations on Measures and Power Series 101
3. The Mellin Transform and p-adic L-function 105
4. The p-adic Regulator 112
5. The Formal Leopoldt Transform 115
6. The p-adic Leopoldt Transform 117
CHAPTER 5
Iwasawa Theory and Ideal Class Groups 123
1. The Iwasawa Algebra 124
2. Weierstrass Preparation Theorem 129
3. Modules over Z,,[[X]] 131
4. Z,,-extensions and Ideal Class Groups 137
5. The Maximal p-abelian p-ramified Extension 143
6. The Galois Group as Module over the Iwasawa Algebra 145
CHAPTER 6
Kummer Theory over Cyclotomic Zp-extensions 148
1. The Cyclotomic Z,,-extension 148
2. The Maximal p-abelian p-ramified Extension of the Cyclotomic
Z,,-extension 152
3. Cyclotomic Units as a Universal Distribution 157
4. The Leopoldt-Iwasawa Theorem and the Vandiver Conjecture 160
CHAPTER 7
Iwasawa Theory of Local Units 166
1. The Kummer-Takagi Exponents 166
2. Projective Limit of the Unit Groups 175
3. A Basis for U(x) over A 179
4. The Coates-Wiles Homomorphism 182
5. The Closure of the Cyclotomic Units 186
CHAPTER 8
Lubin-Tate Theory 190
1. Lubin-Tate Groups 190
2. Formal p-adic Multiplication 196
viii
Contents
CHAPTER 9
Explicit Reciprocity Laws 220
1. Statement of the Reciprocity Laws 221
2. The Logarithmic Derivative 224
3. A Local Pairing with the Logarithmic Derivative 229
4. The Main Lemma for Highly Divisible x and IX = Xn 232
5. The Main Theorem for the Symbol <x, xn>n 236
6. The Main Theorem for Divisible x and IX = unit 239
7. End of the Proof of the Main Theorems 242
Bibliography 244
Index 251
ix
Notation
xi
1
Character Sums
Character sums occur all over the place in many different roles. In this
chapter they will be used at once to represent certain principal ideals, thus
giving rise to annihilators in a group ring for ideal classes in cyclotomic fields.
They also occur as endomorphisms of abelian varieties, especially Jacob-
ians, but we essentially do not consider this, except very briefly in §6. They
occur in the computation of the cuspidal divisor class group on modular
curves in [KL 6]. The interplay between the algebraic geometry and the
theory of cyclotomic fields is one of the more fruitful activities at the moment
in number theory.
If CI. E Q(JiN) then the conjugate ex denotes (J -lCl.. Over the complex numbers,
this is the complex conjugate.
The Galois group of Q(JiN) over Q is isomorphic to Z(N)*, under the map
where
S(f, g) = L f(x)g(x).
XEF
Theorem 1.1. Let f- be the function such that f-(x) = f( -x). Then
T2f = qf-, that is
T2f(z) = qf(-z).
Proof We have
= Lf(x - z) LJe(-yx).
x 1I
If x =f. 0 then y 1---7 Je(yx) is a non-trivial character, and the sum of the
character over F is O. Hence this last expression is
= qf( -z)
as desired.
2
§1. Character Sums Over Finite Fields
T(f * g) = (Tf)(Tg)
1
T(fg) = q- Tf* Tg.
.
= (Tf)(Tg )(z),
thereby proving the first formula.
where the sum is taken over U E F*. We ceuld also take the sum over x in F
since we defined X(O) = O. Since A is fixed, we usually omit the reference to A
in the notation. The Gauss sums have the following properties.
This is obvious from our conventions. It illustrates right at the beginning the
pervasive fact, significant many times later, that the natural object to con-
sider is -Sex) rather than Sex) itself. We shall also write
but the convention remains in force that even for the trivial character, its
value at 0 is O.
3
1. Character Sums
Proof We have
X( -1)S(x)X(y-l).
J(x X) = - S(1)S(x2) .
1, 2 S(XIX2)
In particular, J(I, X2) = JU1, 1) = 1. If XIX2 = 1 but not both Xl, X2
are trivial, then
S(1)S(x2) = L L Xl(X)X2(y),.l(X + y)
.. II
= L L Xl(X)X2(y - x)A(y)
.. II
= L: L Xl(X)X2(U -
.. u¢o
x),.l(u) + L Xl(X)X2( -x) .
..
4
§1. Character Sums Over Finite Fields
If XlX2 =F 1, the last sum on the right is equal to O. In the other sum, we inter-
change the order of summation, replace x by ux, and find
2: XIX2(U)A.(U) 2: Xl(x)X2(1 -
u x
x),
thus proving the first assertion of GS 3. If XlX2 = 1, then the last sum on the
right is equal to Xl( -l)(q - 1), and the second assertion follows from
GS2.
Next we give formulas showing how the Gauss sums transform under
Galois automorphisms.
GS 4.
Proof Raising to the pth power is an automorphism of F, and therefore
Tr(xP) = Tr(x).
We can select v in a given residue class mod p such that v is also prime to m.
In the sequel we usually assume tacitly that v has been so chosen, in particular
in the next property.
GS 5.
Proof The first is obvious from the definitions, and the second comes by
making a change of variable in the Gauss sum,
5
1. Character Sums
Observe that
0"1,){X) = eVTr(x) = eTr(Vx) = A(VX).
The second property then drops out.
From the action of the Galois group, we can see that the Gauss sum
(Lagrange resolvant) satisfies a Kummer equation.
~ F* -- F*
/lq - 1 ---l>- q.
Phrased another way, this means that there exists a unique character w of
F* such that
w(u) mod V = u.
This character will be called the Teichmuller character. This last equation
will also be written in the more usual form
w(u) == u (mod V).
6
§2. Stickel berger's Theorem
Let ~ be a prime ideal lying above p in Q(jlq-l, jlp). We use the symbol
A ,...., B to mean that AlB is a unit, or the unit ideal, depending whether A, B
are algebraic numbers or (fractional) ideals. We then have
p ,...., ~P-l
with 0 ~ kj ~ p - 1. We define
I s(k) = ko + kl + ... + k n - 1 •
to be the product of the k i ! in the first range, and then also define y(k) by
(q - I)-periodicity for arbitrary integers k. If the dependence on q is
desired, one could write
sik) and Ylk).
Theorem 2.1. For any integer k, we have the congruence
S(w- k , eTr) _ -1
(e - I),(k) = y(k) (mod ~).
In particular,
ord$ S(w- k ) = s(k).
Remark. Once more, we see how much more natural the negative of the
Gauss sum turns out to be, for we have
-S(w-k, 2) _ 1
ns(k) = y(k) (mod ~)
7
1. Character Sums
= L w(u)-I(1 + n)Tr<u)
= L w(u)-I(1 + (Tr u)n + O(n2»
Case 1. plk, so we can write k = pk' with 1 ::; k' < q - 1. Then trivially
S(w- k ') -1
nS(k') == y(k') (mod~)
yields a proof for the present case, because Up is in the decomposition group
of~, whence up~ = ~.
8
§2. Stickelberger's Theorem
Then
S(w- k) S(W- 1W-(k-l») _ S(w- 1) S(W-(k-l» -I
~ ns(k) = - n - ns(k-l) J(w 1, w (k 1»
= -1. -1 -1 ( d ~)
- y(k - 1) J(w 1, W (k 1» mo .
To conclude the proof, it will suffices to get the right congruence for J. We
use GS 3 from §I, to get:
-J(w-I, W-(k-l» == L: u- 1(1 - U)-(k-l)+Q-l (mod ~),
and the sum is at first taken for u =f 0, 1, but with the additional positive
exponent q - I which does not change anything, we may then suppose that
the sum is taken for u =f 0 in F. Hence we get further
Having obtained the order of the Gauss sum at one prime above p, we also
want the full factorization. Suppose that m is an integer > 1 and that p t m.
Let .p be a prime ideal above p in Q(flm) and let
N.p = q = pn.
Let k be an integer such that
Let <t> denote the smallest real number ~ 0 in the residue class mod Z of a
real number t. Let
G = Gal(Q(flm)/Q).
e(k,.p) = L:
ce2:(m)'
< q
~ 1 )lJ'c -1 E Q[G].
9
1. Character Sums
Let ~ be the prime ideal in Q(fJ.m, fJ.p) lying above .p. Let w as before be the
Teichmuller character on Fr
We let U e = Ue,l'
Proof We have
<
U;l.p
2: -
n-l
1=0q - 1
.
kcpl )
s(k) = (p - 1).z
n-l<
1=0
--?-
q
k
1
. I )
Proof We may assume that 1 :::; k < q - 1 since both sides are (q - 1)-
periodic in k, and the relation is obvious for k = O. Since pn == 1 (mod q - 1)
we find:
k = ko + k1P + ... + kn_1pn-l
pk == k n - 1 + kop + ... + k n_2pn-l (mod q - 1)
p 2k == k n- 2 + kn-1P + ... + k n _3pn-l (mod q - 1)
Hence
< kl ) =
q-1
right-hand side of ith equation.
q-1
<
Summing yields
10
§2 Stickelberger's Theorem
In Theorem 2.2 we note that the Gauss sum is not necessarily an element
of Q(flm), and the equivalence of ideals is true only in the appropriate ex-
tension field. Similarly, the Stickel berger element has rational coefficients.
By the same procedure, we can both obtain an element in Q(flm) and a corre-
sponding element in the integral group ring, as follows.
I() c R = Z[G].
Although we won't need it, we may prove the converse for general insight.
The matter is analyzed further in Chapter 2, §3.
m = -(U1+m - (1 + m)).
Suppose that an element of R() lies in R, that is
whence
"'2 z(b)b == 0 (mod m),
and L: z(b)b is in 1. But then
"'2 Z(b)Ub = "'2 Z(b)(Ub - b) + "'2 z(b)b
is in I, thus proving the lemma.
11
1. Character Sums
Oem) = 2: <~)(J;;1.
CEZ(m)'m
FAC 1.
FAC 2.
In FAC 2 the algebraic number on the left lies in Q(flm), and the group ring
element O(m)(b - (Jb) lies in Z[G], namely
annihilates ((j.
12
§2. Stickelberger's Theorem
Theorem 2.4. The Stickelberger ideal annihilates the ideal class group of
Q(Pm).
Proof. Let
IX = '2 z(r)Or(m)
r
E R
be an element of the Stickelberger ideal, with z(r) E Z, and the sum taken with
only a finite number of coefficients t= O. Then
and it is immediately verified that the left-hand side lies in Q(flm) by using
GS 5 of the preceding section. This proves the theorem.
[d]<t) = <dt), t E R.
It is convenient to let
FAC3.
where
and LI[ah a2]8(m) E Z[G] lies in the integral group ring. We know that the
Jacobi sum lies in Q(flm), so again we have an ideal factorization of an element
of Q(flm).
13
i. Character Sums
In several applications, e.g., in the next section, the level m is fixed, and
consequently we omit m from the notation, and write simply
8(m)[a] = 8[a].
The next two sections are logically independent and can be read in any order.
They pursue two different topics begun in §2.
Let p be prime number prime to the Euler function ¢(m). For instance, if
m = p itself, the prime p does not divide p - 1. The character group on G
takes its values in ¢(m)th roots of unity. We let q = pn be a power of p such
that ¢(m) divides q - 1. We let Oq be the ring of p-adic integers in the un-
ramified extension of Zp of degree n, so that Oq/pOq = oip) is the finite field
with pn = q elements. Then Oq contains the ¢(m)th roots of unity. If m = p
then we take q = p and Oq = Zp.
Let'(j' be the ideal class group of Q(Jlm), and '(j'(p) its p-primary component.
We have an isomorphism
The elementary divisors of '(j'(p) over Zp are the same as the elementary
divisors of
Oq ® '(j'(p) over Oq.
14
§3. Relations in the Ideal Classes
b=(+pu
where u is ap:-adic unit, and ( = web) is a (p - l)th root of unity. This makes
(i) clear, and (ii) is obvious, from the definitions.
and the first Bernoulli number BI = --t, its constant term. For any function
fan Z(m) we define
BI,t = :2 f(X)BI«~»)'
xeZ(m) m
In particular,
BI,x = :2 «~)
m
ceZ(m)'
- 2!)X(C).
If X is non-trivial, then L X(c) = 0, and hence in this case,
15
1. Character Sums
B1,w- 1 = - L
Pc=l
CW(C)-l == - L 1 == p - -
I P- 1 IP-l-l
Pc=l P
(mod Zp).
Hence B1,x has a pole of order 1 at p. Lemma l(i) concludes the proof.
1
- B n,w k-n
n == k-1 Bk (modp)
for k in the given range, and any positive integer n. By Corollary 1, we know
that B1,x annihilates ct'(Pl(x), and
16
§4. Jacobi Sums as Hecke Characters
The dot product is the usual one, a·b = alb l + a2b2' For any functionfon
Z(m)'2) we have its Fourier transform], and the inversion formulas:
(**)
°
If all or a2, or al + a2 == mod m, then we shall say that a is special.
Otherwise we say that a is non-special. The absolute value of the Gauss sum
determined in GS 2 immediately implies a corresponding result for the Jacobi
sum, namely:
J 3. lea, ~) =- L XlJ
u
a1 (U)XlJ a2 (1 - U) = LJ(b, ~Kb.a
b
17
1. Character Sums
J(b, a) E Z.
For the rest of this section, it will be convenient to assume that all number
fields are contained in the complex numbers.
We have seen that 8[a] is in the integral group ring Z[G]. For any non-zero
element a E Q(Jlm), we let
°
On the other hand, the product of a8[al and its conjugate is equal to Na
under the hypothesis that a1 + a2 t= mod m. Indeed, we have
<t>+(-t)=I,
and
'"L (J'c-1
ceZ(m)'
18
§4. Jacobi Sums as Hecke Characters
operates multiplicatively like the absolute norm. The desired relation for the
product of 1X9[a] and its conjugate follows at once. The theorem follows by
using J 2, the analogous relation for the Jacobi sums.
The next theorem was proved originally by Eisenstein for prime level, and
by Weil [We 2] in the general case, which we follow.
Proof We fix IX and view J, was functions of a, omitting IX from the nota-
tion. In the Fourier inversion relation, we know that the Fourier coefficients
J(b) are integers. But IX == 1 (mod m 2) implies that
= web).
Since we know that Iw(a)12 = 1, and web) is an integer for all b, it follows that
web) =I 0 for a single value of b, and is 0 for all other values of b. In particular,
for this special b,
w(a) = w(b)(b.a.
But w(O) = 1, so web) = l. Putting a = (1,0) and a = (0, 1) we get:
w(1,O) = J(l, 0) = 1 and w(l,O) = (b1
w(O, 1) = J(O, 1) = 1 and w(O, 1) = (b2.
It follows that
w(a) =1
for all a, thus proving the theorem.
19
1. Character Sums
Theorem 5.1. Let F = Fq be the finite field with q elements, and let E be a
finite extension. Let
Then
- SEUE, AE) = (- SU, A))lE:Fl.
Then
tjJ: Monic polynomials of degree ~ lover F -+ F
tjJ(fg) = tjJ(f)tjJ(g).
where the product is taken over all monic irreducible polynomials over F.
Suppose f is of degree 1, say f( X) = X + c. Then we see that
L
n(f)=n
tjJ(f)xn = O.
Indeed,
20
§5. Gauss Sums Over Extension Fields
Therefore we find
(1)
(2)
where the product is taken over all monic irreducible polynomials Q over E,
and
TI=TITI·
Q P QIP
E F(a)
~~
F'
En F(a)
=
,1
F
All the polynomials Qi are conjugate over F, and their coefficients generate
the field F' = En F(a), of degree rover F. We have
r = (m, n).
These facts are all obvious from elementary field theory. Since
and
21
1. Character Sums
we get
l/IE(Q) = ex(CO(P»Jl(Cl(P»))lE:F'l
= l/I(p)m/r.
With a view towards (2), we conclude that
= TI
{mf'~ 1
(1 - l/I(P)(xny
= TI (l - l/I(p)(eX)n).
,m=l
gives a surjection of {lm -7- {lm/n and the inverse image of any element of
{lm/r is a coset of {lr since r = (m, n). This makes the last step obvious.
Substituting (3) in (2), we now find
= TI
~m~l
(1 + Sex, Jl)eX)
with d ~ 2, defined over a finite field F with q elements. Again for simplicity,
we suppose that d divides q - 1, and therefore dth roots of unity are con-
tained in F.
We let w: F* -7- {lq-l be the Teichmuller character, and
22
§6. Application to the Fermat Curve
If a is an integer mod d, we let Xa(u) have the usual value if u # 0, and for
u = 0 we let:
xa(o) = 1 if a = 0,
Xa(o) = 0 if a # O.
For u in F, we let:
ifu = 0
if u # 0, u is not dth power in F
if u # 0, u is dth power in F.
Therefore
NaCu) = L
amodci
Xa(u).
Theorem 6.1. Let N be the number of points of V(d) (in affine space) in the
field F. Then
The sum is taken over integers a, b satisfying 0 < a < d and 0 < b < d,
and a + b "¥- 0 (mod d).
Proof We have
N = L
a,b,c
L
L(u,v,w)= 0
Xa(u)Xb(v)XC(w)
where the sum over u, v, w is taken over triples of elements of F lying on the
line
u +v+w= O.
L
u+v+w=o
L
certain 'U, W
Xa(u)Xc(w) L
all veF
Xb(V),
and the sum on the far right is O. This shows that all the terms in the sum
23
1. Character Sums
with one, but not all, of a, b, c equal to 0 give a contribution O. Hence we get
N = q2 + 2:
O<a,b,c<d Il+V+W=O
2: Xa(u)Xb(v)XC(w)
where the sum over a, b, c is taken over positive integers satisfying the in-
dicated inequality.
If w = 0 then XC(w) = O. We may therefore assume that in the inner sum,
we have w t= O. We then put
u = u'w and v = v'w.
The inner sum then has the form
2: Xa+b+C(w) 2: Xa(u')Xb(v').
w"o Il'+v'=-l
Corollary. N = 1 +q - 2: cta,b
where cta,b = Xa+b( -1)J(xa, Xb), and (a, b) are as in Theorem 6.1.
Let Nv be the number of points of V(d) in projective space over the field
Fv of degree v over F. The theorem applied to Fv instead of F yields an
analogous expression, the character X being replaced by Xv such that for
uEFv ,
This last expression is nothing but X composed with the norm map, in other
words, it is precisely the character lifted to the extension as in the preceding
section. The additive character is also lifted in a similar fashion. Therefore
by Theorem 5.1 we find
24
§6. Application to the Fermat Curve
Note that the power of x( -1) also behaves in the same way as J when lifted
to Fv' Indeed, if q is odd then
1 + q + ... + q v -1 == v mod 2,
This is best seen by taking the logarithmic derivative of the last expression
on the right-hand side. The operator
Jf-+ I'IJ
is a homomorphism, so we take the operator for each linear term. Inverting
a geometric series we see that the logarithmic derivative of the last expression
on the right-hand side has precisely the power series
Since it has the value 1 at T = 0, it is the unique function having the desired
properties.
If finally one starts with the Fermat curve defined over the field of dth
roots of unity, and one reduces mod primes ,p not dividing d, one can take
the product of the zeta functions for the reduced curve over the correspond-
ing finite field. Then as Weil remarked, since the Jacobi sums are Hecke
characters, it follows that the Hasse zeta function
is equal to a Hecke L-series (up to the obvious factors of the zeta function of
Q(J1a) at sand s - 1).
The computation of solutions in finite fields works in essentially the same
way for diagonal equations
25
2
Stickelberger Ideals and
Bernoulli Distributions
26
§1. The Index of the First Stickelberger Ideal
On the other hand, a reader especially eager to get into p-adic L-functions
can concentrate on this chapter and then read Chapter 4 as a continuation
omitting Chapter 3. Only the section on the p-adic regulator in Chapter 4 is
related to Chapter 3. Chapter 2 may then be interpreted as giving the basic
congruence properties of Bernoulli distributions, and Chapter 4 gives
essentially more (p-adically) global measure theoretic properties.
A third alternative is to see Chapters 3 and 4 as forming a pair, describing
side by side the complex and p-adic class number and regulator formulas
originally conceived by Leopoldt.
For any G-module, we let A - be the (-I)-eigenspace for a -1. Then multipli-
cation by e- is the projection operator on this eigenspace (provided 2 is
invertible), and e- is the associated idempotent in the group algebra.
rx = L z(c)a c- 1 E R-
with coefficients z(c) E Z. Thus a -lrx = -rx. Then z( -c) = -z(c). If we let
[J = L z(c)a';-1,
ceP
(J,' = L.,
'"
ceZ(m)'
<c) -
m
ac-1 •
27
2. Stickelberger Ideals and Bernoulli Distributions
We have written ()' instead of () because we are now setting more permanent
notation, and there is a more canonical element which has priority, namely
From the hypothesis that IY. has integral coefficients, we conclude that
L z(b) (bem -
b
!)2 == 0 (mod Z)
for all e prime to m, so that
We contend that
28
§1. The Index of the First Stickelberger Ideal
Now let s(G) = 2: U be the sum of the elements of G in the group ring,
and note that
Then
Substituting s(G) = (1 + U -1)8' on the right and using 2: z(b) even shows
that IX lies in R8', and concludes the proof.
Lemma 3. (R8 : R8 n R) = w.
Proof We define a homomorphism
1
T: R8-+- ZjZ
w
1 1
T(8) == In - 2 (mod Z),
and therefore that T is surjective. It now suffices to prove that its kernel is
R8 n R. But we have
If Cf.() is in the kernel of T, it follows that Cf.() also lies in R, thereby proving the
lemma.
!/ = R() () R
Define
for any character Xon Z(m)*. Let X' be the primitive character associated with
X, and let m' be its conductor. Then it is easy to verify that if we replace m by
m' and X by X' in the right-hand side, we obtain the same value, so B 1 • x is
independent of whether we view X as primitive character, or simply a charac-
ter on Z(m)*. (The above fact is a special case of the distribution relation,
discussed in the next section.)
Next, we shall use the fact that
mMTI -BI.' lu
'odd ul w
c
Rm() mM
R()
30
§1. The Index of the First Stickelberger Ideal
We have shown the inclusion relations, and we have also indicated the in-
dices. All of them have been proved, except the one on the left-hand side.
This will be the item in the final lemma, and we then find:
Proof First observe that the sign is whatever is needed to make the right-
hand side positive. Multiplication bye-me is an endomorphism of QR-,
which is a semisimple algebra, decomposing into a product of I-dimensional
algebras corresponding to the odd characters. Consequently we find
det(e-me) = f1
xodd
X(me) = m M f1
;todd
B1,x'
On the other hand, e-me maps e- R into itself, and by standard elementary
linear algebra, the index is given by the absolute value of the determinant.
This proves the lemma, and the theorem.
The theorem and its proof are due to Iwasawa [Iw 7]. It was generalized
to composite levels m by Sinnott [Silo In the composite case, one cannot deal
any more with a single element e, but one has to deal with the module
generated by Stickelberger elements of all intermediate levels
for all divisors d of m. A similar situation had already arisen in the analogous
situation in dimension one higher, concerning the Stickelberger elements
formed with B2 rather than, Bl> in the Kubert-Lang series [KL 2], [KL 3],
[KL 5].
31
2. Stickelberger Ideals and Bernoulli Distributions
with a fixed prime number p, and n = 0, 1, 2, .... In each case, the connecting
homomorphism
1
NZ/Z~Z/NZ
1
N Z/Z~Z/NZ
NIMI I,M
I
MZ/Z~Z/MZ
where the left vertical arrow is multiplication with N/ M, and the right arrow
is reduction mod M. Thus the system
32
§2. Bernoulli Numbers
Let us now return to the general projective system {Xn }. For each n suppose
given a function CPn of Xn into an abelian group V. We say that the family
{CPn} is compatible if for each n and x E Xn we have
CPn(X) = 2:
:7t n -1Y=X
CPn+l(Y)'
The sum is taken over all the elements of Xn+1lying above x. In what follows,
we often omit the subscripts, and write ny = x, for instance.
Let K be a ring of operators on V. Let f be a function on Xm for some
integer m, with values in K. If n ;::: m, then we view f as defined on Xn through
the natural projection on X m • We conclude at once from the compatibility
relation that
2: f(x)CPn(x) = 2:
xeX Il xeXm
f(x)CPm(x).
with the limit topology, so that X is a compact space. For each n we have a
surjective map
For each x E Xn the inverse image r;l(x) is an open set in X, and the totality
of such open sets for all n, x is a basis for the topology of X.
A functionf on X is called locally constant if and only if there exists n such
that f factors through X n • Such functions are also called step functions, and
their group is denoted by St(X, K). For each such function, we can define its
I
integral
f dcp = 2:
xeXn
f(x)CPn(X),
dcp: St(X, K) -+ V.
satisfying
Iv + wi ::; max{lvl, Iwl} v, WE V
Icvlv = IcIKlviv c E K, vE V.
33
2. Stickelberger Ideals and Bernoulli Distributions
If <p is bounded, i.e., I<Pn(x) I is bounded for all n, x E Xn> then we say that <P
is bounded, or quasi-integral for the valuation. For any IE St(X, K) we have
where IIIII is the sup norm off, and 11<p11 is the sup norm of the values I(Pn(x)l.
Indeed, if I factors through Xn. then
f In d<p
for such a continuous function, provided that <p is bounded. This will be the
case in important examples, and bounded distributions are also called
measures.
All this is preliminary to defining the distributions which are of importance
to us, namely the Bernoulli distributions. If x E ZeN) then x/N can be viewed
t
as an element of Q/Z. For any E R/Z we let <t>
be the smallest real number
~ 0 in the residue class of t mod Z. What we want is for each positive integer
k a polynomial PIc with rational coefficients, leading coefficient 1, such that
the functions
Bo = 1,
Observe that
F( -t) - F(t) = t,
Bk = 0 if k is odd, k # 1.
We define the Bernoulli polynomials Bk(X) be the expansion
B2.
Then it is clear that the Bernoulli numbers are the constant terms of the
Bernoulli polynomials, that is
We find:
Bo(X) = 1,
B 3.
a~o e Nt - 1 N a~o e Nt - 1
On the other hand, summing the geometric series L eat directly from a = 0
to a = N - 1 and using the definition of the Bernoulli polynomials shows
that the coefficient of tkfk! is precisely Bk(X), thereby proving the desired
identity.
35
2. Stickelberger Ideals and Bernoulli Distributions
{~Z/Z}
the association
1
x H>- Mk-1B k«x») for x E M Z/Z
defines a distribution.
Proof If y E (l/MN)Z/Z is one element such that Ny = x, then all
elements in the inverse image of x by the mapping (N· id) -1 consist of
y + ~, with t mod N.
CN(X, s) = L n-
nEX
S•
n>O
The Dirichlet series converges only for Re(s) > 1, but it is classical and
elementary that it can be analytically continued to the whole complex plane,
and Hurwitz has shown that
36
§2. Bernoulli Numbers
For what we have in mind, we don't care about the lower terms, which have
rational coefficients.
B 6.
B 7.
37
2. Stickel berger Ideals and Bernoulli Distributions
O~x~N-1.
We write
e-1x b
--=-+y= < b ) +z
-+y
N N N
38
§2. Bernoulli Numbers
== kxk-l(X
N - c <c-1X) c- 1)
-sr- + -2-
and Property E 2 follows by using E 1.
They will be called N-integral if they are p-integral for every prime dividing
N.
Ek~XX) = L Ekz.;;(y)
y
where the sum is taken over, those y mod M which reduce to x mod N. The
expression for Eiz.;; is obviously N-integral except possibly for the term
39
2. Stickel berger Ideals and Bernoulli Distributions
For case (iii), we take M = (NkD(k))" for large v. The argument then
proceeds as before, because the only denominators occurring in
or
For the rest of this section, we let N = pn with some fixed prime number p,
so the distributions are defined on the projective limit of Z(pn), which is
none other than the p-adic integers Zp. We view the values of the distributions
to be in C p , the completion of the algebraic closure of the p-adic numbers.
We may express Theorem 2. 1(ii) in the limit as follows.
Theorem 2.3. Let c E Z; and let k be an integer ;::: 1 such that c k =1= 1.
Then
Proof By definition,
X I--?> ex,
40
Another Random Document on
Scribd Without Any Related Topics
occupied by the Aryans. The Buddhist buildings then erected may be
divided into three principal classes:
1st. Topes or Stupas, with their surrounding rails and lats:
2nd. Chaityas, which, in form and purpose, closely resemble the
early Churches of the Christians, though several of those cut in the
rock were, in all probability, excavated before the Christian era: and,
3rd. Viharas, or Monasteries, forming in the earliest times the
dwellings of the monks or priests who ministered in the Topes or
Chaityas, but afterwards becoming the independent abode of
monastic communities, who had chapels or oratories appropriated to
their use within the walls of their monasteries.
We are here concerned only with the Tope or Stupa.
In its origin we suspect that it simply took the place of the mound or
tumulus which the Turanian and other races had from earliest ages
been accustomed to raise over the last resting-place of their dead.
No such tumuli now exist in India, having probably been washed
away by the tropical rains or river-floods; but some are still found in
Afghanistan. The Indian type is distinguished from the tumulus of
other countries by its material and its shape. It is built of brick or
stone, in a rounded or conical form. It is distinguished also by the
circumstance that instead of being the place of interment of a
corpse, it is the depository of relics.
Besides being used as a relic-shrine, the Tope was frequently
employed as a memorial tower to indicate a sacred spot. Of the
84,000 Stupas which, according to tradition, Asoka erected, fully one
half would seem to have been raised to mark the scenes where
Buddha or some Bôdhisatwa had performed a miracle or done
something worthy of being remembered by the faithful.
The “rails,” or stone-circles, surrounding the Indian Topes are often
of as much importance as the Topes themselves; and in the case of
Sanchi and Amravati, are even more important. As with the Topes,
they are sepulchral in origin. “The circles of rude stones found all
over Europe certainly are so in most cases. They may sometimes
enclose holy spots, and may possibly have in some instances places
of assembly, though this is improbable. Their application to the
purposes of ancestral worship is, however, not only probable, but
appropriate. Sometimes a circle of stones encloses a sepulchral
mound, as at New Grange in Ireland, and very frequently in
Scandinavia and Algeria. In India rude stone circles are of frequent
occurrence.” Some hundreds are found in the neighbourhood of
Amravati alone, and all are sepulchral; but like the Topes when
adopted by the Buddhists, they were “sublimated into a symbol
instead of a reality.”
Reference must briefly be made to another group of early Buddhist
monuments, the lats or stembhas, of which very few are now extant
in India, the British engineer having used them for his roads, and
the native zemindar for his rice or sugar mills. Those erected by
Asoka are uniform in character: circular stone shafts, monoliths,
thirty or forty feet high, and surmounted by a capital of a bell-
shaped or falling leaf form, imitated from the later Grecian
architecture. They were erected in order that certain edicts might be
engraved upon them, which Asoka desired to keep constantly in the
remembrance and before the eyes of his subjects. But in the fifth
century, those raised by the Guptas had no other object than to
perpetuate the name and fame of their royal founders.
POLYNESIAN SUPERSTITIONS.
The Earl of Pembroke, in his light, gossipy book entitled, “South Sea
Bubbles,” describes a visit which he paid to one of the old sacrificial
maraes, or inclosures, in the island of Raiatea.
“Strange places they were,” he says; “built of enormous slabs of rock
or coral, arranged in an oblong shape, and the space inside them
filled with shingle and coral, so as to form a platform about eight
feet high. I think the largest was about fifty yards long; we
scrambled up on to it by help of a tree, and stood on the spot
stained with so much blood shed in the name of religion. What
horrible stories those stones could tell if they could speak!...
“What made the human sacrifices of the Society Islands so strangely
ghastly and horrible, was the fact that the wretched victim was
always chosen from one of certain families, set apart for that special
purpose for generation after generation for ever. How this caste
originated I do not know. Many of these families used to put to sea
secretly in canoes, preferring an almost certain death by drowning or
starvation to the terribly uncertain fate that was always hanging over
their heads.
“When a man came to the priests to beg some heavenly, or rather
infernal, favour, they would tell him, either from whim, malice, or
some reason best known to themselves, that the god required a
human sacrifice, and naming the victim, present the supplicant with
the death-warrant in the shape of a sacred stone. He hides this
carefully somewhere about him, and collecting a few friends, seeks
out the doomed man. At last they find him sitting lazily under a tree
or mending his canoe, and squatting down round him begin talking
about the weather, fishing, or what not. Suddenly a hand is opened
—the death stone discovered to his horrified view. He starts up
terror-stricken, and tries to escape—one short, furious struggle and
he is knocked down, secured, and carried off to the merciless
priests. Ugh! it is an ugly picture.”[56]
Welcome to our website – the perfect destination for book lovers and
knowledge seekers. We believe that every book holds a new world,
offering opportunities for learning, discovery, and personal growth.
That’s why we are dedicated to bringing you a diverse collection of
books, ranging from classic literature and specialized publications to
self-development guides and children's books.
ebookbell.com