The equation for the modular curve \(X_1(N)\) derived from the equation for the modular curve \(X(N)\) (Q1304940): Difference between revisions

In previous works, the authors have constructed (out of Klein forms) two generators for the function field of the complex modular curve \(X(N)\), and determined (algorithmically) the equation \(F_N=0\) that they satisfy, thus giving a plane model for the curve \(X(N) \times {\mathbb C}\), which turns out to be defined over \({\mathbb Q}\). In this paper, the result is extended to the modular curve \(X_1(N)\). It is shown that the \(N\)-th powers of the above mentioned functions generate the function field of \(X_1(N)\), and hence the equation that they satisfy can be constructed from \(F_N\) in no time. The methods are analytic; no use is made of invariant theory.