We will discuss "higher congruences" between Eisenstein series and cusp forms of weight 2. And we will show that in most cases, these congruences precisely detect the geometry of Jacobians of modular curves.