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

DOI10.1016/J.JALGEBRA.2016.08.014zbMATH Open1357.13008arXiv1301.7106OpenAlexW1484859233MaRDI QIDQ330158FDOQ330158

Claudia Polini, Bernd Ulrich, Andrew Kustin

Publication date: 24 October 2016

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

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.

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

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

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)

Cites Work

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

Cited In (12)

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

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)