We disprove Wahl’s 1993 vanishing conjecture, open for more than thirty years, which asserts that for every nonquotient normal surface singularity. Let be a smooth projective curve with a nontrivial involution having fixed points, and put . If , the union of the diagonal and the graph of the involution in has negative definite intersection matrix and can be analytically contracted to a normal surface singularity . A direct relative Chern-class computation and Wahl’s residue formula give . An explicit curve of genus four gives . Branched double covers of a fixed curve of genus two yield examples with , so these values are unbounded below. We give the construction and intersection calculations in detail, as well as a line-bundle filtration realizing the negative value.

生成讲解博客的中文版本

生成AI智能校验的中文版本