Algorithms for Determining Birationality of Parametrization of Affine Curves

Details Algorithms for Determining Birationality of Parametrization of Affine Curves Algorithms for Determining Birationality of Parametrization of Affine Curves

1998-05-11

arxiv.org/abs/math/9805053v2

Mathematics

Algebraic Geometry

Latex2e file, 12 pages. Some proofs are improved. A misuse of terminology is corrected

Scientific paper

Let $k$ be an arbitrary field, and C be a curve in A^n defined parametrically by x_1=f_1(t),...,x_n=f_n(t), where f_1,...,f_n\in k[t]. A necessary and sufficient condition for the two function fields k(t) and k(f_1,...,f_n) to be same is developed in terms of zero-dimensionality of a derived ideal in the bivariate polynomial ring k[s,t]. Since zero-dimensionality of such an ideal can be readily determined by a Groebner basis computation, this gives an algorithm that determines if the parametrization \psi=(f_1,...,f_n): A --> C is a birational equivalence. We also develop an algorithm that determines if k[t] and k[f_1,...,f_n] are same, by which we get an algorithm that determines if the parametrization \psi=(f_1,...,f_n): A --> C is an isomorphism. We include some computational examples showing the application of these algorithms.

Affiliated with

Also associated with

No associations

Rating

Algorithms for Determining Birationality of Parametrization of Affine Curves does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Algorithms for Determining Birationality of Parametrization of Affine Curves, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Algorithms for Determining Birationality of Parametrization of Affine Curves will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-635874