Abstract:
Let Gamma be a subgroup of finite index of SL2(Z). We give an analytic criterion for a cuspidal divisor to be torsion in the Jacobian J(Gamma) of the corresponding modular curve X-Gamma. Our main tool is the explicit description, in terms of modular symbols, of what we call Eisenstein cycles. The latter are representations of relative homology classes over which integration of any holomorphic differential forms vanishes. Our approach relies in an essential way on the specific case Gamma subset of Gamma(2), where we can consider convenient generalized Jacobians instead of J(Gamma). We relate the Eisenstein classes to the scattering constants attached to Eisenstein series. Finally, we illustrate our approach by considering Fermat curves.