For a congruence subgroup of $\operatorname{SL}_2(\mathbb{Z})$, 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.