Professional Documents
Culture Documents
Siegel
Siegel
Siegel
Siegel modular forms, as they are called today, were first introduced by Siegel in a
paper of 1935 and nowadays often are given as a first example of holomorphic modular
forms in several variables. The theory meanwhile has a long traditional background and
is a very important and active area in modern research, combining in many nice ways
number theory, complex analysis and algebraic geometry.
The goal of these lectures is twofold: first I would like to introduce the basic concepts
of the theory, like the Siegel modular group and its action on the Siegel upper half-space,
reduction theory, examples of Siegel modular forms, Hecke operators and L-functions.
Secondly, following up, I would like to discuss two rather recent research topics, namely
the Ikeda lifting and sign changes of Hecke eigenvalues in genus two.
For sections 1-4 we refer to [F] as a basic reference, for the results about L-functions
in sect. 4 we refer to [A]. Regarding sect. 5 the reader may consult [E-Z,I,K1,C-K,K-K]
for more details, and for sect. 6 we refer to the survey article [K2].
First we would like to give some motivation why to study Siegel modular forms. This
motivation will stem from two different sources, namely number theory and the theory of
compact Riemann surfaces.
a) From number theory
Let A Mm (Z) be an integral (m, m)-matrix and suppose that A is even (i.e. all the
diagonal entries of A are even), A is symmetric (i.e. A = A0 , where the prime 0 denotes
(x R)
1
rQ (t) := #{g Zm |Q(g) = g 0 Ag = t}
2
be the number of representations of t by Q.
Lemma 1.
rQ (t) < .
Proof: Diagonalize A over R; since A > 0, it follows that Mt := {x Rm |Q(x) = t}
is compact, hence Mt Zm (intersection of a compact and a discrete set) is finite.
Problem: Given Q, find finite, closed formulas for rQ (t), or at least an asymptotic
formula for rQ (t) when t !
Idea (Jacobi): Study the generating Fourier series (theta series)
X
X
rQ (t)e2itz =
e2iQ(x)z (z C).
Q (z) := 1 +
xZm
t1
Since A > 0, this series converges absolutely locally uniformly in the upper half-plane
a b
H, i.e. for z C with Im z > 0. On H operates the group SL2 (R) = {
c d
M2 (R) | ad bc = 1} by
az + b
a b
.
z =
c d
cz + d
Fact: For m even, Q Mm/2 (N )= space of modular forms of weight m2 and level N ,
i.e. essentially
az + b
a b
m/2
Q
= (cz + d) Q (z) (
SL2 (Z), N |c),
c d
cz + d
where N is a certain natural number depending on Q, the so-called level of Q.
Application: Mm/2 (N ) is a finite-dimensional C-vector space = results on rQ (t).
d|t
Therefore
Q (z) = E1 (z) + E2 (z)
for certain , C. Comparing the first two Fourier coefficients on both sides gives
1 = 3 ,
8 = 24 24.
This implies
1
= , = 0,
3
hence
1
Q = E1 .
3
Comparing coefficients for all t 1, we obtain therefore
t
rQ (t) = 8 1 (t) 41 ( ) (Jacobi),
4
in particular
rQ (t) 1, t 1 (Lagrange).
In general, however, due to the presence of cusp forms, one only gets asymptotic formulas.
More general problem: Study the number of representations of a (n, n)-matrix T
by Q, i.e. study
1
rQ (T ) := #{G Mm,n (Z) | G0 AG = T }.
2
Note: if T is represented like that, then T = T 0 and T 0 (i.e. T is positive
semi-definite). Also T must be half-integral (i.e. 2T is even) and rQ (T ) < (since
1 0
G AG = T 12 g0 Ag = t where g is the -th column of G).
2
Put
(n)
Q (Z) :=
rQ (T )e2itr(T Z)
T =T 0 0
T half integral
(Z Mn (C)).
(Note that
tr(T Z) =
t z +
1<n
(where Z = (z ), T =
t11
...
1
t
2
1
t
2
n
X
t z
=1
tnn
z ).
This series is absolutely convergent on the Siegel upper-space Hn := {Z Mn (C) |Z =
Z , Im Z > 0} of degree n. On Hn operates the symplectic group
A B
Spn (R) = {
GL2n (R) | A, B, C, D Mn (R), AD0 BC 0 = E,
C D
0
AB 0 = BA0 , CD0 = DC 0 }
= {M GL2n (R) | In [M ] = In }
0n En
) by
(where In =
En 0n
A B
Z = (AZ + B)(CZ + D)1 .
C D
= det(CZ+D)
m
2
(n)
Q (Z), (
A B
C D
m
,
2
Spn (Z), N | c , ).
rQ (T )
(where (Q ) := #{G Mn (Z)|G0 A G = A })
(Q )
4
can be expressed by Fourier coefficients of Eisenstein series of degree n. The latter in turn
can be described by elementary number-theoretic expressions.
b) Compact Riemann surfaces
Let X be a compact Riemann surface, i.e. a compact, connected complex manifold of
dimension 1.
Let g be the genus of X (visualize X as a sphere with g handles). Note that also dim
H1 (X; Z) = 2g and (X) = 2 2g is the Euler characteristic of X.
Examples:
i) X = S 2 = P1 (C), g = 0;
ii) X = C/L, where L C is a lattice (elliptic curve), g = 1.
In the following we assume that g 1. It is well-known that g is also the dimension of
the space H(X) of holomorphic differential forms on X. Let {a1 , . . . , ag , b1 , . . . , bg } be a
canonical Z-basis for H1 (X; Z), i.e. the intersection matrix is Ig (cf. a)). (For example,
visualize X as a 4g-sided polygon with the usual boundary identifications.) Then there
is a uniquely determined basis {1 , . . . , g } of H(X) such that
Z
i = ij (1 i, j g).
ai
bj
in terms of equations between modular forms. For example, for g = 4 this locus is exactly
the zero set of
(4)
(4)
E8 E8 D+
8
(mod 2)}
(note D8+ = E8 ).
a) Symplectic matrices
Definition: Let R be a commutative ring with 1. Let
E=E
n respectively 0 = 0n the
0 E
unit respectively zero matrix in Mn (R) and put I :=
M2n (R). Then
E 0
Spn (R) := {M GL2n (R) | I[M ] = I}
is called the symplectic group of degree n with coefficients in R. (General notation: if
A Mm (R), B Mn (R), we put A[B] := B 0 AB.)
Remark:
i) Spn (R) is a subgroup of GL2n (R) (this is clear since I[M1 M2 ] = (I[M1 ])[M2 ], and
I[E2n ] = I), in fact it is the automorphism group of the alternating skew-symmetric
form defined by I.
ii) Later on, we will be only interested in the cases R = Z, R.
A B
Lemma 3. Let M =
GL2n (R) with A, B, C, D Mn (R). Then
C D
i)
M Spn (R) A0 C = C 0 A, B 0 D = D0 B, A0 D C 0 B = E
AB 0 = BA0 , CD0 = DC 0 , AD0 BC 0 = E.
=
,
D0 A + B 0 C D0 B + B 0 D
E 0
hence the first part of i) holds.
Remark: From the Lemma, in particular, it follows that Sp1 (R) = SI2 (R).
Examples for symplectic matrices:
E S
i)
with S = S 0 Mn (R);
0 E
0
U
0
ii)
with U GLn (R);
0 U 1
0 E
iii) I =
.
E 0
Theorem 4. Let R be a Euclidean ring. Then Spn (R) is generated by the special matrices
as above under i) - iii).
Proof: More complicated, use induction on n! Details cannot be given here.
Corollary 5. Spn (R) SL2n (R).
Proof: The generators given in Theorem 4 obviously have determinant 1.
b) The Siegel upper half-space Hn
Definition: Hn := {Z = X + iY Mn (C) | X, Y real , Z = Z 0 , Y = Im Z > 0) is
n(n+1)
called the Siegel upper half-space of degree n. Obviously Hn
= R 2 Pn Rn(n+1) ,
where Pn := {Y Mn (R) | Y = Y 0 , Y > 0}.
Lemma 6. Pn is an open subset of R
n(n+1)
2
Proof: One has Y > 0 iff detY () > 0 = 1, ..., n where Y () is the -th principal
minor of Y , and det is a continuous function.
Im M Z = (CZ + D) 1 Im Z (CZ + D) .
Proof: i) One has to check that
a) det(CZ + D) 6= 0, M Z Hn (M =
A B
C D
Spn (R), Z Hn ),
b) E2n Z = Z, (M N ) Z = M (N Z).
This can be done by brute force calculations, using e.g. Theorem 4.
Here, to give a simple example, we only prove:
0 E
Claim: Z Hn Z invertible,
Z = Z 1 Hn .
E 0
Proof of claim: Choose V GLn (R) with Y [V ] = V 0 Y V 0 = E. Then Z[V ] = T + iE
with T = X[V ]. Since (T + iE)(T iE) = T 2 + E = T T 0 + E is positive definite, it is
invertible, so T + iE and hence Z is invertible.
Furthermore
(T + iE)1 = (T iE)(T 2 + E)1
Z 1 = (((T + iE)[V 1 ])1 = V (T iE)(T 2 + E)1 V 0
(Im Z)1 = V (T 2 + E)1 V 0 > 0.
ii) Use that Im Z =
1
(Z
2i
c) Reduction theory
Definition: The discrete subgroup n := Spn (Z) Spn (R) is called Siegel modular group
of degree n.
Aim of reduction theory: Study the action of n on Hn ! From each orbit {M Z | M
n } choose a suitable representative, a so-called reduced point. The set Fn of reduced points should be described by simple and possibly a finite set of inequalities in
the components of Z; Fn should have nice geometric properties (e.g. should be connected, measurable, etc.).
1 ).
c d
One shows:
i) Any orbit 1 z contains points w of maximal height. These are characterized among
the points of 1 z by the conditions |cw + d| 1, c, d Z with (c, d) = 1;
ii) For every z H, M 1 such that M z F10 := {z = x + iy H| |x|
1
, |cz + d| 1, c, d Z with (c, d) = 1};
2
iii) F10 = F1 := {z = x + iy H | |x| 12 , |z| 1};
iv) No two different inner points of F1 are 1 -equivalent.
Proof:
i) Follows easily from (1).
ii) Follows from (i) and the fact that h(z) is invariant under translations.
iii) Follows from the inequalities (valid for z F1 ),
|cz + d|2 = c2 (x2 + y 2 ) + 2cdx + d2 c2 |cd| + d2 1,
(since the quadratic form x2 xy + y 2 is positive definite).
iv) One uses:z 0 , z
F1 , z 0 = M z h(M z) = h(z) by construction |cz + d| =
1 (M =
).
c d
For arbitrary n 1 try to do something similar: Z Hn 7 h(Z) := det(Im Z) =
height of Z. Then by Theorem 7, ii) one has
h(M Z) = |det(CZ + D)|2 h(Z).
One can show that each orbit contains
W of maximal height and these are
points
. .
characterized by |det(CW + D) | 1
n . Additional difficulty for n 1 :
C
D
0
E S
U
0
h(Z) is not only invariant under translations
, but also under
with
0 E
0 U 01
U GLn (Z). Therefore one also has to study the action Y 7 Y [U ] = U 0 Y U of GLn (Z)
on Pn (Minkowski reduction theory)!
Definition: We let Fn be the set of all Z Hn which satisfy
9
. .
i) |det(CZ + D)| 1
C D
n ;
ii) Y = Im
Z is
Minkowski reduced, i.e. Y [g] yk (k-th diagonal element of Y )
g1
. .
g = . Mn,1 (Z) with (gk , , gn ) = 1, k = 1, , n, and yk,k+1 0 k
gn
with 1 k < n;
iii) |xij |
1
2
1 i, j n.
iii) y1 21 3;
iv) Y n En (i.e. Y n En 0) where n > 0 is a constant depending only on n.
Properties i) - ii) hold for any Minkowski reduced matrix Y > 0, while iii) - iv) can
be proved in addition if Z is Siegel reduced.
Theorem 9. i) Fn is a fundamental domain for n , i.e.
a) for any Z Fn , M n with M Z Fn ;
b) if Z, Z 0 intFn and Z 0 = M Z with M n , then M = E2n and Z = Z 0 ;
c) #{M n | M Fn Fn 6= } < .
ii) The set Fn can be defined by finitely many inequalities of the type given in the definition of Fn . One has
intFn = Fn .
The proofs of Theorems 8 and 9 are difficult and cannot be given here.
10
A B
ii) f ((AZ + B)(CZ + D ) = det(CZ + D) F (Z)
C D
1
n ,
f (Z + S) = f (Z) (S = S 0 Mn (Z)),
11
(note that
tr(T Z) =
t z +
n
X
t z ).
=1
1<n
Since f (Z[U ]) = (det U )k f (Z) U GLn (Z), the formula a(T [U ]) = (det U )k a(T )( T
0, U GLn (Z)) easily follows by comparing Fourier coefficients. In particular
a(T [U ]) = a(T ) ( U SIn (Z)).
Suppose that a(T ) 6= 0. Then, since the Fourier series is absolutely convergent, it follows
that
(2)
X
|e2itr(SZ) | =
e2tr(SY )
is convergent for any Y = Y > 0, where the summation is over all the different matrices
S = T [U ] with U SIn (Z).
Claim: If T is not positive semi-definite, the series (2) diverges for Y = E.
Proof of Claim: By assumption g Rn with T [g] < 0 g Qn , hence g Zn
with components relatively prime such that T [g] < 0. By Gauss lemma, U SIn (Z)
with first column g. Replacing T by T [U ] one can assume that t11 = T [e1 ] < 0. Let
1 y
0
0
1
...
Sy := T [Vy ], Vy :=
with y Z.
0
1
Choose a sequence (y )N with |y | ( ) s.t. the corresponding matrices Sy
are pairwise different. (This is possible, since Sy [e2 ] = t11 y 2 + t12 y + t22 .)
Then
tr(Sy ) = t11 y2 + ( linear terms in y ) (y )
e2tr(Sy ) (|y | ),
which proves the claim.
12
|f (Z)|
|a(T )| e2tr(T Y )
T =T 0 half integral
T 0
T =T 0 half integral
T 0
Proof: Because of uniform convergence for Y = Y 0 Y0 > 0, one can interchange the
limit for t and the summation over T , and then the existence of the limit and
the
T1
shape of the Fourier expansion can easily be seen. (Observe that if T =
0
tnn
and tnn = 0, then the last row and last column of T must be zero.)
A1 B1
That f | Mk (n1 ) follows from the fact: M1 =
n1
C1 D1
A1
0
M :=
C1
0
0
1
0
0
B1
0
D1
0
0
0
n , M Z1 0 = M1 Z1
0
0 it
0
1
13
0
,
it
det(CZ + D) = det(C1 Z + D1 ) for Z =
Z1 0
.
0 it
(n)
Q (Z) =
rQ (T ) e2itr(T Z)
T =T 0 half integral
T 0
One can show: if detA = 1, then Q Mm/2 (n ). (One can show: A Mm (Z)
with A even, A > 0, detA = 1 8|m.) The proof is technically difficult and uses
the Poisson summation formula.
ii) Eisenstein series: The formal series
X
(n)
Ek (Z) :=
0
det(CZ + D)k
A BA
n,0 \n
C D
A B
(with n,0 := {
n }) formally behaves like a Siegel modular form of
0 D
weight k and degree n and is called a Siegel-Eisenstein series. The main difficulty
is the proof of convergence (in sufficiently large domains). One can in fact show:
(n)
Suppose k is even and k > n + 1. Then Ek Mk (n ) \ {0}.
More generally, one can define generalized Eisenstein series (so-called Klingen-SiegelEisenstein series) by lifting cup forms of weight k and degree j < n to n . For n even,
k > 2n one can show that
Mk (n ) = Ek (n ) Sk (n ),
where Ek (n ) is the subspace of generalized Eisenstein series.
14
n(n+1)
.
2
(M n ).
15
T2 =
x\G
by y Hn ,
y\G
one puts
X
T1 T2 :=
ax by xy.
x,y\G
Then T1 T2 HP
n . This follow from the fact that Hn is generated by double cosets, i.e.
by the elements i xi where \x = i xi (finite disjoint) and x G.
The space Hn together with the above multiplication is called the Hecke algebra. It is
a commutative associative algebra with 1 (commutativity formally follows from the fact
that x = x0 ).
The following facts are known:
i) Hn = p prim Hn,p
where Hn,p is defined in the same way as Hn , however with G replaced by G(p) :=
G GL2n (Z[p1 ]).
ii) The local component Hn,p is generated by the n + 1 double cosets
1n 0
T (p) =
0 p1n
and
1i 0
0 p1j
Ti,j (p2 ) =
0
2
p 1i 0
0 p1j
16
(0 i < n, i + j = n)
where 1n denotes the unit matrix of size n (the elements T (p), Ti,j (p2 ) are algebraically independent). Moreover, one has
W
Hn,p
= C X01 , . . . , Xn1 ,
where W is the Weyl group generated by the permuatations of the Xi (i = 1, . . . , n)
and the maps X0 7 X0 Xj , Xj 7 Xj1 , Xi 7 Xi (1 i n, i 6= j), for
j {1, . . . , n}. In particular, one has
HomC (Hn,p , C) = (C )n+1 /W
(with the obvious operation of W on (C )n+1 ).
iii) There exist special Hecke operators T (m)(m N), T (m) :=
{x GL2n (Z) | I[x] = mI}).
X \ Om,n
x(Om,n :=
and
Lspin (F, s) :=
17
where
LSt,p (F ; X) :=
n
Y
1
(1 i,p X)(1 i,p
X),
i=1
Lspin,p (F ; X) := (1 0,p X)
n
Y
(1 0,p i1 ,p . . . i ,p X).
=1 1i1 <<i n
One knows that LSt (F, s) has a meromorphic continuation C with finitely many poles
and has a functional equation under s 7 1 s, for all n (Bocherer a.o.).
Conjecture (Andrianov, Langlands): The function Lspin (F, s) when completed with
appropriate -factors, has meromorphic continuation to C and satisfies a functional equa+ 1 s.
tion under s 7 nk n(n+1)
2
This conjecture is known only for n 2 (for n = 1 this is classical by Hecke), for
n = 3 one knows meromorphic continuation (R. Schmidt, 2002). For n = 2 one has more
precisely
Theorem 15. (Andrianov, 1974) Suppose n = 2 and let us write ZF (s) = Lspin (F, s).
i) Suppose that f |T (m) = (m)f for all m 1. Then
ZF,p (X) = 1 (p)X + ((p)2 (p2 ) p2k4 )X 2 (p)p2k3 X 3 + p4k6 X 4 ;
ii) The function
ZF (s) := (2)2s (s)(s k + 2)ZF (s)
has meromorphic continuation to C and satisfies the functional equation
ZF (2k 2 s) = (1)k ZF (s).
Proof: One uses Andrianovs formulas: if D < 0 is a fundamental discriminant,
{T1 , . . . , Th(D) } is a set of 1 -representatives of primitive positive definite integral binary quadratic
forms of discriminant D and is a character of the ideal class group
CL(Q( D)),
then
h(D)
L(s k + 2, )
X
i=1
X a(nTi )
n1
ns
h(D)
a(Ti ) ZF (s).
i=1
(If D < 0 is an arbitrary discriminant, then there exist similar but more complicated
identities.)
The left hand side can be written as the integral over a portion of the 3-dimensional
hyperbolic space (suitably embedded in H2 ) of the product of the restriction of F to this
portion and a non-holomorphic Eisenstein series for the hyperbolic 3-space. The analytic
properties of ZF (s) then follow from the analytic properties of the Eisenstein series.
18
Liftings
c(n) e2inz 7
where
a(T ) :=
a(T )e2itr(T Z)
T >0
n1
n0,3(4)
k1
d | (n,r,m)
c
4mn r2
d2
T =
n r/2
r/2 m
From ii) one can also obtain the following linear description of the space Sk (2 ).
Theorem 17. (Maass, Andrianov, Eichler, Zagier, 1981)
One has
nm
X
n r/2
k1
Sk (2 ) = F Sk (2 ) | a
=
d a dr2
r/2
m
2d
d | (n,r,m)
n r/2
>0
1
r/2 m
r
2d
(Maass relations)
b) Ikedas lifting theorem
Note (easy computation): if F Sk (2 ) is a Hecke eigenform, then
LSt (F, s) = (s)(f, s + k 1)L(f, s + k 2).
19
Using the functional equation of L(f, s) under s 7 2k s, one easily checks a functional
equation of the right hand side above under s 7 1 s.
Theorem 18. (Ikeda, 1999) The conjecture is true. Moreover the Fourier coefficients of
F are given by
Y
k 1
a(T ) = c(|DT,0 |)fT 2
Fp (T ; p )
p|DT
m1,(1)k m0,(4)
where R runs over all symmetric matrices in M2n (Qp /Zp ), vp (R) = power of p equal
0
to the product of denominators of the elementary divisors of R, ep (x) = e2ix (x
Qp ) with x0 = fractional part of x. One knows
bp (T ; s) = p (T ; ps )Fp (T ; ps )
where
p (T ; X) = (1 X)(1
DT,0
p
p X)
n
Y
(1 p2j X 2 )
j=1
iv) p = p-th Satake parameter of f , i.a.w. if a(p) = p-th Fourier coefficient of f , then
1
Hn,p (T, X) :=
if sp = 0
Q[ Sp21 ]
2j1 2
X )
if sp > 0, odd
j=1 (1 p
S
p 1
Sp 1
Q
]
[
(1 + p(T )p 2 X)
2j1 2
2
X ) if sp > 0, even.
j=1 (1 p
T (p )X :=
and T (a)(a 1) by
T (a)as :=
n1
p|fT
d2 |a
T [G1 ] (
a
)
d2
21
Theorem 19. (Kohnen, 2001) The Fourier coefficients of the Ikeda lift F of f are given
by
X
|DT |
k1
a (a; T )c
.
a(T ) =
a2
a | fT
c(m)e2imz 7
X
T >0
m1
(1k m0,(4)
a | fT
fT2 2itr(T Z)
))e
a2
+
is a linear map Ik,n from Sk+
1 to Sk+n (2n ) which on Hecke eigenforms coincides with
2
the Ikeda lift.
(1 k)
X
2n
fT
akn1 (a; T )H(k n, |DT,0 | ( )2 ),
a
j=1 (1 2k + 2j)
Qn
a|fT
22
Problem: The function (a; T ) looks nasty and seems to be difficult to compute for
n > 1. Can one give a simpler interpretation for (a; T )?
Let V` be the (` + 1)-dimensional C-vector space of symmetric Laurent polynomials
`
X
c (X + X ) (c C)
=0
X j X j
.
X X 1
`+1
X
(p`j+1 ; T ) p
`j+1
2
[j (X) (
j=1
DT,0 1
)p 2 j1 (X)].
p
Theorem 23. (Kojima, Kohnen, 2005) Suppose that n 0, 1 (mod 4) and let k n
(mod 2). Let F Sk+n (2n ). Then the following assertions are equivalent:
i) F Sk+n
(2n );
23
T > 0.
Remark: For g N there exists a unique genus of even integral symmetric matrices of
size g with determinant equal to 2. A matrix in this genus is positive definite if and only
if g 1 (mod 8), and then as representative one can take
g1
E 8 2 if g 1 (mod 8)
8
g7
(3) S0 :=
E8 8 E7 if g 7 (mod 8).
Let g := 2n 1 and define S0 by the right-hand-side of (3). For m N, (1)n m 0, 1
(mod 4) put
0
1
1
S
0
0
@ 2
A
if m 0 (mod 4)
0 m4
0
1
Tm :=
1
1
S
e
0
2n1
2
2
A if (1)n m 1
(mod 4).
@ 1 0
m+2+(1)n
e
2 2n1
4
One checks: Tm > 0, det (2Tm ) = m.
Theorem 24. (Kojima, Kohnen, 2005) Under the assumption as above, F Sk+n
(2n )
iff
X
a(T ) =
ak1 (a; T )a(T|DT |/a2 )
a|fT
T > 0.
Idea of proof: Let T0 := 12 S0 and study the Fourier-Jacobi coefficients T0 (, z)(
H, z C2n1,1 ) of index T0 of F . Then T0 is a Jacobi cusp form of even weight k + n on
the semi-direct product of 1 and Z2n1,1 Z2n1,1 . Write
X
T0 (, z) =
h ( ) (, z)
cuspform of weight k +
= 2, and then h( ) :=
(mod 4)) be the Fourier
Fourier coefficients of cup forms are mysterious objects and in general no simple arithmetic formulas are known for them. If one checks tables, for example one finds that quite
often sign changes of these coefficients occur and it is a natural question to try to understand them. For example, one may ask if there are infinitely many sign changes or when
24
the first sign change occurs, hoping for a bound depending only on the weight and the level.
This might be particularly interesting when the cusp form is a Hecke eigenform and
so the Fourier coefficients are proportional to the eigenvalues in degree 1 or in degree 2,
where the relations between Fourier coefficients and eigenvalues are quite well understood.
a b
c d
1 | c 0
(mod N )}.
Theorem 25. Let f be a non-zero cusp form of even integral weight k on 0 (N ) and suppose that its Fourier coefficients a(n) are real for all n 1. Then the sequence (a(n))nN
has infinitely many sign changes, i. e. there are infinitely many n such that a(n) > 0 and
there are infinitely many n such that a(n) < 0.
According to the above Theorem, a reasonable question to ask is if it is possible to
obtain a bound on the first sign change, say in terms of k and N .
In the following, we look at a normalized Hecke eigenform f that is a newform of level
N . Recall that normalized means that a(1) = 1.
Theorem 26. (Kohnen, Sengupta, 2006) Suppose that f is a normalized Hecke eigenform
of even integral weight k and squarefree level N that is a newform. Then one has a(n) < 0
for some n with
p
n kN exp c log N/ log log 3N (log k)27 , (n, N ) = 1.
Here c > 2 and the constant implied in is absolute.
Note that it is reasonable to assume that (n, N ) = 1, since the eigenvalues a(p) with
p|N are explicitly known by Atkin-Lehner theory. The proof of the above result uses techniques from analytic number theory. Recently, the above result was improved as follows.
25
Theorem 27. (Iwaniec, Kohnen, Sengupta, 2006) Suppose that f is a normalized Hecke
eigenform of even integral weight k and level N (not necessarily squarefree) that is a
newform. Then one has a(n) < 0 for some n with
Theorem 29. (Breulmann, 1999) Suppose that k is even and let F be a Hecke eigenform
in Sk (2 ), with eigenvalues (n) (n N). Then (n) > 0 for all n.
On the contrary to the above, one has the following
Theorem 30. (Kohnen, 2005) Let F be a Hecke eigenform in Sk (2 ) with Hecke eigenvalues n (n N). Suppose that F lies in the orthogonal complement of Sk (2 ) if k is
even. Then the sequence (n )nN has infinitely many sign changes.
The proof is based on Landaus theorem coupled with the analytic properties of the
spinor zeta function of F and a theorem of Weissauer according to which the generalized
Ramanujan-Petersson conjecture (saying that |1,p | = |2,p | = 1 for all p) is true for forms
as in Theorem 30. Of course, after Theorem 30 the question arises when the first sign
change occurs.
26
References
[A] A.N. Andrianov: Euler products corresponding to Siegel modular forms of genus 2.
Russ. Math. Surv. 29 (1974), 45-116
[C-K] Y.J. Choie and W. Kohnen: A remark on the Ikeda lift and local singular series
polynomials. To appear in Proc. AMS
[E-Z] M. Eichler and D. Zagier: The theory of Jacobi forms. Birkhauser 1985
[F] E. Freitag: Siegelsche Modulformen. Springer 1983
[I] T. Ikeda: On the lifting of elliptic modular forms to Siegel cusp forms of degree 2n.
Ann of Maths. 154 (2001), 641-681
[K-K] H. Kojima and W. Kohnen: A Maass space in higher genus. Compos. Math. 141
(2005), 313-322
[K1] W. Kohnen: Lifting modular forms of half-integral weight to Siegel modular forms
of even genus. Math. Ann. 322 (2002), 787-809
[K2] W. Kohnen: Sign changes of Fourier coefficients and Hecke eigenvalues of cusp
forms: a survey. To appear in Proc. of a conference on Number Theory, Shandong
Univ., Weihai, China 2006
Mathematisches Institut
Universitat Heidelberg
D-69120 Heidelberg, Germany
winfried@mathi.uni-heidelberg.de
27