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.
Let S be a standard N^r-graded algebra over a local ring A, and let M be a finitely generated Z^r-graded S-module. We characterize the Cohen-Macaulayness of M in terms of the vanishing of certain sheaf cohomology modules. As a consequence, we apply our result to study the Cohen-Macaulayness of multi-Rees modules (also called Rees modification). Our work extends previous studies on the Cohen-Macaulayness of multi-Rees algebras.
In this article, we give a condition on the vanishing of finitely many homogeneous components which must imply the asymptotic vanishing for multigraded modules. We apply our result to multi-Rees algebras of ideals. As a consequence, we obtain a result on normality of monomial ideals, which extends and improves the results of Reid-Roberts-Vitulli, Singla, and Sarkar-Verma.
We study relationship between postulation and reduction vectors of admissible multigraded filtrations $\mathcal F= \{\mathcal F (\underline n)\}_{\underline n\in\mathbb Z^s}$ of ideals in Cohen-Macaulay local rings of dimension at most two. This is enabled by a suitable generalisation of the Kirby-Mehran Complex. An analysis of its homology leads to an analogue of Huneke's Fundamental Lemma which plays a crucial role in our investigations. We also clarify the relationship between the Cohen-Macaulay property of the multigraded Rees algebra of $\mathcal F$ and reduction vectors with respect to c…
In this article we analyze the implicitization problem of the image of a rational map $ϕ: X --> P^n$, with $T$ a toric variety of dimension $n-1$ defined by its Cox ring $R$. Let $I:=(f_0,...,f_n)$ be $n+1$ homogeneous elements of $R$. We blow-up the base locus of $ϕ$, $V(I)$, and we approximate the Rees algebra $Rees_R(I)$ of this blow-up by the symmetric algebra $Sym_R(I)$. We provide under suitable assumptions, resolutions $\Z.$ for $Sym_R(I)$ graded by the torus-invariant divisor group of $X$, $Cl(X)$, such that the determinant of a graded strand, $\det((\Z.)_μ)$, gives a multiple of the i…
Let $R=\bigoplus_{\underline{n} \in \mathbb{N}^t}R_{\underline{n}}$ be a commutative Noetherian $\mathbb{N}^t$-graded ring, and $L = \bigoplus_{\underline{n}\in\mathbb{N}^t}L_{\underline{n}}$ be a finitely generated $\mathbb{N}^t$-graded $R$-module. We prove that there exists a positive integer $k$ such that for any $\underline{n} \in \mathbb{N}^t$ with $L_{\underline{n}} \neq 0$, there exists a primary decomposition of the zero submodule $O_{\underline{n}}$ of $L_{\underline{n}}$ such that for any $P \in {\rm Ass}_{R_0}(L_{\underline{n}})$, the $P$-primary component $Q$ in that primary decomp…
The toric fiber product is a general procedure for gluing two ideals, homogeneous with respect to the same multigrading, to produce a new homogeneous ideal. Toric fiber products generalize familiar constructions in commutative algebra like adding monomial ideals and the Segre product. We describe how to obtain generating sets of toric fiber products in non-zero codimension and discuss persistence of normality and primary decompositions under toric fiber products. Several applications are discussed, including (a) the construction of Markov bases of hierarchical models in many new cases, (b) a n…
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).
In this paper, we introduce the notion of the strong Rees property (SRP) for $\mathfrak{m}$-primary ideals of a Noetherian local ring and prove that any power of the maximal ideal $\mathfrak{m}$ has its property if the associated graded ring $G$ of $\mathfrak{m}$ satisfies $\text{depth} \ G \ge 2$. As its application, we characterize two-dimensional excellent normal local domains so that $\mathfrak{m}$ is a $p_g$-ideal. Finally we ask what $\mathfrak{m}$-primary ideals have SRP and state a conjecture which characterizes the case when $\mathfrak{m}^n$ are the only ideals which have SRP.
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.
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$.
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…
In \cite{rees} Rees gave a characterization for the normal joint reduction number zero of two $\m$-primary ideals in an analytically unramified Cohen-Macaulay local ring of dimension two. Rees' result is a generalization of Zariski's product theorem for complete ideals in a regular local ring of dimension two. The aim of this paper is to extend Rees' theorem for the ordinary powers of $\m$-primary ideals $I$ and $J$ in a Cohen-Macaulay local ring of dimension two. Following Rees' approach, we define the modified Koszul homology modules $M^1_{r,s}(a^k,b^k)$ for a joint reduction $(a,b)$ of $I$ …
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 the simple complete factors of I has a unique Rees valuation. In the higher dimensional case, a simple complete ideal of R often has more than one Rees valuation, and a complete m-primary ideal I may have finitely many or infinitely many base points. For the ideals having finitely many base points, Lipman proves a unique factorization involving special star…
Given a commutative local ring $(R,\mathfrak m)$ and an ideal $I$ of $R$, a family of quotients of the Rees algebra $R[It]$ has been recently studied as a unified approach to the Nagata's idealization and the amalgamated duplication and as a way to construct interesting examples, especially integral domains. When $R$ is noetherian of prime characteristic, we compute the Hilbert-Kunz function of the members of this family and, provided that either $I$ is $\mathfrak{m}$-primary or $R$ is regular and F-finite, we also find their Hilbert-Kunz multiplicity. Some consequences and examples are explor…
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 obtain a generalization, in dimension $3$, of a theorem of David Rees about joint reductions of the bigraded filtration $\{ \overline{I^rJ^s}\}$ of complete ${\mathfrak m}$-primary ideals and vanishing of the second normal Hilbert coefficient $\overline{e}_2(IJ)$ where $R$ is a two-dimensional Cohen-Macaulay analytically unramified local ring with maximal ideal $\mathfrak m.$ This generalization is obtained as a consequence of a formula for the third local cohomology module of the extended Rees algebras of the $\mathbb Z^3$-graded filtration $\{\overline{I^rJ^sK^t}\}$ with su…
We prove that the Hilbert-Kunz function of the ideal $(I,It)$ of the Rees algebra $\mathcal{R}(I)$, where $I$ is an $\mathfrak{m}$-primary ideal of a $1$-dimensional local ring $(R,\mathfrak{m})$, is a quasi-polynomial in $e$, for large $e.$ For $s \in \mathbb{N}$, we calculate the Hilbert-Samuel function of the $R$-module $I^{[s]}$ and obtain an explicit description of the generalized Hilbert-Kunz function of the ideal $(I,It)\mathcal{R}(I)$ when $I$ is a parameter ideal in a Cohen-Macaulay local ring of dimension $d \geq 2$, proving that the generalized Hilbert-Kunz function is a piecewise p…
We develop a theory of multiplicities and mixed multiplicities of filtrations, extending the theory for filtrations of $m$-primary ideals to arbitrary (not necessarily Noetherian) filtrations. The mixed multiplicities of $r$ filtrations on an analytically unramified local ring $R$ come from the coefficients of a suitable homogeneous polynomial in $r$ variables of degree equal to the dimension of the ring, analogously to the classical case of the mixed multiplicities of $m$-primary ideals in a local ring. We prove that the Minkowski inequalities hold for arbitrary filtrations. The characterizat…
This Note provides first a generalization of the stabilization result of Eisenbud and Ulrich for the regularity of powers of a m-primary ideal to the case of ideals that are not generated in a single degree. We then partially extend our previous results expressing this stabilization degree in term of the regularity of a specific graded strand of the Rees ring : The natural extension of the statement holds at least if the stabilization index or the regularity is greater than the number of variables. In any case a precise comparison is given.
Let $(A, \frak m)$ be a noetherian local ring with maximal ideal $\frak{m}$ and infinite residue field $k = A/\frak{m}.$ Let $J$ be an $\frak m$-primary ideal, $I_1,...,I_s$ ideals of $A$, and $M$ a finitely generated $A$-module. In this paper, we interpret mixed multiplicities of $(I_1,..., I_s,J)$ with respect to $M$ as multiplicities of joint reductions of them. This generalizes the Rees's theorem on mixed multiplicity (Theorem 2.4). As an application we show that mixed multiplicities are also multiplicities of Rees's superficial sequences.
We study a large family of products of Borel fixed ideals of maximal minors. We compute their initial ideals and primary decompositions, and show that they have linear free resolutions. The main tools are an extension of straightening law and a very surprising primary decomposition formula. We study also the homological properties of associated multi-Rees algebra which are shown to be Cohen-Macaulay, Koszul and defined by a Gröbner basis of quadrics.
In this paper we study irreducible representations and symbolic Rees algebras of monomial ideals. Then we examine edge ideals associated to vertex-weighted oriented graphs. These are digraphs having no oriented cycles of length two with weights on the vertices. For a monomial ideal with no embedded primes we classify the normality of its symbolic Rees algebra in terms of its primary components. If the primary components of a monomial ideal are normal, we present a simple procedure to compute its symbolic Rees algebra using Hilbert bases, and give necessary and sufficient conditions for the equ…
Suppose that $R$ is an excellent local domain with maximal ideal $m_R$. The theory of multiplicities and mixed multiplicities of $m_R$-primary ideals extends to (possibly non Noetherian) filtrations of $R$ by $m_R$-primary ideals, and many of the classical theorems for $m_R$-primary ideals continue to hold for filtrations. The celebrated theorems involving inequalities continue to hold for filtrations, but the good conclusions that hold in the case of equality for $m_R$-primary ideals do not hold for filtrations. In this article, we consider multiplicities and mixed multiplicities of $R$ by $m…
The second Veronese ideal $I_n$ contains a natural complete intersection $J_n$ generated by the principal $2$-minors of a symmetric $(n\times n)$-matrix. We determine subintersections of the primary decomposition of $J_n$ where one intersectand is omitted. If $I_n$ is omitted, the result is the other end of a complete intersection link as in liaison theory. These subintersections also yield interesting insights into binomial ideals and multigraded algebra. For example, if $n$ is even, $I_n$ is a Gorenstein ideal and the intersection of the remaining primary components of $J_n$ equals $J_n+\lan…
Let $(R, {\mathfrak m})$ be a Noetherian local ring and let $I$ be an $R$-ideal. Inspired by the work of Hübl and Huneke, we look for conditions that guarantee the Cohen-Macaulayness of the special fiber ring ${\mathcal F}={\mathcal R}/{\mathfrak m}{\mathcal R}$ of $I$, where ${\mathcal R}$ denotes the Rees algebra of $I$. Our key idea is to require `good' intersection properties as well as `few' homogeneous generating relations in low degrees. In particular, if $I$ is a strongly Cohen-Macaulay $R$-ideal with $G_{\ell}$ and the expected reduction number, we conclude that ${\mathcal F}$ is alwa…
In this paper, we use the tools of Gröbner bases and combinatorial secant varieties to study the determinantal ideals $I_t$ of the extended Hankel matrices. Denote by $c$-chain a sequence $a_1,\...,a_k$ with $a_i+c<a_{i+1}$ for all $i=1,\...,k-1$. Using the results of $c$-chain, we solve the membership problem for the symbolic powers $I_t^{(s)}$ and we compute the primary decomposition of the product $I_{t_1}\... I_{t_k}$ of the determinantal ideals. Passing through the initial ideals and algebras we prove that the product $I_{t_1}\... I_{t_k}$ has a linear resolution and the multi-homogeneous…
In this paper we define and explore properties of mixed multiplicities of (not necessarily Noetherian) filtrations of $m_R$-primary ideals in a Noetherian local ring $R$, generalizing the classical theory for $m_R$-primary ideals. We construct a real polynomial whose coefficients give the mixed multiplicities. This polynomial exists if and only if the dimension of the nilradical of the completion of $R$ is less than the dimension of $R$, which holds for instance if $R$ is excellent and reduced. We show that many of the classical theorems for mixed multiplicities of $m_R$-primary ideals hold fo…
Suppose that R is an analytically irreducible or excellent local domain with maximal ideal m_R. We consider multiplicities and mixed multiplicities of R by filtrations of m_R-primary ideals. We show that the theorem of Teissier, Rees and Sharp, and Katz, characterizing equality in the Minkowski inequality for multiplicities of ideals, is true for divisorial filtrations, and for the larger category of bounded filtrations. This theorem is not true for arbitrary filtrations of m_R-primary ideals.
We study monomial ideals using the operation polarization to first turn them into square-free monomial ideals. We focus on monomial ideals whose polarization produce simplicial trees, and show that many of the properties of simplicial trees hold for such ideals.This includes Cohen-Macaulayness of the Rees ring, and being sequentially Cohen-Macaulay. The appendix is an independent study of primary decomposition in a sequentially Cohen-Macaulay module. We demonstrate how every submodule appearing in the filtration of a sequentially Cohen-Macaulay module can be described in terms of the primary d…
We associate convex regions in R^n to m-primary graded sequences of subspaces, in particular m-primary graded sequences of ideals, in a large class of local algebras (including analytically irreducible local domains). These convex regions encode information about Samuel multiplicities. This is in the spirit of the theory of Grobner bases and Newton polyhedra on one hand, and the theory of Newton-Okounkov bodies for linear systems on the other hand. We use this to give a new proof, as well as a generalization of a Brunn-Minkowski inequality for multiplicities due to Teissier and Rees-Sharp.
Let $(A,\mathfrak{m})$ be a Cohen-Macaulay local ring of dimension $d \geq 2$ with infinite residue field and let $I$ be an $\mathfrak{m}$-primary ideal. For $0 \leq i \leq d$ let $I_i$ be the $i^{th}$-coefficient ideal of $I$. Also let $\widetilde{I} = I_d$ denote the Ratliff-Rush closure of $A$. Let $G = G_I(A)$ be the associated graded ring of $I$. We show that if $\dim H^j_{G_+}(G)^\vee \leq j -1$ for $1 \leq j \leq i \leq d-1$ then $(I^n)_{d-i} = \widetilde{I^n}$ for all $n \geq 1$. In particular if $G$ is generalized Cohen-Macaulay then $(I^n)_1 = \widetilde{I^n}$ for all $n \geq 1$. As …
Symmetric strongly shifted ideals are a class of monomial ideals which come equipped with an action of the symmetric group and are analogous to the well-studied class of strongly stable monomial ideals. In this paper we focus on algebraic and combinatorial properties of symmetric strongly shifted ideals. On the algebraic side, we elucidate properties that pertain to behavior under ideal operations, primary decomposition, and the structure of their Rees algebra. On the combinatorial side, we develop a notion of partition Borel generators which leads to connections to discrete polymatroids, conv…
