The Rees algebra of parametric curves via liftings
type: Item
instance of: scholarly article
title: The Rees algebra of parametric curves via liftings
zbMATH Open document ID: 1423.13040
author: T. Cortadellas
author: David A. Cox
author: Carlos D'Andrea
published in: Journal of Pure and Applied Algebra
publication date: 2019-08-15T00:00:00Z
full work available at URL: https://arxiv.org/abs/1810.02077
review text: Let \(\Bbbk\) be a field, \(R\) be the polynomial ring \(\Bbbk[T_0,T_1]\), and \(K\) be a height two ideal of \(R\) which is generated by the three homogeneous forms \(f_0,f_1,f_2\) of degree \(d\). The paper is about the defining ideal \(\mathfrak K\) of the Rees ring of \(K\). The authors would like to know a minimal generating set for \(\mathfrak K\), or the bi-degrees of a minimal generating set for \(\mathfrak K\), or all of the bi-homogeneous Betti numbers of \(\mathfrak K\). The questions are very hard and very important. Indeed, information about the singularities of the rational plane curve parameterized by \[ [f_0:f_1:f_2]:\mathbb P^1 \to \mathbb P^2 \] are encoded in the answers to the above questions. For example, the Rees algebra of \(K\) is the bi-homogeneous coordinate ring of the graph of the rational map which is given above. Let \(Z_0,Z_1,Z_2\) and \(s\) be indeterminates. The ideal of interest, \(\mathfrak K\), is the kernel of the \(R\)-algebra homomorphism \[ \psi:R[Z_0,Z_1,Z_2]\to R[s], \] with \(\psi(Z_i)=f_is\). Everything in sight is bi-homogeneous where the bi-degrees are given by \begin{align*} \deg T_i&=(1,0), &\deg Z_i&=(0,1), &\deg s&=(-d,1),\\ \deg X&=(-\mu_1,1),& \deg Y&=(-\mu_2,1),&\deg X_i&=(0,1),\\ \deg (Y_i)&=(0,1),& \deg\alpha&=(d-\mu_1,0),\text{ and}& \deg \beta&=(d-\mu_2,0). \end{align*} The symbols \(X\), \(Y\), \(X_i\), and \(Y_i\) all represent indeterminates (that are defined below) and the symbols \(\alpha\) and \(\beta\) are homogeneous elements of \(R\) (that are also defined below). More information about \(K\) must be identified before one can say anything about \(\mathfrak K\). Let \[ 0\to \begin{matrix} R(-d-d_1)\\ \oplus\\ R(-d-d_2)\end{matrix} \xrightarrow{\begin{bmatrix} p_0&q_0\\ p_1&q_1\\ p_2&q_2\end{bmatrix}} R(-d)^3\xrightarrow{\begin{bmatrix} f_0& f_1& f_2\end{bmatrix}} R \] be a minimal homogeneous resolution of \(R/K\). The Hilbert-Burch theorem guarantees that \(d_1+d_2=d\). We choose \(d_1\le d_2\). One a…
reviewed by: Andrew Kustin
Mathematics Subject Classification ID: 13A30
Mathematics Subject Classification ID: 14H50
Mathematics Subject Classification ID: 13D02
zbMATH DE Number: 7094405
describes a project that uses: Macaulay2
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2962691060
arXiv ID: 1810.02077
cites work: On parameterizations of plane rational curves and their syzygies
cites work: On the equations of the moving curve ideal of a rational algebraic plane curve
cites work: Rational plane curves parameterizable by conics
cites work: Minimal Generators of the Defining Ideal of the Rees Algebra Associated with a Rational Plane Parametrization with μ = 2
cites work: The Rees algebra of a monomial plane parametrization
cites work: On the validity of implicitization by moving quadrics for rational surfaces with no base points
cites work: The moving curve ideal and the Rees algebra
cites work: Syzygies and the Rees algebra
cites work: Toric varieties
cites work: A study of singularities on rational curves via syzygies
cites work: Rational normal scrolls and the defining equations of Rees algebras
cites work: The bi-graded structure of symmetric algebras with applications to Rees rings
cites work: Rees algebras of truncations of complete intersections
cites work: Implicitizing rational curves by the method of moving algebraic curves
cites work: Q4293985
Wikidata QID: Q127679565
DOI: 10.1016/J.JPAA.2019.06.015
description: scientific article