Consider
where
Write
Ramanujan conjectured:
Mordell’s Proof of the multiplicativity (1917):
Consider the operator:
We prove that
Proof:
For
we have the modularity relations:
One way to prove the modularity of is to use Jacobi triple product type relations to relate products to theta functions and the modularity of theta functions comes from Poisson summation. The second fact about the fact that preserves modularity comes follows from the defintion of – the definition of encodes averaging over some cosets.
From these we deduce the modular invariance of
Observing that
we get that is a constant equal to .
Therefore
With this information, we can prove the multiplicativity by the following computations:
Below, we prove the third statement about the congruences of
Congruence proof: The main idea is to relate to Eisenstein series.
is invariant and
Let
Looking at , we see that
Therefore
The second statement about the bounds is a much harder result- proved by Deligne using machinery of Riemann Hypothesis over finite fields.
https://archive.org/stream/proceedingsofcam1920191721camb#page/n141/mode/2up