No label defined (Q4239977)

Let \(p\) be a prime number, let \(X_0(p)_{\mathbb Q}\) be the usual modular curve (defined over \(\mathbb Q\)), and let \(J_0(p)_{\mathbb Q}\) be its Jacobian. Consider the morphism \(f : X_0(p)_{\mathbb Q} \to J_0(p)_{\mathbb Q}\) sending a point \(P\) to the class of the divisor \(P - \infty\), where \(\infty\) is the usual cusp on~\(X_0(p)_{\mathbb Q}\). We assume that the genus of \(X_0(p)_{\mathbb Q}\) is at least one; then \(f\) is a closed immersion. Let now \(X_0(p)\) denote the model over~\(\mathbb Z\) of \(X_0(p)_{\mathbb Q}\), as described for example by \textit{P. Deligne} and \textit{M. Rapoport} [Lect. Notes Math. 349, 143-316 (1973; Zbl 0281.14010)], and let \(J_0(p)\) be the Néron model over~\(\mathbb Z\) of \(J_0(p)_{\mathbb Q}\). Let \(X_0(p)^{\sim}\) denote the minimal regular model of~\(X_0(p)\); then \(f\) extends uniquely to a morphism \(f : X_0(p)^{\sim,0} \to J_0(p)\), where \(X_0(p)^{\sim,0}\) is the smooth part of \(X_0(p)^{\sim}\). Let \(C\) be the closure in \(J_0(p)\) of the (finite) group generated by \(f(0)\), where \(0\) is the other cusp of \(X_0(p)_{\mathbb Q}\). The paper proves that if the genus of \(X_0(p)_{\mathbb Q}\) is at least two, then the image of the fibre \(X_0(p)^{\sim,0}_p\) over \({\mathbb F}_p\) under~\(f\) intersects \(C\) just in the two obvious points \(f(0)_p\) and \(f(\infty)_p\). This answers a question of \textit{Coleman}'s. The result is used by \textit{R. Coleman, B. Kaskel} and \textit{K. A. Ribet} [Torsion points on \(X_0(N)\), Proc. Symp. Pure Math. 66, Part 1, 27-49 (1999)] to study the inverse image under \(f\) of the torsion subgroup of \(J_0(p)({\mathbb C})\). For the proof, the author uses Raynaud's description of the Néron model of a Jacobian in terms of a regular model of the curve [see for example, \textit{S. Bosch, W. Lütkebohmert} and \textit{M. Raynaud}, Néron models (1990; Zbl 0705.14001)] plus some additional information that is needed to describe the special fibre of the Néron model in full.