Let $N \geq 5$ be a prime number. Conrad, Edixhoven and Stein have conjectured that the rational torsion subgroup of the modular Jacobian variety $J_1(N)$ coincides with the 0-cuspidal class group. We prove this conjecture up to 2-torsion. To do this, we study certain ideals of the Hecke algebras, called the Eisenstein ideals, related to modular forms of weight 2 with respect to $\varGamma_1(N)$ that vanish at the 0-cusps.
Masami OHTA. "Eisenstein ideals and the rational torsion subgroups of modular Jacobian varieties." J. Math. Soc. Japan 65 (3) 733 - 772, July, 2013. https://doi.org/10.2969/jmsj/06530733