Some inequalities regarding the regularity of powers of monomial ideals

S. A. Seyed Fakhari

2024-01-23

Abstract:We prove some inequalities regarding the Castelnuovo--Mumford regularity of symbolic powers and integral closure of powers of monomial ideals.

Commutative Algebra,Combinatorics

What problem does this paper attempt to address?

Differences in regularities of a power and its integral closure and symbolic power

Irena Swanson,Siamak Yassemi

2023-06-01

Abstract:We show that for a square-free monomial ideal, the regularity of its symbolic (second) power and of the integral closure of of its (second) power can differ from the regularity of its ordinary (second) power by an arbitrarily large integer.

Commutative Algebra
Limit Behavior of the Rational Powers of Monomial Ideals

Emmy Lewis

DOI: https://doi.org/10.48550/arXiv.2009.05173

2020-09-11

Abstract:We investigate the rational powers of ideals. We find that in the case of monomial ideals, the canonical indexing leads to a characterization of the rational powers yielding that symbolic powers of squarefree monomial ideals are indeed rational powers themselves. Using the connection with symbolic powers techniques, we use splittings to show the convergence of depths and normalized Castelnuovo-Mumford regularities. We show the convergence of Stanley depths for rational powers, and as a consequence of this we show the before-now unknown convergence of Stanley depths of integral closure powers. In addition, we show the finiteness of asymptotic associated primes, and we find that the normalized lengths of local cohomology modules converge for rational powers, and hence for symbolic powers of squarefree monomial ideals.

Commutative Algebra
On the $\mathrm{v}$-number of Gorenstein ideals and Frobenius powers

Nirmal Kotal,Kamalesh Saha

2023-11-08

Abstract:In this paper, we show the equality of the (local) $\mathrm{v}$-number and Castelnuovo-Mumford regularity of certain classes of Gorenstein algebras, including the class of Gorenstein monomial algebras. Also, for the same classes of algebras with the assumption of level, we show that the (local) $\mathrm{v}$-number serves as an upper bound for the regularity. Moreover, we investigate the $\mathrm{v}$-number of Frobenius powers of graded ideals in prime characteristic setup. In this study, we demonstrate that the $\mathrm{v}$-numbers of Frobenius powers of graded ideals have an asymptotically linear behaviour. In the case of unmixed monomial ideals, we provide a method for computing the $\mathrm{v}$-number without prior knowledge of the associated primes.

Commutative Algebra,Combinatorics
Equality of Ordinary and Symbolic Powers of Some Classes of Monomial Ideals

Kanoy Kumar Das

DOI: https://doi.org/10.1007/s00373-023-02740-x

2024-01-20

Graphs and Combinatorics

Abstract:In this article, our aim is to extend the class of monomial ideals for which symbolic and ordinary powers coincide. This property has been characterized for the class of edge ideals of simple graphs, and in this article, we study a completely new class of monomial ideals associated to simple graphs, namely the class of generalized edge ideals. We give a complete description of the primary components associated to the minimal associated primes of these ideals. Using this description, and assuming some conditions on the relative weights, we completely characterize the equality of ordinary and symbolic powers of generalized edge ideals. After that, we also characterize generalized edge ideals of the 3-cycle for which this equality holds.

mathematics
Integral closures of powers of sums of ideals

Arindam Banerjee,Huy Tai Ha

2023-09-08

Abstract:Let $k$ be a field, let $A$ and $B$ be polynomial rings over $k$, and let $S= A \otimes_k B$. Let $I \subseteq A$ and $J \subseteq B$ be monomial ideals. We establish a binomial expansion for rational powers of $I+J \subseteq S$ in terms of those of $I$ and $J$. Particularly, for a positive rational number $u$, we prove that $(I+J)_u = \sum_{0 \le \omega \le u, \ \omega \in \mathbb{Q}} I_\omega J_{u-\omega},$ and that the sum on the right hand side is a finite sum. This finite sum can be made more precise using jumping numbers of rational powers of $I$ and $J$. We further give sufficient conditions for this formula to hold for the integral closures of powers of $I+J$ in terms of those of $I$ and $J$. Under these conditions, we provide explicit formulas for the depth and regularity of $\overline{(I+J)^k}$ in terms of those of powers of $I$ and $J$.

Commutative Algebra,Optimization and Control
Uniform bounds on symbolic powers in regular rings

Takumi Murayama

2023-09-03

Abstract:We prove a uniform bound on the growth of symbolic powers of arbitrary (not necessarily radical) ideals in arbitrary (not necessarily excellent) regular rings of all characteristics. This gives a complete answer to a question of Hochster and Huneke. In equal characteristic, this result was proved by Ein, Lazarsfeld, and Smith and by Hochster and Huneke. For radical ideals in excellent regular rings of mixed characteristic, this result was proved by Ma and Schwede. We also prove a generalization of these results involving products of various symbolic powers and a uniform bound for regular local rings related to a conjecture of Eisenbud and Mazur, which are completely new in mixed characteristic. In equal characteristic, these results are due to Johnson and to Hochster-Huneke, Takagi-Yoshida, and Johnson, respectively.

Commutative Algebra,Algebraic Geometry
Normally torsion-freeness and normality criteria for monomial ideals

M. Nasernejad,V. Crispin Quinonez,J. Toledo

2024-08-10

Abstract:In this paper, we focus on the associated primes of powers of monomial ideals and asymptotic behavior properties such as normally torsion-freeness, normality, the strong persistence property, and the persistence property. In particular, we introduce the concept of monomial ideals of well-nearly normally torsion-free type, and show that these ideals are normal. After that, we present some results on the existence of embedded associated prime ideals in the associated primes set of powers of monomial ideals. Further, we employ them in investigating the edge and cover ideals of cones of graphs. Next, we present counterexamples to several questions concerning the relations between relevant algebraic properties of the edge ideals of clutters and complement clutters. We conclude by providing counterexamples to questions on the possible connections between normally torsion-freeness and normality of monomial ideals under polarization.

Commutative Algebra
On regularity and projective dimension of invariant chains of monomial ideals

Dinh Van Le,Hop D. Nguyen

2024-09-13

Abstract:Ideals in infinite-dimensional polynomial rings that are invariant under the action of the monoid of increasing functions have been extensively studied recently. Of particular interest is the asymptotic behavior of truncations of such an ideal in finite-dimensional polynomial subrings. It has been conjectured that the Castelnuovo--Mumford regularity and projective dimension are eventual linear functions along such truncations. In the present paper we provide evidence for these conjectures. We show that for monomial ideals the projective dimension is eventually linear, while the regularity is asymptotically linear.

Commutative Algebra
Diagonal F-splitting and Symbolic Powers of Ideals

Daniel Smolkin

DOI: https://doi.org/10.46298/epiga.2023.9918

2024-01-19

Abstract:Let $J$ be any ideal in a strongly $F$-regular, diagonally $F$-split ring $R$ essentially of finite type over an $F$-finite field. We show that $J^{s+t} \subseteq \tau(J^{s - \epsilon}) \tau(J^{t-\epsilon})$ for all $s, t, \epsilon > 0$ for which the formula makes sense. We use this to show a number of novel containments between symbolic and ordinary powers of prime ideals in this setting, which includes all determinantal rings and a large class of toric rings in positive characteristic. In particular, we show that $P^{(2hn)} \subseteq P^n$ for all prime ideals $P$ of height $h$ in such rings.

Commutative Algebra,Algebraic Geometry
Stability of Depth and Cohen-Macaulayness of Integral Closures of Powers of Monomial Ideals

Le Tuan Hoa,Tran Nam Trung

DOI: https://doi.org/10.1007/s40306-017-0225-0

2017-06-23

Abstract:Let $I$ be a monomial ideal $I$ in a polynomial ring $R = k[x_1,...,x_r]$. In this paper we give an upper bound on $\overline{\dstab} (I)$ in terms of $r$ and the maximal generating degree $d(I)$ of $I$ such that $\depth R/\overline{I^n}$ is constant for all $n\geqslant \overline{\dstab}(I)$. As an application, we classify the class of monomial ideals $I$ such that $\overline{I^n}$ is Cohen-Macaulay for some integer $n\gg 0$.

Commutative Algebra
Uniform bounds on projective dimension and Castelnuovo-Mumford regularity

Giulio Caviglia,Alessandro De Stefani

2024-09-19

Abstract:In this article we obtain uniform effective upper bounds for the projective dimension and the Castelnuovo-Mumford regularity of homogeneous ideals inside a standard graded polynomial ring $S$ over a field. Such bounds are independent of the number of variables of $S$, in the spirit of Stillman's conjecture and of the Ananyan-Hochster's theorem, and depend on partial data extracted from the beginning or the end of the resolution. In this direction, we extend a result of McCullough from 2012 regarding a bound on regularity in terms of half the syzygies to a bound on the projective dimension and the regularity of an ideal in terms of a fraction of the syzygies.

Commutative Algebra
Ideals with componentwise linear powers

Takayuki Hibi,Somayeh Moradi

DOI: https://doi.org/10.4153/s0008439524000201

2024-03-12

Canadian Mathematical Bulletin

Abstract:Abstract Let $S=K[x_1,\ldots ,x_n]$ be the polynomial ring over a field K , and let A be a finitely generated standard graded S -algebra. We show that if the defining ideal of A has a quadratic initial ideal, then all the graded components of A are componentwise linear. Applying this result to the Rees ring $\mathcal {R}(I)$ of a graded ideal I gives a criterion on I to have componentwise linear powers. Moreover, for any given graph G , a construction on G is presented which produces graphs whose cover ideals $I_G$ have componentwise linear powers. This, in particular, implies that for any Cohen–Macaulay Cameron–Walker graph G all powers of $I_G$ have linear resolutions. Moreover, forming a cone on special graphs like unmixed chordal graphs, path graphs, and Cohen–Macaulay bipartite graphs produces cover ideals with componentwise linear powers.

mathematics
Regularity of linearly presented squarefree monomial ideals

Hailong Dao,Thanh Vu

2024-06-15

Abstract:We prove a sharp bound for the regularity of a squarefree monomial ideal with a linear presentation. This result also answers in positive a question on the cohomological dimension of squarefree monomial ideals satisfying Serre's $S_2$-condition proposed by Dao and Takagi.

Commutative Algebra
Ideals generated by power sums

Aldo Conca,Anurag K. Singh,Kannan Soundararajan

2024-09-28

Abstract:We consider ideals in a polynomial ring generated by collections of power sum polynomials, and obtain conditions under which these define complete intersection rings, normal domains, and unique factorization domains. We also settle a key case of a conjecture of Conca, Krattenthaler, and Watanabe, and prove other results in that direction.

Commutative Algebra,Number Theory
Symbolic defect of monomial ideals

Benjamin Oltsik

DOI: https://doi.org/10.1080/00927872.2024.2338215

2024-04-14

Communications in Algebra

Abstract:Given a monomial ideal I , we study two functions that quantify ways to measure the difference between symbolic powers and usual powers of I . In many cases we determine the asymptotic growth rate of these two functions. We also perform explicit computations by using the symbolic polyhedron.

mathematics
The Powers of Regular Linear Relations

Houcem Daoud

DOI: https://doi.org/10.1007/s11785-024-01593-3

2024-09-16

Complex Analysis and Operator Theory

Abstract:In this paper, we analyse properties like nullity, defect, ascent and descent of the powers of regular linear relations. We improve some results related to closure and regularity of powers of linear relations in normed spaces. Further, the obtained results are applied to investigate the descent and essential descent spectrum and to give some stability results.

mathematics, applied
Monomial ideals with regular quotients and some edge rings

Dancheng Lu,Hao Zhou

2023-08-05

Abstract:We introduce and study monomial ideals with regular quotients, which can be seen as an extension of monomial ideals with linear quotients. Based on these investigations, we are able to calculate the Betti numbers of toric ideals belonging to various classes of edge rings.

Commutative Algebra
Symbolic powers via extension

Sankhaneel Bisui,Haoxi Hu

2024-10-30

Abstract:This article investigates under which conditions the symbolic powers of the extension of an ideal is the same as the extension of the symbolic powers. Our result generalizes the known scenarios. As an application, we prove formulas for the resurgence of sum of two homogeneous ideals in finitely generated k-algebra domains, where k is algebraically closed. Initially, these were known for ideals in polynomial rings.

Commutative Algebra,Algebraic Geometry
Rational powers, invariant ideals, and the summation formula

Sankhaneel Bisui,Sudipta Das,Tài Huy Hà,Jonathan Montaño

2024-02-20

Abstract:We study the Rees valuations and rational powers of several classes of invariant ideals, providing explicit descriptions in terms of certain polyhedra. This allows us to show that a version of Musta\c{t}\u{a}-Takagi's summation formula for rational powers holds for these ideals. Moreover, for arbitrary ideals over the complex numbers, we prove a weaker version of this formula that holds for high enough rational numbers. Our methods lead to a definition of rational powers of ideal sheaves in normal complex varieties inspired by work of Lejeune-Jalabert-Teissier and Lazarsfeld.

Commutative Algebra
On set theoretically and cohomologically complete intersection ideals

Majid eghbali

DOI: https://doi.org/10.4153/CMB-2014-022-7

2014-04-03

Abstract:Let $(R,\fm)$ be a local ring and $\fa$ be an ideal of $R$. The inequalities $$\begin{array}{ll} \ \Ht(\fa) \leq \cd(\fa,R) \leq \ara(\fa) \leq l(\fa) \leq \mu(\fa) \end{array}$$ are known. It is an interesting and long-standing problem to find out the cases giving equality. Thanks to the formal grade we give conditions in which the above inequalities become equalities.

Commutative Algebra

Some inequalities regarding the regularity of powers of monomial ideals

Differences in regularities of a power and its integral closure and symbolic power

Limit Behavior of the Rational Powers of Monomial Ideals

On the $\mathrm{v}$-number of Gorenstein ideals and Frobenius powers

Equality of Ordinary and Symbolic Powers of Some Classes of Monomial Ideals

Integral closures of powers of sums of ideals

Uniform bounds on symbolic powers in regular rings

Normally torsion-freeness and normality criteria for monomial ideals

On regularity and projective dimension of invariant chains of monomial ideals

Diagonal F-splitting and Symbolic Powers of Ideals

Stability of Depth and Cohen-Macaulayness of Integral Closures of Powers of Monomial Ideals

Uniform bounds on projective dimension and Castelnuovo-Mumford regularity

Ideals with componentwise linear powers

Regularity of linearly presented squarefree monomial ideals

Ideals generated by power sums

Symbolic defect of monomial ideals

The Powers of Regular Linear Relations

Monomial ideals with regular quotients and some edge rings

Symbolic powers via extension

Rational powers, invariant ideals, and the summation formula

On set theoretically and cohomologically complete intersection ideals