Gal Ios Modular Forms
Gal Ios Modular Forms
Gal Ios Modular Forms
Developments in Mathematics
VOLUME 11
Series Editor:
Editors of conference proceedings are urged to include a few survey papers for wider
appeal. Research monographs, which could be used as texts or references for graduate level courses, would also be
suitable for the series. Contributed volumes are those where various authors either write papers or chapters in an
organized volume devoted to a topic of special/current interest or importance. A contributed volume could deal with a
classical topic, which is once again in the limelight owing to new developments.
Galois Theory and Modular Forms
Edited by
Ki-ichiro Hashimoto
Waseda University
Tokyo, Japan
Katsuya Miyake
Tokyo Metropolitan University
Tokyo, Japan
Hiroaki Nakamura
Okayama University
Okayama, Japan
All rights reserved. No part ofthis pUblication may be reproduced, stored in a retrieval system
or transmitted in any form or by any means, electronic, mechanical, photo-copying,
microfilming, recording, or otherwise, without the prior written permission of the publisher, with
the exception of any material supplied specifically for the purpose of being entered and executed
on a computer system, for exclusive use by the purchaser ofthe work.
Permissions for books published in the USA: permj 55 j on5@wkap com
Permissions for books published in Europe: [email protected]
Printed on acid-free paper.
Contents
Preface ix
Katsuya Miyake,
Ki-ichiro Hashimoto,
Hiroaki Nakamura
Part I
Arithmetic geometry
Galois Theory and Modular Forms pp 3-12
K. Hashimoto, K. Miyake, and H. Nakamura, Editors
2003 Kluwer Academic Publishers
THE ARITHMETIC
OF WEIERSTRASS POINTS
ON MODULAR CURVES Xo(p)
Scott AHLGREN*
Department of Mathematics,
University of Illinois,
Urbana, Illinois 61801
ahlgren~math.uiuc.edu
1. Introduction
The purpose of this paper is to describe some recent results regarding
the arithmetic properties of Weierstrass points on modular curves Xo(P)
for primes p. We begin with some generalities; most of these can be
found, for example, in the book of Farkas and Kra [F-K]. Suppose that
X is a compact Riemann surface of genus g ~ 2. If r is a positive
integer, then let '}iT{X) denote the space of holomorphic r-differentials
on X. Each '}iT (X) is a finite-dimensional vector space over C; we denote
its dimension by dr{X). A point Q E X is called an r- Weierstrass point
if there exists a non-zero differential W E '}iT(X) such that
ordQw ~ dT{X).
The author thanks the National Science Foundation for its support through grants DMS
01-96443 and DMS 01-34577.
[received: June 13, 2002; accepted in revised form: October 16, 2002]
4 S. AHLGREN
this definition does not depend on the particular basis chosen. Two basic
facts are that
and that
L wtr(Q) = dr(X)(g - 1)(2r - 1 + dr(X)). (1.2)
QeX
Let lHI denote the upper half- plane of complex numbers, and define the
modular curve Xo(N) as the compactification of the quotient Yo(N) :=
ro(N)\lHI. Part of the importance of these curves arises from the fact
that the curve Xo(N) is the moduli space for pairs (E, C), where E is
an elliptic curve and C is a cyclic subgroup of order N.
1-Weierstrass points (or, more simply, Weierstrass points) on modular
curves have been studied by a number of authors. Works of Atkin [AtJ
and Lehner-Newman [L-NJ, for example, determine some conditions un-
der which the cusp at 00 is or is not a Weierstrass point (it remains an
open problem to classify those N for which 00 is a Weierstrass point).
Weierstrass points also play an important role in the work of Lehner-
Newman [L-NJ and Ogg [OlJ which determines the complete list of N
for which Xo(N) is hyperelliptic.
For the curves Xo(P) with p prime, it is known by work of Atkin and
Ogg (see [021) that 00 is not a Weierstrass point. Moreover, Ogg [02J
proved that if p is prime and if Q is a Q-rational Weierstrass point on
Xo(P) , then the reduction Q of Q modulo p is supersingular (Le. the
underlying elliptic curve is supersingular).
In the remainder of this paper (which is purely expository) our goal
will be to describe recent results of the author with K. Ono and M.
Papanikolas [A-O], [A-P] which develop the relationship between Weier-
strass points on Xo(P) and supersingular points in characteristic p. As we
shall see, the result which is obtained for I-Weierstrass points is quite
satisfactory, while the situation for higher Weierstrass points remains
somewhat more nebulous.
Weierstrass points 5
1
(P -13)/12, if P == 1 (mod 12),
(p - 5)/12, if p == 5 (mod 12),
9p:= (p _ 7)/12, if p == 7 (mod 12),
(p + 1)/12, if P == 11 (mod 12).
We assume throughout that p ~ 23; this ensures that gp ~ 2 (if 9p < 2
then there are no r- Weierstrass points for any r). Since 00 is not a
Weierstrass point (from which it follows that the conjugate cusp at 0 is
not a Weierstrass point) and dl(XO(P = gp, we see from (1.2) that
Throughout, we agree that q:= e211'iz, and we denote by j(z) the usual
elliptic modular function on SL2(Z); we have
Here j(Q) means jeT), where T E IHI is any point which corresponds to
Q under the standard identification. By (2.1), we see that the degree of
Fp( x) is g: - gpo We define the supersingular polynomial in characteristic
pby
II
(x - j(E))
E/Fp
8upersingular
Remark 1. This result holds more generally for modular forms which
are eigenforms of the Fricke involution; see Proposition 5.2 of [A-P] for
a precise statement.
Remark 2. Since....!.his is a multiplicative construction, the divisor of
the modular form Wp(z) retains much of the information present in the
divisor of the original form Wp(z) (some care must of course be taken
to recover this information, particularly at the elliptic fixed points of
SL2(Z)). In view of (2.3), the construction is particularly useful for this
reason.
It follows from the von Staudt-Claussen congruences that Ep-l ==
1 (mod p). Using this fact together with Theorem 2 and Lemma 2.1, we
conclude that
Wp(z) == Ep_l(Z)g~-gpLl(z)gp(gp+1) E rp (z)2 gpE14(Z)gp(gp-l) (mod p).
(2.4)
Moreover, the modular forms on either side of (2.4) have the same weight.
8 S. AHLGREN
By (2.2), (2.3), and Remark 2 above, we see that the values of the j-
function at the zeros of Wp(z) correspond roughly to the roots of the
polynomial Fp(x). However, by (2.4) we see that many of these j-values
should also correspond roughly to the j-zeros of E p - 1 ; by (2.5) these are
just the supersingular j-invariants in characteristic p. Theorem 1 follows
from these considerations; of course it takes quite a bit of work to make
all of this precise.
F?)(x):= II (x - j(Q))wtr(Q).
QEYo(p)
We note, using (1.2) and the fact that dr(Xo(p)) = (2r - 1)(gp - 1) for
r ~ 2, that FJr) has degree (2r - 1)2(gp - 1)2gp - 2wtr (oo). Also, we
define
1, if p == 1 (mod 12),
xr i(2r-l)2(gp-l)(gp-2)1, if p == 5 (mod 12),
!p,r(x):= (x _1728)~(2r-l)2(gp-l)(gp-2), if p == 7 (mod 12),
xr ~ (2r-l)2(gp--l)(gp-2)l
X (x - 1728) ~(2r-l)2(gp-l)(9p-2), if p == 11 (mod 12).
We obtain an analogue of Theorem 1 when 2 ::; r ::; 5 under the
assumption that the space '}-{r(xo(P)) is good at Pi the precise definition
(as well as an explanation of the assumption that r ::; 5) will be given
below.
Theorem 3. Suppose that p is prime and that 2 ::; r ::; 5. Suppose that
'}-{r(xo(P)) is good at p. Then F~r) (x) has mtional p-integml coefficients,
and there exists a polynomial H(x) E lFp[x] such that
FJr)(x) == H(x) . !p,r(x) . S;(x)(2r-l)2(gp-l)(9p-2) (mod p).
where r = rl < r2 < ... < r'd, and the coefficient of qTi in fJ is zero if
i =1= j. Then we call 'H,T(XO(p)) good at p if the modular forms h,, fd
have p-integral Fourier coefficients.
The question of whether or not a given space HT(XO(P)) is good at
p is an interesting one. Computations uncover a few "bad" primes, but
suggest that most such spa~es are indeed good. For example, the only
prime p < 800 for which 'H,2(XO(p)) fails to be good at p is p = 373.
Using W. Stein's modular forms package in MAGMA, we have carried
out the following computations.
Proposition 3.1.
(2) 1{3(XO(p)) is good at p for 23 ::; p < 800 with the exception of
p = 373,643.
(3) 1{4(Xo(p)) is good at p for 23 ~ p < 800.
(4) 1{5(Xo(p)) is good at p for 23 ::; p < 400 with the exception of
p = 379.
4. Examples
We give some examples of the phenomena described by Theorems 1
and 3. As an example of Theorem 1, we consider the case when p = 31.
Here gp = 2, and
5. Some questions
In closing, we mention a few natural questions related to the results
described above.
(1) Is it possible to find a proof of Theorem 1 (or of Theorem 3) which
relies on the underlying geometry of the curve Xo(p)?
(2) Are there interesting Galois-theoretic properties of the polynomials
Fp(x) and FJT)(X)?
(3) Is it possible to find a description of those p and r for which 00 is
an r- Weierstrass point on Xo(p)?
(4) Is it possible to give a description of those p and r for which
'J-lT(Xo(p fails to be good at p? Are there infinitely many such p
for any given r?
12 S. AHLGREN
Acknowledgments
The author wishes to thank K. Hashimoto, K. Miyake, and H. Naka-
mura, as well as others involved in the organization of the Saga and
TMU conferences on Galois Theory and Modular Forms, for all of their
efforts towards running two successful meetings.
References
[A-O] S. Ahlgren and K. Ono, Weierstrass points on Xo(P) and supersingular j-
invariants, Math. Ann. 325 (2003),355-368.
[A-P] S. Ahlgren and M. Papanikolas, Higher Weierstrass points on Xo(P), Trans.
Amer. Math. Soc. 355 (2003), 1521-1535.
[At] A. O. L. Atkin, Weierstrass points at cusps of Xo(N), Ann. of Math. 85
(1967), 42-45.
[F-K] H. M. Farkas and I. Kra, "Riemann surfaces," Springer-Verlag, New York,
1992.
[K-Z] M. Kaneko and D. Zagier, Supersingular j-invariants, hyperyeometric series,
and Atkin's orthogonal polynomials, in "Computational perspectives on num-
ber theory (Chicago, IL,1995)," Amer. Math. Soc., Providence, RI, 97-126,
1998.
[L-N] J. Lehner and M. Newman, Weierstrass points on ro(N), Ann. of Math. 79
(1964), 360-368.
[01] A. Ogg, Hyperelliptic modular curves, Bull. Soc. Math. France 102 (1974),
449-462.
[02] A. Ogg, On the Weierstrass points of Xo(N), Illinois J. Math. 22 (1978),
31-35.
[R] D. Rohrlich, Weierstrass points and modular forms, Illinois J. Math. 29
(1985), 134-141.
[Sw] H. P. F. Swinnerton-Dyer, On f-adic representations and congruenc.s Jor mod-
ular forms, in "Modular functions of one variable, III," 1-55, Lecture Notes
in Mathematics, 350. Springer-Verlag, Berlin.
Galois Theory and Modular Forms pp 13-38
K. Hashimoto, K. Miyake, and H. Nakamura, Editors
2003 Kluwer Academic Publishers
Armand BRUMER
Department of Mathematics
Fordham University,
Bronx, NY 10458
brume~fordham.edu
Kenneth KRAMER
Department of Mathematics
Queens College (CUNY)
Flushing, NY 11367
kramerlilforbin.qc.edu
1. Introduction
The conjecture of Shimura-Taniyama-Weil, now proved through the
work of Wiles and disciples, is only part of the Langlands program.
Based on a comparison of the local factors ([And], [Serl]), it also predicts
that the L-series of an abelian surface defined over Q should be the
L-series of a Heeke eigen cusp form of weight 2 on a suitable group
commensurable with Sp4(Z). The only decisive examples are related
to lifts of automorphic representations of proper subgroups of SP4, for
example the beautiful work of Yoshida ([Yos], [BSP]).
We do not know how to construct ''non-trivial'' weight 2 forms for
groups such as the paramodular group or the Hecke subgroup ro(P) in
genus 2. In fact, it seems that not a single example is known which is
not a lift. Not even a conjectural dimension formula for weight 2 cusp
forms has yet been proposed ([Ibu], [Has]).
It seems interesting to consider existence and non-existence on the
arithmetic side. If the special fiber Ap of the Neron model of the abelian
variety A has no unipotent part, we say that A has semistable reduction
This author was supported in part by a grant from the City University of New York PSC-
CUNY Research Award Program.
[received: June 7, 2002 ; accepted in revised form: October, 16, 2002]
14 A. BRUMER AND K. KRAMER
we may conclude that D(u) = 1 for all u > 1j( - 1) if and only if both
HEj F) ~ 2 and f(FjQi(J.Li)) ~ 2. 0
We use below the fact, proved in [MMJ, that QU.Li) has class number
one exactly when ~ 19.
Lemma 2.2. Buppose M is (, B)-controlled and unramified outside ,
with ~ 19. If M is abelian over F = Q(JLu), then M = F.
Proof. To analyze the exten5ion Mj F, we introduce the usual notation
of class field theory. 'Let A~ be the idele group of F and write FX for
the image of FX on the diagonal. Let Fv be the completion of F at a
place v and put Uv for the connected component of the identity in Fvx .
If v is non-archimedean, set U~m) = {x E Uv I vex -1) ~ m}.
Observe that there is a unique prime A over in F and let [ be a
prime of M over A. By (L4), we have Gal(MdQ)(u) = 1 for all u >
1/( - 1). For brevity, write fA for the abelian conductor exponent of
the local extension Md F>... Since M / F is unramified outside i, there is
a surjection A;/N - Gal(M/F), where N is the norm subgroup
N = (Uib.l x II Uv ) . FX.
v;;6>'
in which the last quotient is isomorphic to the ideal class group of F and
is trivial by assumption.
The group u>.jUi1) is generated by the images of global cyclotomic
units when is odd and is trivial when = 2. Since ui1) jUlIA) is an
-group, we find that r /Vp is an i-group and so Gal(Mj F) is an i-group
by exact sequence (1). Then f>.. ::; 2 by Lemma 2.1. The group ui 1) jUi2 )
is generated by the image of a global primitive th root of unity when
is odd or by the image of i when = 2. Thus r jVp and a fortiori
Gal(M/ F) is trivial. 0
Remark. Under the hypothesis that Gal(Mj F) is an abelian i-group,
similar reasoning shows that M = F when is a regular prime.
Lemma 2.3. Buppose that ~ 19 and that L is an (, B)-controlled
extension containing F = Q(JL2i)' Let E be the maximal subfield
Semistable abelian varieiies 19
Proof. Property (i) is clear and does not use purity. The natural injec-
tion
T/(X n Y) <--> TIX EB T/Y
implies (ii). By Nakayama's Lemma and the isomorphism X ~ X/(X n
T) = XlfX we have (iii). For (iv), suppose fz = x + y for some z E T,
x E X and y E Y. Then the coset x = -y in TifT is an element
of X n Y = 0. Hence x = y = 0. By purity of X and Y, we may
write x = Xl and Y = Yl for some Xl E X and Yl E Y. Since T is
torsion-free, we then have z = Xl + Yl E X + Y. Hence T/(X + Y) is
torsion-free and (iv) is verified. Given the perfect pairing e, we clearly
have X.l + y.l ~ (XnY).l. Equality holds if Xl. + yl. is pure because
both sides have the same rank. 0
Semistable abelkn varieties 21
WA = n
i~O
7 i (M 1 (A,v))
Proposition 3.4. Suppose A/Q satisfies (C1) and (C2). Then WA and
YA are stabilized by Goo. Furthermore WA is a pure submodule of1I'e(A).
Proof. Let 'fi be the closed subgroup of Goo generated by a and 7.
Clearly, 7 acts on WA and YA, in view of the definitions (4). Since
a is the identity map on M 1 (A, v), it acts as the identity on WA. As
noted above, (a - 1)(1I'e(A)) ~ M2(A,v), so a acts on YA. Hence WA
and YA are modules for 'fi.
Let L be the compositum of the i-division fields of all the abelian
varieties Q-isogenous to A and, if necessary when i = 2, also adjoin i.
We wish to apply Lemma 4.6, with T = 1l'(A), 9 = Goo and W = WA or
YA. Then N certainly contains Gal(Loo/L). According to Lemma 2.5,
the restrictions of a and 7 to L generate Gal(L/Q). Therefore 'fi and N
generate Goo. It follows that WA and YA are Goo-modules.
The purity of M1(A, v) implies the purity of WA as a Z-submodule
of 1l'(A) by Lemma 2.7. 0
Recall from (1) the definition of an i-maximal abelian variety. If X
is a Ze-submodule of 1I'e(A) , we write X = (X + i!1I'e(A))/f1l'(A) for the
projection of X to 1I'e(A))/f1I'(A) ~ A[f].
Semistable abelian varieties 25
Lemma 3.5. Let A be an abelian variety satisfying (Ct) and (C2). Put
Nit = .A/ft (A, v) and define
I'\, = n
j?:.O
rj(.Alit).
YA = LT j (M2) = M2 + T(M2)'
j~O
Y A = LTj(M~)
j~O
= LTj(Mr) =
j~O
(n Tj(MI)l
j~O
= wi
Hence WA is pure of rank 2a. In view of Lemma 2.7(i) and (6), we have
tvA n M2 ~ (Ml n T(Ml)) n M2 = T(Ml) n M2 = O.
Hence W A + M 2 is pure ofr ank t + 2a and a direct sum. By the obvious
inclusion and equality of ranks, we have WA + M2 = Ml. It follows
that
WA ~ (WA +M2)/M2 = MI/M2.
By (6) and Lemma 2.7(iv), we also find that T(Ml) + M2 is a pure
submodule of 1l'e(A) and a direct sum. Equality of ranks implies that
1l'e(A) = T(Ml)EBM2 and so 1l'e(A) = T(WA)EBT(M2)EBM2 = WAEBYA,
as claimed. Finally, we have already observed in Proposition 3.4 that
WA and YA are Goo-modules. 0
under the Wei! pairing Vl(A) x Vt(.A) .- Qt(1) , where A denotes the
dual abelian variety of A. (See for example [CG, p. 1541.)
Lemma 4.1. Let A be an abelian variety of dimension d defined over
Qt with good reduction modulo t. If the tame ramification degree of the
extension Qt(A[i])/Qt divides - 1, then A is ordinary.
Proof. We extend the base to the ring of integers R in the unramified
closure K = Q~r to obtain an algebraically closed residue field. Ac-
cording to Raynaud (see [Gru, Thm. 4.4]), the finite group scheme A[i1
admits a composition series whose simple constituents are IF-vector space
schemes for varying finite fields IF of characteristic t. Such a constituent
M is a cyclic IF-module, determined as follows. By simplicity, the wild
ramification subgroup of GK must act trivially on M, so the action of
GK factors through a quotient Gal(EIK), such that E ~ K(A[]) and
ElK is tamely ramified. Suppose [E: K] = r. Then IF = lFt(J.tr), with
the action of a primitive rth root of unity induced by the action of a
generator for Gal(EI K).
In our case, r divides .e - 1, whence IF = lFt and M therefore is a
group scheme of order.e. These are classified by Oort-Tate. Thus each
simple constituent Mj of A[i] has the form Mj ~ G!j,bj ' with ajbj = i
in the standard notation [Gru, Theorem 2.1]. Since the valuation v of
R is unramified, we have v(aj) E {O,1}. Then G!j,bj is etale (resp.
connected) if v(aj) = 0 Crespo 1). Let no Crespo nl) be the nUiH~er of aj
such that v(aj) = 0 (resp. 1).
The exponent of the different of an affine group scheme g may be
defined as follows [Gru, p. 62]. Suppose g = spec(2L), where 2L is an R-
algebra. Let nilR be the module of Kahler differentials of 21 and define
o(Q) to be the length of the R-module s*ni/R = ni/R ~ R, where the
tensor product is formed over the zero-section 8 : 2L.- R.
28 A. BRUMER AND K. KRAMER
Since the f-divisible group arising from f-power torsion on A has di-
mension d, we find that 8(Al]) = dv(f) = d for example by [Gru,
Prop. 3.4]. Furthermore, 8(G a . b.) = v(aj) by [Gru, Prop. 2.3]. But 8
J' J
behaves like an additive Euler characteristic on short exact sequences.
Hence d = Lj v(aj) = n1. Note that the simple constituents that be-
long to the connected group scheme FA [f] are precisely those for which
v(aj) = 1. By definition of the height h of FA we have
Hence h = n1 = d as claimed. o
We now return to the global situation: A is an abelian variety de-
fined over Q and we impose the basic assumptions (C1) and (C2) of
section 3. Preserving previous notation, we set Loo = Q(A[foo]) and
Goo = Gal(Loo/Q). As usual, we have a topological generator a for
the inertia group Iv inside Goo at a place v over p and we have an
element T E Goo of order [F : Q), where F = Q(JL2t) , such that the
restriction of T generates Cal(F/Q). According to Lemma 2.5, the re-
strictions of (J and T to the f-division field of A generate its Galois
group. By fixing an embedding of Loo to Qt, we get a natural D v-
isomorphism 1l't(A) ---+ 1l't(A~), where A~ is obtained by base exten-
sion to Qt. We are interested in elements of 1l't(A) whose image lands
in 1l'e(FA) ~ 1l't(A~).
Lemma 4.2. Let A/Q be an abelian variety satisfying (C1) and (C2).
Suppose X is a Goo-submodule of1l'(A) with trivial action by the inertia
group Iv. Let K 00 be the fixed field of the kernel of the representation of
Goo afforded by X. Then Koo is unramified outside E and totally ramified
over E. Furthermore X ~ 1I't(FA).
Proof. By assumption, Koo is unramified at v. But then Koo/Q is un-
ramified at all places over p because it is Galois.
It is convenient to pass to the compositum KooF. Let). be the place
of KooF over f determined by our choice of embedding Loo ---+ Qt. Since
the prime over f in F is totally ramified, we may verify that Koo is
totally ramified over f by showing that the inertia group IF,).. inside
Hoo = Gal(KooF/ F) is equal to Hoo. Suppose on the contrary that
IF,).. is a proper subgroup of Hoo. Condition (C2) implies that Hoo is
pro-f, so there exists a subgroup of index f in Hoo , containing IF,)... The
corresponding fixed field is a cyclic extension of F of degee f unrami-
fied everywhere, whose existence contradicts our assumption that f is a
regular prime.
Semistable abelian varieties 29
Put x(n) = (X + F'll"t(A))/F'll"t(A) ~ A [f!n] for the nth layer of
X. Then we may represent elements of X in the form x = limxn with
+--
l
In the latter case, there is a unique isogeny class consisting of the curves
X3 + U ~ 1x 2 - X, Ll = p,
y2 + xy = (1)
x3+ u ~ 1x2 + 4x + u, Ll = _p2,
From the Tate parametrization over Qp, we find that Q(EtfeJ) is unram-
ified over p and so Q(EdfJ) = F = Q(1'2t) by Lemma 2.5 and Corol-
lary 3.2. According to [MOl. Et is the strong Weil curve in its isogeny
class.
Write E = Et, suppressing the dependence on f and p, which should
be clear in context. Recall that the foo-division tower Loo is the same for
all curves in the isogeny class of E. Let Goo = Gal(Loo/Q) and observe
that Gal(L oo / F) is pro-e. As usual, a E Goo denotes a topological
generator of the inertia group at a place v over the bad prime p and
r E Goo denotes an element of order [F : Q] whose restriction to F
generates Gal(F/Q).
The Grothendieck module Ml (E, v) = M 2 (E, v) is a pure Zt-module
ofrank 1 in 1I'l(E) and we have 1I'l(E) = YE = M2(E, v) Ell r(M2(E, v))
by Proposition 3.7. Choose a generator P for M2(E, v). With respect
to the generating set {P, r(P)} for 1I'l(E), we obtain a matrix represen-
tation
Semistable abelian varieties 31
The Tate parametrization of E over Qp shows that
0
PEer) = ( 1 1+w .
-w) (4)
Now 0-7'2 = 7'20-- 1 by Lemma 5.1. Acccording to Lemma 2.5, the sub-
group H of G is generated by the conjugates of 0- under the action of 7'.
Since 7'2 normalizes 0-, to prove that H is abelian, it suffices to show that
0- commutes with o-T = 7'-10-7'. The reader may verify by judicious use
of PE((1-1) and PEer) that the image of PE on the group ring Z5[[G oo ]]
contains all 2 x 2 matrices congruent to a modulo s. One can also check
that
PE((1T ( 1 - (1(1T) = -S2w (~ 2(1_~W)).
Hence PE((1T ( 1 - (1 (1T) belongs to 5 PE(Z5[[Goo lJ) and so PEd((1T (1-(1 (1T)
belongs to 5PEd(Z5[[Goo ]]). It follows from Lemma 5.1 that o-T and 0- do
commute. We may conclude that H is abelian of exponent dividing 5
and rank at most 2, generated by 0- and o-T. Furthermore, the action of
conjugation by 7'2 on H is given by inversion. 0
Proposition 5.3. Let C be the Q-isogeny class of Ed, where E is an el-
liptic curve of conductor p with some rational i-torsion. Then Q(A[]) =
Q(JL2t) for all abelian varieties A in Vt(C).
Proof. We may assume that E = Et is i-maximal. Put
with finite index, say n. Given z' E M~, we may therefore find z E M2
such that nz' = cp(z). It follows that
nO'r(z') = cp(O'r(z)) = cp(r(z) + s z) = nr(z') + ns z'.
But 1I'1!(A) is torsion-free, so O'r(z') = r(z') + s z'. Since s == 0 mod i, we
find that 0' acts trivially on the first layer r(M~) of r(M~) and therefore
on all of A[i] = M~ ED r(M 2). Hence Q(A[i]) = Q(#J.2) by Lemma 2.5
and Corollary 3.2. . 0
Lemma 5.4. Suppose that C is a Q-isogeny class of abelian varieties of
dimension d satisfying (C1), (C2), (C3) and that Q(A[i]) ~ Q(#J.2) for
each A in Vi(C). Then there exists a Z-submodule X oflI'(A) of rank
2 and stabilized by Goo such that lI'(A) ~ Xd as Goo-modules.
Proof. Theorem 4.3 implies that A has totally toroidal reduction modulo
p, so M2 = M2(A,v) = MI(A,v). For all A E v(e) , we have M2 n
r(M2) = 0 by (6) and lI'(A) = YA = M2 6:) r(M2) by Proposition 3.7.
Choose a set of free generators ml, ... , md for M2' For j = 1, ... , d,
define xU) to be Z-span of mj and r(mj). Each xU) is a pure sub-
module of lI'(A) of rank 2 and lI'l(A) = 6:)1=IXU).
We wish to use Lemma 3.3 to show that X = xU) is a Goo-module.
Take 'H. to be the grou:) generated by r, so X certainly is an 'H.-module by
(C3). Suppose Xn = X +i nlI'l! (A) is a Goo-module and let cp : A -+ A' be
the Q-isogeny whose kernel is K = (X +.enlI'(A))/.enlI'(A) ~ Z/.en6:)Z/in.
Write M~n) for the projection of M2 to lI'(A)/.enlI'(A) ~ A[.en]. It is
clear that Kn M~n) is isomorphic to one copy of Z/in, generated by the
coset of mj' Hence IK n M~n)1 =.en and we have I~AI(iFp)l = I~A(iFp)11!
by Lemma 3.1. Therefore A' also is i-maximal. Then by assumption,
Q(A'[iD ~ F = Q(#J.2)' Hence the subgroup N defined in Lemma 3.3
contains Gal(Loo/F). But Gal(Loo/F) and 'H. certainly generate Goo.
We may conclude from Lemma 3.3 that X is a Goo-module.
The following standard argument now shows that the xU) 's are iso-
morphic as Goo-modules. Reasoning as above, we find that for each
j =P 1, the Z-submodule of lI'(A) of rank 2 spanned by ml + mj and
r(m! + mj) also is stabilized by Goo. But then the matrix representa-
tion of Goo afforded by the Z-span of ml and r(ml) must be identical
to the representation afforded by the Z-span of mj and r( mj). It now
follows that there is a Goo-isomorphism lI'(A) ~ Xd, where X is the
Z-module spanned by m and r(m) for any choice of mE M2 such that
m iM2. 0
For the proof of our final result, we need to observe that i-maximality
is preserved for certain products of abelian varieties. Note that A =
34 A. BRUMER AND K. KRAMER
"'0 = ",n.M~n)(A,v)
= {(b,c) E "'I b E M2(B,v), c E M2(C,V)} C A[fn].
In view of (6), we have
- (n) - (n) - (n) - (n)
M2 (B, v) n T(M2 (B, v)) = M2 (C, v) n T(M2 (C, v)) = 0,
whence "'OnT("'O) = O. But", is a Galois module, so it contains "'O+T("'O)
and therefore 1"'1 ~ l"'oIIT("'o)1 = 1"'01 2 It follows from Lemma 3.1 that
I<pA(lFp)i ~ i<PA'(lFp)i. Hence A is f-maximal. 0
Theorem 5.6. Let C be a Q-isogeny class of semistable abelian varieties
of dimension d with bad reduction only at p. Assume f is a regular prime
and Q(A[]) ~ Q(JL2) for every A in V(C). Suppose the action of T on
11'(A) satisfies a polynomial of degree at most 2. Then = 2, 3 or 5
and there exists an elliptic curve E of conductor p with some rational
l-torsion such that C is the Q-isogeny class of Ed.
Proof. We may apply Lemma 5.4 to A E V(C) to obtain a Z-submodule
X of 11'(A) of rank 2 stabilized by Goo, such that 11'(A) ::: X d is a
Goo-isomorphism. According to the Tate conjecture, proved by Faltings
([Sch]), we have
For the endomorphism 1[' = y'5, we have A[1['j = 'll/5'll 6:) J.t5 and so
H = Gal(Q(A[5])/Q(J.l.5)) is an elementary abelian 5-group. One can
check that its IF5-rank is 3, in contrast to Proposition 5.2(c). Using the
Remark after Lemma 2.3, we find that Q(A[5]) is the maximal (5,31)-
controller! extension abelian over Q(J.t5)'
Acknowledgments
The first author wishes to express his indebtedness for the generous
hospitality, patience, friendship and stimulation afforded him by Profes-
sor Hashimoto and his students at Waseda University. He also thanks
Professors K. Miyake of Tokyo Metropolitan University, T. Ibukiyama
of Osaka University and H. Saito of Kyoto University, their institutions
and colleagues. Together, they made it possible to spend a wonderful
month in Japan, beyond the week of this Conference.
References
[And] A. N. Andrianov, "Quadratic forms and Hecke operators," Grundlehren der
Math., 286. Springer-Verlag, 1987.
[BSP] S. B6cherer and R. Schulze-Pillot, Siegel modular forms and theta series at-
tached to quaternion algebras, Nagoya Math. J. 121 (1991),35-96.
[BK1] A. Brumer and K. Kramer, The rank of elliptic curves, Duke Math. J., 44
(1977), 715-743.
[BK2] A. Brumer and K. Kramer, Non-existence of certain semistable abelian vari-
eties, Manuscripta Math. 106 (2001), 291-304.
[CG] J. Coates and R. Greenberg, Kummer theory for abelian varieties over local
fields, Invent. Math. 124 (1996), 129-174.
[Ed] B. Edixhoven, On the prime to p-part of the group of connected components
of Neron models, Compositio Math. 97 (1995), 29-49.
[Fa] G. Faltings, Endlichkeitssiitze fur abelsche Varietiiten uber ZahlkiJrpern, In-
vent. Math. 73 (1983), 349-366.
[Fo] J.-M. Fontaine, Il n'y a pas de variete abelienne sur Z, Invent. Math. 81
(1985), 515-538.
[Gro] A. Grothendieck, Modeles de Neron et monodromie, in "Groupes de mon-
odromie en geometrie algebrique. I," Lecture Notes in Mathematics, 288.
Springer-Verlag, N<3w York, 1973.
[Gru] F. Grunewald, Some facts from the theory of group schemes, in "Rational
Points (G. Faltings and G. Wiistholz, ed.)," Aspects of Mathematics, E6. F.
Vieweg & Sohn, Braunschweig, 1984.
[HMJ F. Hajir and C. Maire, Extensions of number fields with wild ramification of
bounded depth, Inter. Math. Res. Notices (2002), 667-696.
Semistable abelian varieties 37
[Has] K.-I. Hashimoto, The dimension of the spaces of cusp forms on Siegel upper
half-plane of degree two, I, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 30 (1983),
403-488.
[Ibu] T. Ibukiyama, On relations of dimension of automorphic forms of Sp(2,R)
and its compact twist Sp(2), I, Adv. Studies in Pure Math. 7 (1985), 7-29.
[MM] J. M. Masley and H. L. Montgomery, Cyclotomic fields with unique factor-
ization, J. Reine Ang. Math. 286/287 (1976), 248-256.
[Ma] B. Mazur, Modular curves and the Eisenstein ideal, Publ. Math. I.H.E.S. 47
(1976), 33-186.
[Me] W. McCallum, D'uality theorems for Neron models, Duke Math. J. 53 (1986),
1093-1124.
[MO] J.-F. Mestre and J. Oesterle, Courbes de Weil semi-stables de discriminant
une puissance m-ieme, ,T. Reine Ang. Math. 400 (1989), 171-184.
[Mi] I. Miyawaki, Elliptic curves of prime power conductor with Q-mtional pOints
of finite order, Osaka Math J., 10 (1973), 309-323.
[Ne] O. Neumann, Elliptische Kurven mit vorgeschriebenem Reduktionsverhalten.
II, Math. Nach. 56 (1973), 269-280.
[Seh] N. Schappacher, Tate's conjecture on the endomorphisms of abelian varieties,
in "Rational Points (G. Faltings and G. Wiistholz, ed.)," Aspects of Mathe-
matics, E6. F. Vieweg & Sohn, Braunschweig, 1984.
[Scho] R. Schoof, Semistable abelian varieties over Q, (2001), preprint.
[Serl] J.-P. Serre, Facte'lJ,rs locaux des fonctions zeta des varietes algebriques, Sem.
DPP, expose 19 (1969-19;'0).
[Ser2] J.-P. Serre, "Local Fields," Lecture Not,'S in Mathematics, 67. Springer-
Verlag, New York, 1979.
[Ser3] J.-P. Serre, Proprietes galoisiennes des points d'ordre fini des courbes ellip-
tiques, Invent. Math. 15 (1972), 259-331.
[Ser4] J.-P. Serre, Sur les representations modulaires de degre 2 de Gal(Q/Q), Duke
Math. J. 54 (1987),179-230.
[Ser5] J.-P. Serre, Oeuvres. Collected papers. IV (1986),1-55, Springer-Verlag, 2000.
[Set] C. B. Setzer, Elliptic curves of prime conductor, J. Lond. Math. Soc. 10
(1975), 367-378.
ISS] Sehinzel, A. and Sierpinski, W., Sur certaines hypotheses concernant les nom-
bres premiers, Acta Arithmetica 4 (1958), 185-208.
[Web] H.-J. Weber, Hyperelliptic simple factors of Jo(N) with dimension at least 3,
Exper. Math. J. 6 (1997), 273-287.
[Yos] H. Yoshida, On Siegel modular forms obtained from theta seri"s J. Reine
Ang. Math. 352 (1984), 184-219.
[Zar] Yu. G. Zarhin, A finiteness theorem for unpolarized abelian varieties over
number fields with prescribed places of bad reduction, Invent. Math. 79 (1985),
309-321.
Galois Theory and Modular Forms pp 39-64
K. Hashimoto, K. Miyake, and H. Nakamura, Editors
2003 Kluwer Academic Publishers
Q-CURVES
WITH RATIONAL j-INVARIANTS
AND JACOBIAN SURFACES
OF GL 2-TYPE
Ki-ichiro HASHIMOTO
Department of Mathematical Sciences
Waseda University,
3-4-1, Okubo Shinjuku-ku, Tokyo,
169-8555 Japan
[email protected]
Abstract We study elliptic curves over quadratic fields with rational i-invariants
regarded as Q-curves, in connection with jacobian surfaces of genus two
curves over Q. We discuss their minimality as Q-curves, and the classi-
fication, as well as the Neben type characters of the associated modular
forms. This can be described as the sign change phenomenon by quar-
tic twists of curves over Q. We also study their 2-fold covers by genus
vi -
two curves. Among others, we construct a parametric family {~f
genus two curves over Q covering minimal Q-curves over Q( 123)
with i-invariant j. We find in the twists of {G(j)} concrete equations
of curves over Q whose jacobians are isogenous over an extension of Q
to Shimura's abelian surfaces Aj attached to normalized eigen forms
f E S2(N, (~), whose Fourier coefficients belong to Q(v'=I) , in all
known non eM cases i.e., N = 37, 65, 104, 157, 397, and 877.
o. Introduction
Let r 1(N) be the congruence subgroup
and let 82 (r 1(N)) be the space of cusp forms of weight 2 with respect
to r 1(N). To e~l.ch normalized Hecke eigen form f E 8 2(r 1(N) ), one can
II L(UiJ,S),
9
L(AJlQ,s) =
i=l
where {0'1' ... ,0'd} denote the set of embeddings of K I into C, and
00
uJ = I:uaf(n)qn.
n=l
E Tate ( ,). y2 Xy X3 36 X 1
J. + = - j _ 1728 - j - 1728
(c.f. [Ri3]).
Let C(K) be the set of quartic cyclic extensions LIQ which contain K.
We shall prove
Theorem 0.2. Suppose that j E Q and that K := Q( vii -
17281) is
a real quadratic field with C(K) "# 0. Then for each 8 E KX satisfying
NK/Q(8) = c21j - 17281 (c E QX), the twisted curve E Tate (j)6 is a
( -1) -minimal Q-curve over K, so that
We can show in particular that for all known cases of f E 82 (r1 (N))
such that Kf = Q( R), the solutions to the above problem are in our
family C(j).
Q-curves with j E Q and jacobian surfaces of GL 2 -type 43
E: y2 = X 3 + AX + B (A,B E K),
then E8 can be defined by
E8: 8y2 = X 3 + AX + B. (1)
In what follows, we always assume that our elliptic curves are defined
over a fixed quadratic field K = Q( rm), and have no complex multipli-
cation. In such a case we have
j(ETate(j)) = j,
L = K(V6) = K( y'CIOO) ,
Finally we observe that
LCl = LC2 <===> CIC2- 1 E QX n (KX)2 = SK.
This completes the proof. 0
46 K.-l. HASHIMOTO
(5)
::;L(j) ~
We note here that the two curves E6, Em6, which are not isomorphic over
Q, become isomorphic over K. Therefore it is meaningful to consider
an abelian surface E6XEm6 as a model over Q of ResK/Q(E(j)6).
Definition 6. An abelian surface A/Q is called of fake GL2-type over
Q, if the Q-algebra of endomorphisms of A defined over Q is
EndQ(A) Q ~ Q $ Q,
while EndK(A) Q ~ M2(Q) for a quadratic field K.
Thus an abelian surface AIQ is of fake GL2-type over Q if it is Q-
isogenous to a product El x E2 of elliptic curves over Q which are K-
isogenous but not Q-isogenous to each other. We shall show in the
next paragraph that abelian surfaces of fake GL2-type over Q occur
as jacobian sufaces of algebraic curves, and they play imortant roles in
studying abelian surfaces AI Q of GL2-type over Q such that EndQ (A)
Q~Q(A).
r(dU) = 4 XdX
W Y
f m* (dU)
W
= -4 dX
my.
Since r(~) and f~(~) are linearly independent, it follows that the
morphism (/,Im), which is defined over Q, induces an isogeny from
JacG(j) to E(j)xE(j)m. 0
Theorem 3.2 can be proved also by the following argument. Using
(10) we identify EndQ(v'ffl)(Jac G(j)) Q with M2(Q). Then, from
004.> = (oo'IjJ, 0") we see that the action of u on EndQ(vm) (Jac G(j))Q cor-
responds to the inner automorphism Int(J), J = (~ ~) on M2(Q).
50 K.-J. HASHIMOTO
and denote by S2(N, X) the space of cusp forms of weight 2 and Neben
type character X( *). We assume that there exists a Hecke eigen form
f E S2(N, X) such that the field K f = Q( {an}) generated by the Fourier
coefficients of f is an (imaginary) quadratic field. Then A f is decom-
posed over K into the product
p".IK : BI ~ "'BI'
Table 1a
N I Name I j E(j)6 I K-isogeny I
37 37A 2""' 537 A = 37 + 6v'37 5:A-B
37 37B 21~2113 537B = -29139211(37 + 6v37) 5:B-A
65 65A 173 56SA = -717(65 + v65) 2:A-G
65 65B 173 565B = -7-17(65 + 7v'65) 2:B-D
65 65G 257" 065C = -2773257(65 + 8v'65) 2:G-A
65 65D 2573 065D = -773257(1105 + 137v65) 2:D-B
877 877A 2""'.73 0877A = 57(8149877 + 241326v'877)
104 104A 2 0104A = -2(26 + 5v'26) 5:A-G
104 104B 2 5104B = -(26 + 5y'26) 5:B-D
104 104C _2ti 7193 5104C = 219199719(26 + 5v26) 5:C-A
104 104D -2719" 0104D = 19199719(26 + 5v'26) 5:D-B
157 157A -133 0157A = 513(17157 + 213v'157)
397 397A 11 3 0397A = -11(173397 + 3447v397)
The columns after N and the names are their j-invariants and the
models over K which are obtained by twisting E(j) with v'J. It turns
out that each of them is isomorphic to Shimura's elliptic curve B J for
some f E S2(N, X). Also it is important to observe that their j-invariants
are all perfect cubes, and that the real quadratic fields Q(../N) coincide
with Q( vlj - 123 1), as indicated in the following table:
Table Ib
I Name I j
37A 2u 2"37 37 -..
37B 2""'.211 3 229"139"37 29- 0.139 -0.211.37-"
65A 173 57"13 20.5 -3.7- 0.13- 3.17"_
65B 17" 57"13 20.5 -3.7- 0.13- 3.17"
65G 257" 57"1373" 2.5 '''7 '13 -"73 -0257"
65D 257" 57"1373" 25-"7 -013 -"73 -025~
877A 2""'7" 25"877 5 -0.7" .877-"
104A 2" -2 13 -2 .. 13-"
104B 2" -2 13 -2 .. 13-..
104G -2"719" -2 1319"199" -2 '3.13- 3.19- 0 .199-".719"
104D -2"-719" -2 1319"199" -2 -"13-"19-"199-"-719"
157A -133 -5"157 -20.5-0.130.157 -3
397A 11" -397 -211397 -"
52 K.-J. HASHIMOTO
We shall now state our second main results Theorem 4.1, and Theo-
rem 4.2, which describe Shimura's abelian surfaces as jacobian of curves
belonging to the family CU) with quadratic twists.
Theorem 4.1. Let N = 37,65,877, and f E S2(N,X) be an eigenform
with Kf = Q( A). The'Y/, Af is isogenous over LN to the jacobian
of the following curve C(j) 0 Vr defined over Q, where LN is a cyclic
quartic field given as L N = Q (../ON) with
Table 2a
C(j)@vr C: ry2 = f(X)
37 C(212)@V-I _y2 = X 6 + 18Xs _ 37X4
+1036X 3 - 1369X 2 + 24642X + 50653
37 C(2122113) @ V29.139.211 29139211y2 = 4031X 6 + 18X 5 - 149147X 4
+1036X 3 - 5518439X 2 + 24642X + 204182243
Table 2b
N CU) @vr C: ry2 = f(X)
65 C(173) @ V-2717 -2717y2 _ (X2 + 2X + 65)
x (7 X4 + 130 X 3 - 1170 X2 + 8450 X + 29575)
-2773-257y2 = (X2 -16X + 65)
65 C(2573 ) Q9 V-2773257 x (511 X4 + 8320 X 3 + 66690 X2
+ 540800 X + 2158975)
877 C(2 12 73 ) Q9 V-57 -57y2 = 5X6 + 18X 5 - 4385X 4 + 24556X 3
-3845645 X2 + 13844322 X + 3372630665
Proof. The polynomials f(X) listed above are obtained from F(Xjj)
by a minor change of variable X over Q. Therefore the assertions are
immediate consequences of Theorem 3.1, except for the fields over which
the isogenies are defined. Denote the pure generator of LN over Q( v'N)
by JtJN. Then we see from the argument of Sect.2 that, to prove the
last assertion it suffices to check that, up to a square factor, the quotient
ONA/ON coincides with the twisting factor r of C(j). The quartic Dirich-
let character 1/J, which corresponds to the extension L N / Q is given as
Q-curves with j E Q and jacobian surfaces of GL 2 -type 53
and
385 + v877 2
8877A = -57( 12 ) x 8877.
Thus we see that the factors -1, 29139211, and -57 are exactly the
twisting factors r of C(212), C(212 .2U 3 ), C(2 12 73 ), respectively. Hence
we can conclude that AI is isogenous to JacC(j) .jT/Q over LN.
On the other hand, since (Zj65Z)X ~ (Zj5Z)X x (ZjI3Z)X we see
that there are six cyclic subgroups of (lrder 4 of the Dirichlet characters
defined mod 65. They are divided into three classes according as the
quadratic subfields corresponding to their subgroups of order 2, which
54 K.-J. HASHIMOTO
are Q( J5), Q( Vl3) and Q( V65). Among the two which correspond to
Q( V65), we choose the following one generated by :
N = 65: 1jJ(P) = (H)i- k for p == 2i (mod 5), p == 2k (mod 13).
We have then Ker(1jJ) = (2) (~ (Z/65Z)X) so that the corresponding
quartic field L65 is generated over Q by
12
17:= L (~.
i=1
Thus we see that the factor -2717 coincides with the twisting factor r
of C(173 ). It follows that Af is isogenous to JacC(j) .jT/Q over LN
This completes the proof of Theorem 4.1. 0
The L-function of C(j)/Q or JacC(j)/Q is defined by
Here Ap, Bp are real numbers which are determined by the congruence
zeta function of C(j)p := C(j) Fp as
so that Ap = ap + Qp, Bp = {3p + f3p. We note that ap, {3p are complex
numbers satisfying
apQp = {3pf3p = p, lapl = l{3pl = pl/2.
By the isogeny theorem of Faltings [Fa], the above results imply the
following equality for C := CU) Vr
L(C/Q, 8) = L(f 'I/J, s)L(f 'I/J, s)
= L((BJlk) 'I/J, 8)
= L((AJlQ) 'I/J, s),
which can also be expressed as
Ap(P) = aj(p), Bp(P) = a/(p). (14)
We tabulate some of these quantities for small p.
Table 3a
Table 3b
and
2
( 20+ V397 )
8397A = 211 6 x 8397A.
on which there are 8 candidates for 1/J satisfying the above condition.
They are determined by the values at -1,5, 2:
We choose 1/J for which (c1,c2,c3) = (1,1, -1). Then we have Ker(1/J) =
(5,23) c (Zj208Z)X so that the corresponding quartic field L208 is gen-
erated over Q by
3 5
17 := LL (5i 23J
i=O j=O
It is not difficult to see that the equation for 17 over Q is X 4 + 52X 2 + 26,
and solving this we obtain 17 = J
-26 - 5V26. It follows that L104 =
Q( J(;'iQ4) with 8104 = -26 - 5V26, and we have
Thus we see that the factor -13, -1319199719 coincide with the twist-
ing factors r of C(26) C( -26 7193). It follows that AI is isogenous to
JacC(j) ..;r/Q over LN. This completes the proof of Theorem 4.1. 0
58 K.-I. HASHIMOTO
L(C/Q(V-I),s) = L(f0'ljJ,s)L(/0'ljJ,s)
-1 - -1
x L(f 'ljJ (-), s)L(f 0 'ljJ 0 (-), s)
* *-1
= L((BJlk) 1/;, s)L((BJlk) 1/; (-), s)
*-1
= L((Af/Q) 1/;, s)L((At/Q) 1/; (-), s)
*
Table 5a
29 6A 6,-6 A 4A 4,-4 A
31
37
3
0,0
-3,-3
A
-1
-3
0,0
3,3
+1
-1
41 lOA 10, -10 -A 2A 2,-2 A
43 9A 9,9 A 9A -9,-9 -A
47 7A -7,-7 -A 6 6,-6 +1
13 13V65)
p: (X, Y) 1-+ (X + 5X' (1 + 25X3 )Y
and the quotient curve C65 / (p) is an elliptic curve over K defined by
E65: W2 = U(U - 65)(U + 2 - 2V65). (17)
60 K.-J. HASHIMOTO
13
U:=X+ 5X' W:= ( 1 + 13V65)
25X3 Y,
we see in the same way as in Theorem 3.1 that the equation (16) be-
comes (17). Then we transform (17) into Weierstrass equation W2 =
4U 3 - g2U - g3, with
Moreover, we have
o
To our best knowledge, the curve C65 /Q is the unique example for
which there exists an isogeny over Q from JacC to A f with f E
82(fo(N), X) an eigenform with nontrivial Neben type character X.
6. Construction of C(j)/Q(j)
Here we shall describe the construction of the family {C(j)} given
in (6). We start from the following well known
Lemma 8. For a curve C / K of genus two to form a double cover
of some elliptic curve, it is necessary and sufficient that C has non
hyperelliptic involution.
The curve C can be defined by an equation y2 = F(X) with a separa-
ble polynomial F(X) E K[X] of degree 5 or 6. Then a non hyperelliptic
Q-curues with j E Q and jacobian surfaces of GL2-type 61
_p = ( a b
d): X ~ _p(X) = aX+b ,
c cX+d
we can write
Table 6
Fl+) (X) (b 2 + 2abX + 2a 2x 2 + bcX2) X (b4 + 4ab3X + 5a 2b2x 2 _ b3c)(2
+2a3bX 3 - 2ab 2cX 3 + a4X4 + a2bcX4 + b2c2X4)
FJ+l(X) -ab5 _ + b5 cX _ lOa3b3X2 + 5ab4c)(2 _ lOa4b2 X 3
5a2b4X
+lOa2b3cX3 _ 5a 5 bX4 + lOa3b2cX4 + 8a4bcX 5 + 3a2b2~ X 5
+ b3c3X 5 + a5 cx6
FJ+) (X) a 2b4 + 4a 3b3X _ 2ab4c)( + 6a 4b2X2 _ 8a2b3cX 2 + b4c2 X 2
+4a5 bX 3 _ 12a3b2 cX 3 + 4ab3c2X 3 + 2a6 X 4 _ 5a4bcX4
+9a2 b2c2X4 + b3c3X 4 _ 2a5 cX 5 + 4a3~ X 5 + a4~ X 6
Fl+ ' (x) (-ab+ 2bcX + acX2) x (a 2 b2 + 3a3bX - ab 2c)(
+3a4 X2 _ 2a 2 bcX2 + b2c2 X 2 _ 3a3cX3 + abc2x 3 + a2 c2X4)
62 K.-I. HASHIMOTO
1able 7
Fi-l(x) (-b - 2aX + CX2) X(b 4 + 4ab3 X + 7a 2b2X2 + b3cX 2
+6a3bX 3 + 2ab 2cX 3 + 3a4X4 + 3a 2bcX4 + b2c2X4)
FJ-l(X) (-b - 2aX + CX2)X( -ab4) - 3a 2 b3X + b4 cX - 4a 3b2 X 2
+2ab3cX 2 _. 2a 4bX 3 + 3a 2 b2 cX3 + b3 c2 X 3 _ as X4)
FJ-l(X) (-b - 2aX + CX2) x (a 2b3 + 2a 3b2X - 2ab 3cX
+2a4 bX2 _ 3a2b2cX2 + b3c2X2 _ 4a3bcX 3 - a4 cX4)
From the above result, we obtain a family of genus two curves with 7
free parameters a, b, e, p, q, r, s, which covers elliptic curves by degree
two.
C: y2 = pFf+) (X) + qFJ+) (X) + rFJ+) (X) + sFJ+)(X). (20)
i: (X, Y) f---+
aX +b mymy) '
( eX _ a' (eX _ a)3 (m = a2 + be).
It follows that the quotient curve C / (i) is of genus one, and has a model
over the quadratic extension Q(a, b, e, p, q, r, s, ym) of
Q(a, b, e, p, q, r, s), which is defined by the following equation:
C / (i): w2 = (-2a + 2v1m + eU) x G(U), (21)
G(U) = (2a 3b3p - 6ab4 cp + 6a2 b3eq - 2b4 e2q - 2a3b2cr + 6ab3e2r
- 6a 2 b2 e2 s + 2b3e3s) + (6a 4 b2 p - 9a 2 b3ep - 3b4 e2 p + 13a3b2 eq
+ ab3e2 q - 4a4 ber + 9a2 b2 e2 r + b3e3r - 9a3bc2 s + 3ab2 e3s)U
+ (6a 5 bp + 8a4 beq + 3a2 b2 e2 q + b3e3q - 2a5 cr + 4a 3bc2 r
- 3a4 e2 s + 3a2 be3s)U 2 + (2a 6 p + 3a4 bcp + 3a2 b2 e2 p
+ b3e3p + a5 eq + a4 e2 r + a3e3s)U 3
We note that the RHS cf the above equation is linear in p, q, r, s. The
j-invariant of C / (/,) is written in the form
j(C/(i)) = jo(a, b, e,p, q, r, s) + vlmjl(a, b, e,p, q, r, s),
with jO,jl E Q(a,b,c,p,q,r,s). Now we look for a specialization of our
free parameters a, b, e, p, q, r, s which satisfies jl(a,b,e,p,q,r,s) =
Q-curues with j E Q and jacobian surfaces of GL 2 -type 63
we now obtain the family C(j) and covering map of degree 2: C(j) -+
E(j).
References
[BCDT] C. Breuil, B. Conrad, F. Diamond and R. Taylor, On the modularlityof
elliptic curves over Q, J. Amer. Math. Soc. 14 (2001), 843-939.
[BE] B. C. Berndt and R. J. Evans, The Determination of Gauss Sums, Bulletin
Amer. Math. Soc. 5 (1981), 107-129.
[Co] S. Comalada, Elliptic curves with trivial conductor over quadratic fields,
Pacific J. Math. 144 (1990), 233-258.
[Cr] J. E. Cremona, Modular symbols for rl(N) and elliptic curves with every-
where good reduction, Math. Proc. Camb. Phil. Soc. 111 (1992), 199-218.
[Fa] G. Faltings, Endlichkeitssiitze fUr abelsche Varietiiten ii.ber Zahlkorpem,
Invent. Math. 13 (1983), 349-366; Erratum: 15 (1984), 381.
[HsJ Y. Hasegawa, Q-curves over quadratic fields, Manuscripta Math. 94 (1997),
347-364.
[HHM] Y. Hasegawa, K.Hashimoto and F.Momose, Modularity conjecture for Q-
curves and QM-curves, International J. Math. 10 (1999), 1011-1036.
[HaJ K. Hashimoto, Q-curves of degree 5 and jacobian surfaces of GL2-type,
Manuscripta Math. 98 (1999), 165-182.
[H] H. Hasse, "Vorlesungen iiber Zahlentheorie, zweite Auf.," Springer-Verlag,
Berlin, 1964.
[Ig] J. Igusa, Arithmetic variety of moduli for gunus two, Ann. of Math. 12
(1960),612-649.
64 K.-J. HASHIMOTO
[Ka] T. Kagawa, Elliptic curves with everywhere good reduction over quadmtic
fields, dissertation, Waseda Univ., 1998.
[Ki] M. Kida, Computing Elliptic curves having good reduction everywhere over
quadmtic fields, preprint (1999).
[Pi] R. G. E. Pinch, Elliptic curves with good reduction away from 3, Math.
Proc. Camb. Phil. Soc. 101 (1987), 451-459.
[Py] E. Pyle, Abelian varieties over Q with large endomorphism algebms and
their simple components over Q, dissertation, Univ. of California at Berke-
ley, 1995.
[Ril] K. Ribet, Galois representations attached to eigenforms with Nebentypus,
in "Modular Functions of One Variable V," 17-52, Lecture Notes in Math-
ematics, 601. Springer-Verlag, Berlin/Heidelberg/New York, 1977.
[Ri2] K. Ribet, Endomorphism algebms of abelian varieties attached to newfarms
of weight 2, in "Seminar on Number Theory, Paris 1979-80," 263-276,
Progress in Math., 12. Birkhiiuser, Boston, Mass., 1981.
[Ri3] K. Ribet, Abelian varieties over Q and modular forms, in "1992 Proceed-
ings of KAIST Mathematics Workshop," Korea Advanced Institute of Sci-
ence and Technology, Taejon, 1992, 53-79.
[Ser] J.-P. Serre, "Topics in Galois Theory," Research Notes in Mathematics, 1.
Jones and Bartlett Pub!., 1992.
[Se] B. Setzer, Elliptic curves with good reduction everywhere over quadmtic
fields and having mtional j-invariant, Illinois J. Math. 25 (1981), no 2,
233-245.
[Shl] G. Shimura, "Introduction to the arithmetic theory of automorphic func-
tions," Publications of the Mathematical Society of Japan, 11. Iwanami
Shoten, Publishers, Tokyo, 1971.
lSi] J. H. Silverman, "The Arithmetic of Elliptic Curves," Graduate Texts in
Mathematics, 106. Springer-Verlag, 1986.
[Shi] K. Shiota, On explicit models of Shimum's elliptic curves, J. Math. Soc.
Japan 38 (1986),649-659.
[Wi] A. Wiles, Modular elliptic curves and Fermat's Last Theorem, Ann. of
Math. 141 (1995), 443-551.
Galois Theory and Modular Forms pp 65-76
K. Hashimoto, K. Miyake, and H. Nakamura, Editors
2003 Kluwer Academic Publishers
POINTS DEFINED
OVER CYCLIC QUARTIC EXTENSIONS
ON AN ELLIPTIC CURVE
AND
GENERALIZED KUMMER SURFACES
Masato KUWATA
Kanagawa Institute of Technology
1030 Shimo-Ogino
Atsugi-shi, Kanagawa,
243-0292 Japan
kuwata~gen. kanagawa-it.ac.jp
1. Introduction
Let E be an elliptic curve over a number field k. By the Mordell-Weil
theorem the group E(K) of K-rational points on E, where Klk is a finite
extension of k, is a finitely generated abelian group. We fix Elk once
and for all, and we study the behavior of the rank of the group E(K) as
K varies through a certain family. We are particularly interested in the
family :Fk(G) of all Galois extensions K/k whose Galois group Gal(K/k)
is isomorphic to a prescribed finite group G. In this article we focus on
the case G = Z/4Z.
One case that has been well studied is the case where G = '1./2'1.. If an
elliptic curve Elk is given by the Weierstrass equation y2 = x 3 +Ax+B,
and d is a nonzero element of k, the quadratic twist of E by d, denoted
by Ed, is given by the equation dy2 = x 3 + Ax + B. Since we have the
relation rankE(k(JlD) = rankE(k) + rank Ed(k), studying the behavior
of the rank of E(k( v'd)), as k( v'd) varies through :Fk(Z/2Z), is equivalent
to studying the family {Ed(k) IdE k Xl(kX)2}. In this case it is very
easy to find values of d such that rankEd(k) is positive. Indeed, take
any integer m in k, and write m 3 + Am + B = dl 2 , then for almost all
m, the point (m, l) E Ed(k) is of infinite order.
E : y2 = x 3 + Ax + B. (1)
Lemma 3.1. The function field k(Y) of the quotient surface Y is the
subfield of k(E x E) generated by Xl, X2 and y = yl/Y2, which satisfy
the equation
(2)
Furthermore, the automorphism p acts on keY) by
1
p(XI) = X2, p(X2) = Xl! p(y) = --.
Y
Proof. It is easy to see that the elements Xl, X2 and Y = yl/Y2 are fixed
by the automorphism p2 and thus belong to keY). Also, it is easy to see
that Xl, X2 and y satisfy the equation (2). We thus need to show that
these three elements generate keY). To see this it suffices to show that
the degree of extension [k(E x E) : keY)] is 2. The element YI is a root
of the quadratic equation in T with coefficients in keY):
T2 - x~ - AXI - B = O.
Thus, we have [k(E x E) : keY)] $ 2. The fact that YI and Y2 are
independent in k(E x E) implies that k(E x E) i= keY). Thus, we
conclude [k(E x E) : keY)] = 2. The action of p on Y is given by
e,
Proof. First, we can easily verify that the elements 'f/ and t are fixed
by the automorphism p, and thus belong to k(X). It is easy to see that
k(e, 'f/, y) = k(xl, X2, y) = keY). This shows that keY) is a quadratic
extension of k(e, 'f/, t) obtained by adding y satisfying y2 - ty - 1 = O.
e,
To obtain a relation among 'f/ and t, we first express the equation
e,
(2) in terms of 'f/ and y, and th~'l we eliminate Y using the relation
y2 _ ty - 1 = O. 0
70 M. KUWATA
In other words the triple cover Y' of Y defined by the equation (4)
has a k-rational parametrized curve. The automorphism of p on Y can
Generalized Kummer surfaces 71
1
x'--+x
1
Proposition 4.1. The function field of the quotient X' = Y' j (p) is the
subfield of k(E x E) generated by
1
s = u --,
u
which satisfy the equation
o
We think of the equation (6) as that of a cubic curve in e17-plane over
the function field k(s). This curve has two rational points, one at infinity
and the other coming from P on Y. Calculations show that the latter
has coordinates
(c ) = (-B(S2+ 3 ) -BS(S2+ 3 ))
.. ,11 A' A .
72 M. KUWATA
(c t) _ (-B(S2 + 3) _Bs(s2 + 3) 3 3)
.. ,1], - A ' A's + s (9)
(x,y) = (
-B(U4 +U 2 +1)
A(u2 + 1) , A(u2 + 1)
v) ,
4 2
( -B(U + u + 1) v )
Au 2(u 2 + 1) , Au3(u 2 + 1) .
Proof. We have seen that the point on X given by (9) comes from the
point P on the Kummer surface Y. We obtain four points in the lemma
by taking the preimage of P in E x E. The arguments in 2 show that
the field of definition of these points, k( v), is a cyclic quartic extension
of k(s). This may be seen directly as v satisfies the following quartic
equation in T with k[s]-coefficients
A2(s2 + 4)T4
+ AB(82 + 4)(84 + 38 2 + 1)(A3(82 + 4) + B2(s2 + 3)3)T2
+ B2(A3(s2 + 4) + B2(s2 + 3)3)2 = O. (10)
o
Proof of Theorem 1.1. First we show that the points obtained in Lem-
ma 5.1 are of infinite order. If we let
A3 Bu4 (u 2 + 1? + B 3(u 4 + u 2 + 1)3
d(u) = - A(u2 + 1) ,
E : y2 = (x - c) (x - d) (x + c + d).
Then the equation (3) of X becomes
9c t ) ( t)) '
3et
V{3c
8" ((c+ 2d)2 - t2+4
2 2
( -2c + 2Jt2TI' 1- Jt2TI
(
c 3ct
3c (
-2 - 2Jt2TI' 8" (c + 2d) -
2 9c2t
t2 + 4)
2
( t)) .
1 + Jt2TI
These are defined over the cyclic quartic extension that is the splitting
field of the equation
y2 = X 3 _ + cd + ~)(t2 + 4)X
48(C
+ 16(t2 + 4)3((c - d)2(c + 2d)2(2c + d)2t 2 + 8(c2 + cd + d2))3.
The rank of the Mordell-Wei! group of this elliptic curve over k(t) is 2
or 3 depending on whether or not E has complex multiplication. If E
does not have complex multiplication, then the Mordell-Weil group is
generated by the images of P2 and P3'
References
[1] J. Bertin, Reseaux de Kummer et surfaces de K3, Invent. Math. 93 (1988), 267-
284.
[2] J. Fearnley, Vanishing and non-vanishing of L-series of elliptic curves twisted by
Dirichlet characters, Ph.D. thesis, Concordia University, 2001.
[3] T. Katsura, Generalized Ktl.mmer surfaces and their unirationality in character-
istic p, J. Fac. Sci., Univ. Tokyo, Sect. IA 34 (1987), 1-41.
[4] M. Kuwata, Points defined over cyclic cubic extensions on an elliptic curve and
generalized Kummer surfaces, preprint.
[5] D. E. Rohrlich, The vanishing of certain Rankin-Selberg convolutions, in "Au-
tomorphic forms and analytic number theory (Montreal, PQ, 1989)," Univ.
Montreal, Montreal, QC, 123-133, 1990.
76 M. KUWATA
[6J J. H. Silverman, Heights and the specialization map for families of abelian vari-
eties, J. Reine Angew. Math. 342 (1983), 197-251.
Galois Theory and Modular Forms pp 77-122
K. Hashimoto, K. Miyake, and H. Nakamura, Editors
2003 Kluwer Academic Publishers
THE ABSOLUTE
ANABELIAN GEOMETRY OF
HYPERBOLIC CURVES
Shinichi MOCHIZUKI
Research Institute for Mathematical Sciences,
Kyoto University,
Kyoto 606-8502 Japan
motizukilkurims.kyoto-u.ac.jp
Contents:
Introduction
o. Notations and Conventions
1. Review of Anabelian Geometry
1.1. The Anabelian Geometry of Number Fields
1.2. The Anabelian Geometry of p-adic Local Fields
1.3. The Anabelian Geometry of Hyperbolic Curves
2. Reconstruction of the Logarithmic Special Fiber
Appendix: Terminology of Graph Theory
Introduction
Let XK be a hyperbolic curve (cf. O below) over a field K of char-
acteristic O. Denote its algebraic fundamental group by IIxK. Thus, we
have a natural surjection
[received: May 26, 2002; accepted in revised form: February 20, 2003]
78 S. MOCHIZUKI
endowed with the product topology (of the various copies of Zp equipped
with their usual topology). Thus, M is a Hausdorff topological group.
For n E N, write pn(M) ~ M for the sub-topological group given by
the product of the copies of Zp indexed by m ~ n. Write AutF(M) for
the set of automorphisms of the topological group M that preserve the
filtration P*(M) on M. If a E AutF(M), then for every n E N, a in-
duces a continuous homomorphism an: M/pn(M) -+ M/pn(M) which
is clearly surjective, hence an isomorphism (since M / pn (M) is profinite
and topologically finitely generated - cf. [FJ] , Proposition 15.3). It
thus follows that a induces an isomorphism pn(M) ~ pn(M), hence
that the inverse of a also lies in AutF(M). In particular, we conclude
that AutF(M) is a group. Equip AutF(M) with the coarsest topology for
which all of the homomorphisms AutF(M) -+ Aut(M/pn(M)) (where
Aut(M/pn(M)) e:! GLn(Zp) is equipped with its usual topology) are
continuous. Note that relative to this topology, AutF(M) forms a Haus-
dorff topological group. Now define G to be the semi-direct product of
M with AutF(M) (so G is a Hausdorff topological group), and H to be
II pn. Zp ~ II Zp = M
nE]\j ]\j
Definition 0.1. (i) Let G be a profinite group. Then we shall say that
G is slim if the centralizer ZG(H) of any open subgroup H ~ G in Gis
trivial.
(ii) We shall say that a continuous homomorphism of profinite groups
G -+ H is relatively slim if the {'(mtralizer in H of the image of every
open subgroup of G is trivial.
80 S. MOCHIZUKI
Suppose, moreover, that this sequence splits over some open subgroup
of G, and that ~ is topologically finitely generated. The following result
was related to the author by A. Tamagawa:
Absolute anabelian geometry 83
[G: G'] . [Fp : Qp] = dimQp ((II,)ab z Qp) - diml(b ((IT,)ab z Ql)
n
(where L\' ~f L\ II'; G' ~f II'I L\'; p is the rational prime that p diVides;
and 1 is any prime number distinct from p). (In fact, p may also be
characterized as the unique prime number for which the difference on
the right is nonzero for infinitely many prime numbers l.) In particular,
the subgroup L\ ~ II may be characterized as the intersection of those
open subgroups II' ~ II such that:
(i.e., such that [G : G'] . [Fp : Qp] = [II : II'] . ([G : G] . [Fp : QpJ)).
Proof. Assertion (i) is a formal consequence of Theorem 1.1.2.
Now we turn to assertion (ii). Denote by K' the finite extension of
Fp determined by G'. Then:
[G : G'] . [Fp : Qp] = [K' : Qp]
Next, let us observe that we have an exact sequence
0-+ Im(L\') -+ (II')ab -+ (G,)ab -+ 0
(Kt)" .::+ G~
(where the "1\" denotes the profinite completion of an abelian group;
"x" denotes the group of units of a ring; and "ab" denotes the maximal
abelian quotient of a topological group). In particular, G~ fits into an
exact sequence
(where" .::+ " denotes the morphism induced by the valuation on Kt)
by considering the Teichmiiller representatives of elements of kt and
86 S. MOCHIZUKI
~ def ~
(where'll' = 'll/'llp). Finally, we denote the cyclotomic character of GK;
by:
Then:
(i) We have: Pi = P2. Thus, (in the remainder of this proposition and
its proof) we shall write p ~f Pi = P2.
(ii) a induces an isomorphism IKl ~ IK2 between the respective inertia
subgroups ofGK!, GK2'
(iii) The isomorphism aab : GW 1 ~ GW
2 induced by a preserves the
images Im( O~), Im( kt), Im( Kt) of the natural morphisms discussed
above.
(iv) The morphism induced bya between the respective quotients
G~/Im(O~) preserves the respective Frobenius elements.
(v) [Kl : Qp] = [K2 : Qp]; [kl : lFp ] = [k2 : lFp ]. In particular, the
ramification indices of K 1 , K2 over Qp coincide.
(vi) The morphisms induced by a on the abelianizations of the various
open subgroups of the G Ki induce an isomorphism
J,LQ/Z (K 1) ~ J,LQ/Z (K 2)
which is Galois-equivariant with respect to a. In particular, a preserves
the cyclotomic characters Xi.
(vii) The morphism H2(K1 ,J,LQ/z(Kl)) ~ H 2(K2,J,LQ/z(K2)) induced
by a (cf. (vi)) preserves the "residue map"
2 - ~
H (Ki , J,LQ/z(K i )) -t Q/'ll
of local class field theory (cf. fSerre2), 1.1).
Proof. Property (i) follows by considering the ranks of G~ over various
Zl (cf. Lemma 1.1.4, (ii)). Property (iii) for Im(k;) follows from the
Absolute anabelian geometry 87
(where "I - I" denotes the underlying set of a scheme) for the set of
"all arithmetic primes of Q". If v E 2tQ is equal to (0) E ISpec(Z)I
(respectively, (0), set Gv ~f GQ (respectively, Gv ~f Gal(CjlR)). If
v E ISpec(/l)I ~ 2lQ is equal to the prime determined by a prime number
c' Jf
p, set C v = CQp.
Proposition 1.2.2 (Intrinsicity of Arithmetic Types). For i =
1,2, let Vi E 2tQ. Suppose that Hi is an open subgroup of G Vi ' Then
Hi e:! H2 implies Vi = V2.
for short. Note that the "etale monoid" that defines the log structure
on k~Og "admits a global chart" in the sense that it is defined by a single
constant monoid (in the Zariski topology of Spec(ki )) MklOg , which fits
t
into a natural exact sequence (of monoids):
1~ kt ~ Mkiog ~ N ~ 0
t
Then:
(i) We have: Ikil = Ik21i PI = P2. Thus, (in the remainder of this
proposition and its proof) we shall write p ~f PI = P2.
(ii) A preserves the subgroups Im(JLz(ki )) ~ G~g as well as the Frobenius
elements in the quotients G~~g lIm (J),z (k i ) ) .
(iii) Assume further that the morphism
of log schemes, compatible with the natural action of G~g on (k!og) . . . (for
i = 1,2), in which the vertical morphisms are the natural morphisms,
and the horizontal morphisms are isomorphisms for which the mor-
phisms on the underlying schemes are those induced by (j.
Proof. Property (i) follows by observing that Pi is the unique prime num-
ber such that 1 plus the cardinality of the torsion subgroup of (G~~g)ab
- i.e., the cardinality of k i - is equal to a power of Pi. Property (ii)
follows by thinking of the quotients G~g jlm(Jlz(ki )) as the quotients of
G~~g obtained by forming the quotient of (G~~g)ab by its torsion subgroup,
and then using that the Frobenius element is the unique element that
acts on the abelian group Im(Jlz(ki )) via multiplication by Ikil = Ik2 1.
As for (iii), the morphism o-log is the unique logarithmic extension of 0-
whose induced morphism UI ~ U2 is the morphism obtained (cf. Propo-
sition 1.2.3, (ii)) by considering the morphism induced by A between the
Hl{i,Jlz(ki )) = kr-torsors Hl(G~~g,Jlz(ki))[11 (for i = 1,2) - which
are preserved by A, by (ii). Note that here we also use (cf' (ii)) that
the Frobenius element E Z is preserved, since this element is necessary
to ensure the compatibility of the identifications
In particular, by pulling back this exact sequence, one may recover the
exact sequence 1 - ~x - IIx - GK - 1 entirely group-theoretically
from the outer Galois representation G K - Out( ~x).
One example of the sort of "K" under consideration is the case of a
"sub-p-adic field":
IsomK(X, Y) - Isomg~(~x,~y)
is bijective.
Thus, by combining The0rems 1.1.3; 1.3.4; Lemma 1.1.4, (i), we ob-
tain the following:
Corollary 1.3.5 (Absolute Grothendieck Conjecture over Num-
ber Fields). Let K, L be number fields; X (respectively, Y) a hy-
perbolic curve over K (respectively, L). Denote by Isom(X, Y) the set
of scheme isomorphisms X ~ Y; by IsomOut(IIx, IIy) the set of outer
isomorphisms between the two profinite groups in parentheses. Then the
natural map
Isom(X, Y) _ IsomOut(IIx,IIy)
is bijective.
ax : IIeX1)Kl ~ II(x2)K2
of profinite groups.
Lemma 1.3.8 (Group-Theoreticity of Arithmetic Quotients).
The isomorphism ax is necessarily compatible with the quotients
IIexi)Ki ~ GKi .
Proof. This follows formally from Lemmas 1.1.4, 1.1.5. 0
Thus, Lemma 1.3.8, Proposition 1.2.1, (v), imply that ql = q2.
Lemma 1.3.9 (Group-Theoreticity of the Cusps). The types
(gi, ri) of the hyperbolic curves (Xi)Ki coincide. In particular, for any
prime number I, ax maps inertia groups of cusps in ~Xl (respectively,
~~) to inertia groups of cusps in ~X2 (respectively, ~ ~2)'
Proof. Whether or not ri = 0 may be determined by considering whether
or not ~Xi is free as a profinite group. When ri > 0, one may compute ri
Absolute anabelian geometry 95
by considering the weight- i.e., the number w such that the eigenvalues
of the action are algebraic numbers of archimedean absolute value q"t -
of the action of the Frobenius element E Gkj (cf. Proposition 1.2.1, (iv
as follows: First, we observe that (as is well-known) the weights of the
action of Frobenius on A~ Ql (where 1 is a prime number distinct
from Pb P2) belong to the set {O, 1, n.
(Here, we compute weights by
choosing a lifting of the Frobenius element E Gki to GKi' Since (as
is well-known) the action of the inertia subgroup of GKt on A~ Ql
is quasi-unipotent (Le., unipotent on an open subgroup of this inertia
subgroup), it follows immediately that the weights are independent of
the choice of lifting.) Now if M is a Ql-vector space on which Frobenius
acts, let us write
(where the fourth equality follows from the auto-duality (up to a Tate
twist) of ~~~ Ql; and the second and fifth equalities follow from the
fact that Frobenius acts on Ii with weight 1). On the other hand, the
quantities appearing in the final line of this sequence of equalities are all
"group-theoretic". Thus, we conclude that r1 = r2. Since diIDQz (A~
Ql) = 2gi - 1 + ri (respectively, = 2gi ) when ri > 0 (respectively, when
ri = 0), this implies that gl = 92, as desired.
Finally, the statement concerning preservation of inertia groups fol-
lows formally from the fact that "ri is group-theoretic" (by applying this
fact to coverings of Xi). Indeed, let 1 be a prime number (possibly equal
to P1 or P2). Since ri may be recovered group-theoretically, given any
finite etale coverings
Zi ---. Vi ---. Xi
such that Zi is Galois, of degree a power ofl, over Vi, one may determine
group-theoretically whether or not Zi ---. Vi is "totally ramified at a
single point of Zi and unramified elsewhere", since this condition is easily
verified to be equivalent to the equalitv:
96 S. MOCHIZUKI
(ii) some positive power of the character of Gkt arising from the deter-
minant of the prime-to-p portion of (~~a;ne)ab coincides with some
positive power of the cyclotomic character.
(Here, we note (ii) is sufficient to deal with both the "l-primary portion"
of Z ~ Gki (for 1 i= p) and the lip-primary portion" of Z ~ Gki') 0
Remark 1.3.10.1. Property (ii) in the proof of Lemma 1.3.10 was sub-
stantially simplified by a suggestion made to the author by the referee.
where the vertical morphisms are the natural ones, and the horizontal
morphisms are assumed to be isomorphisms. Note that by Proposition
1.2.1, (i), this already implies that Pl = P2; set P ~ Pl = P2. That
such a diagram necessarily arises "geometrically" follows from the main
theorem of [Mzk6] (cf. Theorem 1.3.4) - if one assumes that aK arises
geometrically (i.e., from an isomorphism of fields Kl ~ K2)' In this ,
we would like to investigate what one can say in general (i.e., without
assuming that aK arises geometrically) concerning this sort of commu-
tative diagram. In some sense, all the key arguments that we use here
are already present in (Mzk4j, except that there, these arguments were
applied to prove different theorems. Thus, in the following discussion,
we explain how the same arguments may be used to prove Theorem 2.7
below.
Let us denote the type of the hyperbolic curve (Xi)K; by (gi, ri). Also,
we shall denote the geometric fundamental group by
II(Xi)Ki - II~jKt
whose finite quotients correspond to (subcoverings of) admissible cover-
ings of the result of base-changing (Xi)OK. to rings of integers of tamely
ramified extensions of Ki. In particular, we have a natural exact se-
quence:
1 ~ ~adm ~ IIadm ~ G10g ~ 1
Xi (Xt}Ki ki
(where ~~m is defined so as to make the sequence exact). Moreover,
II~jKi itself admits a natural quotient (cf. [Mzk4], 3)
II _ IIadm _ net
(Xt}Ki (Xi)Ki (Xi)Ki
whose finite quotients correspond to coverings of (Xi)Ki that extend to
finite etale coverings of (Xi)OK. which are tamely ramified at the cusps.
In particular, we have a natural exact sequence:
between the "dual semi-graphs with compact structure" (i. e., the usual
dual graphs r (Xi)ki' together with extra edges corresponding to the cusps
- cf the Appendix) of the special fibers (Xi)ki of (Xi)OKi. Moreover,
aX,rc is functorial with reS1)ect to passage to finite etale coverings of the
(Xi)Ki
Proof. Indeed, if one foryets about the "compact structure", then this is a
formal consequence of Lemma 1.3.9 [which shows that ax preserves the
quotient II(XdKi - I1(Yt)KJ; Lemma 2.2, (ii), and the theory [concerning
the ri = 0 case) of [Mzk4), 1 - 5, summarized in [Mzk4), Corollary 5.3.
Even though elK is not necessarily the identity in the present discussion,
the only properties of elK that are necessary for the proof of [Mzk4],
Corollary 5.3 are Proposition 1.2.3, (i)j Proposition 1.2.4, (ii) (of the
present paper). That is to say, the point is that the Probenius element is
preserved, which means that the weight filtrations on l-adic cohomology
(where 1 is a prime distinct from p) are, as well.
102 S. MOCHIZUKI
The compatibility with the "compact structure" follows from the pro-l
(where 1 =1= p) portion of Lemma 1.3.9, together with the easily verified
fact (cf. the proof of Lemma 1.3.7) that the inertia group of a cusp in
Ki is contained (up to conjugacy) in the decomposition group of a
dm)
rra(X
unique irreducible component of (Xi)ki' 0
Next, we would like to show that ax is necessarily "of degree 1". This
is essentially the argument of [Mzk4J, Lemma 9.1, but we present this
argument in detail below since we are working here under the assumption
that aK is arbitrary. For simplicity, we assume until further notice is
given that:
(*CSSN) ri = 0 [i.e., the curves are compact] and, moreover,
the special fiber (Xi)ki of (Xi)OK', is singular and sturdy (cf.
[Mzk4J, Definition 1.1) - i.e., the normalizations of all the
geometric irreducible components of (Xi)ki have genus ~ 2
- and has a noncontractible dual semi-graph f(Xi)ki - i.e.,
this semi-graph is not a tree.
(These conditions may always be achieved by replacing (Xi)Ki by a finite
etale covering of (Xi)K i - cf. [Mzk4], Lemma 2.9; [Mzk4], the first two
paragraphs of the proof of Theorem 9.2.)
We begin by introducing some notation. Write:
TJ: ~f Aab.
Vi - ~Xi'
H def Hsing (r C '71)
i = 1 (X;)k i ' /U = Hsing
1
(
r(Xi)k i '
Z)
Here, the injection ~(t)Ki '-+ ~(~i)Ki is the injection induced by pull-
back via (Zi)Ki ~ (Xi)Ki and Poincare duality (or, alternatively, by the
"Verlagerung") .
Proof. Note that since both conditions (i), (ii) are group-theoretic, they
may be realized simultaneously for i = 1,2. Now to satisfy condition
(i), it suffices - cf., e.g., the discussion in [Mzk4J, 8, of "Vo", "Voord"
- to choose the covering so that the "new parts" of the Jacobians of
the irreducible components of the special fiber of (Zi)OKi are all ordi-
nary. That this is possible for I sufficiently large is a consequence of
a theorem of Raynaud (as formulated, for instance, in [Tarnal], Lemma
1.9). Then let us observe that, so long as we choose the etale covering
(Zi)OK , ~ (Xi)OK , so that it is nontrivial over every irreducible com-
ponent of (Xi)k i , condition (ii) is automatically satisfied: Indeed, if we
write hi ~f rkz(Hi ) - so hi > 0 since rc(x.) is assumed to be non con-
ki
tractible - then to assert that condition (ii) fails to hold - i.e., that
there are "no lIP.W cycles in the dual graph" - is to assert that we have
an equality of Euler characteristics:
(L gZ,j) + hi - 1 = 1{ (L gX,j) + hi - 1}
j j
(where the first (respectively, second) sum is the sum of the genera
of the irreducible components of the geometric special fiber of (Zi)OK .
(respectively, (XdOK.))' But, since
L (gZ,j -1) = L l(gx,j -1)
j j
such that the quotient (Hi)Z -- (HrW)z is defined over Z, Le., arises
from a quotient Hi -- Hrw. (Indeed, this last assertion follows from
the fact that the quotient Hi -- Hr w arises as the cokernel (modulo
torsion) of the morphism induced on first singular cohomology modules
by a finite (ramified) covering of graphs - i.e., the covering induced on
dual graphs by the covering (Zi)ch -+ (Xi)OK of Lemma 2.4.)
On the other hand, the cup product on gro~p cohomology gives rise
to a nondegenerate (group-theoretic!) pairing
def ~ ~
(where we think ofViv = Hom(Vi,Z) as Hl(~Xi'Z)), hence, by restric-
tion to (Vinew) v ~ Vi v , a pairing
which is still nondegenerate (over Q), since it arises from an ample line
bundle - namely, the restriction of the polarization determined by the
theta divisor on the Jacobian of (Xi)Ki to the "new part" of (Xi)Ki'
This pairing determines an "isogeny" (Le., a morphism which is an iso-
morphism over Q):
which (as one sees, for instance, by applying the fact that JLZ(Ki)GK i =
0) maps into the kernel of the surjection Vinew -- (HrW)z.
Next, let us observe that the kernel Ni of the surjection of unramified
GK;-modules (Le., Gki-modules)
Vietl - - (HrW)zp
satisfies:
Absolute anabelian geometry 105
Moreover:
Lemma 2.5. Assume that (Xi)c'K arises as some "(ZdOK" as in
Lemma 2.4. T h e n : ' ,
(i) (Positive Rational Structures) The image of (Hrw)2 under
the morphism (HrW)~2 -+ (MnQ forms a rank one Z-submodule of
(MnQ' Moreover, for any two nonzero elements a, b E Hi, (a, a)i dif-
fers from (b,b)i by a factor in Q>o (i.e., a positive rational number).
In particular, this image determines a i(ho-structure" on (MnQ, i.e.,
a Q-rational structure on (MiV)Q' together with a collection of genera-
tors of this Q-rational structure that differ from one another by factors
in Q>o. Finally, this Q>o-structure is the same as the Q>o-structure
on M/ determined by the first Chern class of an ample line bundle on
(Xi)Ki in Mi = H2(DoXi,J-tz(Ki)).
(ii) (Preservation of Degree) The isomorphism
natural surjection
IIIi ---++ Gk i
whose kernel is the geometric (tame) fundamental group 7l'iame ((Ii )k) of
Ii
Finally, we observe that it makes sense to speak of Ii and I2 as cor-
responding via ax. Indeed, by Lemma 2.3, ax induces an isomorphism
between the pro-graphs determined by the (XfOg)ki' Thus, the Ii may
be said to correspond via ax when the vertices that they determine in
these pro-graphs correspond. Moreover, when the Ii correspond via a~,
it follows (by considering the stabilizer of the vertex determined by Ii)
that ax induces ~ bijection between the respective decomposition groups
Vi in II(~JKi of Ii, as well as between the respective inertia subgroups
of these decomposition groups Vi (which may be characterized group-
n
theoretically as the centers of the subgroups Vi Ker(n~jKi ---++ Gki)'
since 7l'iame ((Ii )k) is center-free - cf. Lemma 1.3.10). Thus, in sum-
mary, ax induces a commutative diagram:
We are now ready (cf. [Mzk4], 7) to apply the main result of [Tarnal].
This result states that commutative diagrams as above are in natural
bijective correspondence with commutative diagrams
Il '"
--+ I2
1 '"
1
Ii --+ I2
lying over commutative diagrams
kl '"
--+ k2
1 '"
1
kl --+ k2
(cf. Theorem 1.3.11). In particular, these commutative diagrams induce
an isomorphism
a line bundle of degree 1) on the left to the element "I" on the right.
(Indeed, this follows from the fact that the morphism It ~ I2 appearing
in the above commutative diagram is an isomorphism, hence of degree
1.) Note that the isomorphism I-'z,(k t ) ~ I-'z,(k2) that we use here is
that obtained from the commutative diagram above, i.e., that provided
by Theorem 1.3.11.
Lemma 2.6 (Compatibility of Isomorphisms Between Roots of
Unity). Assume that (Xi)OK_, arises as some U(Zi)OK_"
, as in Lemma
2.4. Then the following diagmm
I-'Z!(k!)
I
.J..
I-'Z,(Kl)
- in which the vertical morphisms are the natural ones (obtained by con-
sidering Teichmiiller representatives); the upper horizontal morphism is
the morphism determined by Theorem 1.3.11; and the lower horizon-
tal morphism is the morphism determined by Proposition 1.2.1, (vi) -
commutes.
Proof. Indeed, the diagram in the statement of Lemma 2.6 induces a
diagram:
while
110 S. MOCHIZUKI
'"
-+
(where we note that Lemma 2.6 also implies - when translated into
the terminology of [Mzk4], 7 - that the "RT-degree" associated to this
commutative diagram is 1, as is necessary for the application of [Mzk4],
Theorem 7.2). In particular, we conclude that the above commutative
diagram of fundamental groups arises geometrically from a commutative
diagram:
'"
-+
'"
-+
reduction over OKi . Denote the resulting "stable model" of (Xi)Ki over
OKi by (Xi)OK' , Assume that we have chosen basepoints of the (Xi)Ki
(which thus induce basepoints of the Ki). Then every isomorphism of
profinite groups II(Xl)K 1 2:; II(x2)K2 induces commutative diagrams:
where the commutative diagram on the left lies over the commutative dia-
gram on the right (which is as in Proposition 1.2.4, (iii)). Here, we equip
Spec(OKJ (respectively, Spec(ki ); (Xi)OKo; , (Xi)k) with the log structure
determined by the closed point (respectively, determined by restricting
the log structure on Spec( OKJ; determined by the monoid of functions
invertible on the open subscheme (Xi)Ki; determined by restricting the
log structure on (Xi)OK) and denote the resulting log scheme by O~;
(respectively, k!og; (Xl og )oKi ; (Xl og )ki); the vertical morphisms in the
above commutative diagrams of log schemes are the universal coverings
induced by the various basepoints chosen.
Proof. First, note that the additional assumptions that were used in
the course of the above discussion - e.g., "( *CSSN),,; the assumption
that (Xi)OKo, arise as some "(Zi)OK" , as in Lemma 2.4 - were applied
only to show that the hypotheses of Proposition 1.2.4, (iii) (and [Mzk4j,
Theorem 7.2) are satisfied. Moreover, we observe that although [Mzk4J,
Theorem 7.2, is only stated in the proper singular case, it extends imme-
diately to the affine singular, as well as affine nonsingular, cases. Thus,
(cf. Remark 2.5.1; the discussion surrounding "( *CSSN),,) one concludes
that - except when (XdK; is proper, with good reduction - one may
reconstruct the logarithmic special fiber in a functorial fashion (Le., with
respect to finite etale coverings of the (Xi)K;), as desired.
In the case that (Xi)Ki is proper, but has good reduction over OKi' we
may still reconstruct its logarithmic special fiber (despite the fact that
[Tarnal], Theorem 4.3, is only stated in [Tarnal] for affine hyperbolic
Absolute anabelian geometry 113
(Le., the Di-invariants of the sub algebra Og;1 ~ OC;, where we use that
IIil is a power ofp). By applying the functoriality with respect to finite
etale coverings of (Xi)K; observed in the discussion immediately preced-
ing the statement of Theorem 2.7, we conclude that this construction
of (Xi)k; is independent of the choice of (Zi)Ki , Gi , and itself functorial
with respect to finite etale coverings of (Xi)K;.
This completes our reconstruction of the logarithmic special fibers of
the (Xi) K;, in a fashion that is functOrial with respect to finite etale cov-
erings of the (Xi)K;. Thus, we conclude, in particular, (from this func-
toriality, applied to covering transformations; the slimness of Lemma
2.2, (i)) that the morphism induced on admissible fundamental groups
by the isomorphism constructed between logarithmic special fibers coin-
cides with the original given morphism between admissible fundamental
groups. This completes the proof of Theorem 2.7. 0
114 S. MOCHIZUKI
Remark 2.7.1. Given data as in Theorem 2.7, one may consider the
outer Galois representation
GK; - Out(b.x;)
which is known to be injective if ri > 0 (cf. Theorem 1.3.6). Thus, at
least in the case ri > 0, it is natural to ask:
What is the commensurator of Im(GK;) in Out(b.x;)?
Although Theorem 2.7 does not give a complete explicit answer to this
question, it tells us that, at any rate, elements of this commensura-
tor (which define isomorphisms of the sort that are treated in Theorem
2.7) preserve the logarithmic special fiber. In particular, (although one
does not know whether or not elements of this commensurator induce
"self-isogenies" of K i , i.e., are "geometric") one obtains that elements
of this commensurator do induce "self-isogenies" of k!og. [Here, by a
"self-isogeny of an object", we mean an isomorphism between two finite
etale coverings of the object.] Moreover, since it follows from Theorem
A of [Mzk6] (cf. Theorem 1.3.4, Remark 1.3.6.2) that the centralizer of
Im(GK;) in Out(b.x;) consists precisely of those (finitely many) auto-
morphisms that arise geometrically (i.e., from automorphisms of (Xi)K i ),
it follows that a "self-isogeny" of G Ki induced by an element of this com-
mensurator corresponds to (up to finitely many well-understood pos-
sibilities) an essentially unique element of this commensurator. This
motivates the point of view that:
The "self-isogenies" of GKi defined by elements of this com-
mensurator - which we shall refer to as quasi-conformal
self-isogenies of GK, - are natural objects to study in their
own right.
The reason for the choice of the terminology "quasi-conformal" is that
those self-isogenies that are "of geometric origin" - i.e., "conformal"-
are (by the main theorem of [Mzk5]) precisely those which preserve the
higher ramification filtration, which is closely related to the "canonical
p-adic metric" on the local field in question. Thus, quasi-conformal self-
isogenies do not preserve the "metric (or conformal) structure" but do
preserve the "logarithmic special fiber" which one may think of as a sort
of p-adic analogue of the "topological type" of the objects in question.
Remark 2.7.2. Note that isomorphisms
klog '" k10g
1 - 2
(such as those arising from "quasi-conformal isomorphisms" GKI ~ GK2
as in Theorem 2.7) need not be "geometric" from the point of view of
Absolute anabelian geometry 115
Acknowledgements
I would like to thank A. Tamagawa for the time that he so generously
shared with me: in numerous stimulating discussions, and especially for
the following: (i) informing me of the arguments used to prove Lemma
1.1.4 in 1.1j (ii) explaining to me the utility of a theorem of Raynaud in
116 S. MOCHIZUKI
the context of 2 (cf. Lemma 2.4). Also, I would like to thank F. Dort,
as well as the referee, for various useful remarks.
b* : Cv ~f B(Gv ) -+ Ce ~f B(Ge )
Here, "v" (respectively, "e") ranges over the vertices (respectively, edges
of verticial cardinality 2) of r; Sv is an object of Cv ; and Ce : bHSVl) ~
b2(SV2) (where e = {bI, b2 }; Vi ~f (e(b i ), for i = 1,2) is an isomorphism
in Ce . Morphisms between such collections of data are defined in the
evident way. One then verifies easily that this category CG is indeed a
Galois category, as desired.
118 S. MOCHIZUKI
II~
associated to the Galois category of finite etale coverings of X which are
tamely ramified at the cusps. In particular, we have a natural surjection
II~m _ II~.
discussion, we shall use the notation "Hi (-)" (respectively, "Ht (-)")
to denote the j-th etale cohomology module (respectively, j-th etale co-
homology module with compact supports - cf. [Milne], Chapter III,
Proposition 1.29; Remark 1.30) with coefficients in 'Lz.
If v is a vertex of r x, write X v for the normalization of the corre-
sponding irreducible component of X, so X~ = X' x xXv. Then we have
a natural ''push-forward'' isomorphism
H;(X~) ~ H2(Xv)
H2(X) ~ EB H2(Xv)
v
EB H;(X~) ~ H2(X)
v
v
of the natural inclusion of 8, direct summand with the inverse of the
isomorphism H2(X) ~ EDv H2(Xv) determined by the restriction mor-
phisms.
Finally, let us observe that if X is sturdy (cf. [Mzk4], Definition 1.1) -
i.e., every Xv has genus ~ 2 - then the natural morphisms from profi-
nite group cohomology to etale cohomology give rise to a commutative
Absolute anabelian geometry 121
diagram
References
[FC) G. Faltings and C.-L. Chai, "Degenerations of Abelian Varieties," Springer-
Verlag, 1990.
[FJ] M. Fried and M. Jarden, "Field Arithmetic," Springer-Verlag, 1986.
[HRJ W. Herfort and L. Ribes, Torsion elements and centmlizers in free products
0/ profinite groups, J. Reine Angew. Math. 358 (1985), 155-161.
[Katol] K. Kato, Logarithmic Structures of Fontaine-Illusie, in "Proceedings of the
First JAMI Conference," 191-224, Johns Hopkins Univ. Press, 1990.
[Kato2J K. Kato, Toric Singularities, Amer. J. Math. 116 (1994), 1073-1099.
[KnudJ F. F. Knudsen, The Projectivity of the Moduli Space of Stable Curves, II,
Math. Scand. 52 (1983), 161-199.
[Mtmo) M. Matsumoto, Galois representations on profinite bmid groups on curves,
J. Reine Angew. Math. 474 (1996), 169-219.
[Milne) J. S. Milne, "Etale Cohomology," Princeton Mathematical Series, 33.
Princeton University Press, 1980.
[MzklJ S. Mochizuki, A Theory of Ordinary p-adic Curves, Publ. of RIMS 32
(1996),957-1151.
[Mzk2J S. Mochizuki, "Foundations of p-adic Teichmillier Theory," AMSjIP
Studies in Advanced Mathematics, 11. American Mathematical Soci-
ety jInternational Press, 1999.
[Mzk3J S. Mochizuki, The Geometry of the Compactification of the Hurwitz
Scheme, Publ. of RIMS 31 (1995), 355-441.
[Mzk4) S. Mochizuki, The Profinite Grothendieck Conjecture for Closed HyperboliC
Curves over Number Fields, J. Math. Sci. Univ. Tokyo 3 (1996), 571-627.
[Mzk5) S. Mochizuki, A Version 0/ the Grothendieck Conjecture for p-adic Local
Fields, The International Journal of Math. 8 (1997), 499-506.
[Mzk6) S. Mochizuki, The Local Pro-p Anabelian Geometry of Curves, Invent.
Math. 138 (1999), 319-423.
[Mumf] D. Mumford, "Abelian Varieties," Oxford Univ. Press, 1974.
[NakaI) H. Nakamura, Galois rigidity of pure sphere bmid groups and profinite
calculus, J. Math. Sci. Univ. Tokyo 1 (1994), 71-136.
[Naka2) H. Nakamura, Galois rigidit't) 'J/ profinite fundamental groups [translation
of Sugaku 47 (1995), 1-17J, Sugaku Expositions 10 (1997), 195-215.
122 S. MOCHIZUKI
Takehito SHIINA
Mathematical Institute
Tohoku University,
Sendai Miyagi, 980-8578, Japan
s99m 17(Dmath. tohoku.ac.jp
History
The inverse Galois problem which asks whether every finite group
occurs as Galois group over Q is an unsolved problem originally proposed
by Hilbert [8] more than 100 years ago. The first approach succeeded in
the region of class field theory in the middle of the 20th century: Scholz
and Reichardt solved the problem affirmatively for nilpotent groups [15]
and Safarevic extended their result to solvable groups [18]. In contrast,
few Galois realizations were known for non-solvable groups until the
1970's except for the symmetric groups Sn and the alternating groups
An, which had already been realized by Hilbert. The first attack of
non-solvable groups was carried out in the 1970's and many important
results have been obtained for such groups from then on. For example,
using the p-adic Galois representation attached to cusp forms of weight
24, Ribet [17] realized the projective special linear group PSL2(P2) as
Galois group over Q in the case 144169 is non-square modulo p. Recently,
this result was widely extended by Reverter-Vila [16] and Dieulefait-Vila
[3]. Moreover, studying the Jacobian of a plane curve of genus 2, Mestre
[13] showed that the field generated by the p-division points realizes
PSL2(P2) regularly over Q for p == 2 (mod 5). Here a group G is said to
be realized regularly over Q if there exists a Galois extension of a rational
function field Q(T) = Q(tl, ... , t r ), regular over Q, with Galois group
G. If G occurs regularly over Q, then Hilbert's irreducibility theorem
assures that there exist infinitely many linearly disjoint number fields
(i) n = 1
p= 2,3,5 (Hilbert, 1892)
(+) = -1, 31 E {2,3, 7} (Shih, 1974)
(!) =-1 (Malle, 1991)
(ii) n = 2
p= 2,3 (Hilbert, 1892)
(!) =-1 (Feit, 1984 / Mestre, 1987)
p=5 (Przywara, 1988)
(iii) n = 3
p=2 (Matzat, 1987)
over Q for odd primes p . 1 (mod 24) and integers n ~ 1. His strategy
is to verify the existence of a rigid braid orbit in PSP2n (P2) by apply-
ing the middle convolution functor to certain tuples of GL2(P2) (see his
paper [2] in this volume).
The content of this paper is organized as follows. The first two sec-
tions aim to present known results with examples of expository nature:
In Section 1, we formulate a system of definitions and notations to state
the basic rigidity theorem and in Section 2, we review the braid orbit
theorem which is the main tool of our proof of Main Theorem. In Sec-
tion 3, some group-theoretic properties of PEL 2(P2) are collected, and
the use of the braid orbit theorem will be exhibited in some easy cases.
In Section 4, we construct a certain nice braid orbit in PEL2(P2), and
settle the proof of Main Theorem.
):13 = m
..... 3n - 1 cu
~l. (1.1)
128 T. SHIINA
Here qJl, qJ2, qJ3 and 9t are the prime divisors of llC corresponding to
0,1,00 and n~l, respectively. Similarly, .01,"" .on-2 correspond to
n- 2 distinct roots of
{xn - (nx - n + l)}/(x - 1)2 = x n- 2 + 2x n- 3 + ... + (n - 1).
Let 'P: X - pI be the Galois closure of the covering 'Po. Then the
meromorphic function field fi = C(X) coincides with the splitting field
of
f(x) = xn - t(nx - n + 1) E C(t)[x]
and the Galois group of fi / JC is represented as a permutation group
on n distinct roots of f(x). A fundamental fact of the theory of al-
gebraic function fields indicates that the prime divisor decompositions
(1.1) express the permutation types of the inertia subgroups correspond-
ing to the ramification points. Namely, generators 0"1,0"2,0"3 of the inertia
subgroups of qJl, qJ2, qJ3 (these groups are cyclic) are respectively an n-
cycle, a transposition and an (n-1 )-cycle. Since these cycles generate
the symmetric group Sn, the Galois group of fi / R:, is isomorphic to Sn.
Moreover, since f(x) has rational coefficients, the smallest field of def-
inition of fj / JC is Q. In other words, the splitting field N of f (x) over
Q(t) is a regular Galois extension of Q(t) with Galois group Sn.
Let PI, ... , Pr be r distinct algebraic points on p1 and
Galois covering <p: X ----+ ]p'l'{Pl, ... ,Pr} is a subfield of Mr. Then we
have the canonical surjective homomorphism
rr = ('1'1, .. ,'Yr 1'1'1 'Yr = If ----+ G(C/Q(t)) =: G.
Let ai E G be the image of'Yi and Ci the conjugacy class of ai. Then
al, ... , a r generate G and satisfy al ... ar = 1. The class vector (Cl , ... ,
Cr) is called the ramification structure of C/Q(t).
Let G be a finite group with trivial center and C = (C1 , , Cr ) a
class vector of G. Consider the set of all generating r-systems of C:
I
~(C) := {(a1, ... , a r ) ai E Ci, al ... a r = 1, (al, ... , a r ) = G}.
The group G ~ Inn(G) acts on ~(C) by conjugation; denote by [(7'] =
[al, ... ,ar ] the Inn(G)-orbit of (7' = (al, ... ,ar ) E ~(C). The class
vector C is said to be rigid if G acts transitively on ~(C), or briefly if
1~(C)/Inn(G)1 = 1. In general, a conjugacy class C of a finite group
G is said to be rational if em = C for any integer m prime to IGI,
or equivalently if all irreducible characters of G take integral values at
C. We say the class vector C rational when each Ci is rational. The
following is known as a basic theorem in the rigidity method.
Theorem 1.2 (Basic Rigidity Theorem). Let G be a finite group
with trivial center and C = (Cl, ... , Cr ) a class vector of G. If C is
rational and rigid, then there exists a regular Galois extension N /Q(t)
with Galois group G and ramification structure C.
See [10] or [22] for proofs.
Remark 1.3. The regular Sn-extension N /Q(t) in Example 1.1 pos-
sesses the ramification structure C = (2A, (n-I)A, nA), where mA de-
notes the conjugacy class of m-cycles in Sn. Since each conjugacy class
in Sn is rational, the class vector C is rational. Moreover, one can verify
the rigidity of C by a brief calculation (see for example [19]).
Example 1.4. The projective general semi-linear group prL2(pn) is
the automorphism group of PSL2(pn). We take a class vector C =
(2C, 4B, lOA) of prL2(p2), where we follow the notation in ATLAS [1].
Feit [5] proved that C is rational and rigid if p == 2 (mod 5). Let
N/Q(t) be a regular Galois extension with Galois group PfL2(P2) and
ramification structure C. The fixed subfield K by the normal subgroup
PSL2(P2) of index 4 is an algebraic function field of genus O. Since the
prime divisor corresponding to 2C splits completely in K/Q(t), the sub-
field K is a rational function field over Q. Therefore the group PSL2(P2)
occurs regularly over Q if P == 2 (mod 5).
130 T. SHIINA
2. Braid Orbit Theorem
The projective special semi-linear group P1:L2(p2) is one of the normal
subgroups ofPrL2(p2) of index 2. Przywara [14] showed that there exists
a regular Galois extension of Q(t) with Galois group G = P1:L2(25) and
ramifica~icn structure C = (2A, 2C, 2D, 12A). Here the class vector C is
rational but non-rigid. Actually, one verifies that
11:(C)/Inn(G)I = 12.
Przywara realized P1:L2(25) by means of the braid orbit theorem which
had been proposed by Matzat [12] and can be applied to such non-rigid
class vectors. Matzat considered the Galois coverings of !PI . . . . {P1, ... , Pr}
with transcendental ramification points P1, ... , Pr and the braid actions
on 1:(C)/Inn(G) associated to such Galois coverings. We sketch this
theorem restricting to the principal case r = 4.
Let M be the maximal Galois extension of Q( u) unramified outside
{O, 1, oo} and M a maximal regular Galois extension of M (t) unramified
outside {0,1,00,u}, where v and t are transcendental over Q. Their
Galois groups are
and
G(M/ M(t)) = (i1, i2, i3,i41 il'Y2i3i4 = 1)~ =: r.
The fields M(t) and M are Galois over Q(u, t) and their Galois groups
split as follows:
G(M(t)/Ql(u, t
~ r ~ rQ (2.1)
and
G(M/Q(u, t) ~ r ~ G(M(t)/Q(u, t), (2.2)
where rlQl := G(Q/Q) is the absolute Galois group of Q.
Let G be a finite group with trivial center and C = (01 ,02,03,04)
a rational class vector of G. For a given u = (0'1,0'2,0'3,0'4) E 1:(C),
r
consider a surjective homomorphism 'l/Jcr: - - - t G defined by mapping
ii to O'i. The fixed subfield
Ncr := MKer (1f!a)
is a regular Galois extension of M(t) with Galois group G and
ramification structure C. We define an action of G(M(t)/Q(u, t)) on
1:(C)/Inn(G) by extending the Galois action G(M(t)/Q(u, t)) rv in r
the semi-direct product (2.2) to G via 'l/Jcr. Let
Llcr := {<5 E G(M(t)/Q(u, t I rule = [un
Regular Galois realizations ojPSL2(p2) over Q(T) 131
This shows L = ktr(u, t) and the degree of K tr (t)/ktr (u, t) equals IB(O')I.
(iii) The Galois group G(M(t)/Q(u, tacts transitively on the rQ-orbit
of B(O') and the stabilizer of B(CT) is G(M(t)/ktr(u, t. Hence the
degree of ktr(u, t)/Q(u, t) equals the length of the rQ-orbit of B(O'). 0
132 T. SHIINA
(0) There exists i such that 1r'B(-Yi) has an odd number of l-cycles for
a length l.
Two braid orbits Band B' have the same length and genus if they are
conjugate to each other under the action of rQ. Hence a braid orbit B is
rQ-invariant if there exist no other braid orbits of the same length and
genus in ~(C)/Inn(G).
Regular Galois realizations of PSL2(P2) over Q(T) 133
3. Groups PEL2(p2)
The projective special linear group PSL2(P2) has few rational con-
jugacy classes. So we begin with the group P~L2(P2), which contains
PSL2(P2) as normal subgroup of degree 2. In this section, we concretely
calculate braid orbits to apply the braid orbit. theorem for small p. The
p-Frobenius automorphism lFp2 3 S ~ 8 := sP E lFp2 induces an auto-
morphism of PSL2(P2):
Since these orbits are fixed by 'Y1 E r and permuted by 'Y2, 'Y3 E r, the
permutation types of 'Yb 'Y2, 'Y3 are (1)2, (2), (2), respectively. Hence the
genus of B':= {O',T} is
1
1 - 2 + -(0 + 1 + 1) = 0
2
and there exists a regular Galois extension of Q(u, t) with Galois group
PEL2(9) ~ 86 and ramification structure (2C, 2D, 3A, 3B).
134 T. SHIINA
(t -1) = q3 = ( fa(x)2 ) ,
DrD3 93 (x)
and
(t _ u) =
DrD3
n~ = (993(X)
2(X)3 ) .
and the field of definition KtT /Q( u) is a rational function field whose
Galois closure has Galois group A4 for each [0'] E B. In the latter case,
the genus of B' := E(C')/Inn(G) is calculated in the same way as the
case p = 3. Consequently, we obtain two types of Galois realization of
PEL2(25).
Example 3.4 (p = 7). For G = PEL2(49), we have
the oddness condition (0) is not satisfied. Thus the braid orbit theorem
can be applied only to B.
Example 3.5 (p = 11,13). For C' = (2C, 2D,pA,pB), the cases p = 11
and p = 13 are similar. In either case, the number of Inn(G)-orbits is
1I:(C')jInn(G)1 = 18
1I:(C)jInn(G) I = 40
and r acts intransitively on I:(C)jInn(G). Namely, I:(C)jInn(G) divides
into two braid orbits B4 of length 4 and B36 of length 36. Since the
shorter orbit B4 is a unique braid orbit of length 4 in I:(C)jInn(G) and
r acts on it in the same way as the cases p = 5 and p = 7, the braid
orbit theorem can be applied to this orbit.
(ii) lfp == 5 (mod 12), then E(C)/Inn(G) contains a unique braid orbit
of length 4 and the permutation types of /1, /2, /3 E r on it are (1)(3),
(1)(3), (1)(3), respectively.
By applying the braid orbit theorem to these orbits, we can realize
PSL2(P2) regularly over Q as follows:
Proof of Main Theorem. By the braid orbit theorem, there exists a reg-
ular Galois extension N of Q(T) = Q(u, t) with Galois group PEL2(P2)
and ramification structure C = (20,2D,pA,pA) (in the case p == 5
(mod 12 or C' = (20,2D,pA,pB) (in the case p == 3 (mod 8. The
fixed subfield L by the normal subgroup PSL2(P2) is a quadratic ex-
tension of Q(T). Here the two ramification points corresponding to pA
or pB are unramified at L/Q(T) since these classes are contained in
PSL2(P2). Therefore, the quadratic extension L is a rational function
field over Q, say L = Q(T'). Thus we obtain a regular extension N/Q(T')
with Galois group PSL2(P2). 0
Since the first part of Proposition 4.1 has been proved in [21], we will
show the remaining part. Hereafter we assume that p == 5 (mod 12), in
other words, lFp2 = lFp( v'3). Let P+ and P- be the following subgroups
ofG:
0" * -
1 -
(s(2u +- uv'3
sv)v'3
-uv'3 ) *
s - uv'3 <p, 0"2 =
(t + uv'3s +-t)
t - -t uVS <p,
0"3* = (10 1)
1 ' *
0"4=
1 0)
( -2+vVS 1 .
Here 4-3v 2 and 4-3u 2 (4-3v 2 ) are square in lFp with u, v E lFp, (u, v) =/:
(0,0). Moreover, s, t E IFp are the distinct roots of X2 - 3uvX + (3u 2 -
1) E lFp[X).
Proof. For each 0' = (O"I, 0"2, 0"3, 0"4) E ~(C), we must show there exists
T E G such that O'T = O'(s,t,u,v). We may assume that 0"3 = O"g by taking
138 T. SHIINA
(8', t', u', v') = (8, t, U, v), (8, t, -u, -v), (-8, -t, -u, v), (-8, -t, U, -v).
By elementary number theory, there exist (p - 2 + ) /2 chokes for
(8, t, U, v) E lFt satisfying (4.1) and uv =
up to 1, where :=
(-1)Cp-l)/2. In the case uv i= 0, there exist (p - 2 + )/4 choices for
v E IF; with 4 - 3v 2 E IF;2 and (p - 2 + )/4 choices for u E IF; with
4 - 3u2 (4 - 3v2 ) E F;2 up to 1. For such u, v E IF;, there are two
Regular Galois realizations ojPSL2(p2) over Q(T) 139
IE(C)/Inn(G)1 = p - ~ + + ( P - ~ + ) 2 .2= (p + 12 - 4 .
0= x - y = (2 - 3v 2 )(-2 + vV3)vV3
[0'4] == [(1+v'
v'33 I-v'
-v'33) (2+v'13 -2+v'
-2)3 (10 11) ' (-2+v'
r..p,
13 r..p, ~)] .
Denote by [O'i] (i = 1,2,3) the image of [0'4] by Ii, then
Acknowledgments
The author wishes to thank Professors Ki-ichiro Hashimoto, Katsuya
Miyake and Hiroaki Nakamura for their invitation to the symposium
"Galois Theory and Modular Forms". The author also wishes to thank
Professor Toyofumi Takahashi for his continuing encouragement.
References
[1] J. H. Conwayet al., "Atlas of finite groups," Clarendon Press, Oxford, 1985.
[2] M. Dettweiler, Middle convolution and Galois realizations, to appear in this
volume.
[3] L. Dieulefait and N. Vila, Projective linear groups as Galois groups over Q via
modular representations, J. Symbolic Computation 30 (2000), 799-810.
[4] L. E. Dickson, "Linear groups with an exposition of the Galois field theory,"
Teubner, Leibzig, 1901.
[5] W. Feit, Rigidity of Aut{PSL2 (P2)), p == 2 (mod 5), p f 2, in "Proceedings of
the Rutgers group theory year, 1983-1984 (New Brunswick, N. J., 1983-1984),"
351-356, Cambridge Univ. Press, Cambridge, 1984.
[6] The GAP Group, "GAP - Groups, Algorithms, and Programming, Version 4.2,"
Aachen, St. Andrews, 1999.
[7] D. Gorenstein, "Finite groups," Harper and Row, New York-Evanston-London,
1968.
[8] D. Hilbert, Ueber die Irreduzibilitiit ganzer mtionaler FUnktionen mit ganzzahli-
gen KoejJizit:nten, J. Reine Angew. Math. 110 (1892), 104-129.
[9J G. Malle, Genus zero translates of three point ramified Galois extensions,
Manuscripta Math. 71 (1991) 97-111.
[10] G. Malle and B. H. Matzat, "Inverse Galois theory," Springer-Verlag, Berlin,
1999.
[l1J B. H. Matzat, "Konstruktive Galoistheorie," Lecture Notes in Mathematics,
1284. Springer-Verlag, Berlin, 1987.
[12J B. H. Matzat, Zopfe und Galoissche Gruppen, J. Reine Angew. Math. 420
(1991),99-159.
[13] J.-F. Mestre, Courbes hyperelliptiques d multiplications reelles, C. R. Acad. Sci.
Paris, 301 (1988), 721-724.
[14J B. Przywara, Die Operation der Hurwitzschen Zopfgruppe auf den Erzeugenden-
systemklassen endlicher Gruppen, Diplomarbeit, Karlsruhe, 1988.
[15] H. Reichardt, Konstruktion von Zahlkorpern mit gegebener Galoisgruppe von
Primzahlpotenzordnung, J. Reine Angew. Math. 111 (1937), 1-5.
[16] A. Reverter and N. Vila, Some projective linear groups over finite fields as Galois
groups over Q, Contemp. Math. 186 (1995), 51-63.
[17] K. A. Ribet, On l-adic representations attached to modular forms, Invent. Math.
28 (1975), 245-275.
142 ~ SHIINA
MIDDLE CONVOLUTION
AND GALOIS REALIZATIONS
Michael DETTWEILER
1WR, Universitiit Heidelberg,
1m Neuenheimer Feld 368,
69120 Heidelberg, Germany
michael.dettweiler~iwr.uni-heidelberg.de
Abstract The theory of the middle convolution is combined with the theory of
curves on Hurwitz spaces. This leads to the following theorem: The
projective symplectic groups PSP2n (lFp2) occur Q-regularly as Galois
groups over Q(t) if P is an odd prime 1 mod 24.
1. Introduction
The usual approach of realizing a finite group Q-regularly as Galois
group over Q(t) is via rigidity or, more generally, by detecting rational
points on the underlying moduli spaces (Hurwitz spaces) using braid
groups, see [12], [15] and the references therein. Once the geometry of
the Hurwitz spaces becomes more complicated it can be useful to look
for rational curves lying on the Hurwitz spaces, instead of studying the
whole Hurwitz space, see [3], [4].
In [6], [16], the authors give (different) purely algebraic constructions
of Katz' middle convolution functor MCx (see [11]). In [6] the resulting
analogon of MCx is denoted MC)., in [16] it is called the braid companion
(BC-) functor. As a first application, many families of quasi-simple
groups of Lie type were realized regularly as Galois groups over Q(t),
see [5], [6], [17].
The basic idea is the following: Choose a subgroup H ::; GLn(JFq) for
which the braid group action on tuples can easily be determined (e.g.,
a subgroup of the scalars or a dihedral group, viewed as subgroup of
GL2(lFq)) and the available braid group criteria can be applied. Ap-
plying successively the operations of middle convolution and suitable
[received: October 23, 2002; accepted in revised form: March 21, 2003]
144 M. DETTWEILER
2. Convolution
In the following we recall the definition of the middle convolution
functor as in [6], [7]:
For (AI, ... ,Ar ) E GLn(Kt and>' E KX, consider the following
matrices Bk E GLnr(K) for .Ie = 1, ... , r :
In o o
In
>..(Ak-l - In) >"Ak (Ak+l - In)
In
o o
where Bk is the identity matrix outside the k-th block row (In E GLn(K)
denotes the identity matrix). We call C>..(AI, ... ,Ar ) = (BI, ... ,Br )
the (multiplicative) convolution of (AI,'" ,Ar) with >.. There are the
following (left) (B l , ... , Br}-invariant subspaces
Middle convolution and Galois realizations 145
o
o
ICk = ker(Ak - 1n) (Arth entry), k = 1, ... , r,
o
o
and
nker(Bi - lnr ).
r
C:=
i=l
Let IC = EBk=llCk and m the dimension of the K-vector space Knr j(1C +
C). Choose an isomorphism I betw~en Knr L(IC + C) and Km.
The tuple MC>.(A1, ... ,Ar ) = (Bll ... ,Br ) E GLm(K)r which is in-
duced by the action of (Bl' ... , Br) on Km (via I) is called the middle
convolution of (AI, ... ,Ar) with A.
The main properties of the middle convolution are:
Theorem 2. Let (Ab'" ,Ar) E GLn(K)r such that Ai 'f: In for i =
1, ... ,r. Let further A E K X and MC>.(Ab'" ,Ar) = (Bb'" ,Br) E
GLm(Kt
a) If A =1= 1, then
m = dim(Knr j(1C + C))
r
=Lrk(Ak -In) - (n - rk(AA l Ar -In)).
k=l
Qi(g1, ... ,gr) = (g1, ... ,gi-1, gigi+1gi 1,gi, gi+2, ... ,gr),
i = 1, ... ,r - 1. (1)
Then
Proof. a)-e) follow analogously to [6], Lemma 2.7, Thm. 3.5, Cor. 3.6,
Thm. 5.1, Cor. 5.10 (in this order). 0
The following lemma is already used implicitly in [6J and will be useful
below (the proof follows from Lemma 4.1, loco cit.):
Next, let Pr+1 E C\ (PO U {Po} ) and {3t, ... , (3r generators of 71'1 (]PI (C) \
(PO U {oo} ), Pr+ 1) which go counter-clockwise around PI, ... , Pr as indi-
cated in the following picture:
Po
148 M. DETTWEILER
[G, POO, C] := [G, Po U {Pr+1 = oo}, (Cp1 := Cl, ... , Cpr+1 := Cr+1 )]
be the ramification type of 'I/J (see [15], Def.'s 4.31 and 2.12, for the
definition of a ramification type of a cover). Then [G,POO,CJ is said
to be k-rational, if for each Pi E POO and for each /'i, E Gk one has
CK,(Pi) = C;;:, where m is an integer such that /'i,-l((n) = (~.
The following corollary is similar to [17], Cor. 4.6 (b):
and
HI ... Hr-2Hr-IHr-IHr-2 ... HI = 1.
We call HI"'" Hr-I a system of standard generators of 'Hr.
A system of standard generators can be constructed in the following
way: There exists a simple loop E : [0,1] -+ pl(e) with initial point Po
such that there exist < tl < ... < tr < 1 with E(ti) = Pi, i = 1, ... ,r,
and such that E is smooth on ]ti' ti+d, i = 1, ... , r - 1. By Lemma
7, there exists an orientation preserving homeomorphism a : pI(e) -+
pI(e) which maps 1R U {oo} to S := im(E) such that
a(i) = Pi, i = 0, ... , r.
We can define Hi to be the homotopy class of the path
Hi(t) := {a(l), ... ,a(i - l),Pi(t),Pi+I(t), a(i + 2), ... , a(r)},
where
A,(t)._ ((2i+1)-e1l'At) (t).- ((2i+1)+e1l'At)
.- a ,PHI- a
A,
P1 2 2
150 M. DETTWEILER
for t E [0,1] (compare to [4], Section 1.1 and [15], Chap. 10):
(11iIi """r'
iI) ( -1 )
= ,1"""i-1"i"Yi+l'i "i"i+2"""r,
i = 1, ... , r - 1, (3)
where Hi denotes the homotopy class of the path (Hi(t),po).
5. Hurwitz spaces
The standard references for the content of this section are [10] and
[15].
Let G be a finite group and C := (C1,"" Or) a tuple of conjugacy
classes of G. Let
Nr(G) := {(gl, ... ,gr) E Gr I gl'" gr = 1, G = (gl, ... ,gr)}/Inn(G),
Middle convolution and Galois realizations 151
and
Let further III : JIll2 \ {qd ~ q2q3 (resp. II2 : JIll2 \ {q2} ~ L q3 ) be
the central projection with center ql (resp. q2) and 7 : Lq3 ~ JIlll be a
k- isomorphism.
Suppose that generically, a line Lb intersects the curve X in r points
(not counting multiplicities). The maps
and
JIll2 \ X uL
1
U(r + 1)
whose rows are locally trivial fibrations (see [4], Section 2) and the first
vertical arrow maps fibres to fibres. Let :F := Lq3 \ {Lq3 n (X u L)}. The
long exact sequences of homotopy groups, associated to locally trivial
fibrations, lead then to a commutative diagram
1 ~ 7rl (F, q3) ~ 7rl(JIll2 \ X u L, q3) ~
1 1
1 ~ 7rl(Fr, (Po,po) ~ 1t(r + 1) ~ 1
(5)
where (Po, po) (resp. Po) is the image of q3 inU(r+1) (resp. Ur ). Since in
Diagram 5, the left vertical arrow is surjective, one can choose generators
';:i't, ... ,1'r of 7rl (F, q3) such that 1'1, ... ,1'r map to generators ,'1, ... , "Ir
of 7rl (Fr , (Po, po which are chosen in a way that Equation 3 holds. Let
Middle convolution and Galois realizations 153
W* : 7rl (8(X) , qg) --+ 1frbe the right vertical arrow in Diagram 5. Let
ObI' . ,Obs E 7rl (8(X), qs) be homotopy classes of simple loops encircling
the points bb ... ,bs (respectively) and let Rbi be the image of Obi under
W*. We call the elements RbI"'" ~s the braids of X with respect to
qb q2,q3
By a suitable change of coordinates, one can assume that ql = [1,0,0],
q2 = [0,1,0] and one can take
Set SeX) := im(w) and let 'H(X) := im(W*). It is clear that if W maps
SeX) injectively to SeX), then the elements RbI"'" Rb. generate the
image of 1Tl (S(X), Po) in 'Hr (under the homomorphism which is induced
by inclusion of paths). If ~ : 'Hr(G) -+ Ur is as in the last section, then
it follows from Equation 3 and Diagram 5 that Rbk E 'H(X) acts (as a
word in HI"'" Hr- l ) according to Equation 4 on Nr(G) == ~-l(PO).
By covering theory, the orbits of 'H(X) on N r(G) correspond then to the
irreducible components of ~-l(S(X)). The genus of such a component
is given as the number g below:
An 'H(X)-orbit 0 ~ Nr(G) is said to be of genus g if
1 s
g = 1 -101 + 22)101 - ni),
i=l
by Thm. 2, a) and e). Moreover, ih, ... , B4 are transvections, Bs, ... , Br
are double transvections and
B1 B", =-1
by Lemma 3. By Thm. 2 c), the group (B1,"" B r ) is an irreducible
subgroup of GL2n(lFp2). Analogously to [6], Section 8, one concludes
that, under the assumptions on p,
(B1,"" B",) = SP2n(lFp2)
(using Thm. 2, b)).
Let 61, ... ,6", denote the conjugacy classes of BlI ... , B", and 6H1
the class of (B1 ... B", )-1 = -1.
156 M. DETTWEILER
We want to show that 61 = 63 : Let (A~, ... , A~, -1, ... , -1) E
(2a, 2b, 2a, 2b, 2c, ... ,2c) such that A3 = A~ and A~ = A~ -1 A~A~. It
is easy to check that
Ql1Q2Ql(A~, ... ,A~,-I, ... ,-I) = (A~, ... ,A~,-I, ... ,-I),
where Q1, Q2 are the first two generators of the abstract Artin braid
group, acting via Equation 1. Let
Acknowledgments
The author would like to thank Professors K. Hashimoto, K. Miyake
and H. Nakamura for the invitation to the conference Galois Theory
and Modular Forms (held at the Metropolitan University of Tokyo),
T. Shiina for sending his papers and Professor B. H. Matzat, S. Reiter
and the referee for valuable comments.
References
[1) J. S. Birman, "Braids, Links and Mapping Class Groups," Princeton University
Press, Princeton, 1974.
[2] E. Bloch, "A First Course in Geometric Topology and Differential Geometry,"
Birkhauser, Boston, 1997.
[3] M. Dettweiler, Kurven auf Hurwitzraumen und ihre Anwendungen in der Ga-
loistheorie, Dissertation, Erlangen, 1999.
[4) M. Dettweiler, Plane curves and curves on Hurwitz spaces, IWR-Preprint (2001-
06).
[5] M. Dettweiler and S. Reiter, On rigid tuples in linear groups of odd dimension,
J. Algebra 222 (1999), 550-560.
[6] M. Dettweiler and S. Reiter, An algorithm of Katz and its application to the
inverse Galois problem, J. Symb. Compo 30 (2000), 761-798.
[7) M. Dettweiler and S. Reiter, Monodromy of FUchsian systems, in preparation.
[8) M. Dettweiler and S. Wewers, Hurwitz spaces and Shimum varieties, in prepa-
ration.
[9) E. R. Fadell and S. Y. Husseini, "Geometry and Topology of Configuration
Spaces," Springer Verlag, Heidelberg, 2001.
[10) M. Fried and H. VOlklein, The inverse Galois problem and mtional points on
moduli spaces, Math. Ann. 290 (1991), 771-800.
[11) N. Katz, "Rigid local systems," Princeton University Press, Princeton, 1996.
[12) G. Malle and B. H. Matzat, "Inverse Galois theory," Springer Verlag, Berlin,
1999.
[13) T. Shiina, Rigid bmid orbits related to PSL2(P2) and some simple groups,
preprint (2002).
[14) T. Shiina, Regular Galois realizations of PSL2(P2) over Q(T) , to appear in this
volume.
[15] H. V6lklein, "Groups as Galois groups," Cambridge Univ. Press, Cambridge,
1996.
158 M. DETTWEILER
[16] H. VOlklein, The braid group and linear rigidity, Geom. Dedicata 84 (2001),
135-150.
[17] H. Volklein, A transformation principle for covers ofpl, J. Reine Angew. Math.
534 (2001), 155-168 .
Galois Theory and Modular Forms pp 159-172
K. Hashimoto, K. Miyake, and H. Nakamura, Editors
2003 Kluwer Academic Publishers
Arne LEDET
Department 0/ Mathematics and Statistic
Texas Tech University
Lubbock, TX 79409-1042
aledet~math.ttu.edu
1. Introduction
In [Le] , the author provided a construction of generic polynomials
with few parameters for p-groups over ground fields of characteristic p,
thus giving an (unstated) upper bound on essential dimensions in this
case. In the present paper, we improve this bound further, by proving
[received: May 17, 2002; accepted in revised form: October, 16, 20021
160 A. LEDET
p
pc a 1 + pd
G n = {( l+ b)1 a,b,c,d E Zipn}
of 2 x 2 matrices over Z/pn, where p is an odd prime. It is a p-Sylow
subgroup of GL 2 (Z/pn), and has order p4n-3. Using Theorem 1 and
Lemma 2, we find that
162 A. LEDET
2. Proof of Theorem 1
Let the assumptions be as in Theorem 1. We first prove that any
G-extension M / Lover K can be extended to an E-extension. This will
establish the inequality
Part one
Let M / L be a G-extension over K. Also, let c E Z2 (G, A) be a factor
system representing the extension
l-+A-+E-+G-+l.
This extension makes A into a IFp[GJ-module in the usual way (by con-
jugation in E), and we will need an injective IFp[G]-homomorphism
c.p: A -+ M+:
Let c.p': A <---+ K+ be an injective group homomorphism, and let
(U~)O'EG be a normal basis for M / L. Then we can let
c.p(a) = L c.p'(u-1a)ue, a E A.
O'EG
Note that we cannot simply say 'G is a homomorphic image of E, therefore edK G $ edK E.'
No such result is available (at this time), al1J in the more general setting of algebraic groups
it is known to be untrue, cf. [ReJ.
164 A. LEDET
By, e.g., [We, Cor. 3-1-4] the cohomology group H2(G, M+) is trivial,
and so there exists a map a: G - M with
'Vu, T E G: <P(CU,T) = au + uaT - aUT.
Let
H(X) = II (X - cp(b)) E L[X].
beA
This is a vectorial polynomial, as defined in [Ab] , in that H(x + y) =
H(x) + H(y). Now,
H(au ) + uH(aT) - H(aUT ) = H(CP(CU,T)) = 0,
meaning that u 1-+ H (au) is a crossed homomorphism. Since, again by
[We, Cor. 3-1-4], we also have Hl(G,M+) = 0, there therefore exists
an wE M with
'Vu E G: uw - w = H(a u).
Let B be a root of H(X) -w. We claim that M(B)jL is an E-extension:
The vectorial polynomial H(X) has the form
XP
n
+ dn-1XPn-l + ... + dlXP + doX,
where do =f:. O. It follows that H(X) - w is separable. Next, a conjugate
of B (over L) must be a root of H(X) - uw for some u E G, i.e., have
the form 0 + au + cp(b) for abE A. Therefore M(O)jL is Galois.
Extend (j E G to jj E Gal( M (0) j L). This extension is then given by
jj: 0 1-+ 0 + au + cp(bu )
for some bu E A.
Clearly, Gal(M(B)jM) can be identified with a subgroup B of A
through T 1-+ cp-l(TB - 0). We let b E B act on B by b: 01-+ B + <p(b).
Then
(ub) 0 jj = jj 0 b,
giving the proper action of G on B in
1 - B - Gal(M(B)jL) - G - 1.
Also,
jjf = [CU,T + (bu + ubT - bUT )]UT,
allowing us to embed Gal(M(B)jL) into E. Since Gal(M(B)jL) maps
onto G, and A ~ cIl(E), this is possible only if Gal(M(B)jL) = E.
Ergo: M(O)jL is an E-extension, and we may pick bu = O.
We note that replacing w by w + t for atE L will not change the
nature of the extension.
On the essential dimension of p-groups 165
Part two
Let again MIL be a G-extension over K, and consider an E-extension
FIL containing MIL. 'Ve claim that F = M(Ot) for some tEL, when
Ot is a root of H(X) - (w + t), and w is obtained as above:
Since F1M is an A-extension, and <p can be considered as a crossed
homomorphism A -+ F+, we can find 0' E F with
Let w" = H (0") EM. Then uw" - w" = H (au), and hence
w" =w + t
for some tEL. Ergo: F = M(Ot).
The details of why edK E ~ edK G + 1 are now clear: We can find
<p, w and the au's inside any intermediate extension mit of MIL, and
166 A. LEDET
Proof of Lemma 2
Let K be a field in prime characteristic p of order at least pn, and
let M / L be a C;-extension over K. We let c.p: C; <-t K+ be an injec-
tive group homomorphism, and consider it as a crossed homomorphism
Gal( MIL) - M+. It is then principal, i.e., there exists ~ E M with
V(j E C;: (j~ = ~ + c.p((j) ,
and therefore in particular M = L(~). We now let m = K(~) and
[ = mCp. Clearly, m (or l) has transcendence degree at most lover K,
meaning that edK(C;) ~ 1. On the other hand, let M = K(t) for an
indeterminate t, and define a C;-action on M by (jt = t + c.p((j). Since
there are no non-trivial algeb::-aic extensions of K inside M, we must
necessarily have edK(M/Mcp) = 1, and therefore edK(C;i') = 1. 0
Remark. One of the interesting things about the essential dimension
for a group G over a field K is that it gives a lower bound for the number
of parameters needed in a generic polynomial for Gover K, cf. [JLY].
Here, a generic polynomial for a finite group G over a field K is a
monic polynomial P(t,X) E K(t)[X], where t = (tl,"" tn) and X are
indeterminates, such that
(a) P(t, X) has Galois group Gover K(t); and
(b) whenever MIL is a G-extension over K, M is the splitting field
over L of a specialization P(a, X) of P(t, X) over L.
It is not clear whether the construction above can be made to include
a generic polynomial in the general setting. However, if we restrict our
On the essential dimension of p-groups 167
since (pni-l) == (_I)i (mod p). The matrix transforming (ei)i into
(O'epn-1)u therefore has rows of the form
[<p(O')pn_l, _<p(0')pn_ 2, ... , -<p(0'), IJ,
meaning that it is basically a Vandermonde matrix (up to a few signs
and some swapping of columns), and so has non-zero determinant. This
proves that (O'epn-1)u is a basis for MIL. In particular, epn - I has non-
zero trace,t and epn - 1 I TrM/L(epn-l) has trace 1.
(2) If we are considering a group extension as in Theorem 1, with G
elementary Abelian, we can proceed as in the proof above. We have a
normal basis from step (1), and to get the various elements, i.e., split-
ting factors etc., we just need to make the results HI (G, M+) = 0 and
H2(G,M+) explicit:
Let a E M have trace 1. If 'IjJ: G -4 M+ is a crossed homomorphism,
we can let (3 = - L:UEG 'IjJ(O')O'a to get 'IjJ(0') = 0'{3 - (3, and if c: G x
G -4 M+ is a factor system, we get CU,T = au + O'aT - aUT by letting
au = L:pEG cu,pO'pa.
Note that these results allow us to construct all necessary quantities
in a purely 'mechanical' way, i.e., one that carries over homomorphic ally
under the kind of specialization used with generic polynomials. A new
element of trace 1 can then be found for the next step by taking such
elements in MIL and in F / M, and multiplying them.
tIn fact, pn - 1 is the smallest positive exponent k, for which ~k has non-zero trace. This
is most easily seen by considering the trace of ~k as a Newton power sum, since most of the
coefficients of H(X) - t are zero. In this ~ay, we show that ~k has trace 0 for 0 :::; k < pn -1,
and get an expression for the traCJ of ~p -1.
168 A. LEDET
1 - Cp - Cp 2 - Cp - 1,
and we choose cp: (JP 1-+ 1 as our injection of Cp into IFp.
There is then, cf. the well-known Artin-Schreier theory, an element
a E K, such that L = K((}) for a () with a(} = (}+1 and H((}) = (}P-() = a.
The trace of (}p-l is -1, and we can pick _(}p-l as our element of
trace 1.
If we let a ' denote the restriction of (J to L, the 'obvious' choice of
factor system is given by picking a i as the pre-image of a'i for 0 ~ i < p.
To get splitting factors, we then only need to find au, E L, and the
only requirement for au, is that it should have trace 1. Thus, we can let
au, = _()p-l.
We now seek w E L with aw - w = H(au ') = _H((}p-I). Since
(}P = () + a, this means
= _ L
p-I (
p ~ 1) aP-I-i(}i + (}p-I
i=O 2
p-2
= - L (- a )p-I-i (}i
i=O
Clearly,
(~)
On the essential dimension of p-groups 169
Call the matrix A, and note that A is independent of the specific Cp2-
extension M / K. Then, if A -1 has ith row [ail, ai2, ... , ai,p- d, we get
p-l p-1
O'Xi-l - Xi-l = O'(I: aijBj) - I: aijBj = Bi - 1,
j=l j=l
and thus
p-2
W = - L(-a)p-l-i xi .
i=O
For n > 2, this means that the kernel of the natural map Gn - Gn- 1 ,
1 -+ Kn -t Gn -+ G n- l -+ 1, n > 2,
with two extensions
and
1 -+ Zn -+ Gn -+ Gn/Zn -+ 1,
we get Gn 'built up' through central extensions. Consequently, by the
Remark in section 2, it is possible to construct generic polynomials by
means of these extensions. And assuming that IKI ~ p3, we get for the
number of parameters that
#(parameters for G2 ) = 2
and
#(parameters for Gn ) :::; #(parameters for Gn-d + 2,
i.e., a generic polynomial for Gn can be constructed with 2n - 2 param-
eters.
Remark. The other Example, of an Abelian p-group, can be treated by
means of Witt vectors in a way very similar to the proof of Lemma 2:
If A is an Abelian p-group of exponent pn, generated by e elements,
and K is a field of characteristic p and order at least pe, we can find an
injective group homomorphism cp: A ~ Wn(K)+, where Wn denotes the
ring of n-dimensional Witt vectors, cf. [Wi2]. In fact, if al,"" ae E K
are linearly independent over lFp, the Witt vectors (at, 0, ... ,0), ... ,
(a e, 0, ... ,0) will generate a subgroup of Wn(K)+ isomorphic to C;n.
Now, let M/ L be an A-extension over K. Then cp can be considered as
a crossed homomorphism from A into Wn(M)+, where A acts on Wn(M)
coordinate-wise. The cohomology group RI(A, Wn(M)+) is trivial, as
can be easily shown in general in the same way as for n = 1 (done in
section 2 above), and so there exists a 8 E Wn(M) with a8 = 8 + cp(a)
for all a. This means that M = L(8) (with 8 considered as a set on n
elements), and letting m = K (8) we see that edK A :::; n.
Moreover, by one of the results in [Le] we have: If t = (to, ... , tn-d
is a set of n indeterminates, and we let A act on K (t) by at = t +
cp(a), the fixed field K(t)A is a rational (purely transcendental) extension
of K. Consequently, if K is infinite, we get a generic polynomial with
172 A. LEDET
References
[Ab] S. S. Abhyankar, Galois embeddings for linear groups, Trans. Amer. Math.
Soc. 352 (2000), 3881-3912.
[BR] J. Buhler and Z. Reichstein, On the essential dimension of a finite group,
Compositio Mathematica 106 (1997), 159-179.
[Hu] B. Huppert, "Endliche Gruppen I," Grundlehren der mathematischen Wis-
senschaften, 134. Springer-Verlag, 1967.
[JLY] C. U. Jensen, A. Ledet and N. Yui, "Generic Polynomials," MSRI Publica-
tions, 45. Cambridge University Press, 2002.
[Le] A. Ledet, On p-group in characteristic p, preprint, 200l.
[Re] Z. Reichstein, On the notion of essential dimension for algebraic groups,
Transform. Groups 5 (2000), 265-304.
[We] E. Weiss, "Cohomology of Groups," Pure and applied mathematics, 34. Aca-
demic Press, New York, 19G9.
[Will E. Witt, Konstruktion von galoisschen Korpem der Charakteristik p zu
vorgegebener Gruppe der Ordnung pI, J. Reine Angew. Math. 174 (1936),
237-245.
[Wi2] E. Witt, Zyklische Korper und Algebren der Charakteristik p vom Grad pn, J.
Reine Angew. Math. 116 (1937), 126-140.
Galois Theory and Modular Forms pp 173-194
K. Hashimoto, K. Miyake, and H. Nakamura, Editors
2003 Kluwer Academic Publishers
EXPLICIT CONSTRUCTIONS
OF GENERIC POLYNOMIALS
FOR SOME ELEMENTARY GROUPS
YUichi RIKUNA
Department of Mathematical Sciences,
Waseda University,
9-4-1 Ohkubo, Shinjuku-ku, Tokyo
169-8555, Japan
rikuna4)gm.math.waseda.ac.jp
Introduction
For a finite group G and a field k, we call a G-Galois extension over
k by G/ k-extension. Whether a G/ k-extension exists or not is the first
version of inverse Galois problem. Especially the case when k = Q,
the rational number field, plays an important role in the study of the
absolute Galois Group of Q. By many mathematicians, the existence
of G/Q-extensions has been shown for a lot of finite groups G by now
(cf. Malle-Matzat [14), Serre [19), etc.)
Recently the next stage of inverse Galois problem, so-called construc-
tive inverse Galois problem, has begun to be studied. If there exists a
G / k-extension, the problem asks for constructing all G-extensions over
the base field k concretely. It, however, is extremely difficult for us to
construct a general theory for this problem, because this contains the
construction problem of non-commutative class field theory. Therefore
constructive inverse Galois problem has been studied only for relatively
small or simple-structured groups until now. But we should remark here
that even study for the cyclic groups brings considerable progresses for
algebraic number theory.
Here we study explicit constructions of generic polynomiaL for some
simple-structured groups. A k-generic G-polynomial F is defined as a
G-polynomial over a rational function field k(t1, ... , t n ) such that every
G-extension L/ K with K ::> k and #K = 00 is obtained from F by a spe-
cialization of parameters tl, ... , tn. To construct such polynomials, we
[received: Jui. 03, 2002; accepted in revised form: Oct. 14, 2002]
174 Y. RIKUNA
XERC j
Explicit constructions of generic polynomials 175
and
{
>"(/(fRl (X = X4 - trt2X2 + trt~,
>"C/(fR2(X = (X2 - (tl + 2)tlt2)(X2 - (tl - 2)tlt2)'
2. Arithmetic descent
Keep the notation above. In this section we also suppose that linear
Noether's problem for G/k(z) has a positive answer, that is, there exists
a k-isomorphism </>0 : k(t) --- k(z)G. And we choose a finite subset
Ro of k(z) so that k(z) = k(z)G(Ro). Then fRa(X) E k(z)G[X] is
a defining polynomial of the G-extension k(z)/k(z)G, and Fa(t;X) E
k(t)[X] is a k-generic G-polynomial.
Let p : key) --- k(z) to be a linear k-isomorphism between rational
function fields, i.e., p is a k-isomorphism which is defined by (Yi 1-+
Explicit constructions of generic polynomials 177
=LP-l(Cj)Xj E k'(y)G'[X]
j
3. Geometric descent
This section is independent of the previous section but continued from
section 1. Kemper [10] shows that a k-generic G-polynomial FG(tj X) E
k(t)[X] is also descent-generic over k, that is, for every subgroup H of
178 Y. RIKUNA
9RH(X):= II (X - x) E k(x)H[X]
xERH
and
They satisfy aN = (32 = 1 and (3-1a(3 = a-I, hence G := (a, (3) <
Aut~near k( Xl, X2) is isomorphic to V2N, the dihedral group of order 2N.
Our aim is to find a k' -generic V2N-polynomial, where k' is a subfield of
k contains w := ( + (-1.
We first show that linear Noether's problem for Glk(xl,x2) has an
affirmative answer. Let S <J G be the scalar subgroup, i.e.,
and
We give two pairs of (B I ,B2) explicitly in the following two subsections.
The former choice, which has very simple form, is not applicable for
arithmetic descent. But the latter choice matches our arithmetic descent
method for k'.
and
!
Proof. We have
-1 -1 (w 2 - 4)2(Yf - WYIY2 + y~)N/2
(p 0 G)(tl) = p (81 ) = Y1 ~ (Y2)N/2 _ (Yl _ (-lY2)N/2)2'
;- )N/2 ( ;--1 )N/2)2
(p-l 0 G)(t2) = -1(82) = Yl - . . Y2 - Y1 -.... Y2 ,
P (w2 - 4)2(Yf - WYIY2 + y~)(N-2)/2
Explicit constructions of generic polynomials 183
I
H' : k'(Ul, U2) - k'(Yl, Y2)H' by
(-l(Yl - (Y2)N/2 - ((Yl - (-lY2)N/2
H'(Ut) = ,
(Yl - (Y2)N/2 - (Yl - (-lY2)N/2
((Yl - (Y2)N/2 - (Yl - (-lY2)N/2)2
H'(U2) = (w2 _ 4)2(Yt _ WYIY2 + y~)(N-2)/2 '
as an answer of linear Noether's problem for H' /k'(Yl, Y2). In this case
we obtain that
and
that is, <P(tl) = Ur-WUl +1 and <P(t2) = U2. Since Orh(a) (Xl +X2) = RG,
we can choose RH' := RG', and hence fR H , (X) = fRo, (X). Therefore
theorem 3.1 implies the following result:
184 Y. RIKUNA
Order 2
There is one group (isomorphism class) of order two.
2/1 C2 over Q
action { Xl I---t X2
X2 I---t Xl
generating set RG {Xl, X2}
answer of linear Noether's problem <pc/(t) = {fh, 02, ... }
_ {(XI+X2)2 ~}
- XIX2' Xl +X2
generic polynomial X~ - tlX + tl
The first row means the isomorphism class of G indexed by the ordering
in Thomas-Wood [21] and the base field k. The second and third row
express a generator of G < Aut~near k( x) and a generating set RG of
the extension k(x)/k(x)G respectively. The fourth and fifth row show
an explicit answer of linear Noether's problem for G/k(x) and the cor-
responding k-generic G-polynomial respectively.
Remark 12. Assume that the group G has trivial scalar subgroup, i.e.,
k(xI/x2)/k(xI/x2)G has the same Galois group as k(XI,X2)/k(XI,X2)G.
Then FG(tl, l;X) is also a k-generic G-polynomial if k(xI/x2)G = k(OI)
(see Kemper-Mattig [11, theorem 7]). With the above construction, we
obtain that X2_tlt2X +tlt E Q(tl, t2)[X] is a Q-generic C2-polynomial.
Hence X2 - tlX + tl = (X2 - tlt2X + tlt)lt2=1 is also Q-generic for C2
from this observation.
Order 3
There is one group of order three.
Explicit constructions of generic polynomials 185
3/1 C3 over Q
act. { Xl 1---+ X2
X2 1---+ -Xl - X2
Ra {Xl, -Xl - X2, X2}
ans. {XI-3X1X2-X2 X1X2(X1 +X2& }
X1X2(X1 +X2) , X~+X1X2+X2
poly. X" - (tr + 3t! + 9)X + tr + 3t! + 9
note See remark 12.
Shanks' "the simplest cubic" (cf. Shanks [20]),
X3 - t!X2 - (tl + 3)X - 1
is well-known as a Q-generic C3-polynomial.
Order 4
There are two groups of order four.
4/1 C4 over Q
poly. X4 + 4(t~ + 1)t2X~ + 4(t~ + 1)t~
note This is obtained in section 4.
4/2 C2 x C2 over Q
act. { Xl 1---+ X2 { Xl 1---+ -X2
X2 1---+ Xl X21---+ -Xl
Ra {XI,X2}
ans. {X1+X2 (XJX2)2}
X1X2 ' X,+X 2
poly. X4 - trt2X~ + trt~
Order 5
There is one group of order five.
Order 6
There are two groups of order six.
6/1 Ca over Q
poly. Xu +6(t~ -tl + 1)t2X4 +9(tf -tl + l?t~X;.! + 3(tr -tl + l);.!t~
note This is obtained in section 4.
186 Y. RIKUNA
1
6/2 6 3, the symmetric group of degree 3, ~ 'D6 over Q
act. { Xl f-----t X2 Xl f-----t X2
X2 f-----t -Xl - X2 X2 f-----t XI
Rc {Xl,Xl + X2,X2}
ans. {(X~+X1X2+X~);j X1X2(Xl +X2J }
Xix~(Xl +X2)2 , X2+X1X2+X:;
poly. X--:> - tlX + tl
note This is obtained in section 4. (And see remark 12.)
By a geometric descent tl f-----t tr+3tl +9, we have a Q-generic
C3-polynomial displayed above.
Order 7
There is one group of order seven.
Order 8
There are five groups of order eight.
It is well-known that there is no Q-generic Cs-polynomial (cf. Jensen-
Ledet-Yui [7], etc.)
Remark 13. Assume that FGl (tj X) and FG2(Uj Y) are irreducible
generic polynomials for GI and G2 over an infinite field k obtained by lin-
ear Noether's problem. And let TI and T2 he roots of there polynomials
respectively. Then there exists a constant c E k such that the minimal
polynomial of TI +cr2 over k(t, u) is a k-generic GI x G2-polynomial. But
the polynomial obtained by this construction has terribly complicated
expression in general.
8/3 C2 x C2 X C2 over Q
act. {Xl 1----+ -Xl {X2 1----+ -X2 {X3 1----+ -X3
RG {XI, X2, X3}
ans. it' ;t, x~+x~+x!
{X~ x~ x"+X!+x:t}
Order 9
There are two groups of order nine.
9/1 Cg over Q(wg)
poly. X\J - 9t l XIS + 36(w9tl - I)XI - 84((w~ - l)tl - wg)Xtl
+126(wg - 1)(tl - Wg -1)X s + 126(wg + 1)(tl + I)X4
-84(wg - 1)((wg + 1)tl - 1)X3 + 36(w9tl - w + 1)X2
-9(tl - wg)X - 1
note This is given by Hashimoto-Miyake [5] and Rikuna [17].
9/2 C3 x C3 over Q(3)
act. {Xl ~ (3XI {X2 ~ (3-1X2
Rc {(~XI + (1X2 11 ~ i,j ~ 3}
ans. {3~}
x~' X,+X~
Order 10
There are two groups of order ten.
10/1 ClO over Q(WlO)
poly. XlO + 2:;=1 {(~~D + CU?)
}((tr - WlOtl + 1)t2)j x 1O- 2j
-(wIo - 4)(tl - wlOtl + 1)4t~
note This is obtained in section 4.
10/2 'D1O over Q(ws)
poly. X:J - (3ws - 1)X4 -- (5ws - 3)X;5 - (3ws - 2)X~ + t1
note This polynomial is given by Hashimoto-Miyake [5].
Explicit constructions of generic polynomials 189
Order 11
There is one group of order eleven.
11/1 Cl l over Q(Wll)
poly. XU -lltlXlU + 55(Wlltl -l)Xl:I -165((wtl -l)tl -Wl1)XII
+330(Wll (Wfl - 2)tl - Wfl + 1)X7
-462((wtl - 3Wfl + l)tl - Wfl + 2Wll)X6
-462(wtl - 3Wrl + l)(tl + 1)X5
+330(Wll (Wrl - 2)tl - Wtl
+3wfl - 1)X4 - 165((wfl - l)tl - Wfl
+2Wll)X3 + 55(Wlltl - Wfl + 1)X2 - !l(tl - wu)X - 1
note This is given by Hashimoto-Miyake [5] and Rikuna [17].
Order 12
There are five groups of order twelve.
12/1 Cl 2 over Q(WI2) = Q( v3)
poly. X l 2 + Lj=de/~[) + e~j J)}((t~ - V3tl + 1)t2)iXI2-2i
+(tl - vatl + 1)5t~
note This is obtained in section 4.
poly. +
X12 _ (tf+4)"t2 X6 (t1+W t2
t~ t~
note G. Kemper also gave a Q(w6)-generic Q12-polynomial by us-
ing dimension four version of our method in Kemper [8; 9J.
Order 13
There is one group of order thirteen.
Order 14
There are two groups of order fourteen.
Order 15
There is one group of order fifteen.
Order 16
There are fourteen groups of order sixteen. Type 16/9 and 16/13
have no faithful linear representation of dimension two. So the author
has not obtained these generic polynomials yet.
116/41 C4 x C2 X C2 over Q
note See remark 13.
poly. XS - tr
t -2
2 X4 Jl t2 2
+ (t]-2)
Q'D16 over Q( -2)
See Cs over Q( -2).
Explicit constructions of generic polynomials 193
Acknowledgments
The author would like to thank the organizers of the two conferences
in Saga and Tokyo who gave such a good opportunity of speaking and a
discussion for him. And he also expresses gratitude to Armand Brumer,
Ki-ichiro Hashimoto, Gregor Kemper, Arne Ledet, B. Heinrich Matzat,
Katsuya Miyake, and many participants in the conferences who obtained
a lot of kind advices. The author is a Research Fellow of the Japan
Society for the Promotion of Science, and this study was supported by
Grant-in-Aid for JSPS Fellows.
References
[1] The GAP Group, GAP- Groups, Algorithms, and Progmmming, Version 4.3,
2002, http://www.gap-system.org.
[2] W. Grabner, Minimalbasis der Quaternionengruppe, Monatshefte f. Math. und
Physik 41 (1934), 78-84.
[3] K. Hashimoto, Inverse Galois problems related to dihedml groups (Japanese),
Algebraic number theory and related topics (Japanese) (Kyoto, 2000), Suri-
kaisekikenkyfisho KokYUroku No. 1154 (2000), 125-136.
[4] K. Hashimoto, On Brumer's family of RM-curves of genus two, Tohoku Math.
J. 52 (2000), no. 4, 475-488.
[5] K. Hashimoto and K. Miyake, Inverse Galois problem for dihedml groups, in
"Number theory and its applications (S. Kanemitsu and K. Gyory, ed.)," 165-
181, Developments in Mathematics, 2. Kluwer Acad. Pub!., Doredrecht, 1999.
[6J K. Hashimoto and Y. Rikuna, On generic families of cyclic polynomials with
even degree, Manuscripta Math. 101 (2002), 283-288.
[7] C. Jensen, A. Ledet, and N. Yui, "Generic polynomials, constructive aspects of
the inverse Galois problem," Mathematical Sciences Research Institute Publi-
cations, Cambridge, 2003.
194 Y. RIKUNA
Masafumi IMAOKA
and Yasuhiro KISHI*
Department of Mathematics
Tokyo Metropolitan University,
Minami-ohsawa 1-1 Hachioji-shi, Tokyo,
192-0997 Japan
imaokamClcomp.metro-u.ac.jp
ykishiClcomp.metro-u.ac.jp
Introduction
The two quadratic fields Q( va) and Q( J -3d) are known to be closely
related. A. Scholz [Scl gave the "Spiegelung" relation between the 3-
ranks of their ideal class groups. In Y. Kishi [Kill, we gave a precise
Spiegelung relation by a constructive approach: every cubic polynomial
which generates a cyclic cubic extension E of Q( va) unramified outside
3 over Q(va) with Gal(E/Q) ~ Sa is constructed by making use of
an element of the associated field Q( J -3d); here S3 is the symmetric
group on three symbols. In 1972, on the other hand, G. Gras [Gd]
showed that all S3-extensions of Q containing a fixed quadratic field
Q( va) correspond to some elements of Q( J -3d) (see Example 3.4 (1)).
In this paper, we extend it for an arbitrary odd prime p over an algebraic
number field k with k n Q( () = Q, where ( is a primitive p-th root of
unity (see Section 2).
For an odd prime p and for a quadratic extension Ld k of algebraic
number fields with Ll n Q(() = Q, we define an extension L2 as follows:
L2 is the proper subextension of Ll()/k(w) other than k() and Ll(W),
w = (+(-1. Let us call L2 the associated field with Ll. The main purpose
of this paper is to show the following relation between Ll and L2: all
Dp-extensions (resp. certain types of Fp-extensions) of k containing Ll
(resp. L2) correspond to some elements of L2 (resp. L 1 ), where Dp and
*This author was supported by JSPS Res6.:::ch Fellowships for Young Scientists.
(received: Jun. 25, 2002; accepted in revised form: Oct. 15, 2002)
196 M. IMAOKA AND Y. KISHI
We list here those symbols which will be used throughout this article.
Let Q denote the field of rational numbers and Z denote the ring of
rational integers.
For an extension L I K, denote the norm map and the trace map of
LIK by NL/K and by TrL/K' respectively. For a Galois extension LIK,
Dihedral extensions and Probenius extensions 197
we denote the Galois group of Lj K by Gal(Lj K). For u, r E Gal(Lj K),
the action of the product ur on L is as usual, namely,
(a E L).
For an integer n, let en denote the cyclic group of order n. For a
prime p, let Dp and Fp denote the dihedral group of order 2p and the
Frobenius group of order p(p - 1), respectively:
Dp = (u, I, I uP = 1,2 = 1, 1,-1U I, = u- 1),
Fp = (u, I, I uP = I,p-l = 1, 1,-1U I, = u a ),
where a is a primitive root modulo p.
L ril(r)m-l-i.
m-l
t(K) :=
i=O
(a) F j K is cyclicj
(b) yT-I(T) E K(()Pj
We now state a criterion for two fields F(K"t} and F(K, ,2) with
,1, ,2 E M(K) to coincide with each other.
Proposition 1.3. For elements ,1, ,2 E M(K), the following state-
ments are equivalent:
(a) F(K"t} = F(K, ,2)j
(b) ,f112 E JJ( K) for some n E Z \ pZ.
Proof. By the definition of F(K, 'i) (i = 1,2), we have F(K, ,1) -
F(K, ,2) if and only if K(()(at} = K(O(a2) with af = ,;(K) (i = 1,2).
Dihedral extensions and Probenius extensions 199
gl(Xja) := X,
(5-1)/2
g5(X; a) := Xs - ~ aj G)9S-2 (X; a), j (s ~ 3),
J=l
( ~) = s (s - 1) .... ~ 8 - j + 1) .
J J.
Remark 1.7. By the definition of gs(Xj a), the coefficient of xn is equal
to 0 when n is even.
Lemma 1.8. Let s be an odd integer and let c(s, n) denote the coefficient
of xn of 9s(Xj a). Then
c(s, n) = {1'0, if n = s,
if n> s.
(s-1)/2
C(8, n) =- L aj (~)C(8 - 2j, n)
j=l J
(s-n)/2
=- L aj (~)C(8 - 2j, n) (1.2)
j=l J
for n < s.
Both sides of (1.1) are equal to 1 for 8 = 1. Assume that the relation
(1.1) holds for all s, s:S 1 - 2, and for all g, O:S 9 :S (s - 1)/2. We will
show that the relation (1.1) holds for 8 = I and for aUg, 05 9 5 (l-1)/2,
by mathematical induction on g.
Dihedral extensions and Frobenius extensions 201
It is clear that (1.1) holds in case 9 = O. Assume that (1.1) holds for
all g, 0 ~ 9 ~ k. Then by (1.2) and the assumptions,
c(l, 1 - 2(k + 1)) = c(l, 1 - 2k - 2)
(1-(1-2k-2j2
=- ~ aj (l.)C(l-2j , l-2k-2)
3=1 \.j
k+1 . (l)
=- 2:a3 . c(l-2j, l-2j-2(k+1-j))
j=l J
k+1 .fl) .
= _ ~a3 \j (_a)k+1-3
3=1
x 1-
2j (l - 2j - (k + 1 - j) - 1)
l- 2j - 2(k + 1 - j) k + 1- j
I:
i=k-t+1
(-1)i (l _2j) (l.) (l ~ k ~ ~ -. j)
J + J
= (_1)k-t+l (t + 1)(k - t + 1) (1 ) (l - 2k - 2 + t).
k+1 k-t+1 t+1
Proof. A straightforward calculation, by mathematical induction on t,
gives this equation. 0
Take t = k in Lemma 1.9. Then we have
~(-1)i(l- 2')
~ J
(1) (1-k+1-j
j
k - 2- j) = _ (k (1) (1-k+1
+ 1) . 1
k+1
k - 2)
1
=_1(1-k-2)
3=1
k +1 .
(1- + 2)
Therefore
(_1)k+1 ak+l k-
c(l, 1 - 2(k + 1)) = 1 _ 2k _ 2 1 k 1
(p - kk-1)XP- 2k _ N(,)(p-l)/2'Ir(,)
(p-1)/2
= L (-N(r))k_P-
k::::O p - 2k
(p-l)/2
TrE)/E(a)P - ~ N(r)j (~) (aP- 2j + (a T )p-2j)
- N(r)(p-l)/2Tr(,) = o. (1.6)
Next we will show that
(1.7)
for all odd integers 8. It is clear that the equation (1.7) holds in case
8 = 1. By the definition of 9s(Xj a) and the relation (1.5), we see that
9s(TrE()/E(a)j N(r))
(s-I)/2
= TrE()/E(a)S - ~
3=1
N(r)j G.) 9s-2j (TrE()/E(a)j N(,))
= as + (aT)S
(s-I)/2
+ ~ N(,)j G.) (a s- 2j + (aT)s-2j - 9s-2j(TrE()/E(a)j N(,)).
3=1
Hence if the equation (1.7) holds in all cases of odd integers less than 8,
then we have 9s(Tr E)/E(a)j N(r)) = as + (aT)s.
We define a polynomial !p(Xj,) as follows:
!p(Xj,) := 9p(X; N(,)) - N(r)(p-l)/2Tr(r).
= TrE()/E(a)P
(p-l)/2
- L N(r)j (~) (aP- 2j + (a T)p-2j) - N(r)(p-1)/2Tr(r)
j=1 J
= o.
204 M. IMAOKA AND Y. KISHI
respectively.
Figure 1.
For an algebraic number field L, let teL) and M(L) be the same
notation as in Section 1. For an element "( E M(L), let the definition of
the field F(L, "() be as in Theorem 1.2 (1). Our main theorem states
G = (u, p).
then E' is normal over L7l'(2) of degree pm7l'(1)' Let a' and ~' be generators
of Gal(E'IL7l'(1)(()) and Gal(E'IL7l'(2)({!8t(L7I"(1))), respectively. Then
by Proposition 2.2, the Galois group Gal(E' I L7l'(2) is
The last relation does not depend on the choice of u and p. Indeed, if
we change 0' to u i satisfying the condition (ii), then we have
/,-10'il, = (1,- 1UI,)i = (O'l(p)i = (ui)l(p),
and if we change p to pi, then we have
Since
IT IT
m 7r (l)-l m 7r (l)-l
= ((l(p)-S nylS = (3 (l(p)8 1(p)-S = (3(m 7r (l)
8=0 8=0
and m 7r (l) '= 0 (mod p), we have (3(11 i= (3. Then we get (3 L7r(l)(()
and E1 = L7r(2) ((3). Therefore we have E(() = L 7r (l)(()((3), and hence
E = F(L7r(l) , 8). This completes the proof of Theorem 2.1. 0
Remarks 2.4. (1) When 7r is the identity in Theorem 2.1, we see that
every Dp-extension of k containing L1 is given as F(L1' 8) for some
8 E M(L1) n L2. This was shown in the case k = Q by G. Gras [Gr1,
Section 3].
(2) When 7r is not trivial in Theorem 2.1, we see that a certain Fp-
extension of k containing L2 is given as F(L2' 8) for some 8 E M(L2)nL1;
in this case, gep.8rators (J' and t of the Galois group Gal(F(L2,8))/k)
satisfying the conditions (i) and (ii) of Theorem 2.1 must also satisfy the
condition (iii) of Theorem 2.1. In general, however, there are <pep - 1)
primitive roots modulo p, where <p is the Euler function. Hence a natural
question arises: Are there Fp-extensions E of k containing L2 whose
Galois group have generators (J' and t satisfying the conditions (i), (ii)
of Theorem 2.1, and
(iii') t -1(J't = (J'b,
where b is anyone of primitive roots modulo p except l(p)?
Assume that p satisfies p == 1 (mod 4). Then there exists a quadratic
extension of k other than L1 which is contained in L1 (() but is not
contained in k( O. We denote it by L~. Let T be a generator of the
Galois group Gal(L2(O/ L2)' Then we have (T = (-1 and L~ is the fixed
field of (T p). For 8' E M (L 2) n L 1, therefore, E = F (L2' 8') contains
L2 and the Galois group Gal(E/k) has generators (J' and t satisfying the
conditions
(i) tlL2 = (Tp) IL2 = p1L2'
(ii) (J'P = tp- 1 = 1,
and
(iii") t- 1 (J't = (J'-l(p)
because
Dihedral extensions and Frobenius extensions 209
L L L L
m7l"(2)-1 ') P m7l"(2)-1 , m7l"(2)-1 , m7l"(2)-1
wP = ( (3T' = (3T'P = (3PT' = (3Ti = W,
i=O i=O i=O i=O
Figure 2.
L7r(1) (\lI)
m1r~
k(\lI) p, normal
k~l)
Corollary 2.6. Let the notation be as in Theorem 2.1. Let fp(X; 6) be
a polynomial defined in Proposition 1.10, where N = NLl/k and Tr =
TrLl/ k. Then for 8 E M(L 2) nL 1, the minimal splitting field of fp(X; 8)
over k is an Fp-extension of k containing L 2. Conversely, every Galois
extension E of k containing L2 with the Galois group
Gal(Ejk) = (a, ~ IaP = i P- 1 = 1, i- 1ai = al(p))
with ilL2 = PIL2 is given as the minimal splitting field of fp(X; 8) over k
for some 8 E M(L2) n L 1.
In [Ki2) and [Ki3), by utilizing this corollary, Y. Kishi gave infinitely
many cyclic fields of degree p - 1 containing Q(w) whose class numbers
are divisible by p for each odd prime p.
Theorem 2.7. Let k be the rational number field Q and L1 be a real
quadratic field. Then the associated field L2 with L1 is an imaginary
cyclic field of degree p - 1. Assume that there exist a unit IE of L1 with
IE ~ Ll which satisfies the conditions either
3. Examples
Let the notation be as in Section 1 and suppose that ( . K. First
we construct Cp-polynomials over K for p = 3 or 5 explicitly. For 1 E
M(K), we put E := F(K, I)' For t'CK) E T(K), let hi(X; t'CK), I) (1 ::;
i ::; 3) in the following examples denote the minimal polynomial of W :=
TrE((,)/E( {//t'(K) over K.
Example 3.1. (cf. [Gr1, p.182], [Ch, Proposition 2], [Co, Chapter 5,
Examples (1), p.253].) The case p = 3. We have [K(() : K] = 2.
Since 2 is a primitive root modulo 3, we may take the generator r of
Gal(K(()/K) with (T = (2. Then we have t(K) = 2 + r, and hence
for'Y E M(K).
Next we give examples for the dihedral and Frobenius cases. From
now on, let the notation be as in Section 2.
Example 3.4. Let k be an algebraic number field. Put L1 := k( Vd),
dE k. Then we have
k(J-3d), if p = 3,
{
L2 = k ( y'r---1O-d-+-2-d-J5=5') , if P = 5.
(1) Take K = L 1r (l) in Example 3.1. Then by Proposition 2.5, we see
that every S3( = D3 = F 3 )-extension of k containing L1r (I) is given by the
roots of the polynomial hI (X; t(L1r (I), 6) for some 6 E M(L 1r (1) n L 1r (2) ,
where N = N L7r (2)/k and Tr = Tr L7r (2)/k'
(2) Take K = L2 in Example 3.2. Since p = 5 == 1 (mod 4), as we
have seen in Remark 2.4, there exist two quadratic extensions L1 and
L~ = k( V5d) of k associated with L2. On the other hand, there exist
two primitive roots modulo 5. By Proposition 2.5, therefore, we see
that every F 5-extension of k containing L2 is given by the roots of the
polynomial h2(X; t'(L2), 6) for some 6 E M(L2) nL1 or 6 E M(L2) nL~,
where N = N L1 / k , Tr = TrLl/k or N = NL~/k' Tr = TrL~/k'
(3) Take K = Ll in Example 3.3. Then by Proposition 2.5, we see
that every D 5-extension of k containing Ll is given by the roots of the
polynomial h3(X; t'(Ll), 6) for some 6 E M(L 1 ) n L2, where NK((,)/K =
N L2 / k , TrK((,)/K = TrL2/k and NK(w)/KTrK((,)/K(w) = N k(w)/k Tr L2/k(w)'
Example 3.5. H. Hasse gave a polynomial which generates an unram-
ified cyclic quintic extension E of L1 = Q( J-47) and a Ds-extension of
Q (see [Ha, p. 434]). This polynomial is given as our h3 (- X; t' (L 1 ), 61 )
with ( = e21rA/ s and
82 := N L1 ((,)/L2(81)
nine pairs (d, m) such that the clas.:; number of Kd,m is one: their pairs
are (d, m) = (-3,1), (-7,1), (-15,1), (-19,1), (-23,1), (-31,1),
(-35,1), (-39,1), (-47,1).
4. Appendix
Let p be a fixed odd prime and ( be a primitive p-th root of unity.
For an algebraic number field K and an integral divisor f of K, we
denote the congruent ideal class group modulo f of K by ClK(f). For
simplicity, we denote ClK if f = 1; that is, ClK is the absolute ideal class
group of K. Moreover SK denote the set of prime divisors lying over p
in K, and GK,SK (resp. Gw'SK) denote the Galois group of the maximal
extension (resp. maximal abelian extension) of K unramified outside SK
over K.
For a character X of a finite abelian group G with (#G,p) = 1 and
an lFp[G]-module M, we denote the x-component of M by M&; that is,
Mfj = exM where
1 '~x(a)a
ex = #G " -1 .
(TEG
p:= dimlFp(GL~,SL)pGL~,SL)'
,. x'
p := dlmlFp ( ClL2/pCIL2) ~ .
We note that by Class Field Theory we have
pi + 8 + 1, if P ~ 5,
p- {
- pi + 8 + c + 1] + 1, if P = 3,
Dihedral extensions and Frobenius extensions 215
where
where ~ is the map (a v) 1-+ ~VESLIW av. Then by Lemma 4.4, we have
an exact sequence
is also exact.
Now in general for an IFp[~]-module M, we have
p-2
(MJ.t:-1)A = $(MtJ.t:-1)A = M':%.J.t:- 1 = (MXEfJMf)J.t:- 1.
i=O
Therefore we have
where
From this, together with (4.4), (4.5), and the exact sequence (4.7), we
have
= #T #U. (4.8)
.
Let us calculate #T. Smce x*
(C4J!((),sQw/pC~(),sQ(~).& = 0, we have
218 M. IMAOKA AND Y. KISHI
Let S,J,l be a prime divisor lying over pin L2: S,J,l E 8L2'
The case [qJ] E pCIL2' It follows from CIL2, 8L 2 = CIL2/([qJ]) that
CIL2,8L2/pCIL2,sL2 = CIL2/pCIL2' Hence we have
x* ,
#T = #(ClL2/pClL2) b. = pP .
is exact and
if p ~ 5,
if p = 3,
we have
if p ~ 5,
if p = 3.
and hence
#U = {1,
p,
if p ~ 5,
if P = 3.
Dihedral extensions and Probenius extensions 219
p. #T #U =
pP
{I,
p-l,
if Ll is real,
if Ll is imaginary.
Hence by
PPI, if P ~ 5 or [~] E pCIL2'
{
#T = pp'-l, if p = 3 and [~] f/. pCIL2 j
#U = {I, p,
if p ~ 5 or #8L2 = 1,
if p = 3 and #8L2 = 2,
Acknowledgments
The authors would like to thank Professor Ryotaro Okazaki whose
suggestions led to the improvement of this paper. They would also like
to thank Professor Masato Kurihara for his suggestions and comments
on Section 4.
References
[Ch] R. J. Chapman, Automorphism polynomials in cyclic cubic extensions, J.
Number Theory 61 (1996), 283-291.
[Co] H. Cohen, "Advanced topics in computational number theory," Graduate
Texts in Mathematics, 193. Springer-Verlag, New York, 2000.
[Grl] G. Gras, Extensions abeliennes non ramifiees de degre premier d'un corps
quadratique, Bull. Soc. Math. France 100 (1972), 177-193.
[Gr2] G. Gras, TMoremes de refiexion, J. TMor. Nombres Bordeaux 10 (1998),
399-499.
[Ha] H. Hasse, Uber den Klassenkorper %'Um quadratischen Zahlkorper mit der
Diskriminante -47, Acta Arith. 9 (1964), 419-434.
[1m] M. Imaoka, Fundamental units in a family of cubic fields with negative dis-
criminants, preprint.
220 M. IMAOKA AND Y. KISHI
ON THE NON-EXISTENCE
OF CERTAIN GALOIS EXTENSIONS
Hyunsuk MOON*
Graduate School of Mathematics
Kyushu University 33
F'ukuoka 812-8581, Japan
moontOmath. kyushu-u .ac.jp
Introduction
In this article, we give a survey of my results on the non-existence
and finiteness of certain Galois extensions of the rational number field
Q with prescribed ramification. The detail has been (will be) published
in [8], [9], [10], [11], [12].
First, we begin with Serre's conjecture, which is our motivation, and
explain how this conjecture implies the non-existence and finiteness of
certain Galois extensions of Q. Second, we recall what is known on
the non-existence together with the main ingredients in the proofs, and
sketch the proof of some of my results presented at the Conference.
Third, we state a generalized finiteness problem and summarize my re-
sults on this problem.
1. Serre's conjecture
Let GQ be the absolute Galois group Gal(Q/Q) and iFp an algebraic
closure of the finite field lFp of p elements. Serre ([14]) conjectured that
every odd and irreducible continuous Galois representation p : GQ --+
GL2(iFp) would be isomorphic to the representaion PI associated to a
mod p cuspidal eigenform f. More strongly, Serre also conjectured that
such an eigenform exists of a certain "minimal" type (N (p), k(p), c(p)).
Now we recall the definition of N(p) and k(p). Consider a representa-
tion p : GQ --+ GL(V) ~ GL2(iFp), where V is a two-dimensional vector
space over iFp. Let K/Q be a finite Galois extension such that p factors
The author was supported by the JSPS Postdoctoral Fellowship for Foreign Researchers.
[received: May 26, 2002; accepted: Oct. 14, 2002)
222 H. MOON
n(l,p) := t, ~
(Go G,) dim.,(VjV G,),
For other cases, see [4], [14] (if P = 2, we adopt the definition in [4]
rather than the original one of Serre [14]). According to the definition,
we have k(p) ::; p2 - 1. After twisting p by a power of the cyclotomic
char~cter, we can reduce the weight so that k(p) ::; p 1:.1; indeed if we
put k(p) := k(p X-a) with 0: as above, then we have k(p) ~ p + 1.
This is a very strong conjecture, and there are many consequences of
it. In particular, we are interested in the following ones:
For p = 2,3,5,7, there are no Galois representations p : GIQ ~ GL2(fp)
which are odd, irreducible and unramified outside p, since cusp forms
for SL 2(Z) do not exist for k < 12 .
For a given integer N, there exist only finitely many Galois represen-
tations p : GIQ ~ GL2(fp) up to isomorphism which are odd, irreducible
and N(p)IN, since normalized eigenforms for rl(N) are finite in number
if their weights are bounded.
On the non-existence of certain Galois extensions 223
2. The non-existence
We recall what is known about the above-mentioned non-existence
implied by Serre's conjecture. Tate ([16]) showed the non-existence in
the case of p = 2, and Serre also remarked that this can be extended
to the case of p = 3 by the same method. Recently Brueggeman ([2])
showed the non-existence in the case of p = 5 assuming the Generalized
Riemann Hypothesis (GRH). All these results are proved basically by
the same principle. That is by comparing two esimates for discriminants
of opposite directions. We let KjQ be the corresponding field to Ker(p).
Using class field theory, we estimate from above the discriminant of the
field K. On the other hand, we have a lower bound of the discriminant
by Odlyzko. Then the non-existence follows from the contradiction of
these two inequalities. This method is vital. For example, using this
method, Fontaine ([5]) showed the non-existence of abelian schemes over
Z. Along this line, we show the non-existence of some representations
having non-trivial Artin conductor N(p) outside p ([10)):
Theorem 1. (1) There exist no non-trivial Galois representations p :
GQ -+ GL2(iF2) which are semisimple and have N(p) dividing 3.
(2) Assume the GRH. Let p : GQ -+ GL2(iF3) be a non-trivial semisimple
representation with N(p) dividing 2. Then p ~ 16:) X3 or X3 6:) X3, where
X3 is the mod 3 cyclotomic chamcter.
Solvable case:
Suppose G is solvable. When G is a reducible subgroup of GL2(1F3),
simisimplicity implies that the non-trivial representations are precisely
those listed in Theorem 1(2).
When G is an irreducible subgroup, we use the follwing Lemma ([15]):
Lemma 3. Let G be an irreducible solvable subgroup ofGL2(iFp ) and H
its maximal abelian normal subgroup. Let A be a normal subgroup of G
such that AIH is a maximal abelian normal subgroup of GIH. Then G
is either of the following types:
or
1~A ~ G ~ G ~ 1, G C 53 (:::: SL2(1F2)),
c if; ,
(G2)
1 ~ H ~ A ~ A ~ 1, H A c (Z/2)2.
Furthermore, if G is maximal, then all the inclusions are the equalities.
If p = 2, only type (Gt) is possible. Also, G acts on A by conjugation,
and G injects into Aut(A), since A is its own centmlizer in GIH.
Apply this Lemma to our G. If G is of type (G 1), then K is an abelian
extension of degree prime to 3 over the quadratic field F = Q(;=3).
This field F has class number 1 and 0F,3 = 1F3 x (pro-3 group), kF,2 =
1F~ , OF :::: Z/6. Here OF is the ring of integers of F, OF,p := OF z Zp
and kF,p is the maximal prime-to-p quotient of 0F,p. Hence, by class
field theory, there is no abelian extension K/ F of degree prime to 3.
Thus K = F = Q(A).
Next, we suppose that G is of type (G2). The quotient group G of
G is contained in 53. We consider each of the cases G = 53, 03, 02
and trivial. For example, if G = 0 3 , then we have just one C3-extension
of Q, that is Q((g + (i 1 ). This field does not have a (Z/2)2-extension
unramified outside 3. Indeed, such an extension would produce a 2-
extension of Q((g) unramified outside 3, which does not exist. Since
G ~ Aut(A), it is impossible that G = 03. Hence G is abelian .
Non-solvable case:
First, we introduce two estimates for discriminants of opposite direc-
tions:
Lemma 4 (Tate, [16]). Let K/Q be a finite Galois extension of de-
gree n with Galois group G. Suppose that there is an embedding p :
G ~ GL2(iFp). Then the p-part d~~Q of the discriminant dKjQ of K/Q
satisfies the following estimates:
On the non-existence of certain Galois extensions 225
\d \l/n {21.6169 if m = 2,
(2.4)
L < 25.9605 if m ~ 3.
226 H. MOON
3.2 Results
In this section, we survey my results on (FP) with a brief sketch of
the proofs. First, we discuss the Finiteness Problem in the case where
K = Q, N = 1 and, p and d are small. Let Xp,d be the set of isomorphism
classes of continuous semisimple representations P : GQ - GLd(iFp)
unramified outside p, and X:'d the subset of Xp,d consisting of those p's
of which the field corresponding to the kernel is totally real (in other
words, pis unramified also at 00). Then we have ([8]):
Theorem 7. (1) The set Xr,4 is finite. Under GRH, the sets X2,4 and
Xr,s are finite.
228 H. MOON
rlog d"l
c < rlog d"l + 1 + 2
2 p-l
The finiteness statement holds true also for classical Artin repre-
sentations, i.e., if we replace iFp by the complex number field C and
N(p) by the usual Artin conductor. Theorem 9 is proved by combining
the Hermite-Minkowski theorem on discriminants and class field theory
(finiteness of abelian extensions of bounded conductor) with a theorem
of Mal'cev and Kolchin ([15]) on the structure of finite solvable sub-
groups of GLd(iFp). Also, in [11], the Finiteness Problem is reduced to a
special case in which the image of p is a finite simple group of Lie type in
characteristic p. This is based on a theorem of Larsen and Pink ([7]) on
the structure of finite subgroups of GLd(iFp). Furthermore, these results
hold also for function fields K in one variable over a finite field, under
the reasonable condition that there are no constant field extensions.
On the non-existence of certain Galois extensions 229
2n2+n+1 (ILl) (2
1l"n
!
+2 np
n n-1N)n 2n-1N n
p .
_2n_(_n+_l_)"":;(1:-1_.1....:;)_n , n2 n(2n-l)Nn2
2 n.n P .
1l"n
A sharper estimate is given in [9]. The outline of the proof is: First,
we bound the discriminant of K and the conductor of X when the con-
ductor of p = Ind~ X is given. We give an upper bound of the number
of algebraic number fields K of degree n and discriminant (outside p)
dividing D in terms of n, p and D. For a given K, we give an upper
bound for the number of characters X of GK with a given Artin conduc-
tor N. Combining these results together, we obtain the above Theorem
(i). Finally, we deduce the estimate of the order of the image of Ind~x
from that of the image of X by group theoretic arguments.
Recently, we refined Tate's bound in terms of the reduced Serre weight
k{p) of 1 ([12]).
k-1 k-1+d
1+ -- - if 2 ~ k
Vp('DK/Qp) = { P -l (p - l)~m
~ p,
2 + (p _ l)p - (p -l)pm if k = p + 1.
Then, using this Lemma, we can prove that there exist no continuous
irreducible representations p : GQ --+ GL2(iFp) unramified outside p for
p ~ 19 and with small Serre weight k. For example, there exist no
such representations in the cases p = 17 (k = 2,3,5,7), and p = 19
(k = 2,3,5,7).
References
[1] A. Ash and W. Sinnott, An analogue of Serre's conjecture for Galois representa-
tions and Hecke eigenclasses in the mod-p cohomology ofGL(n,Z), Duke Math.
J. 105 (2000), 1-24.
[2] S. Brueggeman, The nonexistence of certain Galois extensions unramified out-
side 5, J. Number Theory 75 (1999), 47-52.
[3] L. E. Dickson, "Linear Groups," Dover, New York, 1958.
[4] B. Edixhoven, Serre's Conjectures, in "Modular forms and Fermat's Last The-
orem," 209-242, Springer-Verlag, 1997.
[5] J.-M. Fontaine, Il n'y a pas de variete abelienne sur Z, Invent. Math. 81 (1985),
515-538.
[6] C. Khare, Conjectures on finiteness ofmodp Galois representations, J. Ramanu-
jan Math. Soc. 15 (2000), 23-42.
[7] M. J. Larsen and R. Pink, Finite subgroups of algebmic groups, preprint (1998).
[8] H. Moon, Finiteness results on certain mod p Galois representations, J. Number
Theory 84 (2000), 156-165.
[9) H. Moon, The number of monomial mod p Galois representations with bounded
conductor, Tohoku Math. J. 55 (2003), 89-98.
[10] H. Moon, The non-existence of certain mod p Galois representations, to appear
in Bulletin of Korean Math. Soc.
[11] H. Moon and Y. Taguchi, Mod p Galois representations of solvable image, Proc.
Amer. Math. Soc. 129 (2001), 2529-2534.
[12] H. Moon and Y. Taguchi, Refinement of Tate's discriminant bound and non-
existence theorems for mod p Galois representations, to appear.
[13] G. Poitou, Sur les petits discriminants, in "Seminaire Delange-Pisot-Poitou, 18e
annee: (1976/77), Theorie des nombres, Fasc. 1," Exp. No.6, Secretariat Math.,
Paris, 1977.
[14] J.-P. Serre, Sur les representations modulaires de degre 2 de Gal(Q/Q), Duke
Math. J. 54 (1987), 179-230.
On the non-existence of certain Galois extensions 231
[15J D. A. Suprunenko, "Matrix Groups," American Mathematical Society, Provi-
dence, R.I., 1976.
[16J J. Tate, The non-existence of certain Galois extensions ofQ unramified outside
2, Contemp. Math. 174 (1994), 153-156.
Galois Theory and Modular Forms pp 233-268
K. Hashimoto, K. Miyake, and H. Nakamura, Editors
2003 Kluwer Academic Publishers
FROBENIUS MODULES
AND GALOIS GROUPS
B. Heinrich MATZAT
Interdiszipliniires Zentrum
fur Wissenschaftliches Rechnen (IWR)
der Universitiit Heidelberg,
1m Neuenheimer Feld 968
69120 Heidelberg, Germany
[email protected]
Contents:
Introduction
I. Finite Frobenius Modules
1. The Solution Field of a Finite Frobenius Module
2. Cyclic Frobenius Modules
3. The Associated ID-Module
4. The Galois Group of a Finite Frobenius Module
5. Effective Finite Frobenius Modules
II. p-adic Frobenius Modules
6. Integral p-adic Frobenius Modules
7. The Associated D-Module
8. The Solution Field of an Integral DF-Module
9. Frobenius Automorphism Groups
10. Reduction of p-adic DF-Modules
Introduction
In these notes some basic facts on Frobenius modules are collected.
Frobenius modules are finite-dimensional vector spaces over fields with
a Frobenius endomorphism </>, provided with an injective </>-semilinear
Frobenius operator ~.
The first part is devoted to Frobenius modules M over fields F of pos-
itive characteristic. It is shown that for any such Frobenius module M
[received: September 11, 2002; accepted in revised form: February 25, 2003]
234 B. H. MATZAT
(3)
is called the solution space of (M,<I?q). Further (M,<I?q) is said to be
trivial if Sol4>(M) contains an F-basis of M. Obviously for a Frobenius
field (E,<p:) with E ~ F and Frobenius endomorphism <P: extending <pq
the tensor product ME := EFM in a natural way becomes a Frobenius
module over E. By abuse of notation
(4)
is called the solution space of Mover E and M is trivial over E if
Sol~(M) contains an E-basis of ME.
Corollary 1.3. The field E is the solution field of the finite Probenius
module (M,4>q) over F if and only if the following holds:
m
Proof. Let E / P be a solution field of M and x = By = L biYi E
i=1
Sol~(M), i.e., y = D</>q(Y) = Dyq.
( q; )
Since F possesses more than
elements, there exists an F -linear combination Z = t
~=1
CiYi
z~
Zm )
= det(Z) (8)
qm-l
Zm
238 B. H. MATZAT
is different from zero ([5], Lemma 1.3.3). All Zj are F-linear combi-
zt.
nations of the Yi. Because of >q(Y) = D- 1 Y for the given solution
matrix Y the same holds for the powers Hence there exists a matrix
C E GLm(F) such that Z = CY. From this equation we obtain
D = Y <pq(y)-l = 0- 1 Z<pq(Zr 1<pq(C) = C- 1D<pq(C) (9)
with
0 1 0 0
jj-l= (10)
0
0 0 1
-aD -am-l
where the entries ai are the coefficients of the additive polynomial f (X).
Thus D is Frobenius equivalent to D. The image of the basis 13 :=
BC- 1 = {b- 1 , ... , -bm } is
~q(13) = BC- 1CD>q(C)-1 = 13D
- a1 - - a m -1 - 1-
= (b2 - - bl,." ,bm - - - bl, - - bm ). (11)
ao ao ao
Hence b := b1 defines a ~q-basis of M. 0
Another proof for Theorem 2.1 with F infinite can be found in [16],
Lemma 3.3. The polynomial f(X) E F[X] in the proof only depends on
the <I>q-basis {b} of M and ~s called the characteristic polynomial fb of
M with respect to b. Obviously, the splitting field of fb over F coincides
with the solution field of (M", ~q).
2.2. Given a cyclic Frobenius module with ~q-basis {b} and with
corresponding fundamental solution matrix Z as in the proof of Theorem
2.1 (with respect to the basis 13 with b1 = b, b2 = ~q(bd+~ b1 , , bm =
~q(bm-1) + a';;~l b1), we obtain the characteristic polynomial fb in the
following way (compare [5], Lemma 1.3.6).
Corollary 2.2. Let (M, ~q) be a cyclic Probenius module with ~q-basis
{b}. Then the characteristic polynomial of M with respect to b equals
z~
Zm )
m-l
z~
(12)
Frobenius modules and Galois groups 239
denotes the corresponding fundamental solution matrix.
a(i) a(j) _
F F -
( i +ij F
) a(i+j)
' (15)
a series of subfields Fz := n
Such a field sometimes is called an ID-field for short ([8], 1.1). It defines
Ker(ar) whose intersection K is the field
j<l
of constants of F, i.e.,
K = nFz
leN
= {a E F I a~)(a) = 0 for k > a}. (16)
3.2. A vector space M over an ID-field (F, aF) with a family of maps
aM = (aft) is called an iterative differential module (or ID-module
keN
for short) if aM fulfills (13), (15) and for a E F, x E M
for the scalar multiplication (instead of (14)). Now we want to show that
any finite Frobenius module over an IDF-field in a natural way becomes
an ID-module.
Proposition 3.1. Let (M, <Pq), q = pd, be a finite Frobenius module
over an IDF -field (F, a F,p) .
240 B. H. MATZAT
ott) = 'Po 0 . 0 'Pl-l 0 oe;) 0 'Pl':l 0 0 'POl for k < pdl, (19)
This shows the uniqueness and (b). On the other hand the formula in
(b) defines an iterative derivation oM on M with the property ~~(M) =
nKer(o~)
j<dl
(compare [9], Prop. 5.1 or [8], Thm. 2.8). 0
The ID-module (M, aM' ~q) in Proposition 3.1 is called the ID-module
associated to (M, ~q), and the triple (M, aM' ~q) is an ID-module with
Frobenius structure or an IDF-module for short.
Sol(M):= n
l~kEN
Ker(o~). (21)
0E extending of'
If E / F is a field extension with an iterative derivation
the tensor product ME := E F M becomes an ID-module over E by
This implies
m
n<p~(M) = EBKb; = SolE(M). (29)
lEN i=l
Proposition 4.1. Let (M, <P q) be a finite Frobenius module over a finite
Frobenius field (F, <pq) with solution field E and let Y, Y E GL m (E) be two
fundamental solution matrices of (M, <Pq). Then there exists a matrix
C E GLm(lFq) such that Y = YC.
Corollary 4.2. The Galois group Gal~ (M) of a finite Frobenius module
(M,<Pq) of dimension m is isomorphic to a subgroup ofGLm(lFq).
Proof. Let E be a solution field of (M, <Pq) and Y E GLm(E) be a fun-
damental solution matrix. Then for any, E Gal~(M) = Gal(Ej F) the
matrix ,(Y) again is a fundamental solution matrix of (M, <Pq). Hence by
Proposition 4.1 there exists a matrix C-y E GLm(IFq) with ,(Y) '-' YC-y.
Then
(30)
defines a linear representation which is faithful because of E = F(Y). 0
Frobenius modules and Galois groups 243
4.3. Lower bounds for the Galois group Gal4>(M) can be obtained by
an analogue of the Dedckind criterion for linear groups. This is based
on
Proposition 4.4. Let (M,41q) be a finite Probenius module over a finite
field F ~ lFq with [F: IFq] =: f and D = DB{4>q) a representing matrix
of 4>q with respect to a basis B of M. Then
The proof of Proposition 4.4 shows more precisely that the linear
group r(Gal4>(M :::; GLm(iFp) given by (31) contains a subgroup H
which inside GLm(E) is conjugate to (fj). This is the key of the following
"Linear Dedekind Criterion" .
244 B. H. MATZAT
Theorem 4.5. Let (M, ~q) be a finite Probenius module over a global
field (F, q) with F ~ IFq. Let OQ :::; F be a valuation ring with valuation
ideal PQ and with residue field FQ := OQ/PQ :::; iFp . Assume D =
DB{~q) belongs to GLm{OQ) with residue matrixDQ E GLm{FQ). Then
Gal~{M) :::; GLm{lFq) contains a matrix CQ in GLm{FQ) conjugate to
~ t
DQ := DQcpq(DQ)'" cPq Q- (DQ)
1
with fQ := [FQ : IFqJ. (34)
Proof. Let E/ F be a solution field of (M, ~q) and Y E GLm(E) a funda-
mental solution matrix. Then from q(Y) = D-Iy with D E GLm(OQ)
we obtain Yij E Oij for all r,oefficients Yij of Y and all valuation ideals
Pij in E extending PQ and in addition det(Y) E O~. Hence the reduc-
tion Yij of Y is well defined and belongs to the linear group GLm(Eij)
over the residue field Eij := Oij/Pij. Over Eij the reduced equation
Yij = DQq(Yij) holds. Hence Eij contains the solution field EQ of the
reduced Frobenius module (MQ' ~Q) whose representing matrix of ~Q
with respect to the reduced basis coincides with DQ. From Eij = FQ(Yij)
finally follows Eij = EQ. .
Since FQ is a finite field, the Galois extension EQ/ FQ is cyclic and
its Galois group is generated by the power CPQ = CPtQ of the Frobenius
automorphism. By Proposition 4.4 the matrix CQ defined by Q(Yij) =
YijCQ fulfills CQ = Y<i 1DQIyQ. Now let E Gal{E/ F) be a pre-image
of Q which is trivial on the decomposition field Tij of Pij/PQ. Then
there exists a matrix C4J E GLm{lFq) with (Y) = YC4J. Reducing
modulo Pij we obtain Q{Yij) = YijC4J from which C4J = CQ follows.
This proves the theorem. 0
From the uniqueness of C4J in the above proof we obtain the unique-
ness of the lift of Q inside Gal{E/Tij)' This implies that under the
condition D E GLm(OQ) all extensions of valuation ideals Pij ~ PQ are
unramified in E / F.
4.4. The following simple example shows how Theorems 4.3 and 4.5
can be combined to determine the Galois group of a finite Frobenius
module. Let M = FbI ffi Fb2 be a 2-dimensional Frobenius module
over F = lFp{t) with D = DB{~p) = (~ t~1 ). Obviously D is an
element of the connected Borel subgroup B2(F) :::; SL 2(F). Hence by
Theorem 4.2 Gal~(M) :::; B2{lFp). The latter is a group of order p(P-1).
Reducing modulo PQ = (t -1) we obtain DQ = (~ i) E SL2{lFp) of
Frobenius modules and Galois groups 245
5.2. Now let (M, ~q) be a finite Frobenius module over an arbitrary
finite Frobenius field (F, q). Then (M, ~q) is called an effective Frobe-
nius module if there exists a reduced connected linear algebraic group g
defined over IFq such that the representing matrix D = DB(~q) belongs
to g(F) (for a suitable basis B of M) and in addition Gal4>(M) = g(lF'q).
Correspondingly a finite Galois extension ElF is called an effective Ga-
lois extension if E is the solution field of an effective Frobenius module
over F.
The following theorem shows the existence of effective Galois exten-
sions in some interesting C9Ses:
246 B. H. MATZAT
6.2. Now let (F,4>f) be any p-adic Frobenius field with F ~ Qq.
Then a finite-dimensional F-vector space with an injective 4>[-semilinear
map ~: : M - M is called a p-adic Probenius module. The solution
spaces Sol~(M) and Sol~(M) := Sol~(E 0F M) for a p-adic Frobenius
extension field E / F are defined exactly as in the finite case in Section 1.1,
in particular M is called trivial over E if Solk(M) contains a basis of
the E-vector space ME := E F M.
Proposition 6.1. Let (M, ~f) be a p-adic Probenius module over a
p-adic Probenius field (F, 4>f) with F ~ Qp. Then the following holds:
(a) For all p-adic Frobenius extension fields E / F the solution space
Solk(M) of Mover E is a vector space over the field of 4>:-
invariants E4> := E<4>:> with
(c) Any two matrices Y, Y E GLm(E) with the properly in (b) only
differ by a matrix C E GL m (E4, i.e., Y= Y . C.
The proofs are exactly the same as in the finite case (compare Thm. 1.1
and Prop. 4.1) with IF q substituted by E4>.
A Frobenius field (E, 4>:) ~ (F, m~') containing a fundamental solution
matrix Y as in Proposition 6.1(b) is called a solution field of (M, ~f),
248 B. H. MATZAT
Since the reduced equation C}o = eq(iil ) - iiI with the q-power Frobe-
nius endomorphism q over ib has a solution matrix HI over a finite
Probenius modules and Galois groups 249
extension I'd Fo there exists a Frobenius field (Fl' cf{l) unramified and
of finite degree over (Fo,</{O) and a matrix Dl = J + rHl E GLm(Fl)
such that
D- l = <1>:0 (DO)q{l (Dd(J + r 2GI)D1l DOl with Gl E OF{xm.
(40)
Thus by induction we obtal!I a tower of unramified field extensions F :::;
Fa:::; Fl :::; .,. :::; Fl inside E and matrices Dl E GLm(Fl) such that
D- l == <I>:O(Do)'" <l>f1(D,)Dl- l ... DOl (mod rl+ l ). (41)
l F F . of(f(t)) ( )
UF 0 q = ZF . q 0 OF wIth ZF = f(OF(t)) E PF 42
7.4. From Theorem 7.2, we also can derive a criterion for the solu-
tions of the D-module (M, OM) associated to an integral p-adic Frobenius
module. As in Section 3.3 for any extension D-field E of F the solution
space of Mover E is denoted by
A= (~ g) with g = l)itpJ-I E F.
jEN
(60)
8.2. In this section we study the relation between the solution spaces
of a DF -module with respect to its F'robenius and differential structure
and prove the existence of F'robenius solution fields.
Theorem 8.2. Let (M, iPf) be an integral p-adic Frobenius module over
a discrete valued p-adic DF-field (F, OF, 4>f) with field of constants K ~
Qq.
(a) Assume an F -field (E,4>:) is a solution field of (M, iPf)
over F
with solution space Sol~ (M) . Then E is a PV -extension for the
associated D-module (M, OM) over some constant field extension
FE := KE K F, and the corresponding solution spaces are related
by
SOlE(M) = KE Ktf> Sol~(M) (62)
E
-
For this purpose the completion of KE in Proposition 8.3 is again de-
-
noted by K. Further let F(z) be the completion of the field of rational
functions over F with Izl = 1 with respect to the Gauss norm and
M} :5 Fz - t) the field 0/ merom orphic functions on the generic disc
-
'D} = {u E F(z)llu - tl < I} (69)
with coefficients in F. Then the map
-
keN'
......
identifies the valued D-field (F, OF) = (K(t),Ot) with the subfield
(F*,OF*) .- (TF(F),8z ) of M}, where the D-structure is translated
by
(71)
(compare [3], Prop. 2.5.1). Now from Theorem 8.3 we can derive:
Corollary 8.4. With assumptions as in Proposition 8.3 for F := FE
the Frobenius module (M, ~f) has a solution field inside the field of
meromorphic functions M} on the generic disc with coefficients in F.
Proof. By continuous extension we obtain an injection TE : E ~ M} of
the solution field E :::; Kt into M} extending TF. This translates the
equation Y = Dr/>: (Y) into
(76)
Thus ,,(Y) is again a fundamental solution matrix of M. By Proposi-
tion 6.1, there exists a C, E GLmCErI = GLmCprI with ,,(Y) = YC,.
Hence
(77)
defines an injective homomorphism because of E = F(Y). As in the
case of D-modules Aut~(M) coincides with
Aut~(M) = {C E GLm(P<t I fCYC) = 0 for all f E P} (78)
where
P = {f E F<t>[GLmJ 1 fey) = O} <1 p<t>[GLmJ (79)
denotes the ideal of Y = (Yij )0=1 inside the coordinate ring of GL m over
p<t> (compare [12], Observations 4.2). Therefore Aut~(M) as a subgroup
Frobenius modules and Galois groups 259
9.4. With Theorem 9.3 and Proposition 9.2 we obtain the following
Frobenius Galois groups for the examples studied in Section 7.5. In the
first case M = Fb with DB(4!%) = (t), the solution field ElF is cyclic
of order p - 1. Thus
Gal(EI F) = Galb(M) = Galb(A) ~ Zp-l. (87)
F'robenius modules and Galois groups 261
with the reduced basis 13 = {bl' ... ,bm } and with a q-semilinear Frobe-
nius action given by
F
~q:M-M, B- f-+ B- . D(~q
-
), (92)
an IDF-module over F, called the residue module of (M, aM' iI>n. The
next proposition shows that any finite Frobenius module can be obtained
as a residue module of an integral p-adic Frobenius module, i.e., every
finite Frobenius module can be lifted to an integral p-adic Frobenius
module.
Proposition 10.1. Let (F, aF, n be a discrete valued p-adic DF -field
with F 2:: Qq, valuation ring OF and valuation ideal PF with respect to
the Gauss norm. If OF is an ID -ring then the residue field F = OF /PF
is an IDF -field with the induced iterative derivation a~. Let (M, a~, ~q)
be an IDF -module over F. Then there exists an integral p-adic DF-
module (M, aM, iI>n over F and a Frobenius lattice A ~ M such that
the residue module A/PFA is isomorphic to M as an IDF -module.
Proof. Let B be a basis of Ai and D := DB(~q) E GLm(F) be the ma-
trix of ~q with respect to B. Then there exists a matrix D E GLm(OF)
with residue matrix D. On a free OF-module A ofrank m with basis B
we can define a :-semilinear Frobenius action by iI>{(B) := BD and
we can extend it :-semilinearly to the F-vector space M := F OF A.
By Theorem 7.2, iI>: defines a canonical derivation aM on M providing
M with the structure of a integral p-adic DF-module (M, aM, iI>{). Ob-
viously the residue module of (M, aM, iI>{) equals (M, a~, ~{) since by
~roposition 3.1 the iterative derivation a~ is uniquely determined by
iI>q. 0
-
phism groups under reduction. For simplicity we restrict ourselves to the
case of a rational p-adic DF-field F = K(t). Then the valuation ring OF
is automatically an ID-ring (for aF = at). Further by Proposition 8.3
we can assume without loss of generality that the solution field E has
no new constants, i.e., E / F is a PV-extension.
Theorem 10.2. Let (M, aM, iI>{) be an integral p-adic DF -module with
Frobenius lattice A over a discrete valued rational p-adic DF -field
(F, aF, f) with field of constants K. Assume that the solution field E / F
has no new constants and that the differential Galois group GaID(M) is
connected and defined over ot. Then the residue module (M, a~, ~ q)
of M is a finite Frobenius module over the residue field F= OF/PF
whose Galois group is bounded by
(98)
where ,eY) = YC-y.
Now let S := F OF R be the residue ring of Rover F, i.e., S =
F[Yij, det(Yij)Jf,j=l with Yij = lYij E S. Because of DE GLm(eJF), the
residue matrix.e belo,Egs to GLm(F) and d~nes the reduced Frobenius
endomorphism q on S whose restriction to F coincides with the q-power
Frobenius endomorphism. The derivation OE restricted to R defines
264 B. H. MATZAT
(102)
10.3. Nori's examples in Theorem 5.2 are Galois extensions over JFq(t)
unramified outside the denominator of (t) with unipotently generated
Galois group Q(lFq). By construction these belong to effective Frobenius
modules (M, ~q) over F = lFq(t) with DB(~q) E Q(lFq[t]) with respect
to a suitable basis B of M. (compare [9], Cor. 7.6 or [8], Cor. 7.16,
respectively). For modules of this type the following holds.
Proposition 10.3. Let Q be a reduced connected linear group defined
over Zq with the property that 1i(lFq) is a proper subgroup oJQ(JFq) Jor all
Frobenius modules and Galois groups 265
-
sition 8.3 M has a solution field E whose field of constants KE is a
subfield of Tp. Now we substitute K by the completion KE of KE and
F by K(t). Then ElF is a PV-extension with GalD(EIF) =5 g(K) by
Theorem 9.3. __
From D E 9(K[t]) it follows by Proposition 7.4 that in the induced
-
differential equation 8E(Y) = Ay the matrix A E LieF(g) has entries
belonging to K (t). Hence ElF has at most one singular point and
therefore a connected differential Galois group GalD(EIF), which is of
the form 1i(K) with 1i an algebraic subgroup of g. Then by The-
orem 10.2 the Galois group of the residue module M is a subgroup
of 1i(lFq ) = 'H.(K)I1i(Kh. This implies 1i(lFq ) = g(JFq ) and thus
1i(K) = g(K) by assumption. In particular, (M, ~n is an effective
Frobenius module over F. 0
References
[1] A. Borel and J.-P. Serre, Theoremes de finitude en cohomologie galoisienne,
Comment. Math. Helvet. 39 (1964), 111-164.
[2] J.-B. Bost et al., "Courbes Semi-stables et Groupe Fondamental en Goometrie
Algebrique," Birkhauser, Boston, 2000.
[3] G. Christol, "Modules differentiels et equations differentielles p-adiques,"
Queen's Paper in Pure and Applied Mathematics, 66. Queen's University,
Kingston, 1983.
[4] P. Colmez, Les conjectures de monodromie p-adiques, Asterisque, (to appear).
[5] D. Goss, "Basic Structure of Function Field Arithmetic," Springer-Verlag,
Berlin, 1996.
[6] M. Kreuzer and L. Robbiano, "Computational Commutative Algebra 1,"
Springer-Verlag, Berlin, 2000.
[7] G. Malle, Explicit realization of the Dickson groups G2(q) as Galois groups,
Pacific J. Math., (to appear).
[8J B. H. Matzat, "Differential Galois Theory in Positive Characteristic," IWR-
Preprint 2001-35.
[9J B. H. Matzat and M. van der Put, Iterative differential equations and the Ab-
hyankar conjecture, J. reine angew. Math. 257 (2003), 1-52.
[lOJ M. V. Nori, Unramified coverings of the affine line in positive characteristic,
in "Algebraic Geometry and its Applications (C. L. Bajaj, ed.)," 209-212,
Springer-Verlag, 1994.
[l1J V. Platonov and A. Rapinchuk, "Algebraic Groups and Number Theory," Aca-
demic Press, Boston, 1994.
[12J M. van der Put, Galois theory of differential equations, algebraic groups and Lie
algebras, J. Symb. Comput. 28 (1999), 441-472.
[13J M. van der Put, Bounded p-adic differential equations, in "Circurnspice, Various
Papers in and Around Mathematics in Honor of Arnoud van Rooij," Subfaculteit
Wiskunde, Katholieke Universiteit Nijmegen, 2001.
[14J D. J. Saltman, Generic Galois extensions and problems in field theory, Adv.
Math. 43 (1982), 250-283.
[15] T. A. Springer, "Linear Algebraic Groups," Birkhiiuser, Boston, 1998.
[16] Y. Taguchi, Regular singularity of Drinfeld modules, Internat. J. of Math. 5
(1994), 595-608.
Frobenius modules and Galois groups 267
[17] N. Tsuzuki, The overconvergence of morphisms of etale r.p-V-spaces on a local
field, Compositio math. 103 (1996), 227-239.
[18] B. A. F. Wehrfritz, "Infinite Linear Groups," Springer-Verlag, Berlin, 1973.
Part III
Ken YAMAMURA
Department of Mathematics,
National Defense Academy,
Hashirimizu Yokosuka 299-8686, Japan
yamamuraC!lcc.nda.ac.jp
1. Introduction
The purpose of this article is to describe simple ways to construct
quadratic number fields each having an unramified extension which prop-
erly contains the Hilbert class field of its genus field (in the wide sense).
The motivation of this study is the author's observation that under the
Generalized Riemann Hypothesis (GRH), for most quadratic number
fields of small conductors, their maximal unramified extensions coincide
with the Hilbert class fields of their genus fields. More precisely, under
GRH, among the 305 imaginary quadratic number fields with discrimi-
nants larger than -1000, at most 16 fields are exceptional [39], [40], and
among the 1690 real quadratic number fields with discriminants less than
or equal to 5565, only 4 fields are exceptional [41]. Thus, the following
problem arises naturally:
*This article is based on the author's talk in the conference "Galois theory and modular
forms" held at Saga University (December 14-17, 1999). It was long before the decision of
the publication of the proceedings and some parts were already published. Therefore, we
slightly change some parts and add many new numerical data.
[received: Jul. 03, 2002; accepted in revised form: Oct. 14, 2002]
272 K. YAMAMURA
tThey do not note the square freeness of discriminants, we can easily verify it.
tD. Simon kindly gave the author his large data [31J few of which can be found at his
homepage. The author expresses gratitude to him.
Unramified extensions 275
They are missing in [18, Theorem 3]. Since Kondo considers [18, Theorem 3] as a lemma
for [18, Theorem 1] (Theorem 2 below), he forgets to list.
Unramified extensions 277
In fact, for some G in the cases (b)-(e), there exist G-extensions with dE
even and v'iIE fundamental that are not quadratic-ramified. Neverthe-
less, this restriction is meaningful, because once one knows the Galois
groups in the cases (b)-(e), the quadratic-ramified-ness follows from the
cubefreeness of dE.
Sketch of Proof. By the assumption dE = &2, for any prime ideal of M
dividing dE, its inertia group is generated by a 3-cycle or a product of
two disjoint t~anspositions. Any primitive group containing a 3-cycle is
An. If G does not contain a 3-cycle, only the other cases can occur by
Proposition 2, because G ~ An from dE = &2. 0
Thus, the problem is the existence of quadratic-ramified G-extensions
ofQ.
Note that in the case (b) where G ~ D s, M has exactly one quadratic
subfield and is unramified over it. Therefore the class number of the
unique quadratic subfield of M is divisible by five. Conversely, we ob-
tain a quadratic-ramified Ds-extension of Q from a quadratic number
field with class number divisible by five. More generally, Y. Yamamoto
[35J proved the existence of infinitely many real and infinitely many
imaginary quadratic-ramified Dm-extensions of Q for general m ~ 3
by constructing real and inaginary quadratic number fields whose class
groups contain an element of order m.
T. Kondo [IJ, [17J, [18J verified that there exist many quadratic-
ramified As-extensions of Q. They are realized by specializations of sex-
tic polynomial constructed by A. Brumer (as splitting fields). A. Brumer
constructed the following family of curves of genus 2 with three param-
eters b, c, d whose Jacobian varieties have real multiplication:
y2 = f(x; b, c, d) :=
x 6 + 2cx s + (c2 + 2c + 2 - bd)x4 + (2c 2 + 2c + 2 - 2bd + b - 4d)x3
+ (c 2 + 4c + 5 - bd + 3b)x 2 + (2c + 6 + 3b)x + (b + 1).
(Until now his result seems not to have been published yet, though
his result has been often cited. K. Hashimoto [9J reconstructed this
family.) K. Anai and T. Kondo [IJ, [17J verified that the Galois group of
f(x; b, c, d) (over the field Q(b, c, d)) is isomorphic to As. (It is expected
that f(x; b, c, d) is parametric for As-extensions of Q.) T. Kondo [17],
[18J observed that many specializations of b, c, d to rational integers yield
polynomials whose splitting fields are quadratic-ramified As-extensions
of Q. We give below some examples of quadratic-ramified As-extensions
of Q with small discriminant &2. (Imaginary ones in Table 2 and real
ones in Table 3.) Each such an extension M is given by the coefficients of
278 K. YAMAMURA
Table 2
al a2 a3 a4 as a6 6
-2 1 -3 2 4 1 653 (prime)
-2 4 0 -7 4 1 1061 (prime)
-1 1 -7 -7 -1 1 1381 (prime)
-3 1 -1 3 -1 -1 1507 = 11 . 137
-1 -3 0 4 0 1 1553 (prime)
Table 3
al a2 a3 a4 as a6 0
-3 -7 16 10 -12 1 5567 = 19 . 293
-3 -5 16 2 -8 1 8311 (prime)
-3 -11 15 51 29 1 10463 (prime)
-1 -19 -:8 26 22 -3 10687 (prime)
-1 -20 21 17 -21 4 10931 = 17643
Table 5
al a2 a3 a4 a5 as a7 8
0 -13 -8 36 27 -12 1 46517 = 181 . 257
-3 -7 15 6 -11 -3 1 62185 = 5 12437
-1 -11 13 ~4 -35 11 -1 81109 = 7 . 11587
0 -22 0 112 -4e -82 1 110849 (prime)
-3 -8 25 8 -28 -15 -1 122693 (prime)
280 K. YAMAMURA
Table 6
al a2 a3 a4 as a6 a7 as 8
-4 8 -11 12 -10 6 -3 2 5717 (prime)
-2 0 0 3 -2 0 -1 2 6037 (prime)
-3 5 -4 0 3 0 -3 2 6971 (prime)
-2 2 -3 5 -4 4 -2 1 8317 (prime)
0 0 -3 -1 2 6 2 1 10055 = 5 . 2011
Table 7
al a2 a3 a4 as a6 a7 as 8
-2 -17 15 53 -1 -37 -15 -1 640663 (prime)
-1 -21 23 126 -113 -241 126 1 749971 (prime)
-2 -17 40 30 -78 -14 35 1 855659 = 7251487
3 -11 -34 31 108 -8 -96 -25 1018757 = 953 . 1069
0 -12 5 31 -12 -14 8 -1 1038325 = 5 . 41 . 1013
q are distinct prime numbers with p == q == 1 (mod 4), and the norm
of the fundamental unit E of F is 1. We know necessary and sufficient
conditions for m = 1, and those for m = 2 (see [36]).
We know that there exist only finitely many normal CM-fields with
relative class number one [24] and all dihedral CM-fields with relative
class number one have already determined by S. Louboutin et al [20],
[21], [22].
For m = 1 the above is summarized in [40]. Here we summarize the
above for m = 2 as follows.
Proposition 3. Let p and q are distinct prime numbers satisfying the
following conditions:
References
[1] H. Anai and T. Kondo, A family of sextic polynomials with Galois
group As - computation of splitting fields and Galois groups, in "Proceed-
ings of AC95 (Tokyo, 1995)," 1996; electoronical; ftp:/ /tnt.math.metro-u.ac.
jp/pub/ac95/anaLtar.gz.
[2] J. Basmaji and I. Kiming, A table of As-fields, in "On Artin's conjecture for odd
2-dimensional representations (G. Frey, ed.)," Lecture Notes in Mathematics,
1585. 37-46, 122-141, Springer-Verlag, New York and Berlin, 1994.
Unramified extensions 285
[23] J. Nakagawa, On the Galois group of a number field with square free discrimi-
nant, Comm. Math. Univ. Santi Pauli 37 (1988), 95-98.
[24] A. M. Odlyzko Some analytic estimates of class numbers and discriminants,
Invent. Math. 29 (1975), 275-286.
[25] M. Olivier, Corps sextiques primitifs, Ann. Inst. Fourier (Grenoble) 40 (1990),
757-767.
[26] M. Pohst, The minimum discriminant of seventh degree totally real algebraic
number field, in "Number Theory and Algebra (H. Zassenhaus, ed.)," 235-240,
Academic Press, New York, 1977.
[27] A. Scholz, Aufgabe 208, Jahresber. Deutsch. Math.-Verein. 45 (1935), 110;
Losung der Aufgabe 208, ibid. 47 (1937), 47.
[28] R. Schoof, Infinite class field towers of quadratic fields, J. reine angew. Math.
372 (1987), 209-220.
[29] D. Simon, Equations dans les corps de nombres et discriminants minimeaux,
These, Universite Bordeaux I, 1998.
[30) D. Simon, Petits Discriminants de Polynomes Irreductibles, http://www.math.
r
unicaen.fr simon/maths/TableSmallDisc.html.
[31) D. Simon, davantagepolynomes.gp.gz, On demand.
[32) K. Takeuchi, Totaly real algebraic number fields of degree 9 with small discrim-
inant, Saitama Math. J. 17 (1999), 63-85.
[33] K. Uchida, Unramified extensions of quadratic number fields, I, T6hoku Math.
J. 23 (1970), 138-140.
[34) K. Uchida, Unramified extensions of quadratic number fields, II, Tohoku Math.
J. 23 (1970), 220-224.
[35] Y. Yamamoto, On unramified Galois extensions of quadratic number fields, Os-
aka J. Math. 7 (1970), 57-76.
[36] Y. Yamamoto, Divisibility by 16 of class numbers of quadratic fields whose 2-
class groups are cyclic, Osaka J. Math. 21 (1984), 1-22.
[37] K. Yamamura, On unramified Galois extensions of real quadratic number fields,
Osaka J. Math. 23 (1986), 471-486
[38] K. Yamamura, Some analogue of Hilbert's irreducibility theorem and the distri-
bution of algebraic number fields, J. Fac. Sci. Univ. Tokyo Sect. IA 38 (1991),
99-135.
[39) K. Yamamura, Maximal unramified extensions of imaginary quadratic number
fields of small conductors, J. Theor. Nombres Bordeaux 9 (1997),405-448.
[40] K. Yamamura, Maximal unramified extensions of imaginary quadratic number
fields of small conductors. II, J. Theor. Nombres Bordeaux 13 (2001), 633-649.
[41) K. Yamamura, Maximal unramified extensions of real quadratic number fields of
small conductors, in preparation.
Galois Theory and Modular Forms pp 287-304
K. Hashimoto, K. Miyake, and H. Nakamura, Editors
2003 Kluwer Academic Publishers
DISTRIBUTION OF UNITS
OF AN ALGEBRAIC NUMBER FIELD
Yoshiyuki KITAOKA *
Department of Mathematics
Meijo University,
Tenpaku, Nagoya,
468-8502, Japan
kitaoka~ccmfs.meijo-u.ac.jp
Partially supported by Grant-in-Aid for Scientific Research (C), The Ministry of Education,
Science, Sports and Culture.
[received: Feb. 21, 2002; accepted in revised form: Nov. 5, 2002]
288 Y. KITAOKA
1.
In this section, we formulate the conjecture.
Lemma 1. Let g(x) be a polynomial in Z[x] such that
W1(g(X)) := {g(T/) I E of}
is a finite group. We fix a primitive polynomial g(x) of minimal de-
gree among them. Then it divides x d - 1 in Z[x] for d := [(".,) : (".,) n
Gal(K/F)).
Proof. By virtue of ".,d E Gal(K/ F), W1(X d - 1) = {1} is clear and
let g(x) be that as in the assertion. Take an integer a and integral
polynomials q(x), r(x) so that a(xd -1) = q(x)g(x)+r(x) and deg r(x) <
degg(x). The assumption #oF = 00 implies degg(x) 2 1. For E of'
we have r(T/) = a(T/ C 1)-q(T/)g(T/) = (g(T/))-q(T/) and hence W 1(r(x)) is a
finite group. The minimality of degg(x) implies r(x) = 0 and then the
primitiveness of both x d - 1 and g(x) yields that a divides q(x). Thus
g(x) divides x d - 1. 0
Hereafter the polynomial g(x) means that defined in Lemma 1 and
put, for d:= [(".,) : (".,) n Gal(K/ F)]
~
mh(p) II( )
p <==:}
{m I 81g(p) and
f. 019 (p)/m== 1 mod p for 'V f. E o~.
Proof. The assertion follows from
mh(p) mh(p) pd - 1 3
~ II(p) <==:} ~-n = #E(p) for n E Z (d:= degp)
mh(p)j01 II(p).
Here s,p denotes a prime ideal of K. Put Pt) := s,pm n Kt) = s,p n Kt);
then since the decomposition group of s,p is ('1]), degpt) = 1 and
((Km/Q)/s,pm) = ((Km/Kt))/s,pm) hold and s,p is the unique prime ideal
of K lying above Pt). Therefore we have the assertion. 0
Now Chebotarev's density theorem yields
Theorem 1. Let m be a natural number. By denoting a prime ideal of
F by I' and a prime number lying below it by p, the density of the set
{pI Pf 2mdK, mh(p)/ol 11(1'), and I' corresponds to '1] }
is equal to
(0)
is the unique one for 10 E o~. We note that a unit 10 is a root of unity
if IEul = 1 for all (1 E Gal(FjQ). Suppose that an integral polynomial
294 Y. KITAOKA
We can see easily that in cases except (14), the polynomial g(x) in the
assertion satisfies the condition (AI). The condition (1) is not valid for
any integral polynomial of lower degree than g(x) by the remark above.
Hence the cases except (14) are over. In the rest, we assume J E ('f]) =I-
Gal(F/Q). Hence d = the order of 'f] ~ [F : QJ/2 is clear. We suppose
that n < d and put T := {'f]i I a( i) =I- 0, 0 ~ i ~ n} = Tl U T2 U T 2J.
Here the union is disjoint and T n Tl J = 0. For simplicity, for t E T we
let aCt) stand for a(i) if t = 'f]i (0 ~ i ~ n); then by the assumption on
G(x), we have
This is not the relation (0) and so it should be a trivial equation and
we can make pairs (tt, t2) E T2 x T2 such that a(tl) = a(t2) and tlJu =
t2uJ, and so we get JuJ-1u- 1 = tl1t2 E (Tf), and the case (i) is over.
Suppose H := (JuJ-1u- 1 I u E Gal(F/Q)) C (Tf); then the relation
t2 = tlJuJ-1u- 1 shows that H acts on the set T2, keeping aCt). Hence
Distribution of units 295
2.
First we show
Theorem 2. Let R be an algebraic number field and E a subgroup of o~.
Suppose that a primitive wth root (w of unity and l, ... ,r generate E,
and {l' ... ,r} is a free basis of E / ((w). Let A be a square-free integer
such that a prime number p divides A if p divides 2dR or if for some
a E R \ E and some E E, a P = holds. Set Rm = R( { l{YE} I E E),
where {l{YE} means all mth roots of . For m = ab with a I AOO and
(b, A) = 1, we have
o
Lemma 9. Let 3:::; t :::; r, and suppose that
Secondly, since
and
[L( {IEl, ... , ~) : L( {IEl, ... , {lEt-I)] I a
imply
we have
Since dR( VB) I Aoo and (A,b) = 1, we have Q((b)nR( VB) = Q, which
completes the proof. 0
Now we have
#Hoab(TJ)
= #{p E Gal(Koab/Q) I PIK = TJ, 6~019(P) = 1 for v E o~}
PIK = TJ, "Yu:;t19(P) = 1 and }
= # { P E Gal(Koab/Q) "Y')b{;019(P) _ 1 v E x
-y - or of
= #{p E Gal(K,,),la/Q) I PIK = TJ, "Ylf/i19 (P) = 1 for v E O~}
x #{p E Gal(K,,),2b/Q) I PIK = TJ, "Y2ifi19 (p) = 1 for v E O~}
= #H")'la(TJ)#H")'2b(TJ),
which yields
= '"' J1.(a)#H")'la(TJ) x
L..J [K K 1
II (1 _ #Hp(TJ) )
~r(K) (~) ,
al2dK ")'la: 7J pt2dK P <P\.Y
I.
Then setting g(x) = gnxn + ... + 90, we have
q~81g(p) _ /,81 L~=o gt Lt:1 Ct - k - 1 LJ=1 bjaij(k)
VUt - 'oqw ,
Put
n t-l
9A(C):= L9tLCt - k- 1A k and b:= (b1,'" ,bs )
t=O k=O
Lemma 11. There exists the maximal natural number 80 such that
L J.L(a)#HYla (",)
al2dK [K'Yla: KTJ]
References
[CKY] Y-M. J. Chen, Y. Kitaoka and J. Yu, Distribution of units of real quadratic
number fields, Nagoya Math. J. 158 (2000), 167-184
[H] C. Hooley, On Artin's Conjecture, J. reine angew. Math. 225 (1967), 209-
220.
[IK] M. Ishikawa and Y. Kitaoka, On the distribution of units modulo prime ideals
in real quadratic fields, J. reine angew. Math. 494 (1998), 65-72.
[K] Y. Kitaoka, Distribution of units of a cubic field with negative discriminant,
J. of Number Theory 91 (2001),318-355.
[L) H. W. Lenstra, Jr., On Artin's conjecture and Euclid' algOrithm in global
fields, Inventiones math. 42 (1977), 201-224.
[M] K. Masima, On the distribution of units in the residue class field of real
quadratic fields and Artin's conjecture (in Japanese), RIMS Kokyuroku 1026
(1998), 156-166.
[R] H. Roskam, A quadratic analogue of Artin's conjecture on primitive roots,
J. of Number Theory 81 (2000), 93-109.
Galois Theory and Modular Forms pp 305-314
K. Hashimoto, K. Miyake, and H. Nakamura, Editors
2003 Kluwer Academic Publishers
ON CAPITULATION PROBLEM
FOR 3-MANIFOLDS
Dedicated to Professor Yasu.o Morita
Masanori MORISHITA
Department of Mathematics
Kanazawa University,
Kakuma-machi, Kanazawa, Ishikawa,
920-1192 Japan
morisita<Dkenroku.kanazawa-u.ac.jp
Introduction
The purpose of this paper is to investigate analogues for 3-manifolds
after the model of capitulation theorems for number fields. This will
give one of the foundational analogies between 3-dimensional topology
and algebraic number theory.
The capitulation problem deals with the structure of ideal classes
which capitulate in an extension of number fields, and it is formulated
as a purely group-theoretic problem on the transfer by means of the Artin
reciprocity map. In recent years, H. Suzuki ([Sul,2]) has established a
fundamental theorem on this group-theoretic version which includes the
three classical capitulation theorems, Hilbert's theorem 94, the principal
ideal theorem and Tannaka-Terada's theorem.
In this paper, we shall consider a similar problem for homology classes
in a covering of manifolds. Since the problem is again translated into a
similar problem on the group-transfer by means of the Hurewicz isomor-
phism, we obtain a topological analog of Suzuki's theorem (Theorem 1.3
below). For a Galois covering of 3-manifolds, using the spectral sequence
and Poincare duality, we obtain more precise results on capitulation,
analogous to the theorems by Iwasawa, Chevalley-Tate, and Suzuki for
number fields (Theorem 2.3, Corollaries 2.4, 2.6 below). We note finally
that some analogues of capitualtion theorems for coverings of topological
spaces were also studied in the recent Master thesis of K. Fuluta ([Fun.
1. Capitulation problem
For a number field F,* we denote by Hp the ideal class group of F.
For an extension K/k of number fields, the capitulation problem deals
with the structure of the finite abelian group
r/r'
f'V
Hl(M,Z) --~)
tN/M 1 f'V
1 Vr/H
Hl(N,Z) ) HIH' = H
*In this paper, we sha.1l mean by a number field a finite extension over the rational number
field Q, although the capitulation problem makes sense for any algebraic extensions over Q.
On capitulation problem for 3-manifolds 307
I
~r/M)/(H/M) : (rIM)(rIM)'
1
) HIM.
surface E c M
E I--> BE
On capitulation problem for 3-manifolds 309
with the associated differentials cf,.,j : E;,j -+ E;+r,j-r+1 and the filtra-
tion Hk = H!t(Spec(Ok), G m ) = Fo :J Fl = E;,oD. Then we see easily
that
F1 -- El,o
00
IV
-
' "
-
E 21,0 -- P\X) .
Hl(G ,vK
o
When K/k is cyclic, the theorem by Chevalley and Tate on the Her-
brand quotient of the unit group ([AT], Ch 5, 3) yields the following
precise version of Hilbert's theorem 94.
310 M. MORISHITA
where ~,l : HO(G, Hl(N, Z)) ---t H2(G, Z) and d~,l : Hl(G, Hl(N,
Z)) ---t H3 (G, Z) are the differentials attached to the spectral sequence.
In particular, CN / M is a finite abelian group.
Proof. We let
-li,j .. Ei,j
Ur r
~ Ei+r,j-r+l
r
be the filtration of H2(M,Z) such that Fi/Fi+l :::: E;';;-i. Then we see
that
(1) H2(M, Z)/ Fl = Ef(.l :::: ... :::: E~,2 :::: Ker(~,2) C E~,2 :::: Ker(~,2) C
E~,2 = HO(G, H2(N, Z)),
(2) FdF2 = E~~/:::: ... :::: Ej,l = Ker(d~,l) C E~,l = Hl(G,Hl(N,Z)),
(3) F2 = E~o :::: ... :::: Ei'o = Ker(d~,o)/Im(~,l) = H2(G, Z)/Im(~,l).
By (1), we have CN / M :::: Fl. Hence, by (2), (3), we get the assertion. 0
Recall that a 3-manifold M is called a rational homology 3-sphere if
Hi(M,Q) = Hi (S3,Q) for all i, which is equivalent to H 1 (M,Q) = 0
On capitulation problem for 3-manifolds 311
CN / M ~ G/G' (non-canonical).
Hence, #CN / M is equal to the degree of the maximal abelian subcovering
of N over M.
Proof. For a rational homology 3-sphere N, Hl(N, Z) = Hom(H I (N, Z)
,Z) = 0 and so Ker( d~,l) = 0 in Th. 2.3. Hence by Th. 2.3 again,
CN / M ~ H2(G,Z) ~ Hom(GjG', QjZ). 0
Remark 2.5. Suppose that M and its maximal abelian covering Ma
are rational homology 3-spheres. Then Cor. 2.4 tells us that HI (M, Z)
capitulates in Ma and canllot capitulate already in a proper subcovering
N of Ma. In fact, if HI (M, Z) capitulates in a sub covering N of Ma, by
Cor. 2.4, we have [N : MJ = #CN / M = #HI (M, Z) = [Ma : MJ, hence
N = Ma. On the other hand, it can happen that all ideal classes of
a number field capitulate in a proper subextension of the Hilbert class
field (e.g, [12]).
Corollary 2.6. If M is a rational homology 3-sphere and G is cyclic,
we have the equality
#CN / M = [N: MJh(H2(N, Z))
Acknowledgments
I thank M. Furuta for informing me of the method to compute CN / M
by the Poincare duality and spectral sequence. Many thanks go to
J. Hempel and H. Suzuki for useful communications and to H. Sato for
pointing out a mistake in the first manuscript. I thank K. Hashimoto,
K. Miyake and H. Nakamura for giving me an opportunity to join the
conference "Galois theory and Modular forms" held at Tokyo Metropoli-
tan University, Sep. 25-29, 2001. This work was partially supported by
the Grants-in-Aid for Scientific Research (C) (No.13640014), Ministry
of Education, Culture, Sports, Science and Technology, Japan.
References
[AT] E. Artin, J. Tate, "Class field theory," 2nd edition. Advanced Book Classics.
Addison-Wesley Publishing Company, Advanced Book Program, Redwood
City, CA, 1990.
[BZ] G. Burde, H. Zieschang, "Knots," de Gruyter Studies in Math. 5, Walter de
Gruyter and Co., Berlin, 1985.
[F] Ph. Furtwangler, Beweis des Hauptidealsatzes fur Klassenkorper algebraischer
Zahlkorper, Abh. Math. Sem. Univ. Hamburg 7 (1930), 14-36.
[Fu] K. Fuluta, On Hilbert's theorem 94 for covering spaces, Master thesis at To-
hoku University (Japanese), 2002.
[Hi] D. Hilbert, Bericht: Die Theorie der algebraischen Zahlkorper, Jer. dt. Math.-
Ver.4 (1897),175-546; Gesam, Abh. 1., 63-363.
[He1] J. Hempel, "3-manifolds;' Ann. of Math. Studies, No. 86, Princeton Univ.
Press, 1976.
[He2] J. Hempel, Homology of coverings, Pacific J. Math. 112 (1984), 83-113.
[11] K. Iwasawa, A note on the group of units of an algebraic number field, J.
Math. pures et appl. (9) 35 (1956), 189-192.
[12] K. Iwasawa, A note on capitulation problem for number fields, Proc. Japan
Academy 65 (1989), 59-61; II, ibid, No.6, (1989), 183-186.
[K] M. Kapranov, Analogies between number fields and 3-manifolds, (unpublished
note).
[Mal] B. Mazur, unpublished mimeographed note, circa, 1965.
[Ma2] B. Mazur, The theme ofp-adic variation, Mathematics: frontiers and perspec-
tives, 433-459, Amer. Math. Soc., Providence, RI, (2000).
[Mi] K. Miyake, Algebraic investigation of Hilbert's theorem 94, the principal ideal
theorem and the capitulation problem, Expo. Math. 7 (1989), 289-346.
On capitulation problem for 3-manifolds 313
[Mol] M. Morishita, Milnor's &ink invariants attached to certain Galois groups over
Q, Proc. Japan Academy 76 (2000), 18-21.
[Mo2] M. Morishita, On certain analogies between knots and primes, J. reine und
angew. Math. 550 (2002), 141-167.
[M03] M. Morishita, Knots and primes, 3-manifolds and number fields, Algebraic
number theory and related topics (Japanese) (Kyoto, 2000, Dec.), RIMS re-
port, 1200, (2001), 103-115.
[M04] M. Morishita, Knots and primes, 3-manifolds and number fields, A confer-
ence report "Art of Low Dimensional Topology VII," Kansai Seminar House,
February, (2001),99-109 .
[Mo5] M. Morishita, A theory of genera for cyclic coverings of links, Proc. Japan
Academy 77 (2001), 115-118. .
[Mo6] M. Morishita, Analogies between knots and primes, 3-manifolds and number
fields, 2001 (submitted).
[Mo7] M. Morishita, Milnor invariants and Massey products for prime numbers,
Compositio Math. (2003), (to appear).
[Ra] N. Ramachandran, A note on arithmetic topology, C. R. Math. Acad. Sci.
Soc. R. Can. 23 (2001), 130-135.
[R1] A. Reznikov, Three-manifolds class field theory (Homology of coverings for a
nonvirtually bl-positive manifolti), Sel. math. New ser. 3 (1997), 361-399.
[R2] A. Reznikov, Embedded incompressible surfaces and homology of ramified cov-
erings of three-manifolds, Sel. math. New ser. 6 (2000), 1-39.
lSi] A. Sikora, Analogies between group actions on 3-manifolds and number fields,
(2001), (to appear).
[Su1] H. Suzuki, A generalization of Hilbert's theorem 94, Nagoya Math. J. 121
(1991), 161-169.
[Su2] H. Suzuki, On the capitulation problem, Class field theory-its centenary and
prospect (Tokyo, 1998), Adv. Stud. Pure Math., 30, Math. Soc. Japan, Tokyo,
(2001), 483-507.
[T] F. Terada, On a generalization of the principal ideal theorem, Tohoku Math.
J. (2) 1 (1950), 229-269.
[W] J.-L. Waldspurger, Entrelacements sur Spec(Z), Bull. Sc. math. 100 (1976),
113-139.
Galois Theory and Modular Forms pp 315-326
K. Hashimoto, K. Miyake, and H. Nakamura, Editors
2003 Kluwer Academic Publishers
Tsuyoshi ITOH
Department of Mathematical Sciences,
School of Science and Engineering
Waseda University,
9-4-1 Okubo, Shinjuku, Tokyo,
169-8555, Japan
tSitoh<Daoni.waseda.jp
1. Introduction.
Let Q be the field of rational numbers and p a prime number. We
denote by Qoo the cyclotomic Zp-extension of Q, that is, the unique
Galois extension of Q whose Galois group is isomorphic to the additive
group of the p-adic integer ring Zp. Let Qn be the unique subfield of Qoo
whose degree over Q is pn. Moreover, for any algebraic number field k,
we put koo = kQoo and k n = kQn. The field koo is called the cyclotomic
Zp-extension of k.
Let A(kn ) be the Sylow p-subgroup of the ideal class group of kn .
For a finite set 8, we denote the order of 8 by 181. According to the
Iwasawa theory, there exist non-negative integers A, J.t and an integer v
which depend only on k and p such that
The determination of the invariants A, f-l and 1/ for any given number
field k and any prime p is an important problem in the theory of Zp-
extensions. In particular, the following conjecture is well-known:
Conjecture (Iwasawa [6]). The f-l-invariant of the cyclotomic Zp-
extension vanishes for every number field k and every prime p.
Concerning this conjecture, the following result is known.
Theorem (Ferrero-Washington [4]). If k is an abelian extension
field over Q, then the f-l-invariant of the cyclotomic Zp-extension of k
vanishes for every prime p.
But the above conjecture is not completely solved until now. We shall
deal with the case where the base field is a certain non-Galois quartic
extension over Q. Let F be a real quadratic field which is embedded
in the field of real numbers. Taking an element a of F which satisfies
a > 0 and a' < 0, where a' is the conjugate of a, we put M = F( fo).
Then M is a non-Galois quartic field. Therefore it is to be questioned
whether the f-l-invariant of the cyclotomic Zp-extension of M vanishes or
not.
But in the case where p = 2, we can show the following result:
Proposition 1. The f-l-invariant of the cyclotomic Z2-extension of M
vanishes.
Proof. It is easy to see that the Galois closure M* of Mover Q is a
dihedral extension over Q of degree 8 and M* contains an imaginary
quadratic field k. By the theorem of Ferrero-Washington, the f-l-invariant
of the cyclotomic Z2-extension of k vanishes. Since M* / k is a quartic
extension, Iwasawa's theorem ([6, Theorem 3]) says that the f-l-invariant
of the cyclotomic Z2-extension of M* vanishes. Thus the proposition
follows. 0
Therefore, the case p > 2 is to be treated. In this paper, we shall
give a criterion for vanishing of the f-l-invariant of the cyclotomic Z3-
extension. Our method is based on the work of Kraft and Schoof [8]
about Greenberg's conjecture for real quadratic fields.
Theorem 2. Let F be a real quadratic number field and a an element
of F which satisfies the condition that a > 0 and a' < 0 (a' denotes
the conjugate of a). We put M = F(fo). Moreover, let Moo be the
cyclotomic Z3-extension of M and Mn the n-th layer of Moo/M. We
assume that every prime of F above 3 does not split in M. We fix a
generator I of Gal(MI/M). Let 'TIl = X h (1, Gl ) be the Stark-Shintani
unit of Ml which will be defined later.
On the Iwasawa {t-invariant of the cyclotomic Zp-extension 317
2. Proof of Theorem 2.
We begin by explaining our notation. For an algebraic number field k,
we denote by Ek the unit group of k and by A(k) the Sylow p-subgroup
of the ideal class group of k. Let K be a finite Galois extension of k.
We denote by Gal(K/k) the Galois group of Kover k and by NK/k the
norm mapping from K to k.
Let F and M be as in the previous section and p an odd prime. We
fix a generator 7 of the Galois group Gal(Moo / Foo). We know that 7
has order 2 and we shall abuse the same letter 7 as its restriction to Mn.
Since p is an odd prime, we can decompose A(Mn) by the action of 7.
We put
a
where a. runs over all integral ideals of F belonging to the class e.
The Stark-Shintani ray c!ass invariant Xfn (c) is now defined by
Xfn(e) = exp((F(O,e) - (F(O,el/)).
Moreover, for the subgroup Gn of H(fn) corresponding to M n, we put
Xfn (e, G n ) = TIgEG n Xfn (cg).
From now on, we assume that every prime divisor of p in F does not
split in M.
By Theorem 2 of Shintani [12] and Theorem 1 of Nakagawa [10], the
ray class invariant Xfn (c, Gn ) is a unit of M n , satisfying the reciprocity
law
Xfn (e, GnyT(cl) = Xfn (ee', Gn )
for e, c' E H(fn), where a denotes the Artin map from H(fn) to
Gal(Mn / F). Then the group
en = (-l,Xfn (e,Gn)le E H(fn))
On the Iwasawa j.1-invariant of the cyclotomic Zp-extension 319
and
E= limBn,
+--
where the projective limit is taken with respect to the dual map of the
natural injection Bn to Bm for m > n.
We define the action of"f E r n,O on f E Bn by "f(f)(u) = f(u'Y- 1 )
for all u E Bn- Then E is a module over the complete group ring
Zp[[Gal(Moo/M)JJ ~ Zp[[TJ]. (1 +T acts as a fixed topological generator
of Gal(Moo/M).)
Proposition 5. If the p-rank of Bo is equal to the p-rank of B 1, then
the j.1-invariant of the cyclotomic Zp-extension of M vanishes.
Proof. First, we show that E is a finitely generated Zp-module. The
proof is similar to that of Theorem 1 of Fukuda [5J.
From the assumption, we have Bo/pBo ~ BI/pBl' By Lemma 4, we
have E/wnE ~ Bn for all n, where Wn = (1 + T)pn - 1. Then we see
woE + pB ~ w1B + pE.
320 T.ITOH
3. Computing examples.
In this section, we give examples of vanishing of the J.L-invariant of
the cyclotomic Z3-extension by computer. Let the notation be as in the
previous sections.
First, we shall state an algorithm for computing of the minimal poly-
nomial of the Stark-Shintani unit X h (c, Gl) in the first layer MI. The
On the Iwasawa J.t-invariant of the cyclotomic Zp-extension 321
peT) =
CEH(h)/Gl
la~1 ~ (~).
for each i (Recall that a~ is the conjugate of ai).
Since ai is an algebraic integer, if we compute an approximate value
of ~ with sufficiently precision, we can determine the exact value of ai
as an element of F.
We know that Xh (1, G1)u(c) = Xh (e, (i1). Therefore if we compute
II (T X h (e, Gt})
CEH(h)/Gl
for all signs and find only one possibility of signs, we can determine the
minimal polynomial peT) of"'1 = X h (l,Gt) over F.
Using this, the minimal polynomial Q(T) of ",~-'Y over F is also de-
termined. We use this polynomial for checking whether the element is a
cube or not.
Now, we shall give some examples. By virtue of Lemma 3, we shall
treat the case that the relative class number IA(M)-I is divisible by 3.
We shall treat the following case. Let 1 be a prime which satisfies
l == 3 (mod 4). We put F = Q( v'3i). Assume that the class 1111mber of
F is one. Let p be the unique prime of F which divides 3. If the order
of the narrow ray class group modulo p of F is 4, there exists a unique
quadratic extension M of F which is contained in the narrow ray class
field modulo p of F and satisfies the assumption of Theorem 2. We shall
calculate the JL-invariant of the cyclrJtomic Z3-extension of M.
Now, we put F = Q( J1B57) s.r..d p be the unique prime of F which
divides 3. We can see that the order of the narrow ray class group modulo
322 T.ITOH
M ~F ( 1847277637 + 87771412 ( 1 + ~) ) .
By using KASH [3], we know that IA(M)-I = 3.
We computed approximate values of rll for all (J E Gal(Md F) by
using the function bnrLl of PARI-GP [1J with a precision of 150 decimal
digits. The values are the following:
171 = 127829214079.2490851840966 ..
177 =9.018079848618284017837940
2
171 = 0.000152017669860072698846 ...
By using the above mentioned method, we can compute the minimal
polynomial of 17i-"Y over F, hence we can also obtain its minimal poly-
nomial over Q. The minimal polynomial R(T) of 17i-"Y over Q is the
following:
R(T) = T12 - 840898094422485T ll
+ 11919386639653012969153266T10
-707132118709586493882042723418T9
+2749828994632785471910474645701~
-5454060080455494682796432087649~
+6699174123340475549716147390896~
-5454060080455494682796432087649~
+2749828994632785471910474645701~
-707132118709586493882042723418T3
+ 11919386639653012969153266T2
- 840898094422485T + 1.
It is easy to see that the polynomial R(T3 ) is irreducible over Q. Then
17i-"Y is not a cube in };[l. Therefore, the IL-invariant of the cyclotomic
Z3-extension of M vani.shes.
Moreover, applying Lemma 3 or Theorem 2, we have the following:
Corollary 6. Let l be a prime which satisfies l == 3 (mod 4). We put
F = Q( J3l). Assume that the class number of F is one and the or-
der of the narrow ray class group modulo (9) of F is 12. Let p be the
On the Iwasawa ,IL-inval"iant of the cyclotomic Zp-extension 323
By using KASH, we can see that IA(M(I))-I = 1 except for the case
that I = 619, 1051, 1447, 1627, 2203, 2851 for alII < 3000 which satisfies
the assumption of Corollary 6. We shall give the minimal polynomial of
7J}-'Y for the excepted primes. (The case that l = 619 is already given.)
l = 1051
T'~ - 2542278225978963204331'Ll + 11693936340008463751284329420826Tu
-64631785736335621783029081743312125896910q9
-12791541530839596503320566556018092597069gr8
-175108867006294104086391689987020369063953T7
-223622353665891680117787205751936565518592r6
-175108867006294104086391689987020369063953T5
-12791541530839596503320566556018092597069gr4
-64631785736335621783029081743312125896910Jfi
+11693936340008463751284329420826T2 -254227822597896320433T+1
l = 1447
T'~ - 113672385330963276T" + 2424591727568282369368909939351746T 'U
-11690028900495605759755163234034460q9
+ 19578446431728482350223635099756527Jfi
-2789235255264008522712121751034204~
+34405225733217127980434116042421916J6
-2789235255264008522712121751034204~
+19578446431728482350223635099756527~
-11690028900495605759755163234034460Jfi
+2424591727568282369368909939351746T2
-113672385330963276T + 1
l = 1627
T'" - 5808189473979278450890876516921'''
+113029613762306360676648702561906749056384157442]i
-457848413488674428847769170295321691687066260632~
+1036017453975092892149945980475303304708737299287.r8
-1831393653954697709002068259804080470768300873916r7
+ 184597568042557306529931456201499165805364806580gr6
-1831393653954697709002068259804080470768300873916r5
+1036017453975092892149945980475303304708737299287.f4
-457848413488674428847769170295321691687066260632Jfi
+113029613762306360676648702561906749056384157442~
-580818947397927845089087651692T+1
324 T.ITOH
l = 2203
25437120536557149090797783433T"
T1:1. -
+512568729156253582510784888374639282630950566634To
-647047102314751027582855558829266691466837654199141257718]9
+2712248390171009806228064106559952419431810864089521681749]2
-5568303814535042477675452041376418784078869885055159190545~
+6951003181274469803024778973305789028706067730390560267936~
-5568303814535042477675452041376418784078869885055159190545Ji
+2712248390171009806228064106559952419431810864089521681749~
-647047102314751027582855558829266691466837654199141257718~
+512568729156253582510784888374639282630950566634Ji
-25437120536557149090797783433T + 1
l = 2851
T12 - 193553313251949925314995306745996573Tll
+12388276406007257115062365245914601586652682576355778106Jfo
-37462885070807392959051492934251075271574908048541902516443664421583922f9
-111398835362485827371779955278897436481955831146807532805279059108108539]8
-219591672808453587575337446499053253583352535397425539746057326454167361]1
-255802047289847856767973574463044610817826190920616524617543293974661472]8
-219591672808453587575387446499053253583352535397425539746057326454167361?5
-111398835362485827371779955278897436481955831146807532805279059108108539]4
-37462885070807392959051492934251075271574908048541902516443664421583922r3
+12388276406007257115062365245914601586652682576355778106~
-193553313251949925314995306745996573T + 1
References
[1] C. Batut, K. Belabas, D. Bernardi, H. Cohen and H. Oliver, "User's guide to
Pari-GP."
[2] H. Cohen, "Advanced topics in computational number theory," Graduate Texts
in Mathematics, 193. Springer-Verlag, New York, 2000.
[3] M. Daberkow, C. Fieker, J. Kliiners, M. Pohst, K. Roegner, M. Schornig, and
K. Wildanger, KANT V4, J. Symbolic Comput. 24 (1997), 267-283.
[4J B. Ferrero and L. Washigton, The Iwasawa invariant j.Lp vanishes for abelian
number fields, Ann. of Math. 109 (1979), 377-395.
[5] T. Fukuda, Remarks on Zp-extensions of number fields, Proc. Japan Acad. Ser. A
70 (1994), 264-266.
[6] K. Iwasawa, On the j.L-invariants ofZI-extensions, in "Number theory, algebraic
geometry and commutative algebra, in honor of Yasuo Akizuki," Kinokuniya,
Tokyo, 1973, 1-11.
[7] Y. Kida, I-extensions of CM-fields and cyclotomic invariants, J. Number Theory
12 (1980), no. 4, 519-528.
[8] J. Kraft and R. Schoof, Computing Iwasawa modules of real quadratic number
fields, Compositio Math. 97 (1995), no. 1-2, 135-155.
[9] J. Nakagawa, On the Stark-Shintani conjecture and cyclotomic Zp-extensions of
class fields over real quadratic fields, J. Math. Soc. Japan 36 (1984), 577-588.
On the Iwasawa p-invariant of the cyclotomic 'lrextension 325
[101 J. Nakagawa, On the Stark-Shintani conjecture and cyclotomic 'l.p-extensions of
class fields over real quadratic fields. II, Tohoku Math. J. 36 (1984), 439-452.
[11] J. Sands, On small Iwasawa invariants and imaginary quadratic fields, Proc.
Amer. Math. Soc. 112 (1991), 671-684.
[12] T. Shintani, On certain ray class invariants of real quadratic fields, J. Math.
Soc. Japan 30 (1978), 139-167.
[13] H. M. Stark, L-functions at s = 1. III. Totally real fields and Hilbert's twelfth
problem, Advances in Math. 22 (1976), 64-84.
[14) L. Washington, "Introduction to cyclotomic fields. Second edition," Graduate
Texts in Mathematics, 83. Springer-Verlag, New York, 1997.
Part IV
QUASIMODULAR SOLUTIONS
OF A DIFFERENTIAL EQUATION
OF HYPERGEOMETRIC TYPE
Masanobu KANEKO
Graduate School of Mathematics,
Kyushu University 33, Fukuoka,
812-8581, Japan
mkaneko<omath.kyushu-u.ac.jp
Masao KOIKE
Graduate School of Mathematics,
Kyushu University, Ropponmat'IJ" Fukuoka,
810-8560, Japan
koike<Omath.kyushu-u.ac.jp
E2(r) = 1- 24 I)Ld)qn.
n=l din
where
ro(2) = {(~ ~) E SL2(Z)1 C == 0 mod 2}.
(ro(2) is the triangular group "2A" in the notation of Conway-Norton
[1].)
Let
E2A(r) := (E2(r) + 2E2 (2r))/3 = 1 - 8q - 40q2 - 32q3 - ...
Solutions which are modular on the group ro(2) and its subgroups were
studied in [6, 7J. In particular, when k is a non-negative integer congru-
ent to 0 or 6 modulo 8, the equation (#)k has a one dimensional space
of solutions which are modular on the group ro(2) itself. We note here
that the equation (#)k has a characterization by the invariance of the
space of solutions under the action of rQ(2), similar to the previous case
for SL2(Z), owing to the fact that there is no holomorphic modular form
of weight 2 on r;)(2) (see [5J and [2, 5]). By a general theory of ordinary
differential equations, we see that the equation (#)k has a quasimodu-
lar solution (which, since its transformation under r -- -1/2r is also a
solution, inevitably gives a solution having log q term in the expansion
at q = 0) only when k is a positive integer congruent to 3 modulo 4.
In the following, we show there indeed exists a quasi modular solution
in this case and describe explicitly the solution in terms of a certain
orthogonal polynomials. First we need to n.evelop some notations. Put
= 1 + 24 L C~=
00
where
1
17(r) = q"24
II (1- qn) = q"24 -
00
1 25 49
q"24 - q"24 + qu
121
+ ...
n=l
is the Dedekind eta function. The functions C(r) and D(r) are mod-
ular forms of respective weights 2 and 4 on the group ro(2) (="2B")
and the graded ring of modular forms of integral weights on ro(2) is
generated by these C(r) and D(r). Recall that (see [3]) an element
of degree k in the graded ring q E::.l r), C (r), D( r) J, where the genera-
tors E2(r),C(r),D(r) have degrt:ts 2, 2, and 4 respectively, is referred
to as a quasimodular form of weight k (on ro(2)). Incidentally, the
332 M. KANEKO AND M. KOIKE
where
An = 4 (4n + 1)(4n + 3).
n(n + 1)
First few examples are
2. Proof of Theorem
It is convenient to introduce the operator ilk defined by
By the quasimodular property of E2 (r) or the fact that E2A (r) is the
logarithmic derivative of ~2A(r), we have the transformation formulas
and
holds. We sometimes drop the suffix of the operator ilk when the weights
of modular forms we consider are clear. With this operator, the equation
(#)k can be rewritten as
(1)
334 M. KANEKO AND M. KOIKE
Now we prove by induction that the Fk(T) satisfies the equation (#')k.
We can check the cases k = 3 and 7 directly. Assume Fk-4 and Fk satisfy
(#')k-4 and (#')k respectively. Then by using (1) and the formulas
we have
Quasimodular forms 335
Hence we find
The proof of the theorem therefore boils down to show the equation
and
k+4~ k+4
-S- GFk+4 + Ci}(Fk+4) = 16(k + 1) G((k + 2)GFk - SCi}(Fk))
1 (1 3
+ 2(k + 1) C -"2(k + 2)C Fk
+ (k + 2)Gt9(Fk) + 2Gt9(Fk) - 8Ct9 2 (Fk))
= (k + 2)(k + 4) (G2 _ C 4 )R
16(k+1) k
k+5
= - -4- An+16. 2A Fk'
References
[1] J. Conway and S. Norton, Monstrous Moonshine, Bull. London Math. Soc. 11
(1979), 308-339.
(2] M. Kaneko and M. Koike, On modular forms arising from a differential equation
of hyperyeometric type, to appear in Ra.ma.nujan J.
336 M. KANEKO AND M. KOIKE
[3] M. Kaneko and D. Zagier, A generalized Jacobi theta function and quasimodular
forms, in "The Moduli Space of Curves (Texel Island, 1994)," 165-172, Progress
in Math., 129. Birkhauser Boston, Boston, MA, 1995.
[4] M. Kaneko and D. Zagier, Supersingular j-invariants, Hypergeometric series, and
Atkin's orthogonal polynomials, in " Computational perspectives on number the-
ory (Chicago, IL, 1995)," 97-126, AMSjIP Studies in Advanced Mathematics, 7.
Amer. Math. Soc., Providence, RI, 1998.
[5] M. Koike, Modular forms on non-compact arithmetic triangle groups, preprint.
[6] M. Koike and T. Saijo, in preparation.
[7] T. Saijo, Modular forms and differential equations, Kyushu University Master's
thesis, 1999.
Galois Theory and Modular Forms pp 337-356
K. Hashimoto, K. Miyake, and H. Nakamura, Editors
2003 Kluwer Academic Publishers
Hidenori KATSURADA
Muroran Institute of Technology,
27-1 Mizumoto, Muromn,
050-8585, Japan
hidenori(Dmmm.muroran-it,ac.jp
1. Introduction
Let M and k be positive integers, and > a Dirichlet character modulo
M such that >(-1) = (_1)k. Let
L
00
where af,,Bp are complex numbers such that ap + ,Bp = a(p) and ap,Bp =
4>(P )pk- for each prime number p. The standard zeta function of a
modular form is an important subject in number theory. To explain this
briefly, from now on we assume that k is even and X( -1) = >( -1) = 1.
We then put
L*(I ) L(j,m,x)
,m,X = 7r k +2m < 1,1 >
for an odd positive integer m ~ k - 1, where < *, * > is the normalized
Petersson product. As is well known, these values are algebraic numbers
and their qualitative natures have been fully investigated by many people
(cf. [Stur], [Sh2], [B-S]). Furthermore, these values are related to many
other areas, especially to the Galois representations. As for this, see,
for examples, [D-H-I] and [D]. To investigate various problems related
to these values, it is important to compute these values exactly. Several
people have considered algorithms for computing these values and have
carried out the computations. Zagier [Z] gave an explicit formula ex-
pressing L*(j,m,x) in the case where M is a squarefree positive integer
congruent to 1 modulo 4, c/> is the Kronecker character (Af) correspond-
ing to the extension Q( VM)/Q, and X is trivial. Sturm [Stur] gave an
algorithm for computing these values for a general X. However, it seems
difficult to give exact values by a direct use of his method. Stopple [Sto]
gave an explicit formula expressing L*(j, m, X) in case M = 1 and X is
a quadratic character.
In this note, we give some formulas which seem useful for the com-
putation of L*(j, m, X) in the case where M = 1 or a prime number
congruent to 1 modulo 4, c/> = (Af), and X is not necessarily quadratic
character of prime conductor p. To state our main result more precisely,
let M, C/>, X and p be as above. For simplicity assume that M t= p. Let k
and I be even positive integers such that I :s; k-2. Then put s = -1/2 or
o according as 1 = 2 and X2 = 1, or not. Then for two positive integers
ml,m2 put
(ml,m2;l,s)
L
00
2. Eisenstein series
Let GSp;t(R) be the group of proper symplectic similitudes of degree
n, and Hn Siegel's upper half space of degree n. As usual we write
,(Z) = (AZ + B)(CZ + D)-1 and j("Z) = det(CZ + D) for, =
(~ ~) E GSp;t(R). We write Ilk,(z) = (det,)k/2j("z)-kl(,(z
for, E GSp;t(R) and I E COO(Hn ). We simply write II, as Ilk, if
there is no confusion. Let SPn(Z) be the Siegel modular group of degree
n. For a positive integer M, we denote by r~n) (M) (resp. ra (n) (M)) the
subgroup of Spn(Z) consisting of matrices whose lower left n x n block
(resp. upper right n x n block) is congruent to 0 modulo M. For a
Dirichlet character modulo M, we denote by (resp. /) the character
340 H.KATSURADA
[n/2]
E~,l (Z; M, 4>, 8) = detIm(Z)S L(l + 28,4 II L(2l + 48 - 2i, 4>2)
i=l
where [, = ( 0 1: -1
Onn ) . Let 'H.n(Z) denote the set of half-integral
matrices of degree n over Z, and we denote by 'H.n(Zho (resp. 'H.n(Zo)
the subset of 'H.n(Z) consisting of positive definite (resp. semi-positive
definite) matrices. Then it is well known that E~ l(Zj M, 4>, s) belongs
to M,OO(r&n) (M), 4, and has the following Fourier 'expansion:
ordp(eA)
Fp(A,X) = L (pX)i.
i=l
nomial Fp(A, X) as
ordp(eA) ordp(fA)-i
Fp(A,X)= L (p2X)i L (p3X2)i
i=O j=O
ordp(eA) ordp(fA)-i-l
- XA(p)pX L (p2X)i L (p3X2)j.
i=O j=O
For a Dirichlet character 'ljJ, let m'lj; denote its conductor, and 'ljJCO) the
associated primitive character. Furthermore, let Bm,'Ij; be the m-th gen-
eralized Bernoulli number associated with 'ljJ, and let T('ljJ) be the Gauss
sum defined by
T('ljJ) = L 'ljJ(X)exp(27riX/L).
XmodL
(h-1) 1 ~ 4 and s = 0,
(h-2) 1 = 2, s = 0 and 2 i= 1,
(h-3) 1 = 2 and s = -1/2.
First assume that (l,s,) satisfies either the condition (h-l) or (h-2).
Then for A E 'H2(ZO put
I
c\l(A,O) = C2,l(Aj M, , 0)
TIplf Fp(A, (p)p-l)!dA!l-3/2
_ xf11- 3( -i)T((XA)(O))m~;~A)(O)
- OXBl-1,CtPXA)(O) I1pI M(l - pl-I(XA)(O) (p)) if A > 0
otherwise.
Next assume that (l,s,) satisfies the condition (h-3). Then for A E
'H2(ZO put
if A > 0
ifrankA=l
if A = O.
Special values oj the standard zeta junctions 343
3. Pull-back formula
From now on put ro(N) = r~1)(N), and in particular put r = r(l).
For an even positive integer 1 and non-negative integer II we define a
polynomial G?" (
u, v) in u, v by
This type of polynomial was introduced by Zagier (cf. [Z], [I].) Let 1
be an even positive integer, and a Dirichlet character modulo M
344 H.KATSURADA
such that 4>( -1) = 1. For an even positive integer k 2: i and a prim-
itive Dirichlet character X modulo N, we define a function (ZI, Z2) =
2,k(ZI,Z2;i,M,4>,s) on HI x HI by
= /'i,1,k(S)Nk+l+2s-2 M I- k/ 2L(fIWM, i + 28 - 1, X)
X f/WM/T(M/N2)(z),
where
r(k + s -1/2)r(k + s -1)
(_1)1/2
/'i,1,k(S) = 2-3+2k-l+2s7rk-l-1 r(i + s)r(i + s -1/2)
r(k - 1)
x nz:~ (Jj/2)(k - 1 - s - Jj/2)'
t
where ql = exp(27rizl),q2 = exp(27riz2). Then 2,k(Z},Z2;l,M,c/>,X,s)
belon&.s to Mk(ro(M), c/ Mk(ro(M), c/, and, in particular if k > l,
then 2,k(Zl,Z2;I,M,c/>,X,s) belongs to Sk(ro(M),c/ Sk(ro(M),c/.
Furthermore, by Theorem 2.1 we have
and
A(f LU, 0, X)
)
,O,X = r (k -1 ) 22k-37rk < f,f >'
We note that mC~ro(N) = 7r/3[r : roCN)]. Thus by Theorem 3.1 we
have
Theorem 3.2. Under the above notation and the assumption, we have
the following:
(1) Let c/> be a primitive quadratic character modulo pr with r ~ 1. Let
f be a primitive form in SkCro(PT),<p)new. Then
and
- - 2
< fI8 p ,2,k(*,-z;l,p Po,cp,X,s)) >
= 3[r : ro(p2po)J-lpl+2sp~-k/2 A(rI8p , l + 2s - 1, X)
x < fl8p, fl8p > c,).,(po)rI8p(z),
and
- - 2
< fI 8p2 ,2,k(*,-z;l,p Po,cp,X,8)) >
= 3[r : ro(p2po)rlpl+2Sp~-k/2 A(r, 1+ 28 - 1, X)
x < f, f > c,).,(po)r(z).
4. Computation of L(j, l, X)
Let p be prime a number such that p == 1 mod 4. Let Po = 1, or a
prime number such that (EQ) = 1 and Po == 1 mod 4. Here (Pff) denotes
the Legendre symbol. In t&is section we give some formulas to compute
LU, m, X) for a primitive form f E Sk(ro(N), 1/J) in the following three
cases:
(1) N = p, 1/J = (~) , and X is trivial,
Special values of the standard zeta functions 347
Furthermore, put
L
00
L A(fi, 1+ 2s - 1, I)Ciai(P)(ti(m).
dl
t(m; l, s) =
i=1
Sketch oj the proof. Here we treat only the case (3), and show how to
derive the formula from Theorem 3.2. As for the details, see [Kat2]. As
is well known,
WI
'th Cij ij ' Cij(Ct,/3) E C . Now we h ave f i ITXT
(0,0) , b(Ct,/3) YYp2pO = Ci fel s:
i 0p2,
fil8pIWp2pO = CifPl8p. Similarly, gilWpoP2 = C;g;18p with constant C;, and
hilWpop2 = d/hi with constant df. From this we have gil8plWp2pO = <;g;.
For a positive integer write Ai(m) = A/i(m), Ai(m)' = AgJm) , and
Ai (m)" = Ahi (m). By assumption, we have 'lj;(p) = 1. Thus Ai (P) is a
real number. Now by using the formula [Shl, (2.5)]' we can show that
we have
and
Special values of the standard zeta functions 349
Then by a direct computation we have
- 2
e2,k(ZI, Z2; l,p Po, 'I/J, X, 8)
d3 d2
=L Cii hi(ZI)hi (Z2) + L bii { _p-k/2 Ai (P)9i (zI)9i (Z2)
i i=1
+ 9i (zI)9i Idp(Z2) + 9ildp(zI)9i(Z2) - p-k/2 Ai (P)9i Idp(ZI)9i Idp(Z2)}
dl
+L llii{p-l fildp2(zdfildp2(Z2) - p-k/2 Ai(P)fildp(ZI)fildp2(Z2)
;=1
+ !i(zl)!ildp2(Z2) - p-k/2 Ai (P)fi Idp 2 (zdfi Idp (Z2)
+ (1 + Ai(P)2p-k - p-2)fildp(zdfildp(Z2) - Ai (p)p- k/ 2fi(Z1)!ildp(Z2)
+ !ildp2(ZI)!i(Z2) - p- k/2Ai (P)!i Idp(Zl)fi(Z2) + p-l !i(Zl)!i(Z2)},
where
C;i = 3p- 1 (p + 1)-ltPc/pl+28p~-k/2 A(hi' 1 + 28 -1, X)t;'Ai(PO)",
and
.. = 3 -1 (P + 1)-lrl (1 + p-l )pl+28p~-k/2 A(fi, 1 + 28 - 1, X)~Ai(po)
au p po (1_p-l)1+p-l)2_p-kAi(P)2) ,
where dq = Po + 1 or 1 according as Po is prime number or 1. Now let
=L
00
and
=L
00
L
00
d2
+ Lpk/2(1 - p- 2)bii gi (Z2).
i=l
We note that bi (p 2 m) = pk - 2 bi (m) for any positive integer m prime to
p (cf. [Miy, Theorem 4.6.17]). Thus the assertion follows by a direct
computation. 0
For a prime number q not dividing PPo put
[i/2)
, -- 13('Z + 1, q,'l , s ) --
13t+l ~(,C
~ t r - t 'cr-l )qr(k-l)t( q
i-2r'l
, ,S)
r=O
"
1 L(12,1,5)
1 2'" . 3 . 7/5'v
3 214 .35 .7.2851/513
5 219 .35 7 1511599/516
7 219 . 38 . 73 . 521 . 295387/5 20
9 226 .310.72.110308273279/524
1 L(12, 1,13)
1 2'" . 3 . 5"' . 7 . 563/13'"
3 214 .35 .52 .7.41177. 1445419/1316
5 219 .3 5 .54 .7.299696968678699/1320
7 219.37.53.73.312.5479.306945156059/1323
9 226 . 310 . 55 . 72 . 547 10267 1634679978646831/13 26
l L(12,l,17)
1 2~' 3O5"72389/17'~
3 217 .35 .52 .7.477200018623/1714
5 220 . 35 54 . 7 . 23 . 29 . 997 . 46316422211/1720
7 222 . 38 53 . 73 . 167 . 11003 322079 . 915248119/1724
9 230.310.55.72.43.892028959.1604767911433/1727
We note that the value L(12, l,p) has been obtained by Stopple [StoJ in
the case where p = 5 and 1 = 1,3,5,7, or p = 13,17,29,37,41 and 1 = 1.
We note that relatively large prime numbers appear in the numerator of
L(k, 1, 5) contrary to the untwisted case in [D). At present, the author
does not know whether these primes relate to any arithmetic algebraic
geometry. We note that the numerator of AU, l, 1) is related to the order
of the Shafarevich-Tate group (cf. [D).)
(2) The values of the standard zeta functions at s = 1 are particu-
larly important. To explain this, let q be a prime number congruent
to 1 modulo 4~ and let OQ(y'q) be the ring of integers in Q(JQ). Let
Sk,k(SL2(OQ(y'q) be the space of cusp forms of weight (k, k) with re-
spect to SL2(OQ(y'q). Then Sk,k(SL2(OQ(y'q)) has the following de-
composition:
References
[B-S] S. BOcherer and C. G. Schmidt, p-adic measures attached to Siegel modular
forms, Ann. Inst. Fourier 50 (2000), 1375-1443.
[D] N. Dummigan, Symmetric square L-functions and Shafarevich-Tate groups,
Exp. Math. 10 (2001), 383-400.
[D-H-I] K. Doi, H. Hida, and H. Ishii, Discriminant of Hecke fields and twisted
adjoint L-values for GL(2), Invent. Math. 134 (1998), 547-577.
[F-J) D. W. Farmer and K. James, The irreducibility of some level-l Hecke poly-
nomials, Math. Compo 71 (2002), 1263-1270
[G] K. Goto, A twisted adjoint L-values of an elliptic modular form, J. Number
Theory 73 (1998),34-46
[H-M] H. Hida and Y. Maeda, Non abelian base change for totally real fields, Pacific
J. Math. Olga Taussky-Todd Memorial Issue (1997), 189-218.
[Hir] Y. Hiraoka, Numerical calculation of twisted adjoint L-values attached to
modular forms, Exp. Math. 9 (2000), 67-73.
[I) T. Ibukiyama, On Differential opemtors on automorphic forms and invari-
ant pluri-harmonic polynomials, Comm. Math. Univ. St. Pauli 48 (1999),
103-118.
[Katl] H. Katsurada, An explicit formula for Siegel series, Amer. J. Math. 121
(1999), 415-452.
[Kat2] H. Katsurada, Special values of the twisted standard zeta function of an
elliptic modular form, preprint (2001).
[Kat3] H. Katsurada, Exact values of the standard zeta function of a Siegel modular
form of degree two, preprint (2001).
[Ku] N. Kurokawa, Congruence between Siegel modular forms of degree two, Proc.
Japan Acad. 55 (1979), 417-422.
[L] W. Li, L series of Rankin type and their functional equations, Math. Ann.
244 (1979), 135-166.
[Miy] T. Miyake, "Modular forms," Springer-Verlag, Berlin, 1989.
[Miz] S. Mizumoto, Congruences for eigenvalues of Hecke opemtors on Siegel mod-
ular forms of degree two, Math. Ann. 275 (1986), 149-161.
[Shl] G. Shimura, The special values of the zeta functions associated with cusp
forms, Comm. pure appl. Math. 29 (1976), 783-804.
356 H. KATSURADA
Ken ONO
Department of Mathematics,
University of Wisconsin, Madison,
Wisconsin 53706 liSA
onolDmath.wisc.edu
Matthew A. PAPANIKOLAS
Department of Mathematics,
Brown University, Providence,
Rhode Island 02912 USA
mapIDmath.brown.edu
L
00
The values of j(z) and its coefficients play many important roles in math-
ematics. For example, its values generate class fields and its coefficients
appear as dimensions of a graded representation of the Monster via the
Moonshine phenomenon. In a recent paper, Kaneko [K] produced an
interesting connection between the values of j(z) at Heegner points, the
so-called singular moduli, and its coefficients. Using recent formulas of
Zagier, he systematically expresses the coefficients c(n) in terms of sin-
gular moduli. In this paper we want to illustrate some peculiar p-adic
The first author thanks the National Science Foundation, the Alfred P. Sloan Foundation,
the David and Lucile Packard Foundation, and an H. I. Romnes Fellowship for their gen-
erous research support. Both authors thank the referee for his/her helpful suggestions and
comments. The first author thanks Professors K. Hashimoto, K. Miyake and H. Nakamura
for their kind hospitality during the 1999 and 21)()1 meetings. These were two wonderful
conferences!
[received: February 6, 2002; accepted in revised from: May 16, 2002]
358 K. ONO AND M. A. PAPANIKOLAS
if r = i,
if r = e27ri / 3 , (2)
otherwise.
These formulas follow from Euler's formula for ((1 - k) and the Fourier
expansion for Ek(Z). For example, consider the case where k = 10. The
divisor of ElO (z) is supported by simple zeros at r = i and e27ri / 3 , and
so the fact that j(i) = 1728 and j(e 27ri / 3 ) = 0 confirms (1):
Here we prove a p-adic analog of (1), where the values of the Kubota-
Leopoldt zeta-function at s = -1 are given by a p-adic limit of certain
precise expressions in the values of the j-function.
Theorem 1. If r E Hlr is a point for which j(r) E Q, and p S; 7 is a
prime for which
j(r) == {o
6
(mod p)
(mod 7)
if P ::; 5,
if p = 7,
p-adic properties of the values of j 359
~-.
2
= -- -
744.
hm
( n pG_l . (pn-a r
"" "" J
+ b))
(;(-1) p -1 n-++oo ~ ~ pa .
Note the similarity between (1) and the p-adic formulas appearing in
Theorem 1. On the left hand side we have a zeta-value, and on the
right hand side we have an expression involving values of the j-function.
In (1) these expressions are traces of j-values over the divisor of an
Eisenstein series, and in Theorem 1 these expressions are p-adic limits
(as n -+ +00) of the 'traces' of j-values over the images of r under the
upper triangular Mobius transformations with determinant pn.
There are some important differences. First of all, the formulas in
Theorem 1 only pertain to those zeta values at s = 1 - k = -1 (i.e.
where k = 2). This is a byproduct of the fact that Theorem 1 is a
statement about the arithmetic of p-adic modular forms of weight k = 2.
Furthermore, Theorem 1 does not appear to be a statement related to
the arithmetic of Eisenstein series. However, this is not true. The proof
of Theorem 1 requires the arithmetic of the Eisenstein series (at least
E4 and E6) in a vital way.
Using the fact that (;(-1) = -(p - 1)/12, Theorem 1 may be inter-
preted as a curious collection of p-adic formulas for the integer 720:
Combining similar arguments with recent work of the first author and
Bruinier and Kohnen [Th. 9, B-K-O], one obtains the following p-adic
formulas for class numbers H( -D) of quadratic orders with discriminant
-D. First we recall the notion of a Heegner point. A complex number
T of the form T = -b+~ 2a with abc
' , E Z , gcd(a , b, c) = 1 and
b2 - 4ac < 0 is known as a Heegner point, and its discriminant is the
integer d-r := b2 - 4ac.
H(-D) = -120
1
lim TrK/Q "
- n-+oo "j
(n 7a_l (7n-aT+b)) .
~ ~ 7a
a=O b=O
tends to zero 5-adically IlS n --+ +00. For n = 0,1,2 and 3 we find that
10 = -3195 = _32 . 5 . 71,
11 = -32. 52.11 2 .41118261707401,
r, 3
12 = -3.0 . 5 . 1123 .... ,
13 = _32 . 54 . 109 .... .
Example. For another example, we consider the Heegner point T =
(1 + J-15)/2, using the evaluation (see [II.6, SiD
L u3(n)qn,
00
jeT) == {o
6
(mod p)
(mod 7)
if p ~ 5,
if P = 7,
362 K. ONO AND M. A. PAPANIKOLAS
E 2 (z) = 1- 24 LO'l(n)qn.
n=l
Although 8 is simple to define, its arithmetic nature is deeper and
is dictated by the j appearing in (9). There is an explicit formula for
8(f) in terms of a natural sequence of modular functions jm(z). Let
jo(z) := 1, and for every positive integer m let jm(z) be the unique
modular function whose Fourier expansion is of the form
00
which is also holomorphic on the upper half of the complex plane. Notice
that if m is a positive integer, then a convenient description of these
functions is given by using the normalized weight 0 Hecke operators
T(m):
HT(z) := Ljn(T)qn.
n=O
HT(z) = El(z)E6(Z) . 1 .
A(z) j(z) - jeT)
In particular, HT is a weight 2 meromorphic modular form.
(2) If f = E~=h af(n)qn is a nonzero weight k meromorphic modular
form on 8L2(Z) for which af(h) = 1, then
where fa is defined by
fa:= I: eTordT(f)HT(z).
TEH/r
364 K. DND AND M. A. PAPANIKDLAS
n=O
Gross and Zagier proved that if [Cor. 2.5, G-Z] 7 is a Heegner point
with discriminant fir, then
IdTI == 3 (mod 8) ==} j(7) == 0 (mod 215 ),
Ifir I == 1 (mod 3) ==} j(7) == 1728 (mod 36 ),
IdTI == 2,3 (mod 5) ==} j(7) == 0 (mod 53),
IdTI == 1,2,4 (mod 7) ==} j(7) == 1728 (mod 72 ).
p-adic properties of the values of j 365
8(FD(Z)) H(-D)
II
8
_ 8(FD(Z)) H(-D)
QD,s(Z) = F () = -
D Z
Hrt(z) L
t=l
(mod pS+l).
References
[A-K-N) T. Asai, M. Kaneko and H. Ninomiya, Zeros of certain modular functions
and an application, Comm. Math. Univ. St. Pauli 46 (1997) 93-101.
[B-K-O) J. Bruinier, W. Kohnen and K. Ono, The arithmetic of the values of modu-
lar functions and the divisors of modular forms, Compositio Mathematica,
accepted for publication.
[G-Z] B. Gross and D. Zagier, On singular moduli, J. reine angew. math. 355
(1985) 191-220.
[K) M. Kaneko, Traces of singular moduli and the Fourier coefficients of the
elliptic modular function j(T), in "Number theory (Ottawa, ON, 1996),"
173-176, CRM Proc. and Lecture Notes, 19. Amer. Math. Soc., Providence,
RI,1999.
[Se] J.-P. Serre, Formes modulaires et fonctions zeta p-adiques, in "Modular
functions of one variable. III (Willem Kuyk and J.-P. Serre, ed.)," 191-
268, Lecture Notes in Mathematics, 350. Springer-Verlag, Berlin-New York,
1973.
lSi] J. H. Silverman, "Advanced Topics in the Arithmetic of Elliptic Curves,"
Springer-Verlag, New York, 1994.
Galois Theory and Modular Forms pp 367-374
K. Hashimoto, K. Miyake, and H. Nakamura, Editors
2003 Kluwer Academic Publishers
Masao KOIKE
Graduate School of Mathematics
Kyushu University,
Pukuoka, 812-8581 Japan
[email protected]
Introduction
B. J. Birch published some manuscripts of Ramanujan which con-
tained, among other things, a list of identities involving Rogers-
Ramanujan functions
G(x) = 11 00 1
(1 - x5n +l )(1 - x 5n +4) ,
H(x) = 11 00 1
(1 - x5n+2)(1 - x5n+3) ,
and
IT (1 - xmn)
00
q(m) =
n=l
IT (1 - e2m
00
These identities involve the functions G(x) and H(x) on one side and
the products of q( m) for various m on the other side. All of them except
one are already proved. (For the history of proofs, see [1], [2]). In [1],
Birch wrote that these identities of Ramanujan seemed too complicated
to guess, E"ren for one with Ramanujan's incredible instinct for formulae.
In this paper, we shall propose an idea which gives us an easier way to
find, but not to prove, some of such complicated identities, moreover
new identities which Ramanujan missed. The idea is to connect these
results with Thompson series. Thompson series Tg is the normalized
generator of a genus zero function field parametrized by the Monster
M, the largest sporadic finite simple group. In [3], Conway and Norton
gave all products for Tg+constant expressible in terms of TJ(kT) for var-
ious k. We observed that many products of TJ(kT) for various k which
are involved are common in the both identities. Therefore we try to
find many identities between Thompson series and Rogers-Ramanujan
functions directly by using computers.
1. Preliminaries
G (x) and H (x) can be expressed as theta functions by using the Jacobi
triple product identity. Put
g(T) and h(T) are modular funtions on rl(5) with some character. We
define
Then the leading term of Fourier expansion of F/s ' Fr- s is x W , X l1~or
respectively. Put N = rs. N is called the level ~f Fr,~. Since rand S
satisfies r + S == 0 (mod 5) or r - S == 0 (mod 5), the level N satisfy
N == 1 or 4 (mod 5). Moreover we suppose that N is an order of any
element of the Monster. Then N is in the set
s= {4, 6, 9,11, 14, 16, 19, 21, 24, 26, 29, 31, 34, 36, 39, 41,} .
44, 46, 51, 54, 56, 59, 66, 69, 71, 84, 94, 104, 119
2. Results
The more precise statement of Conjecturel.l is given by the following
list of formulae. We checked that the first fifty powers of x in the fol-
lowing formulae are correct. The first fifty coefficients of all Thompson
series are given in [4]. The s~'mbol acx tJ3 ... /c i d8 ... means the function
'f/(ar)cx'f/(br)!3 ... /'f/(cr)'Y'f/(dr)8 ....
Level Formulae
2 48
4 (F4+,1 )12 = TH + 24 = ~
9 ( +)6
F9,1 = T9+ + 6 = 93"
13
+ 2713"
93
+9
14 ( + )4
F14 ,1 = T14+14 + 4 = 14i:44
24 74
19 (Fi'g,1)3 = T19+ + 3
3 2 72 1221 2
21 ( +
F7,3)
6
= T21+ = ~ +~ - 2
2 2
26 ( +
F 13,2)
4
= T26+ = ~
2213
+~
1226
- 2
29 (Fig,1)2 = T29+ + 2
F-
36 ~ -7',
F- - 36+36
+ 1-
-
4 .9
1.36
9.4
Thompson series and Ramanujan's identities 371
Level Formulae
F+
39 3~,1
F 13 ,3
= T39+39 + 1 = ~
1.39
+ + _ _ 24224
44 F44 ,I F 11 ,4 - n4+ + 1 - 1242 112442 - 1
46 F-
46,1 p,+
23,2 -- T.46+ -- '2."46
1.23 + 2 I:'23
2 . 46 + 1
51 F51,IFi~,3 = Tsl+
54 F~,IF27,2 = T54+ + 1
56 p,- p,+ -
56,1 8,7 -
1]
56+ -
- 2.4.14.28
T.7:8.56 -
1
59 Fit,1 = T 59+ + 1
66
F+
~~
F-
F+
F-
-- T.66+6,11,66 + 1 -- 2.3.22.33
T:6.iT."6li
11,6 66,1
71 F 71 ,1 = T71 +
119 Fii9,lFi7 ,7 = T 1l 9+ +1
Level Formulae
6 F::2F6~1 = 1
14 Fi~,1 Fi,2 =1
16 (Fi6,1)2 = F S,2+
21 Ft3
, = F211,
24 FB:"3F~,1 = 1
26 Fit ,2 = F26I
,
Level Formulae
References
[1] B. J. Birch, A look back at Ramanujan's Notebooks, Math. Proc. Camb. Phil. Soc.
78 (1975), 73-79.
[2] A. J. F. Biagioli, A proof of some identities of Ramanujan using modular forms,
Glasgow Math. J. 31 (1989), 271-295.
[3] J. H. Conway and S. P. Norton, Monstrous Moonshine, Bull. London Math. Soc.
11 (1979), 308-309.
[4] J. Mckay and H. Strauss, The q-series of monstrous moonshine and the decom-
position of the head characters, Comm. in Algebra 18 (1990), 253-278.
Galois Theory and Modular Forms pp 375-394
K. Hashimoto, K. Miyake, and H. Nakamura, Editors
2003 Kluwer Academic Publishers
GENERALIZED
RADEMACHER FUNCTIONS
AND
SOME CONGRUENCE PROPERTIES
Hiroaki NAKAMURA
Department of Mathematics
Faculty of Science,
Okayama University, Okayama
700-8530, JAPAN
h-naka@math .okayama-u .ac.jp
IT (1- qn)
00
1'/(r) = ql/24 (1.1)
n=l
on the upper half plane S) is one of the most beautiful objects in num-
ber theory. Since b.(r) = (21l'i)121'/24(r) is a cusp form of weight 12
for SL2(Z), it is clear that, for any A = (~~) E SL2(Z), the ra-
tio 1'/(Ar)/v crt d1'/(r) is a 24-th root of unity. The behavior of this
little ratio with respect to A E SL2(Z) looks delicate and mysteri-
[received: June 18, 2002; accepted in revised form: October 18, 2002J
376 H. NAKAMURA
e 22~icp(A)7](T), (c = 0);
7](AT) =
{
e 22~icp(A) Jcrtd7](T), (c > 0).
(1.2)
PI(x) =
{oX - [x]- ~
(x E Z);
(x Z).
where
(2.1)
As expected from the above definition, (2.4) can be converted into the
following l-cocycle property of ~~k):
(2.6)
on A, B E r(N). But one can get a nicer result. In fact, G. Stevens [St]
showed how to interpret ~~k) as the periods of a certain real differential
form extended to the Borel-Serre compactification i:J of the upper half
plane 5). With his method, we can extend ~~k) canonically to a function
from SL2(Z) (or even from GL2(Q)+) to Sym k - 2(Q2). Moreover the case
of (k, x) = (2,0) may naturally be included in this unified construction
of <p~k) with regarding <p~2) = -cp(A)/12. Then, the above properties
(1.4) and (2.6) can be generalized to
(2.8)
where the last factor (called the generalized Dedekind sum) is defined
by
(k-l-r,r+l)(
s( ) a,e -
) _ L
c-l n
.rk-l-r
(x!+i) n
c
(
.rr+l X2 + a X!+i)
c
. (2.9)
Xl,X2 k-1-r r+1
i=O
380 H. NAKAMURA
and put
(-1 S; is; n).
Then,
Lemma (3.3). Notations being as above, we have
( a)
C
= (ko (kl (kn
1010"'10
-1) -1) -1) (rn+l)
O
The claim (i) follows immediately from this. Both A and cAn are in
SL2(Z) and have the same left column. Therefore, there exists 6 E Z
with A = cAn 00, i.e.,
JDa(Xl) JDb(X2)
f3a,b(X) := max{ a, I} . max{b, I} .
(k) (1 8)
q>xA n( 0 1 ) = - f3k,o(xA n) Jo
kn +1
(tX
r + Y) k-2 dt,
(k) (ki
q>xAi-l (1
-1) 0 ) = - f3k ,o(xAi-d Jor (tX + Y)
ki
dt k-2
+ I:( -1)j (k ~ 2)
j=O J
x Xj(kX
t
+ y)k-2- j s(k-l-
XAi-l
j ,j+I)(k 1).
t,
Generalized Rademacher functions and some congruence properties 383
we see that
(k-l-j,j+l)(k . 1) = Pk-I-j(Yi) Pj+1 (Zi + kiYi)
sxAi_l t, k - 1- j j +1
= (_I)k-I- j ,Bj+l,k-l-j(xA).
Therefore,
{~xS
~ -Pi-IX - qi-I Y,
~ Pi-2 X + qi-2 Y,
~ -PiX -qi Y,
N:- 1
(Pn(~ + u) - Pn(~)) == x n- 1 (Pl(~ + u) - Pl(~))
(mod ~ Z'tv) (4.2)
Z
Here, the congruence is taken modulo Z~, and Pn-2, Qn-2 are poly-
nomials of degree n - 2 with coefficients in Z. Since ~Bn(X) is a poly-
nomial of the form ~xn - ~xn-l + ... , it follows that dn is a multiple of
LC M {2, n}. Therefore, the second and third terms of the above last side
t.
vanish modulo 'lL,N' Moreover the integer x' := {x / N} N is congruent
to x (mod N). Thus, the above last side continues to
== (x')n-l v == xn-1v = x n- l (Pl(~ + u) - Pl(~))'
o
Proposition (4.3). Let N, r, k be integers satisfying N 2: 1, k 2: 2
and 0 ~ r ~ k - 2, and, for s = 1, ... , k - 2, let es be the denominator of
k(f!:s)' Define Dk,r to be the least common multiple of the set
This congruence formula was first proved by the author in the special
case of r = o. The general case of the formula was then conjectured by
Y. Morimoto after numerical computations and evidences [Mo] .
e
L., r k-l-r r+l
r=O
- ~(ax + cy)'yk-2-" ~ 2)
a-I p ( X2+i) n (X2+i)
X ( _l)r ~ k-I-r Xl + C a rr+l a .
L., k- 1- r r +1 (4.4.0)
i=O
Let us first evaluate the left hand side of the congruence formula (4.3).
When k = 2, r = 0, the above (4.4.0) gives
(2) C b
<Px (A) = 2a P2(X2) - 2aP2(axl + CX2)
a-I X2 +i X2 +i }
+ { Pl (XI)Pl (X2) - ~ PI (Xl + c-a-)PI (-a-) .
386 H. NAKAMURA
(4.4.1)
where
N-I N-I
So:= 12 L L xk-2-.ryr(2caP2(~) - ;aP2(~))'
x=O y=O
N-1 N-1
S1 := 12 L L Xk-2-ryrpI(~)PI(~)'
x=O y=o
N-l N-I a-I X 1L + i +i 11
S2:= -12 L L Lxk-2-ryrPI(N +c7)P1(-a-)
x=O y=O i=O
(Note also here that b == c == 0 (mod N).) Let us rewrite S2. According
JL+'
to the decomposition of PI(~) as cl1v + (~- ~), we may write
(4.4.2)
Generalized Rademacher functions and some congruence properties 387
where
12N ')
82 == Tl
/I
+ T2 (mod 2d ZN (4.4.3)
k-r-I
where
X y + Ni X ) r i 1
X ( Pk-I-r(N+ C aN )-Pk-I-r(N) Y (0:-2)
N-I a-I
= - 12 L L k- ~-
y=O i=O
r
Meanwhile, since
1 y + Ni 1
L L k -1- r Pk - l -r(C
N-l a-I r
-12 a )y (-2)
y=O i=O
6 Pk-l-r(O) B;+1 (N)
= ak - r k - 1- r r+1
and
N-l a-I ( ) B* (N)
- 1 2 " " _ Pk-l-r(O)yr(i _~) = _6 Pk - 1- r 0 r+1 ,
LJLJ k-1-r a 2 k-1-r r+1
y=O i=O
it follows that
y + Ni
_
Tl = -12 L L k -1-r
N-l a-I1
'0
Pk-l-r(C
a
i 6N
)y - (mod -D ZN)'
a kr
r I
y= 0 z= '
modulo (k;2) GCD.J6,N}N 71./N . Next, we shall consider the right hand
k,r
side of the statement formula. Reading the coefficients of xryk-2-r of
(4.4.0) for (Xl, X2) = (0,0), we get
Generalized Rademacher junctions and some congruence properties 389
where
r
12Nk- 2 (k;2)(_l {N-IN-l x Y
U2 = (k -1- r)'r + 1)
(
L L r
Pk-l-r(N)P +1(N)
x=O y=o
~~~ r X cy ci i+1!t }
- ~ ~ ~a Pk-l-r(N + aN + ~)Pr+l(-a-)
= 12(k -
r
2) (-l r { Pk-l-r(O)
k-1-r r+1
Pr+l(O)
We shall decompose the second term of the above last side according to
(aNY y i (aNY Y r i N 1
- - Pr + 1 ( - + -) == -'- - Pr +1(-) + y - (mod -71N ),
r+1 aN a r+1 aN a dr +1
~'7J1
D(k) /UN
= ~ (k -
;So r
2) GCD{6Dk,r, N}N '/UN7J1 If1I
C -...e.
o
Example (4.6). Take a matrix A = Oii
-=-1~:6\) E r(1I2), and let us
examine our congruence formula (4.5) for k = 6, N = 11. In this case,
or any 0 <
_ r <4
_ 'r(4) GCD{6,N}11
12D6,r '/U11
7J1 = 11'7J1 N '7J1
/uu, hence 12D(6) /U11 may be
taken as lIZ!l Computation on RHS shows
~~6) (A)(X, Y)
= 6157810527168637 X4 1I7260782677249595 y X3
, 315 + 504
37381997569467617 y2 X2 5190578682530622937 y3 X
+ 36 + 2520
1930511018334372017 y4
+ 1260 '
while that on LHS shows
10
L (xY - yX)4~~ Jl.)(A)
x,y= O
11 ' 11
= 12315621037816679 X4 117260782583656459 Y X3
630 + 504
37381997573145269 y2 X2 5190578682723945577 y3 X
+ 36 + 2520
1930511018183758967 y4
+ 1260
== 0 (mod lIZl1 ).
392 H. NAKAMURA
127
<1>(4) (A) - '"' (xY - yX)2<I>(2~ ...lL.. (A)
o L (12S'12S)
x,y=O
= 23581232 X2 33761033632 XY 689599376992 y2
45 + 15 + 15
Generalized Rademacher functions and some congruence properties 393
Acknowledgements
The author would like to thank Yasuhiko Morimoto for valuable dis-
cussions on the topic and useful calculations of numerical examples. He
is also very grateful to the referee for crucial comments which were very
helpful to improve the submitted version of this paper.
References
[D] R. Dedekind, Erliiuterungen zu zwei Pragmenten von Riemann, in "Riemann's
Gesammelte Math. Werke, 2nd edition," 466-472, 1892.
[KM] R. Kirby and P. Melvin, Dedekind sums, j.L-invariants and the signature cocy-
cle, Math. Ann. 299 (1994) , 231-267.
[Mo] Y. Morimoto, Arithmetic behavior of functions related with generalized
Dedekind sums (Japanese), Master Thesis, Tokyo Metropolitan University,
January 2002.
[NIJ H. Nakamura, On exterior Galois representations associated with open elliptic
curves, J. Math. Sci. Univ. Tokyo 2 (1995), 197-231.
[N2] H. Nakamura, Galois representations in the pro-l fundamental groups of punc-
tured elliptic curve (Japanese), in "RIMS Technical Report Series 884," 46-53,
1994.
[N3] H. Nakamura, Tangential base points and Eisenstein power series, in "Aspects
of Galois Theory (H.Voelkein, D.Harbater, P.Mueller, J.G.Thompson, eds.),"
202-217, London Math. Soc. Lecture Note Ser., 256. Cambridge Univ. Press,
Cambridge, 1999.
[N4] H. Nakamura, On exterior monodromy representations associated with affine
elliptic curves, in preparation.
[R] H. Rademacher, Zur Theorie der Modulfunktionen, J. Reine Angew. Math.
161 (1931), 312-336.
[RGJ H. Rademacher and E. Grosswald, "Dedekind sums," Carus Math. Mono-
graphs, 16. The Mathematical Association of America, Washington, D.C.,
1972.
[Scz] R. Sczech, Eisenstein cocycles for GL2Q and values of L-functions in real
quadratic fields , Comment. Math. Helvetici 61 (1992), 363-382.
[St] G. Stevens, The Eisenstein measure and real quadratic fields, in "Proceedings
of the International Conference on Number Theory (Quebec, PQ, 1987)," 887-
927, de Gruyter, Berlin, 1987.