Related papers: Rees algebra of maximal order Pfaffians and its di…

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…

In this paper we investigate the Rees algebras of squarefree monomial ideals $I \subset S=K[x_1,\dots,x_n]$ generated in degree $n-2$, where $K$ is a field. Every such ideal arises as the complementary edge ideal $I_c(G)$ of a finite simple…

The goal of this paper is to study the Rees algebra $\mathfrak{R}(I)$and the special fiber ring $\mathfrak{F}(I)$ for a family of ideals. Let $R=\mathbb{K}[x_1, \ldots, x_d]$ with $d\geq 4$ be a polynomial ring with homogeneous maximal…

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…

Consider the rational map $\phi: \mathbb{P}^{n-1}_{\mathbf k} \stackrel{[f_0:\cdots: f_n]}{\longrightarrow} \mathbb{P}^{n}_{\mathbf k}$ defined by homogeneous polynomials $f_0,\dots,f_n$ of the same degree $d$ in a polynomial ring…

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…

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 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…

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.…

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 $\varphi$ is almost linear, that is, all but the last column of $\varphi$ consist of entries…

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…

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…

Let ${\sf k}$ be a field, $S$ be a bigraded ${\sf k}$-algebra, and $S_\Delta$ denote the diagonal subalgebra of $S$ corresponding to $\Delta = \{ (cs,es) \; | \; s \in \mathbb{Z} \}$. It is know that the $S_\Delta$ is Koszul for $c,e \gg…

We study the symbolic powers of square-free monomial ideals via symbolic Rees algebras and methods in prime characteristic. In particular, we prove that the symbolic Rees algebra and the symbolic associated graded algebra are split with…

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 powers of lexsegment ideals with linear resolution (equivalently, with linear quotients) have linear quotients with respect to suitable orders of the minimal monomial generators. For a large subclass of the lexsegment ideals the…

Let I be an ideal of height two in R=k[x_0,x_1] generated by forms of the same degree, and let K be the ideal of defining equations of the Rees algebra of I. Suppose that the second largest column degree in the syzygy matrix of I is e. We…

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…

Given a cubic hypersurface $X\subset \mathbb{P}^4$, we study the existence of Pfaffian representations of $X$, namely of $6\times 6$ skew-symmetric matrices of linear forms $M$ such that $X$ is defined by the equation $Pf(M)=0$. It was…

Let $(R,\mathfrak{m},\Bbbk)$ be a regular local ring of dimension 3. Let $I$ be a Gorenstein ideal of $R$ of grade 3. Buchsbaum and Eisenbud proved that there is a skew-symmetric matrix of odd size such that $I$ is generated by the…