3
$\begingroup$

Let $f$ be a modular function of level $N>1$ and let $\gamma\in SL_2(\mathbf Z)$. Write $$f(\gamma\tau)=j(\gamma,\tau)f(\tau).$$ First question

What can we say in general about the factor $j(\gamma,\tau)$? In other words, how does the function $f$ transform under the full modular group $SL_2(\mathbf Z)$? Is there some reference on this? What about the case when $f$ is a root of some Hauptmodul?

Background

I will provide some examples to illustrate the problem. Set $\mu_n=e^{2\pi i /n}$ and $$\alpha=\begin{pmatrix}a&b\\c&d\end{pmatrix}\in SL_2(\mathbf Z).$$

Let $j$ be the modular invariant and $\gamma_2(\tau)=\sqrt[3]{j(\tau)}$. We have the formula $$\gamma_2(\alpha\tau)=\mu_3^{a^2cd+ac-cd-ab}=\gamma_2(\tau)$$ and $\gamma_2$ is a modular function of level $3$. Similarly, if $\gamma_3(\tau)=\sqrt[2]{j(\tau)-1728}$ then $$\gamma_2(\alpha\tau)=\mu_{2}^{ac+bd+bc}\gamma_2(\tau).$$ Thus $\gamma_3$ is a modular function of level $2$. (Note that we consider these roots of $j$ because $j(e^{2\pi i/3})=0$ with multiplicity $3$ and $j(i)-1728=0$ with multiplicity $2$.)

Next let $$\mathfrak f=\mu_{48}^{-1}\frac{\eta\left( \frac{\tau+1}{2}\right)}{\eta\left( \tau\right)}.$$ Here $\eta$ is the Dedekind eta function. We have $$\mathfrak f(\alpha\tau)^3=\mu_{16}^{2ad+2cd-ac-bd-2d^2}\mathfrak f(\tau)^3.$$

There are also formulas for $\mathfrak f$ and related functions. Observe that the function $\mathfrak f^{24}$ is a Hauptmodul for the subgroup of $SL_2(\mathbf Z)$ generated by the matrices $$\begin{pmatrix}1&2\\0&1\end{pmatrix},\begin{pmatrix}0&-1\\1&0\end{pmatrix}.$$

Second question

How can we investigate the corresponding maps $$\begin{pmatrix}a&b\\c&d\end{pmatrix}\longmapsto\mu_{16}^{2ad+2cd-ac-bd-2d^2},$$ $$\begin{pmatrix}a&b\\c&d\end{pmatrix}\longmapsto\mu_3^{a^2cd+ac-cd-ab},$$ in a systematic manner? Is there some reference?

More background

The functions $\gamma_2,\gamma_3$ and $\mathfrak f$ are considered by Weber in his Lehrbuch der Algebra. Weber uses them to generate certain class fields. This was subsequently used by Heegner to determine all imaginary quadratic fields of class number one.

$\endgroup$
3
  • 1
    $\begingroup$ In general, there are several versions of Galois theory (depending on whether one wants to keep track of fields of rationality of Fourier coefficients or not) for congruence (and other) subgroups not only of $SL_2(\mathbb Z)$ but other arithmetic groups. Specifically, think of the quotient $SL_2(\mathbb Z)/\Gamma$ (for normal $\Gamma$) as a Galois group of function fields, to begin with. Shimura's 1970 book treats this, for example. The version ignoring rationality properties of Fourier coefficients is pretty straightforward. The algorithmic aspects are less familiar to me. $\endgroup$ Aug 16 '18 at 20:33
  • 1
    $\begingroup$ By the way, the function $\sqrt{j(\tau)-1728}$ is a modular function of level $2$. I think you have a typo in the equation involving $\mu_{2}^{ac+bc+bd}$, but note that if $b$ and $c$ are both even then the exponent is even, and $b$ and $c$ both even means $\left(\begin{matrix} a & b \\ c & d \end{matrix}\right) \in \Gamma(2)$. $\endgroup$ Aug 17 '18 at 0:19
  • $\begingroup$ @JeremyRouse, Thank you, the equation seems to be correct but the statement about $\gamma_3$ not so. $\endgroup$
    – Shimrod
    Aug 17 '18 at 8:10
3
$\begingroup$

In general, there is little that one can say about the function $j(\gamma,\tau)$ in the formula $f(\gamma \tau) = j(\gamma,\tau) f(\tau)$, and in general, it is not easy to take a modular function of level $N > 1$ and know for sure how it transforms under every matrix in ${\rm SL}_{2}(\mathbb{Z})$. What one normally does however (and you can see this in Shimura's book that Paul Garrett mentions in his comment) is you can take a finite-dimensional vector space $V$ of modular functions with the property that for any $f \in V$, $f(\gamma \tau)$ is once again in $V$.

One such example, discussed in Shimura's book, is to take all nonzero vectors $\vec{v} = \begin{bmatrix} a & b \end{bmatrix}$ with entries in $\mathbb{Z}/N\mathbb{Z}$ and look at the functions $f_{\vec{v}}(\tau) = \frac{E_{4}(\tau) E_{6}(\tau)}{\Delta(\tau)} \wp_{\langle 1,z \rangle}\left(\frac{az+b}{N}\right)$. This set of functions has the property that $f_{\vec{v}}(\gamma \tau) = f_{\vec{v} \gamma}(\tau)$.

This kind of object (essentially a vector space of functions together with an action of ${\rm SL}_{2}(\mathbb{Z})$) goes by the name of a vector-valued modular form, and have been studied quite a bit.

For your second question, the maps that you describe of the form $$ \left(\begin{bmatrix} a & b \\ c & d \end{bmatrix}\right) \mapsto \mu_{16}^{2ad + 2cd - ac - bd - 2d^{2}} $$ are $1$-cocycles of ${\rm SL}_{2}(\mathbb{Z})$ with values in $\mathbb{C}^{\times}$, and they are parametrized by group cohomology. Sometimes these also go by the name "multiplier systems". There's also a lot written about these. One place you might start lookin is the paper here.

$\endgroup$
2
  • $\begingroup$ Could these maps be approached in a more elementary way without using group cohomology? $\endgroup$
    – Shimrod
    Aug 17 '18 at 13:00
  • $\begingroup$ Like most things in mathematics, one can ignore mathematical formalism and just work with the definitions, but that doesn't mean it's a good idea. In the special case that $j(\gamma,\tau)$ doesn't depend on $\tau$ at all, but only on $\gamma$, the map from the matrix to $\mathbb{C}^{\times}$ is a homomorphism. Since $\mathbb{C}^{\times}$ is abelian, you really want to know the commutator subgroup of ${\rm SL}_{2}(\mathbb{Z})$. $\endgroup$ Aug 17 '18 at 17:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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