¿Existe una superficie proyectiva lisa$S / \mathbb{C}$ equipada con un morfismo dominante$\pi: S \to \mathbb{P}^1$ que tiene las siguientes propiedades:
- La fibra en el infinito es "múltiple", es decir, como divisores en$S$, uno tiene$\pi^{-1}(\infty) = mD$ para algunos$m > 1$ y algunos divisores$D$.
- Todas las demás fibras son integrales.