A local cohomology obstruction to small Cohen--Macaulay modules
En palabras de los autores
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.
Apareció: martes, 22 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: 20 pages