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.
Let $G$ be a simple graph on $n$ vertices and $J_G$ denote the binomial edge ideal of $G$ in the polynomial ring $S = \mathbb{K}[x_1, \ldots, x_n, y_1, \ldots, y_n].$ In this article, we compute the second graded Betti numbers of $J_G$, and we obtain a minimal presentation of it when $G$ is a tree or a unicyclic graph. We classify all graphs whose binomial edge ideals are almost complete intersection, prove that they are generated by a $d$-sequence and that the Rees algebra of their binomial edge ideal is Cohen-Macaulay. We also obtain an explicit description of the defining ideal of the Rees …
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.
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…
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.
We consider a rational map $ϕ: \mathbb{P}_k^{m} \dashrightarrow \mathbb{P}_k^n$ that is a parameterization of an $m$-dimensional variety. Our main goal is to study the $(m-1)$-dimensional fibers of $ϕ$ in relation to the $m$-th local cohomology modules of the Rees algebra of its base ideal.
In this paper we show that there is a close relationship between the invariants characterizing the homogeneous vanishing of the local cohomology of the Rees algebra and the associated graded ring for the good filtrations case. We obtain relationships between the Castelnuovo-Mumford regularity of the fiber cone, associated graded ring, Rees algebra and reduction number for the good filtrations case.
Let $I$ be an arbitrary ideal generated by binomials. We show that certain equivalence classes of fibers are associated to any minimal binomial generating set of $I$. We provide a simple and efficient algorithm to compute the indispensable binomials of a binomial ideal from a given generating set of binomials and an algorithm to detect whether a binomial ideal is generated by indispensable binomials.
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.
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.
Let $G$ be a simple graph on $n$ vertices. Let $L_G \text{ and } \mathcal{I}_G \: $ denote the Lovász-Saks-Schrijver(LSS) ideal and parity binomial edge ideal of $G$ in the polynomial ring $S = \mathbb{K}[x_1,\ldots, x_n, y_1, \ldots, y_n] $ respectively. We classify graphs whose LSS ideals and parity binomial edge ideals are complete intersections. We also classify graphs whose LSS ideals and parity binomial edge ideals are almost complete intersections, and we prove that their Rees algebra is Cohen-Macaulay. We compute the second graded Betti number and obtain a minimal presentation of LSS i…
We prove that the multi-Rees algebra $\mathcal{R}(I_1 \oplus \cdots \oplus I_r)$ of a collection of strongly stable ideals $I_1, \ldots, I_r$ is of fiber type. In particular, we provide a Gröbner basis for its defining ideal as a union of a Gröbner basis for its special fiber and binomial syzygies. We also study the Koszulness of $\mathcal{R}(I_1 \oplus \cdots \oplus I_r)$ based on parameters associated to the collection. Furthermore, we establish a quadratic Gröbner basis of the defining ideal of $\mathcal{R}(I_1 \oplus I_2)$ where each of the strongly stable ideals has two quadric Borel gene…
We investigate the Rees algebra and the toric ring of the squarefree monomial ideal associated to the three-dimensional Ferrers diagram. Under the projection property condition, we describe explicitly the presentation ideals of the Rees algebra and the toric ring. We show that the toric ring is a Koszul Cohen--Macaulay normal domain, while the Rees algebra is Koszul and the defining ideal is of fiber type.
Given two determinantal rings over a field k. We consider the Rees algebra of the diagonal ideal, the kernel of the multiplication map. The special fiber ring of the diagonal ideal is the homogeneous coordinate ring of the join variety. When the Rees algebra and the Symmetric algebra coincide, we show that the Rees algebra is Cohen-Macaulay.
In this article, we study the Castelnuovo-Mumford regularity and Gorenstein properties of the fiber cone. We obtain upper bounds for the Castelnuovo-Mumford regularity of the fiber cone and obtain sufficient conditions for the regularity of the fiber cone to be equal to that of the Rees algebra. We obtain a formula for the canonical module of the fiber cone and use it to study the Gorenstein property of the fiber cone.
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…
Let $M$ and $N$ be two monomials of the same degree, and let $I$ be the smallest Borel ideal containing $M$ and $N$. We show that the toric ring of $I$ is Koszul by constructing a quadratic Gröbner basis for the associated toric ideal. Our proofs use the construction of graphs corresponding to fibers of the toric map. As a consequence, we conclude that the Rees algebra is also Koszul.
There is a natural epimorphism from the symmetric algebra to the Rees algebra of an ideal. When this epimorphism is an isomorphism, we say that the ideal is of linear type. Given two determinantal rings over a field, we consider the diagonal ideal, the kernel of the multiplication map. We prove that the diagonal ideal is of linear type and recover the defining ideal of the Rees algebra in some special cases. The special fiber ring of the diagonal ideal is the homogeneous coordinate ring of the join variety.
Given any equigenerated monomial ideal $I$ with the property that the defining ideal $J$ of the fiber cone $ F(I)$ of $I$ is generated by quadratic binomials, we introduce a matrix such that the set of its binomial $2$-minors is a generating set of $J$. In this way, we characterize the fiber cone of sortable and Freiman ideals.
Special fibers of coordinate sections of Hankel Matrices
Wabash College（瓦巴什学院）；Federal Rural University of the Semi-Arid Region（半干旱地区联邦农村大学）；Federal University of Rio de Janeiro（里约热内卢联邦大学）；Indian Institute of Technology Patna（巴特那印度理工学院）；University of Neuchâtel（纳沙泰尔大学）
We establish strong relationships between the Castelnuovo-Mumford regularity and the Ratliff-Rush closure of an ideal. Our results have several interesting consequences on the computation of the Ratliff-Rush closure, the stability of the Ratliff-Rush filtration, the invariance of the reduction number, and the computation of the Castelnuovo-Mumford regularity of the Rees algebra and the fiber ring. In particular, we prove that the Castelnuovo-Mumford regularity of the Rees algebra and of the fiber ring are equal for large classes of monomial ideals in two variables, thereby verifying a conjectu…
A tame ideal is an ideal $I$ such that the blowup of the affine space $\mathbb{A}_k^n$ along $I$ is regular. In this paper, we give a combinatorial characterization of tame squarefree monomial ideals. More precisely, we show that a square free monomial ideal is tame if and only if the corresponding clutter is a union of some isolated vertices and a complete $d$-partite $d$-uniform clutter. It turns out that a squarefree monomial ideal is tame, if and only if the facets of its Stanley-Reisner complex have mutually disjoint complements. Also, we characterize all monomial ideals generated in degr…
Given a monomial $m$ in a polynomial ring and a subset $L$ of the variables of the polynomial ring, the principal $L$-Borel ideal generated by $m$ is the ideal generated by all monomials which can be obtained from $m$ by successively replacing variables of $m$ by those which are in $L$ and have smaller index. Given a collection $\mathcal{I}=\{I_1,\ldots,I_r\}$ where $I_i$ is $L_i$-Borel for $i=1,\ldots,r$ (where the subsets $L_1,\ldots,L_r$ may be different for each ideal), we prove in essence that if the bipartite incidence graph among the subsets $L_1,\ldots,L_r$ is chordal bipartite, then t…
Can an ideal I in a polynomial ring k[x] over a field be moved by a change of coordinates into a position where it is generated by binomials $x^a - cx^b$ with c in k, or by unital binomials (i.e., with c = 0 or 1)? Can a variety be moved into a position where it is toric? By fibering the G-translates of I over an algebraic group G acting on affine space, these problems are special cases of questions about a family F of ideals over an arbitrary base B. The main results in this general setting are algorithms to find the locus of points in B over which the fiber of F - is contained in the fiber o…
We find the defining equations of Rees rings of linearly presented height three Gorenstein ideals. To prove our main theorem we use local cohomology techniques to bound the maximum generator degree of the torsion submodule of symmetric powers in order to conclude that the defining equations of the Rees algebra and the special fiber ring have the same image in the symmetric algebra. We show that this image is the unmixed part of the ideal generated by the maximal minors of a matrix of linear forms which is annihilated by a vector of indeterminates, and otherwise has maximal possible grade. An i…
In this article, we define a class of binomial ideals associated to a simplicial complex. This class of ideals appears in the presentation of fiber cones of codimension 2 lattice ideals \cite{hm}, and in the work of Barile and Morales \cite{bm2}, \cite{bm3}, \cite{bm4}. We compute the reduction number of Binomial extensions of Simplicial ideals. This extends all the previous results in this area.
It is shown that the Orlik-Terao algebra is graded isomorphic to the special fiber of the ideal $I$ generated by the $(n-1)$-fold products of the members of a central arrangement of size $n$. This momentum is carried over to the Rees algebra (blowup) of $I$ and it is shown that this algebra is of fiber-type and Cohen-Macaulay. It follows by a result of Simis-Vasconcelos that the special fiber of $I$ is Cohen-Macaulay, thus giving another proof of a result of Proudfoot-Speyer about the Cohen-Macauleyness of the Orlik-Terao algebra.
Consider a height two ideal, $I$, which is minimally generated by $m$ homogeneous forms of degree $d$ in the polynomial ring $R=k[x,y]$. Suppose that one column in the homogeneous presenting matrix $\f$ of $I$ has entries of degree $n$ and all of the other entries of $\f$ are linear. We identify an explicit generating set for the ideal $\Cal A$ which defines the Rees algebra $\Cal R=R[It]$; so $\Cal R=S/\Cal A$ for the polynomial ring $S=R[T_1,...,T_m]$. We resolve $\Cal R$ as an $S$-module and $I^s$ as an $R$-module, for all powers $s$. The proof uses the homogeneous coordinate ring, $A=S/H$,…
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…
We determine the equations of the blowup of $\mathbb{P}^n$ along a $d$-fold rational normal scroll $S$, and we prove that the Rees ring and special fiber ring of $S \subseteq \mathbb{P}^n$ are Koszul algebras.
For any ideal $I$ in a Noetherian local ring or any graded ideal $I$ in a standard graded $K$-algebra over a field $K$, we introduce the socle module $\mathrm{Soc}(I)$, whose graded components give us the socle of the powers of $I$. It is observed that $\mathrm{Soc}(I)$ is a finitely generated module over the fiber cone of $I$. In the case that $S$ is the polynomial ring and all powers of $I\subseteq S$ have linear resolution, we define the module $\mathrm{Soc}^*(I)$ which is a module over the Rees ring of $I$. For the edge ideal of a graph and for classes of polymatroidal ideals we study the …
In this paper, we are mainly concerned with the blow-up algebras of the secant varieties of balanced rational normal scrolls. In the first part, we give implicit defining equations of their associated Rees algebras and fiber cones. Consequently, we can tell that the fiber cones are Cohen--Macaulay normal domains. Meanwhile, these fiber cones have rational singularities in characteristic zero, and are $F$-rational in positive characteristic. The Gorensteinness of the fiber cones can also be characterized. In the second part, we compute the Castelnuovo--Mumford regularities and $\mathbf{a}$-inva…
Free divisors form a celebrated class of hypersurfaces which has been extensively studied in the past fifteen years. Our main goal is to introduce four new families of homogeneous free divisors and investigate central aspects of the blowup algebras of their Jacobian ideals. For instance, for all families the Rees algebra and its special fiber are shown to be Cohen-Macaulay -- a desirable feature in blowup algebra theory. Moreover, we raise the problem of when the analytic spread of the Jacobian ideal of a (not necessarily free) polynomial is maximal, and we characterize this property with tool…
Let $L\subset \mathbb{Z}^n$ be a lattice and $I_L=\langle x^{\bf u}-x^{\bf v}:\ {\bf u}-{\bf v}\in L\rangle$ be the corresponding lattice ideal in $\Bbbk[x_1,\ldots, x_n]$, where $\Bbbk$ is a field. In this paper we describe minimal binomial generating sets of $I_L$ and their invariants. We use as a main tool a graph construction on equivalence classes of fibers of $I_L$. As one application of the theory developed we characterize binomial complete intersection lattice ideals, a longstanding open problem in the case of non-positive lattices.
Our object of study is a rational map Psi from projective s-1 space to projective n-1 space defined by homogeneous forms g1,...,gn, of the same degree d, in the homogeneous coordinate ring R=k[x1,...,xs] of projective s-1 space. Our goal is to relate properties of Psi, of the homogeneous coordinate ring A=k[g1,...,gn] of the variety parametrized by Psi, and of the Rees algebra R[It], the bihomogeneous coordinate ring of the graph of Psi. For a regular map Psi, for instance, we prove that R[It] satisfies Serre's condition R_i, for some positive i, if and only if A satisfies R_{i-1} and Psi is b…
Let A be a Noetherian local ring with the maximal ideal m and d=dimA. Let Q be a parameter ideal in A. Let I=Q:m. The problem of when the equality I^2=QI holds true is explored. When A is a Cohen-Macaulay ring, this problem was completely solved by A. Corso, C. Huneke, C. Polini, and W. Vasconcelos, while nothing is known when A is not a Cohen-Macaulay ring. The present purpose is to show that within a huge class of Buchsbaum local rings A the equality I^2=QI holds true for all parameter ideals Q. The result will supply theorems of K. Yamagishi, S. Goto and K. Nishida with ample examples of id…
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 homomorphic images of polynomial rings over R/I and R/m respectively. In case all the higher conormal modules of I are free over R/I, we observe that: (i) G(I) is Cohen-Macaulay iff F(I) is Cohen- Macaulay, (ii) G(I) is Gorenstein iff both F(I) and R/I are Gorenstein, and (iii) G(I) is a relative complete intersection iff F(I) is a relative complete intersection. In …
We investigate Rees algebras and special fiber rings obtained by blowing up specialized Ferrers ideals. This class of monomial ideals includes strongly stable monomial ideals generated in degree two and edge ideals of prominent classes of graphs. We identify the equations of these blow-up algebras. They generate determinantal ideals associated to subregions of a generic symmetric matrix, which may have holes. Exhibiting Gröbner bases for these ideals and using methods from Gorenstein liaison theory, we show that these determinantal rings are normal Cohen-Macaulay domains that are Koszul, that …
