-
Solving bihomogeneous polynomial systems with a zero-dimensional projection
Authors:
Matías Bender,
Laurent Busé,
Carles Checa,
Elias Tsigaridas
Abstract:
We study bihomogeneous systems defining, non-zero dimensional, biprojective varieties for which the projection onto the first group of variables results in a finite set of points. To compute (with) the 0-dimensional projection and the corresponding quotient ring, we introduce linear maps that greatly extend the classical multiplication maps for zero-dimensional systems, but are not those associate…
▽ More
We study bihomogeneous systems defining, non-zero dimensional, biprojective varieties for which the projection onto the first group of variables results in a finite set of points. To compute (with) the 0-dimensional projection and the corresponding quotient ring, we introduce linear maps that greatly extend the classical multiplication maps for zero-dimensional systems, but are not those associated to the elimination ideal; we also call them multiplication maps. We construct them using linear algebra on the restriction of the ideal to a carefully chosen bidegree or, if available, from an arbitrary Gröbner bases. The multiplication maps allow us to compute the elimination ideal of the projection, by generalizing FGLM algorithm to bihomogenous, non-zero dimensional, varieties. We also study their properties, like their minimal polynomials and the multiplicities of their eigenvalues, and show that we can use the eigenvalues to compute numerical approximations of the zero-dimensional projection. Finally, we establish a single exponential complexity bound for computing multiplication maps and Gröbner bases, that we express in terms of the bidegrees of the generators of the corresponding bihomogeneous ideal.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
Bigraded Castelnuovo-Mumford regularity and Gröbner bases
Authors:
Matías Bender,
Laurent Busé,
Carles Checa,
Elias Tsigaridas
Abstract:
We study the relation between the bigraded Castelnuovo-Mumford regularity of a bihomogeneous ideal $I$ in the coordinate ring of the product of two projective spaces and the bidegrees of a Gröbner basis of $I$ with respect to the degree reverse lexicographical monomial order in generic coordinates. For the single-graded case, Bayer and Stillman unraveled all aspects of this relationship forty year…
▽ More
We study the relation between the bigraded Castelnuovo-Mumford regularity of a bihomogeneous ideal $I$ in the coordinate ring of the product of two projective spaces and the bidegrees of a Gröbner basis of $I$ with respect to the degree reverse lexicographical monomial order in generic coordinates. For the single-graded case, Bayer and Stillman unraveled all aspects of this relationship forty years ago and these results led to complexity estimates for computations with Gröbner bases. We build on this work to introduce a bounding region of the bidegrees of minimal generators of bihomogeneous Gröbner bases for $I$. We also use this region to certify the presence of some minimal generators close to its boundary. Finally, we show that, up to a certain shift, this region is related to the bigraded Castelnuovo-Mumford regularity of $I$.
△ Less
Submitted 20 May, 2025; v1 submitted 18 July, 2024;
originally announced July 2024.
-
Construction of birational trilinear volumes via tensor rank criteria
Authors:
Laurent Busé,
Pablo Mazón
Abstract:
We provide effective methods to construct and manipulate trilinear birational maps $φ:(\mathbb{P}^1)^3\dashrightarrow \mathbb{P}^3$ by establishing a novel connection between birationality and tensor rank. These yield four families of nonlinear birational transformations between 3D spaces that can be operated with enough flexibility for applications in computer-aided geometric design. More precise…
▽ More
We provide effective methods to construct and manipulate trilinear birational maps $φ:(\mathbb{P}^1)^3\dashrightarrow \mathbb{P}^3$ by establishing a novel connection between birationality and tensor rank. These yield four families of nonlinear birational transformations between 3D spaces that can be operated with enough flexibility for applications in computer-aided geometric design. More precisely, we describe the geometric constraints on the defining control points of the map that are necessary for birationality, and present constructions for such configurations. For adequately constrained control points, we prove that birationality is achieved if and only if a certain $2\times 2\times 2$ tensor has rank one. As a corollary, we prove that the locus of weights that ensure birationality is $\mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1$. Additionally, we provide formulas for the inverse $φ^{-1}$ as well as the explicit defining equations of the irreducible components of the base loci. Finally, we introduce a notion of "distance to birationality" for trilinear rational maps, and explain how to continuously deform birational maps.
△ Less
Submitted 6 April, 2025; v1 submitted 27 May, 2024;
originally announced May 2024.
-
Toric Sylvester forms
Authors:
Laurent Busé,
Carles Checa
Abstract:
In this paper, we investigate the structure of the saturation of ideals generated by sparse homogeneous polynomials over a projective toric variety $X$ with respect to the irrelevant ideal of $X$. As our main results, we establish a duality property and make it explicit by introducing toric Sylvester forms, under a certain positivity assumption on $X$. In particular, we prove that toric Sylvester…
▽ More
In this paper, we investigate the structure of the saturation of ideals generated by sparse homogeneous polynomials over a projective toric variety $X$ with respect to the irrelevant ideal of $X$. As our main results, we establish a duality property and make it explicit by introducing toric Sylvester forms, under a certain positivity assumption on $X$. In particular, we prove that toric Sylvester forms yield bases of some graded components of $I^{\text{sat}}/I$, where $I$ denotes an ideal generated by $n+1$ generic forms, $n$ is the dimension of $X$ and $I^{\text{sat}}$ the saturation of $I$ with respect to the irrelevant ideal of the Cox ring of $X$. Then, to illustrate the relevance of toric Sylvester forms we provide three consequences in elimination theory over smooth toric varieties: (1) we introduce a new family of elimination matrices that can be used to solve sparse polynomial systems by means of linear algebra methods, including overdetermined polynomial systems; (2) by incorporating toric Sylvester forms to the classical Koszul complex associated to a polynomial system, we obtain new expressions of the sparse resultant as a determinant of a complex; (3) we explote a new formula for computing toric residues of the product of two forms.
△ Less
Submitted 27 May, 2024; v1 submitted 22 September, 2022;
originally announced September 2022.
-
Tri-linear birational maps in dimension three
Authors:
Laurent Busé,
Pablo González-Mazón,
Josef Schicho
Abstract:
A tri-linear rational map in dimension three is a rational map $φ: (\mathbb{P}_\mathbb{C}^1)^3 \dashrightarrow \mathbb{P}_\mathbb{C}^3$ defined by four tri-linear polynomials without a common factor. If $φ$ admits an inverse rational map $φ^{-1}$, it is a tri-linear birational map. In this paper, we address computational and geometric aspects about these transformations. We give a characterization…
▽ More
A tri-linear rational map in dimension three is a rational map $φ: (\mathbb{P}_\mathbb{C}^1)^3 \dashrightarrow \mathbb{P}_\mathbb{C}^3$ defined by four tri-linear polynomials without a common factor. If $φ$ admits an inverse rational map $φ^{-1}$, it is a tri-linear birational map. In this paper, we address computational and geometric aspects about these transformations. We give a characterization of birationality based on the first syzygies of the entries. More generally, we describe all the possible minimal graded free resolutions of the ideal generated by these entries. With respect to geometry, we show that the set $\mathfrak{Bir}_{(1,1,1)}$ of tri-linear birational maps, up to composition with an automorphism of $\mathbb{P}_\mathbb{C}^3$, is a locally closed algebraic subset of the Grassmannian of $4$-dimensional subspaces in the vector space of tri-linear polynomials, and has eight irreducible components. Additionally, the group action on $\mathfrak{Bir}_{(1,1,1)}$ given by composition with automorphisms of $(\mathbb{P}_\mathbb{C}^1)^3$ defines 19 orbits, and each of these orbits determines an isomorphism class of the base loci of these transformations.
△ Less
Submitted 3 November, 2022; v1 submitted 1 March, 2022;
originally announced March 2022.
-
Fibers of rational maps and elimination matrices: an application oriented approach
Authors:
Laurent Busé,
Marc Chardin
Abstract:
Parameterized algebraic curves and surfaces are widely used in geometric modeling and their manipulation is an important task in the processing of geometric models. In particular, the determination of the intersection loci between points, pieces of parameterized algebraic curves and pieces of algebraic surfaces is a key problem in this context. In this paper, we survey recent methods based on syzy…
▽ More
Parameterized algebraic curves and surfaces are widely used in geometric modeling and their manipulation is an important task in the processing of geometric models. In particular, the determination of the intersection loci between points, pieces of parameterized algebraic curves and pieces of algebraic surfaces is a key problem in this context. In this paper, we survey recent methods based on syzygies and blowup algebras for computing the image and the finite fibers of a curve or surface parameterization, more generally of a rational map. Conceptually, the main idea is to use elimination matrices, mainly built from syzygies, as representations of rational maps and to extract geometric informations from them. The construction and main properties of these matrices are first reviewed and then illustrated through several settings, each of them highlighting a particular feature of this approach that combines tools from commutative algebra, algebraic geometric and elimination theory.
△ Less
Submitted 29 July, 2021;
originally announced July 2021.
-
Multigraded Sylvester forms, Duality and Elimination Matrices
Authors:
Laurent Busé,
Marc Chardin,
Navid Nemati
Abstract:
In this paper we study the equations of the elimination ideal associated with $n+1$ generic multihomogeneous polynomials defined over a product of projective spaces of dimension $n$. We first prove a duality property and then make this duality explicit by introducing multigraded Sylvester forms. These results provide a partial generalization of similar properties that are known in the setting of h…
▽ More
In this paper we study the equations of the elimination ideal associated with $n+1$ generic multihomogeneous polynomials defined over a product of projective spaces of dimension $n$. We first prove a duality property and then make this duality explicit by introducing multigraded Sylvester forms. These results provide a partial generalization of similar properties that are known in the setting of homogeneous polynomial systems defined over a single projective space. As an important consequence, we derive a new family of elimination matrices that can be used for solving zero-dimensional multiprojective polynomial systems by means of linear algebra methods.
△ Less
Submitted 4 July, 2022; v1 submitted 18 April, 2021;
originally announced April 2021.
-
Determinantal tensor product surfaces and the method of moving quadrics
Authors:
Laurent Busé,
Falai Chen
Abstract:
A tensor product surface $\mathscr{S}$ is an algebraic surface that is defined as the closure of the image of a rational map $φ$ from $\mathbb{P}^1\times \mathbb{P}^1$ to $\mathbb{P}^3$. We provide new determinantal representations of $\mathscr{S}$ under the assumptions that $φ$ is generically injective and its base points are finitely many and locally complete intersections. These determinantal r…
▽ More
A tensor product surface $\mathscr{S}$ is an algebraic surface that is defined as the closure of the image of a rational map $φ$ from $\mathbb{P}^1\times \mathbb{P}^1$ to $\mathbb{P}^3$. We provide new determinantal representations of $\mathscr{S}$ under the assumptions that $φ$ is generically injective and its base points are finitely many and locally complete intersections. These determinantal representations are matrices that are built from the coefficients of linear relations (syzygies) and quadratic relations of the bihomogeneous polynomials defining $φ$. Our approach relies on a formalization and generalization of the method of moving quadrics introduced and studied by David Cox and his co-authors.
△ Less
Submitted 9 December, 2020; v1 submitted 30 June, 2020;
originally announced June 2020.
-
Formulas for the eigendiscriminants of ternary and quaternary forms
Authors:
Laurent Busé
Abstract:
A $d$-dimensional tensor $A$ of format $n\times n\times \cdots \times n$ defines naturally a rational map $Ψ$ from the projective space $\mathbb{P}^{n-1}$ to itself and its eigenscheme is then the subscheme of $\mathbb{P}^{n-1}$ of fixed points of $Ψ$. The eigendiscriminant is an irreducible polynomial in the coefficients of $A$ that vanishes for a given tensor if and only if its eigenscheme is si…
▽ More
A $d$-dimensional tensor $A$ of format $n\times n\times \cdots \times n$ defines naturally a rational map $Ψ$ from the projective space $\mathbb{P}^{n-1}$ to itself and its eigenscheme is then the subscheme of $\mathbb{P}^{n-1}$ of fixed points of $Ψ$. The eigendiscriminant is an irreducible polynomial in the coefficients of $A$ that vanishes for a given tensor if and only if its eigenscheme is singular. In this paper we contribute two formulas for the computation of eigendiscriminants in the cases $n=3$ and $n=4$. In particular, by restriction to symmetric tensors, we obtain closed formulas for the eigendiscriminants of plane curves and surfaces in $\mathbb{P}^3$ as the ratio of some determinants of resultant matrices.
△ Less
Submitted 5 May, 2022; v1 submitted 19 June, 2020;
originally announced June 2020.
-
The Hessian polynomial and the Jacobian ideal of a reduced hypersurface in $\mathbb{P}^n$
Authors:
Laurent Busé,
Alexandru Dimca,
Hal Schenck,
Gabriel Sticlaru
Abstract:
For a reduced hypersurface $V(f) \subseteq \mathbb{P}^n$ of degree $d$, the Castelnuovo-Mumford regularity of the Milnor algebra $M(f)$ is well understood when $V(f)$ is smooth, as well as when $V(f)$ has isolated singularities. We study the regularity of $M(f)$ when $V(f)$ has a positive dimensional singular locus. In certain situations, we prove that the regularity is bounded by $(d-2)(n+1)$, wh…
▽ More
For a reduced hypersurface $V(f) \subseteq \mathbb{P}^n$ of degree $d$, the Castelnuovo-Mumford regularity of the Milnor algebra $M(f)$ is well understood when $V(f)$ is smooth, as well as when $V(f)$ has isolated singularities. We study the regularity of $M(f)$ when $V(f)$ has a positive dimensional singular locus. In certain situations, we prove that the regularity is bounded by $(d-2)(n+1)$, which is the degree of the Hessian polynomial of $f$. However, this is not always the case, and we prove that in $\mathbb{P}^n$ the regularity of the Milnor algebra can grow quadratically in $d$.
△ Less
Submitted 10 August, 2021; v1 submitted 21 October, 2019;
originally announced October 2019.
-
Fibers of multi-graded rational maps and orthogonal projection onto rational surfaces
Authors:
Nicolás Botbol,
Laurent Busé,
Marc Chardin,
Fatmanur Yildirim
Abstract:
We contribute a new algebraic method for computing the orthogonal projections of a point onto a rational algebraic surface embedded in the three dimensional projective space. This problem is first turned into the computation of the finite fibers of a generically finite dominant rational map: a congruence of normal lines to the rational surface. Then, an in-depth study of certain syzygy modules ass…
▽ More
We contribute a new algebraic method for computing the orthogonal projections of a point onto a rational algebraic surface embedded in the three dimensional projective space. This problem is first turned into the computation of the finite fibers of a generically finite dominant rational map: a congruence of normal lines to the rational surface. Then, an in-depth study of certain syzygy modules associated to such a congruence is presented and applied to build elimination matrices that provide universal representations of its finite fibers, under some genericity assumptions. These matrices depend linearly in the variables of the three dimensional space. They can be pre-computed so that the orthogonal projections of points are approximately computed by means of fast and robust numerical linear algebra calculations.
△ Less
Submitted 9 April, 2020; v1 submitted 19 March, 2019;
originally announced March 2019.
-
A non-iterative method for robustly computing the intersections between a line and a curve or surface
Authors:
Xiao Xiao,
Laurent Buse,
Fehmi Cirak
Abstract:
The need to compute the intersections between a line and a high-order curve or surface arises in a large number of finite element applications. Such intersection problems are easy to formulate but hard to solve robustly. We introduce a non-iterative method for computing intersections by solving a matrix singular value decomposition (SVD) and an eigenvalue problem. That is, all intersection points…
▽ More
The need to compute the intersections between a line and a high-order curve or surface arises in a large number of finite element applications. Such intersection problems are easy to formulate but hard to solve robustly. We introduce a non-iterative method for computing intersections by solving a matrix singular value decomposition (SVD) and an eigenvalue problem. That is, all intersection points and their parametric coordinates are determined in one-shot using only standard linear algebra techniques available in most software libraries. As a result, the introduced technique is far more robust than the widely used Newton-Raphson iteration or its variants. The maximum size of the considered matrices depends on the polynomial degree $q$ of the shape functions and is $2q \times 3q$ for curves and $6 q^2 \times 8 q^2$ for surfaces. The method has its origin in algebraic geometry and has here been considerably simplified with a view to widely used high-order finite elements. In addition, the method is derived from a purely linear algebra perspective without resorting to algebraic geometry terminology. A complete implementation is available from http://bitbucket.org/nitro-project/.
△ Less
Submitted 5 November, 2020; v1 submitted 5 February, 2019;
originally announced February 2019.
-
Generalized weight properties of resultants and discriminants, and applications to projective enumerative geometry
Authors:
Laurent Busé,
Thomas Dedieu
Abstract:
The goal of this text is to understand and prove a formula stated by Salmon, which gives the first terms of some Taylor expansion of the discriminant of a plane algebraic curve. Salmon uses his formula to derive various enumerative quantities for surfaces in $\mathbf{P}^3$. We provide complete proofs of this formula and its enumerative applications, and extend Salmon's considerations to hypersurfa…
▽ More
The goal of this text is to understand and prove a formula stated by Salmon, which gives the first terms of some Taylor expansion of the discriminant of a plane algebraic curve. Salmon uses his formula to derive various enumerative quantities for surfaces in $\mathbf{P}^3$. We provide complete proofs of this formula and its enumerative applications, and extend Salmon's considerations to hypersurfaces in a projective space of arbitrary dimension. To this end, we introduce the concept of reduced discriminant, and provide a thorough study of its weight properties; the latter are deeply linked to projective enumerative geometric properties.
△ Less
Submitted 22 January, 2025; v1 submitted 26 November, 2018;
originally announced November 2018.
-
Degree and birationality of multi-graded rational maps
Authors:
Laurent Busé,
Yairon Cid-Ruiz,
Carlos D'Andrea
Abstract:
We give formulas and effective sharp bounds for the degree of multi-graded rational maps and provide some effective and computable criteria for birationality in terms of their algebraic and geometric properties. We also extend the Jacobian dual criterion to the multi-graded setting. Our approach is based on the study of blow-up algebras, including syzygies, of the ideal generated by the defining p…
▽ More
We give formulas and effective sharp bounds for the degree of multi-graded rational maps and provide some effective and computable criteria for birationality in terms of their algebraic and geometric properties. We also extend the Jacobian dual criterion to the multi-graded setting. Our approach is based on the study of blow-up algebras, including syzygies, of the ideal generated by the defining polynomials of the rational map. A key ingredient is a new algebra that we call the "saturated special fiber ring", which turns out to be a fundamental tool to analyze the degree of a rational map. We also provide a very effective birationality criterion and a complete description of the equations of the associated Rees algebra of a particular class of plane rational maps.
△ Less
Submitted 2 March, 2020; v1 submitted 14 May, 2018;
originally announced May 2018.
-
The geometry of the flex locus of a hypersurface
Authors:
Laurent Busé,
Carlos D'Andrea,
Martin Sombra,
Martin Weimann
Abstract:
We give a formula in terms of multidimensional resultants for an equation for the flex locus of a projective hypersurface, generalizing a classical result of Salmon for surfaces. Using this formula, we compute the dimension of this flex locus, and an upper bound for the degree of its defining equations. We also show that, when the hypersurface is generic, this bound is reached, and that the generi…
▽ More
We give a formula in terms of multidimensional resultants for an equation for the flex locus of a projective hypersurface, generalizing a classical result of Salmon for surfaces. Using this formula, we compute the dimension of this flex locus, and an upper bound for the degree of its defining equations. We also show that, when the hypersurface is generic, this bound is reached, and that the generic flex line is unique and has the expected order of contact with the hypersurface.
△ Less
Submitted 28 August, 2019; v1 submitted 21 April, 2018;
originally announced April 2018.
-
Freeness and invariants of rational plane curves
Authors:
Laurent Busé,
Alexandru Dimca,
Gabriel Sticlaru
Abstract:
Given a parameterization $φ$ of a rational plane curve C, we study some invariants of C via $φ$. We first focus on the characterization of rational cuspidal curves, in particular we establish a relation between the discriminant of the pull-back of a line via $φ$, the dual curve of C and its singular points. Then, by analyzing the pull-backs of the global differential forms via $φ$, we prove that t…
▽ More
Given a parameterization $φ$ of a rational plane curve C, we study some invariants of C via $φ$. We first focus on the characterization of rational cuspidal curves, in particular we establish a relation between the discriminant of the pull-back of a line via $φ$, the dual curve of C and its singular points. Then, by analyzing the pull-backs of the global differential forms via $φ$, we prove that the (nearly) freeness of a rational curve can be tested by inspecting the Hilbert function of the kernel of a canonical map. As a by product, we also show that the global Tjurina number of a rational curve can be computed directly from one of its parameterization, without relying on the computation of an equation of C.
△ Less
Submitted 22 January, 2020; v1 submitted 17 April, 2018;
originally announced April 2018.
-
Discriminants of complete intersection space curves
Authors:
Laurent Busé,
Ibrahim Nonkané
Abstract:
In this paper, we develop a new approach to the discrimi-nant of a complete intersection curve in the 3-dimensional projective space. By relying on the resultant theory, we first prove a new formula that allows us to define this discrimi-nant without ambiguity and over any commutative ring, in particular in any characteristic. This formula also provides a new method for evaluating and computing th…
▽ More
In this paper, we develop a new approach to the discrimi-nant of a complete intersection curve in the 3-dimensional projective space. By relying on the resultant theory, we first prove a new formula that allows us to define this discrimi-nant without ambiguity and over any commutative ring, in particular in any characteristic. This formula also provides a new method for evaluating and computing this discrimi-nant efficiently, without the need to introduce new variables as with the well-known Cayley trick. Then, we obtain new properties and computational rules such as the covariance and the invariance formulas. Finally, we show that our definition of the discriminant satisfies to the expected geometric property and hence yields an effective smoothness criterion for complete intersection space curves. Actually, we show that in the generic setting, it is the defining equation of the discriminant scheme if the ground ring is assumed to be a unique factorization domain.
△ Less
Submitted 6 February, 2017;
originally announced February 2017.
-
Extraction of cylinders and cones from minimal point sets
Authors:
Laurent Busé,
André Galligo,
Jiajun Zhang
Abstract:
We propose new algebraic methods for extracting cylinders and cones from minimal point sets, including oriented points. More precisely, we are interested in computing efficiently cylinders through a set of three points, one of them being oriented, or through a set of five simple points. We are also interested in computing efficiently cones through a set of two oriented points, through a set of fou…
▽ More
We propose new algebraic methods for extracting cylinders and cones from minimal point sets, including oriented points. More precisely, we are interested in computing efficiently cylinders through a set of three points, one of them being oriented, or through a set of five simple points. We are also interested in computing efficiently cones through a set of two oriented points, through a set of four points, one of them being oriented, or through a set of six points. For these different interpolation problems, we give optimal bounds on the number of solutions. Moreover, we describe algebraic methods targeted to solve these problems efficiently.
△ Less
Submitted 21 June, 2016; v1 submitted 15 March, 2016;
originally announced March 2016.
-
Effective criteria for bigraded birational maps
Authors:
Nicolás Botbol,
Laurent Busé,
Marc Chardin,
Seyed Hamid Hassanzadeh,
Aron Simis,
Quang Hoa Tran
Abstract:
In this paper, we consider rational maps whose source is a product of two subvarieties, each one being embedded in a projective space. Our main objective is to investigate birationality criteria for such maps. First, a general criterion is given in terms of the rank of a couple of matrices that became to be known as Jacobian dual matrices. Then, we focus on rational maps from the product of two pr…
▽ More
In this paper, we consider rational maps whose source is a product of two subvarieties, each one being embedded in a projective space. Our main objective is to investigate birationality criteria for such maps. First, a general criterion is given in terms of the rank of a couple of matrices that became to be known as Jacobian dual matrices. Then, we focus on rational maps from the product of two projectine lines to the projective plane in very low bidegrees and provide new matrix-based birationality criteria by analyzing the syzygies of the defining equations of the map, in particular by looking at the dimension of certain bigraded parts of the syzygy module. Finally, applications of our results to the context of geometric modeling are discussed at the end of the paper.
△ Less
Submitted 24 February, 2016;
originally announced February 2016.
-
Resultant of an equivariant polynomial system with respect to the symmetric group
Authors:
Laurent Busé,
Anna Karasoulou
Abstract:
Given a system of n homogeneous polynomials in n variables which is equivariant with respect to the canonical actions of the symmetric group of n symbols on the variables and on the polynomials, it is proved that its resultant can be decomposed into a product of several smaller resultants that are given in terms of some divided differences. As an application, we obtain a decomposition formula for…
▽ More
Given a system of n homogeneous polynomials in n variables which is equivariant with respect to the canonical actions of the symmetric group of n symbols on the variables and on the polynomials, it is proved that its resultant can be decomposed into a product of several smaller resultants that are given in terms of some divided differences. As an application, we obtain a decomposition formula for the discriminant of a multivariate homogeneous symmetric polynomial.
△ Less
Submitted 10 July, 2014;
originally announced July 2014.
-
Fitting ideals and multiple-points of surface parameterizations
Authors:
Nicolás Botbol,
Laurent Busé,
Marc Chardin
Abstract:
Given a birational parameterization of an algebraic surface S in the projective space, the purpose of this paper is to investigate the sets of points on S whose preimage consists in k or more points, counting multiplicities. They are described explicitly in terms of Fitting ideals of some graded parts of the symmetric algebra associated to this parameterization.
Given a birational parameterization of an algebraic surface S in the projective space, the purpose of this paper is to investigate the sets of points on S whose preimage consists in k or more points, counting multiplicities. They are described explicitly in terms of Fitting ideals of some graded parts of the symmetric algebra associated to this parameterization.
△ Less
Submitted 18 October, 2013;
originally announced October 2013.
-
A computational approach to the discriminant of homogeneous polynomials
Authors:
Laurent Busé,
Jean-Pierre Jouanolou
Abstract:
In this paper, the discriminant of homogeneous polynomials is studied in two particular cases: a single homogeneous polynomial and a collection of n-1 homogeneous polynomials in n variables. In these two cases, the discriminant is defined over a large class of coefficient rings by means of the resultant. Many formal properties and computational rules are provided and the geometric interpretation o…
▽ More
In this paper, the discriminant of homogeneous polynomials is studied in two particular cases: a single homogeneous polynomial and a collection of n-1 homogeneous polynomials in n variables. In these two cases, the discriminant is defined over a large class of coefficient rings by means of the resultant. Many formal properties and computational rules are provided and the geometric interpretation of the discriminant is investigated over a general coefficient ring, typically a domain.
△ Less
Submitted 17 October, 2012;
originally announced October 2012.
-
Singular factors of rational plane curves
Authors:
Laurent Buse,
Carlos D'Andrea
Abstract:
We give a complete factorization of the invariant factors of resultant matrices built from birational parameterizations of rational plane curves in terms of the singular points of the curve and their multiplicity graph. This allows us to prove the validity of some conjectures about these invariants stated by Chen, Wang and Liu in [J. Symbolic Comput. 43(2):92-117, 2008]. As a byproduct, we also gi…
▽ More
We give a complete factorization of the invariant factors of resultant matrices built from birational parameterizations of rational plane curves in terms of the singular points of the curve and their multiplicity graph. This allows us to prove the validity of some conjectures about these invariants stated by Chen, Wang and Liu in [J. Symbolic Comput. 43(2):92-117, 2008]. As a byproduct, we also give a complete factorization of the D-resultant for rational functions in terms of the similar data extracted from the multiplicities.
△ Less
Submitted 20 February, 2012; v1 submitted 14 December, 2009;
originally announced December 2009.
-
Elimination and nonlinear equations of Rees algebra
Authors:
Laurent Busé,
Marc Chardin,
Aron Simis
Abstract:
A new approach is established to computing the image of a rational map, whereby the use of approximation complexes is complemented with a detailed analysis of the torsion of the symmetric algebra in certain degrees. In the case the map is everywhere defined this analysis provides free resolutions of graded parts of the Rees algebra of the base ideal in degrees where it does not coincide with the…
▽ More
A new approach is established to computing the image of a rational map, whereby the use of approximation complexes is complemented with a detailed analysis of the torsion of the symmetric algebra in certain degrees. In the case the map is everywhere defined this analysis provides free resolutions of graded parts of the Rees algebra of the base ideal in degrees where it does not coincide with the corresponding symmetric algebra. A surprising fact is that the torsion in those degrees only contributes to the first free module in the resolution of the symmetric algebra modulo torsion. An additional point is that this contribution -- which of course corresponds to non linear equations of the Rees algebra -- can be described in these degrees in terms of non Koszul syzygies via certain upgrading maps in the vein of the ones introduced earlier by J. Herzog, the third named author and W. Vasconcelos. As a measure of the reach of this torsion analysis we could say that, in the case of a general everywhere defined map, half of the degrees where the torsion does not vanish are understood.
△ Less
Submitted 13 November, 2009;
originally announced November 2009.
-
Noether's forms for the study of non-composite rational functions and their spectrum
Authors:
Laurent Busé,
Guillaume Chèze,
Salah Najib
Abstract:
In this paper, the spectrum and the decomposability of a multivariate rational function are studied by means of the effective Noether's irreducibility theorem given by Ruppert. With this approach, some new effective results are obtained. In particular, we show that the reduction modulo p of the spectrum of a given integer multivariate rational function r coincides with the spectrum of the reduct…
▽ More
In this paper, the spectrum and the decomposability of a multivariate rational function are studied by means of the effective Noether's irreducibility theorem given by Ruppert. With this approach, some new effective results are obtained. In particular, we show that the reduction modulo p of the spectrum of a given integer multivariate rational function r coincides with the spectrum of the reduction of r modulo p for p a prime integer greater or equal to an explicit bound. This bound is given in terms of the degree, the height and the number of variables of r. With the same strategy, we also study the decomposability of r modulo p. Some similar explicit results are also provided for the case of polynomials with coefficients in a polynomial ring.
△ Less
Submitted 16 June, 2009;
originally announced June 2009.
-
On the total order of reducibility of a pencil of algebraic plane curves
Authors:
Laurent Busé,
Guillaume Chèze
Abstract:
In this paper, the problem of bounding the number of reducible curves in a pencil of algebraic plane curves is addressed. Unlike most of the previous related works, each reducible curve of the pencil is here counted with its appropriate multiplicity. It is proved that this number of reducible curves, counted with multiplicity, is bounded by d^2-1 where d is the degree of the pencil. Then, a sharpe…
▽ More
In this paper, the problem of bounding the number of reducible curves in a pencil of algebraic plane curves is addressed. Unlike most of the previous related works, each reducible curve of the pencil is here counted with its appropriate multiplicity. It is proved that this number of reducible curves, counted with multiplicity, is bounded by d^2-1 where d is the degree of the pencil. Then, a sharper bound is given by taking into account the Newton's polygon of the pencil.
△ Less
Submitted 17 August, 2011; v1 submitted 26 December, 2008;
originally announced December 2008.
-
On the equations of the moving curve ideal of a rational algebraic plane curve
Authors:
Laurent Busé
Abstract:
Given a parametrization of a rational plane algebraic curve C, some explicit adjoint pencils on C are described in terms of determinants. Moreover, some generators of the Rees algebra associated to this parametrization are presented. The main ingredient developed in this paper is a detailed study of the elimination ideal of two homogeneous polynomials in two homogeneous variables that form a reg…
▽ More
Given a parametrization of a rational plane algebraic curve C, some explicit adjoint pencils on C are described in terms of determinants. Moreover, some generators of the Rees algebra associated to this parametrization are presented. The main ingredient developed in this paper is a detailed study of the elimination ideal of two homogeneous polynomials in two homogeneous variables that form a regular sequence.
△ Less
Submitted 10 February, 2009; v1 submitted 17 December, 2007;
originally announced December 2007.
-
Implicitization of Bihomogeneous Parametrizations of Algebraic Surfaces via Linear Syzygies
Authors:
Laurent Busé,
Marc Dohm
Abstract:
We show that the implicit equation of a surface in 3-dimensional projective space parametrized by bi-homogeneous polynomials of bi-degree (d,d), for a given positive integer d, can be represented and computed from the linear syzygies of its parametrization if the base points are isolated and form locally a complete intersection.
We show that the implicit equation of a surface in 3-dimensional projective space parametrized by bi-homogeneous polynomials of bi-degree (d,d), for a given positive integer d, can be represented and computed from the linear syzygies of its parametrization if the base points are isolated and form locally a complete intersection.
△ Less
Submitted 30 August, 2007;
originally announced August 2007.
-
Explicit factors of some iterated resultants and discriminants
Authors:
Laurent Busé,
Bernard Mourrain
Abstract:
In this paper, the result of applying iterative univariate resultant constructions to multivariate polynomials is analyzed. We consider the input polynomials as generic polynomials of a given degree and exhibit explicit decompositions into irreducible factors of several constructions involving two times iterated univariate resultants and discriminants over the integer universal ring of coefficie…
▽ More
In this paper, the result of applying iterative univariate resultant constructions to multivariate polynomials is analyzed. We consider the input polynomials as generic polynomials of a given degree and exhibit explicit decompositions into irreducible factors of several constructions involving two times iterated univariate resultants and discriminants over the integer universal ring of coefficients of the entry polynomials. Cases involving from two to four generic polynomials and resultants or discriminants in one of their variables are treated. The decompositions into irreducible factors we get are obtained by exploiting fundamental properties of the univariate resultants and discriminants and induction on the degree of the polynomials. As a consequence, each irreducible factor can be separately and explicitly computed in terms of a certain multivariate resultant. With this approach, we also obtain as direct corollaries some results conjectured by Collins and McCallum which correspond to the case of polynomials whose coefficients are themselves generic polynomials in other variables. Finally, a geometric interpretation of the algebraic factorization of the iterated discriminant of a single polynomial is detailled.
△ Less
Submitted 15 October, 2007; v1 submitted 8 December, 2006;
originally announced December 2006.
-
Torsion of the symmetric algebra and implicitization
Authors:
Laurent Buse,
Marc Chardin,
Jean-Pierre Jouanolou
Abstract:
Recently, a method to compute the implicit equation of a parametrized hypersurface has been developed by the authors. We address here some questions related to this method. First, we prove that the degree estimate for the stabilization of the MacRae's invariant of a graded part of the symmetric algebra is optimal. Then we show that the extraneous factor that may appear in the process splits into…
▽ More
Recently, a method to compute the implicit equation of a parametrized hypersurface has been developed by the authors. We address here some questions related to this method. First, we prove that the degree estimate for the stabilization of the MacRae's invariant of a graded part of the symmetric algebra is optimal. Then we show that the extraneous factor that may appear in the process splits into a product a linear forms in the algebraic closure of the base field, each linear form being associated to a non complete intersection base point. Finally, we make a link between this method and a resultant computation for the case of rational plane curves and space surfaces.
△ Less
Submitted 13 September, 2007; v1 submitted 5 October, 2006;
originally announced October 2006.
-
A matrix-based approach to properness and inversion problems for rational surfaces
Authors:
Carlos D'Andrea,
Laurent Buse
Abstract:
We present a matrix-based algorithm for deciding if the parametrization of a curve or a surface is invertible or not, and for computing the inverse of the parametrization if it exists.
We present a matrix-based algorithm for deciding if the parametrization of a curve or a surface is invertible or not, and for computing the inverse of the parametrization if it exists.
△ Less
Submitted 17 October, 2006; v1 submitted 21 October, 2004;
originally announced October 2004.
-
On the irreducibility of multivariate subresultants
Authors:
Laurent Busé,
Carlos D'Andrea
Abstract:
Let $P_1,...,P_n$ be generic homogeneous polynomials in $n$ variables of degrees $d_1,...,d_n$ respectively. We prove that if $ν$ is an integer satisfying ${\sum_{i=1}^n d_i}-n+1-\min\{d_i\}<ν,$ then all multivariate subresultants associated to the family $P_1,...,P_n$ in degree $ν$ are irreducible. We show that the lower bound is sharp. As a byproduct, we get a formula for computing the residua…
▽ More
Let $P_1,...,P_n$ be generic homogeneous polynomials in $n$ variables of degrees $d_1,...,d_n$ respectively. We prove that if $ν$ is an integer satisfying ${\sum_{i=1}^n d_i}-n+1-\min\{d_i\}<ν,$ then all multivariate subresultants associated to the family $P_1,...,P_n$ in degree $ν$ are irreducible. We show that the lower bound is sharp. As a byproduct, we get a formula for computing the residual resultant of $\binom{ρ-ν+n-1}{n-1}$ smooth isolated points in $\PP^{n-1}.$
△ Less
Submitted 11 December, 2003; v1 submitted 23 September, 2003;
originally announced September 2003.
-
Implicitizing rational hypersurfaces using approximation complexes
Authors:
Laurent Buse,
Marc Chardin
Abstract:
In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as determinants of certain graded parts of a so-called approximation complex. We detail and improve this method by providing an in-depth study of the cohomology of…
▽ More
In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as determinants of certain graded parts of a so-called approximation complex. We detail and improve this method by providing an in-depth study of the cohomology of such a complex. In both particular cases of interest of curve and surface implicitization we also yield explicit algorithms which only involves linear algebra routines.
△ Less
Submitted 21 January, 2003;
originally announced January 2003.
-
A resultant approach to detect intersecting curves in $\PP^3$
Authors:
Laurent Buse,
Andre Galligo
Abstract:
Given two curves in $\PP^3$, either implicitly or by a parameterization, we want to check if they intersect. For that purpose, we present and further develop generalized resultant techniques. Our aim is to provide a closed formula in the inputs which vanishes if and only if the two curves intersect. This could be useful in Computer Aided Design, for computing the intersection of algebraic surfac…
▽ More
Given two curves in $\PP^3$, either implicitly or by a parameterization, we want to check if they intersect. For that purpose, we present and further develop generalized resultant techniques. Our aim is to provide a closed formula in the inputs which vanishes if and only if the two curves intersect. This could be useful in Computer Aided Design, for computing the intersection of algebraic surfaces.
△ Less
Submitted 9 January, 2003;
originally announced January 2003.
-
On the closed image of a rational map and the implicitization problem
Authors:
Laurent Buse,
Jean-Pierre Jouanolou
Abstract:
In this paper, we investigate some topics around the closed image $S$ of a rational map $λ$ given by some homogeneous elements $f_1,...,f_n$ of the same degree in a graded algebra $A$. We first compute the degree of this closed image in case $λ$ is generically finite and $f_1,...,f_n$ define isolated base points in $\Proj(A)$. We then relate the definition ideal of $S$ to the symmetric and the R…
▽ More
In this paper, we investigate some topics around the closed image $S$ of a rational map $λ$ given by some homogeneous elements $f_1,...,f_n$ of the same degree in a graded algebra $A$. We first compute the degree of this closed image in case $λ$ is generically finite and $f_1,...,f_n$ define isolated base points in $\Proj(A)$. We then relate the definition ideal of $S$ to the symmetric and the Rees algebras of the ideal $I=(f_1,...,f_n) \subset A$, and prove some new acyclicity criteria for the associated approximation complexes. Finally, we use these results to obtain the implicit equation of $S$ in case $S$ is a hypersurface, $\Proj(A)=\PP^{n-2}_k$ with $k$ a field, and base points are either absent or local complete intersection isolated points.
△ Less
Submitted 11 February, 2003; v1 submitted 7 October, 2002;
originally announced October 2002.
-
Determinantal resultant
Authors:
Laurent Buse
Abstract:
In this paper, a new kind of resultant, called the determinantal resultant, is introduced. This operator computes the projection of a determinantal variety under suitable hypothesis. As a direct generalization of the resultant of a very ample vector bundle, it corresponds to a necessary and sufficient condition so that a given morphism between two vector bundles on a projective variety X has ran…
▽ More
In this paper, a new kind of resultant, called the determinantal resultant, is introduced. This operator computes the projection of a determinantal variety under suitable hypothesis. As a direct generalization of the resultant of a very ample vector bundle, it corresponds to a necessary and sufficient condition so that a given morphism between two vector bundles on a projective variety X has rank lower or equal to a given integer in at least one point. First some conditions are given for the existence of such a resultant and it is showed how to compute explicitly its degree. Then a result of A. Lascoux is used to obtain it as a determinant of a certain complex. Finally some more detailed results in the particular case where X is a projective space are exposed.
△ Less
Submitted 30 September, 2002;
originally announced September 2002.
-
Implicitization of surfaces in P^3 in the presence of base points
Authors:
Laurent Buse,
David Cox,
Carlos D'Andrea
Abstract:
We show that the method of moving quadrics for implicitizing surfaces in P^3 applies in certain cases where base points are present. However, if the ideal defined by the parametrization is saturated, then this method rarely applies. Instead, we show that when the base points are a local complete intersection, the implicit equation can be computed as the resultant of the first syzygies.
We show that the method of moving quadrics for implicitizing surfaces in P^3 applies in certain cases where base points are present. However, if the ideal defined by the parametrization is saturated, then this method rarely applies. Instead, we show that when the base points are a local complete intersection, the implicit equation can be computed as the resultant of the first syzygies.
△ Less
Submitted 29 April, 2003; v1 submitted 23 May, 2002;
originally announced May 2002.
