Rees algebras of truncations of complete intersections

DOI10.1016/J.JALGEBRA.2014.03.022MaRDI QIDQ403104zbMATH OpenOpenAlexFDO

Authors Kuei-Nuan Lin, Claudia Polini

Publication date 29 August 2014

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

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

zbMATH Keywords

elimination theoryGröbner basisKoszul algebrasRees algebraspecial fiber ring

Mathematics Subject Classification ID

Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Integral closure of commutative rings and ideals (13B22) Cohen-Macaulay modules (13C14) Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Linkage, complete intersections and determinantal ideals (13C40) Multiplicity theory and related topics (13H15)

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

Review text

Let \(R=K[x_1,\ldots,x_n], \mathfrak{m}=(x_1,\ldots,x_n)\) where \(K\) is a field. Understanding the defining equations of the Rees algebra of an ideal is one of the central problems in commutative algebra. In this paper, the authors explicitly describe the defining equations of the Rees algebra and the special fiber ring of a truncation \(I\) of a complete intersection ideal in \(R\) (Theorem 3.9, Corollary 3.12). They achieve this by explicitly computing a Gröbner basis of the defining ideal of the Rees algebra \(\mathcal{R}(M)\), (Theorem 2.4) where \(M\) is a direct sum of the powers of \(\mathfrak{m}\). Furthermore, they deduce some instances where \(\mathcal{R}(I)\) is a Koszul algebra.

Recommendations

• REGULARITY OF REES ALGEBRAS
• Rees algebras of a class of graded ideals
• Equations defining the multi-Rees algebras of powers of an ideal
• scientific article; zbMATH DE number 701202
• On the equations of Rees algebras.

Cites work

• Asymptotic behaviour of arithmetically Cohen-Macaulay blow-ups
• Cohen-Macaulay Rees algebras and degrees of polynomial relations
• Divisors on rational normal scrolls
• Equations of blowups of ideals of codimension two and three
• Generators for the defining ideal of certain rational surfaces
• scientific article; zbMATH DE number 108068 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• Implicitizing rational hypersurfaces using approximation complexes
• Initial complexes of prime ideals
• On the closed image of a rational map and the implicitization problem.
• On the defining equations of multi-graded rings
• On the equations defining tangent cones
• On the equations of Rees algebras.
• On the equations of the moving curve ideal of a rational algebraic plane curve
• On the homology of two-dimensional elimination
• On the Rees algebra of certain codimension two perfect ideals
• Rational normal scrolls and the defining equations of Rees algebras
• Rational plane curves parameterizable by conics
• Rees algebras of ideals with low codimension
• Rees Algebras of Modules
• Rees algebras of truncations of complete intersections
• Residue and implicitization problem for rational surfaces
• Second analytic deviation one ideals and their Rees algebras
• Syzygies and the Rees algebra
• Syzygies of canonical curves and special linear series
• The bi-graded structure of symmetric algebras with applications to Rees rings
• The equations of almost complete intersections
• The equations of Rees algebras of ideals with linear presentation

Cited in

(18)

• Equations defining the multi-Rees algebras of powers of an ideal
• Koszul multi-Rees algebras of principal \(L\)-Borel ideals
• Cohen-Macaulay fiber cones and defining ideal of Rees algebras of modules
• A D-modules approach on the equations of the Rees algebra
• Rees algebras of square-free monomial ideals
• The Rees algebra of parametric curves via liftings
• Rees algebras and almost linearly presented ideals
• Rees algebras of truncations of complete intersections
• On special fiber rings of modules
• Defining equations of blowup algebras
• Algorithms for computing mixed multiplicities, mixed volumes, and sectional Milnor numbers
• Multi-Rees algebras of strongly stable ideals
• The equations of Rees algebras of height three Gorenstein ideals in hypersurface rings
• Blowup algebras of determinantal ideals in prime characteristic
• Equations of the multi-Rees algebra of fattened coordinate subspaces
• Rees algebras of ideals submaximally generated by quadrics
• Blowup algebras of n-dimensional Ferrers diagrams
• Computing mixed multiplicities, mixed volumes and sectional Milnor numbers

This page was built for publication: Rees algebras of truncations of complete intersections

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