We propose a local-cohomology obstruction to the existence of small Cohen–Macaulay modules over completed section rings of surfaces. Let be a smooth connected complex projective surface, and let be an ample globally generated divisor with numerically. Put . The main claim is that, when , every nonzero finite reflexive module over the completed vertex local ring of satisfies . The argument combines elementary transformations of reflexive extensions, Harder–Narasimhan slopes, Bogomolov’s inequality, and a two-section Koszul estimate. A fixed-source kernel estimate transfers the resulting cohomology to the punctured spectrum without requiring a grading on . For the degree-six member of the six-line Hirzebruch–Kummer family, and , so the bound is . We give an explicit complete-intersection model for this application and spell out the argument leading to the claimed nonexistence of nonzero finite maximal Cohen–Macaulay modules.

生成讲解博客的中文版本

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