Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The function field of $X_{1}(5)$ is generated by the function $$t(\tau) = q\prod_{n = 1}^{\infty}(1 - q^{n})^{5\left(\frac{n}{5}\right)}$$ where $q = e^{2\pi i\tau}$ and $\left(\frac{n}{5}\right)$ is the Legendre symbol mod 5. The inequivalent cusps of $\Gamma_{1}(5)$ are $0$, $1/2$, $2/5$, and $\infty$. Consider the fundamental domain of $\Gamma_{1}(5)$


and the piece of it that lies in the first quadrant. Why does $t(\tau)$ map this piece one-to-one onto the upper half plane with $t(0) = (-11 +5\sqrt{5})/2$, $t(\infty) = 0$, $t(1/2) = (-11-5\sqrt{5})/2$, and $t(2/5) = \infty$?

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.