Minimal resolution and stable reduction of \(X_ 0(N)\) (Q1124647)

Let \(N\geq 1\) be an integer. Let \(X_ 0(N)\) be the modular curve over \({\mathbb{Z}}\), as constructed by Katz and Mazur. The minimal resolution of \(X_ 0(N)\) over \({\mathbb{Z}}[1/6]\) is computed. Let \(p\geq 5\) be a prime, such that \(N=p^ 2M\), with M prime to p. Let \(n=(p^ 2-1)/2\). It is shown that \(X_ 0(N)\) has stable reduction at p over \({\mathbb{Q}}[^ n\sqrt{p}]\), and the fibre at p of the stable model is computed.