Abstract
The most important open questions in the theory of algebraic cycles are the Hodge Conjecture, and its companion problem, the Tate Conjecture. Both these questions attempt to give a description of those cohomology classes on a nonsingular proper variety which are represented by algebraic cycles, in terms of intrinsic structure which is present on the cohomology of such a variety (namely, a Hodge decomposition, or a Galois representation). For the Hodge conjecture, the case of divisors (algebraic cycles of codimension 1) was settled long ago by Lefschetz and Hodge, and is popularly known as the Lefschetz (1,1) theorem, though there is little general progress beyond that case. However, even this case of divisors is an open question for the Tate Conjecture, in general, even for divisors on algebraic surfaces. After giving an introduction to these problems, I will discuss the recent progress on the Tate Conjecture for K3 surfaces, around works of M. Lieblich, D. Maulik, F. Charles and K. Pera.
Similar content being viewed by others
Notes
Algebraic cycles of codimension i are elements of the free abelian group on integral subschemes of codimension i; cycles with rational coefficients are obtained by tensoring the group of cycles with \({\mathbb{Q}}\).
Tate’s lecture notes do make this point as well, and make the additional conjecture that (T1)–(T3) are “independent of ℓ” in a suitable sense: that the conjectures for one ℓ are equivalent to the conjectures for any ℓ.
It is known, however, that the “integral Hodge conjecture” is in general false in any codimension i with 2≤i<dimX, from examples of Atiyah–Hirzebruch and Kollár.
That any indefinite quadratic form over \({\mathbb{Q}}\) of dimension ≥5 has a nontrivial zero.
Near the end of this article, we comment a bit more on the above ingredients in Maulik’s work.
References
André, Y.: On the Shafarevich and Tate conjectures for hyperkähler varieties. Math. Ann. 305, 205–248 (1996)
Artin, M.: Supersingular K3 surfaces. Ann. Sci. Éc. Norm. Super. 7(4), 543–567 (1974)
Artin, M., Swinnerton-Dyer, H.P.F.: The Tate–Safarevic conjecture for pencils of elliptic curves on K3 surfaces. Invent. Math. 20, 279–296 (1973)
Chai, C.-L., Oort, F.: Moduli of abelian varieties and p-divisible groups. In: Darmon, H., Ellwood, D.A., Hassett, B., Tschinkel, Y. (eds.) Arithmetic Geometry. Clay Math. Proceedings, vol. 8, pp. 439–534 (2009)
Charles, F.: The Tate conjecture for K3 surfaces over finite fields. Invent. Math. 194(1), 119–145 (2013)
Deligne, P.: Théorie de Hodge II. Publ. Math. IHES 40, 5–57 (1971)
Deligne, P.: La conjecture de Weil pour les surfaces K3. Invent. Math. 15, 206–226 (1972)
Fulton, W.: Intersection Theory, 2nd edn. Ergeb. Math. (3), vol. 2. Springer, Berlin (1998)
Grothendieck, A.: Standard conjectures on algebraic cycles. In: Algebraic Geometry (Internat. Colloq., Tata Inst. Fund. Res., Bombay, 1968), pp. 193–199. Oxford University Press, London (1969)
Hartshorne, R.: Algebraic Geometry. Grad. Texts in Math., vol. 52. Springer, Berlin (1977)
Kleiman, S.: The standard conjectures. In: Jannsen, U., Kleiman, S., Serre, J.-P. (eds.) Motives, Proc. Sym. Pure Math., Part 1, Am. Math. Soc., vol. 55, pp. 3–20 (1994)
Lieblich, M., Maulik, D.: A note on the cone conjecture for K3 surfaces in positive characteristics. Preprint. arXiv:1102.3377
Lieblich, M., Maulik, D., Snowden, A.: Finiteness of K3 surfaces and the Tate conjecture. Preprint. arXiv:1107.1221
Maulik, D.: Supersingular K3 surfaces for large primes. Preprint. arXiv:1203.2889
Milne, J.S.: Étale Cohomology. Princeton Math. Ser., vol. 33. Princeton University Press, Princeton (1980)
Milne, J.S.: Lecture Notes on Étale Cohomology. Available at http://www.jmilne.org/math/CourseNotes/lec.html
Nygaard, N.: The Tate conjecture for ordinary K3 surfaces over finite fields. Invent. Math. 74, 213–237 (1983)
Nygaard, N., Ogus, A.: Tate’s conjecture for K3 surfaces of finite height. Ann. Math. 122(3), 461–507 (1985)
Pera, K.M.: The Tate conjecture for K3 surfaces in odd characteristics. Preprint. arXiv:1301.6326
Tate, J.: Algebraic cohomology classes. Lecture notes, pp. 166–190. A.M.S. Summer Inst. in Algebraic Goemetry, Woods Hole (1964)
Tate, J.: Conjectures on algebraic cycles in ℓ-adic cohomology. In: Jannsen, U., Kleiman, S., Serre, J.-P. (eds.) Motives, Proc. Sym. Pure Math., Part 1, Am. Math. Soc., vol. 55, pp. 71–84 (1994)
Voisin, C.: Hodge Theory and Complex Algebraic Geometry, Vols I, II. Cambridge Univ. Studies in Advanced Math. Vols, vol. 76, p. 77. Cambridge University Press, Cambridge (2003)
Acknowledgements
I would like to thank Dipendra Prasad, Najmuddin Fakhruddin, Kapil Paranjape and Anand Sawant for their comments on versions of this document, which have helped improve it.
I acknowledge support from a J.C. Bose Fellowship of the DST, India, and a Humboldt Research Grant.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Srinivas, V. The Tate conjecture for K3 surfaces—a survey of some recent progress. Acta Math Vietnam. 39, 69–85 (2014). https://doi.org/10.1007/s40306-014-0048-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40306-014-0048-1