Proper parametrization of surfaces with a rational pencil

ABSTRACT

We give an algorithm for the following problem: given a surface defined over Q, and a rational pencil on it, compute a proper parametrization with coefficients in Q.

REFERENCES

• 1: John Anthony Abbott, On the factorization of polynomials over algebraic fields, 1988
• 2: Chandrajit L. Bajaj , Robert L. Holt , Arun N. Netravali, Rational parametrizations of nonsingular real cubic surfaces, ACM Transactions on Graphics (TOG), v.17 n.1, p.1-31, Jan. 1998 [doi>10.1145/269799.269800]
• 3: Buchberger, B. An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-Dimensional Polynomial Ideal. PhD thesis, Universitat Innsbruck, Institut fur Mathematik, 1965. German.
• 4: Buchberger, B. GrSbner bases: An algorithmic method in polynomial ideal theory. In Recent Trends in Multidimensional Systems Theory, N. K. Bose, Ed. D. Riedel Publ. Comp., 1985, ch. 6.
• 5: Cassels, J. Rational quadratic forms, vol. 13 of London Math. Soc. Acad. Press, 1978.
• 6: Castelnuovo, G. Sulle superficie di genere zero. In Memoria scelte. Zanichelli, 1939, pp. 307-334.
• 7: Colliot-Thd~ne, J.-L. Arithmetic of rational varieties and birational problems. In Proc. ICM 1986 (1987), AMS Prov. RI, pp. 641-653.
• 8: James H. Davenport , Barry M. Trager, Factorization over finitely generated fields, Proceedings of the fourth ACM symposium on Symbolic and algebraic computation, p.200-205, August 05-07, 1981, Snowbird, Utah, United States [doi>10.1145/800206.806396]
• 9: Gerald Farin, Curves and surfaces for computer aided geometric design: a practical guide, Academic Press Professional, Inc., San Diego, CA, 1988
• 10: Erik Hillgarter , Franz Winkler, Points on Algebraic Curves and the Parametrization Problem, Selected Papers from the International Workshop on Automated Deduction in Geometry, p.189-207, September 27-29, 1996
• 11: Husty, M., and RSschl, O. An affine-kinematic generation of certain surfaces of fourth order with splitting double conic I (in german). Glas. Mat. 22 (1987), 143-156.
• 12: Husty, M., and RSschl, O. An affine-kinematic generation of certain surfaces of fourth order with splitting double conic II (in german). Glas. Mat. 22 (1987), 429-447.
• 13: Ireland, K., and Rosen, M. A Classical Introduction to Modern Number Theory, vol. 84 of Graduate Texts in Mathematics. Springer, New York, 1982.
• 14: Iskovskih, V. Rational surfaces with a pencil of rational curves. Math. USSR Sb. 3 (1967), 563-587.
• 15: Iskovskih, V. Rational surfaces with a pencil of rational curves with positive square of the caonical class. Math. USSR Sb. 12 (1970), 91-117.
• 16: Iskovskih, V. Birational properties of surfaces of degree 4 in p4. Math. USSR Sb. 17 (1972), 575-577.
• 17: Iskovskih, V. Minimal models of rational surfaces over arbitrary fields. Math. USSR Izv. 1~ (1980), 17-39.
• 18: Landau, S. Factoring polynomials over algebraic number fields. SIAM Journal on Computing 1~, 1 (Feb. 1985), 184-195.
• 19: Mfiuk, M., Sendra, J. R., and Winkler, F. On the complexity of parametrizing curves. Beitr. Algebra und Geometrie 37/2 (1996), 309-328.
• 20: Martin, Y. Rational surfaces over perfect fields I. Inst. Hautes Et. Sci. Publ. Math. 30 (1966), 137-186.
• 21: Martin, Y. Rational surfaces over perfect fields II. Math. USSR Sb. 1 (1967), 141-168.
• 22: Martin, Y. Cubic Forms. North-Holland, 1974.
• 23: NSether, M. Uber F15~chen, welche Scharen rationaler Kurven besitzen. Math. Ann. 3 (1870), 161-227.
• 24: Peternell, M. Rational parametrizations for envelopes of quadric families. PhD thesis, Techn. Univ. Vienna, 1997.
• 25: Martin Peternell , Helmut Pottmann, Computing rational parametrizations of canal surfaces, Journal of Symbolic Computation, v.23 n.2-3, p.255-266, Feb./March 1997 [doi>10.1006/jsco.1996.0087]
• 26: Les Piegl , Wayne Tiller, The NURBS book, Springer-Verlag, London, 1995
• 27: Josef Schicho, Rational parametrization of real algebraic surfaces, Proceedings of the 1998 international symposium on Symbolic and algebraic computation, p.302-308, August 13-15, 1998, Rostock, Germany [doi>10.1145/281508.281655]
• 28: Josef Schicho, Rational parametrization of surfaces, Journal of Symbolic Computation, v.26 n.1, p.1-29, July 1998 [doi>10.1006/jsco.1997.0199]
• 29: Schicho, J. Proper parametrization of real algebraic surfaces. Tech. Rep. 99-28, RISC-Linz, Univ. Linz, A-4040 Linz, 1999.
• 30: J. Rafael Sendra , Franz Winkler, Parametrization of algebraic curves over optimal field extensions, Journal of Symbolic Computation, v.23 n.2-3, p.191-207, Feb./March 1997 [doi>10.1006/jsco.1996.0083]
• 31: Walker, R. J. Algebraic Curves. Springer, 1978.
• 32: Wang, P. S. Factoring multivariate polynomials over algebraic number fields. Math. Comp. 32, 144 (Oct. 1976), 324-336.

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY
      F.2.2 Nonnumerical Algorithms and Problems
          Subjects: Geometrical problems and computations

Additional Classification:
  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION

General Terms:
Algorithms, Theory, Verification