Abstract:We explore the modularity of the continued fractions $I(\tau), J(\tau), T_1(\tau), T_2(\tau)$ and $U(\tau)=I(\tau)/J(\tau)$ of order $10$, where $I(\tau)$ and $J(\tau)$ are introduced by Rajkhowa and Saikia, which are special cases of certain identities of Ramanujan. In particular, we show that these fractions can be expressed in terms of an $\eta$-quotient $g(\tau)$ that generates the field of all modular functions on the congruence subgroup $\Gamma_0(10)$. Consequently, we prove that modular equations for $g(\tau)$ and $U(\tau)$ exist at any level, and derive these equations of prime levels $p\leq 11$. We also show that the above continued fractions of order $10$ can be explicitly evaluated using a singular value of $g(\tau)$, which, under certain conditions, generates the Hilbert class field of an imaginary class field. We employ the methods of Lee and Park to establish our results.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore and prove the modular properties of Ramanujan's tenth - order continued fractions \(I(\tau)\), \(J(\tau)\), \(T_1(\tau)\), \(T_2(\tau)\) and \(U(\tau)=I(\tau)/J(\tau)\). Specifically, the authors show that these continued fractions can be expressed as an \(\eta\)-quotient \(g(\tau)\) that generates all modular function fields, and prove that there exist modular equations for \(g(\tau)\) and \(U(\tau)\) at any level. In addition, the authors also derive the modular equations for prime levels \(p\leq11\) and show how to explicitly solve these continued fractions using the singular values of \(g(\tau)\).
The following are the key formulas and content involved in the paper:
1. **Definition of \(\eta\)-quotient**:
\[
g(\tau):=\frac{\eta^{2}(2\tau)\eta^{4}(5\tau)}{\eta^{4}(\tau)\eta^{2}(10\tau)}
\]
where \(\eta(\tau): = q^{1/24}(q;q)_{\infty}\) is the Dedekind \(\eta\) function, and \(q = e^{2\pi i\tau}\).
2. **Existence of modular equations**:
The authors prove that for any positive integer \(n\), there exist modular equations for \(g(\tau)\), and these equations can be used as an affine model of the modular curve \(X_0(10n)\).
3. **Specific forms of modular equations**:
- For the modular equation of level 2:
\[
g(\tau)-g(\tau)^{2}-4g(\tau)g(2\tau)-g(2\tau)^{2}+5g(\tau)g(2\tau)^{2}=0
\]
- For the modular equation of level 5:
\[
g(\tau)^{5}-g(5\tau)-5g(\tau)g(5\tau)P(g(\tau),g(5\tau)) = 25g(\tau)^{2}g(5\tau)^{2}Q(g(\tau),g(5\tau))
\]
where
\[
P(X,Y)=Y + 11X^{3}-12X^{2}+7X - 2
\]
\[
Q(X,Y)=25X^{2}Y^{3}-5X(10X - 1)Y^{2}+(35X^{2}-10X + 1)Y-12X^{2}+7X - 2
\]
4. **Properties of modular equations**:
- For odd primes \(p\neq5\), the modular equation \(G_p(X,Y)\) satisfies the Kronecker congruence relation:
\[
G_p(X,Y)\equiv(X^{p}-Y)(X - Y^{p})\pmod{p}
\]
Through these results, the authors not only verify the modular properties of these continued fractions but also provide a method to explicitly calculate the exact singular values of these continued fractions at imaginary quadratic points. This provides a theoretical basis for further research on the algebraic properties of these continued fractions.