maximal depth property of bigraded modules

TL;DR

This paper investigates the maximal depth property of finitely generated bigraded modules over polynomial rings, establishing its relation to sequentially Cohen--Macaulay modules, and classifying hypersurface rings with this property.

Contribution

It introduces the maximal depth property for bigraded modules, shows its connection to sequentially Cohen--Macaulay modules, and classifies hypersurface rings with this property.

Findings

Sequentially Cohen--Macaulay modules have maximal depth.

Modules with maximal depth and positive grade have non-finitely generated top local cohomology.

Hypersurface rings with maximal depth are classified.

Abstract

Let $S=K[x_1, \dots, x_m, y_1, \dots, y_n]$ be the standard bigraded polynomial ring over a field $K$. Let $M$ be a finitely generated bigraded $S$-module and $Q=(y_1, \dots, y_n)$. We say $M$ has maximal depth with respect to $Q$ if there is an associated prime $\pp$ of $M$ such that $\grade(Q, M)=\cd(Q, S/\pp)$. In this paper, we study finitely generated bigraded modules with maximal depth with respect to $Q$. It is shown that sequentially Cohen--Macaulay modules with respect to $Q$ have maximal depth with respect to $Q$. In fact, maximal depth property generalizes the concept of sequentially Cohen--Macaulayness. Next, we show that if $M$ has maximal depth with respect to $Q$ with $\grade(Q, M)>0$, then $H^{\grade(Q, M)}_{Q}(M)$ is not finitely generated. As a consequence, "generalized Cohen--Macaulay modules with respect to $Q$" having "maximal depth with respect to $Q$" are Cohen--Macaulay with respect to $Q$. All hypersurface rings that have maximal depth with respect to $Q$ are classified.