Depth functions of symbolic powers of homogeneous ideals
From MaRDI portal
Publication:2334540
DOI10.1007/S00222-019-00897-YzbMATH Open1434.13014arXiv1907.06468OpenAlexW3048777501MaRDI QIDQ2334540FDOQ2334540
Authors: Dang Hop Nguyen, Trung Ngo Viet 
Publication date: 7 November 2019
Published in: Inventiones Mathematicae (Search for Journal in Brave)
Abstract: This paper addresses the problem of comparing minimal free resolutions of symbolic powers of an ideal. Our investigation is focused on the behavior of the function depth R/I^(t) = dim R - pd I^(t) - 1, where I^(t) denotes the t-th symbolic power of a homogeneous ideal I in a noetherian polynomial ring R and pd denotes the projective dimension. It has been an open question whether the function depth R/I^(t) is non-increasing if I is a squarefree monomial ideal. We show that depth R/I^(t) is almost non-increasing in the sense that depth R/I^(s) ge depth R/I^(t) for all s ge 1 and t in E(s), where E(s) = cup_{i ge 1} {t in N| i(s-1)+1 le t le is} (which contains all integers t ge (s-1)^2+1). The range E(s) is the best possible since we can find squarefree monomial ideals I such that depth R/I^(s) < depth R/I^(t) for t
otin E(s), which gives a negative answer to the above question. Another open question asks whether the function depth R/I^(t) is always constant for t gg 0. We are able to construct counter-examples to this question by monomial ideals. On the other hand, we show that if I is a monomial ideal such that I^(t) is integrally closed for t gg 0 (e.g. if I is a squarefree monomial ideal), then depth R/I^(t) is constant for t gg 0 with lim_{t o infty} depth R/I^(t) = dim R - dim oplus_{t ge 0} I^(t)/m I^(t). Our last result (which is the main contribution of this paper) shows that for any positive numerical function phi(t) which is periodic for t gg 0, there exist a polynomial ring R and a homogeneous ideal I such that depth R/I^(t) = phi(t) for all t ge 1. As a consequence, for any non-negative numerical function psi(t) which is periodic for t gg 0, there is a homogeneous ideal I and a number c such that pd I^(t) = psi(t) + c for all t ge 1.
Full work available at URL: https://arxiv.org/abs/1907.06468
Recommendations
asymptotic behaviordepthlocal cohomologymonomial idealsymbolic powerprojective dimensionintegrally closed idealBertini-type theoremdegree complexsystem of linear Diophantine inequalities
Singularities in algebraic geometry (14B05) Dimension theory, depth, related commutative rings (catenary, etc.) (13C15)
Cites Work
- Cohen-Macaulayness of monomial ideals and symbolic powers of Stanley-Reisner ideals
- Cohen-Macaulayness of large powers of Stanley-Reisner ideals
- Integral closure of ideals, rings, and modules
- Partial Castelnuovo-Mumford regularities of sums and intersections of powers of monomial ideals
- Title not available (Why is that?)
- Title not available (Why is that?)
- Combinatorial characterizations of generalized Cohen-Macaulay monomial ideals
- Symbolic powers of monomial ideals and vertex cover algebras
- Monomial ideals whose depth function has any given number of strict local maxima
- The depth of powers of an ideal
- On the associated primes and the depth of the second power of squarefree monomial ideals
- The asymptotic nature of the analytic spread
- Persistence and stability properties of powers of ideals
- Rings of Invariants of Tori, Cohen-Macaulay Rings Generated by Monomials, and Polytopes
- On some invariants of a mixed product of ideals
- Determinantal rings
- Comparison of symbolic and ordinary powers of ideals.
- Uniform bounds and symbolic powers on smooth varieties
- The Hyperplane Sections of Normal Varieties
- Symbolic powers and matroids
- Evolutions, Symbolic Squares, and Fitting Ideals
- Symbolic algebras of monomial primes.
- On the finite generation of symbolic blow-ups
- Replication in critical graphs and the persistence of monomial ideals
- Stability of depths of symbolic powers of Stanley-Reisner ideals
- When is the rees algebra cohen—macaulay?
- SPECIALIZATIONS OF DIRECT LIMITS AND OF LOCAL COHOMOLOGY MODULES
- A Prime Ideal in a Polynomial Ring Whose Symbolic Blow-up is Not Noetherian
- Über die Übertragung der Ringeigenschaften zwischenR undR[u]/(F)
- The projective dimension of the edge ideal of a very well-covered graph
- Cohen-Macaulayness and limit behavior of depth for powers of cover ideals
- Saturation and associated primes of powers of edge ideals
- A Nullstellensatz with nilpotents and Zariski's Main Lemma on holomorphic functions
- Membership criteria and containments of powers of monomial ideals
- Specialization of modules
- NONINCREASING DEPTH FUNCTIONS OF MONOMIAL IDEALS
- Depth functions of symbolic powers of homogeneous ideals
Cited In (19)
- Frobenius methods in combinatorics
- Lower bounds for the depth of symbolic powers of edge ideals of graphs
- Symbolic analytic spread: upper bounds and applications
- Decreasing behavior of the depth functions of edge ideals
- When does depth stabilize early on?
- Depth of powers of squarefree monomial ideals (research)
- Properties of analogues of Frobenius powers of ideals
- Symbolic powers and free resolutions of generalized star configurations of hypersurfaces
- Stability of depth and Stanley depth of symbolic powers of squarefree monomial ideals
- Monomial ideals whose depth function has any given number of strict local maxima
- Depth functions of symbolic powers of homogeneous ideals
- The depth of powers of an ideal
- Depth functions and symbolic depth functions of homogeneous ideals
- NONINCREASING DEPTH FUNCTIONS OF MONOMIAL IDEALS
- Stability of depths of symbolic powers of Stanley-Reisner ideals
- ON THE DEPTH OF SYMBOLIC POWERS OF EDGE IDEALS OF GRAPHS
- Depth functions of powers of homogeneous ideals
- Symbolic powers of monomial ideals
- Regularity and Koszul property of symbolic powers of monomial ideals
This page was built for publication: Depth functions of symbolic powers of homogeneous ideals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2334540)
