We call a section of an elliptic surface to be everywhere integral if it is disjoint from the zero-section. The set of everywhere integral sections of an elliptic surface is a finite set under a mild condition. We pose the basic problem about this set when the base curve is P1. In the case of a rational elliptic surface, we obtain a complete answer, described in terms of the root lattice E8 and its roots. Our results are related to some problems in Gröbner basis, Mordell-Weil lattices and deformation of singularities, which have served as the motivation and idea of proof as well.
References
[1]N. Bourbaki, Éléments de mathématique. Fasc. XXXIV. Groupes et algèbres de Lie. Chapitre IV: Groupes de Coxeter et systèmes de Tits. Chapitre V: Groupes engendrés par des réflexions. Chapitre VI: systèmes de racines, Hermann, Paris, 1968.
Mathematical Reviews (MathSciNet):
MR240238
[2]J. H. Conway and N. J. A. Sloane, Sphere packings, lattices and groups, Third edition, Springer, New York, 1999.
[3]D. Cox, J. Little and D. O'Shea, Using algebraic geometry, Springer, New York, 1998.
[4]A. Grothendieck, Éléments de Géometrie Algébrique, Publ. Math. IV, IHES.
[5]R. Hartshorne, Algebraic geometry, Springer, New York, 1977.
Mathematical Reviews (MathSciNet):
MR463157
[6]K. Kodaira, On compact analytic surfaces. II, Ann. of Math. (2) 77 (1963), 563-626.
[7]K. Kodaira, On compact analytic surfaces. III, Ann. of Math. (2) 78 (1963), 1-40.
Mathematical Reviews (MathSciNet):
MR184257
[8]D. Mumford, Lectures on curves on an algebraic surface, Princeton Univ. Press, Princeton, N.J., 1966.
Mathematical Reviews (MathSciNet):
MR209285
[9]M. Noro and K. Yokoyama, Computational Foundations of Gröbner Bases, Tokyo Univ. Press (2003). (in Japanese).
[10]K. Oguiso and T. Shioda, The Mordell-Weil lattice of a rational elliptic surface, Comment. Math. Univ. St. Paul. 40 (1991), no. 1, 83-99.
[11]T. Shioda, On the Mordell-Weil lattices, Comment. Math. Univ. St. Paul. 39 (1990), no. 2, 211-240.
[12]T. Shioda, Construction of elliptic curves with high rank via the invariants of the Weyl groups, J. Math. Soc. Japan 43 (1991), no. 4, 673-719.
[13]T. Shioda, Mordell-Weil lattices of type E8 and deformation of singularities, in: Lecture Notes in Math. 1468 (1991), 177-202.
[14]T. Shioda, Existence of a rational elliptic surface with a given Mordell-Weil lattice, Proc. Japan Acad. Ser. A Math. Sci. 68 (1992), no. 9, 251-255.
[15]T. Shioda, Cyclotomic analogue in the theory of algebraic equations of type E6,E7,E8, in Integral quadratic forms and lattices (Seoul, 1998), 87-96, Contemp. Math., 249, Amer. Math. Soc., Providence, RI.
[16]T. Shioda, Integral points and Mordell-Weil lattices, in A panorama of number theory or the view from Baker's garden (Zürich, 1999), 185-193, Cambridge Univ. Press, Cambridge.
[17]T. Shioda, Gröbner Basis, Mordell-Weil Lattices and Deformation of Singularities, II. Proc. Japan Acad. Ser. A Math. Sci. 86 (2010), no. 2, 27-32.
[18]J. Tate, Algorithm for determining the type of a singular fiber in an elliptic pencil, in Modular functions of one variable, IV (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 1972), 33-52. Lecture Notes in Math., 476, Springer, Berlin.
Mathematical Reviews (MathSciNet):
MR393039
[19]A. Weil, Foundations of algebraic geometry, Amer. Math. Soc., Providence, R.I., 1962.
Mathematical Reviews (MathSciNet):
MR144898