Inversion formulas for the \(j\)-function around elliptic points (Q2673893)

\textit{L. Hong} et al. [Proc. Am. Math. Soc. 150, No. 12, 5047--5056 (2022; Zbl 07600025)] proved that the \(j\)-function around the elliptic point \(i=\sqrt{-1}\) (resp. \(\rho=e^{\pi i/3}\)) evaluated at a certain power series with a variable \(t\) obtained from quotients of Gauss's hypergeometric functions \(_2F_1(a,b;c;z)\) of signatures \(2\) (resp. \(3\)) is a rational function of \(t\). The authors extend these results and give inversion formulas for hypergeometirc functions of signatures \(4\) and \(6\) around \(i\) and \(\rho\) respectively. Around the point \(i\), their result is as follows. Let \(S_i(z)=\frac{z-i}{z+i}\) be the uniformizing map of the upper half plane \(\mathbb H\) to the unit disk and put \(s_i^{-1}(w)=S_i^{-1}(w/2\pi\Omega_i^2)\), where \(\Omega_i=\frac{\Gamma(1/4)}{\sqrt{8\pi}\Gamma(3/4)}\). Let \(C_i(t)=t\cdot\tfrac{_2F_1(3/4,3/4;3/2;4t^2)}{_2F_1(1/4,1/4;1/2;4t^2)}\) be the power \(t\)-series. Then for \(|t|<1/2\), \(j\left(\frac{s_i^{-1}(C_i(t))+1}2\right)=\frac{64(16t^2-3)^3}{4t^2-1}\). Around the point \(\rho\), they give a similar result with hypergeometric functions of signature \(6\). Further the authors offer some examples how to use their results to obtain \(w\in \mathbb H\) such that \(j(w)=m\) for a given integer \(m\).