Let A be a local ring with maximal ideal m. For an arbitrary ideal I of A, we define the generalized Hilbert coefficients j_k(I) \in Z^{k+1} (k=0,1,...,dim A). When the ideal I is m-primary, j_k(I)=(0,...,0,(-1)^k e_k(I)), where e_k(I) is the classical k-th Hilbert coefficient of I. Using these coefficients, we give a numerical characterization of the homogeneous components of the S_2-ification of S=A[It,t^{-1}].
In this paper we consider multi-graded extended Rees algebras of zero dimensional ideals which are Cohen-Macaulay (CM) with minimal multiplicity. We show that the minimal multiplicity property can occur only for the ordinary extended Rees algebra and the bigraded extended Rees algebra. For the bigraded extended Rees algebra we find necessary conditions for it to be CM with minimal multiplicity. We also produce bigraded Rees algebras which are Cohen-Macaulay with minimal multiplicity.
In this paper, we estimate the Hilbert-Kunz multiplicity of the (extended) Rees algebras in terms of some invariants of the base ring. Also, we give an explicit formula for the Hilbert-Kunz multiplicities of Rees algebras over Veronese subrings.
Generalizing techniques that prove that Veronese subrings are Koszul, we show that Rees and multi-Rees algebras of certain types of principal strongly stable ideals are Koszul. We provide explicit Gröbner basis for the defining ideals of these multi-Rees algebras with squarefree initial monomials, to show that they are also normal Cohen-Macaulay domains.
There is given a characterization for the Rees algebras of parameters in a Gorenstein local ring to be almost Gorenstein graded rings. A characterization is also given for the Rees algebras of socle ideals of parameters. The latter one shows almost Gorenstein Rees algebras rather rarely exist for socle ideals, if the dimension of the base local ring is greater than two.
We deal with classes of prime ideals whose associated graded ring is isomorphic to the Rees algebra of the conormal module in order to describe the divisor class group of the Rees algebra and to examine the normality of the conormal module.
The acquisition of the defining equations of Rees algebras is a natural way to study these algebras and allows certain invariants and properties to be deduced. In this paper, we consider Rees algebras of codimension 2 perfect ideals of hypersurface rings and produce a minimal generating set for their defining ideals. Then, using generic Bourbaki ideals, we study Rees algebras of modules with projective dimension one over hypersurface rings. We describe the defining ideal of such algebras and determine Cohen-Macaulayness and other invariants.
In this paper, we study the $F$-rationality of the Rees algebra and the extended Rees algebra of $\mathfrak{m}$-primary ideals in excellent local rings $(R, \mathfrak{m})$ of prime characteristic. We partially answer some conjectures and questions raised by N. Hara, K.-i. Watanabe and K.-i. Yoshida (J. Algebra, pp.153--190, vol 247, 2002).
Our aim in this paper is to obtain a formula for the multiplicity of the maximal homogeneous ideal of the multi-graded extended Rees algebra. This formula generalizes the one obtained in [8] by Katz and Verma for the ordinary extended Rees algebra.
We provide the sufficient conditions for Rees algebras of modules to be Cohen-Macaulay, which has been proven in the case of Rees algebras of ideals by Johnson-Ulrich and Goto-Nakamura-Nishida. As it turns out the generalization from ideals to modules is not just a routine generalization, but requires a great deal of technical development. We use the technique of generic Bourbaki ideals introduced by Simis, Ulrich and Vasconcelos to obtain the Cohen-Macaulayness of Rees Algebras of modules.
In this article, we compute the regularity of Rees algebra of binomial edge ideals of closed graphs. We obtain a lower bound for the regularity of Rees algebra of binomial edge ideals. We also study some algebraic properties of the Rees algebra and special fiber ring of binomial edge ideals of closed graphs via algebraic properties of their initial algebra and Sagbi basis theory. We obtain an upper bound for the regularity of the special fiber ring of binomial edge ideals of closed graphs.
We study the Rees algebra of a perfect Gorenstein ideal of codimension 3 in a hypersurface ring. We provide a minimal generating set of the defining ideal of these rings by introducing a modified Jacobian dual and applying a recursive algorithm. Once the defining equations are known, we explore properties of these Rees algebras such as Cohen-Macaulayness and Castelnuovo-Mumford regularity.
Let I be a divisorial ideal of a strongly F-regular ring R. Watanabe asked if the symbolic Rees algebra R_s(I) is Cohen-Macaulay whenever it is Noetherian. We develop the notion of multi-symbolic Rees algebras, and use this to show that R_s(I) is indeed Cohen-Macaulay whenever a certain auxiliary ring is finitely generated over R.
This paper explores the relation between multi-Rees algebras and ideals that arise in the study of toric dynamical systems from the theory of chemical reaction networks.
In this paper we describe the equations defining the multi-Rees algebra $R[I_1^{a_1}t_1,\dots,I_r^{a_r}t_r]$, where $R$ is a Noetherian ring and the ideals are generated by subsets of a fixed weak regular sequence.
In this paper we study homological properties of the Rees ring R of the graded maximal ideal of a standard graded k-algebra A. In particular we are interested the comparison of the depth and regularity of A and R.
This paper shows that mixed multiplicities and the multiplicity of Rees modules of good filtrations and that of their reductions are the same. As an application of this result, we obtain interesting results on mixed multiplicities and the multiplicity of Rees modules.
This paper gives a necessary and sufficient condition for Gorensteinness in Rees algebras of the $d$-th power of parameter ideals in certain Noetherian local rings of dimension $d\ge 2$. The main result of this paper produces many Gorenstein Rees algebras over non-Cohen-Macaulay local rings. For example, the Rees algebra $\mathcal{R}(\mathfrak{q}^d)=\oplus_{i\ge 0}\mathfrak{q}^{di}$ is Gorenstein for every parameter ideal $\mathfrak{q}$ that is a reduction of the maximal ideal in a $d$-dimensional Buchsbaum local ring of depth 1 and multiplicity 2.
The Grothendieck-Serre formula for the difference between the Hilbert function and Hilbert polynomial of a graded algebra is generalized for bigraded standard algebras. This is used to get a similar formula for the difference between the Bhattacharya function and Bhattacharya polynomial of two m-primary ideals I and J in a local ring (A,m) in terms of local cohomology modules of Rees algebras of I and J. The cohomology of a variation of the Kirby-Mehran complex for bigraded Rees algebras is studied which is used to characterize the Cohen-Macaulay property of bigraded Rees algebra of I and J fo…
We provide a characterization of the Arf property in both the numerical duplication of a numerical semigroup and in a member of a family of quotients of the Rees algebra studied in arXiv:1403.4200 [math.AC]
We determine the defining equations of the Rees algebra and of the special fiber ring of the ideal of maximal minors of a $2\times n$ sparse matrix. We prove that their initial algebras are ladder determinantal rings. This allows us to show that the Rees algebra and the special fiber ring are Cohen-Macaulay domains, they are Koszul, they have rational singularities in characteristic zero and are F-rational in positive characteristic.
The regularity of the Rees ring of the edge ideal of a finite simple graph is studied. We show that the matching number is a lower and matching number~$+1$ is an upper bound of the regularity, if the Rees algebra is normal. In general the induced matching number is a lower bound for the regularity, which can be shown by applying the squarefree divisor complex.
In this paper we describe the defining equations of the Rees algebra and the special fiber ring of a truncation I of a complete intersection ideal in a polynomial ring over a field with homogeneous maximal ideal m. To describe explicitly the Rees algebra R(I) in terms of generators and relations we map another Rees ring R(M) onto it, where M is the direct sum of powers of m. We compute a Groebner basis of the ideal defining R(M). It turns out that the normal domain R(M) is a Koszul algebra and from this we deduce that in many instances R(I) is a Koszul algebra as well.
In this paper we extend a result of Cowsik on set-theoretic complete intersection and a result Huneke, Morales and Goto and Nishida about Noetherian symbolic Rees algebras of ideals. As applications, we show that the symbolic Rees algebras of the following ideals are Noetherian and the ideals are set-theoretic complete intersections: (a) the edge ideal of a complete graph, (b) the Fermat ideal and (c) the Jacobian ideal of a certain hyperplane arrangement.
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 conjecture of Eisenbud and Ulrich which states that these regularities are equal.
In this article, we find the equations defining the Rees algebra for certain Monomial Curves explicitly and use them to prove that the blowup scheme is not smooth. This proves a conjecture of Francia in affirmative, which says that a dimension one prime in a regular local ring is a complete intersection if it has a smooth blowup.
In this article we study the defining ideal of Rees algebras of ideals of star configurations. We characterize when these ideals are of linear type and provide sufficient conditions for them to be of fiber type. In the case of star configurations of height two, we give a full description of the defining ideal of the Rees algebra, by explicitly identifying a minimal generating set.
Formulas are obtained in terms of complete reductions for the bigraded components of local cohomology modules of bigraded Rees algebras of 0-dimensional ideals in 2-dimensional Cohen-Macaulay local rings. As a consequence, cohomological expressions for the coefficients of the Bhattacharya polynomial of such ideals are obtained.
We find conditions on the local cohomology modules of multi-Rees algebras of admissible filtrations which enable us to predict joint reduction numbers. As a consequence we are able to prove a generalisation of a result of Reid-Roberts-Vitulli in the setting of analytically unramified local rings for completeness of power products of complete ideals.
Let $(R,\mathfrak{m})$ be a two-dimensional regular local ring with infinite residue class field. Then the Rees algebra $\mathcal{R} (I)= \bigoplus_{n \ge 0}I^n$ of $I$ is an almost Gorenstein graded ring in the sense of Goto-Takahashi-Taniguchi for every $\mathfrak{m}$-primary integrally closed ideal $I$ in $R$.
We exhibit a set of minimal generators of the defining ideal of the Rees Algebra associated to the ideal of three bivariate homogeneous polynomials parametrizing a proper rational curve in projective plane, having a minimal syzygy of degree 2.
In this thesis we are interested in studying algebraic properties of monomial algebras, that can be linked to combinatorial structures, such as graphs and clutters, and to optimization problems. A goal here is to establish bridges between commutative algebra, combinatorics and optimization. We study the normality and the Gorenstein property-as well as the canonical module and the a-invariant-of Rees algebras and subrings arising from linear optimization problems. In particular, we study algebraic properties of edge ideals and algebras associated to uniform clutters with the max-flow min-cut pr…
A family of quotient rings of the Rees algebra associated to a commutative ring is studied. This family generalizes both the classical concept of idealization by Nagata and a more recent concept, the amalgamated duplication of a ring. It is shown that several properties of the rings of this family do not depend on the particular member.
Generic Bourbaki ideals were introduced by Simis, Ulrich and Vasconcelos to study the Cohen-Macaulay property of Rees algebras of modules. In this article we prove that the same technique can sometimes be used to investigate the Cohen-Macaulay property of fiber cones of modules and to study the defining ideal of Rees algebras. This is possible as long as the Rees algebra of a given module $E$ is a deformation of the Rees algebra of a generic Bourbaki ideal $I$ of $E$. Our main technical result provides a deformation condition that in fact extends the applicability of generic Bourbaki ideals to…
This paper studies the question of when the Rees algebras associated to arbitrary filtration of ideals are sequentially Cohen-Macaulay. Although this problem has been already investigated by N. T. Cuong, S. Goto and H. L. Truong, their situation is quite a bit of restricted, so we are eager to try the generalization of their results.
One proves that the Rees algebra of an ideal generated by three general binary forms of same degree $\geq 5$ has depth one. The proof hinges on the behavior of the Ratliff-Rush filtration for low powers of the ideal and on establishing that certain large matrices whose entries are quadratic forms have maximal rank. One also conjectures a shorter result that implies the main theorem of the paper.
We study almost complete intersections ideals whose Rees algebras are extremal in the sense that some of their fundamental metrics---depth or relation type---have maximal or minimal values in the class. The focus is on those ideals that lead to almost Cohen--Macaulay algebras and our treatment is wholly concentrated on the nonlinear relations of the algebras. Several classes of such algebras are presented, some of a combinatorial origin. We offer a different prism to look at these questions with accompanying techniques. The main results are effective methods to calculate the invariants of thes…
We study the defining equations of the Rees algebra of ideals arising from curve parametrizations in the plane and in rational normal scrolls, inspired by the work of Madsen and Kustin, Polini and Ulrich. The curves are related by work of Bernardi, Gimigliano and Ida, and we use this framework to relate the defining equations.
Let $R$ be an algebra essentially of finite type over a field $k$ and let $Ω_k(R)$ be its module of Kähler differentials over $k$. If $R$ is a homogeneous complete intersection and $\mathrm{char}(k)=0$, we prove that $Ω_k(R)$ is of linear type whenever its Rees algebra is Cohen-Macaulay and locally at every homogeneous prime $\mathfrak{p}$ the embedding dimension of $R_{\mathfrak{p}}$ is at most twice its dimension.
Consider a grade 2 perfect ideal $I$ in $R=k[x_1,\cdots,x_d]$ which is generated by forms of the same degree. Assume that the presentation matrix $φ$ is almost linear, that is, all but the last column of $φ$ consist of entries which are linear. For such ideals, we find explicit forms of the defining ideal of the Rees algebra $\mathcal{R}(I)$. We also introduce the notion of iterated Jacobian duals.
Let $I$ be an ideal whose symbolic Rees algebra is Noetherian. For $m \geq 1$, the $m$-th symbolic defect, sdefect$(I,m)$, of $I$ is defined to be the minimal number of generators of the module $\frac{I^{(m)}}{I^m}$. We prove that sdefect$(I,m)$ is eventually quasi-polynomial as a function in $m$. We compute the symbolic defect explicitly for certain monomial ideals arising from graphs, termed cover ideals. We go on to give a formula for the Waldschmidt constant, an asymptotic invariant measuring the growth of the degrees of generators of symbolic powers, for ideals whose symbolic Rees algebra…
In a previous paper we exhibited the somewhat surprising property that most direct links of prime ideals in Gorenstein rings are equimultiple ideals with reduction number $1$. This led to the construction of large families of Cohen--Macaulay Rees algebras. The first goal of this paper is to extend this result to arbitrary Cohen--Macaulay rings. The means of the proof are changed since one cannot depend so heavily on linkage theory. We then study the structure of the Rees algebra of these links, more specifically we describe their canonical module in sufficient detail to be able to characterize…
We study some properties of a family of rings $R(I)_{a,b}$ that are obtained as quotients of the Rees algebra associated with a ring $R$ and an ideal $I$. In particular, we give a complete description of the spectrum of every member of the family and describe the localizations at a prime ideal. Consequently, we are able to characterize the Cohen-Macaulay and Gorenstein properties, generalizing known results stated in the local case. Moreover, we study when $R(I)_{a,b}$ is an integral domain, reduced, quasi-Gorenstein, or satisfies Serre's conditions.
Let $R$ be a Noetherian local ring and $I$ an $R$-ideal. It is well-known that if the associated graded ring $\gr_I(R)$ is Cohen-Macaulay (Gorenstein), then so is $R$, but the converse is not true in general. In this paper we investigate the Cohen-Macaulayness and Gorensteinness of the associated graded ring $\gr_I(R)$ under the hypothesis of the extended Rees algebra $R[It,t^{-1}]$ is quasi-Gorenstein or the associated graded ring $\gr_I(R)$ is a domain.
This work is about the structure of the symbolic Rees algebra of the base ideal of a Cremona map. We give sufficient conditions under which this algebra has the "expected form" in some sense. The main theorem in this regard seemingly covers all previous results on the subject so far. The proof relies heavily on a criterion of birationality and the use of the so-called inversion factor of a Cremona map. One adds a pretty long selection of examples of plane and space Cremona maps tested against the conditions of the theorem, with special emphasis on Cohen--Macaulay base ideals.
Recently, Peeva and the second author constructed irreducible projective varieties with regularity much larger than their degree, yielding counterexamples to the Eisenbud-Goto Conjecture. Their construction involved two new ideas: Rees-like algebras and step-by-step homogenization. Yet, all of these varieties are singular and the nature of the geometry of these projective varieties was left open. The purpose of this paper is to study the singularities inherent in this process. We compute the codimension of the singular locus of an arbitrary Rees-like algebra over a polynomial ring. We then sho…
Let $S={\sf k}[X_1,\dots, X_n]$ be a polynomial ring, where ${\sf k}$ is a field. This article deals with the defining ideal of the Rees algebra of squarefree monomial ideal generated in degree $n-2$. As a consequence, we prove that Betti numbers of powers of the cover ideal of the complement graph of a tree do not depend on the choice of tree. Further, we study the regularity and Betti numbers of powers of cover ideals associated to certain graphs.
When $R$ is a Noetherian ring and we have a family of ideals in which every ideal contains at least one nonzero divisor, then it is already known that the defining ideal of the multi-Rees algebra of these ideals is equal to a saturated ideal. In such a case to get the defining ideal of the multi-Rees algebra we only need to saturate the first syzygies of direct sum of this family of ideals. However, this fact is not true, when at least one of these ideals does not contain any nonzero divisor. In this paper we show that the defining ideal of the multi-Rees algebra of a family of ideals of a pol…
Let $R$ be the face ring of a simplicial complex of dimension $d-1$ and ${\mathcal R}(\mathfrak{n})$ be the Rees algebra of the maximal homogeneous ideal $\mathfrak{n}$ of $R.$ We show that the generalized Hilbert-Kunz function $HK(s)=\ell({\mathcal R}(\mathfrak n)/(\mathfrak n, \mathfrak n t)^{[s]})$ is given by a polynomial for all large $s.$ We calculate it in many examples and also provide a Macaulay2 code for computing $HK(s).$
