Hirzebruch-Kummer covers of algebraic surfaces

Piotr Pokora
DOI: https://doi.org/10.3906/mat-1808-22
2018-12-22
Abstract:The aim of this paper is to show that using some natural curve arrangements in algebraic surfaces and Hirzebruch-Kummer covers one cannot construct new examples of ball-quotients, i.e., minimal smooth complex projective surfaces of general type satisfying equality in the Bogomolov-Miyaoka-Yau inequality.
Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether new examples of ball - quotients can be constructed by using certain natural curve configurations on algebraic surfaces and Hirzebruch - Kummer coverings. Specifically, the author explores whether these techniques can produce new instances of minimal smooth complex projective surfaces that satisfy the equality condition of the Bogomolov - Miyaoka - Yau inequality. These surfaces are a special type of algebraic surfaces, and their holomorphic universal cover is the two - dimensional unit ball. The main conclusion of the paper is that for curve configurations under some given specific conditions, new ball - quotient examples cannot be constructed through Hirzebruch - Kummer coverings. The key inequality mentioned in the paper is: \[ K_X^2 \leqslant 3e(X), \] where \(K_X\) represents the canonical divisor and \(e(X)\) is the topological Euler characteristic. By analyzing different types of curve configurations (such as rational section configurations on Hirzebruch surfaces, regular curve configurations on smooth algebraic surfaces with nef and effective canonical divisors, etc.), the author proves that in these cases, Hirzebruch - Kummer coverings will not produce new ball - quotients. This is mainly accomplished by performing detailed calculations of the Chern numbers of these coverings and applying the Bogomolov - Miyaoka - Yau inequality.