Rees algebras of diagonal ideals

DOI10.1216/JCA-2013-5-3-359MaRDI QIDQ393097zbMATH OpenOpenAlexFDO

Authors Kuei-Nuan Lin

Publication date 16 January 2014

Published in Journal of Commutative Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1106.0742

zbMATH Keywords

determinantal ringGröbner basisjoin varietyRees algebrasymmetric algebra

Mathematics Subject Classification ID

Linkage, complete intersections and determinantal ideals (13C40) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Determinantal varieties (14M12) Computational aspects of higher-dimensional varieties (14Q15)

Abstract: 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.

Review text

Let \(I\) be an ideal in a Noetherian ring \(R\). The Rees algebra \(\mathcal R(I)\) of \(I\) is the graded subalgebra \(R[It] \cong \bigoplus_{n \geq 0} I^nt^n\) of \(R[t]\). There is a natural epimorphism from the symmetric algebra of \(I\), \(\text{Sym}(I)\), to \(\mathcal R(I)\). We say that the ideal, \(I\), is of \textit{linear type} if this epimorphism is an isomorphism. The first known class of ideals of linear type were complete intersection ideals. Several other examples are known. In this paper the author gives a new class of ideals of linear type. Let \(k\) be a field, \(R\) a polynomial ring over \(k\) with variables \(\{x_{ij} \}\), and \(X\) the generic \(m \times n\) matrix \((x_{ij})\). Given two homogeneous \(R\)-ideals \(I_1\) and \(I_2\), she considers the kernel of the multiplication map from \(S = R/I_1 \otimes_k R/I_2\) to \(R/(I_1 + I_2)\). The kernel is the \textit{diagonal} ideal \(D\) of the ring \(S\). The main result of the paper is that the ideal \(D\) is of linear type if \(I_1\) and \(I_2\) are the ideals of maximal minors of given submatrices of \(X\). In the cases considered in this paper, the special fiber rings of the diagonal ideals are the homogeneous coordinate rings of the join varieties. When \(D\) is of linear type, the embedded join variety is the whole space (but the converse is not true).

Recommendations

• Cohen-Macaulayness of Rees algebras of diagonal ideals
• Publication:3203119
• Rees algebras of ideals of star configurations
• The equations of Rees algebras of ideals with linear presentation
• The Rees algebra of a module

Cited in

(11)

• Determinantal ideals of linear type
• Determinantal ideals of linear type of a generic symmetric matrix
• M-sequences, graph ideals, and ladder ideals of linear type
• On the Gorenstein property of the diagonals of the Rees algebra
• scientific article; zbMATH DE number 4179502 (Why is no real title available?)
• The bi-graded structure of symmetric algebras with applications to Rees rings
• Rees algebra of ideals generated by pfaffians
• scientific article; zbMATH DE number 1958406 (Why is no real title available?)
• Cohen-Macaulayness of Rees algebras of diagonal ideals
• Defining equations of blowup algebras
• Generalized Reynolds ideals and derived equivalences for algebras of dihedral and semidihedral type.

This page was built for publication: Rees algebras of diagonal ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q393097)