Skip to main content
7 of 7
edited body
reuns
  • 3.4k
  • 1
  • 12
  • 22

$j(\tau)=J(e^{2i\pi \tau})$, since $J(q)\in q^{-1}+\Bbb{Z}[[q]]$ then in formal series $$f(s)=J^{-1}(1/s)=\sum_{k\ge 1} d_k s^k \text{ is in }\Bbb{Z}[[s]] \tag{1}$$

$f^{-1}(q)=1/J(q)$ is surjective from $|q|< 1$ to $\Bbb{C}$ and locally biholomorphic away from $J(q)\in 0,1728,i\infty$. Whence in the branch where $f(0)=0$ then $f$ is analytic for $|q|<1/1728$, and it will be given by the series $(1)$.

The radius of convergence is $1/1728$ and $f'(1/1728)=\sum_{k\ge 1} \frac{k\, d_k}{1728^k}$ doesn't converge, this follows from that $J'(i)=0\implies \lim_{s\to 1/1728^-}f'(s)=\infty$.

To get an upper bound on the $d_k$, let $m(y)=\sup_{\Im(\tau)>y} |1/j(\tau)|$. For $|s|<m(y)$ we'll have $J^{-1}(1/s)<e^{-2\pi y}$ so that $|d_k| \le m(y)^{-k-1} e^{-2\pi y}$ whenever $m(y)< 1/1728$. A numerical check shows that $m(2)< 10^{-5}$.

The monodromy group of $j^{-1}(s)$ and $f(s)$ is interesting:

  • in the branch where $j^{-1}(\infty)= i\infty$ when rotating around $\infty$ it transforms $j^{-1}(s)$ to $j^{-1}(s)-1=\pmatrix{1&-1\\0&1}j^{-1}(s)$.

  • In the branch where $j^{-1}(1728)=i$ when rotating around $1728$ it transforms $j^{-1}(s)$ to $\pmatrix{0&1\\-1&0} j^{-1}(s)$.

  • In the branch where $j^{-1}(0))=e^{2i\pi/3}$ when rotating around $0$ it transforms $j^{-1}(s)$ to $\pmatrix{0&-1\\1&1} j^{-1}(s)$.

  • In the branch where $j^{-1}(\infty)=\pmatrix{a&b\\c&d}i\infty=a/c$ it gets different, rotating around $\infty$ transforms $j^{-1}(s)$ to $\pmatrix{a&b\\c&d} \pmatrix{1&-1\\0&1} \pmatrix{a&b\\c&d}^{-1} j^{-1}(s)$. Whence in the branch such that $f(0)=\exp(-2i\pi a/d)$ then $f(s) = \exp(-2i\pi j^{-1}(s))$ isn't analytic at $0$ anymore.

reuns
  • 3.4k
  • 1
  • 12
  • 22