Skip to main content

Yes, it is. There are standard criteria (stated for example in Ken Ono's book "Web of Modularity" - Theorems 1.64 and 1.65) that indicate when an eta quotient is modular on $\Gamma_{0}(N)$, and these show that $\eta(12\tau)^{2}$ is a modular form of weight $1$ on $\Gamma_{0}(144)$ with Nebentypus $\chi_{-4}$ (with order of vanishing $1$ at every cusp, somewhat surprisingly). This function $\chi_{-4}$ is the Dirichlet character where $\chi_{-4}(n) = 0$ if $n$ is even, $\chi_{-4}(n) = (-1)^{(n-1)/2}$ if $n$ is odd.

For $M = \begin{bmatrix} a & b \\ c & d \end{bmatrix}$, define $g(\tau) | M = \det(M)^{1/2} (c\tau+d)^{-1} f\left(\frac{a\tau+b}{c\tau+d}\right)$$g(\tau) | M = \det(M)^{1/2} (c\tau+d)^{-1} g\left(\frac{a\tau+b}{c\tau+d}\right)$ to be the weight $1$ "slash" operator. Saying that $g(\tau) = \eta(12\tau)^{2}$ has character $\chi_{-4}$ means that if $M \in \Gamma_{0}(144)$ we have that $g | M = \chi_{-4}(d) M$$g | M = \chi_{-4}(d) g$.

If we let $f(\tau) = \eta(\tau)^{2}$, then $f | \begin{bmatrix} 12 & 0 \\ 0 & 1 \end{bmatrix}$ transforms nicely under $\Gamma_{0}(144)$, and hence $f(z)$ transforms nicely under $\begin{bmatrix} 12 & 0 \\ 0 & 1 \end{bmatrix} \Gamma_{0}(144) \begin{bmatrix} 1/12 & 0 \\ 0 & 1 \end{bmatrix}$. In particular, if $M = \begin{bmatrix} a & b \\ 144c & d \end{bmatrix} \in \Gamma_{0}(144)$, we get that $g | M = \chi_{-4}(d) M$$g | M = \chi_{-4}(d) g$ and this gives that $$ f | \begin{bmatrix} a & 12b \\ 12c & d \end{bmatrix} = \chi_{-4}(d) f. $$ In particular, for any $N = \begin{bmatrix} a' & b' \\ c' & d' \end{bmatrix} \in {\rm SL}_{2}(\mathbb{Z})$ with $a' \equiv d' \equiv 1 \pmod{4}$ and $b' \equiv c' \equiv 0 \pmod{12}$, we have that $f | N = f$. The set of such $N$ is a group which has $\Gamma(12)$ as an index $4$ subgroup.

Yes, it is. There are standard criteria (stated for example in Ken Ono's book "Web of Modularity" - Theorems 1.64 and 1.65) that indicate when an eta quotient is modular on $\Gamma_{0}(N)$, and these show that $\eta(12\tau)^{2}$ is a modular form of weight $1$ on $\Gamma_{0}(144)$ with Nebentypus $\chi_{-4}$ (with order of vanishing $1$ at every cusp, somewhat surprisingly). This function $\chi_{-4}$ is the Dirichlet character where $\chi_{-4}(n) = 0$ if $n$ is even, $\chi_{-4}(n) = (-1)^{(n-1)/2}$ if $n$ is odd.

For $M = \begin{bmatrix} a & b \\ c & d \end{bmatrix}$, define $g(\tau) | M = \det(M)^{1/2} (c\tau+d)^{-1} f\left(\frac{a\tau+b}{c\tau+d}\right)$ to be the weight $1$ "slash" operator. Saying that $g(\tau) = \eta(12\tau)^{2}$ has character $\chi_{-4}$ means that if $M \in \Gamma_{0}(144)$ we have that $g | M = \chi_{-4}(d) M$.

If we let $f(\tau) = \eta(\tau)^{2}$, then $f | \begin{bmatrix} 12 & 0 \\ 0 & 1 \end{bmatrix}$ transforms nicely under $\Gamma_{0}(144)$, and hence $f(z)$ transforms nicely under $\begin{bmatrix} 12 & 0 \\ 0 & 1 \end{bmatrix} \Gamma_{0}(144) \begin{bmatrix} 1/12 & 0 \\ 0 & 1 \end{bmatrix}$. In particular, if $M = \begin{bmatrix} a & b \\ 144c & d \end{bmatrix} \in \Gamma_{0}(144)$, we get that $g | M = \chi_{-4}(d) M$ and this gives that $$ f | \begin{bmatrix} a & 12b \\ 12c & d \end{bmatrix} = \chi_{-4}(d) f. $$ In particular, for any $N = \begin{bmatrix} a' & b' \\ c' & d' \end{bmatrix} \in {\rm SL}_{2}(\mathbb{Z})$ with $a' \equiv d' \equiv 1 \pmod{4}$ and $b' \equiv c' \equiv 0 \pmod{12}$, we have that $f | N = f$. The set of such $N$ is a group which has $\Gamma(12)$ as an index $4$ subgroup.

Yes, it is. There are standard criteria (stated for example in Ken Ono's book "Web of Modularity" - Theorems 1.64 and 1.65) that indicate when an eta quotient is modular on $\Gamma_{0}(N)$, and these show that $\eta(12\tau)^{2}$ is a modular form of weight $1$ on $\Gamma_{0}(144)$ with Nebentypus $\chi_{-4}$ (with order of vanishing $1$ at every cusp, somewhat surprisingly). This function $\chi_{-4}$ is the Dirichlet character where $\chi_{-4}(n) = 0$ if $n$ is even, $\chi_{-4}(n) = (-1)^{(n-1)/2}$ if $n$ is odd.

For $M = \begin{bmatrix} a & b \\ c & d \end{bmatrix}$, define $g(\tau) | M = \det(M)^{1/2} (c\tau+d)^{-1} g\left(\frac{a\tau+b}{c\tau+d}\right)$ to be the weight $1$ "slash" operator. Saying that $g(\tau) = \eta(12\tau)^{2}$ has character $\chi_{-4}$ means that if $M \in \Gamma_{0}(144)$ we have that $g | M = \chi_{-4}(d) g$.

If we let $f(\tau) = \eta(\tau)^{2}$, then $f | \begin{bmatrix} 12 & 0 \\ 0 & 1 \end{bmatrix}$ transforms nicely under $\Gamma_{0}(144)$, and hence $f(z)$ transforms nicely under $\begin{bmatrix} 12 & 0 \\ 0 & 1 \end{bmatrix} \Gamma_{0}(144) \begin{bmatrix} 1/12 & 0 \\ 0 & 1 \end{bmatrix}$. In particular, if $M = \begin{bmatrix} a & b \\ 144c & d \end{bmatrix} \in \Gamma_{0}(144)$, we get that $g | M = \chi_{-4}(d) g$ and this gives that $$ f | \begin{bmatrix} a & 12b \\ 12c & d \end{bmatrix} = \chi_{-4}(d) f. $$ In particular, for any $N = \begin{bmatrix} a' & b' \\ c' & d' \end{bmatrix} \in {\rm SL}_{2}(\mathbb{Z})$ with $a' \equiv d' \equiv 1 \pmod{4}$ and $b' \equiv c' \equiv 0 \pmod{12}$, we have that $f | N = f$. The set of such $N$ is a group which has $\Gamma(12)$ as an index $4$ subgroup.

Added more detail to address the OP's question.
Source Link
Jeremy Rouse
  • 20.4k
  • 2
  • 79
  • 105

Yes, it is. There are standard criteria (stated for example in Ken Ono's book "Web of Modularity" - Theorems 1.64 and 1.65) that indicate when an eta quotient is modular on $\Gamma_{0}(N)$, and these show that $\eta(12\tau)^{2}$ is a modular form of weight $1$ on $\Gamma_{0}(144)$ with Nebentypus $\chi_{-4}$ (with order of vanishing $1$ at every cusp, somewhat surprisingly). This function $\chi_{-4}$ is the Dirichlet character where $\chi_{-4}(n) = 0$ if $n$ is even, $\chi_{-4}(n) = (-1)^{(n-1)/2}$ if $n$ is odd.

For $M = \begin{bmatrix} a & b \\ c & d \end{bmatrix}$, define $g(z) | M = \det(M)^{1/2} (cz+d)^{-1} f\left(\frac{az+b}{cz+d}\right)$$g(\tau) | M = \det(M)^{1/2} (c\tau+d)^{-1} f\left(\frac{a\tau+b}{c\tau+d}\right)$ to be the weight $1$ "slash" operator. Saying that $g(\tau) = \eta(12\tau)^{2}$ has character $\chi_{-4}$ means that if $M \in \Gamma_{0}(144)$ we have that $g | M = \chi_{-4}(d) M$.

If we let $f(z) = \eta(\tau)^{2}$$f(\tau) = \eta(\tau)^{2}$, then $f(z) | \begin{bmatrix} 12 & 0 \\ 0 & 1 \end{bmatrix}$$f | \begin{bmatrix} 12 & 0 \\ 0 & 1 \end{bmatrix}$ transforms nicely under $\Gamma_{0}(144)$, and hence $f(z)$ transforms nicely under $\begin{bmatrix} 12 & 0 \\ 0 & 1 \end{bmatrix} \Gamma_{0}(144) \begin{bmatrix} 1/12 & 0 \\ 0 & 1 \end{bmatrix}$. This containsIn particular, if $M = \begin{bmatrix} a & b \\ 144c & d \end{bmatrix} \in \Gamma_{0}(144)$, we get that $g | M = \chi_{-4}(d) M$ and this gives that $$ f | \begin{bmatrix} a & 12b \\ 12c & d \end{bmatrix} = \chi_{-4}(d) f. $$ In particular, for any $N = \begin{bmatrix} a' & b' \\ c' & d' \end{bmatrix} \in {\rm SL}_{2}(\mathbb{Z})$ with $a' \equiv d' \equiv 1 \pmod{4}$ and $b' \equiv c' \equiv 0 \pmod{12}$, we have that $f | N = f$. The set of such $N$ is a group which has $\Gamma(12)$ as an index $4$ subgroup.

Yes, it is. There are standard criteria (stated for example in Ken Ono's book "Web of Modularity") that indicate when an eta quotient is modular on $\Gamma_{0}(N)$, and these show that $\eta(12\tau)^{2}$ is a modular form of weight $1$ on $\Gamma_{0}(144)$ with Nebentypus $\chi_{-4}$ (with order of vanishing $1$ at every cusp, somewhat surprisingly).

For $M = \begin{bmatrix} a & b \\ c & d \end{bmatrix}$, define $g(z) | M = \det(M)^{1/2} (cz+d)^{-1} f\left(\frac{az+b}{cz+d}\right)$ to be the weight $1$ "slash" operator.

If we let $f(z) = \eta(\tau)^{2}$, then $f(z) | \begin{bmatrix} 12 & 0 \\ 0 & 1 \end{bmatrix}$ transforms nicely under $\Gamma_{0}(144)$, and hence $f(z)$ transforms nicely under $\begin{bmatrix} 12 & 0 \\ 0 & 1 \end{bmatrix} \Gamma_{0}(144) \begin{bmatrix} 1/12 & 0 \\ 0 & 1 \end{bmatrix}$. This contains $\Gamma(12)$.

Yes, it is. There are standard criteria (stated for example in Ken Ono's book "Web of Modularity" - Theorems 1.64 and 1.65) that indicate when an eta quotient is modular on $\Gamma_{0}(N)$, and these show that $\eta(12\tau)^{2}$ is a modular form of weight $1$ on $\Gamma_{0}(144)$ with Nebentypus $\chi_{-4}$ (with order of vanishing $1$ at every cusp, somewhat surprisingly). This function $\chi_{-4}$ is the Dirichlet character where $\chi_{-4}(n) = 0$ if $n$ is even, $\chi_{-4}(n) = (-1)^{(n-1)/2}$ if $n$ is odd.

For $M = \begin{bmatrix} a & b \\ c & d \end{bmatrix}$, define $g(\tau) | M = \det(M)^{1/2} (c\tau+d)^{-1} f\left(\frac{a\tau+b}{c\tau+d}\right)$ to be the weight $1$ "slash" operator. Saying that $g(\tau) = \eta(12\tau)^{2}$ has character $\chi_{-4}$ means that if $M \in \Gamma_{0}(144)$ we have that $g | M = \chi_{-4}(d) M$.

If we let $f(\tau) = \eta(\tau)^{2}$, then $f | \begin{bmatrix} 12 & 0 \\ 0 & 1 \end{bmatrix}$ transforms nicely under $\Gamma_{0}(144)$, and hence $f(z)$ transforms nicely under $\begin{bmatrix} 12 & 0 \\ 0 & 1 \end{bmatrix} \Gamma_{0}(144) \begin{bmatrix} 1/12 & 0 \\ 0 & 1 \end{bmatrix}$. In particular, if $M = \begin{bmatrix} a & b \\ 144c & d \end{bmatrix} \in \Gamma_{0}(144)$, we get that $g | M = \chi_{-4}(d) M$ and this gives that $$ f | \begin{bmatrix} a & 12b \\ 12c & d \end{bmatrix} = \chi_{-4}(d) f. $$ In particular, for any $N = \begin{bmatrix} a' & b' \\ c' & d' \end{bmatrix} \in {\rm SL}_{2}(\mathbb{Z})$ with $a' \equiv d' \equiv 1 \pmod{4}$ and $b' \equiv c' \equiv 0 \pmod{12}$, we have that $f | N = f$. The set of such $N$ is a group which has $\Gamma(12)$ as an index $4$ subgroup.

Source Link
Jeremy Rouse
  • 20.4k
  • 2
  • 79
  • 105

Yes, it is. There are standard criteria (stated for example in Ken Ono's book "Web of Modularity") that indicate when an eta quotient is modular on $\Gamma_{0}(N)$, and these show that $\eta(12\tau)^{2}$ is a modular form of weight $1$ on $\Gamma_{0}(144)$ with Nebentypus $\chi_{-4}$ (with order of vanishing $1$ at every cusp, somewhat surprisingly).

For $M = \begin{bmatrix} a & b \\ c & d \end{bmatrix}$, define $g(z) | M = \det(M)^{1/2} (cz+d)^{-1} f\left(\frac{az+b}{cz+d}\right)$ to be the weight $1$ "slash" operator.

If we let $f(z) = \eta(\tau)^{2}$, then $f(z) | \begin{bmatrix} 12 & 0 \\ 0 & 1 \end{bmatrix}$ transforms nicely under $\Gamma_{0}(144)$, and hence $f(z)$ transforms nicely under $\begin{bmatrix} 12 & 0 \\ 0 & 1 \end{bmatrix} \Gamma_{0}(144) \begin{bmatrix} 1/12 & 0 \\ 0 & 1 \end{bmatrix}$. This contains $\Gamma(12)$.