Elimination theory in codimension one and applications

Laurent Busé 1
1 GALAAD - Geometry, algebra, algorithms
CRISAM - Inria Sophia Antipolis - Méditerranée , UNS - Université Nice Sophia Antipolis, CNRS - Centre National de la Recherche Scientifique : UMR6621
Abstract : In these notes, we present a general framework to compute the codimension one part of the elimination ideal of a system of homogeneous polynomials. It is based on the computation of the so-called MacRae's invariants that we will obtain by means of determinants of complexes. Our approach mostly uses tools from commutative algebra. We begin with some basics on elimination theory and then introduce the MacRae's invariant and the so-called determinants of complexes. The rest of these notes illustrates our approach through two important examples: the Macaulay's resultant of $n$ homogeneous polynomials in $n$ variables and the computation of an implicit equation of a parameterized hypersurface using syzygies.
Complete list of metadatas

Cited literature [39 references]  Display  Hide  Download

https://hal.inria.fr/inria-00077120
Contributor : Laurent Busé <>
Submitted on : Monday, March 4, 2013 - 10:31:55 AM
Last modification on : Thursday, January 11, 2018 - 4:00:57 PM
Long-term archiving on : Sunday, April 2, 2017 - 8:42:07 AM

File

rrr-cimpa.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00077120, version 3

Citation

Laurent Busé. Elimination theory in codimension one and applications. [Research Report] RR-5918, INRIA. 2006, pp.47. ⟨inria-00077120v3⟩

Share

Metrics

Record views

544

Files downloads

336