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

TitleGenerators of the ideal of an algebraic space curve
Keywords 
AbstractAbhyankar has shown that the ideal of a smooth space curve can be generated by three polynomials.
In this paper we generalize Abhyankar's results to show that they hold
for a larger class of curves, and we improve his constructions since
we remove any geometric hypotheses of transversality and give explicit
efficient algorithms. We produce generators for the ideal of a space
curve by studying the connection between the space curve and a
suitable plane projection. The space curves which we can
handle are allowed to have singular points, but the local rings of
these singular points are required to project isomorphically to the
plane projection, whose singular locus can also contain additional
ordinary double points arising from the projection. These are the same
conditions imposed by Berry who studied some properties
of Gr\"obner bases for such curves. Here we show that, assuming the
space curve is integral and birational over its planar projection, we
can recover the ideal of the space curve from the polynomial defining
the plane curve and any rational function representing the space
coordinate. As an intermediate step we produce a Gr\"obner basis for
the space curve ideal consisting of four generators without any use of
Buchberger's algorithm. We then show how to
reduce these four to three generators. Assuming one begins with a
plane curve, we also show how to construct a rational function which
will lift it into 3-space, separating any specific subset of its
double points. In particular for plane curves with only double points
as singularities, our construction gives three generators for its
non-singular model in 3-space.


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/18/10 - 05:44 CET and this file ( /mega2007/electronic/40-abs.html ) was last modified on 06/19/07 - 14:54 CEST