3
$\begingroup$

Let $\mathfrak f(\tau)=e^{-\pi i/24}\frac{\eta\left(\frac{\tau+1}{2}\right)}{\eta(\tau)}=q^{-1/48}\prod_{n=1}^{\infty}\left(1+q^{n+1/2}\right)$ be the Weber modular function. The function $\mathfrak f$ has level $48$, it is nonzero on the upper half-plane, and it is positive on the imaginary axis.

Let $\mathfrak h=\sqrt{\mathfrak f}$. We choose the square root so that $\mathfrak h$ is also positive on the imaginary axis. Is $\mathfrak h$ a modular function of level $96$? (What about the cusps?) More generally, is a $d$-th root of a nonzero modular function of level $N$ a modular function of level $dN$?

$\endgroup$
1
  • $\begingroup$ $\Delta(\tau) = e^{2i \pi \tau} \prod_{n=1}^\infty (1-e^{2i \pi n \tau})^{24}$ has no zeros, it is real non-negative for $−i\tau >0$, and $\Delta(\tau+1)=\Delta(\tau), \Delta(−1/\tau)=\tau^{12}\Delta(\tau)=(−i\tau)^{12}\Delta(\tau)$. Thus, choosing the branch of $\Delta(\tau)^{1/d}$ and $(−i\tau)^{12/d}$ which are holomorphic for $\Im(\tau)>0$ and real non-negative for $−i\tau >0$, you'll have $\Delta(\tau+1)^{1/d}=e^{2i \pi / d}\Delta(\tau)^{1/d}$, $\Delta(−1/\tau)^{1/d}=(−i\tau)^{12/d}\Delta(\tau)^{1/d}$. $\endgroup$
    – reuns
    Commented Sep 16, 2018 at 5:41

1 Answer 1

7
$\begingroup$

EDIT. Your function $\mathfrak{h}$ is not modular of any level. Indeed $\mathfrak{h}$ has Fourier coefficients in $\mathbf{Q}$. A standard argument shows that any modular unit $u$ with Fourier coefficients in some number field $K$ must have bounded denominators: take $n$ large enough such that $u \Delta^n$ is a cusp form. Shimura has proved that the space of cusp forms is generated by modular forms with integral coefficients. This implies that $u \Delta^n$ has bounded denominators. Since $\Delta$ is invertible in $\mathbf{Z}((q))$, the function $u$ also has bounded denominators. So if $\mathfrak{h}$ were modular then it would have bounded denominators. Since $\mathfrak{h}^2 = \mathfrak{f}$ has integral coefficients, Gauss's Lemma implies that $\mathfrak{h}$ also has integral coefficients. But the Fourier expansion of $\mathfrak{h}$ begins with $q^{-1/96} (1+\frac12 q^{3/2}+\cdots)$, a contradiction.

More generally, it is not always true that the $d$-th root of a modular function of level $N$ is modular of level $dN$.

One explanation is as follows: let $\Gamma=\Gamma(N)$ be the principal congruence subgroup of $\mathrm{SL}_2(\mathbf{Z})$ with $N \geq 3$. Then $Y(N)=\mathcal{H}/\Gamma(N)$ is a Riemann surface of some genus $g_N$ with $t_N$ points removed (the cusps). The group $\Gamma(N)$ is torsion-free and is isomorphic to the fundamental group of $Y(N)$. But it is known that this fundamental group is a free group of rank $2g_N+t_N-1 \geq 2g_N$. In particular for any prime $p$, the maximal abelian $p$-torsion quotient of $\Gamma(N)$ is a $\mathbf{F}_p$-vector space of dimension at least $2g_N$, which grows roughly like $c \cdot N^3$. On the other hand, if $p$ divides $N$ then it is easy to see that $\Gamma(N)/\Gamma(pN)$ is isomorphic to $(\mathbf{Z}/p\mathbf{Z})^3$, which is much smaller. Now if $u$ is a modular unit of level $N$, then $u^{1/p}$ is a non-vanishing function on $\mathcal{H}$. In general the stabilizer of $u^{1/p}$ will be a normal subgroup of index $p$ in $\Gamma(N)$, but by the above analysis I see no reason this stabilizer will contain $\Gamma(pN)$.

You can construct infinitely many examples as follows (there may be simpler and more explicit ways to do that). Let $U$ be the group of all modular units of all levels, and let $S$ be the subgroup of $U$ generated by the Siegel units ($S$ is known as the Siegel group). Kubert has shown that $U/S$ is an abelian group of exponent $2$ and infinite rank (see The square root of the Siegel group, Introduction and Thm 4.19). Now take any modular unit $u \in U \backslash S$. If $v=u^{1/2}$ were modular then $u=v^2$ would belong to $U^2$, hence to $S$, contradiction. This shows that in a suitable sense, the square roots of most modular units are not modular of any level.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.