On the \(\mathbb{Q}\)-rational cuspidal subgroup and the component group of \(J_0(p^r)\)
type: Item
instance of: scholarly article
title: On the \(\mathbb{Q}\)-rational cuspidal subgroup and the component group of \(J_0(p^r)\)
zbMATH Open document ID: 0934.14022
DOI: 10.1007/BF02760675
author: San Ling
published in: Israel Journal of Mathematics
publication date: 1997-12-14T00:00:00Z
review text: For a prime number \(p\) and a positive integer \(r\), let \(C_0(p^r)\) be the \({\mathbb Q}\)-rational cuspidal subgroup of the Jacobian \(J_0(p^r)\) of the classical modular curve \(X_0(p^r)\) over \({\mathbb Q}\). In Math. USSR, Izv. 6(1972), 19-64 (1973); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 36, 19-66 (1972; Zbl 0243.14008), \textit{Yu. I. Manin} has shown that \(C(p^r)\) is a finite abelian group, and one can state the question to find this group for any such \(p,r\). For \(r = 1\) and any prime \(p\) it is computed by \textit{A. P. Ogg} that the group \(C(p)\) is cyclic of order \((p-1)/(p-1,12)\) [see: Analytic Number Theory, St. Louis Univ. 1972, Proc. Symp. Pure Math. 24, 221-231 (1973; Zbl 0273.14008)]. For \(p \geq 5\) let \(a = a(p) = (p-1)/(p-1,12)\) and \(b = b(p) = (p+1)/(p+1,12)\). For such \(p\), \(a = a(p)\), \(b= b(p)\) it is shown by Lorenzini that the prime-to-2p part \(C(p^r)^{(2p)}\) of \(C(p^r)\) is isomorphic to the prime-to-2 part of \(({\mathbb Z}/a{\mathbb Z})^r \times ({\mathbb Z}/b{\mathbb Z})^{r-1}\), provided \(p \not\cong 11 \bmod 12\) [\textit{D. I. Lorenzini}, Compos. Math. 96, No. 2, 149-172 (1995; Zbl 0846.14017)]. In the paper under review the group \(C(p^r)\) is computed entirely for all primes \(p \geq 3\) and any positive integer \(r\). This result is applied to determine the component group \({\Phi}_{p^r}\) of the Néron model of \(J_0(p^r)\) over \({\mathbb Z}_p\) for \(p \geq 5\), this way extending a result of Lorenzini (loc. cit.). It is studied also the action of the Atkin-Lehner involution on the \(p\)-primary part of \(C(p^r)\), as well the effect of degeneracy maps on the component groups.
Mathematics Subject Classification ID: 14H40
Mathematics Subject Classification ID: 14G35
Mathematics Subject Classification ID: 14H25
zbMATH DE Number: 1062224
zbMATH Keywords: modular curve
zbMATH Keywords: cuspidal subgroup of the Jacobian
zbMATH Keywords: Atkin-Lehner involution
zbMATH Keywords: degeneracy maps
reviewed by: Atanas Iliev
MaRDI profile type: Publication
cites work: Minimal resolution and stable reduction of \(X_ 0(N)\)
cites work: Q4026194
cites work: Q4083553
cites work: The old subvariety of \(J_ 0(pq)\) and the Eisenstein kernel in Jacobians
cites work: Congruences between cusp forms and the geometry of Jacobians of modular curves
cites work: Q4026195
cites work: Q4853299
cites work: PARABOLIC POINTS AND ZETA-FUNCTIONS OF MODULAR CURVES
cites work: Modular curves and the Eisenstein ideal
cites work: Q5181799
cites work: Hyperelliptic modular curves
full work available at URL: https://doi.org/10.1007/bf02760675
OpenAlex ID: W2012327714
description: scientific article; zbMATH DE number 1062224