Bounds for Cohomological Deficiency Functions of Projective Schemes
Over Artinian Rings
M. Brodmann, C. Matteotti, and N.D. Minh
Abstract. Let $X$ be a projective scheme
over an artinian commutative ring $R_0$ and let $\Cal{F}$ be a coherent
sheaf of $\Cal{O}_X$-modules. We give bounds on the so called cohomological
deficiency functions $\Delta^i_{X, \Cal{F}}$ and the cohomological postulation
numbers $\nu^i_{X, \Cal{F}}$ of the pair $(X, \Cal{F}).$ As bounding invariants
we use the "cohomology diagonal" $ \big( h^j_{X, \Cal{F}}(-j) \big)_{j\le
i}$ at and below level $i$ and the $i$-th "cohomological Hilbert polynomial"
$p^i_{X, \Cal{F}}$ of the pair $(X, \Cal{F}).$ Our bounds present themselves
as a quantitative and extended version of the vanishing theorem of Severi\,--\,Enriques\,--\,Zariski\,--\,Serre.
|