The bi-graded structure of symmetric algebras with applications to Rees rings

DOI10.1016/J.JALGEBRA.2016.08.014MaRDI QIDQ330158zbMATH OpenOpenAlexFDO

Authors Andrew Kustin, Claudia Polini, Bernd Ulrich

Publication date 24 October 2016

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

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

zbMATH Keywords

dualityparametrizationlocal cohomologyRees algebraKoszul complexlinkagesymmetric algebrabi-graded structureselimination theorygeneralized zero of a matrixgenerator degreesHilbert-Burch matrixinfinitely near singularitiesmatrices of linear formsMorley formsrational plane curverational plane sexticSylvester form

Mathematics Subject Classification ID

Rational and birational maps (14E05) Singularities of curves, local rings (14H20) Plane and space curves (14H50) Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30)

Abstract: Consider a rational projective plane curve C parameterized by three homogeneous forms h1,h2,h3 of the same degree d in the polynomial ring R=k[x,y] over the field k. Extracting a common factor, we may harmlessly assume that the ideal I=(h1,h2,h3)R has height two. Let phi be a homogeneous minimal Hilbert-Burch matrix for the row vector [h1,h2,h3]. So, phi is a 3 by 2 matrix of homogeneous forms from R; the entries in column m have degree dm, with d1 le d2 and d1+d2=d. The Rees algebra $calR$ of I is the subring k[h1t,h2t,h3t] of the polynomial ring k[t]. The bi-projective spectrum of $calR$ is the graph of the parameterization of C; and therefore, there is a dictionary which translates between the singularities of C and the algebra structure of $calR$. The ring $calR$ is the quotient of the symmetric algebra Sym(I) by the ideal, A, of local cohomology with support in the homogeneous maximal ideal of R. The ideal A_{ge d2-1}, which is an approximation of A, can be calculated using linkage. We exploit the bi-graded structure of Sym(I) in order to describe the structure of an improved approximation A_{ge d1-1} when $d1<d2$ and phi has a generalized zero in its first column. (The later condition is equivalent to assuming that C has a singularity of multiplicity d2.) In particular, we give the bi-degrees of a minimal bi-homogeneous generating set for this ideal. When 2=d1<d2 and phi has a generalized zero in its first column, then we record explicit generators for A. When d1=d2, we provide a translation between the bi-degrees of a bi-homogeneous minimal generating set for A_{d1-2} and the number of singularities of multiplicity d1 which are on or infinitely near C. We conclude with a table which translates between the bi-degrees of a bi-homogeneous minimal generating set for A and the configuration of singularities of C in the case that the curve C has degree six.

Recommendations

• scientific article; zbMATH DE number 639745
• On the symmetric and Rees algebras of some binomial ideals
• On the Structure of a Class of Graded Modules Related to Symmetric Pairs
• Symmetric and Rees algebras of Koszul cycles and their Gröbner bases
• scientific article; zbMATH DE number 6703476
• scientific article; zbMATH DE number 1540397
• On rings and symmetric generalized biderivations
• Rees rings of grading filtrations and an application to weyl algebras
• Symmetric algebras of finitely generated graded modules and \(s\)-sequences
• On the symmetric and Rees algebras of certain determinantal ideals

Cites work

• scientific article; zbMATH DE number 3138903 (Why is no real title available?)
• scientific article; zbMATH DE number 3786941 (Why is no real title available?)
• scientific article; zbMATH DE number 3440540 (Why is no real title available?)
• scientific article; zbMATH DE number 3080100 (Why is no real title available?)
• A study of singularities on rational curves via syzygies
• Anisotropic resultant. Complements and applications
• Axial moving lines and singularities of rational planar curves
• Blowups and fibers of morphisms
• Computing singular points of plane rational curves
• Determinantal ideals of linear type
• Inertia forms and resultant: A formulary
• Minimal Generators of the Defining Ideal of the Rees Algebra Associated with a Rational Plane Parametrization with μ = 2
• On the Gorenstein Property of Rees and Form Rings of Power of Ideals
• On the bettinumbers of finite pure and linear resolutions
• On the equations of the moving curve ideal of a rational algebraic plane curve
• On the homology of two-dimensional elimination
• On the symmetric and Rees algebra of an ideal generated by a d-sequence
• On the symmetric and Rees algebras of an ideal
• Properties of Noetherian rings stable under general grade reduction
• Rational normal scrolls and the defining equations of Rees algebras
• Rational plane curves parameterizable by conics
• Rees algebras of diagonal ideals
• Syzygies and the Rees algebra
• The Restricted Tangent Bundle of a Rational Curve on a Quadric in P 3
• The dimension and components of symmetric algebras
• The equations of almost complete intersections
• The restricted tangent bundle of a rational curve in P²

Cited in

(12)

• A \(D\)-modules approach on the equations of the Rees algebra
• Defining equations of blowup algebras
• Equations defining certain graphs
• A study of nonlinear multiview varieties
• The Rees algebra of parametric curves via liftings
• Rees algebras of truncations of complete intersections
• The Rees algebra of a monomial plane parametrization
• The equations defining blowup algebras of height three Gorenstein ideals
• Bounding the degrees of the defining equations of Rees rings for certain determinantal and Pfaffian ideals
• Rees rings of grading filtrations and an application to weyl algebras
• Syzygies and the Rees algebra
• Symmetric and Rees algebras of Koszul cycles and their Gröbner bases

This page was built for publication: The bi-graded structure of symmetric algebras with applications to Rees rings

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