Abstact - Workshop Lecture
Abstact - Workshop Lecture
August 6, 2017
Abstract
Let Jk+1/2,m (Γ0 (4)) be the space of all Jacobi forms of weight k + 1/2, index
cusp
m for Γ0 (4), where k ≥ 2 is an even integer. If Jk+1/2,m (Γ0 (4)) be the space
cusp
of cusp forms in Jk+1/2,m (Γ0 (4)). Let us now consider the Eisenstein series
Eis
part of the space Jk+1/2,m (Γ0 (4)).
We define an Eisenstein series for Jacobi forms of half-integral weight as
P a b
Ek+1/2,m (τ, z) = 1/2 1|k+1/2,m [( ), (λa, λb)]
a b c d
( )∈Γ∞ Γ
c d
where
1 h
Γ = Γ0 (4); Γ∞ = {±( )|h ∈ Z}
0 1
To find the Fourier Coefficient we proceed in the usual method. We find the
sum over c simplifies to
c −4 k+1/2
ik−1/2 Πk ( ) ec (d−1 mλ2 +nd+rλ)
|D|k−1 (
P P
Ek+1/2,1 (τ, z) = Γ(k)2 k−1/2 n,r∈Z c≥1,4|c
d d
ck+1/2
)e(nτ +
D:=r2 −4mn<0 λ,d(modc)
dd−1 ≡1(modc)
rz)
Since 4|c by replacing λ by λ + c/2, we see that the sum over λ is zero unless
2|r. For m = 1, using the Guass sum identity and simplifying we find the
(n,r)th Fourier expansion as
1
(πi)k X |D| |D|
Ek+1/2,1 = [2k σk−1 ( )−σk−1 ( )]e(nτ +rz)
Γ(k)2k−1 (1 − 2−k )ζ(k) n,r∈Z
16 8
D:=r2 −4mn<0
Now for m > 1 and g.c.d of (c, m) = 1 we calculate the sum over λ as follows:
X
ec (m−1 d(λ2 + rλ + mn)
λ(modc)
where mm−1 ≡ 1(modc), λ and mλ both varies over mod c, if one does.
Then proceeding as above we get the result.
When gcd of (c, m) > 1 then let m = m1 m2 , where gcd of (c, m1 ) > 1 and
gcd of (c, m2 ) = 1, the sum over λ becomes
X r n
e mc (d(m2 λ2 + λ+ ))
1 m1 m1
λ(modc)
By replacing λ 7−→ λ + mc1 , we see that m1 |r for the sum to exist and then
proceeding as above the Fourier coefficient can be computed.