A homology plane of general type can have at most a cyclic quotient singularity

Abstract

We show that a homology plane of general type has at worst a single cyclic quotient singular point. An example of such a surface with a singular point does exist. We also show that the automorphism group of a smooth contractible surface of general type is cyclic.

63 pages