English
Related papers

Related papers: A formula for symbolic powers

200 papers

We compute the reverse lexicographic generic initial ideals of the powers of a 2-complete intersection ideal I. In particular, we give six algorithms to compute these generic initial ideals, the choice of which depends on the power and on…

Commutative Algebra · Mathematics 2012-10-02 Sarah Mayes

We present a close relationship between matching number, covering numbers and their fractional versions in combinatorial optimization and ordinary powers, integral closures of powers, and symbolic powers of monomial ideals. This…

Commutative Algebra · Mathematics 2021-10-18 Huy Tai Ha , Ngo Viet Trung

In this paper we study ideals of points lying on rational normal curves defined in projective plane and projective $ 3 $-space. We give an explicit formula for the value of Castelnuovo-Mumford regularity for their ordinary powers. Moreover,…

Algebraic Geometry · Mathematics 2020-07-20 Iman Bahmani Jafarloo , Grzegorz Malara

We completely determine the depth and regularity of symbolic powers of the fiber product of two homogeneous ideals in disjoint sets of variables, given knowledge of the symbolic powers of each factor. Generalizing previous joint work with…

Commutative Algebra · Mathematics 2024-09-27 Hoang Viet Do , Hop D. Nguyen , Seyed Amin Seyed Fakhari

Let $R$ be a commutative ring and $M$ be an $R$-module, and let $I(R)^*$ be the set of all non-trivial ideals of $R$. The $M$-intersection graph of ideals of $R$, denoted by $G_M(R)$, is a graph with the vertex set $I(R)^*$, and two…

Commutative Algebra · Mathematics 2017-03-01 F. Heydari

Let I be an m-primary ideal of a Noetherian local ring (R,m). We consider the Gorenstein and complete intersection properties of the associated graded ring G(I) and the fiber cone F(I) of I as reflected in their defining ideals as…

Commutative Algebra · Mathematics 2007-05-23 William Heinzer , Mee-Kyoung Kim , Bernd Ulrich

The main object of this note is to study the conormal module $M$ and the computation of the second symbolic power $\bar I^{(2)}$ of an ideal $\bar I$ in the residue ring $R/H$ of a polynomial ring $R$ over a field of characteristic zero.…

Algebraic Geometry · Mathematics 2007-05-23 Guangfeng Jiang

We consider the ring S=C[x_ij] of polynomial functions on the vector space C^(m x n) of complex m x n matrices. We let GL= GL_m x GL_n and consider its action via row and column operations on C^(m x n) (and the induced action on S). For…

Commutative Algebra · Mathematics 2019-05-30 Claudiu Raicu

In a Cohen-Macaulay local ring $(A, \mathfrak{m})$, we study the Hilbert function of an integrally closed $\mathfrak{m}$-primary ideal $I$ whose reduction number is three. With a mild assumption we give an inequality $\ell_A(A/I) \ge…

Commutative Algebra · Mathematics 2021-05-18 Shinya Kumashiro

Let X\subset PP^n be a projective scheme over a field, and let phi:X --> Y be a finite morphism. Our main result is a formula in terms of global data for the maximum of the Castelnuovo-Mumford regularity of the fibers of \phi, considered as…

Algebraic Geometry · Mathematics 2008-07-29 David Eisenbud , Joe Harris

Consider the ideal I in K[x,y,z] corresponding to six points of P2. We study the limiting behaviour of the symbolic generic initial system, of I obtained by taking the reverse lexicographic generic initial ideals of the symbolic powers of…

Commutative Algebra · Mathematics 2013-05-02 Sarah Mayes

Given a polynomial ring $C$ over a field and proper ideals $I$ and $J$ whose generating sets involve disjoint variables, we determine how to embed the associated primes of each power of $I+J$ into a collection of primes described in terms…

Commutative Algebra · Mathematics 2021-10-12 Irena Swanson , Robert M. Walker

Let $G$ be a simple graph on $n$ vertices and let $J_{G,m}$ be the generalized binomial edge ideal associated to $G$ in the polynomial ring $K[x_{ij}, 1\le i \le m, 1\le j \le n]$. We classify the Cohen-Macaulay generalized binomial edge…

Commutative Algebra · Mathematics 2023-07-04 Luca Amata , Marilena Crupi , Giancarlo Rinaldo

A restricted $d$th power of an ideal $I$ is obtained by restricting the exponent vectors allowed to appear on the "natural" generating set of $I^d$, for some integer $d$. In this paper, we study homological properties of restricted powers…

Commutative Algebra · Mathematics 2021-07-01 Keller VandeBogert

We generalize a result of Ein-Lazarsfeld-Smith (math.AG/0202303), proving that for an arbitrary sequence of zero-dimensional ideals, the multiplicity of the sequence is equal with its volume. This is done using a deformation to monomial…

Commutative Algebra · Mathematics 2007-05-23 Mircea Mustata

We study when blowup algebras are $F$-split or strongly $F$-regular. Our main focus is on algebras given by symbolic and ordinary powers of ideals of minors of a generic matrix, a symmetric matrix, and a Hankel matrix. We also study ideals…

Commutative Algebra · Mathematics 2024-06-19 Alessandro De Stefani , Jonathan Montaño , Luis Núñez-Betancourt

Let $R=K[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I$ be a monomial ideal generated in degree $d$. Bandari and Herzog conjectured that a monomial ideal $I$ is polymatroidal if and only if all its monomial…

Commutative Algebra · Mathematics 2019-01-23 Amir Mafi , Dler Naderi

The purpose of this note is to provide an overview of the containment problem for symbolic and ordinary powers of homogeneous ideals, related conjectures and examples. We focus here on ideals with zero dimensional support. This is an area…

Algebraic Geometry · Mathematics 2018-03-20 Tomasz Szemberg , Justyna Szpond

We show that for any two proper monomial ideals I and J in the polynomial ring S = k[x_1, ..., x_n] the ring S/IJ is Golod. We also show that if I is squarefree then for large enough k the quotient S/I^{(k)} of S by the kth symbolic power…

Commutative Algebra · Mathematics 2012-09-13 S. A. Seyed Fakhari , Volkmar Welker

This paper studies the combinatorics of ideals which recently appeared in ergodicity results for analytic equivalence relations. The ideals have the following topological representation. There is a separable metrizable space $X$, a…

Logic · Mathematics 2013-03-06 Adam Kwela , Marcin Sabok