This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| X0(N) | |
|---|---|
| Name | X0(N) |
| Type | Modular curve |
| Related | Modular forms, Elliptic curves, Hecke operators |
| Notable | Atkin–Lehner involution, Cusp forms, Jacobian |
X0(N)
X0(N) is the modular curve parameterizing isogenies of degree N between elliptic curves with cyclic kernel. It arises in the theory of modular forms, the arithmetic of elliptic curves, and the study of Galois representations associated to newforms. The curve links classical objects such as the modular group, Hecke operators, and the Jacobian, and plays a central role in results connected to Fermat, Serre, and Shimura.
X0(N) is defined over Q and constructed as a compactification of the quotient of the complex upper half-plane by the congruence subgroup Γ0(N), connecting to the work of Klein, Eisenstein, Fricke, and Hecke. As a moduli space it parametrizes ordered pairs of elliptic curves with cyclic N-isogenies in the tradition of Moduli space constructions by Deligne and Mumford. The curve carries a natural action of Hecke operators coming from correspondences studied by Hecke and was central to the proof of the Taniyama–Shimura–Weil conjecture by Wiles and Taylor.
As a Riemann surface, X0(N)(C) = Γ0(N)\H* where Γ0(N) ⊂ SL2(Z) is the subgroup of matrices congruent to upper-triangular modulo N; this description follows classical accounts by Fricke and Klein. The modular interpretation over Q is that points correspond to isomorphism classes of pairs (E,C) where E is an elliptic curve and C ⊂ E is a cyclic subgroup of order N, reflecting moduli-theoretic approaches of Deligne and Rapoport. The curve admits a canonical model over Q coming from the theory of modular forms by Shimura and Ribet, and its field of definition interacts with the theory of complex multiplication developed by Weber and Kronecker.
The Atkin–Lehner involutions W_Q for Q || N (Q dividing N with Q and N/Q coprime) act on X0(N) and were introduced by Atkin and Lehner in the investigation of newforms. These involutions normalize Γ0(N) in GL2(Q) and permute cusps studied by Manin and Shimura. The quotient X0(N)/⟨W_Q⟩ often yields curves with additional symmetries and smaller genus, relevant in the classification of optimal quotients of the Jacobian J0(N) due to Mazur and Ribet. Fixed points of W_Q correspond to elliptic curves with extra automorphisms or to CM points linked to Hilbert class field phenomena analyzed by Gross.
The genus g(X0(N)) is computed via the Riemann–Hurwitz formula using the index of Γ0(N) in SL2(Z) and the cusp and elliptic point data catalogued by Ogg and Shimura. For many small N the curve has genus 0 or 1, giving parametrizations by rational functions or elliptic curves studied by Cremona. The set of rational points X0(N)(Q) ties into deep results: Mazur’s classification of rational isogenies of prime degree uses properties of X0(p) for primes p as in Mazur (1978), and the study of integral points connects to work of Baker and Mordell–Weil theorem consequences explored by Silverman. Rational cusps and CM points are pivotal in modular parametrizations of elliptic curves as exploited by Wiles and Breuil.
Explicit models for X0(N) are known for many N via modular functions and canonical maps to projective space introduced by Katz and Deligne–Rapoport. For genus 0 cases one obtains Hauptmoduln related to classical functions studied by Dedekind and Ramanujan; for genus 1 one gets elliptic curve models enumerated in tables by Cremona and constructed using newforms from Atkin–Lehner theory. Higher-genus models have been computed using modular symbols, q-expansions, and computational packages following algorithms of Manin and Stein. Equations over Q for X0(N) and their minimal models underpin rational point searches performed by Laska and Lorenzini.
Hecke operators T_n act on spaces of cusp forms S_k(Γ0(N)) and give rise to algebraic correspondences on X0(N) studied by Hecke and Shimura. Newform theory of Atkin and Lehner decomposes S_2(Γ0(N)) into old and new subspaces, with eigenforms corresponding to isogeny factors of J0(N) by results of Shimura and Ribet. The Eichler–Shimura construction links weight-2 cusp forms to the cohomology of X0(N) and yields two-dimensional Galois representations as in the work of Deligne and Serre. The action of Hecke correspondences is central to congruences between modular forms studied by Hida and Ribet.
Important examples include X0(11), X0(37), and X0(49), which played roles in modular parametrizations of elliptic curves and in early verifications of the modularity conjecture by Wiles and Taylor–Wiles. Ogg’s list of genus-zero X0(N) values and Mazur’s classification of rational torsion use curves X0(N) for explicit N as in work by Ogg and Mazur. The classification of CM points on X0(N) and their ring class fields ties to studies by Gross–Zagier and Zagier. Computational databases by LMFDB and tables by Cremona provide explicit data for many N, while ongoing research by Stein and Buzzard addresses questions about ranks of J0(N) and modular degrees.