Cryptography Reference
In-Depth Information
Since ad = N for each matrix in S N ,
e 2 πiaτ/d = e 2 πia 2 τ/N .
Therefore, the p k ( τ ) in the claim can be regarded as a Laurent series in
e 2 πiτ/N . The claim implies that the coecients a k ( τ )of F N ( X, τ ) are Laurent
series in e 2 πiτ/N with integer coecients. To prove the lemma, we need to
remove the N .Thematrix
11
01
SL 2 ( Z )
acts on
τ + 1. Lemma 10.11 implies that a k ( τ ) is invariant under
τ → τ +1. Since ( e 2 πiτ/N ) is invariant under τ → τ +1only when N | ,the
Laurent series for a k must be a Laurent series in ( e 2 πiτ/N ) N
H
by τ
= e 2 πiτ .This
proves Lemma 10.12.
PROPOSITION 10.14
Let f ( τ ) be analyticfor τ ∈H , and suppose
f + b
+ d
= f ( τ )
for all ab
SL 2 ( Z ) and all τ
∈H .Also, assu m e
cd
f ( τ ) ∈ q −n Z [[ q ]]
forsomeinteger n .Then f ( τ ) isapolynom ialin j withinteger coe cients:
f ( τ ) Z [ j ] .
PROOF
Recall that
1
q Z [[ q ]] .
j ( τ )
Write
f ( τ )= b n
q n +
···
,
with b n
Z .Then
b n 1
f ( τ ) − b n j n =
q n− 1 + ··· ,
with b n− 1 Z . Therefore,
b n 2
b n j n
b n− 1 j n− 1 =
f ( τ )
q n− 2 +
···
.
Search WWH ::




Custom Search