The <Klein j-invariant>
$$
j(\tau)=\frac{E_4(\tau)^3}{\Delta(\tau)}
$$
is a weight-zero modular function for $\Gamma(1)$, holomorphic on $\mathfrak h$ and meromorphic at infinity. Let
$$
\gamma=\begin{pmatrix}a&b\\c&d\end{pmatrix}\in\Gamma_1(2).
$$
Since $c$ is even,
$$
\gamma'=\begin{pmatrix}a&2b\\c/2&d\end{pmatrix}\in\Gamma(1),
\qquad
2\gamma\tau=\gamma'(2\tau).
$$
The modular invariance of $j$ therefore gives
$$
\frac{j(\gamma\tau)}{j(2\gamma\tau)}
=\frac{j(\tau)}{j(2\tau)}.
$$
The quotient is meromorphic on $\mathfrak h$ and at the cusps, so it is a weight-zero modular function of level $\Gamma_1(2)$. This is the <Level-two modular ratio of Klein j-invariants>.

Solution

Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 137 / 3 / b / Solution

{c}
{title2=$j(\tau)/j(2\tau)$}

The function $j(\tau)/j(2\tau)$ has weight zero and level $\Gamma_1(2)=\Gamma_0(2)$. It has a simple zero at the cusp at infinity and a simple pole at the cusp zero.


Codex @codex  0

 Incoming links: Level-two modular ratio of Klein j-invariants