Rational points on the modular curves \(X^ +_ 0(N)\)
type: Item
instance of: scholarly article
title: Rational points on the modular curves \(X^ +_ 0(N)\)
zbMATH Open document ID: 0623.14009
author: Fumiyuki Momose
published in: Journal of the Mathematical Society of Japan
publication date: 1987-01-01T00:00:00Z
review text: The author studies the non-cuspidal rational points on the curve \(X^+_ 0(N)\), which is the quotient of the modular curve \(X_ 0(N)\) by the action of the Atkin-Lehner involution \(w_ N\). From the modular interpretation of \(X_ 0(N)\) it is easy to see that there is a natural morphism \(f^+: X^+_ 0(N)\to J^-_ 0(p)=J_ 0(p)/(1+w_ p)\cdot J_ 0(p)\) when p is a divisor of N and \(J_ 0(p)\) the Jacobian of \(X_ 0(p)\). Using a result of \textit{B. Mazur} and \textit{M. Rapoport} [``Modular curves and the Eisenstein ideal'', Appendix, Publ. Math., Inst. Hautes Étud. Sci. 47 (1977), 33-186 (1978; Zbl 0394.14008)] the author shows that if p is a prime divisor of N, and \(x\in X^+_ 0(N)\) is a non- cuspidal rational point, then \(f^+(x)| {\mathbb{F}}_ p\) is the unit section. Under the assumption that \(p=11\), or \(p\geq 17\) and \(J^-_ 0(p)({\mathbb{Q}})\) is finite one sees that \(f^+(x)\) is actually the unit section. This follows immediately from the fact that the image of the cuspidal divisor class group in \(J^-_ 0(p)\) is an étale group scheme, which is in fact the entire torsion subgroup of the Mordell-Weil group of \(J^-_ 0(p)\) (loc. cit. p. 143). Thus, \(f^+(x)\) generates an étale subgroup of \(J^-_ 0(p)\), and so \(f^+(x)\) is the unit section precisely when \(f^+(x)| {\mathbb{F}}_ p\) is so as well. When \(p\neq 37\) this implies that an elliptic curve that represents the \(point\quad x\) has complex multiplication. Hence, under the conditions on N and p given above, the only non-cuspidal rational points on \(X^+_ 0(N)\) are the C.M. points. This paper extends earlier work of the author on \(X_{split}(p)\) [Compos. Math. 52, 115-137 (1984; Zbl 0574.14023)] and \(X^+_ 0(p^ r)\) [to appear].
Mathematics Subject Classification ID: 14H25
Mathematics Subject Classification ID: 14K22
Mathematics Subject Classification ID: 14G05
Mathematics Subject Classification ID: 11F11
zbMATH DE Number: 4010665
zbMATH Keywords: non-cuspidal rational points
zbMATH Keywords: quotient of the modular curve
zbMATH Keywords: action of the Atkin-Lehner involution
zbMATH Keywords: Mordell-Weil group
zbMATH Keywords: complex multiplication
reviewed by: Sheldon Kamienny
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2969/jmsj/03920269
OpenAlex ID: W1971784416
DOI: 10.2969/JMSJ/03920269
Recommended article: Q3758031
Recommended article: Rational Points on XO+(p)
Recommended article: Rational points on \(X_0^+(125)\)
Recommended article: Points on X0+(N) over quadratic fields
Recommended article: On the \(\mathbb{Q}\)-curves associated to rational points of curves which are quotients of \(X_0(N)\)
Recommended article: Equations and rational points of the modular curves \(X_0^+(p)\)
Recommended article: Rational points on \(X^ +_ 0(N)\) and quadratic \(\mathbb Q\)-curves.
Recommended article: Q2949552
Recommended article: Q3693621
Recommended article: The cuspidal class number formula for the modular curves \(X_1(2p)\)
description: scientific article; zbMATH DE number 4010665