Hasse invariant and group cohomology.
Let be an integer. Let be the modular curve over , as constructed by Katz and Mazur. The minimal resolution of over is computed. Let be a prime, such that , with prime to . Let . It is shown that has stable reduction at over , and the fibre at of the stable model is computed.
Page 1