Deje $O$ ser un dominio de Dedekind con fracción de campo $K$. Deje $C$ ser un suave proyectiva geométricamente conectado curva de género $g>1$$K$.
Deje $p:X \to \mathrm{Spec} \ O $ ser el modelo canónico de $X$. Suponiendo que $C$ semi-estable de reducción sobre la $O$, $p$ es estable de la curva.
Cuando se $X$ regular?
Una respuesta posible sería cuando el modelo regular minimal y el canónica del modelo coinciden.
Pero cuando sucede esto? Cuando no hay curvas de ser contratado en el modelo regular minimal. Pero tengo una sensación de que esto en realidad nunca sucede...¿por Qué?
