The -adic etale cohomology of algebraic varieties is much richer than their classical cohomology in the sense that it admits the action of Galois groups. In the 1960's, motivated by its relation to poles of zeta functions and a geometric analogue of the BSD conjecture, Tate was led to formulate his famous conjecture saying roughly that the -adic cohomology classes fixed by the Galois action should arise from algebraic cycles. Besides making the Tate conjecture precise, we will spend most of the time discussing Tate's original motivation, various evidence supporting it and a few surprising implications.

This is an expanded note prepared for a STAGE talk at MIT, Spring 2013. Our main references are [1], [2], [3] and [4].

Let be a field and let be a smooth geometrically irreducible projective variety over of dimension . We denote by the base change of to the algebraic closure . The Galois group then acts on via the second factor.

Definition 1
Let be the free abelian group generated by the irreducible closed subvarieties of of codimension (). An element of is called an *algebraic cycle* of codimension on . Inside , we have a subgroup consisting of algebraic cycles that are *defined over *.

Let be a prime different from . Recall from John's talk that there is *cycle class map* (of -modules) which associates to every algebraic cycle an -adic etale cohomology class.

Definition 2
We define to be the kernel of . These are the algebraic cycles *-adically homologically equivalent to zero*. Denote the quotient group and its subgroup the image of . Then induces a map
Notice that the image of is fixed by the -action, so we have an induced map
Our expectation will be that this is a bijection: the -fixed cohomology classes are exactly the *-span* of the algebraic classes.

Example 1
When , the cycle class map on divisors is relatively easier to describe. Taking the cohomology of the exact sequence of etale sheaves on gives an injective map , which by passing to the limit induces the cycle class map for , The kernel of therefore consists of the torsion elements and elements that are -divisible.

Notice the inclusions induces surjections By the theorem of the base, is a finitely generated abelian group. The kernel of the first surjection is a divisible group (points of the Picard variety) and the kernel of the second surjection is the torsion subgroup of . So we have , a free abelian group of rank equal to the *Picard number* . In particular, does not depend on the choice of . It also follows that the map (2) is at least injective when .

With this example in mind, we are now ready to state the famous Tate conjecture.

Conjecture 1 (Tate)
Suppose is finitely generated over its prime field.

- () The map (2) is bijective.
- () The -adically homological equivalence is the same as the numerical equivalence on . In particular, does not depend on the choice of .

Remark 1
Finitely generated fields are of "arithmetic nature": finite fields and global fields are finitely generated. Fields like (or any algebraically closed field), and -adic fields are not finitely generated. The Tate conjecture is not expected to hold for the latter.

Remark 2
In characteristic 0, we can embed into and appeal to the comparison theorem between -adic etale cohomology and singular cohomology. Then the cycle class map indeed factors through the finitely generated abelian group . It follows that does not depend on the choice of and the map (1) is injective, hence the injectivity of the map (2) follows immediately.

Remark 4
When is a finite field, Tate proves that one can identify with for any . The Kummer sequence on then gives an exact sequence One sees that is true if and only if , i.e., the -primary part is finite.

Remark 5
Since maps a 0-cycle to its degree, the Tate conjecture is trivial for . In particular, for a curve, then Tate conjecture is trivially true; for a surface, the only relevant conjecture is .

Remark 6
It is easy to see that is insensitive to base field extension: if is a field extension, then .

Why should one believe the Tate conjecture? One should because it is a conjecture of Tate (proof by authority, QED). We are going to discuss two of Tate's major original motivations: one is the relation between and the geometric analogue of the remarkable conjecture of Birch and Swinnerton-Dyer concerning the rational points of elliptic curves; one has to do with the following conjecture (now a theorem) on homomorphisms between abelian varieties.

Conjecture 2 (Tate's )
Suppose is finitely generated over its prime field. Let , be two abelian varieties over . Then the natural map is bijective, where is the rational -adic Tate module of .

Remark 7
This is very convenient for studying abelian varieties (geometric objects) via studying the linear algebraic objects (-adic Galois representations) on the right hand side! It follows that two abelian varieties are isogenous if and only their Tate modules are isomorphic as -modules. For this reason the conjecture is usually called *Tate's isogeny conjecture*.

Remark 8
To rephrase, the conjecture says that taking the Tate module is a *fully faithful* functor from an isogenous category of abelian varieties where the Hom sets are to the category of -adic -representations. In the same spirit, the Tate conjecture implies that the functor from the category of pure motives over (defined using the numerical equivalence) to the category of -adic -representations given by taking -adic etale cohomology is fully faithful.

Remark 9
Fix a polarization on an abelian variety , one can show using the properties of the Weil pairing that can be identified with the subset of elements of fixed under the Rosati involution ([5, I 14.2]). Similarly, can be identified with the subset of elements of fixed under the Rosati involution. So .

Remark 10
For finite fields was proved by Tate himself ([6]) soon after its formulation, now known as Tate's isogeny theorem. Zarhin [7] proved the case of function fields of positive characteristic. The number field case was proved by Faltings ([8]) as one of the steps in proving the Mordell conjecture. Faltings' method can be extended to any finitely generated fields.

The truth of allows us to prove the following

Proof
Consider for the product . On the one hand, the Kunneth formula gives decomposition
Notice that , where is the Albanese variety of . So using the duality between and , we know that , hence
On the other hand, extending the base field if necessary (Remark 6), one can choose and and obtain where can be identified with the divisorial correspondence between and ([5, III 6.3]). This implies an isomorphism of free abelian groups Now the assertion follows by comparing the two decompositions and the truth of .
¡õ

Remark 11
One can immediately enlarge the classes of varieties for which holds by taking products. In particular, is true for the product of any number of curves and abelian varieties.

Even better, Tate proved that

Proposition 2
is birationally invariant. More generally, if there is a dominant rational map , then .

Together with the previous proposition, we see that is true for any that is dominated by products of varieties for which are known to be true.

Example 2
For example, the Fermat surface is dominated by the product of two curves Explicitly, So is true for every Fermat surface .

The Hodge conjecture is known for codimension 1 by Lefschetz 1-1 theorem. In contrast, is still not known in general (and as you expected, even less is known when ). We list some known case about K3 surfaces (the theme of this seminar).

Due to the work of many authors, is also known to be true for Hilbert modular surfaces, quaternionic Shimura surfaces, Picard modular surfaces, Siegel modular threefolds... See the references in [2].

There are many implications of the Tate conjecture. One surprising implication among them is the BSD conjecture for elliptic curves over global function fields. As we mentioned, this is one of Tate's original motivations for formulating .

Assume now that is a finite field of characteristic . Recall that the zeta function of is defined to be the generating function of , By the Lefschetz trace formula, this is in fact a rational function in , where here is the characteristic polynomial of the geometric Frobenius on . By Deligne's proof of the Weil conjecture, this is a polynomial in independent of the choice of . The inverse roots of have all absolute values . For example, and .

It follows that the poles of the zeta function lie on the lines . In particular, the order of pole at is exactly the multiplicity of occurring as the eigenvalue of on , or the multiplicity of occurring as the eigenvalue of on . If acts semisimply, this is exactly the dimension of . In fact, by carefully doing linear algebra Tate showed that

Theorem 3
Assume is a finite field. Then and is true if and only if the order of pole of at is equal to the rank of the group of codimension cycles on up to numerical equivalence. In particular, is true if and only the order of the pole of at is equal to the the Picard number .

Example 3
Since , the Tate conjecture implies that the rank of codimension cycles on *defined over * up to numerical equivalence is the number of roots of unity occurring as eigenvalues of on . Suppose is even. By Poincare duality, is an eigenvalue of on the middle cohomology if and only if is. In other words, the number of such roots of of unity has the same parity as . In particular, when is a K3 surface, and implies that the geometric Picard number is always even!

This may ring some bells if you have seen the remarkable conjecture of Birch and Swinnerton-Dyer, which predicts that the order of zero of the -function at of an elliptic curve over a global field (more generally, any finitely generated field) is equal to the rank of the group of -rational points . When is the function field of a smooth projective curve defined over , by resolving singularities one can always find a regular projective elliptic surface such that the generic fiber of is . If is smooth, the connection is extremely simple: on the one hand, unraveling the definition one finds that Since has simple poles at , it follows that at , On the other hand, where is the class of fibers and is the class of the zero section. Hence Therefore The left hand side is the BSD conjecture for and by the previous theorem the right hand side is equivalent to the Tate conjecture for ! In general has singular fibers and the theorem of Shioda-Tate says that where is the number of different components of the fiber over the closed point of . When taking into account of the modification to from bad places, the change of the order of zero at miraculously matches up with . Hence we know that

In view of Remark 4, one naturally wonders if the finiteness of the Brauer group of the elliptic surface has anything to do the finiteness of the Shafarevich-Tate group . Amazingly, Grothendieck [14] proved that

Remark 12
It follows immediately that the BSD conjecture over global function fields is equivalent to the finiteness of . This is what Artin and Swinnerton-Dyer actually proved in [9] for elliptic K3 surfaces.

Remark 13
Everyone believes is finite. As Tate commented, otherwise "the Galois cohomology of an abelian variety should be a mess and the determination of the group of rational points by descent would be ineffective". In view of the above equivalence, why shouldn't one also believe the Tate conjecture (at least )?

Remark 14
Deligne proved that the Tate conjecture (for all codimensions) implies that all absolutely Hodge classes are algebraic ([4, 6.2]). Thus assuming Deligne's conjecture that all Hodge classes are absolutely Hodge (which is known for abelian varieties and K3 surfaces), the Tate conjecture implies the Hodge conjecture. There is no similar statement going the other way (e.g., the Hodge conjecture for K3 surfaces is easily true by Lefschetz 1-1, but the Tate conjecture for K3 surfaces is much harder).

Finally it is worth mentioning another interesting implication of the Tate conjecture for K3 surfaces recently proved in [15].

Theorem 6 (Lieblich-Maulik-Snowden)
Assume is a finite field of characteristic . Then is true for all K3 surfaces over if and only there are only finitely many K3 surfaces defined over each finite extension of .

[1]Algebraic cycles and poles of zeta functions, Arithmetical Algebraic Geometry (Proc. Conf. Purdue Univ., 1963), Harper \& Row, 1965, 93--110.

[2]Conjectures on algebraic cycles in $l$-adic cohomology, Motives (Seattle, WA, 1991), Proc. Sympos. Pure Math., 55 Amer. Math. Soc., 1994, 71--83.

[3]Elliptic curves over function fields, Arithmetic of $L$-functions, IAS/Park City Math. Ser., 18 Amer. Math. Soc., 2011, 211--280.

[4]The Tate conjecture over finite fields (AIM talk), ArXiv e-prints (2007).

[5]Abelian Varieties (v2.00), Available at www.jmilne.org/math/.

[6]Endomorphisms of abelian varieties over finite fields, Invent. Math. 2 (1966), 134--144.

[7]Endomorphisms of Abelian varieties over fields of finite characteristic, Izv. Akad. Nauk SSSR Ser. Mat. 39 (1975), no.2, 272--277, 471.

[8]Endlichkeitssätze für abelsche Varietäten über Zahlkörpern, Invent. Math. 73 (1983), no.3, 349--366.

[9]The Shafarevich-Tate conjecture for pencils of elliptic curves on $K3$ surfaces, Invent. Math. 20 (1973), 249--266.

[10]Tate's conjecture for $K3$ surfaces of finite height, Ann. of Math. (2) 122 (1985), no.3, 461--507.

[11]Supersingular K3 surfaces for large primes, ArXiv e-prints (2012).

[12]The Tate conjecture for K3 surfaces over finite fields, ArXiv e-prints (2012).

[13]The Tate conjecture for K3 surfaces in odd characteristic, ArXiv e-prints (2013).

[14]Le groupe de Brauer. III. Exemples et compléments, Dix Exposés sur la Cohomologie des Schémas, North-Holland, 1968, 88--188.

[15]Finiteness of K3 surfaces and the Tate conjecture, ArXiv e-prints (2011).