CoCalc Public Fileshomework / 2016-02-22-homework-7 / 2016-02-22-homework-7.sagewsOpen in with one click!

--

**NOTE:** For this assignment, make sure you know how to make `for`

loops in Python or you will be screwed. If not read the sage tutorial, especially http://doc.sagemath.org/html/en/tutorial/programming.html#loops-functions-control-statements-and-comparisons

Let $f(z)$ be a weight 2 modular form for some congruence subgroup $G$. Check *by hand* that
for all $\gamma\in G$ we have $f(\gamma(z))d(\gamma(z)) = f(z)dz$. Here $\gamma$ acts by
linear fractional transformations.

Let $\Delta(q) = \sum a_n q^n$ be the weight $12$ cusp form $q\prod (1-q^n)^{24}$.

See http://wstein.org/books/modform/modform/level_one.html.

(a) Supersingular primes: Find all primes $p<10^6$ such that $p \mid a_p$.

(b) A big one?: There is one more known big prime $p>10^6$ with $p \mid a_p$. Find it using the Internet.

(c) A congruence: Find a prime $\ell$ such that $a_p \equiv p^{11} + 1 \pmod{\ell}$ for all $p<1000$.

Noam Elkies provided that if $E$ is an elliptic curve, then there are infinitely many primes $p$ such that $p \mid a_p(E)$.

Write down an elliptic curve of conductor 43. How many primes $p<10^7$ are supersingular for $E$? (Hint: use `E.aplist(...)`

)
Plot a histogram showing the gaps between supersingular primes. (Hint: use `stats.TimeSeries([...]).plot_histogram()`

)

Compute the class groups of all of the number fields $K_f$ generated by the coefficients of the newforms of weight $2$ on $\Gamma_0(N)$ for each $N<100$. Make a conjecture.

Class group of order 1 of Number Field in a1 with defining polynomial x^2 - 2