The pluri-genera of surface singularities
type: Item
instance of: scholarly article
title: The pluri-genera of surface singularities
zbMATH Open document ID: 0928.14023
author: Tomohiro Okuma
published in: Tôhoku Mathematical Journal. Second Series
publication date: 1999-11-16T00:00:00Z
review text: \textit{K. Watanabe} [Math. Ann. 250, 65-94 (1980; Zbl 0414.32005)] introduced the pluri-genera \(\{ \delta_m (X,x)\}_{m \in \mathbb{N}}\) of a normal isolated singularity \((X,x)\). They can be computed from a good resolution \(f:M\to X\) (i.e. a resolution whose exceptional locus \(A\) is a divisor with normal crossings) as follows: \[ \delta_m (X,x)= \dim_{\mathbb{C}} H^0 ({\mathcal O}_U(mK)) / H^0 ({\mathcal O}_M (mK+(m-1)A)) \] where \(K\) is a canonical divisor on \(M\) and \(U=X \setminus \{x\} \cong M \setminus A\). In particular, \(\delta_1 (X,x) = p_g (X,x)\). The author studies the pluri-genera of normal surface singularities over \(\mathbb{C}\). For rational surface singularities whose dual graph for the minimal resolution is a star-shaped graph, he describes the pluri-genera in terms of some divisors on the central exceptional curve. Using this, he proves that, if for a normal surface singularity \((X,x)\) over \(\mathbb{C}\), \(\delta_m(X,x)=0\) for \(m=4,6\) then \((X,x)\) is a quotient singularity. Since K. Watanabe proved that \((X,x)\) is a quotient singularity if and only if \(\delta_m(X,x)=0\) for all \(m \in \mathbb{N}\), the preceding result characterizes the quotient singularities. Purely elliptic singularities (i.e. those for which \(\delta_m(X,x)=1\) for all \(m \in \mathbb{N}\)) are also characterized in the paper. It is proved that a normal surface singularity \((X,x)\) over \(\mathbb{C}\) is purely elliptic if and only if \(\delta_m(X,x)=1\) for \(m=1,4,6\). Applying the result of S. Ishii which assures that \((X,x)\) is purely elliptic if and only if it is a cusp or a simple elliptic singularity, the result in the paper gives a criterion to characterize these singularities. S. Ishii had also proved that \((X,x)\) is log-canonical if and only if \(\delta_m(X,x) \leq 1\) for all \(m \in \mathbb{N}\). In the paper, the author proves that if \(\delta_{14}(X,x)=0\) then \((X,x)\) is log-canonical.
Mathematics Subject Classification ID: 14J17
Mathematics Subject Classification ID: 14E15
Mathematics Subject Classification ID: 14B05
Mathematics Subject Classification ID: 32S25
zbMATH DE Number: 1185535
zbMATH Keywords: pluri-genera
zbMATH Keywords: normal surface singularities
zbMATH Keywords: good resolution
zbMATH Keywords: purely elliptic singularities
zbMATH Keywords: log-canonical singularities
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2748/tmj/1178225017
OpenAlex ID: W1989775586
cites work: Some Numerical Criteria for Contractability of Curves on Algebraic Surfaces
cites work: On Isolated Rational Singularities of Surfaces
cites work: Q3775666
cites work: Q3764253
cites work: Small deformations of normal singularities
cites work: Q3033891
cites work: On pencils of curves and deformations of minimally elliptic singularities
cites work: Riemann-Roch theorem for strongly pseudoconvex manifolds of dimension 2
cites work: On Minimally Elliptic Singularities
cites work: Q3329566
cites work: A numerical condition for a deformation of a Gorenstein surface singularity to admit a simultaneous log-canonical model
cites work: Normal surface singularities with \(\mathbb{C}^*\) action
cites work: Q3661709
cites work: Q3714368
cites work: On plurigenera of normal isolated singularities. I
DOI: 10.2748/TMJ/1178225017
description: scientific article; zbMATH DE number 1185535