Maximal depth property of bigraded modules

DOI10.1007/S12215-020-00538-XMaRDI QIDQ2047469zbMATH OpenOpenAlexFDO

Authors Ahad Rahimi

Publication date 20 August 2021

Published in Rendiconti del Circolo Matematico di Palermo (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2007.05744

zbMATH Keywords

generalized Cohen-Macaulayhypersurface ringlocal cohomologymaximal depthmonomial idealsequentially Cohen-Macaulay

Mathematics Subject Classification ID

Cohen-Macaulay modules (13C14) Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Local cohomology and commutative rings (13D45) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Graded rings and modules (associative rings and algebras) (16W50)

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_Q^{grade(Q,M)}(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.

Review text

Let \(K\) be a field and \(S = K[x_1, \ldots , x_m, y_1, \ldots, y_n]\) be the standard bigraded polynomial ring over \(K\). Set the bigraded irrelevant ideals \(P = (x_1,\ldots, x_m)\) and \(Q = (y_1, \ldots, y_n).\) Let \(M\) be a finitely generated bigraded \(S\)-module. Denote \(\mathrm{mgrade}(Q, M) =: \min{\mathrm{cd}(Q, S/\mathfrak{p}) \mid \mathfrak{p} \in \mathrm{Ass}(M)}.\) The \(S\)-module \(M\) has maximal depth with respect to \(Q\) if \(\mathrm{grade}(Q, M) = \mathrm{mgrade}(Q, M).\) The author shows some properties of \(\mathrm{mgrade}(Q, M).\) The paper provided a result on the non-vanishing of top local cohomology module \(H^{\mathrm{grade}(Q, M)}_Q(M).\) The author is interested in classifying all hypersurface rings that have maximal depth with respect to \(Q.\) Main results: (i) Assume \(M\) has maximal depth with respect to \(Q\) with \(\mathrm{grade}(Q, M) > 0\) and \( |K| = \infty.\) Then \(H^{\mathrm{grade}(Q, M)}_Q(M)\) is not finitely generated. (ii) Let \(I \subseteq S\) be a monomial ideal. Then \(\mathrm{mgrade}(Q, S/I) = n - d\) where \(d\) is the maximal height of an associated prime of \(I\) in \(Q.\) Moreover, if \(S/I\) is Cohen-Macaulay, then \(S/I\) has maximal depth with respect to \(P\) and \(Q.\)

Recommendations

• Maximal depth property of finitely generated modules
• Bounds on depth of tensor products of modules
• On the asymptotic depth of multigraded modules
• A generalization of max modules
• On associated graded rings having almost maximal depth
• Depth of C ( X )-modules
• Bigraded structures and the depth of blow-up algebras
• Asymptotic depth of ext modules over complete intersection rings
• Relative Buchsbaumness of bigraded modules
• scientific article; zbMATH DE number 1038417

Cites work

• Generic and cogeneric monomial ideals
• scientific article; zbMATH DE number 1194481 (Why is no real title available?)
• scientific article; zbMATH DE number 1400040 (Why is no real title available?)
• Maximal depth property of finitely generated modules
• On the structure of sequentially Cohen-Macaulay bigraded modules.
• Relative Cohen-Macaulayness and relative unmixedness of bigraded modules
• Relative Cohen-Macaulayness of bigraded modules
• Sequentially Cohen-Macaulayness of bigraded modules
• Sequentially generalized Cohen-Macaulayness of bigraded modules
• Squarefree monomial ideals with maximal depth.
• Symbolic powers of sums of ideals
• The eventual stability of depth, associated primes and cohomology of a graded module

Cited in

(10)

• Relative Cohen-Macaulayness and relative unmixedness of bigraded modules
• Local duality for bigraded modules
• Sequentially generalized Cohen-Macaulayness of bigraded modules
• Maximal depth property of finitely generated modules
• Sequentially Cohen-Macaulayness of bigraded modules
• Depth and Width for Unbounded DG-Modules
• Cohen-Macaulayness of Nagata idealization
• Algebraic properties of tensor product of modules over a field
• Non-finitely generated bigraded local cohomology modules.
• Sequentially Cohen-Macaulayness under Foxby equivalence

Describes a project that uses

Uses Software

• CoCoA
• Macaulay2

This page was built for publication: Maximal depth property of bigraded modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2047469)