Rational parametrisation for degree 6 Del Pezzo surfaces using lie algebras

ABSTRACT

We give an algorithm for deciding whether a given Del Pezzo surface of degree 6 is rational over the ground field, and for computing a proper parametrisation in the affirmative case. This problem is reduced to the simultanuous solution of two norm equations.

REFERENCES

• 1: W. Bosma and J. Cannon. Handbook of Magma functions. Technical report, University of Sydney, 1995.
• 2: N. Bruin. Some ternary Diophantine equations of signature (n,n,2). In W. Bosma and J. Cannon, editors, Discovering mathematics with Magma. Springer, 2005.
• 3: B. W. Char, K. O. Geddes, G. H. Gonnet, and S. M. Watt. Maple User's Guide. WATCOM Publications Limited, 4th edition, 1985.
• 4: J.-L. Colliot-Thélène. Surfaces de del pezzo de degree 6. C.R.A.S., 275:109--111, 1972.
• 5: J.-L. Colliot-Thélène. Arithmetic of rational varieties and birational problems. In Proc. ICM 1986, pages 641--653. AMS Prov. RI, 1987.
• 6: P. Corn. Del Pezzo surfaces of degree 6. Technical Report math.AG/0409428, arXiv, 2004.
• 7: W. A .de Graaf, M. Harrison, J. Píniková, and J. Schicho. ALi e algebra method for the parametrization of Severi-Brauer surfaces. J. Algebra, 2005. accepted.
• 8: W. A .de Graaf, J. Píniková, and J. Schicho. Parametrizing Del Pezzo surfaces of degree 8 using Lie algebras. Technical Report math.X, arXiv, 2005.
• 9: F. Enriques. Sulle irrazionalita da cui puo farsi dipendere la risoluzione d'un equazione f(xyz)=0 con funzioni razionali di due parametri. Math. Ann., pages 1--23, 1895.
• 10: C. Fieker , A. Jurk , M. Pohst, On solving relative norm equations in algebraic number fields, Mathematics of Computation, v.66 n.217, p.399-410, Jan. 1997 [doi>10.1090/S0025-5718-97-00761-8 ]
• 11: D. Garbanati. An algorithm for finding an algebraic number whose norm is a given rational number. J. Reine Angew. Math., 316:1--13, 1980.
• 12: Serge Lang. Algebraic Number Theory, volume 110 of Graduage Texts in Mathematics. Springer, New York, 1986.
• 13: Y. Manin. Rational surfaces over perfect fields I. Inst. Hautes Et. Sci. Publ. Math., 30:137--186, 1966.
• 14: Y. Manin. Rational surfaces over perfect fields II. Math. USSR Sb., 1:141--168, 1967.
• 15: Y. Manin. Cubic Forms. North-Holland, Amsterdam, 1974.
• 16: S. A. Papadakis and M. Reid. Kustin-Miller unprojection without complexes. J. Algebraic Geom., 13(3):563--577, 2004.
• 17: J. Schicho. Rational parametrization of surfaces. PhD thesis, RISC Linz, 1995.
• 18: J. Schicho. Inversion of rational maps with Gröbner bases. In B. Buchberger and F. Winkler, editors, Gröbner bases and applications, pages 495--503. Cambridge Univ. Press, 1998.
• 19: 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 ]
• 20: Josef Schicho, Proper parametrization of surfaces with a rational pencil, Proceedings of the 2000 international symposium on Symbolic and algebraic computation, p.292-300, July 2000, St. Andrews, Scotland [doi>10.1145/345542.345657]
• 21: J. Schicho. Elementary theory of Del Pezzo surfaces. In Proc. COMPASS, pages 77--94. Springer, 2004.
• 22: D. Simon. Solving norm equations in relative number fields using S-units. Math. Comp., 71:1287--1305, 2002.
• 23: H. P. F. Swinnerton-Dyer. Rational points on del Pezzo surfaces of degree 5. In Algebraic geometry, Oslo 1970 (Proc. Fifth Nordic Summer School in Math.), pages 287--290. Wolters-Noordhoff, Groningen, 1972.

INDEX TERMS

Primary Classification:
  A. General Literature
  A.m MISCELLANEOUS

General Terms:
Algorithms