For a congruence subgroup of
, a famous theorem of Manin-Drinfeld asserts that the cuspidal group is finite. We can give a criteria for finiteness of cuspidal subgroups for arbitrary subgroups of finite index by using rationality of Eisenstein cycles. In a joint work with Loic Merel.