f3c6eb9e2c345ae2.tex
1: \begin{abstract}
2: Let $\Ga$ be a subgroup of finite index of $\SL_2(\Z)$.
3: We give an analytic criterion for a cuspidal divisor to be torsion in the  Jacobian $J_\Ga$ of the corresponding modular curve $X_\Ga$. By Belyi's theorem, such a criterion would apply to any curve over a number field. Our main tool is the explicit description, in terms of modular symbols, of what we call {\em Eisenstein cycles}. The latter are representations of relative homology classes over which integration of any holomorphic differential forms vanishes.
4: Our approach relies in an essential way on the specific case $\Ga\subset\Ga(2)$, where we can consider convenient generalized  Jacobians instead of $J_\Ga$. 
5: The Eisenstein classes are the real part of certain homology classes with complex coefficients. The imaginary part of those classes are related to the scattering constants attached to Eisenstein series. 
6: Finally, we illustrate our theory by considering Fermat curves. 
7: 
8:  \end{abstract}
9: