Real singular Del Pezzo surfaces and 3-folds fibred by rational curves, II
Fabrizio Catanese, Frederic Mangolte
TL;DR
The paper advances the understanding of real loci of geometrically rational threefolds fibred by rational curves by proving sharp bounds on the Seifert-fibered and lens-space components of real loci when the base is geometrically rational. The authors reduce the problem to real Du Val Del Pezzo surfaces of degree $1$ with small Picard number, classify possible configurations of $A^+_\mu$ singularities, and exclude most via intricate Euler-number and topology arguments, while realizing Seifert fibrations as projectivized tangent bundles to construct new geometric examples. They establish key inequalities, such as $k(N)\le 4$ and $\sum_l\left(1-\frac{1}{n_l}\right)\le 2$, and show that the base orbifold of a Seifert fibration over an orientable $|F|$ is nonnegative in Euler characteristic, hence spherical or Euclidean. The work links the minimal model program with real algebraic topology to constrain real threefolds, further generalizing Comessatti-type results and revealing new phenomena, such as Seifert fibrations over nonorientable hyperbolic base orbifolds on minimal real surfaces.
Abstract
Let W -> X be a real smooth projective 3-fold fibred by rational curves. J. Kollár proved that, if W(R) is orientable, then a connected component N of W(R) is essentially either a Seifert fibred manifold or a connected sum of lens spaces. Our Main Theorem, answering in the affirmative three questions of Kollár, gives sharp estimates on the number and the multiplicities of the Seifert fibres and on the number and the torsions of the lens spaces when X is a geometrically rational surface. When N is Seifert fibred over a base orbifold F, our result generalizes Comessatti's theorem on smooth real rational surfaces: F cannot be simultaneously orientable and of hyperbolic type. We show as a surprise that, unlike in Comessatti's theorem, there are examples where F is non orientable, of hyperbolic type, and X is minimal. The technique we use is to construct Seifert fibrations as projectivized tangent bundles of Du Val surfaces.
