Numerically Gorenstein surface singularities are homeomorphic to Gorenstein ones (Q640821): Difference between revisions

A necessary condition for a normal surface singularity to be Gorenstein is that the cycle, obtained by solving the adjunction equations, has integral coefficients. The author proves that this condition (numerically Gorenstein), which depends only on the topological type, is sufficient for the existence of Gorenstein singularity of the same topological type. A resolution of the singularity is constructed by holomorphically plumbing total spaces of line bundles over curves, in such a way that the natural existing two forms extend. The constructed space has the special property that each irreducible component of the exceptional divisor has a neighbourhood isomorphic to a neighbourhood of the zero section of its normal bundle. The result is extended to the \(\mathbb{Q}\)-Gorenstein case: any normal surface singularity is homeomorphic to a \(\mathbb{Q}\)-Gorenstein singularity.