Conjecture 1. If the field is finitely generated over its prime subfield, if is a smooth projective variety over , if is a prime number different from the characteristic of the field , if
is the natural -adic representation, and , then the -space , the space of elements of annihilated by , is generated by the homology classes of algebraic cycles of codimension on (cf. also Algebraic cycle).
Conjecture 2. The rank of the group of classes of algebraic cycles of codimension on modulo homology equivalence coincides with the order of the pole of the function at the point .
These conjectures were verified for a large number of particular cases; restrictions are imposed both on the field and on the variety .
|||J.T. Tate, "Algebraic cycles and poles of zeta-functions" D.F.G. Schilling (ed.) , Arithmetical Algebraic geometry (Proc. Purdue Conf. 1963) , Harper & Row (1965) pp. 93–110|
In conjecture 2 above is the -series of , defined by
where the product is over all primes where has good reduction and where is the -th polynomial factor appearing in the zeta-function of the variety over the residue field of at ,
In the case , with and Abelian varieties, conjecture 1 takes for (i.e. for divisors) the following form: The natural homomorphism
is an isomorphism (where is the Tate module of the Abelian variety) (see ). This case of the conjecture has been proved: i) is a finite field by J. Tate [a1]; ii) if is a function field over a finite field by J.G. Zarkin [a2]; and iii) if is a number field by G. Faltings [a3].
|[a1]||J. Tate, "Endomorphisms of Abelian varieties over finite fields" Invent. Math. , 2 (1966) pp. 104–145|
|[a2]||J.G. Zarking, "A remark on endomorphisms of Abelian varieties over function fields of finite characteristic" Math. USSR Izv. , 8 (1974) pp. 477–480 Izv. Akad. Nauk SSSR , 38 : 3 (1974) pp. 471–474|
|[a3]||G. Faltings, "Endlichkeitssätze für abelsche Varietäten über Zahlkörpern" Invent. Math. , 73 (1983) pp. 349–366 (Erratum: Invent. Math (1984), 381)|
|[a4]||N.O. Nygaard, "The Tate conjecture for ordinary -surfaces over finite fields" Invent. Math. , 74 (1983) pp. 213–237|
|[a5]||G. van der Geer, "Hilbert modular surfaces" , Springer (1987)|
|[a6]||G. Wüstholz (ed.) , Rational points , Vieweg (1984)|
Tate conjectures. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Tate_conjectures&oldid=12224