Discriminants of complete intersection space curves

Laurent Busé 1 Ibrahim Nonkané 2
1 AROMATH - AlgebRe, geOmetrie, Modelisation et AlgoriTHmes
CRISAM - Inria Sophia Antipolis - Méditerranée , National and Kapodistrian University of Athens
Abstract : In this paper, we develop a new approach to the discriminant 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 discriminant without ambiguity and over any commutative ring, in particular in any characteristic. This formula also provides a new method for evaluating and computing this discriminant 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.
Liste complète des métadonnées

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01455679
Contributor : Laurent Busé <>
Submitted on : Friday, February 3, 2017 - 5:02:10 PM
Last modification on : Wednesday, October 10, 2018 - 10:08:56 AM
Document(s) archivé(s) le : Friday, May 5, 2017 - 11:29:04 AM

Files

curvedisc-preprint.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Laurent Busé, Ibrahim Nonkané. Discriminants of complete intersection space curves. International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2017, Kaiserslautern, Germany. pp.69-76, ⟨10.1145/3087604.3087635⟩. ⟨hal-01455679⟩

Share

Metrics

Record views

760

Files downloads

125