Properties of \(-P \cdot P\) for Gorenstein surface singularities (Q5961414)

Let \((X,0)\) be the germ of a normal complex analytic surface singularity and \((\widetilde X,E)\to(X,0)\) be a good resolution of \((X,0)\), \(E\) the exceptional divisor and \(K\) the canonical divisor of \(\widetilde X\). Let \(K+E=P+N\) be the Zariski decomposition of \(K+E\). The paper concerns the properties of the topological invariant \(-P\cdot P\). The main result is that if \((X,0)\) is numerically Gorenstein and not log-canonical, then \(-P\cdot P>1/42\) with equality only for the \((2,3,7)\)-triangle singularity or its equisingular deformations. The other result is that the values of \(-P\cdot P\) for all numerically Gorenstein singularities form a well-ordered set and its smallest non-zero accumulation point is \(1/6\).