Related papers: Arithmetic Macaulayfication of projective schemes
A very well-covered graph is a well-covered graph without isolated vertices such that the size of its minimal vertex covers is half of the number of vertices. If $G$ is a Cohen-Macaulay very well-covered graph, we deeply investigate some…
We show that a monomial ideal $I$ has projective dimension $\leq$ 1 if and only if the minimal free resolution of $S/I$ is supported on a graph that is a tree. This is done by constructing specific graphs which support the resolution of the…
We study the defining equations of the Rees algebra of square-free monomial ideals in a polynomial ring over a field. We determine that when an ideal $I$ is generated by $n$ square-free monomials of the same degree then $I$ has relation…
The method of alternating projections (MAP) is a common method for solving feasibility problems. While employed traditionally to subspaces or to convex sets, little was known about the behavior of the MAP in the nonconvex case until 2009,…
Our main purpose is to give multiple examples for using the available implementations for computing the normalization of an affine ring, computing the minimial generators of the normalization as an algebra over the original ring and…
We compute a minimal bigraded resolution of the Rees Algebra associated to a proper rational parametrization of a monomial plane curve. We describe explicitly both the bigraded Betti numbers and the maps of the resolution in terms of a…
Let $K$ be an algebraically closed field. There has been much interest in characterizing multiple structures in $\P^n_K$ defined on a linear subspace of small codimension under additional assumptions (e.g. Cohen-Macaulay). We show that no…
A "tropical ideal" is an ideal in the idempotent semiring of tropical polynomials that is also, degree by degree, a tropical linear space. We introduce a construction based on transversal matroids that canonically extends any principal…
The aim of this paper is to elucidate the relationship between the Gorenstein Rees algebra $\R(I):=\bigoplus_{i\ge 0}I^i$ of an ideal $I$ in a complete Noetherian local ring $A$ and the graded canonical module of the extended Rees algebra…
Let I be a complete m-primary ideal of a regular local ring (R,m). In the case where R has dimension two, the beautiful theory developed by Zariski implies that I factors uniquely as a product of powers of simple complete ideals and each of…
Let $R=\k[x,y,z]$ and $I=(f_0,\dots,f_{n-1})$ be a height two perfect ideal which is almost linearly presented (that is, all but the last column have linear entries, but the last column has entries which are homogeneous of degree $2$).…
We provide a real algebraic symbolic-numeric algorithm for computing the real variety $V_R(I)$ of an ideal $I$, assuming it is finite while $V_C(I)$ may not be. Our approach uses sets of linear functionals on $R[X]$, vanishing on a given…
We present algorithms for the computation of the Castelnuovo-Mumford regularity of the Rees algebra and of the fiber ring of equigenerated $\mm$-primary ideals in two variables. Applying these algorithms, we find a counter-example to a…
In this article we investigate the condition that the Proj of a Rees algebra of a graded family of ideals in a Noetherian local ring $R$ is Noetherian. In many cases, the Proj will be Noetherian even when the Rees algebra is not. For…
Let X be a nonsingular arithmetically Cohen-Macaulay projective scheme, Z a nonsingular subscheme of X. Let \pi: Y --> X be the blowup of X along the ideal sheaf of Z, E_0 the pull-back of a general hyperplane in X and E the exceptional…
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…
Let I be the ideal of minors of a 2 by n matrix of linear forms with the expected codimension. In this paper we prove that the Rees algebra of I and its special fiber ring are Cohen-Macaulay and Koszul; in particular, they are quadratic…
We show that for a vertex decomposable simplicial complex $\Delta$, the Rees algebra of $I_{\Delta^{\vee}}$ is a normal Cohen-Macaulay domain. As consequences, we show that any squarefree weakly polymatroidal ideal is normal and we obtain…
Let $J\subset I$ be ideals in a formally equidimensional local ring with $\lambda(I/J)<\infty.$ Rees proved that for all $n\gg0$, $\lambda(I^n/J^n)$ is a polynomial $P(I/J)(X)$ in $n$ of degree at most dim $R$ and $J$ is a reduction of $I$…
Let $(R,\m)$ be an analytically unramified Cohen-Macaulay local ring of dimension 2 with infinite residue field and $\ov{I}$ be the integral closure of an ideal $I$ in $R$. Necessary and sufficient conditions are given for…