Source author record

Laurent Busé

Laurent Busé appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2022arXiv

Formulas for the eigendiscriminants of ternary and quaternary forms

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.

preprint2022arXiv

Multigraded Sylvester forms, Duality and Elimination Matrices

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.

preprint2020arXiv

Degree and birationality of multi-graded rational maps

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.

preprint2020arXiv

Fibers of multi-graded rational maps and orthogonal projection onto rational surfaces

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.

preprint2020arXiv

Freeness and invariants of rational plane curves

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.

preprint2019arXiv

The geometry of the flex locus of a hypersurface

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.

preprint2016arXiv

Effective criteria for bigraded birational maps

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.

preprint2016arXiv

Extraction of cylinders and cones from minimal point sets

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.

preprint2014arXiv

Resultant of an equivariant polynomial system with respect to the symmetric group

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.

preprint2012arXiv

A computational approach to the discriminant of homogeneous polynomials

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.

preprint2011arXiv

On the total order of reducibility of a pencil of algebraic plane curves

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.