A local cohomology obstruction to small Cohen--Macaulay modules

Liang Chen

In the authors' words

We propose a local-cohomology obstruction to the existence of small Cohen--Macaulay modules over completed section rings of surfaces. Let $Y$ be a smooth connected complex projective surface, and let $H$ be an ample globally generated divisor with $K_{Y} \equiv 4 H$ numerically. Put $c (Y, H) = 15 H^{2} /8 - χ (\OO_{Y})$ . The main claim is that, when $c (Y, H) > 0$ , every nonzero finite reflexive module $M$ over the completed vertex local ring of $⨁_{n \geq 0} H^{0} (Y, \OO_{Y} (n H))$ satisfies $dim_{\C} H_{\mm}^{2} (M) \geq c (Y, H) \rk M$ . 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 $M$ . For the degree-six member of the six-line Hirzebruch--Kummer family, $H^{2} = 1080$ and $χ (\OO_{Y}) = 1926$ , so the bound is $99 \rk M$ . 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.

Main resultThe abstract does not state a limitation.

A local cohomology obstruction to small Cohen--Macaulay modules

In the authors' words

More on Algebra & number theory that day

Inverse Baer deformations and finite simple skew braces of nilpotent type

Mathematical Principles of a Generalized Tonal Practice

A Machine-Checked Proof that Gardam's A~2​ Lattice Does Not Have Unique Products

On Z2​-extensions of real quadratic fields with class group of 2-rank three

Affine Harish-Chandra center in positive characteristic

A Machine-Checked Proof that Gardam's $A ~_{2}$ Lattice Does Not Have Unique Products

On $Z_{2}$ -extensions of real quadratic fields with class group of $2$ -rank three