Shioda-Tate formula
Let be a field and let be a fixed algebraic closure of . Let be an elliptic surface over a curve and let be the function field of . Let (or more precisely ). The Néron-Severi group of , denoted by , is by definition the group of divisors on modulo algebraic equivalence. Under the previous assumptions, is a finitely generated abelian group (this is a consequence of the so-called ‘theorem of the base’ which can be found in [1]). The Néron-Severi group of , denoted by , is simply the image of the group of divisors on in . Let be the subgroup generated by the image of the zero-section and all the irreducible components of the fibers of . is sometimes called the “trivial part” of .
Theorem (Shioda-Tate formula).
For each let be the number of irreducible components on the fiber at , i.e. . Then:
References
- 1 S. Lang, Fundamentals of Diophantine Geometry, Springer-Verlag (1983).
- 2 T. Shioda, On elliptic modular surfaces, J. Math. Soc. Japan 24 (1972), 20-59.
- 3 T. Shioda, An Explicit Algorithm for Computing the Picard Number of Certain Algebraic Surfaces, Amer. J. Math. 108 (1986), 415-432.
- 4 T. Shioda, On the Mordell-Weil Lattices, Commentarii Mathematici Universitatis Sancti Pauli, Vol 39, No. 2, 1990, pp. 211-239.
- 5 J. Tate, On the conjectures of Birch and Swinnerton-Dyer and a geometric analog, Séminaire Bourbaki, 9, Soc. Math. France, Paris, 1966, Exp. No. 306, 415-440, 1995.
Title | Shioda-Tate formula |
---|---|
Canonical name | ShiodaTateFormula |
Date of creation | 2013-03-22 15:34:22 |
Last modified on | 2013-03-22 15:34:22 |
Owner | alozano (2414) |
Last modified by | alozano (2414) |
Numerical id | 4 |
Author | alozano (2414) |
Entry type | Theorem |
Classification | msc 14J27 |