Abstract:In this note we obtain defining equations of modular curves $X_0(2^{2n})$. The key ingredient is a recursive formula for certain generators of the function fields on $X_0(2^{2n})$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine the defining equations of the modular curves \(X_0(2^{2n})\). Specifically, the authors aim to obtain the defining equations of these modular curves through recursive formulas, thereby providing a theoretical basis for the study of these specific modular curves.
### Problem Background
The modular curve \(X(\Gamma)\) is a quotient space defined by the action of the congruence subgroup \(\Gamma\) on the upper half - complex plane \(H^*\). Modular curves play an important role in number theory and algebraic geometry, and the study of their defining equations helps to understand the geometric and arithmetic properties of these curves. For some special modular curves, such as \(X_0(N)\), there are already many results, but relatively few studies on the defining equations of \(X_0(2^{2n})\).
### Main Contributions
The main contributions of this paper are as follows:
1. **Recursive Formula**: The authors derived a recursive formula for generating certain generators on the function field, which can be used to construct the defining equations of the modular curves \(X_0(2^{2n})\).
2. **Specific Forms of Defining Equations**: Through the recursive formula, the authors gave the specific forms of the defining equations of \(X_0(2^{2n})\). For example, when \(n\geq3\), the defining equation is \(P_{2n}(x, y) = 0\), where \(P_{2n}(x, y)\) is a polynomial.
### Key Techniques
- **Jacobi Theta Functions**: The Jacobi Theta functions \(\theta_2(\tau)\), \(\theta_3(\tau)\), and \(\theta_4(\tau)\) are used in the paper to represent the modular functions \(x_n\) and \(y_n\).
- **Dedekind eta Function**: The Dedekind eta function \(\eta(\tau)\) plays a crucial role in constructing modular functions.
- **Recursive Relations**: The recursive relations \(P_n(x, y)\) are used to gradually construct the defining equations of higher - order modular curves.
### Formula Display
The form of the defining equation is as follows:
\[ P_{2n}(x, y)=0 \]
where
\[ P_n(x, y)=\left[Q_{n - 1}\left(\sqrt{x^{2}+4}\sqrt{x}, y\sqrt{x}\right)^{2}-R_{n - 1}\left(\sqrt{x^{2}+4}\sqrt{x}, y\sqrt{x}\right)^{2}\right]x^{2n - 5} \]
and
\[ Q_{n-1}(x, y)=\frac{P_{n-1}(x, y)+P_{n-1}(-x, y)}{2} \]
\[ R_{n - 1}=P_{n - 1}-Q_{n - 1} \]
### Examples
For example, the defining equation of \(X_0(256)\) is:
\[ y^{16}-16x(x + 2)^{4}(x^{2}+4)y^{8}-x(x + 2)^{4}(x - 2)^{8}(x^{2}+4)=0 \]
And the defining equation of \(X_0(1024)\) is more complex:
\[ y^{64}-4096vy^{56}-61696uvy^{48}-512uv(253u + 30464v)y^{40}-16uv(4619u^{2}-28\cdot2053uv + 216\cdot7\cdot73v^{2})y^{32}-512uv(31u^{3}+35712u^{2}v+3\cdot216uv^{2}+223v^{3})y^{24}-32u^{3}v(47u^{2}-320000uv + 215\cdot17\cdot31v^{2})y^{16}-64u^{3}v(u^{3}+5248u^{2}v + 218\)