When does depth stabilize early on?

DOI10.1016/J.JALGEBRA.2015.08.014MaRDI QIDQ891456zbMATH OpenOpenAlexFDO

Authors Le Dinh Nam, Matteo Varbaro

Publication date 17 November 2015

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

blow-up algebrasdepthdirect summandlocal cohomology

Mathematics Subject Classification ID

Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Local cohomology and commutative rings (13D45)

Abstract: In this paper we study graded ideals I in a polynomial ring S such that the numerical function f(k)=depth(S/I^k) is constant. We show that, if (i) the Rees algebra of I is Cohen-Macaulay, (ii) the cohomological dimension of I is not larger than the projective dimension of S/I and (iii) the K-algebra generated by some generators of I is a direct summand of S, then f(k) is constant. When I is a square-free monomial ideal, the above criterion includes as special cases all the results of a recent paper by Herzog and Vladoiu. In this combinatorial setting there is a chance that the converse of the above fact holds true.

Review text

Let \(S=K[x_1,\ldots,x_n]\), where \(K\) is a field. Let \(I\) be a graded ideal in \(S\). By a result of \textit{M. Brodmann} [Math. Proc. Cambridge Philos., Soc. 86 (1979; Zbl 0413.13011)]. there exists \(k_0\in \mathbb{N}\), such that \(\text{depth}(S/I^k)=\text{depth}(S/I^{k_0})\) for \(k \geq k_0\). In the paper under review, the authors study about when can the numerical function, the `depth-function', \(k \mapsto \text{depth}(S/I^k)\) is a constant function for \(k\geq 1\), that is \(k_0=1\). The authors show that if {\parindent=6mm \begin{itemize} \item[(1)] the Rees algebra \(R(I)\) of \(I\), is Cohen-Macaulay, \item [(2)] \(H_I^i(S)=0\) for \(i > \text{pd}(S/I)\), \item [(3)] \(I\) is a summand ideal, then the depth-function of \(I\) is constant, that is \(k_0=1\) (Theorem 3.4). In the monomial ideal case, the condition \((2)\) can be relaxed (Theorem 4.1). \end{itemize}}

Recommendations

• Depth functions of powers of homogeneous ideals
• Squarefree monomial ideals with constant depth function
• The depth of powers of an ideal
• Stability of depths of symbolic powers of Stanley-Reisner ideals
• Depth functions of symbolic powers of homogeneous ideals

Cites work

• Cohen-Macaulay Rees algebras and their specialization
• Cohen-Macaulayness in graded algebras
• Cohomological and projective dimensions
• Computational invariant theory
• Dimension projective finie et cohomologie locale. Applications à la demonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck
• scientific article; zbMATH DE number 3681927 (Why is no real title available?)
• scientific article; zbMATH DE number 3382504 (Why is no real title available?)
• Maximal minors and linear powers
• On the ideal theory of graphs
• Resolutions of determinantal ideals: The submaximal minors
• Rings of Invariants of Tori, Cohen-Macaulay Rings Generated by Monomials, and Polytopes
• Squarefree monomial ideals with constant depth function
• The asymptotic nature of the analytic spread
• The depth of powers of an ideal
• The diagonal subring and the Cohen-Macaulay property of a multigraded ring
• The integral closure of subrings associated to graphs
• The Number of Equations Defining a Determinantal Variety

Cited in

(10)

• Powers of sums and their homological invariants
• Monomial ideals whose depth function has any given number of strict local maxima
• The depth of powers of an ideal
• Depth and regularity of powers of sums of ideals
• Squarefree monomial ideals with constant depth function
• NONINCREASING DEPTH FUNCTIONS OF MONOMIAL IDEALS
• Stability of depth functions of cover ideals of balanced hypergraphs
• Stability of depths of symbolic powers of Stanley-Reisner ideals
• On a lower bound of de Rham depth of affine cone of a projective space in characteristic zero
• Stability of the depth function of good filtrations

Describes a project that uses

Uses Software

• CoCoA

This page was built for publication: When does depth stabilize early on?

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