Professional Documents
Culture Documents
By
Y. Kitaoka
By
Y. Kitaoka
Printed In India
Preface
Y. Kitaoka
v
Contents
Preface v
vii
Chapter 1
Introduction
1
The problem of the representation of a natural number t as the sum of a
given number m of squares of integers is quite classical and although its
history goes back to Diophantus, it may be said to have begun effectively
with Fermat’s theorem that every prime number congruent to 1 modulo
4 is a sum of two squares of integers. Practically, every mathematician
of repute since Fermat has made a contribution to problems of this type
in the theory of numbers. One has, thanks to Jacobi, a formula for the
number rm (t) of representations of t as a sum of m squares of integers,
with m = 2, 4, 6 and 8; for example,
X
r2 (t) = 4 (−1)(d−1)/2 ,
d|t
d odd
P
8 d(t odd)
d|t P
r4 (t) =
24 d(teven).
d|t
d odd
1
2 1. Fourier Coefficients of Siegel Modular Forms
Analogously, one can ask for the determination of (m, n) integral matri-
ces G or of the number r(A, B) of all such G, for which
2 where A and B are given (m, m) and (n, n) integral positive definite ma-
trices. As a first step, one can seek suitable conditions under which (∗)
has a solution. A recent result in this direction is given by
where e(α) := exp(2πiα), tr denotes the trace and G runs over all (m, n)
P
integral matrices. Then it is clear that ϑ(Z) = r(A, B)e(tr(BZ)) where
B≥0
B now runs over all (n, n) non-negative definite integral matrices. It
turns out that the theta series ϑ(Z) is a Siegel modular form of degree
n, weight m/2 and level N (some N depending on A). Thus the prob-
lem now reduces to studying the asymptotic behaviour of Fourier coeffi-
cients of Siegel modular forms which is in the very centre of the analytic
approach referred to.
If A1 = t UAU for U in GLm (Z), then obviously ϑ(Z; A1 ) = ϑ(Z; A) 4
i.e. ϑ(Z) is a class-invariant associated with A, depending only on the
class (of matrices A1 “equivalent” to A as above). The genus of A con-
sists of all positive-definite matrices A∗ such that for every prime num-
ber p, A∗ = t U p AU p for U p in GLm (Z p ); it is known from the reduction
theory of quadratic forms, that the genus of A consists of finitely many
classes. Let A1 , A2 , . . . , Ah be a complete set of representatives of the
classes in the genus of A and let o(Ai ) be the order of the unit group
of Ai , consisting of all U in GLm (Z) with t UAi U = Ai . Then we have
P P
the genus - invariant E(Z) := { i ϑ(Z; Ai )/o(Ai )}/{ 1/o(Ai )} associated
P i
with A, having the Fourier expansion a(B)e(tr(BZ)). From Siegel
B≥0
4 1. Fourier Coefficients of Siegel Modular Forms
5. The next step is naturally to get upper estimates for the Fourier 6
coefficients b(B) of g(Z) which, by its very construction, has the
property that for every modular substitution Z → M < Z > (:=
(AZ + B)(CZ + D)−1 ), of degree n, the constant term in the Fourier
P
expansion g(M < Z >) det(CZ + D)−m/2 = b(B, M)e(tr(BZ)/N)
B
vanishes. For n = 1, this property characterises a cusp form;
however, g is not a cusp form for n > 1, in general, preempting
an appeal to the estimation of Fourier coefficients of cusp forms
of degree n.
Let
( ! ) [
±1 n
σ < F >= {σ(z)|z ∈ F}, Γ∞ ∈ Γ|n ∈ Z and g = σ<F>.
0 ±1
σ∈Γ∞
For any fixed m as in the assertion of Theorem 1.1.1 or 1.1.2 and for
σ = ac db in Γ, let β(σ) := {x ∈ [0, N]|σ(x + im−1 ) ∈ g}. We also write
β(c, d) for β(σ), as may be seen to be appropriate.
S
Since H = σ < g >, we have IN,m = {x + im−1 |0 ≤ x ≤ N} =
S σ∈Γ ∞ \Γ
β(σ), this being indeed a finite union, in view of the compactness
σ∈Γ∞ \Γ
√
√ IN,m . Further IN,m ∩S
of g = ∅ for m > 2/ 3, since for z = x + iy ∈ g, y ≥
3/2. Thus IN,m = β(σ). Further, measure (β(σ1 ) ∩ β(σ2 )) = 0,
σ∈Γ∞ \Γ
σ<Γ
for σ1 < Γ∞ σ2 .
Now
ZN
Nam = f (x + im−1 )e(−m(x + im−1 ))dx
0
X Z
2π
=e f (z)e(−mx)dx
σ∈Γ∞ \Γβ(σ)
σ<Γ∞
e2 π X
i.e. am = α(c, d), (1)
N (c,d)=1
c≥1
writing α(c, d) for the integral over β(σ) = β(c, d). If β(σ) = ∅, then the 12
corresponding α(c, d) is 0. On the other hand, if β(σ) , ∅, there exists x
in R with σ(x + im−1 ) ∈ g implying that
√
Im(σ(x + im−1 )) = m−1 /((cx + d)2 + c2 /m2 ) ≥ 3/2.
Hence,
√ in this case m/c2 = m1 /(c2 m−2 ) ≥ m−1 /((cx + d)2 + c2 /m2 ) ≥
√
3/2 i.e. β(σ , ∅ implies that c = O( m). Thus in the sum over
(c, d) in (1) with (c, d) = 1, we may restrict c to satisfy the condition
√
1 ≤ c ≪ m.
10 1. Fourier Coefficients of Siegel Modular Forms
Proof. Since [Γ(1) : Γ(N)] < ∞, the set { f |σ, σ ∈ Γ} is finite, even
for any modular form which is not necessarily a cusp form. Since
( f |σ)(iX /2) = Σa′n exp(−πnX /N) is convergent, we obtain |a′n |
exp(−πnX /N) = O(1). Hence, for any σ in Γ(1) and Im z ≥ X , we
have
X X
|a′n ||e(nz/N)| = |a′n | exp(−πn Im z/N) exp(−πn Im z/N)
n≥1 n≥1
X
< |a′n | exp(−πnX /N) exp(−πn Im z/N)
n
X
≪ exp(−πn Im z/N)
n
= exp(−π Im z/N)/(1 − exp(−π Im z/N))
≪ exp(−πz/N)/(1 − exp(−πX /N)).
i.e.
Z
J1 < x2r dx (sinceb > a)
x2 >b/a
2
= x2r+1 |∞
√
b/a
2r + 1
r+1/2
= O(b )
√ ∗ ∗
using Lemma 1.1.3 with X = 3/2 for σ = c d+cd1 , x + im−1 cβ(σ)
and
X
f (x + im−1 ) = (c(x + im−1 ) + d + cd1 )−k a′n e(nσ(x + im−1 )/N).
n
Thus
X Z1
d +N
X
|α(c, d + cd1 )| ≤ ((cx + d)2 + c2 /m2 )−k/2
d1 ∈Z d1 ∈Z d
1
12 1. Fourier Coefficients of Siegel Modular Forms
!
X1
exp − dx
m((cx + d)2 + c2 /m2 )
Z∞ !
2 2 2 2 −k/2 X1 /m
≤ N (c x + c /m ) exp − 2 2 dx
c x + c2 /m2
−∞
Z∞ !
−k k−1 2 −k/2 X1 m/c2
= Nc m (x + 1) exp − 2 dx
x +1
−∞
≪ c−k mk−1 (m/c2 )−k/2 + 1/2
(by Lemma 1.4, for k ≥ 2)
i.e. X
(α(c, d + cd1 )| ≤ c−1 mk/2−1/2 .
d1 ∈Z
This leads us, for fixed c, to
X
| α(c, d)| ≪ (ϕ(c)/c)mk/2−1/2 ≪ mk/2−1/2
(d,c)=1
c fixed
X 2X
c−1
tπ
|bt (c, z)| ≤ 1 + 1/ sin
tmod c
c t=1
c
4 X
≤1+ cosec(tπ/c)
c 1≤t≤c/2
4 X
≤1+ 2c/(tπ)
c 1≤t≤c/2
[c/2]
8X
=1+ 1/t
π t=1
8
≤1+ log c
π
= O(cε ), proving the lemma.
P
Our object now is to estimate first α(c, d) where c ≥ 1 is
(c,d)=1
d≡d0 (mod N)
fixed and the summation is over all (c, d) = 1 with d lying in a given
residue class modulo N, say d ≡ d0 (mod N). Let cr = least common
multiple
of c and N; so that r ≥ 1 and r|N. We fix, once for all, σ0 =
αβ
c δ in Γ with some δ ≡ d0 (mod N). If X := {x in Z modulo cr|(x,
S
c) =
1 and x ≡ d0 (mod N)} then {d ∈ Z|(c, d) = 1, d ≡ d0 (mod N)} = {d ∈
x∈X
Z|d ≡ x(mod cr)}, as can be readily verified. Hence, for the fixed c ≥ 1,
d0 modulo N and σ0 ,
X X X
α(c, d) = α(c, d)
(c,d)=1 x∈X d≡x(mod cr)
d≡d0 (mod N)
X X X
= α(c, d) (4)
x∈X ymod N/r d≡x+cry(mod cN)
1.1. Estimates for Fourier Coefficients... 15
18 Lemma 1.1.6. For x in X and y, t in Z, there exists σ x = ax bx ≡
c x
2
σ0 (mod N) in Γ. Moreover, we have an element σ = ax −acx cry ∗
x+cry +cNt
in Γ, congruent to σ0 modulo N.
Proof. Since x ∈ X, wehave (c, x) = 1 and x ≡ d0 ≡ δ(mod N). Hence
′
there exists σ1 = ac bx in Γ. Now σ1 σ−1 0 ≡ a0 1h (mod N) so that
a′ ≡ 1(mod N) necessarily. Thus 10 −h 1 σ1 ≡ σ0 (mod N), so that we
can take ax = a − ch, bx = b − hx. Next, Γ clearly contains
! ! ! !
1 −a2x ry ax bx 1 ry + tN ax − a2x ryc b′
= =σ
0 1 c x 0 1 c x + cry +ctN
and further σ = σ0 (mod N), since N|cr and
i.e.
b′ ≡ ax ry(1 − ax x) + bx ≡ bx mod N,
on noting that c|(1 − ax x) and N|cr.
For the given cusp form f (and indeed for any modular form) of
level N, we have f |σ = f |σ0 since σ ≡ σ0 (mod N). Let
X
( f |σ−1 )(w) = ( f |σ−1
0 )(w) = a′n e(nw/N) for w ∈ H.
n
Then for any x ∈ X, we have, with the notation as in (2) and (4), 19
X X
α(c, d)
ymod N/r d≡x+cry(mod cN)
X Z X
= a′n e(nτ/N)
ymod N/r −1 −1 x+ry+N(t+1)
n
t∈Z c x+ry+Nt≤θ≤c
−1 2
c (ax −ax cry)+τ∈g
!
n(ax − a2x cry) + mN(x + cry +cNt)
e(−mθ)e dθ
cN
Z X
= c−k (θ + i/m)−k a′n e(nτ/N)e(−mθ)
n
c−1 ax +τ∈g
16 1. Fourier Coefficients of Siegel Modular Forms
X na + mN x
x
e(y(−na2x r/N)e dθ. (5)
cN
ymod Nr−1
We claim now that (ax , N/r) = 1. for, cr is the least Common multi-
ple of c and N and if a prime p divides N/r, then p necessarily divides
c, and so p cannot divide ax , since σ x ∈ Γ. Hence
X
N/r if N/r divides n
e(y(−na2x r/N)) = 0
otherwise.
ymod N/r
and hence
am = O(mk/2−1/4+2ε ) (8)
proving Theorem 1.1.2, under the assumption of the estimate (6).
Before proceeding to the proof of (6), we make a few remarks.
P
Namely, any estimate |bt (c, z)| = O(c f ) with f ≤ 1/2, may be seen
tmod c
to imply am = O(mk/2−1/4+ f /2+ε ) in place of (8). Clearly and f < 1/2
represents an improvement over Hecke’s estimate. A straightforward
application of Schwarz’s inequality immediately yields an estimate with
f = 1/2 but then we are in no better position than in Theorem 1.1.1.
22 Let us denote by K the exponential sum in (6). For any x in X,
(x, c) = 1 and so let us fix an integer a with ax ≡ 1(mod c). Now since
ax x ≡ 1(mod c), we have ax ≡ a(mod c), so that ax = a + cs for some
s in Z, which is unique modulo r, since a + cs = ax ≡ α(mod N) by
Lemma 1.1.6 and N|cr. We observe that N|c f if and only if r| f . Indeed,
if r| f , cr|c f and so N|c f ; on the other hand, if N|c f , then cr|c f since
c|c f and so r| f . Since ax = a + cs ≡ α(mod N), we may write K as
X X 1 X
K= e((tN+n)(a+cs)+m × N)/cN)· e((a+cs−α)u/N)
x∈X smod r
N umod N
X X n + cu
= (r/N) e(−αu/N) e a t+ + mx /c) (9)
umod N x∈X
N
N|(n+cu)
by arguments as before,
20 1. Fourier Coefficients of Siegel Modular Forms
X ! X X
−1 aũ + md
=N e e((a − α)v/N) e(cs2 v/N)
amod c
c vmod N s2 mod r
(a,c)=1
X X !
a(ũ + cv/N) + md
= rN −1 e(−αv/N) e (10)
vmod N amod c
c
N|cv (a,c)=1
ad≡1(mod c)
and
1 . . . ∗
.
N=
. .
∈ G .
0
0 . . . 01
S = S(m)
t,u := O(m)At Nu is a so-called Siegel domain; note that while
O(m) and Nu are compact, At is not compact. The following theorem
shows that S(m)√ is almost a fundamental domain G/GLm (Z) for 26
2/ 3,1/2
GLm (Z) in G;
Remark. For g in G and γ in GLm (Z), clearly gγe1 ∈ gZm and inf ϕ
γ∈GLm (Z)
(gγ) = inf m ||gx|| is attained at some x in Zm .
0,x∈Z
1 ... ti j
Writing t = nn′ = .. . . . .. , we have, by our choice of n′ , |ti j | ≤ 1/2.
. .
0 ... 1
If J0 = 01 10 and Em−2 is the (m − 2)-rowed identity matrix, we take
γ0 = J00 Em−2
0
. Then
By the induction hypothesis, there exists γ0′ in GLm−1 (Z) such that g′ γ0′
is in S(m−1) √ . Consider the Iwasawa decomposition g′ γ0′ = k′ a′ n′ with
2/ 3,1/2
a2 0
a = ... . Then we have
′
0 am
! ! ! a1 0 1 · ∗
g1 := k−1 gγ1
1 0 a
= 1
∗
=
1 0
.. · · ·
0 γ0′ 0 ′
kan ′ ′ ′
0 k .
0 am 0 · 1
Now
! !!
−11 0 1 0
ϕ(g1 ) = ϕ(k gγ1 = ϕ(gγ1 =
0 γ0′ 0 γ0′
!
1 0
||gγ1 e || = ||gγ1 e1 || = ϕ(gγ1 ) = inf ϕ(gγ) by (11),
0 γ0′ 1 γ
! !
1 0
= inf ϕ(k−1 gγ) = inf ϕ(k−1 gγ1 γ = inf ϕ(g1 γ)
γ γ 0 γ0′ γ
1 0
since γ1 γ runs over GLm (Z) along with γ. Lemma 1.2.3 now
0 γ0′
√
applies to g1 and so we√have a1 /a2 ≤ 2/ 3. Already, by induction, we
know that ai /ai+1 ≤ 2/ 3 for 2 ≤ i ≤ m. Now for some
!
1 0
n1 ∈ NZ , g1 n1 = k−1 gγ1 n is in S(m)√
0 γ0′ 1 2/ 3,1/2
by the Corollary. Hence min(p) ≤ (4/3)(m−1)/2 (det P)1/m giving the re-
quired upper bound for µm .
2 √
ai y21 ai X ai |xi | X √ai |xk ||nik | 2
= xi + nik xk ≤ √ + √ .
a[x] a[x] k>i a[x] k>i a[x]
√ √
Now a[x] ≥ ai |xi |2 gives ( ai |xi |/ a[x]) ≤ 1 while, for k > i,
r p r
√ ai ai p p
ai |xk | = 2
ak |xk | ≤ a[x] ≤ t(k−i)/2 a[x].
ak ak
ai y2i P 2
Hence ≤ 1 + k>i t(k−i)/2 u ≪ 1 where ≪ involves constants
a[x]
depending on t and u. We see therefore that a[nx] = a[y] ≪ a[x] for
26 1. Fourier Coefficients of Siegel Modular Forms
we have
!" !#
a1 [n1 ] 0 E n−1
1 n12 ,
a[n] =
0 a2 [n2 ] 0 E
′
!" −1
!#
′ ′ a1 [n1 ] 0 E n′ n′12
a [n ] =
a a′2 [n′2 ] 0 E
33 where E now stands for the identity matrix of the appropriate size. Then,
for X in the form given above, we see that
!" !#
a1 [n1 X1 ] 0 E X −1 X12 + X1−1 n−1
1 n12 X2
a[nX] =
0 a2 [n2 X2 ] 0 E
1.2. Reduction Theory 27
Since m1 and m2 are both less than m, the induction hypothesis yields the
finiteness of the number of such X1 and X2 and hence their boundedness
as well. Further, X12 = X1 n′ −1 ′ −1 ′
1 n12 − n1 n12 X2 wherein n12 , n12 are
bounded by virtue of n, n′ being in Nu and moreover the inverses of the
bounded unipotent matrices n1 , n′1 are again (unipotent and) bounded.
Thus the integral matrix X12 is bounded and the number of such X12
is
Xfinite. Consequently, we have shown that the number of integral X =
1 X12
0 X2 with 1 ≤ ||X|| ≤ d and S [X]∩S , ∅ is finite. Let us now take the
case of X = (xi j ) not necessarily in any such simple form (for some m1 ,
m2 ) but with S [X] ∩ S , ∅ and 1 ≤ ||X|| ≤ d. In fact, for 1 ≤ i ≤ m − 1,
there exist then integers hi , ki with xki ,hi , 0 and hi ≤ i < ki . Denote
the column t (x1i . . . xmi ) of X by x(i) , for 1 ≤ i ≤ m. Let, as before,
p = a[n] ∈ S with (p′i j ) = p′ = (a[n])[X] = a′ [n] ∈ S . From Theorem
1.2.6, we have (for fixed S t,u ),
X
a′i ≍ p′ii = a[n][x(i) ] ≍ a[x(i) ] = a j x2ji .
j
Hence 34
X
a′i ≫ a′hi ≍ a j x2j,hi ≥ aki x2ki ,hi ≥ aki since xki ,hi , 0.
j
a1 ≍ a2 ≍ . . . ≍ am
)( )( )(
a′1 ≍ a′2 ≍ . . . ≍ a′m
P P
But then a′j x2ji ≪ a j x2ji ≍ (a[n])[x(i) ] = a′i ≍ a′j yields immediately
i i
that x ji ≪ 1 for all i and j and the theorem as well.
S
Theorem 1.3.1. (i) Pm = R[U];
U∈GLm (Z)
i.e.
|ρkℓ |/(det Rm−1 ) ≪ 1/rℓ . (17)
If, now, we write
! !" !#
Rm−1 r Rm−1 0 Em−1 R−1
m−1 r
R= = (18)
tr rm t0 s t0 t
1.3. Minkowski Reduced Domain 31
with s := rm − R−1
m−1 [r], we have, on applying (14), (15) and (17),
X
R−1
m−1 [r] ≪ (1/ri )ri r j ≪ rm−1 .
1≤i, j≤m−1
Thus
rm = s + R−1
m−1 [r] ≪ s + rm−1 . (19)
Since det R = (det Rm−1 ) · s from (18), we obtain from (16) and (19) that 39
r1 r2 . . . rm ≪ (det Rm−1 ) · rm ≪ ((det R)/s) · rm ≪ (1 + rm−1 /s) · det R.
Once we establish that
rm−1 ≪ s (20)
the lemma will follow. In order to prove (20), let us assume that for
some integer k ≤ m − 1,
(the last one arising from (21)). Again rk ≥ 4(m − 1)2 rk−1 , by (21) and
therefore finally
1 1 1 3
rk ≤ rk + rk + rk + c2(m−k) s = rk + c2(m−k) s i.e. rk ≪ s.
4 4 4 4
Since rm−1 ≤ (4(m − 1)2 )m−k−1 rk , (20) is immediate and so is our lemma.
det R ≤ r1 . . . rm (23)
for any R in Pm follows at once from the relation det R = (det Rm−1 )s
implied by (18), the obvious inequality s ≤ rm and the inequality, corre-
sponding to (23), for Rm−1 viz. det Rm−1 ≤ r1 . . . rm−1 from an inductive
hypothesis.
√ √
Proof. Let R1/20 denote the positive square root [ r11 , . . . , rmm ] of the
diagonal matrix R0 = [r11 , . . . , rmm ]. For the eigenvalues ρ1 , . . . , ρm of
R[R0−1/2 ], we have ρ1 + · · · + ρm = trace (R[R0−1/2 ]) = trace (RR−10 ) = m.
′ ′ ′
While ρ1 . . . ρm = det R/ det R0 ≥ c for some constant c = c (m), by the
preceding lemma. Hence c1 := m−(m−1) c′ < ρi < c2 := m, for 1 ≤ i ≤ m
which means that c1 Em < R[R0−1/2 ] < c2 Em i.e. c1 R0 < R < c2 R0 , on
transforming both sides of the inequalities by R1/2 0 .
we obtain that
X
di |bi j | ≤ |ri j | + d p |b pi ||b p j |
p
34 1. Fourier Coefficients of Siegel Modular Forms
1 X
≤ ri + d p c21
2 P
(in view of (15) and the bound for |b pℓ |)
1 X
i.e. |bi j | ≤ (ri /di ) + c21 d p /di ≪ 1 (for i < j).
2 1≤p≤i
We have thus proved assertion (ii) of Theorem 1.3.1. Along with Theo-
rem 1.2.7, this gives us the important.
Corollary . If R and R[U] are both in R for some U in GLm (Z), the
number of such U is finite.
Introducing
[ [
gn = M < Fn >= (Fn [U] + S ), we remark
M∈Γn,∞ U∈GLn (Z)
S =t S ∈Mn (Z)
√
Z ∈ gn =⇒ min(Im(Z)) ≥ 3.2. (24)
Denoting (det U)−k a(P[U −1 ]) by b(P), we see that a(T )(det U)−k occurs
as theFourier coefficient, corresponding to the M-reduced matrix T 1 ,
48 for f | U0 t U0−1 . Since f is of level q and since (GLm (Z) : GLm (Z; q)) <
∞, we have only finitely many distinct functions of this form, as U
varies over GLm (Z). We shall therefore assume in the sequel that, for the
estimation of the Fourier coefficient a(T ), T is M-reduced and further
min(T ) ≫ 0 (i.e. min(T ) is large enough).
The following lemma is essential for later applications.
P
Lemma 1.4.1. If the series a(P)e(tr(PZ)) converges abso-
0≤P=t P∈Mn (Z)
lutely for every Z in Gn and if a(P) = 0 for all p with rank(P) < ℓ(≤ n),
then for γ = Im(Z) in S t,u with min(Y) ≥ ε > 0, we have
X
S (Z) := |a(P)||e(tr(PZ)| = Oε (exp(−X tr(Yℓ ))
P
P
so that T = α0 (h). In order to prove the lemma, it suffices clearly
ℓ≤h≤n
to show that
Since
≥ 0 and rank(P) = h, there exists U in GLn (Z) such that
P
P = P01 00 [U] for an integral P(h)
1 > 0. Suppose now that for U1 , U2
(h)
in GLn (Z) and P(h)2 > 0, we have
P1 0
0 0 [U 1 ] =
P2 0 [U ]. Then
2
h i h i h W0 00 i
P1 0 −1 P2 0 −1 1
0 0 [U 1 U 2 ] = 0 0 implying that U 1 U 2 = W3 W4 with W1 in
GLh (Z), W4 in GLn−h (Z), W3 ∈ Mh,h−h (Z) and P1 [W1 ] = P2 . Since the
number of W1 in GLn (Z) with P1 [W1 ] = P1 is at least 2 (e.g. P1 [±Eh ] =
P1 ), we have the inequality
X X ! !
P1 0
α0 (h) < exp −π tr [U]Y (26)
0 0
P1 U∈GL(h)
n (Z)\GLn (Z)
51 If, for 1 ≤ i1 < i2 < . . . < i p ≤ n, the non-zero rows of any F in (29)
have indices i1 , . . . , i p , then p ≥ h and i p ≥ h.
Hence
X X X X
tr(Y[F]) = fki yk fki ≥ yir fi2r , j ≥ yr
1≤i≤h 1≤r≤p 1≤ j=≤h 1≤r≤p
1≤k≤n
≥ tr(Yh ) ≥ tr(Yℓ )
and further X
tr(Y[F]) ≥ ε′ tr(t FF) = ε′ fi2j .
1≤i≤n
1≤ j≤h
1.4. Estimation for Fourier Coefficients of... 41
and as a result,
hn
X
α0 (h) ≪ exp(−X tr(Yℓ )) exp(−ε′ X g2 )
g∈Z
≪ exp(−X tr(Yℓ ))
proving (25) and the lemma.
Let
t = tn (q) := {X = (xi j ) ∈ Mn (R)|X = t X, 0 ≤ xi j < q}
and, for any given M in Γn and M-reduced T → 0 in Λ∗n with min T ≫ 0
(as we have assumed prior to the statement of Lemma 1.4.1),
β̃(M) := {X ∈ t|M < X + iT −1 > εgn }
so that β̃(M) = β̃(N M) for every N in Γn,∞ . Let M1 = E2n , M2 , . . . , 52
Mr , . . . be a complete set of representatives of the
tright cosets
of Γn,∞
11 ... 0
in Γn . Now since T = (ti j ) is M-reduced, T ≍ ... . . . ... and so the
0 ... tnn
assumption min T ≫ 0 yields that tii ≫ 0 for every i ≥ 1. Thus tii−1 is
t−1 ... 0
11
sufficiently small; for T −1 ≍ ... . . . ... , min(T −1 ) is also sufficiently
0 −1
... t11
small.
Hence if β̃(E2n ) , ∅, then −1 ∈ g for some X and as a
−1
√ X + iT n
consequence, min(T ) ≥ 3/2, which gives a contradiction. For all
but finitely many i, β̃(Mi ) = ∅. Defining β(M2 ) = β̃(M2 ) and β(Mi ) =
β̃(Mi ) ∩ {β̃(M2 ) ∪ . . . ∪ β̃(Mi−1 )}c inductively for i ≥ 3, where { }c
denotes set complementation, the following lemma is immediate.
42 1. Fourier Coefficients of Siegel Modular Forms
`
Lemma 1.4.2. t = β(Mi )
i≥2
for a constant X .
Proof. (a) Since [Γn : Γn (q)] < ∞ and further f |M1 M2 = ( f |M1 )|M2
along with f |M = v(M) f , for all M in Γn (q), where |v(M)| = 1,
the number of functions abs( f |N) for N in Γn is finite.
(b) If N = C∗′ D∗′ ∈ Γn , then | f | = | f |(N −1 N)| = (abs det(C ′ Z +
D′ ))−k |( f |N −1 )(N < Z >)|.
1.4. Estimation for Fourier Coefficients of... 43
(d) Let M < Z >∈ gn ; then there exist U in GLn (Z) and integral
t
symmetric
t U S U −1
S such that U M < Z > U + S ∈ Fn . For N =
M, we have min(Im N < Z >) = min(Im(M < Z >)) ≥
√ 0 U −1
32 and further N < Z > is M-reduced. From b), c) and a), it is
immediate that
If we write analogously
!
D1 D2 −1
U1 D = U with D1 = D(r,r)
1 ,
D3 D4 2
with U3 ∈ GLr (Z), we can ensure that the primitive matrix (n,r) is
U 0 Q
a chosen representative in its class. Under U2 7→ U2 03 En−r with
U3 ∈ GLr (Z), the form of U1C, U1 D is unchanged, except for the re-
placement of C1 , D1 , Q by C1 t U3 , D1 U3−1 , QU3 respectively. Replacing
now U1 by U04 En−r0
U1 with U4 in GLr (Z), we can replace C1 , D1 by
any representative in its class {C1 , D1 }. Let us fix, for 1 ≤ r ≤ n, from
the classes of r-rowed coprime symmetric pairs a complete set of rep-
resentatives as well as a complete system of representatives F from the
1.4. Estimation for Fourier Coefficients of... 45
But since U1 is in GLn (Z), U1′ is in GLr (Z) and so {C1 , D1 } = {C1∗ D∗1 }
i.e. C1 = C1∗ , D1 = D∗1 and the lemma is proved.
59 The following three lemmas have been reproduced from Siegel [25],
for the sake of completeness.
It is well-known that
2
Y
♯Vn = qn (1 − p−k ). (32)
1≤k≤n
61 Since
2
Y Y
qn (1 − p−k ) > ♯Vn , (1 − p−k ) ≥ (1 − p−1 )n−h
1≤k≤h 1≤k≤n−h
and
Y Y Y Y
ch−2k+1
k (ck /cℓ ) = c−h(n−h)
n cn−2k+1
j = cn−2k+1
k
1≤k≤h k≤h<ℓ 1≤k≤h 1≤k≤n
The exact value of [GLn (Z) : K ] can be obtained from the paper
of A.N. Andrianov on ‘Spherical functions for GLn over local fields and
summation of Hecke series, Math. Sbornik 12 (1970), 429-452.
Let
whence
ψ(s) < γ(s)ζ(s) (34)
proving the first assertion of the lemma.
P −s P
Let ψ(s) = 1≤n<∞ an n and γ(s) = dn n−s . Further, let σk =
P 1≤n<∞
aℓ , γ(1) = ζ γ (2) = a. Then, from (34), we have
1≤ℓ≤k
X k X X
σk ≤ dℓ [ ] ≤ k dℓ /ℓ < k dℓ /ℓ = ak(k = 1, 2, . . .)
1≤ℓ≤k
ℓ 1≤ℓ≤k 1≤ℓ<∞
64 Moreover, for
X X
−n−s
s > 1, R = ak k−s
R ≥u k≥u
1.4. Estimation for Fourier Coefficients of... 51
X −s
X
= (σk − σk−1 )k ≤ σk (k−s − (k + 1)−s )
k≥u k≥u
X Zk+1
=s σk x−s−1 dx < as
k≥u k
X Z
k+1 Z∞
−s
x dx ≤ as x−s dx
k≥u k u
1−s
= asu /(s − 1). (36)
The second assertion of the lemma follows from (35) and (36).
ζ(s) Q n ζ(2s + n − r)
It is known that ψ(s) = where ζ is Rie-
ζ(s + n) r=1 ζ(2s + 2n − 2r)
mann’s zeta function. This assertion may be found in H. Maass [17].
For a proof, see Kitaoka’s paper ‘Dirichlet series in the theory of Siegel
modular forms, Nagoya Math.J. 35 (1984), 73-84 (cf. G. Shimura: On
Eisenstein series, Duke Math.J.50(1983), 417-476).
P
Returning to the problem of estimating α(M), we first state the
M
following Propositions, which essentially go back to Siegel [25].
Proposition 1.4.10. For f and T as above and half-integral k > n+1/2,
we have
X
α(M) ≪ (min T )(n+1−k)/2 (det T )k−(n+1)/2 (37)
A B
C D =M∈Γn,∞ \Γn
det C,0
Remarks. Since (n + 1 − k)/2 < 0 for k ≥ n + 3/2, the right hand side of
(37) is of a strictly lower order than the term (det T )k−(n+1)/2 occurring
in the corresponding Fourier coefficient of Siegel’s genus invariant for
S > 0; therefore, for min T ≫ 0, we have a truly asymptotic formula
65 r(S , T ). We also note that the condition det T ≪ (min T )n in Proposition
1.4.11 is not necessary for the proof of (37).
Lemma 1.4.12. For M = CA DB ∈ Γn with det C , 0 and real X = t X,
we have Im(M < X + iT −1 >) = (T [X + C −1 D] +√T −1 )−1 [C −1 ] ≤ T [C −1 ].
Further β(M) , ∅ implies that min(T [C −1 ]) ≥ 3/2.
so that
Hence
X Z
≪ (abs(det(C(X + iT −1 ) + D + CS ))−k
S ∈Λ E S
β M n
0 En
Writing
w1 . . . 0
Θ = ... . . . ... [V] with orthogonal V (n,n)
0 . . . wn
= (vi j ) and |w1 | ≥ . . . ≥ |wn |,
we have
2
w1 + 1 . . . 0
.. [V] ≤ (1 + w2 )E ,
Θ2 + En = ... ..
. . 1 n
0 . . . w2n + 1
Y Y
det(Θ2 + En ) = (1 + w2j ), dΘ = |wk − wℓ |dw1 . . . dwn dµ
1≤ j≤n k<ℓ
where dµ is the Haar measure on the orthogonal group O(n) and |wk −
wℓ | ≤ (1 + w2k )1/2 (1 + w2ℓ )1/2 . Since the volume of O(n) is finite, we see
that the integral over ϕn above is
Z Y
≪ (1 + w2j )−k/2 exp(−X (1 + w21 )−1 min(T [C −1 ]))
Rn 1≤ j≤n
54 1. Fourier Coefficients of Siegel Modular Forms
Y
(1 + w2j )(n−1)/2 dw1 , . . . dwn
1≤ j≤n
Z∞
≪ (1 + w21 )−k/2+(n−1)/2 exp(−X (1 + w21 )−1 min T [C −1 ])dw1
∞
since k// − (n − 1)/2 > −1/2
√
≪ (min T [C −1 ])(n−k)/2 noting that min T [C −1 ] ≥ 3/2,
by Lemma 1.4.12.
Now
min(T [C −1 ]) = | det C|−2 min(T [(det C)C −1 ]) ≥ (min T )/| det C|2
Hence we have
X
| det C|−k
k−(n+1)/2
|α(C, D + CS )| ≪ (det T )
(39)
| det C|−n (min T )(n−k)/2
S ∈Λ
applying Lemma 1.4.9 with u = (min T )1/2 and s = k − n(≥ 3/2), which
proves (37) and Proposition 1.4.10.
Thus 68
X ! ! !
C1 0 t D + C1 S 0
|α U, 1 U −1
|≪
0 0 0 En−r
S =t S ∈Λr
X Z
(det C1 )−k
S ∈Λr
A1 0 B1 0
E S 0 t
A En−r 0 0 n U 0
X∈β 0 0
C
1 0 D1 0 0 U −1
0 En
0 0 0 En−r
| det(X[F] + C1−1 D1 + S + iT −1 [F])|−k dX
Z
| det C1 |−k | det |(Q1 + C1−1 D1 + iT −1 [F])|−k dQ
S S 0
Q∈ (t[U]+
S ∈Λr 0 0
(40)
Q1(r,r) Q2
under the change of variables X 7→ Q := X[U] = ∗ Q4
, noting
that dX = dQ ′
S and′ Q1 = X[F]. For a real symmetric (r, r) matrix S ,
qS +S 0
t[U] + 0 0
is a complete set of representations of Sn mod-
S ∈Λr
ulo {q t S02 SS 24 |S 2 ∈ Mr,n−r (Z), S 4 = t S 4 ∈ Mn−r (Z)} and
!
S1 S2
{t |S ∈ ϕr , S 2 ∈ Mr,n−r (R/qZ), S 4 = t S 4 ∈ Mn−r (R/qZ)}
S2 S4 1
56 1. Fourier Coefficients of Siegel Modular Forms
with S ≡ S ′ (mod q), Q2 ≡ Q′2 (mod q) and Q4 ≡ Q′4 (mod q). Then
′
Q − S0 00 and Q′ − S0 00 are both in t[U] and further are congruent
69 modulo q. Since U is in GLn (Z) and t is the standard
cube
′ with sides
of length q, we have then necessarily Q − S0 00 = Q′ − S0 00 implying
that Q2 = Q′2 , Q4 = Q′4 and S = S ′ . For any given Q1 = X[F] and
equivalence class in Λr modulo q, Q2 , Q4 run at most modulo q. Hence,
after absorbing constants, we see that the expression in (40) is
For fixed r with 1 ≤ r < n, we know (by Lemmas 1.4.5 and 1.4.6)
that there exists a one - one correspondence
!
∗ ∗
Γη,∞ \{M = ∈ Γn | rank C
C D
!
S 0
E
= r}/{ n 0 0 ∈ Γn } ←→ {C1−1 D1 mod 1}, {F}
0 En
1.4. Estimation for Fourier Coefficients of... 57
X i i . . . i !2
−1 −1 1 2 r
≫ tn . . . tn−r+1 = tn−1 . . . tn−r+1
−1
det En [F].
1 2 ... r F
From the last estimate and the one - one correspondence referred to
in the preceding paragraph, it follows at once that
X X
−k
M= α(M) ≪ R
∗ ∗
R=t R∈Mr (Q)mod 1
C D ∈Γn,∞ \Γn ,rank C=r
X r+1 r+1
(det En [F]) 2 −k (tn . . . tn−r+1 )k− 2 . (43)
F∈Mn,r (Z)/GLr Z
F primitive
Q
F = ( f1 . . . fr ), then, by Lemma 1.3.2, det En [F] ≫ En | fi |. Since
1≤i≤r
(r + 1)/2 − k ≤ n/2 − k < 0, we have
r
X
X
(r+1)/2−k
(det En [F])(r+1)/2−k ≪
(E n [x])
. (44)
n
F 0,x∈Z
P
If x1 . . . xn , 0, then x2i ≥ n|x1 . . . xn |2/n . Therefore the series over x
1≤i≤n
P P r+1
on the right hand side of (44) is ≪ 1≤s≤n (y21 + · · · + y2s )−(k− 2 ) ≪
P yi ∈Z\{0}
71 ζ(2{k − (r + 1)/2)/s) ≪ 1 since k − (r + 1)/2 > n/2 for r < n, in
1≤s≤n
view of the hypothesis k ≥ n + 1/2. Thus the series over F in (44) is
≪ 1. On the other hand, since k − r > 1 for r ≤ n, we can apply Lemma
P
1.4.9 to conclude that R −k ≪ 1. So we finally see that
R=t R∈Mr (Q)mod 1
the left hand side of (43) is
n+1 n−r
−k
≪ (tn . . . tn−r+1 )k−(r+1)/2 = (det T )k−(n+1)/2 (t1 . . . tn−r ) 2 (tn−r+1 . . . tn ) 2 .
n
We now t1 ...use0 the assumption that (det T ) ≪ (min T ) for the M-reduced
T ≍ ... . . . ... . Then t1 ≍ t2 ≍ . . . ≍ tn ≍ t, say.
0 ... tn
n+1 n−r
For 1 ≤ r ≤ n − 1, ( − k)(n − r) + · r ≤ n − k with equality
2 2
taking place when r = n − 1. Thus
n+1 n−r n+1 n−r
(t1 . . . tn−r ) 2 −k (tn−r+1 . . . tn ) 2 ≍ t( 2 −k)(n−r)+ 2 ·r ≤ tn−k
n+1
and the left hand side of (43) is ≪ (det T )k− 2 (min T )n−k for 1 ≤ r ≤
n − 1. Summing over (43) for 1 ≤ r ≤ n − 1, Proposition 1.4.11 is
immediate. In view of the remarks preceding Lemma 1.4.1., we have the
following theorem (and Theorem C in the Introduction) as an immediate
consequence of Proposition 1.4.10 and 1.4.11.
P
Theorem 1.4.13 ([10],[19]). If k = n + 3/2 and f (Z) = a(T )
0≤T ∈Λ∗
e(tr(T Z)/q) is a Siegel modular form of degree n, weight k(∈ 1/2Z),
level q and with constant term vanishing at all cusps, then
a(T ) = O((min T )(n+1−k)/2 (det T )k−(n+1)/2 )
1.4. Estimation for Fourier Coefficients of... 59
72 provided that min T ≥ X1 (det T )1/n and min T ≥ X2 > 0 for constants
X1 , X2 independent of f (but depending only on n).
Remarks. The condition min T ≥ (det T )1/n seems unavoidable for gen-
eral n. The next theorem giving an estimate for coefficients of modular
forms of degree 2, weight k ≥ 7/2 and level q vanishing at all cusps im-
poses no such condition. Sunder Lal (Math. Zeit. 88 (1965), 207-243)
has considered an analogue of Theorem 1.4.13 for the Hilbert-Siegel
modular forms.
For any m-rowed integral S > 0, the associated theta series f (Z) =
P
e(tr(S [G]Z)) is a modular form of degree n, weight m/2 and level 4
G
det S and f (Z) − ϕ(Z) vanished at every cusp, if we take ϕ(Z) to be the
analytic genus invariant associated with S . The Fourier coefficients b(T )
m−n−1 Q Q
of ϕ(Z) are of the form ∗(det T ) 2 × α p (S , T ) where α p (S , T ) is
p p
the product of the p-adic densities of representation of T by S . Thus,
for m ≥ 2n + 3 and min T ≫ (det T )1/n , we have from Theorem 1.4.13
an asymptotic formula for r(S , T ):
m−n−1
Y m−n−1 2n+2−m
r(S , T ) = ∗(det T ) 2 α p (S , T ) + O (det T ) 2 (min(T )) 4
P
Theorem 1.4.15 ([10]). Let f (Z) = ∗a(T )e(tr(T Z)/q) be a Siegel
0≤T ∈Λ
modular form of degree 2, weight k ≥ 7/2 (with 2k ∈ Z), level q and with
constant term vanishing at all cusps. Then for T > 0 and min T > X
(an absolute constant independent of f ), we have,
a(T ) = O((min T )(3−k)/2 (det T )k−3/2 )
Corollary . If A(m) > 0, B(2) > 0 and if A[X] = B is solvable with
X having entries in Z p for every prime p, then for large min(B) and
m ≥ 7, A[X] = B has a solution X with entries in Z.
The proof of Proposition 1.4.14 has to be preceded by several lem-
mas.
tU f
1
Definition. For given T > 0 and C = 0c 00 with U = ∗ ∈ GL2 (Z)
h f i f2
and c , 0 in Z, let a1 := T −1 f12 and
!" !#
(a + x21 /a1 )−1 1/c x2
P = P(x1 , x2 ) = PT,U,c (x1 , x2 ) := 1
0 1/(a1 det T ) 0 1
Lemma 1.4.16. For M = CA DB ∈ Γ2 with C = c0 t
0 0 ,D = d 0
0 1 U −1 ,
c , 0 in Z, U in GL2 (Z), and T ∈ P2 , we have
Im(M < X + iT −1 >) = P(q1 + d/c, a2 (q1 + d/c)/a1 − q2 )
where a1 , a2 , q1 , q2 are given by T −1 [U] = aa12 aa24 and X[U] = qq12 q2
q4 .
74 Proof. We know that (Im(M < X + iT −1 >))−1 = T {t (CX + D + iCT −1 )}
(using the abbreviation A{B} for t BAB) = T [t (CX + D)] + T −1 [t C]
! !
a4 (cq1 + d)2 − 2a2 cq2 (cq1 + d) + a1 c2 q22 ∗ a1 c2 0
= (det T ) +
−a2 (cq1 + d) + a1 cq2 a1 0 0
This is, on the other hand, the same as
p−1 (q1 + c−1 d, a−1 −1
1 a2 (q1 + c d) − q2 )
!" !#
a1 + (q1 + d/c)2 /a1 0 c 0
0 a1 det T cq2 − a−1
1 2 (cq1 + d)
a 1
!
(a1 + a−1 2 2 −1
1 (q1 + d/c) )c + a1 (det T )(cq2 − a1 a2 (cq1 + d))
2
∗
−1
a1 det T (cq2 − a1 a2 (cq1 + d)) a1 det T
1.4. Estimation for Fourier Coefficients of... 61
Lemma 1.4.17. With notation as in Lemma 1.4.16, U = ff12 ∗∗ and M-
h i √
reduced T = t01 t02 1 u , we have |c| f 2 ≤ (8/3) t /t and | f f c| ≤
01√ 2 2 1 1 2
4/3, whenever min(P) ≥ 3/2; moreover, under this condition, | f1 | = 0
or 1 and if | f1 | = 1, then |c| ≤ 3.
Proof. Since 75
! !
t1 t1 u 1 t1−1 0
T = , T −1 −
2
t1 u t1 u + t2 2 0 t2−1
! !
2
1 t1 u + t2 −t1 u 1 t1−1 0
= −
t1 t2 −t1 u t1 2 0 t2−1
2
!
u /t2 + 1/(2t1 ) −u/t2
=
−u/t2 1/(2t2 )
has determinant
" # " #
1 t2 2 1 3 1
− 2u ≥ 2 − >0
4t22 t1 4t2 4 2
!!
4 −1 1 1/t1 0
since t1 ≤ t2 and |u| ≤ 1/2. Hence T > . On the
3 2 0 1/t2
other hand, since P ∈ P2 , (min(P))2 ≤ (4/3) det P. If then min(P) ≥
√
3/2, we have
But " !# !
−1 f1 1 2 1 2
a1 = T > 1/2 f + f
f2 t1 1 t2 2
and as a result, we have
s 2
!2
1 f12 f22 2 1 1 2 1 2 2
2 c t1 t2 ≤ f + f c t1 t2 (45)
4 t1 t2 4 t1 1 t2 2
≤ (4/3)2
62 1. Fourier Coefficients of Siegel Modular Forms
| f1 f2 | ≤ |c f1 f2 | ≤ 4/3.
a 0 b 0
!
To any σ = a b in S L2 (Z), let us associate σ̃ = 0 1 0 0 in 77
c d c 0 d 0
0 0 0 1
Sp(2, Z) = Γ2 . Then σ 7→ σ̃ −1is an injective homomorphism. If
c , 0, then σ = 10 a/c 0 −c . In this case, we have for Z =
z1 z2
1 c d
z2 z4 ,
! !
a/c 0 −1/(c(cz1 + d)) z2 /(cz1 + d)
σ̃ < Z >= +
0 0 z2 /(cz1 + d) z4 − cz22 /(cz1 + d)
(46)
by straightforward verification.
Let σ = ac db ∈ S L2 (Z) with c ≥ 1 and U ∈ S L2 (Z). The fol-
lowing lemma gives an estimate for α 0c 00 t U, d0 10 U −1 needed in
connection with Proposition 1.4.14.
Lemma 1.4.18. Let σ, U be as above and let A = T −1 [U] = aa12 aa24 .
For given Θ := θθ12 θθ24 , A = T −1 [U] and C = 0c 00 t U, let
!
−c−2 /(θ1 + ia1 ) c−1 (θ2 + ia2 )/(θ1 + ia1 )
τ = τ(Θ, A, C) := −1
c (θ2 + ia2 )/(θ1 + ia1 ) θ4 + ia4 − (θ2 + ia2 )2 /(θ1 + ia1 )
Then
! ! ! Z
c 0 t d 0 −1
|α U, U | ≪ c−k (θ12 + a21 )−k/2
0 0 0 1
a/c 0 +τ∈g
2
0 0
Θ∈t[U]+ d/c 0
0 0
min(P(θ1 , a−1
1 a2 θ1 − θ2 )))dΘ
let
[( c−1 d + mq 0
!) (
0 s2
! )
∗
R (U) := t(U) + = S2 / |s , s ∈ qZ
0 0 s2 s4 2 4
m∈Z
Proof. We need only to note that A := T −1 [U] = aa12 aa24 , τ = τ(Θ, A, c)
a ∗ P = PT,U,c (x1 , x2 ) are all independent of d, taking an extension
and
−1
c d1 of (c d1 ) to S L2 (Z) and that min(P(θ1 , a1 a2 θ1 − (θ2 + qn))) =
h i
min(P(θ1 , a−1 1 cn −1
1 a2 θ1 − θ2 ) 0 1 ) = min(P(θ1 , a1 a2 θ1 − θ2 )) for every
n ∈ Z.
Before
we begin the proof of Proposition 1.4.14, we note that, for
Θ = θθ21 θθ42 in the domain of integration referred to in Lemma 1.4.19,
1.4. Estimation for Fourier Coefficients of... 65
(θ12 + a21 )−k/2 exp(−X b22 θ22 /(a1 + θ12 /a1 ))dθ1 dθ2
−∞ −∞
X
≪c 1−k
|b2 | exp(−X a−1 2
1 b2 / det T )
0,b2 ∈Z
Z∞
(θ12 + a21 )−k/2 (a1 + θ12 /a1 )1/2 |b2 |−1 dθ1
−∞
66 1. Fourier Coefficients of Siegel Modular Forms
X Z∞
−k+3/2
≪c 1−k
exp(−X a−1 2
1 m / det T )a1 (1 + x2 )(1−k)/2 dx
0,m∈Z −∞
X
≪ c1−k a−k+3/2
1 exp(−X a−1 2
1 m / det T ),
m∈Z
by the convergence of the last integral for k ≥ 5/2,
X
≪ c1−k a(3/2)−k
1 (a1 det T )1/2
exp(−X −1 π2 a1 det T · m2 )
m∈Z
(in view of the Poisson summation formula
X 2 1 X − π m2
e−πλm = √ e λ , for λ > 0)
m∈Z λ m∈Z
X
1−k 2−k
= c a1 (det T ) 1/2
exp(−π2 X −1 a1 det T m2 )
m∈Z
81 ≪ c1−k a2−k
1 (det T )
1/2 , on noting that the last series over m is ≤ 1, since
then the above estimate for the sub-series over d1 ≡ d(mod cq) and
summation over d modulo cq together yield the estimate
while 82
X X
X (c, U) ≪ c2−k (t1−1 + n2 t2−1 )2−k (det T )1/2
1≤c≤3 1≤c≤3
|n|≤1 n=0,1,−1
≪ t1k−1 .
Remark . As noted after Lemma 1.4.2, this lemma holds without the
replacement of F by F0 . But the proof is lengthy.
Lemma 1.5.2. Let C, D ∈ M2 (Z) be a symmetric coprime
pair with
A ∗
det C , 0. Then there exists A ∈ M2 (Z) such that C D ∈ Γ2 with
(det A, q) = 1.
Proof. Since
C, D is a coprime
symmetric
pair,
there exists
A ∈ M2 (Z)
with CA D∗ ∈ Γ2 . Since E02 ES2 CA D∗ = A+S C ∗ , we have only
C D
1.5. Generalization of Kloosterman’s Method... 69
Thus
! ! !
A′ B′ E2 G Ã B̃
≡ mod q for some G ∈ Λ.
C D′ 0 E2 C D
70 1. Fourier Coefficients of Siegel Modular Forms
where D̃ runs over D̃ ∈ M2 (Z) such that D̃ ≡ D′ mod q and (C, D̃) is a
symmetric coprime pair, S ∈ Λ(C, q) := {S = t S ∈ Λ2 |CS ≡ 0mod q}
and D := {D ∈ M2 (Z)mod CΛ(C, q)|(C, D) is a symmetric coprime pair
and D ≡ D′ mod q}, and coset representatives onthe right
are congruent
′ ′ ′ ′
to AC DB ′ mod q for some A ∈ M2 (Z) with Γ2 ∋ CA DB ≡ AC DB ′ mod q.
Proof. By the previous lemma, for D̃ above, there exists CÃ D̃B̃ ∈ Γ2 ,
′ ′
which is congruent to AC DB ′ mod q·D is a set of representatives of such
D̃ modulo CΛ(C, q), and so the rest follows from the previous lemma.
The following two propositions are proved at the end, in this section.
′ ′
Proposition 1.5.6. Let AC DB ′ ∈ Γ2 with det C , 0, (det A′ , q) = 1, and
P, G, T ∈ Λ∗ . Suppose that p satisfies
the condition ∗ in Lemma 1.5.5.
A ′ B′
We denote by S (G, P, T, C, C D′ ) the exponential sum
X
e(tr(AC −1 (G + Pq−1 ) + TC −1 D).
D∈D
where
! !
c1 0 −1 ∗ ∗
C = U −1 V , U, V ∈ GL2 (Z), 0 < c1 |c2 , T [V] = .
0 c2 ∗ t
Then we have
X X
4π −3
a(T ) = e a α(C, D) + α(C, D)
M∈Γ2,∞ \Γ2 M∈Γ2,∞ \Γ2
rank C=2 rank C=1
′ ′
Proof. By Lemma 1.5.2, there exists AC DB ′ ∈ Γ2 with (det A′ , q) = 1
′ ′ −1 P
and we put f | AC DB ′ (Z) = a′ (P)e(tr PZ/q). For D ∈ M2 (Z) such
that (C, D) is a symmetric coprime pair and D ≡ D′ mod q, there exists
′ ′
A B A B A B A B −1 =
C D ∈ Γ2 with C D = C D′ mod q. Hence we have f | C D
′ ′ −1 R
f | AC DB ′ = F (say). Then we have α(C, D) = det(C(X + iT −1 ) + 90
β(M)
D)−k F(M < X + iT −1 >)e(− tr(T X))dX, where M = CA DB .
Since det C , 0, we have M < Z >= AC −1 − t C −1 (Z + C −1 D)−1 C −1 .
Putting X = θ − C −1 D, τ = −tC −1 (θ + iT −1 )−1 C −1 ,
Z
α(C, D) = (det C)−k (θ + iT −1 )−k F(AC −1 + τ)
θ∈t+C −1 D
AC −1 +τ∈g
√
since AC −1 + τ ∈ g implies min(Im τ) ≥ 3/2.
P
Applying Lemma 1.5.4, the sum α(C, D) referred to is equal to
D
X Z X
−k
| det C| (θ + iT −1 )−k a′ (P)e(tr(Pτ)/q)e(− tr T θ)×
D∈D −1 P
S ∈Λ(C,q) θ∈t+C D+S√
min(Im τ)≥ 3/2
X
× b(G, C; τ)e(τr((A − AS t CA)C −1G + P(A − AS t CA)C −1 /q+
G∈Λ∗ /γ(C)
X !!
A′ B′
b(G, C; τ)S (G, P, T, C, dθ,
C D′
G∈Λ∗ /γ(C)
where 0 < c1 |c2 are elementary divisors of C and the implied constant
is independent of τ.
This is discussed later.
Let C, D ∈ M2 (Z) form a symmetric coprime pair with det C , 0.
Under Assumption (∗), we have, by virtue of Lemma 1.5.8, Proposition
76 1. Fourier Coefficients of Siegel Modular Forms
c21 c1/2+ε
2 (c2 , t)1/2 dθ
where
! !
−1 c1 0 −1 ∗ ∗
C=U V , U, V ∈ GL2 (Z), 0 < c1 |c2 , T [V] = ,
0 c2 ∗ t
since
and T [V] = ( ∗∗ ∗t ).
−1
c 0
For the above C, min(T [C −1 ]) = min(T [V 10 c−1 ]) = c−22
2
c2 /c1 0
min T [V 0 1 ] > c2 min(T ) holds. In the decomposition C = U −1
−2
c 0
1 −1
0 c2 V , V is uniquely determined in
n o
GL2 (Z)/ a b ∈ GL2 (Z)|b ≡ 0mod c2 /c1
c d
so we have a bijection V = ac db 7→t (b d) ∈ S (c2 /c1 ) defined in Propo-
sition 1.5.7 and (c2 , t) ≤ c1 (c2 /c1 , t).
Thus we have, by Proposition 1.5.7.
Thus we have
X X
(det T )3/2−k ≪ (min T )a2 /2+5/4−k/2+2ε na1 +1/2−k−ε
1 n≥1
a2 /2+5/4−k/2+2ε
≪ (min T ) (since a1 + 1/2 − k ≤ −1).
Similarly, we have
X X
(det T )3/2−k ≪ c1a1 +5/2−k+ε c2a2 +1/2−k+ε
2 c1 |c2
c2 ≥(min(T ))1/2
Thus we have
X X
(det T )3/2−k ≪ (min(T ))a2 /2+5/4−k/2+2ε na1 +1/2−k−ε
2 n≥1
80 1. Fourier Coefficients of Siegel Modular Forms
Thus we obtain
X X
|b(G, C; τ)| = |b(G, C ′ : τ[U −1 ])|.
G∈Λ∗ /γ(C) G∈Λ∗ /γ(C ′ )
For S = ss21 ss42 , it is clear that S C ′ ∈ M2 (Z) if and only if s1 = u1 /c1 ,
s2 = u2 /c1 , s4 = u4 /c2 for u1 , u2 , u4 ∈ Z.
1 g2 /2
For G = gg2 /2 ′
g4 , G ∈ γ(C ) if and only if c1 |g1 , c1 |g1 , c1 |g2 , c2 |g4 .
Hence we have
X
|b(G, C; τ)|
G∈Λ∗ /γ(C)
1.5. Generalization of Kloosterman’s Method... 81
X X
−1
= c−2 c
1 2 e(u g /c
1 1 1 + u g /c
2 2 1 + u 4 4 2 .
g /c )
g1 ,g2 mod c1
u1 ,u2 mod c1
g4 mod c2 u4 mod c2
u1 /c 1 u 2 /c 1 −1
+τ[U ]∈g
u2 /c1 u4 /c2
Hence Assumption (∗) is true once we get a sharper estimate than the
estimate via Schwarz’s inequality. (cf. Remarks before the proof of (6)
on page 21).
The left hand side of (♯) does not exceed
X
X X
| e(u4 g4 /c2 )|
.
u1 ,u2 ,g1 ,g2 mod c1
g4 mod c2 u4 mod c4
u1 /c1 u2 /c1
+W∈g
u2 /c1 u4 /c2
Suppose the sum inside the curly brackets is O(c3/2−δ 2 ) for some δ > 0 99
(Actually it is O(c3/2
2 ), from Schwarz’s inequality); then Assumption (∗)
holds for a1 = 3/2, a2 = 1/2 − δ/2.
(Proof. If cδ2 = O(c1 ), then c31 c3/2 7/2 3/2−δ/2
2 /(c1 c2 ) = c1−1/2 cδ/2
2 = O(1).
δ 4 3/2−δ 7/2 3/2−δ/2 1/2 −δ/2
If c1 = O(c2 ), then c1 c2 /(c1 c2 ) = c1 c2 = O(1).)
Combining Proposition 1.5.12 with Proposition 1.4.14, we have
82 1. Fourier Coefficients of Siegel Modular Forms
Theorem 1.5.13. Let f (z) = Σa(T )e(tr(T Z/q)) be a Siegel modular form
fo (degree 2), level q, weight k = 3 and with zero as the constant term at
all cusps. Then for T > 0 and min T > X (= absolute constant)
√
a2 /2−1/4+ε −1 det T min(T )
a(T ) = O(((min(T )) + (min(T )) log det T 3/2 )
)
under Assumption (∗).
√
Remark. If det T = O(min(T )), then the above implies
Therefore
X X
S (G, P, T, C, A′ B′ )= e(tr(A + S C)C −1 (G + Pq−1 )
C D′
D∈D S ∈Λ/Λ(t C,q)
X
+ TC −1 D)q−4 e((A + S C − A′ )M/q)),
Mmod q
where A B
∈ Γ2 is any extension of (C, D),
C D
X X
= q−4 e(tr(AC −1 (G + Pq−1 ) + TC −1 D + (A − A′ )M/q))×
Mmod q D∈D
84 1. Fourier Coefficients of Siegel Modular Forms
X
× e(tr(S (P + C M)q−1 )).
S ∈Λ/Λ(t C,q)
X X 1
q−4 [Λ : Λ(tC, q)] e(tr(AC −1 (G + (P + (C M
Mmod q
2
D∈D
(P+ 21 (CM+t M t C)/q∈Λ∗
102 Note that [Λ : Λ(t C, q)] ≤ [Λ : qΛ] and the number of M does not
exceed q4 .
R3) The mapping D 7→ D from D to D ′ := {D ∈ M2 (Z)/CΛ|C, D are
a symmetric coprime pair such that D + CS ≡ D′ mod q for some
S ∈ Λ} is bijective.
Proof. Suppose that D1 ≡ D2 mod CΛ for D1 , D2 ∈ D. Since D1 , D2 ∈
D, D1 ≡ D2 ≡ D′ mod q. Hence for S ∈ Λ with D1 − D2 = CS we have
CS ≡ 0mod q and then S ∈ Λ(C, q). This means D1 ≡ D2 mod CΛ(C, q)
and the mapping is injective. Since, for D ∈ D ′ , D + CS (≡ Dmod CΛ)
for the S involved in the definition of D ′ is contained in D, the mapping
is surjective.
R4) If CA DB ∈ Γ2 , D + CS ≡ D′ mod q for S ∈ Λ ⇐⇒ A + S 1 C ≡
Amod q for S 1 ∈ Λ
Proof. Since
! ! ! !
tU 0 A ∗ V −1 0 tU AV −1 ∗
0 U −1 C D 0 t V = U −1 CV −1 U −1 Dt V ,
Hence we have
X
K(P, T ; U −1 CV −1 ) = e(tr(t UAV −1 (U −1CV −1 )−1 P
Dmod CΛ
+ (U −1 CV −1 )−1 U −1 Dt VT ))
X
= e(tr(AC −1 P[t U] + C −1 DT [V]))
Dmod CΛ
t
= K(P[ U], T [V] : C).
Lemma 1.5.16. For the diagonal matrices C = [c1 , c2 ], F = [ f1 , f2 ],
H = [h1 , h2 ], suppose that f1 | f2 , h1 |h2 , ci = fi hi , fi , hi > 0(i = 1, 2)
and that f2 , h2 are relatively prime. Put X1 = s f22 F −1 , X2 = th22 H −1 for
integers s, t with s f22 + th22 = 1. If then
! ! ! !
A1 B1 A2 B2 A B X A + X1 A2 ∗
, ∈ Γ2 , Γ2 ∋ = 2 1
F D1 H D2 C D HF HD1 + FD2
Now
B = X2 B1 + X1 B2 + th22 H −1 A1 H −1 D2 + s f22 F −1 A2 F −1 D1
and
t
BD = (t DA − E2 )C −1 D = t DAC −1 D − C −1 D
= t DAC −1 D − F −1 D1 − H −1 D2
are symmetric. Moreover, t AD − tCB = E2 and so CA DB ∈ Γ2 . If
HD1 + FD2 ∈ CΛ, then F −1 D1 + H −1 D2 ∈ Λ and so F −1 D1 , H −1 D2 ∈ Λ
since
( f2 , h2 ) = 1. Hencet ϕ is
injective.
It is easy to see that for the above
A B HA HB−X AD FA FB−X2 t AD
C D ∈ Γ2 , F X2 D and H X1 D are also in Γ2 . From
H(X2 D) + F(X1 D) = D follows the surjectivity of ϕ.
+ F −1 H −1 (HD1 + FD2 )T ))
88 1. Fourier Coefficients of Siegel Modular Forms
X
= e(tr(X2 A1 F −1 H −1 P + F −1 D1 T ))
D1
X
e(tr(X1 A2 F −1 H −1 P + H −1 D2 T ))
D2
(iii) In case 0 < e1 < e2 , put δ = d1 d4 − pe2 −e1 d22 (. 0mod p) and for an
d4 −pe2 −e1 d2
integer d with dδ ≡ 1mod pe2 , we can take A = d −d 2 d1 .
Then we have
X
K(P, T ; C) = e(d(d4 p1 p−e1 − d2 p2 p−e1 + d1 p4 p−e2 )+
d1 ,d2 mod pe1
d4 mod pe2
p∤d1 d4
+ d1 p4 ) + δ(at4 )}/pe2 )
+ (d1 t1 + d2 t2 + d4 t4 )}/pe )
X X X X
= + = + (say).
p|d2 p∤d2 1 2
P
We have = O(p2e+e/2 (t4 , pe )1/2 ) quite similarly to the previous
1 P
case. For dealing with 2 , we define integers δ1 , δ2 by d1 ≡
d2 δ1 mod pe and d4 ≡ d2 δ4 mod pe ; then δ := d1 d4 −d22 ≡ d22 (δ1 δ4 −
P
1)mod pe and 1 ≡ dd22 (δ1 δ4 − 1)mod pe . Then 2 is transformed
to
X X
= e(d2 {d(δ4 p1 − p2 + δ1 p4 ) + δ1 t1 + t2 + δ4 t4 }/pe );
2 d2 ,δ1 ,δ4 mod pe
p∤d2
δ1 δ4 .1mod p
+ d2 (δ1 t1 + t2 + δ4 t4 )/pe )
X
= O(pe/2 (δ1 t1 + δ4 t4 , pe )1/2 ).
δ1 ,δ4 mod pe
δ1 δ4 .1mod p
X δ1 δ4 .1mod p
= O(pe/2 (x, pe )1/2 )♯ δ1 , δ4 mod pe
x≡δ1 t1 +t2 +δ4 t4 mod pe
xmod pe
P
109 Put (t4 , pe ) = ps ; then 0 ≤ s ≤ e. If s = e, then = O(p3e ) (by
2
the trivial estimation) = O(p2e+e/2 (pe , t4 )1/2 ) is what we want. Suppose
s < e and t4 = ups with (u, p) = 1; then
X X x≡δ1 t1 +t2 mod ps
= O(pe/2 (x, pe )1/2 ♯ δ1 , δ4 mod pe
uδ4 ≡(x−δ1 t1 −t2 )/ps mod pe−s
2 xmod pe
1.5. Generalization of Kloosterman’s Method... 91
X X
= O(pe/2 p(e−i)/2 ps ♯
0≤i≤e vmod pi
p∤v
( )
δ1 mod pe |vpe−i ≡ δ1 t1 + t2 mod ps
(taking x = vpe−i )
X n
= pe+s p−i/2 O(♯ δ1 mod pe , vmod pi |vpe−i
0≤i≤e
≡ δ1 t1 + t2 mod ps p∤v .
In case ps |t1 and ps |t2 , we have
X X
= pe+s pi/2+e O(1) = O(1)p5e/2+s/2 .
2 0≤i≤e
e−i≥s
1
= O(1)p2e+a1 + 2 (e−a1 ) = O(p5e/2+s/2 ).
Thus we have completed the proof of Proposition 1.5.14 and so of
Proposition 1.5.6.
Now it remains
to prove Proposition 1.5.7.
1 t2 /2
Let T = t2t/2 t4 ∈ Λ∗ . Since T [x] = t1 x21 + t2 x1 x2 + t4 x22 , the sum
P
γ(T, n) = (T [x], n)1/2 is well-defined.
x∈S (n)
1 1
= pe− 2 (1 − p−(e−a1 −1)/2 )(1 + p− 2 ) + p(e−a1 )/2 ϕ(pa1 ) = O(pe ).
114 Thus (i) has been proved. Let us prove (ii). If a2 ≥ e, then we have
X
(p2 n2 + vpa2 −a1 , pe−a1 )1/2
nmod pe−1
X X
= (p2 n2 , pe−a1 )1/2 = ϕ(pe−1−r )(p2+2r , pe−a1 )1/2
nmod pe−1 0≤r≤e−1
1.5. Generalization of Kloosterman’s Method... 95
X X
= ϕ(pe−1−r )p1+r + ϕ(pe−1−r )p(e−a1 )/2
0≤r≤(e−a1 )/2−1 (e−a1 )/2≤r≤e−1
e e(1+ε)
= O(ep ) = O(p ).
Suppose a2 < e; then we have
X
(p2 n2 + vpa2 −a1 , pe−a1 )1/2
nmod pe−1
X X
ϕ(pe−1−r )p1+r + p(a2 −a1 )/2 (m2 + v, pe−a2 )1/2 +
0≤r<(a2 −a1 −2)/2 r=(a2 −a1 −2)/2
mmod pe−1−r
p∤m
X
ϕ(pe−1−r )p(a2 −a1 )/2 (n = mpr , p ∤ m)
(a2 −a1 )/2≤r≤e−1
X
= O(epe ) + p(a2 −a1 )/2 (m2 + v, pe−a2 )1/2 .
r=(a2 −a1 −2)/2
mmod pe−1−r
p∤m
!
x1
T = 2a (x21 + x1 x2 + x22 ), ord T [x] = 2a if (x1 , x2 , 2) = 1.
x2
Hence
X 1
γ(T, 2e ) = (2a , 2e ) 2 = (2e + 2e−1 )2|(a,e)/2 = O(2e+min(a,e)/2 ).
x∈S ′ /≈
1.6. Estimation of Fourier Coefficients of Modular Forms 97
1
0
Suppose T = 2a 1
2
0
; then
2
X 1
X X 1
γ(T, 2e ) = (2a n, 2e ) 2 + (2a+t m, 2e ) 2
nmod 2e 1≤t≤e mmod 2e−t
2∤m
X 1
X 1
= ϕ(2e−t )(2a+t , 2e ) 2 + ϕ(2e−t )(2a+t , 2e ) 2
0≤t≤e 1≤t≤e
X
e−1+min(a,e)/2
=2 +2 2e−t−1+min(a+t,e)/2 + 2e/2
1≤t≤e−1
e+min(a,e)/2 e+min(a,e)/2
≤2 + 2(e − 1)2 = O(2e(1+ǫ)+min(a,e)/2 )
Lemma 1.6.1. For any R ∈ Sp(n, Q), there exist an upper triangular t t Q
in GL(n, Q) and an (n, n) rational symmetric S such that M = R 0Q QQS −1
is in Γn .
Proof. Let R = CA DB with (n, n) matrices A, B, C, D. For some
d , 0 in Z, (−dt C, dt A) is an integral symmetric pair and further (−t C t A)
has rank n. Hence, for some U in GL(2n, Z), (−dt Cdt A)U = (G 0)
with (n, n) invertible integral G. Clearly then C ′ := −dG−1t C, D′ :=
dG−1t A form a coprime symmetric pair and constitute therefore the last
n rows of N = (M ′ )−1 for some M ′ in Γn , so that we have NR =
98 1. Fourier Coefficients of Siegel Modular Forms
∗ ∗
= 0∗ Q∗1 with Q1 in GL(n, Q). By easy induction,
dG −1 (−t CA+t AC) ∗
there exists V in GL(n, Z) with Q := V Q1 in upper triangular form. The
lemma is now immediate with M = M ′ t0V V0−1 .
`
Let us fix, in the sequel, M1 , . . . , Mt in Γn so that Γn = Γn (s)Mi .
1≤i≤t
118 Then, by Lemma
1, any R ∈ Sp(n, Q) can be written in the form
t t
N ′ Mi 0Q QQS
−1 for some N ′ in Γn (s) and Mi with Q, S as in
Lemma 1.6.1. For f in {n, k, s}, we have therefore
t Q t QS
!!
′
( f |k R)(Z) = ((( f |k N )|k Mi (Z)
0 Q−1
= ( f |k Mi )(t Q(Z + S )Q) (det Q)k .
Now, for any j with 1 ≤ j ≤ n and Z1 ∈ Gn− j , the jth -iterate Φ j of
the Siegel operator on any f : Gn → C is defined by
!!
j Z1 (n − j) 0
(Φ f )(Z1 ) = lim f ;
λ→∞ 0 iλE j
it is known that for f in {n, k, s}, Φ j f exists and is in {n − j, k, ∗}.
Definition. We call f in {n, k, s} a j-cusp form, if Φ j ( f |k R) = 0 for every
R in Sp(n, Q). For j = 1, we call f just a cusp form.
Lemma 1.6.2. Any f in {n, k, s} is a j-cusp form if any only if
Φ j ( f |k Mi) = 0 for 1 ≤ i ≤ t.
Proof. To prove the lemma, it is enough to show that f is a j-cusp form
if Φ j ( f |k M) = 0 for every M in Γn (or equivalently if Φ j ( f |k Mi ) = 0 for
1 ≤ i ≤ t). The limit as λ tends to ∞ in the definition of Φ j ( f |k Mi )(Z1 )
can be applied termwise to the Fourier expansion
! X
Z 0
Z1 0 2πi tr(T 01 iλE )/s
( f |kMi ) = a(T ; f ; Mi )e j
0 iλE j (n− j)
!
T = T1 T 2 ≥0
∗ T3
and hence
X
Φ j ( f |k Mi )(Z1 ) = a( T01 00 ; f ; Mi )e2πi tr((T 1 Z1 ))/s
(n− j)
T1 ≥0
1.6. Estimation of Fourier Coefficients of Modular Forms 99
119 The
assumption
Φ j ( f |k Mi ) = 0 for 1 ≤ i ≤ t is equivalent then to
T1 0
a( 0 0 ; f ; Mi ) = 0 for all T 1 ≥ 0 and 1 ≤ i ≤ t. On the other hand, we
know from Lemma 1.6.1 that for R in Sp(n; Q),
tQ t QS
!
j j
Φ ( f |k R)(Z1 ) = Φ ( f |Mi )(Z1 )
0 Q−1
for suitable Mi and Q, S as above
!
t Z1 0
= lim ( f |Mi )( Q( + S )Q)
λ→∞ 0 iλE j
X 2πi t
= a(T ; f ; Mi )e s (tr(T 1 Z1 [Q1 ]+tr(T 3 Z1 [Q2 ])+2 tr(T 2 Q2 Z1 Q1 ))) ×
(n− j) !
T1 T2 2πi ′ −2πλ
T= ≥ 0 × e s tr(T S ) lim e s tr(T 3 [t Q3 ]),
∗ T3 λ→∞
(n− j)
Q1 Q2
writing Q = 0 Q3
and S ′ = t QS Q. Now since det Q3 , 0,
tr(Q3 T 3 t Q3 ) , 0 unless T 3 = 0 and therefore for every T with T 3 = 0
and therefore for every T with T 3 , 0, the limit of the corresponding
term as λ tends to ∞, is zero. If T 3 = 0, then T 2 = 0 as well, in view
of “T ≥ 0”. Thus in the limit as λ tends to ∞, at most the terms corre-
(n− j)
sponding to T = T 1 0 can survive. Our assumption “Φ j ( f |k Mi ) = 0”
0 0
above implies a (T ; f ; Mi ) = 0 for these latter type of T are 0, leading to
Φ j ( f |k R) = 0 for every R in Sp(n, Q) and also proving the lemma.
For 0 < j ≤ n, let ∆n,n− j (s) = {M ∈ Γn (s)| the entries of the first
2n − j columns of the last j rows of M are 0}.
Then
A 0 B ∗
∗ Q−1 ∗ ∗
∆n,n− j (s) = M =
∈ Γ (s)
C 0 D ∗ n
0 0 0 Q
Lemma 1.6.3. For N1 , N2 in Γn with N1 j,˜ sN2 and f in {n, k, s}, we have
Φ j ( f |N1 ) = 0 ⇐⇒ Φ j ( f |N2 ) = 0 for 0 ≤ j ≤ n.
Proof. Writing Z = tZZ12 ZZ32 with Z1 ∈ Gn− j , we have, for j < n, N <
Z >= N<Z∗ 1 > ∗∗ and det N{Z} = det N{Z1 } det Q for some Q in GL( j, Z).
Thus Φ j ( f |N2 ) = Φ j ( f |MN2 ) = Φ j ( f |N1 N) = (det Q)k (Φ j ( f |N1 ))|N, for
0 ≤ j < n.
Now 122
X 2πi
tr(T M ′ <N −1 <Z>>)
gk (Z, T ; Γn (s)|N −1 = e s
and
where c = c(T 0 ) > 0 and λ1 , . . . , λn− j are the eigenvalues of Im((M <
Z >)0 ); hence it is bounded for all M, uniformly as λ goes to infinity.
We can now conclude from above that, for fixed Z0 ,
2πi
lim e s tr(T M<Z>)
(det M{Z})−k = 0,
λ→∞
0 0 0 t U −1
if we make correspond the coset Γn− j (s, T 0 ) CA11 DB11 , this mapping is
clearly well-defined and surjective on Γn− j (s, T 0 )\Γn− j (s); it is also eas-
ily checked to be injective, since
−1
A1 0 B1 ∗ A1 0 B1 ∗
∗ U
1 ∗ ∗ ∗ U2 ∗ ∗
C
1 0 D1 ∗ C1 0 D1 ∗
0 0 0 t U1−1 0 0 0 t U2−1
En− j 0 0 ∗ !
∗
U1 U2−1 ∗ ∗ T0 0
= ∈ Γn (s, ).
En− j ∗ 0 0
t U −1 t U
0 1 2
Thus
!
j T0 0
Φ (gk (Z, ; Γn (s))Γn (s)) = gk (Z0 , T 0 , Γn− j (s)), for j < n.
0 0
The proof for the case j = n is immediate on putting Z = iλEn in the 125
Fourier expansion of the Eisenstein series gk (Z, 0; Γn (s)) the only term
surviving in the limit is the constant term 1.
104 1. Fourier Coefficients of Siegel Modular Forms
which proves the lemma for j < n. For j = n, we need only to take
ϕR,n (Z) = a(0, R)pk (Z, 0; R; Γn (s)), since
X 2πi
Φn ( f |R) = Φn ( a(T, R)e s tr(T Z) ) = a(0, R) and
Φn (pk (Z, 0; R; Γn (s))|R) = Φn (gk (Z, 0; Γn (s)) = 1.
Lemma 1.6.8. For ϕ in {n, k, s}, suppose that, whenever j < n, Φ j (ϕ|M)
there exists ψ j in {n, k, s}n− j :=
is a cusp form, for every M in Γn . Then
(n− j)
{linear-combinations of pk (Z; T 0 0 , M, Γn (s))} such that Φ j ((ϕ −
0 0
ψ j )|M) = 0 for every M in Γn and 1 ≤ j ≤ n.
Assume now that, for any fixed j with 1 ≤ j ≤ n and for the given
f denoted as f0 , we have already constructed fn− j in {n, k, s} so that
Φ j ( fn− j |M)) is a cusp form for every M in Γn . Then by Lemma 1.6.8,
there exists ψ j (corresponding to ϕ = fn− j ) such that
Φ j (( fn− j − ψ j )|M) = 0 for every M in Γn , (∗∗) j
where ψ j ∈ {n, k, s}n− j , is a linear combination of the Poincaré series
!
T (n− j) 0
pk (Z; ; M ′ ; Γn (s)).
0 0
Note that for j = n, aψn with Φn (( f0 − ψn )|M) = 0 for every M in Γn
already exists. From (∗∗) j and (∗), we obtain
Φ((Φ j−1 )(( fn− j − ψ j )|M))|R) = 0 for every M in
Γn and every R in Γn− j+1
whenever 2 ≤ j ≤ n. If we set fn− j+1 = fn− j − ψ j , the last relation
means that, for every M in Γn , Φ j−1 ( fn− j+1 |M) is a cusp form. Applying
Lemma 1.6.8 to fn− j+1 in place of f and j − 1 in place of j (for which we 130
had the condition 2 ≤ j ≤ n), there exists ψ j−1 in {n, k, s}n− j+1 as defined
above, such that Φ j−1 (( fn− j+1 − Ψ j−1 )|M) = 0 for every M in Γn , which
is just (∗∗) j−1 . Thus the inductive argument is complete, giving us the
validity of (∗∗)1 , i.e.
X
0 = Φ(( fn−1 − Ψ1 )|M) = Φ(( f − ψℓ )|M) for every M in Γn .
1≤ℓ≤n
P
In other words, f − ψℓ is a cusp form. Since the space of cusp
1≤ℓ≤n
forms is generated by pk (Z; T (n) ; E2n ; Γn (s)) with semi-integral T > 0,
the proof of the theorem is complete.
where, for any (n, n) matrix A, we denote its top(leftmost) (r, r) sub-
matrix by A∗ . The series is well-defined, since for M, N in Γn (s) with
M in ∆n,r (s)N, we can easily verify that f (M < Z >∗ )(det M{Z})−k =
f (N < Z >∗ )(det −k
N{Z}) ; further it represents an element of {n, k, s}. If
131 T (n) = T 0(r) 0 with T 0 > 0, then we know already that the correspon-
0 0
dence
(r)
A0 0 B(r)
0 ∗ !
∗ U ∗ ∗ Λ B0
Γn (s, T )M = Γn (s, T ) (r) 7→ Γr (s, T 0 ) 0
C0 0 D(r) ∗ C 0 D0
0
t U −1
0 0 0
= Γr (s, T 0 )M
from the coset space Γn (s, T )\∆n,r (s) to the coset space Γr (s, T 0 )\Γr (s)
`
is a bijection. From the coset decompositions Γn (s) = ∆n,r (s)Mℓ ,
` ` Mℓ
∆n,r (s) = Γn (s, T )N j , we get Γn (s) = Γn (s, T )N j Mℓ .
Nj Mℓ ,N j
Now
2πi 2πi
tr(T (N j Mℓ )<Z>) tr(T 0 ((N j Mℓ )<Z>)∗ )
e s =e s =
2πi
2πi
tr(T 0 (N j <Mℓ <Z>>)∗ ) tr(T 0 N j <(Mℓ <Z>)∗ >)
=e s =e s
Mℓ Nj
1.6. Estimation of Fourier Coefficients of Modular Forms 109
Proof. From the form of the elements of ∆n,r , clearly ∆n,r M = ∆n,r N 134
implies that λn−r (M) = Vλn−r (N) for some V in GLn−r (Z). On the other
hand, if λn−r (M) ∈ GLn−r (Z)λn−r (N), we may already suppose, with-
out that λn−r (M) = λn−r (N) after replacing M by
t −1loss of generality,
U 0 M for U = Er 0 with a suitable V in GL
0 U 0 V n−r (Z). But then we
−1
have evidently λn−r (MN ) = (0 (n−r,n+r) En−r ) and we are through.
Proof. From the hypothesis, there exist V in GL s (Z) ∗ and W in GLn (Z)
0
such that λ1 (Vλ s (C M )W) = 0. Then, for K := Er 0 M W t 0−1 ,
0 0 V 0 W
we have λ1 (C K ) = 0 and hence the elements of λ1 (DK ) are relatively
∗
prime. It is clear
that DK = 0...01 F for some F in GLn (Z). If we set
t
N = K 0F F0−1 , then λ1 (N) = (0 . . . 01) and consequently N is in ∆n,n−1 .
The lemma follows on taking U = W t F.
135 Let f be a cusp form in {r, k, ℓ} for fixed r ≤ n − 1 and even integral
k ≥ n + r + 2. Let us denote, in the sequel, the leading (r, r) submatrix
P1 of P(n,n) = PP13 PP24 , by P∗ . For any M in Γn , let us abbreviate f ((M <
Z >)∗ ) (det(C M Z + D M ))−k as ( f |M)(Z). For any given R in Γn , we split
the (absolutely convergent) Eisenstein series En,r k (Z; f )|R as the sum of
P P
two subseries = ( f ||N)(Z), i = 1, 2 where N runs over a complete
i N
set of elements N1 , N2 , . . . in Γn (ℓ)R such that Ni < ∆n,r (ℓ)N j for i , j
P
and the rank of λn−r (C N ) is n−r for N occurring in and < n−r for N in
1
P
. Now C M = C N for M := N E0n EℓSn and any integral symmetric S (n,n) .
2 P
Thus the subseries represent functions invariant under all translations
i P
Z → Z +ℓS and admit Fourier expansions T ≥0 ai (T ) exp(2πi tr(T Z)/ℓ).
Lemmas 1.6.10, 1.6.11 lead to the following
vanish.
Proof. By Lemma 1.6.11, there
exist
K in ∆n,r , M in ∆n,n−1 and U in
GLn (Z) such that N = K M U0 t U0−1 . Let K ∗ := CA11 DB11 in Γr formed
from the leading (r, r) submatrices of AK , BK , C K , DK = 0∗ D∗4 . It is
easy to verify that 136
and moreover,
with A′1 , B′1 , C1′ , D′1 of size (n− 1, n− 1), we have det M{Z} = det(C1′ Z1 +
D′1 )d4 and M < Z > has (A′1 Z1 + B′1 )(C1′ Z1 + D′1 )−1 as its leading (n − 137
1, n − 1) submatrix. Thus ( f j ||M)(Z) is independent of the variables Z2
and z3 . !
∂ ∂
For Y = (y pq ) = Im Z, let us write = ε pq with ε pq = 1
∂Y ∂y pq
or 1/2 according as p = q or p , q and denote by DY the differential
∂
operator (det Y)(det ) known to be invariant under Y 7→ VY t V for all
∂Y
V in GLn (R). Then it is clear that
X
DY (( f ||N)(Z)) = α j DY (( f j ||M)(UZ t U))
j
X
= α j DY (( f j ||M)(UX t U + iY)) (using Y 7→ UY t U)
j
=0
P
and so DY ( ) = 0. On the other hand, we know that
2
∂
(det )(exp(2πi tr(T Z)/ℓ) = det(−(2π/ℓ)T ) exp(2πi tr(T Z)/ℓ).
∂Y
P
Thus, on applying DY termwise to the Fourier expansion of (as is
2
indeed permissible), it follows that
X
a2 (T ) det(−(2π/ℓ)T ) exp(2πi tr(T Z)/ℓ) = 0.
T ≥0
Proof. First, there exist U4 in GLn−r (Z) and V in GLn (Z) such that 139
U4 λn−r (C M )t V = (0 C4(n−r,n−r) ); necessarily then, det C4 , 0. Then
for
! t U −1
! tV
! tV
!
Er 0 0 0 0
U := , K := M is in ∆n,r M
0 U4 0 U 0 V −1 0 V −1
and moreover, C K = C01 CC24 . Correspondingly, if AK = AA13 AA24 , then,
from the relation t C K AK = t AK C K , we get tC1 A1 = t A1C1 . Apply-
ing Lemma 1.6.13 to the r-rowed symmetric pair (t C1 , t A1 ), there exists
anQ r-rowed
coprime symmetric pair (R1 , S 1 )-and consequently, some
1 P1
S 1 R1 in Γ r -such that t C1 t R1 + t A1 t S 1 = 0 i.e. R1C1 + S 1 A1 = 0.
Q1 0 P 1 0
t −1
Now L : S0 U04 R0 00 is in ∆n,r and further, clearly, for H :=
1 1
t 0 0 0 U4
′ ′ 0 C′
LM 0V V0−1 , we have AH = AA13 AA24 and C H = 0 C2 .
4
From t C H AH = t AH C H , we obtain t A′1C2′ + t A3C4 = 0 i.e. A3 =
−tC4−1 tC2′ A′1 . Since the rank of the matrix formed by the first r columns
114 1. Fourier Coefficients of Siegel Modular Forms
of H is r, the last relation implies that A′1 has necessarily rank r i.e.
E 0
n t −1
det A′1 , 0. Now N := Er 0 En H V0 V0 is evidently in ∆n,r M and
′ ′ ′0 0
140 moreover, C N = A01 A2C+C2 t V −1 is indeed non-singular. Since AN =
A′ A′ 4
1 2 t V −1 , (A C −1 )∗ = E , which proves the lemma.
A3 A4 N N r
Let (C4 , D4 ) be an (n − r)-rowed integral symmetric pair with
det C4 , 0 and D3 an (n − r, r) integral matrix such that F := (C4 D3 D4 )
is primitive. To F, we associate a unique right coset of Γn modulo ∆n,r
as follows (and denote it by ∆n,r M{C4 , D3 , D4 }. Indeed, there exists V
in GL2(n−r) (Z) such that (C4 D4 )V −1 = (0 G) for an integral (n − r, n − r)
nonsingular matrix G. Now (G−1 C4 , G−1 D4 ) = (0, En−r )V is an inte-
gral symmetric pair which (being primitive) is a coprime pair as well.
Further, since (D3C4 D4 ) = (D3 (0G)V) is primitive, so are (D3 0G) and
(D3 G). Thus there exists
U in GLn (Z) with λn−r(U) = (D3 G). Now it
(r)
is clear that C := U 00 G−10C4 , D := U E0 G−10D form a coprime sym-
4
metric pair and λn−r (C) = (0C4 ), λn−r (D) = (D3 D4 ). Choose any M in
Γn with λn (M) = (CD); then, clearly λn−r (M) = (0C4 D3 D4 ). By Lemma
1.6.14, there exists N in ∆n,r M such that det C N , 0 and (AN C −1 N )
∗
is integral. Now there exists W4 is GLn−r (Z) such that W4λn−r (N) =
t −1
λn−r (M) and we take, for M{C4, D3 , D4 }, the matrix P = W0 W0 N
E 0
where W := 0r W4 . Clearly λn−r (P) = W4 λn−r (N) = λn−r (M) =
(0C4 D3 D4 ), det C p , 0 and (APC −1 ∗
p ) is integral. Any such P is denoted
as M{C4 , D3 , D4 }; by Lemma 1.6.10, ∆n,r M{C4 , D3 , D4 } is uniquely de-
termined by (C4 D3 D4 ) from which we started above.
141 Denote by Cn,r the set of F = (C4 D3 D4 ) as described at the be-
ginning of the last paragraph and define two such matrices F, F ′ to be
′ ′
equivalent (in symbols, F ∼ F ) if F = W F for some W in GLn−r (Z).
U 1(r,r) U 2
Let P(n, r; Z) = {U = ∈ GLn (Z)}. In Cn,r , introduce also
0 U4
another equivalence relation F = (C4 D3 D4 ) = (C4′ D′3 D′4 ) = F ′ by the
condition W F ′ = (C4 D3 + C4 S 3 D4 + C4 S 4 ) for some W in GLn−r (Z),
integral (n − r)-rowed symmetric S 4 and (n − r, r) integral S 3 . It is easily
verified F − F ′ if and only if
(n) (r,r) tS
E 0 3
P = 0 S3 S 4 in Γn .
0 E (n)
We now prove the following crucial
Lemma 1.6.15. (i)
a a t
U 0
∆n,r M = ∆n,r M{C4, D3 , D4 } 0 U −1
M∈Γn
rank(λn−r (C M ))=n−r
where, on the right hand side, (C4 D3 D4 ) runs over a complete set
C˜ of representatives of the - equivalence classes in Cn,r and t U
runs over a complete set U of representatives of the right cosets
P(n, r; Z)\GLn (Z)
` ` t
(ii) ∆n,r M = ∆n,r M{C4, D3 D4 } E0n ESn U 0 U
0
−1
M∈Γn
rank(λn−r (C M ))=n−r
where, on the right hand side, (C4 D3 D4 ) runs over a complete
set C˜ of representatives of the ≈ -equivalence classes in Cn,r , t U
runs over U as in (i) and S runs over all (n, n) integral symmetric 142
matrices of the form 0(r,r) ∗
∗ ∗ .
A ′ ′
C C
1
A3
A2
A4 , C M = C01 CC24 and C M′ = 01 C2′ . Taking V = 1 in the proof of
4
Lemma 1.6.14, we may find a suitable L′ in ∆n,r so that for H ′ := L′ M,
the first r columns of C H ′ are 0. Since the coset ∆n,r M is unchanged
in the process, we may suppose already that the first r columns of C M
and likewise of C M′ are 0. Now, for some
(r,r) K in ∆n,r , we have K M =
t
′ V 0 −1 ′ V1 V2
M 0 V −1 with V = U U = V V .
3 4
143 Also
! ! ! !
0 C2 0 C2′ A1 A2 C1∗ 0
CM = , C M′ = , AM = , CK =
0 C4 0 C4′ A3 A4 0 0,
D∗1 D∗2
DK = 0 D∗4 with det C4 . C4′ , 0. Further, C K M = C M′ t V gives
C4′ t V2 = 0, so that V2 = 0, t U ′ ∈ P(n, r; Z)t U and so U ′ = U. Hence
K M = M ′ , D∗4 (C4 D3 D4 ) = (C4′ D′3 D′4 ) with D∗4 in GLn−r (Z) and so
(C4 D3 D4 ) = (D′4 D′3 D′4 ). This proves assertion (i). We omit the proof of
(ii), since it is similar to that of (i).
R
As an immediate generalization of the well-known formula exp
√ √ R
(−ax2 + 2bx)dx = π/a exp(b2 /a) for Re (a) > 0, with π/a > 0 for
a ∈ R, we know thatR for (m, m) complex A = t A with Re A > 0 and any
m-rowed column b, exp(−t xAx+2t bx)dx = (det πA−1 )1/2 exp(t bA−1 b)
Rm
with (det πA−1 )1/2 > 0 for A > 0. As a further generalization, we have
Thus
the lattice dual to Λn . Let us further write etas (∗) for exp(2πi ∗ |s) and
η for η1 . As usual, let t BAB be abbreviated as A[B]. In view of Lemma
1.6.17,
X X
S ( f ; N) = αj (det C N )k (det(W3 + S 3 ))−k f j
j S 2 ,S 3
1.6. Estimation of Fourier Coefficients of Modular Forms 119
(Poisson formula)
XZ
= η s (− tr(T 0 W3−1 [t W2 ])) η(− tr((a2 |s)T 0 W3−1 [t X]))
S2 X
!
2a −1 t
(− tr XW3 W2 T 0 + tr(X t S 2 ))dX
s
X !!(r−n)/2
−1 t 2a2
= η s (− tr(T 0 W3 [ W2 ])) det T0
S2
s
s
(det(−iW3 ))r/2 η − 2 tr t QW3 QT 0−1
4a
2ia −1 t
where Q := − W W2 T 0 + it S 2 . Now
s 3
4a2 4a
tr(t QW3 QT 0−1 ) = − 2
tr(T 0 W3−1 [t W2 ])+ tr(S 2 t W2 )−tr(W3 [t S 2 ]T 0−1 )
s s
and so
X !r(r−n)/2
2a2
η s (− tr(T 0 W3−1 [t (W2 + S 2 )]) =
s
S 2(r,n−r) ≡0(mod a)
Proof. In view of the arguments preceding this lemma, for its proof
we need only to insert the Fourier expansion for each f j (1 ≤ j ≤ m)
and show the resulting (double) series over T 0 and S 2 to be absolutely
convergent.
Now 149
122 1. Fourier Coefficients of Siegel Modular Forms
s s2
Im(tr(T 0 W1 ) − tr(W2 t S 2 ) + 2 tr(W3 [t S 2 ]T 0−1 )) =
a 4a !
T 0 − (s/2a)S 2
= tr(Im(W) )
−(s/2a)t S 2 (s2 /4a2 )T 0−1 [S 2 ]
" # (r) !
Er 0 T0 0
= tr((Im(W)) )
− 2as t S 2 T 0−1 En−r 0 0
and further taking ρ1 > 0 with Im(W) > ρ1 En , we see that the above
series over S 2 is
!!
X 2πρ s2
O expintegral − tr T 0 + 2 S 2 S 2 T 0 .
1 t −1
S
s 4a
2
To complete the proof of the lemma, we have only to show that for
ρ′ = 2πsρ1 /(4a2 ) and for every T 0 > 0 in Λ∗r ,
X
expintegral (−ρ′ tr(S 2 t S 2 T 0−1 )) = O((det T 0 )n−r ).
S 2(r,n−r)
For this purpose, we may assume, without loss of generality that T 0−1 is
t1 ... 0 " 1 ∗#
M-reduced, so that T 0−1 = ... . . . ... . . . and for ρ2 = ρ2 (r) > 0,
0 ... tr 0 ... 1
ρ3 = ρ3 (r) > 0,
t1 . . . 0 t1 . . . 0
ρ2 T 0′ := ρ2 ... . . . ... < T 0−1 < ρ3 ... . . . ... ,
0 . . . tr 0 . . . tr
−1
t1 . . . 0
.. . . .
(Λ∗r ∋)T 0 < ρ−1 2 . . ..
0 . . . tr−1
and hence ti < ρ−12 (1 ≤ i ≤ r). Thus, as a majorant for the last mentioned
150 series over S 2 , we have
X
expintegral (−ρ′ ρ2 tr(S 2 t S 2 T 0′ ))
S 2(r,n−r)
1.6. Estimation of Fourier Coefficients of Modular Forms 123
n−r
Y X
= exp(−ρ′ ρ2 ti ℓ2 )
1≤i≤r ℓ∈Z
Y !n−r
2 exp(−ρ′ ρ2 ti )
≤ 1+
1≤i≤r
1 − exp(−ρ′ ρ2 ti )
Y !n−r Y !n−r
2 2 + ρ′ ρ2 ti
< 1+ ′ =
i
ρ ρ2 ti i
ρ′ ρ2 ti
Y
< (ρ′ + 2)/ρ′ ρ2 )n−r (det T 0 )n−r
X X !r(r−n)/2
k 2a2
S ( f ; N) = αj (det C N )
j S 3 ∈aΛn−r
s
X s
(det T 0 )(r−n)/2 b j (T 0 )ns (tr(T 0 W1 ) − tr(W2t S 2 ))×
0<T 0 ∈Λ∗r
a
S 2(r,n−r) integral
s
×(det(W3 + S 3 ))−k (det(−i(W3 + S 3 ))r/2 η tr((W 3 + S 3 )T −1
0 [S 2 ])
4a2
1.6. Estimation of Fourier Coefficients of Modular Forms 125
s s s2
×η s (tr(T 0 W1 ) − tr(W2 t S 2 ) + 2 tr(T W3 ) + 2 tr(W3 T 0−1 [S 2 ]))
a 4a t0 4a
where 0 < T 0 ∈ Λ∗r , S 2(r,n−r) is integral, 0 < T ∈ Λ∗n−r , sT 0−1 [S 2 ]+t0−1 T ∈ 152
4aΛ∗n−r . Let
! (r)
T0 − 2as S 2 P1 P2
P := = t , say.
− 2as t S 2 4as 2 (t0−1 T + sT 0−1 [S 2 ]) P2 P(n−r)
3
!
t −1 0(r) S 2
G = {λn−r (S C )|S = t ∈ aΛn },
S2 S3
!
′ 0(r) S 2
G = {λn−r (CS )|S = t ∈ sΛn }.
S2 S3
1
Clearly G′ = {(C4 t S 2 , C4 S 3 )| S 2(r,n−r) integral, S 3 ∈ sΛn−r } is a sub-
s
1
group of index abs(det C4 ) in the (additive) group G0 = {(t S 2′ , C4 S 3 )|
r
s
S 2′ integral and of size (n−r, r), S 3 ∈ sΛn−r }. Moreover, G = {(t S 2 tC1−1 −
1
S 3t (C1−1C2C4−1 ), S 3 t C4−1 )| S 2(r,n−r) integral, S 3 ∈ aΛn−r } ⊂ G′ . As repre-
a
sentatives of G0 /G, we can take representatives of {C4 S 3 |S 3 ∈ sΛn−r }/
{S 3 t C4−1 |S 3 ∈ aΛn−r } together with representatives of {t S 2′ |S 2′ of size
(r, n − r) and with entries in sZ}/{t S 2 t C1−1 |S 2 of size (r, n − r) and with
entries in aZ}. Hence
154 and so
Let !
0 S j,2
S ′j = tS ∈ sΛn for 1 ≤ j ≤ ν0 (C N )
j,2 S i,3
× η s (tr(P(W + S i′ [t C N ])))
(r)
P1 P2
where P = t (n−r) > 0 runs over all such matrices with P1 ∈ Λ∗r ,
P2 P3
2c20 P2 integral, c20 P3 ∈ Λ∗n−r and
P1 ∈ Λ∗r, 2c20 P2 ≡ 0(mod 1), c20 P3 ∈ Λ∗n−r
t
T ∈ Λ∗n
2 C1 P2C4 ≡ 0(mod 1),
⇐⇒
T 1 [C −1 ] = (T [C N−1 ])∗ ∈ Λ∗r
t
C2 P2C4 + t C4 t P2C2 + P3 [C4 ] ∈ Λ∗n−r 1
P1 = T 1 [C1−1 ] ∈ Λ∗r , t C2 P2C4 + tC4 t P2C2 +P3 [C4 ] = T 3 −P1 [C2 ] ∈ Λ∗n−r .
Further
(det C1 )k /(det C4 )k X
T ( f, N) = β αj
s(n−r)(n+r+1)/2 j
X
b j ([T [C −1 ∗ ∗ (r+1)/2−k
N ]) )(det T ) (det T )k−(n+1)/2
0<T ∈Λ∗n
× η s (tr(TC −1
N D N ))η s (tr(T Z))
P `
with a similar connotation for the account on as for ′ earlier and
further γ = β/s(n−r)(n+r+1)/2 and bounded constants α′j (1 ≤ j ≤ m). By
Lemma 1.6.22, we know that the number of (D3 , D4 ) such that (C3 D3 D4 )
≈
runs over C n,r , for fixed (non-singular) C4 with δ1 , . . . , δn−r as elemen-
tary divisors is at most (abs det C4 )r δn−r
1 . . . δn−r . Under the equivalence
≈, C4 and VC4 for V in GLn−r (Z) have to be identified and hence, in
order to estimate the number of integral invertible C4 with δ1 , . . . , δn−r
c ... ...
1 in triangu-
as elementary divisors, we may assume C4 = .. . .
. . ci j
0 ... cn−r
lar form with c1 , . . . , cn−r > 0 and 0 ≤ ci j < ci for j ≥ i. Since
1.6. Estimation of Fourier Coefficients of Modular Forms 131
δn−r
1 . . . δ1 = δ1 (δ1 δ2 ) . . . (δ1 . . . δn−r ) ≤ c1 (c1 c2 ) . . . (c1 . . . cn−r ) and the
number of such C4 for fixed c1 , . . . , cn−r is evidently ≤ c2 . . . cn−r−1 n−r , we
may now conclude, in view also of the estimate for Fourier coefficients
of cusp derived earlier, the finiteness of the number of K, S ′ and the 159
boundedness of α′j , that
X
a(T, f ; M) = O( (det C1 / det C4 )k (det(T [t U −1 ])∗ /
≈
(C4 D3 D4 )∈C n,r
t U∈P(n,r;Z)\GL (Z)
n
r+1
det C12 )k/2 (det(T [t U −1 ])∗ ) 2 −k × (det T )k−(n+1)/2
X
= O(( (c1 . . . cn−r )−k+r cn−r n−r−1
1 . . . cn−r c2 . . . cn−r )
1≤c1 ,...,cn−r <∞
X r+1−k n+1
( (det(T [t U −1 ])∗ ) 2 (det T )k− 2 )
tU∈P(n,r;Z)\GLn (Z)
since, for the sum over t U which is a Selberg zeta function, we have
the above O-estimate involving det T ∗ and det T , as long as T stays in a
fixed Siegel domain (see page 143 and the Theorem on page 144, [17]).
This completes the proof of Theorem 1.6.23.
Q
for every prime p; then π(M, L) = (−1)h p ph p (h p −1)/2 and otherwise,
p
π(M, L) = 0.
X∞ X
n
P([L]) = P( (−1)h ph(h−1)/2 T p (k − h)π p (h)[L])
k=0 h=0
X
n X
∞
h h(h−1)/2
= (−1) p P( T p (k − h)π p (h)[L])
h=0 k=0
X
n X
∞
h h(h−1)/2
= (−1) p P( T p (k)π p (h)[L])
k=0 k=0
X X
t X
= (−1)hi phi (hi −1)/2 P( T p1 (k1 ) . . .
0≤h1 ...,ht ≤n i=1 k1 ,...,kt ≥0
. . . T pt (kt )π p1 (h1 ) . . . π pt (ht )[L])
X Y t
= (−1)hi phi (hi −1)/2 R(π p1 (h1 ) . . . π pt (ht )[L]),
0≤h1 ,...,ht ≤n i=1
QP
where p1 , . . . , pt are prime divisors of d(L), since R(L) = p( T p (k)
p k
164 [L]). Since π p1 (h1 ) . . . π pt (ht )[L] is a sum in Ṽ of lattices M such that
Z pi M/Z pi L = Z/(pi ) ⊕ . . . ⊕ Z(Pi ), the proof is complete.
| {z }
hi
P
(σ|M, M) where M = σ−1 (σ(V) ∩ S ), we obtain R(L) = P(M).
P M⊃L
Hence we have P(L) = π(M, L)R(M).
M⊃L
Let {S i } be a complete system of representatives of the (finitely
many) classes in the genus of S and E(S i ) the order of the group of
isometries of S i . Denote by S W(L) (= Siegel’s weighted sum)
X X R(L; S i )
( E(S i )−1
i i
E(S i )
where d p (L, S ) is a so-called primitive density and for a fixed prime 165
p the number of possible values of d p (L, S ) is finite when L runs over
regular lattices with rank L = n. Moreover if m ≥ 2n + 3 and S W p (L) ,
0, then S W p (L) ≫ d(L)(m−n−1)/2 , and if m = 2n + 2, S W p (L) , 0, then
S W p (L) ≫ n(L)−ε d(L)(m−n−1)/2 for any ε > 0, where n(L) is a natural
number defined by n(L)Z = Z{Q(x)|x ∈ L}.
Theorem 1.7.3. Suppose that, for every Siegel modular form f (z) =
P
a(T )e(tr(T z)) of degree n, weight m/2 and some level, whose con-
stant term vanishes at each cusp, the estimate a(T ) = O(min(T )−ε
(det T )(m−n−1)/2 ) holds for min T ≥ X (= an absolute constant indepen-
dent of f ). If m ≥ 2n + 2 and ε is a sufficiently small positive number,
then A p (L) = O((min(L))−ε (d(L)(m−n−1)/2 ).
Arithmetic of Quadratic
Forms
139
140 2. Arithmetic of Quadratic Forms
2.0.0
Let M be a quadratic module over o and suppose that M has a basis
{vi } over o. Then we write M =< (B(vi , v j )) >; det(B(vi , v j )) is deter-
2
mined up to multiplication by an element of o x = {x2 |x ∈ o x }. Now
2
det(B(vi , v j ))o x is called the discriminant of M and denoted by d(M)
(= disc (Q) in [S ]). If d(M) , 0, then we say that M is regular (=
168 non-degenerate in [S ]]. We write d(M) = (det(B(vi , v j )) if there is no
ambiguity.
2.0.0
Let M, M ′ be quadratic modules over o. If f is an injective linear map-
ping form M to M ′ which satisfies
2.0.1.1
then we write
M = M1 ⊥ . . . ⊥ Mn .
2.0.2.2
Let M be a quadratic module over o and N a subset of M. We denote by
N ⊥ (= N 0 in [S]) the orthogonal complement of N, i.e.,
N ⊥ = {x ∈ M|B(x, N) = 0}.
2.0.3.3
Let V be a quadratic module over k and M an o-module on V. We call
M a (o−) lattice if kM = V.
2.0.4.4
Let M be a quadratic module over o and suppose that M contains a non- 169
zero isotropic vector x, that is, M ∋ x , 0, Q(x) = 0. Then M is called
an isotropic quadratic module. (This definition is different from [S ].) If
M contains no (non-zero) isotropic element, M is said to be anisotropic.
2.0.5.5
Let K ⊃ k be fields and K ⊃ eo, k ⊃ o rings and suppose that eo ⊃ o.
For a quadratic module M over o, eo M denotes a canonically induced
o ⊗ M over e
quadratic module e o. Let M (resp. V) be a quadratic module
o
over Z (resp. Q). For a prime number p, we denote by M p , V p quadratic
modules Z p M, Q p V respectively. For p = ∞, we write RM, RV for M∞ ,
V∞ .
2.1.0
Let V be a regular quadratic module over k. Suppose
V =< a1 >⊥ . . . ⊥< an > (ai ∈ k x ),
142 2. Arithmetic of Quadratic Forms
that is, there is a basis {vi } such that Q(vi ) = ai , B(vi , v j ) = 0 for i , j.
Q
Then S (V) = (ai , a j )(= ε(V)(dV, −1) in the sense of [S ]) where ( , ) -
i≤ j
the Hilbert symbol of k-is an invariant of V and we quote the following
theorem from ([S ], p.39).
Theorem 2.1.1. Regular quadratic modules over k are classified by
d(V), S (V), dim V.
170 Corollary. Let V, W be regular quadratic modules over k. If dim V +3 ≤
dim W, then V is represented by W.
Proof. Without loss of generality, we may assume dim V + 3 = dim W.
Let a, b, c be non-zero elements of k which satisfy
2
ck x = d(V) · d(W),
2
−ac < k x ,
S (W) = (c, d(V))(a, c)(ab, ac)(bc, −1)S (V).
Proof. Since n(M) = (2) follows, Lemma 2.1.1 yields immediately the
corollary.
Lemma 2.1.2. Let V =< 01 10 > be a hyperbolic plane over k and M a
lattice on V. The following assertions are equivalent:
(1) M is (2a)-maximal (a ∈ k x ),
a 0 1
o[x, y] =< >⊂ M is (a/2)-modular and B(o[x, y], M) ⊂ s(M) ⊂
a 2 10
. We may now apply Lemma 2.1.3 to complete the proof.
2
Lemma 2.1.5. Let V be an anisotropic quadratic module over k and M
an (a)-maximal lattice. Then we have
M = {x ∈ V|Q(x) ∈ (a)}.
Proof. We have only to prove Q(x+y) ∈ (a) if Q(x), Q(y) ∈ (a). Suppose
that 2B(x, y) < (a) for some x, y ∈ V with Q(x), Q(y) ∈ (a). Then
(2B(x, y)pn ) = (a) for some n ≥ 1. This implies
V =⊥ Hi ⊥ V0 ,
M =⊥ (M ∩ Hi ) ⊥ (M ∩ V0 ),
!
0 a/2
M ∩ Hi =< >,
a/2 0
M ∩ V0 = {x ∈ V0 |Q(x) ∈ (a)}.
(♯) L = L1 ⊥ . . . ⊥ Lt .
other hand, we have L(a) = L1 (a) ⊥ . . . ⊥ Lt (a) for (♯). The above ar-
gument implies s(L(a)) = (a) if and only if (a) = s(Li ) for some i. Thus
the number t and s(Li ) in the decomposition (♯) are uniquely determined.
Fix any i and take a ∈ k x with (a) = s(Li ). Then B(L j(a), L j (a)) ⊂ (pa)
for j , i; further Li (a) = Li is (a)-modular. Set V = L(a)/pL(a) and
B′ (x, y) = a−1 B(x, y) ∈ Z/(p) for x, y ∈ V. Then V is a vector space over
Z/(p) and B′ is a symmetric bilinear form. B′ is identically zero on the
images of L j (a)( j , i) on V and gives a regular matrix on the image of 176
P
Li (a) on V. Hence we get dim{x ∈ V|B′ (x, V) = 0} = rank L j . Thus
j,i
rank Li is also uniquely determined by L. If n(Li ) , s(Li ), then p = 2
and 2s(Li ) = n(Li ), and it is the case if and only if B′ (x, x) is identically
zero for x ∈ V. This condition being satisfied or not is determined by L
and s(Li ). Thus we have proved
L = L1 ⊥ . . . ⊥ Lt ,
L = L1 ⊥ L2 ,
It is obvious that
1 −k
p (Q(u(vi )) − Q(vi )) ∈ o and
2
1
p−k {B(u(vi ), u(v j )) − B(vi , v j )} = p−k {Q(u(vi + v j )) − Q(u(vi ))
2
− Q(u(v j )) − Q(vi + v j ) + Q(vi )
+ Q(v j )} ∈ o.
150 2. Arithmetic of Quadratic Forms
{x ∈ V|B(x, M) ⊂ o}.
ph n(M ♯ ) ⊂ 2o.
If u ∈ Hom(M, N) satisfies
u′ (M) = u(M)
u′ (x) ≡ u(x) mod ph+1 u(M ♯ ) for x ∈ M.
Then ϕ(x) = B(x, z) for some z ∈ M ♯ . We show that (♯)h+1 holds for
G = u(M ♯ ). For x ∈ M, we have
and then ϕ(x) ≡ B(u(x), u(z)) mod po. Thus the first condition holds. 182
For x ∈ M ♯ , we have
ph+1 Q(x) ≡ 0 mod 2po and then ph+1 Q(u(x)) ≡ 0 mod 2po.
ph n(M ♯ ) ⊂ 2o,
183
2.1. Quadratic Modules Over Q p 153
ϕ(x) − B(u(x), z)
= B(x − u(x), z) ∈ B(ph+1 M ♯ , M ♯ ) ⊂ B(pM, M ♯)
⊂ po,
σ(o[x1 , . . . , xn ]) = o[y1 , . . . , yn ]
holds.
and then xy + yx = 2B(x, y). For a subset S of {1, . . . , n}, we identify S 186
with vi1 . . . vi j (S = {i1 < . . . < i j }). If S = φ, then we take the identity in
C(V). Then x ∈ C(V) is written as
X
x= a(S )S (a(S ) ∈ k),
S
where S runs over all subsets of {1, . . . , n}. Although it is known that
the expression is unique, i.e., dim C(V) = 2n , we do not need to prove
the lemma. Set e(S ) = 1 (resp. −1) if the cardinality of S is even
(resp. odd). Since vi v j = −v j vi for i , j, we have, for S ⊂ {1, . . . , n},
e(S )vi S if i < S ,
S vi =
−e(S )vi S if i ∈ S .
Hence it is easy to see that 1 and v1 . . . vn with n odd are in the centre
of C(V); moreover, 1 and v1 . . . vn for odd n are linearly independent,
since 1 ∈ T 0 and v1 . . . vn ∈ T 1 . Let S consist of all subsets of {1, . . . , n},
156 2. Arithmetic of Quadratic Forms
a(S ) = 0,
Proof. First, we note that m is even, since det τu = −1. For an aniso-
tropic u ∈ V and all x ∈ V we have
2B(u, x)
τu x = x − u
Q(u)
2.2. The Spinor Norm 157
u1 . . . um = a + bv1 . . . vn ,
Q(u1 ) . . . Q(um ) = u1 . . . um um . . . u1
= u1 . . . um f (um ) . . . f (u1 )
= u1 . . . um f (u1 . . . um )
= a2 . Q.E.D.
σ = τu1 . . . τum
2
and denote by θ(σ) the element Q(u1 ) . . . Q(um ) ∈ k x /k x . By Lemma
2.2.16, this mapping is well-defined and then it is obvious that θ is a
2
group homomorphism from O(V) to k x /k x · θ(σ) is called the spinor
norm of σ.
L = Z p v ⊥ ∗, Q(v) = ab.
2
Then τv induces an isometry of L and θ(τv ) = abQ xp . Therefore
θ(O+ (L)) ⊃ Z xp . Suppose p = 2. Let M = Z2 [v1 , v2 ] and (B(vi , v j )) =
a 01 10 . For u ∈ Z2x , it is clear that τv1 +uv2 ∈ O(M) and θ(τv1 +uv2 ) = 2au.
2
Hence θ(O+ (M)) ⊃ Z2x Q2x . Next suppose that M = Z2 [v1 , v2 ] and
(B(v1 , v j )) = a 21 12 . Then Q2 M is anisotropic and M is (2a)-maximal,
since < 21 12 > is (2)-maximal by Lemma 2.1.1. Hence M = {x ∈
Q2 M|Q(x) ∈ (2a)} and O+ (M) = O+ (Q2 M) · Q(v1 + bv2 ) = 2a, 2a.3,
2a.7 and 2a.13 according as b = 0, 1, 2 and 3 respectively. Hence we
2
have θ(O+ (M)) ⊃ Z2xQ2x . Thus, to prove our assertion, we have only to
show L =< a 2c 1
1 2c >⊥ ∗(c = 0 or 1). From Proposition 2.1.13, it
follows that L has an orthogonal basis {vi } with Q(v x
i ) = aui , ui ∈ Z2 .
Put M = Z2 [v1 + v2 , v2 + v3 ] =< a u1u+u 2
2 u2
u2 +u3 >. Then M is (a)-
u +u Mu ⊂ L and hence
modular, L = M ⊥ ∗. Proposition 2.1.13 now implies
< u2 u2 +u3 >< 01 10 > or < 21 12 >, and the previous assertion
1 2 2
2
gives θ(O+ (L)) ⊃ θ(O+ (M)) ⊃ Z2x Q2x .
190 Suppose that L is maximal. By virtue of Lemma 2.1.6 and the pre-
vious results, we may assume that Q p L is anisotropic. By the same
lemma, L is fixed as a set for every isometry of Q p L. Suppose rank
L ≥ 4; then the corollary on page 37 in [S] implies Q(Q p L) = Q p .
Hence θ(O+ (L)) = θ(O+ (Q p L)) = Q xp ⊃ Z xp . Suppose rank L = 3. From
the same corollary, it follows that u ∈ Q(Q p L) if −u < d(Q p L). Since
2.2. The Spinor Norm 159
z1 , z2 ∈ H such that η|H = τz1 · τz2 and Q(z1 )Q(z2 ) = 1. Then η = τz1 τz2
on V. Thus we have σ = η = 1 in O′ (V)/Ω and so O′ (V) ⊂ Ω.
Proof. Corollary to Theorem 2.1.1 and the above theorem yield the as-
sertion.
It is obvious that gen L ⊃ spn L ⊃ cls L. When K ∈ cls L, spn L, gen L 193
respectively, we say that K and L belong to the same class, spinor genus,
genus, respectively.
Here we recall the fundamental relations between global lattices and
their localizations.
2.4.0
The most fundamental result is the following
implying that
min(L) ≦ (4/3)(n−1)/2 |d(L)|1/n .
2.2.0
In this paragraph, we give two different kinds of approximation the-
orems which are necessary latter. Before stating the results, we first
describe the topology. Let V be a vector space over Q p with dim V =
n < ∞. Fixing a basis of V over Q p , V (resp. End V) is isomorphic to
Qnp (resp.Mn (Q p )). Using this isomorphism, we can introduce a topol-
ogy on V or End V which is independent of the choice of bases. Take
two bases {ui }, {vi } of V. If u and v ∈ V or End V) are sufficiently close
197 with respect to the topology introduced by {ui }, then they are also suffi-
2.4. Integral Theory of Quadratic Forms 165
ciently close with respect to {vi }. Hence we can use “sufficiently close”
without ambiguity, when a finite number of fixed bases are involved.
The first theorem is an approximation theorem for 0′ (V).
Proof. Put σv = τ x1 (v) · · · τ x2n (v) (xi (v), ∈ Vv ). Since the order of any
symmetry is 2, we may suppose that n is independent of v ∈ S . We have
only to choose xi ∈ V so that xi and xi (v) are sufficiently close in Vv for
v ∈ S.
(i) µ ∈ Z xp if p ∈ S . 198
(ii) z p ∈ L p if p < T .
(iii) Q(z) = a.
K p = (L ∩ W) p = L p ∪ W p if p < T,
1 − λ2 β2 ∈ µZ p ∩ Q(K p ) and β ∈ Z p if p , v,
We return to the proof of this latter and first complete with its help the
proof of Lemma 2.2.32. By the Hasse-Minkowski Theorem, 1 − λ2 β2 ∈
Q(W). Applying the property (ii) in Lemma 2.2.31 to a = 1 − λ2 β2 ,
there is a vector w ∈ W such that Q(w) = 1 − λ2 β2 and w ∈ K p for
p , v. We show that z = βu + w is what we want. Suppose P ∈ T ;
then β and 1 are sufficiently close in Z p and w ∈ K p ⊂ pr L p . Thus z
and u are sufficiently close in V p . On the other hand, z p and y, u and y
are sufficiently close respectively. Hence z and z p are sufficiently close
for p ∈ T . If p < T ∪ {v}, then z = βλy + w ∈ βL p + K p ⊂ L p .
Lastly Q(z) = β2 λ2 + Q(w) = 1. Thus the assertions (i), (ii)., (iii) are
satisfied. It remains for us to prove the existence of a rational number
β. First, we construct β p ∈ Q p which satisfies the condition (♯) locally
168 2. Arithmetic of Quadratic Forms
(ii) Suppose that σ p = τ x1,p τy1,p · · · τ xr,p τyr,p , Q(xi,p ) = Q(yi,p ) for each
p ∈ S.
In this case, we may assume that r is independent of each p ∈ S ,
since the order of any symmetry is 2. Applying (i) to τ xi τyi , we
complete the proof.
1
is (xy + yx). Thus V is isometric to the subspace Qi + Q j + Qk and
2
we identify them. We note that V and Q ⊂ C are orthogonal. For x ∈ V
with N(x) , 0, we have
(xy + yx)
τx y = y −
N(x)
= −N(x)−1 xyx = −xyx−1 for y ∈ V.
(a) a Z-lattice M on V,
172 2. Arithmetic of Quadratic Forms
207 (iii′ ) aQ(x) is positive (resp. negative) if r′′ = 1, s′′ = 0 (resp. r′′ = 0,
s′′ = 1).
2.4. Integral Theory of Quadratic Forms 173
(i′ ) (resp. (iii′ )) implies (i) (resp. (iii)). If p < S (a), p , q, then
we have aQ(x) ∈ Zx p and a ∈ Z xp and therefore Q(x) ∈ Z xp . For p = q,
Q(x) ∈ qZqx since q < S (a). For p ∈ S (a)\S , (i′ ) implies that Q(x)
and Q(x1,p ) ∈ Z xp are sufficiently close. Hence Q(x) ∈ Z xp . Thus we
get the assertions (i), (ii), (iii). Therefore, we may assume that V is a
quadratic field k over Q and the quadratic form Q is equal to the norm
N from k to Q. We take a finite set S ′ ⊃ S of prime numbers so that
for p < S ′ , M p is equal to the localization of the maximal order of k.
We choose x1,p ∈ M p is equal to the localization of the maximal order
of k. We choose x1,p ∈ M p for p ∈ S ′ \S such that N x1,p ∈ Z xp . By
the approximation theorem, there exists y ∈ k such that Ny is positive
(resp. negative) for r′ = 1, s′ = 0 (resp. r′ = 0, s′ = 1) and y and x1,p
are sufficiently close for p ∈ S ′ . Decompose the principal ideal (y) as
(y) = m een where m e, e n are ideals of k and the prime divisor e p appears in
e if and only if e
m p divides some prime number p in S ′ . Thus it is known
that there exists a number z ∈ k for which z and 1 are sufficiently close
for p ∈ S ′ , Nz is positive, and e q=e nz is a prime divisor with Ne q=q
prime.
Put x = yz. Then the conditions (i), (iii) are obviously satisfied. For
p ∈ S ′ \S , y, x1,p and z, 1 are sufficiently close respectively and N x1,p ∈
Z xp . Hence Q(x) ∈ Z xp , for p ∈ S ′ \S . Since (x) = (yz) = m̃q̃, we
have Q(x) = ±N(e m)q. By the assumption on m e, the condition (ii) is
satisfied. By the construction, it is easy to see that x is contained in every 208
localization of M and hence in M. Thus we have completed the proof
for the case n = 1, m = 2. Suppose now that n = 1 and m = dim V ≧ 3.
Take any prime h < S . Then there exists a basis {vi } of Mh such that
(B(vi , v j ))i=1,2 = 01 10 , Q(v3 ) ∈ Zhx and Mh = Zh [v1 , v2 ] ⊥ Zh v3 ⊥ · · · by
Proposition 2.1.12. We take x1 ∈ M so that x1 and x1,p are sufficiently
close for p ∈ S , and x1 and v1 + hv2 are sufficiently close for h. Put
T = {p < S |Q(x1 ) < Z xp } ∋ h. There exists x2 ∈ V such that Q(x2 ) > 0
(resp. < 0) for r′ = 1, s′ = 0 (resp. r′ = 0, s′ = 1), for p ∈ T ,
x2 ∈ M p and Q(x2 ) ∈ Z xp and moreover, x2 and v3 are sufficiently close
for p = h. Then we have a natural number a such that ax2 ∈ M and
p ∤ a for p ∈ T . The discriminant of M ′ = Z[x1 , ax2 ] is divisible
exactly by h. Hence W = Q[x1 , ax2 ] is not a hyperbolic plane. Put
174 2. Arithmetic of Quadratic Forms
P
n−1
Put U = Qxi , W = {x ∈ V|B(x, U) = 0}. Then V = U ⊥ W.
i=1
Put A = Z[x1 , . . . , xn−1 ]; then d(Aq1 ) ∈ q1 Zqx1 . From the local version
of Lemma 2.4.26, it follows that d(A⊥ x
q1 in Mq1 ) ∈ Zq1 . On the other
2 x2
hand, d(Mq1 ) ∈ Zqx1 implies d(Aq1 ) · d(A⊥ x x ⊥
q1 ) ∈ Zq1 Qq1 /Qq1 . Thus d(Aq1 in
x ⊥
Mq1 ) ∈ q1 Zq1 . Let Aq1 = L1 ⊥ L2 , Aq1 = L3 ⊥ L4 be Jordan splittings
so that L1 , L3 are unimodular and rank L2 = rank L4 = 1. Since Mq1 is
unimodular, L2 ⊥ L4 is contained in the unimodular module (L1 ⊥ L3 )⊥
in Mq1 , and then Aq1 ⊂ L1 ⊥ (L1 ⊥ L3 )⊥ . From d(Aq1 ) ∈ q1 Zqx1 , it
follows that Aq1 is a direct summand in L1 ⊥ (L1 ⊥ L3 )⊥ , and hence
there is an element xn,q1 ∈ Mq1 such that Aq1 + Zq xn,q1 is a unimodular
module L1 ⊥ (L1 ⊥ L3 )⊥ . Decompose xn,p as xn,p = yn,p + zn,p (yn,p ∈
U p , zn,p ∈ W p ) for p ∈ S ∪ {q1 }. We can take yn ∈ U so that yn and yn,p
are sufficiently close for p ∈ S ∪ {q1 } and yn ∈ A p for p < S ∪ {q1 }. We
claim that
(♯) there exist an element zn in the projection M ′ of M to W and a
prime q < S ∪ {q1 } such that
zn and zn,p are sufficiently close for p ∈ S ∪ {q1 },
2.4. Integral Theory of Quadratic Forms 175
We come to the proof of this later and first complete the proof of the 210
theorem with its help. put xn = yn + zn . Then xn and xn,p = yn,p +
zn,p are sufficiently close for p ∈ S ∪ {q1 }. Hence the condition (i) is
satisfied, and xn ∈ M p , for p ∈ S ∪ {q1 }. For p < S ∪ {q1 }, M p , A p
are unimodular and hence M p = A p ⊥ (∗). Since M ′ is the projection
of M to W, we have M p = A p ⊥ M ′p . Hence we have xn = yn +
zn ∈ A p + M ′p = M p for p < S ∪ {q1 }. Thus xn ∈ M. We check the
condition (ii). d(Z p [x1 , . . . , xn ]) and d(Z p [x1,p , . . . , xn,p ]) are sufficiently
close for p = q1 , and the latter is a unit by the definition of xn,q1 . Hence
d(Z p [x1 , . . . , xn ]) ∈ Z xp , for p = q1 . For p < S ∪{q1 } , d(Z p [x1 , . . . , xn ]) =
d(Z p [x1 , . . . , xn−1 , yn + zn ]) = d(Z p [x1 , . . . , xn−1 , zn ]) (yn ∈ A p ) = d(A p ) ·
Q(zn ) ∈ Q(zn )Z xp . Thus from the property of zn in (♯) condition (ii)
follows. Condition (iii) follows from
2.2.0
In this paragraph, we give sufficient conditions under which gen L =
spnL or spnL = clsL, and also a result on representation of indefinite 211
quadratic forms.
σ(M p ) = M p if L p ⊂ M p .
σ is sufficiently close to σ p if L p 1 M p .
2.2.0
The aim of this paragraph is to prove the fundamental theorem on rep-
resentations of positive definite quadratic forms. We mean by a positive
178 2. Arithmetic of Quadratic Forms
holds.
By the choice of r, the (i, j)th entry of A is congruent to B(yi,p , y j,p )
modulo n(qs L p ) for p ∈ S . It follows from yi,p ∈ qs L p that n(H p ) ⊂
2.4. Integral Theory of Quadratic Forms 181
2.2.0
In this last subsection, we show that there is a submodule of codim 1
which characterizes a given module.
Let L = L1 ⊥ · · · ⊥ Lk be a Jordan splitting of a regular quadratic
module L over Z p , that is, every Li is modular and s(L1 ) ⊃ · · · ⊃ s(Lk ).
, ,
Then we put
t p (L) = (a1 , . . . , a1 , . . . , ak , . . . , ak )
| {z } | {z }
rank L1 rank Lk
Proof. Let S be a finite set of prime numbers such that 2 ∈ S and (Li ) p
is unimodular for 1 ≤ i ≤ m, p < S . Put S = {p1 , · · · , pr } and define
A1 , . . . , Ar as follows:
[1] A.N. Andrianov: Spherical functions for GLn over local fields and 225
summation of Hecke series, Math. Sbornik 12 (1970), 429-452.
187
188 BIBLIOGRAPHY
[23] C.L. Siegel: Über die analytische Theorie der quadratischen For- 227
men, Annals Math. 36 (1935), 527-607, Gesamm. Abhand.I, 326-
405.
[27] W.A. Tartakowsky: Die Gesamtheit der Zahlen, die durch eine
positive quadratische Form F(x1 , . . . , xs )(s ≥ 4) darstellbar sind,
Izv. Akad. Nauk SSSR u (1929), 111-122, 165-196.
[28] A. Weil: On some exponential sums, Proc. Nat. Acad. Sci. USA,
34 (1948), 204-207.