Contractible affine surfaces with quotient singularities (Q2644657)

The paper is a further step to classification of affine surfaces with negative Kodaira dimension. It is well known that any smooth contractible affine surface with negative Kodaira dimension is isomorphic to \(\mathbb{C}^2\) [\textit{M. Miyanishi} and \textit{T. Sugie}, J. Math. Kyoto Univ. 20, 11--42 (1980; Zbl 0445.14017)]. The full classification of contractible affine surface with negative Kodaira dimension having at most quotient singular points is given in this paper. The following theorem is proved: Let \(S'\) be a normal, topologically contractible affine surface over \(\mathbb{C}\) of negative Kodaira dimension and smooth except for quotient singular points. Then: (1) the smooth locus \(S_0\) of \(S'\) has negative Kodaira dimension; and (2) if \(S'\) has at most one singular point, then \(S'\cong\mathbb{C}^2/G,\) where \(G\) is a finite group acting linearly on \(\mathbb{C}^2.\) The case of several quotient singularities is considered separately in Section 3 where the full explicit description of such surfaces is given. As an application proven is: Let \(X\) be a smooth affine contractible algebraic variety over \(\mathbb{C}\) and \(H\) a reductive group acting on \(X\) such that \(\dim X/\!/H =2.\) Assume that \(X\) is dominated by \(\mathbb{C}^n\) for some \(n\) and that the singular locus of \( X/\!/H\) is connected. Then \(X/\!/H\cong\mathbb{C}^2/G,\) where \(G\) is a finite group.