RICAM-Logo OEAW-Logo
Johann Radon Institute for Computational and Applied Mathematics (RICAM)
Austrian Academy of Sciences (ÖAW)

MEGA 2007

Effective Methods in Algebraic Geometry

Strobl, Austria, June 25th - 29th

http://www.ricam.oeaw.ac.at/mega2007

mega-logo
Electronic Proceedings

Abstract

TitleIterated discriminants
Keywordsdiscriminant, generic point, cylindrical algebraic decomposition, CAD, singularities of discriminant hypersurface
AbstractIt is shown that the discriminant of a discriminant has the same irreducible factors as the product
of seven polynomials which are defined as the GCD of the generators of an elimination ideal.
Under tame conditions of genericity, three of these polynomials are irreducible and generate the corresponding
elimination ideal, while the four other are equal to one. Moreover the factors of two of
these polynomials are factors of multiplicity at least two of the iterated discriminant and the factors
of two others of the seven polynomials have multiplicity at least three.
The proof involves an extended use of the notion of generic point of an algebraic variety and a
careful study of the singularities of the hypersurface defined by a discriminant, which are interesting
by them selves.


The Institute is named after the famous Austrian mathematician Johann Radon (1887-1956)

Medieninhaber:
Österreichische Akademie der Wissenschaften
Juristische Person öffentlichen Rechts (BGBl 569/1921 idF BGBl I 130/2003)
Dr. Ignaz Seipel-Platz 2, 1010 Wien
Diese Website dient zur Information über die wissenschaftlichen Aktivitäten der Österreichischen Akademie der Wissenschaften und setzt somit den gesetzlichen Auftrag um, die Wissenschaft in jeder Hinsicht zu fördern.

This RICAM page was made with 100% valid HTML & CSS - Send comments to Webmaster
Today's date and time is 03/16/10 - 17:45 CET and this file ( /mega2007/electronic/18-abs.html ) was last modified on 06/19/07 - 14:54 CEST