Fact-checked by Grok 2 weeks ago

Tate conjecture

The Tate conjecture is a major unsolved problem in algebraic geometry, proposed by John Tate in 1963, which asserts that for a smooth projective variety defined over a finitely generated field, the rational Tate classes in the étale cohomology groups are precisely the classes of algebraic cycles defined over that field.^[1] Formulated in Tate's 1965 paper "Algebraic cycles and poles of zeta functions," the conjecture emerged from efforts to understand the poles of zeta functions associated to varieties and their connections to the distribution of rational points, building on the foundational work in étale cohomology developed by Alexander Grothendieck in the early 1960s.^[2]^[1] Tate later refined and generalized the statement in his 1994 article "Conjectures on algebraic cycles in ℓ-adic cohomology," where he divided it into two parts: one asserting the algebraic nature of Galois-invariant cohomology classes (the "Tate classes"), and another predicting the semisimplicity of the associated Galois representations on cohomology.^[2] The conjecture applies specifically to fields finitely generated over the rationals or finite fields, as it fails in more general settings like algebraically closed or p-adic fields.^[1] The importance of the Tate conjecture lies in its potential to unify disparate areas of mathematics, including the study of motives, the Birch and Swinnerton-Dyer conjecture on elliptic curves, and the Hodge conjecture over the complex numbers, by providing a framework to compute and classify algebraic cycles via more accessible Galois-theoretic tools.^[1]^[3] It implies finiteness results for groups like the Tate-Shafarevich group and has deep implications for the arithmetic of abelian varieties and K3 surfaces.^[1] While the full conjecture remains open, significant partial results have been established: it holds in codimension one for abelian varieties over finite fields, as proven by Tate in 1966 and extended by others to certain higher-codimension cases, with further extensions in 2025 to additional specific cases;^[4] for curves and surfaces in many cases; and completely for K3 surfaces over finite fields, as shown in breakthroughs around 2012 using the Kuga-Satake construction and modular methods.^[3]^[1] Recent progress, including proofs for certain low-codimension cycles on hyperkähler varieties, underscores its ongoing centrality in arithmetic geometry.^[1]

Background Concepts

Algebraic cycles and Chow groups

In algebraic geometry, an algebraic cycle of codimension k on a smooth projective variety X defined over an algebraically closed field is a formal \mathbb{Z}-linear combination \sum n_i V_i of irreducible subvarieties V_i \subset X of codimension k, where the coefficients n_i \in \mathbb{Z}.^[5] The group of all such cycles, denoted Z^k(X), is a free abelian group generated by the irreducible subvarieties of codimension k.^[5] The Chow group \mathrm{CH}^k(X) is constructed as the quotient of Z^k(X) by the subgroup of cycles rationally equivalent to zero.^[5] Rational equivalence is the equivalence relation generated by cycles of the form \mathrm{div}(f) for a rational function f on an integral subvariety of codimension k-1, or more precisely, the principal cycles arising as boundaries in the space of rational functions on subvarieties of dimension \dim X - k + 1.^[6] For instance, when k=1, \mathrm{CH}^1(X) coincides with the class group of divisors on X, modulo linear equivalence.^[5] There exists a natural cycle class map \mathrm{cl}: \mathrm{CH}^k(X) \to H^{2k}(X(\mathbb{C}), \mathbb{Q}) (for X over \mathbb{C}) that associates to each cycle its Poincaré dual homology class in singular cohomology, providing a bridge between algebraic and topological invariants.^[5] This map is central to cohomological approaches in algebraic geometry, where it allows comparison of cycle structures with cohomology theories. Over non-algebraically closed fields, analogous maps can be defined using étale cohomology.^[7] The foundational ideas of algebraic cycles trace back to André Weil's development of abstract algebraic geometry in the mid-20th century, particularly in his 1946 monograph where cycles are used to formalize intersections and correspondences.^[8] Wei-Liang Chow advanced this framework in 1956 by establishing the well-definedness of rational equivalence classes and their quotient groups for abstract varieties, enabling intersection theory without reliance on embedding into projective space.^[6]

Étale cohomology and Galois representations

Étale cohomology provides a cohomology theory for algebraic varieties that is particularly well-suited to capturing arithmetic information, especially over fields of positive characteristic. The étale site of a scheme X, denoted X_{\ét}, is defined as the category of étale morphisms U \to X equipped with the Grothendieck topology where coverings are families of étale morphisms that jointly étale surject onto X.^[9] This topology allows for the construction of sheaf cohomology groups H^i_{\ét}(X, \mathcal{F}) for abelian sheaves \mathcal{F} on X_{\ét}, generalizing classical sheaf cohomology to the algebraic setting. Unlike singular cohomology, which relies on continuous maps and the analytic topology of complex manifolds, étale cohomology uses algebraic morphisms (étale covers) that preserve local étaleness without requiring a metric or analytic structure, making it applicable to varieties over any field.^[9] For arithmetic purposes, one often uses constant sheaves with l-adic coefficients, where l is a prime different from the characteristic, yielding groups H^i_{\ét}(X, \mathbb{Q}_l) as inverse limits of cohomology with \mathbb{Z}/l^n\mathbb{Z}-coefficients.^[10] When X is defined over a field k with algebraic closure \bar{k}, the absolute Galois group \Gal(\bar{k}/k) acts on the étale cohomology of the base change X_{\bar{k}} through its action on the coefficients and the geometry. This action is mediated by the geometric Frobenius endomorphism, which arises from the Frobenius morphism on finite étale covers corresponding to extensions of k. Specifically, for X proper and smooth over k, the cohomology groups H^i_{\ét}(X_{\bar{k}}, \mathbb{Q}_l) carry a continuous representation \rho: \Gal(\bar{k}/k) \to \GL(H^i_{\ét}(X_{\bar{k}}, \mathbb{Q}_l)), known as an l-adic Galois representation.^[9] These representations encode the arithmetic of X, as the eigenvalues of the Frobenius elements at primes of k relate to the zeta function of X via the étale cohomology realization.^[9] For abelian varieties, the Tate module offers a concrete realization of these Galois representations in low degrees. Given an abelian variety A over k, the l-adic Tate module T_l(A) is the inverse limit \varprojlim_n A[l^n](\bar{k}), where A[l^n] is the kernel of multiplication by l^n, forming a free \mathbb{Z}_l-module of rank $2\dim(A).^[11] This module is isomorphic to the dual of H^1_{\ét}(A_{\bar{k}}, \mathbb{Z}_l), linking it directly to étale cohomology, and the Galois action on T_l(A) yields the representation \rho: \Gal(\bar{k}/k) \to \GL(T_l(A) \otimes \mathbb{Q}_l).^[9] In higher degrees, the cohomology H^1_{\ét}(A_{\bar{k}}, \mathbb{Q}_l) is related to the tangent space and extensions, while H^2_{\ét}(A_{\bar{k}}, \mathbb{Q}_l) captures the Néron-Severi group via cycle classes.^[9] A fundamental bridge between étale and classical topology is the comparison isomorphism for varieties over the complex numbers. For a smooth proper variety X over \mathbb{C}, there is a natural isomorphism H^i_{\ét}(X_{\bar{\mathbb{C}}}, \mathbb{Q}_l) \otimes_{\mathbb{Q}_l} \mathbb{C} \cong H^i_{\sing}(X(\mathbb{C}), \mathbb{Q}_l \otimes \mathbb{C}), compatible with the Galois action (trivial over \mathbb{C}) and cup products.^[9] This theorem, established in the framework of Grothendieck's seminars, confirms that étale cohomology recovers the Betti (singular) cohomology groups when X admits an analytic structure, thus interpolating between arithmetic and topological invariants.^[12]

Formal Statement

General formulation

The Tate conjecture provides a deep connection between the geometry of algebraic cycles and the arithmetic of Galois representations in étale cohomology for smooth projective varieties over fields of arithmetic interest. Specifically, let k be a field finitely generated over its prime field, and let X be a smooth projective variety defined over k. Let \overline{k} denote a separable closure of k, and set G = \Gal(\overline{k}/k). The conjecture addresses the interaction between the Chow group of codimension-d cycles on the base change X_{\overline{k}} and the G-invariant part of the étale cohomology of X_{\overline{k}}, for integers d with $1 \leq d \leq \dim(X) and a prime

\ell \neq \char(k)

. (The cases d=0 and d=\dim(X) are trivial, as they correspond to the structure sheaf and points, respectively.)^[13]^[14] The precise statement asserts that the cycle class map

\cl_d \colon \CH^d(X_{\overline{k}}) \otimes \mathbb{Q}_\ell \to H^{2d}(X_{\overline{k}}, \mathbb{Q}_\ell(d))

induces an isomorphism

(\CH^d(X_{\overline{k}}) \otimes \mathbb{Q}_\ell)^G \cong H^{2d}(X_{\overline{k}}, \mathbb{Q}_\ell(d))^G.

Here, \CH^d(X_{\overline{k}}) is the Chow group of codimension-d cycles on X_{\overline{k}} modulo rational equivalence, and the étale cohomology is taken with \mathbb{Q}_\ell-coefficients and Tate twist d to normalize weights, ensuring the target space consists of classes of weight zero under the Galois action. The injectivity of this map implies that distinct Galois-invariant algebraic cycles yield linearly independent cohomology classes, reflecting a form of linear independence for cycles over \overline{k}. Meanwhile, surjectivity guarantees that every Galois-invariant cohomology class of weight zero in degree $2d originates from an algebraic cycle defined over k, up to rational equivalence; this part captures the conjecture's arithmetic essence, linking geometric objects to computable Galois-theoretic data.^[13]^[15]^[16] A refined version of the conjecture incorporates motives, positing that the realization functor from the category of pure motives over k to the category of Galois representations faithfully reflects the structure of algebraic cycles, with the cycle class map becoming an isomorphism in the motive category after tensoring with \mathbb{Q}_\ell. This perspective aligns the Tate conjecture with broader motivic frameworks, emphasizing weight filtration and the purity of cohomology classes.^[13]

Specific case for finite fields

When the base field k is finite with q = |k| elements, the Tate conjecture specializes to varieties over finite fields, incorporating the action of the geometric Frobenius endomorphism F on étale cohomology. For a smooth projective variety X of dimension d over k, the conjecture asserts that the image of the cycle class map \mathrm{cl}: \mathrm{CH}^d(X) \otimes \mathbb{Q}_\ell \to H^{2d}(X_{\bar{k}}, \mathbb{Q}_\ell(d)) equals the subspace H^{2d}(X_{\bar{k}}, \mathbb{Q}_\ell(d))^F, where the superscript F denotes the F-invariants, i.e., the generalized eigenspace for the eigenvalue 1 of the Frobenius acting on the twisted cohomology.^[14] This formulation arises because the Galois group \mathrm{Gal}(\bar{k}/k) is topologically generated by the Frobenius, reducing the general Galois-invariant condition to one involving the Frobenius action.^[14] The Tate twist (d) shifts the weights in the cohomology so that H^{2d}(X_{\bar{k}}, \mathbb{Q}_\ell(d)) is pure of weight 0, meaning the eigenvalues of the Frobenius F on the untwisted H^{2d}(X_{\bar{k}}, \mathbb{Q}_\ell) have absolute value q^d in every complex embedding, as established by the Weil conjectures.^[14] On the twisted space, this purity implies that F acts semisimplicially with eigenvalues of absolute value 1, and the Tate classes correspond precisely to those fixed by F (eigenvalue 1).^[14] This setup leverages the arithmetic nature of finite fields, where the Frobenius provides a natural semisimple operator compatible with the cycle class map. For the specific case of divisors (d=1), the conjecture relates the Néron-Severi group \mathrm{NS}(X) \otimes \mathbb{Q}_\ell to the Frobenius invariants in H^2(X_{\bar{k}}, \mathbb{Q}_\ell(1))^F. This implies that homologically trivial divisor classes over \bar{k} are algebraic if they are fixed by Frobenius, linking the geometry of rational points on X to the Picard group via the degree map and Brauer-Manin obstruction considerations in arithmetic geometry.^[17] Tate proved this case for abelian varieties over finite fields, showing that endomorphisms and isogenies are determined by their action on the invariant cohomology.^[17] Unlike the general case over arbitrary fields, the finite field setting allows an interpretation via the zeta function of X, where the order of the pole at s=d equals the dimension of the F-invariant subspace in H^{2d}(X_{\bar{k}}, \mathbb{Q}_\ell(d)), as predicted by the Weil conjectures and providing a motivic link between cycles and L-functions.^[14]

Historical Development

Origins and early work

The Tate conjecture originated in the early 1960s amid rapid developments in arithmetic geometry, particularly following André Weil's formulation of his conjectures on the zeta functions of algebraic varieties over finite fields. John Tate first announced the conjecture during seminars around 1962–1963, motivated by efforts to relate the poles of these zeta functions to algebraic cycles on varieties.^[18] These initial ideas were presented in Tate's lectures, where he explored connections between Galois representations and cycle classes in cohomology.^[19] Tate's work built on the anticipated proof of the Weil conjectures, which Pierre Deligne later established in 1974 using étale cohomology. In response to these conjectures, Tate formulated his ideas in a series of mid-1960s lectures, culminating in his 1965 paper, where he conjectured that the poles of the zeta functions of varieties over finite fields arise from algebraic cycles, and that the Galois-invariant part of the l-adic cohomology is generated by algebraic cycle classes.^[18] In a follow-up 1966 paper, Tate proved the conjecture in the case of divisors on abelian varieties over finite fields. This framework addressed the structure of cohomology groups, positing a bijection between certain endomorphism rings and Galois-invariant classes.^[19] The conjecture drew significant influence from Alexander Grothendieck's standard conjectures, introduced in the 1960s, which posited the algebraicity of Lefschetz operators acting on cycle classes in cohomology.^[20] Grothendieck's ideas on the numerical equivalence of cycles and their role in Hodge structures provided a foundational backdrop for Tate's arithmetic extension. Concurrently, Grothendieck developed étale cohomology as the appropriate framework for these investigations over fields of positive characteristic.^[18] Early motivations for the Tate conjecture stemmed from studies of elliptic curves and abelian varieties, where the ranks and structures were linked to the orders of zeros and poles of Hasse-Weil zeta functions.^[21] Tate sought to generalize the Birch and Swinnerton-Dyer conjecture from elliptic curves to higher-dimensional abelian varieties, using algebraic cycles to explain the analytic behavior of these L-functions over finite fields.

Key contributions and evolution

Building upon John Tate's initial formulation in the 1960s, the Tate conjecture advanced significantly in the 1970s with Pierre Deligne's proof of the Weil conjectures, which provided the essential cohomological framework. Deligne demonstrated that the eigenvalues of the Frobenius endomorphism acting on the étale cohomology of smooth projective varieties over finite fields are algebraic integers of absolute value equal to the square root of the cardinality of the base field, raised to the appropriate cohomological degree.^[22] This result established the existence and properties of étale cohomology groups with Galois action, directly supporting the conjecture's prediction that algebraic cycles generate the invariant part of these groups under the Galois group.^[22] In 1994, Tate himself refined the conjecture in his article "Conjectures on algebraic cycles in ℓ-adic cohomology," dividing it into a part asserting the algebraic origin of Galois-invariant cohomology classes (Tate classes) and another on the semisimplicity of the associated Galois representations on cohomology.^[1] In the 1980s, key developments focused on p-adic and crystalline aspects, led by contributions from Kazuya Kato, Jean-Marc Fontaine, and William Messing. Kato, in collaboration with Spencer Bloch, introduced p-adic étale cohomology as a tool to study integral structures and Galois representations modulo p, bridging de Rham and étale cohomologies in characteristic p settings relevant to the conjecture. Fontaine and Messing established comparison isomorphisms between p-adic étale cohomology and crystalline cohomology, enabling the formulation of p-adic versions of the Tate conjecture for varieties with good reduction.^[23] These works refined the conjecture's implications for non-archimedean local fields and provided foundational results for crystalline cycle classes.^[23] The 1990s saw refinements toward integral versions of the Tate conjecture, with James S. Milne exploring the role of Lefschetz motives in generating cycle classes over finite fields and addressing integrality conditions. Milne's analysis showed how standard conjectures on algebraic cycles imply the Tate conjecture in specific motivic settings, emphasizing Z_l-coefficients for l-adic realizations. Concurrently, Bloch-Ogus theory provided a spectral sequence resolution for cohomology theories satisfying the Gersten conjecture, allowing relative computations of cycle class maps that support integral formulations of Tate's ideas for varieties over rings of integers.^[24] This framework facilitated the study of unramified cohomology and descent properties essential to integral cycle realizations.^[24] By the 2000s, the conjecture integrated into motivic frameworks through Vladimir Voevodsky's construction of triangulated categories of motives over a field, where algebraic cycles act as generators. Voevodsky defined effective motives using presheaves with transfers, leading to a triangulated category DM_gm that realizes étale cohomology and supports a reformulation of the Tate conjecture as the full faithfulness of the realization functor from motives to Galois representations.^[25] This evolution positioned the conjecture within a universal triangulated setting, linking it to motivic cohomology and homotopy theory while preserving the original Galois-theoretic core.^[25]

Proven and Partial Results

Cases for low-dimensional varieties

The Tate conjecture holds for all smooth projective varieties of dimension 1 over finite fields. This result is a consequence of André Weil's proof in the 1940s of the Riemann hypothesis for curves over finite fields, which employs the Riemann-Roch theorem to link the number of rational points on the curve to the characteristic polynomial of the Frobenius endomorphism acting on the étale cohomology groups H^1 and H^2. The action on H^1 corresponds to the cohomology of the Jacobian abelian variety, ensuring that the Galois-invariant classes in H^2 are spanned by algebraic divisors.^[26] A key example is provided by elliptic curves, where the conjecture describes the Galois representation on H^1_et(X_bar, Q_l) as arising from the endomorphism ring tensored with Q_l, with the cycle class in H^2 generated by the class of a rational point on the curve. This representation is semisimple, as established by Tate's theorem on endomorphisms of abelian varieties over finite fields.^[14] For varieties of dimension 2 over finite fields, the Tate conjecture has been established for K3 surfaces, with partial results for rational, Enriques, and abelian surfaces. Partial results for K3 surfaces were obtained by Artin and Swinnerton-Dyer in 1973 for elliptic K3 surfaces, by Nygaard and Ogus in 1985 for non-supersingular cases, and the full conjecture was proved in breakthroughs around 2012 by Charles, Kim, Madapusi Pera, and Maulik, with completions for supersingular cases by 2020.^[13]^[27] The Tate conjecture in codimension 1 holds for abelian surfaces by Tate's 1966 theorem. For rational surfaces, partial results in codimension 1 relate to the conjectured finiteness of the Brauer group via the Kummer sequence, but the full conjecture remains open. Partial results for Enriques surfaces follow from lifting to characteristic zero and Hodge theory, while for abelian surfaces, it holds in codimension 1 but remains incomplete for codimension 2 despite known structure from the Jacobian.^[13]

Recent advances for abelian varieties

The Tate conjecture for abelian varieties over finite fields has long been established in low dimensions. For dimension 1, corresponding to elliptic curves, the conjecture holds due to the semisimplicity of the étale cohomology and the action of the Galois group on the Tate module, as proven in early work by Serre and building on Tate's foundational results.^[28] It extends to products of elliptic curves, where the conjecture is verified for algebraic cycles of arbitrary codimension using properties of the zeta function and cycle classes.^[29] Partial results for simple abelian varieties emerged from the Honda-Tate theorem in the late 1960s and early 1970s, which classifies these varieties up to isogeny via Weil q-numbers and determines their endomorphism algebras over the algebraic closure, aligning with the conjecture's predictions for rational endomorphisms.^[30] Significant partial progress in the 2010s and later confirmed the Tate conjecture for certain abelian varieties of dimension up to 3 over finite fields, such as products of elliptic curves and some simple cases, with contributions from Ribet on Galois representations. These results rely on detailed analysis of the Galois representations on étale cohomology groups and the semisimplicity of the Frobenius action. Low-dimensional cases serve as essential building blocks for understanding higher-dimensional instances through decomposition into simple factors and isogeny considerations. p-Adic Hodge theory has informed related developments in the arithmetic of these representations, though primary tools for finite fields remain étale cohomology techniques. In 2025, further advances addressed previously open cases for higher-dimensional simple abelian varieties over finite fields. A May preprint introduced a combinatorial condition on the Galois group of the minimal polynomial of the Frobenius endomorphism, combined with an algorithmic verification of Newton polygons and CM fields, to prove the existence of exceptional Tate classes and confirm the conjecture in these settings; this extends prior results by Dupuy, Kedlaya, Zureick-Brown, Lenstra, and Zarhin.^[4] Concurrently, a May seminar presentation detailed additional new cases through refinements of these methods, focusing on non-maximal angle rank scenarios.^[31] Approaches incorporating Kato's Euler systems and refinements of the Mazur-Tate conjecture via adjoint L-values have been explored in arithmetic contexts to probe rank and vanishing orders, offering potential pathways for broader verification, though direct applications to cycle classes remain under investigation.^[32] Regarding the integral version of the Tate conjecture, which posits that Galois-invariant cycles in the integral étale cohomology are algebraic over the integers, a September 2025 preprint demonstrated its failure for very general principally polarized abelian varieties of dimension at least 4 over finite fields. This result leverages Deligne's theory of absolute Hodge cycles and counterexamples from the integral Hodge conjecture's recent disproof for similar varieties.^[33]

Hodge and integral Hodge conjectures

The Hodge conjecture, formulated by William Hodge in the 1940s as part of his development of Hodge theory on complex manifolds, asserts that every Hodge class on a smooth projective algebraic variety over the complex numbers is a rational linear combination of the fundamental classes of algebraic cycles.^[34]^[35] Specifically, a Hodge class in the cohomology group H^{2p}(X, \mathbb{Q}) lies in the image of the projection from the space of algebraic cycles to cohomology, capturing the idea that transcendental cohomology classes of Hodge type must arise from geometry.^[34] The integral Hodge conjecture strengthens this statement by requiring that Hodge classes in the integral cohomology H^{2p}(X, \mathbb{Z}) are integer linear combinations of algebraic cycle classes, but it fails in general.^[36] Counterexamples involving torsion classes were first constructed by Atiyah and Hirzebruch in 1961, while non-torsion counterexamples for certain 3-folds were given by Kollár in 2006 and others.^[36] In 2025, Philip Engel, Olivier de Gaay Fortman, and Stefan Schreieder provided further counterexamples showing that the integral Hodge conjecture fails for very general principally polarized abelian varieties of dimension at least 3, using matroid theory to exhibit non-algebraic classes in their cohomology.^[37] This result highlights ongoing challenges in understanding integral structures on cohomology, paralleling difficulties in integral versions of related conjectures. The Tate conjecture serves as an arithmetic analogue of the Hodge conjecture, replacing Hodge classes over the complex numbers with Galois-invariant classes in étale cohomology over finite fields.^[13]

Standard conjectures on algebraic cycles

The standard conjectures on algebraic cycles, formulated by Alexander Grothendieck in 1968, provide a unifying framework for relating the geometry of algebraic cycles to the algebraic structure of cohomology groups on smooth projective varieties over any field. These conjectures posit that fundamental operations in Weil cohomology theories—such as those arising from ample divisors and tensor products—are realized via algebraic correspondences, thereby laying the groundwork for a universal cohomology theory known as motives. In particular, they motivate the Tate conjecture as a refined arithmetic variant, especially over finite fields, where the action of the Galois group refines the generation of cohomology classes by cycles.^[20] The Lefschetz standard conjecture addresses the action of the Lefschetz operator L, defined as cup product with the cohomology class of a hyperplane section (ample divisor) on a smooth projective variety X of dimension d. The soft version asserts that, for r \leq d, the map L^{d-r}: H^r(X, \mathbb{Q}_\ell) \to H^{2d-r}(X, \mathbb{Q}_\ell) is surjective and induced by an algebraic cycle on X \times X, generalizing the surjectivity aspect of the hard Lefschetz theorem to arbitrary fields and cohomology theories. The hard version strengthens this to an isomorphism, requiring the existence of an algebraic cycle whose induced map provides a left inverse to L^{d-r}, thus ensuring bijectivity through algebraic means. These versions imply key structural properties, such as the semisimplicity of the cohomology algebra under intersection products.^[38]^[39] The Künneth standard conjecture focuses on the cohomology of products, stating that the canonical projectors \pi_i decomposing H^*(X \times X, \mathbb{Q}_\ell) \cong \bigoplus_i H^i(X, \mathbb{Q}_\ell) \otimes H^{2d-i}(X, \mathbb{Q}_\ell)^\vee (up to duals and shifts) are induced by algebraic cycles on X \times X. This ensures that the Künneth isomorphism respects the category of algebraic varieties under tensor product, allowing motives to form a tensor category with well-behaved internal Hom objects. The conjecture holds over the complex numbers by classical Hodge theory but remains open in general.^[20]^[40] The Hodge standard conjecture provides an algebraic analogue of the Hodge index theorem, asserting that for a smooth projective variety X over any field, with \dim(X)=n and p \leq n/2, the bilinear form on the \mathbb{Q}-vector space of primitive algebraic cycles of codimension p (modulo homological equivalence), defined by (\alpha, \beta) \mapsto \int_X \alpha \cdot L^{n-2p} \cdot \beta where L is the class of an ample divisor, is positive definite on the orthogonal complement of the span of L^p. This holds over \mathbb{C} by classical Hodge theory.^[38]^[39] These conjectures have profound implications for the Tate conjecture, as their validity would confirm the algebraic nature of Galois-invariant classes in even-degree cohomology over finite fields, thereby supporting the semisimplicity and purity aspects central to Tate's formulation. While open in full generality, partial progress has been achieved through motivic methods; notably, Yves André's work in the 1990s constructed an unconditional category of mixed motives over fields of characteristic zero, enabling proofs of the standard conjectures for low-dimensional cases such as surfaces and abelian varieties.^[41]^[42]

Implications and Applications

Links to arithmetic geometry

The Tate conjecture establishes a profound connection to the Weil conjectures by predicting that the eigenvalues of the Frobenius endomorphism acting on the étale cohomology of a smooth projective variety over a finite field are precisely accounted for by the algebraic cycles on that variety.^[43] Specifically, the conjecture asserts that the subspace of Tate classes—cohomology classes fixed by the powers of Frobenius and of type (r,r)—is spanned by the classes of algebraic cycles of codimension r, thereby providing a geometric interpretation of the Frobenius eigenvalues as Weil q-numbers whose minimal polynomials reflect the degrees of these cycles.^[43] This control over the eigenvalues aligns directly with the Riemann hypothesis aspect of the Weil conjectures, as proven by Deligne, by linking the characteristic polynomial of Frobenius to the geometry of subvarieties rather than abstract representation theory.^[13] A key arithmetic application arises in point counting on varieties over finite fields, where the zeta function encodes the number of rational points via the formula Z(X,t) = \prod_i \det(1 - t F | H^i_c(\overline{X}, \mathbb{Q}_\ell))^{-1}, with F the Frobenius.^[44] Under the Tate conjecture, the poles of Z(X,t) at t = q^{-r} are determined exactly by the classes of codimension-r cycles, enabling precise computation of point counts through geometric data alone, such as the rank of the Néron-Severi group for surfaces.^[44] For instance, in cases like K3 surfaces over finite fields, where the conjecture has been verified, this yields explicit bounds on the growth of point counts relative to the field size q, distinguishing "causal" geometric contributions from random matrix-like fluctuations in the zeta factors.^[13] In p-adic cohomology, the Tate conjecture extends to crystalline cohomology, which provides an integral structure for varieties in characteristic p by realizing cohomology as isocrystals over the Witt vectors.^[45] The variational form of the conjecture characterizes whether a cycle class on a fiber of a smooth proper family over a finite field base extends cohomologically across the family, using the crystalline cycle class map to detect integral compatibility with Frobenius actions.^[45] This framework is crucial for lifting \ell-adic results to characteristic p, as seen in proofs for divisors on surfaces, where crystalline theory ensures the conjecture holds for integral models without torsion issues.^[13] For abelian varieties over global fields, the Tate conjecture has implications for the arithmetic of rational points, motivated by the conjectured finiteness of the Tate-Shafarevich group \Sha(A/K), which relates the corank of the p-Selmer group to the Mordell-Weil rank via the exact sequence $0 \to A(K) \otimes \mathbb{Q}_p/\mathbb{Z}_p \to \Sel_p(A/K) \to \Sha(A/K)[p^\infty] \to 0. For example, over function fields, the Tate conjecture for divisors on fibrations over finite fields implies the finiteness of \Sha$ for the corresponding Jacobians.^[13] In proven cases for abelian varieties over finite fields, the conjecture provides a geometric interpretation of the cohomology consistent with arithmetic predictions over global fields.^[13]

Influence on other programs

The Tate conjecture has profound implications for the Birch and Swinnerton-Dyer (BSD) conjecture, particularly in the case of elliptic curves, where it provides a geometric framework linking the algebraic rank of the Mordell-Weil group to the analytic rank defined by the order of vanishing of the L-function at s=1.^[46] For an elliptic curve E over a number field K, the Tate conjecture predicts that the Galois-invariant part of the étale cohomology H^1(E_{\bar{K}}, \mathbb{Q}l(1)) is spanned by classes coming from rational points on E, implying that the Mordell-Weil rank equals the analytic rank as posited in the weak BSD conjecture.^[46] Recent refinements by Mazur and Tate extend this connection by incorporating Galois module structures on the Mordell-Weil group and the Tate-Shafarevich group, leading to precise predictions about the order of vanishing and leading coefficients of the L-function via equivariant invariants like the group-ring element \theta{MT}^K.^[47] In 2025, significant progress was made in proving substantial parts of these Mazur-Tate conjectures, achieving results finer than the original predictions through connections to Selmer groups and Euler systems, thereby strengthening the arithmetic implications of the Tate conjecture for BSD.^[47] The Tate conjecture intersects with the Langlands program through its predictions on cycle classes in étale cohomology, which are expected to correspond to automorphic forms via the geometric Langlands correspondence and motivic structures.^[13] Specifically, the conjecture implies that Galois-invariant cycle classes on varieties over number fields arise from algebraic cycles, and the Langlands program posits that such cohomology representations are attached to automorphic forms on reductive groups, facilitating lifts and functorial transfers in the cohomology of Shimura varieties.^[48] Motivic aspects of this connection, explored by Beilinson and Bloch, link the regulators of higher Chow groups to special values of L-functions associated to these automorphic forms, suggesting that the Tate conjecture would confirm the motivic nature of many automorphic representations.^[48] In the context of the Bloch-Kato conjectures, the Tate conjecture influences the study of Tamagawa numbers for motives arising from abelian varieties, where the Galois representations on Tate modules provide the underlying data for Selmer groups and L-invariant relations.^[49] The Bloch-Kato conjecture formulates a precise relationship between the special value of the L-function of a Galois representation V and the dimension of the Bloch-Kato Selmer group H^1_f(K, V), generalizing the Tamagawa number conjecture to p-adic coefficients; for representations from the Tate module of an abelian variety, the Tate conjecture ensures that the relevant cohomology is algebraic, implying the finiteness and exactness of these Selmer groups in many cases.^[49] This interplay is evident in applications to modular forms, where the conjecture aligns the algebraic Tamagawa factors with analytic continuations, supporting refined formulas for central critical twists.^[50] More broadly, the Tate conjecture shapes the development of étale motives by asserting that the étale realization functor from the category of motives to Galois representations is fully faithful, allowing for a reconstruction of motives from their cohomology and impacting the standard conjectures on algebraic cycles.^[13] It also extends to non-abelian Hodge theory, where the conjecture's predictions on semisimple Galois actions inform p-adic comparisons between de Rham and étale cohomology for representations of small dimension, facilitating integral structures in the p-adic Simpson correspondence for varieties with algebraic cycle classes.^[51]

References

[1]
Recent progress on the Tate conjecture
Jun 16, 2017 · So the Tate conjecture would make much of algebraic geometry and number theory accessible to computation. More broadly, the Tate conjecture ...
[2]
The Tate conjecture
Tate, Algebraic cycles and poles of zeta functions, in Arithmetical Algebraic Geometry (Proc. Conf. Purdue Univ., 1963) pp. 93--110 Harper & Row, New York ...
[3]
What is the Tate conjecture? - Columbia Math Department
Apr 20, 2013 · Tate was led to formulate his famous conjecture saying roughly that the $\ell$ -adic cohomology classes fixed by the Galois action should arise from algebraic ...
[4]
Intersection Theory - SpringerLink
The aim of this book is to develop the foundations of this theory, and to indicate the range of classical and modern applications.
[5]
On Equivalence Classes of Cycles in an Algebraic Variety - jstor
3, November, 1956. Printed in U.S.A.. ON EQUIVALENCE CLASSES OF CYCLES IN AN ALGEBRAIC VARIETY*. BY WET-LIANG CHOW. (Received December 30, ...Missing: original | Show results with:original
[6]
[PDF] PCMI notes 1: Chow groups
These are groups with some of the same formal properties as homology or cohomology groups, but they are built directly from the algebraic subvarieties of a ...
[7]
Foundations of Algebraic Geometry - AMS Bookstore
This book has played an important role in establishing the mathematical foundations of Algebraic Geometry and in providing its accepted language. Although there ...
[8]
[PDF] Lectures on etale cohomology - James Milne
About 1958, Grothendieck defined the étale “topology” of a scheme, and the theory of étale cohomology was worked out by him with the assistance of M. Artin ...
[9]
[PDF] ´Etale Cohomology - Purdue Math
5 There are several (equivalent) definitions of a Grothendieck topology. SGA 4 [1] uses the notion of a sieve, which more properly axiomatizes the notion of ...
[10]
[PDF] The Work of John Tate
Sep 23, 2012 · Hodge conjecture.95. In his original article (Tate 1964), Tate wrote: I can see no direct logical connection between [the Tate conjecture] ...
[11]
https://www.jmilne.org/math/xnotes/Tate.pdf
[12]
[PDF] Recent progress on the Tate conjecture - UCLA Mathematics
In fact, Tate's 1962 ICM paper stated the Tate conjecture for divisors (codimension-1 cycles) on a surface, as well as the conjecture that Ш is finite. Tate ...
[13]
[PDF] The Tate conjecture over finite fields (AIM talk)
Let S be a class of smooth projective varieties over F satisfying the following condition: (*) it contains the abelian varieties and projective spaces and is ...
[14]
[PDF] The Tate conjecture over finite fields (AIM talk) - arXiv
Oct 11, 2007 · All varieties are smooth and projective. Complex conjugation on C is denoted by ι. The symbol F denotes an algebraic closure of Fp, and ℓ always ...
[15]
[PDF] The Tate conjecture, BSD for function fields, Br, and Ш
This is an overview of classical work of Tate [2] and Grothendieck [1]. 1 The Tate conjecture and the finiteness of the Brauer group. Consider the cycle class ...
[16]
[PDF] Endomorphisms of abelian varieties over finite fields - CNRS
JOHN TATE (Cambridge, USA) w 1. The Main Theorem. Almost all of the general facts about abelian varieties which we use without comment or refer to as "well ...
[17]
[PDF] Review of the Collected Works of John Tate
Sep 5, 2016 · [7] John Tate. Algebraic cycles and poles of zeta functions. In Arithmetical Algebraic. Geometry (Proc. Conf. Purdue Univ., 1963), pages 93 ...
[18]
https://www.jmilne.org/math/xnotes/TateCW.pdf
[19]
[PDF] Standard Conjectures on Algebraic Cycles
We state two conjectures on algebraic cycles, which arose from an attempt at understanding the conjectures of. Weil on the 【-functions of algebraic varieties.
[20]
List of Publications for John Torrence Tate | SpringerLink
Aug 9, 2013 · Algebraic cycles and poles of zeta functions. In Arithmetical Algebraic Geometry (Proc. Conf. Purdue Univ., 1963), pages 93–110. Harper ...
[21]
[PDF] La conjecture de Weil : I - Numdam
Dans cet article, je démontre la conjecture de Weil sur les valeurs propres des endomorphismes de Frobenius. Un énoncé précis est donné en (i. 6).
[22]
[PDF] p-ADIC PERIODS AND p- ADIC ETALE COHOMOLOGY
We summarize here the progress that has been made towards establishing the. "crystalline conjecture" of [14] and, in addition, indicate some applications.
[23]
[PDF] Gersten's conjecture and the homology of schemes - Numdam
Let X be a smooth algebraic variety over a field k. The deepest conjectures in algebraic geometry (Weil, Hodge, Tate) are attempts to calculate the ...
[24]
[PDF] Triangulated categories of motives over a field.
Triangulated categories of motives over a field. V. Voevodsky. Contents. 1 Introduction. 1. 2 Geometrical motives.Missing: 2000s | Show results with:2000s
[25]
[PDF] The Riemann Hypothesis over Finite Fields - James Milne
Sep 14, 2015 · Weil's work on the Riemann hypothesis for curves over finite fields led him to state his famous “Weil conjectures”, which drove much of the ...
[26]
[PDF] arXiv:1905.04086v2 [math.AG] 27 May 2020
May 27, 2020 · Moreover generally, the conjecture is known to be true for abelian varieties of dimension less than or equal to 3 and also for simple abelian ...
[27]
[PDF] on the generalised tate conjecture for products of elliptic curves over ...
Jan 7, 2011 · In [7], Michael Spiess proved the Tate conjecture for products of elliptic curves over a finite field: this provides a natural candidate for.
[28]
[PDF] the theorem of honda and tate - Mathematics
The theorem states that for abelian varieties A and B over a finite field, B is k-isogenous to a subvariety of A if and only if fB|fA in Q[T].
[29]
Galois groups of simple abelian varieties over finite fields and ... - arXiv
May 14, 2025 · This paper proves new cases of the Tate conjecture for abelian varieties over finite fields, using a combinatorial condition and an algorithm ...Missing: advances | Show results with:advances
[30]
Some cases of the Tate conjecture for abelian varieties over finite ...
May 20, 2025 · In this talk, I'll discuss a proof of several new cases of the Tate conjecture for abelian varieties over finite fields, extending previous ...Missing: advances | Show results with:advances
[31]
Kato's Euler system and the Mazur-Tate refined conjecture of BSD type
Mazur and Tate proposed a conjecture which compares the Mordell-Weil rank of an elliptic curve over Q with the order of vanishing of Mazur-Tate elements, which ...
[32]
On the integral Tate conjecture for abelian varieties - arXiv
Sep 8, 2025 · Abstract:Recently Engel et al. (2025) have shown that the integral Hodge conjecture fails for very general abelian varieties.Missing: 1990s | Show results with:1990s
[33]
[PDF] the hodge conjecture
Hodge Conjecture. On a projective non-singular algebraic variety over C, any. Hodge class is a rational linear combination of classes cl(Z) of algebraic cycles ...
[34]
[PDF] Non-Constructive Methods for the Hodge Conjecture for a ... - arXiv
Jul 3, 2025 · Hodge's harmonic integral theory introduced in the 1940s established the Hodge decomposition of differential forms on complex manifolds. 𝐻.<|separator|>
[35]
[PDF] On the integral Hodge and Tate conjectures over a number field
All known counterexamples to the integral Hodge conjecture on 3-folds, includ- ing those in this paper, involve non-torsion classes in integral cohomology.
[36]
A counterexample to the Hodge conjecture for Kaehler varieties - arXiv
Dec 21, 2001 · Summary: The Hodge conjecture asks whether rational Hodge classes on a smooth projective manifolds are generated by the classes of algebraic ...
[37]
Matroids and the integral Hodge conjecture for abelian varieties - arXiv
This disproves the integral Hodge conjecture for abelian varieties and shows that very general cubic threefolds are not stably rational. Our ...
[38]
[PDF] Polarizations and Grothendieck's Standard Conjectures
Aug 14, 2001 · This is a. Tannakian category (Jannsen 1992, Deligne 1990), and it is known that the Tate conjecture for abelian varieties over finite fields ...
[39]
[PDF] The Standard Conjectures - STEVEN L. KLEIMAN
Bom- bay Colloquium, 1968, Oxford, 1969, pp. 193–199. Page 18. 20. 6. STEVEN L ...
[40]
[PDF] The Standard Conjectures - Columbia Math Department
The next conjecture involves two forms of equivalence of cycles: homological and numer- ical. An algebraic cycle Z ⊂ X is homologically 0 if γX(Z)=0, and it is ...
[41]
[PDF] Grothendieck's standard conjecture of Lefschetz type over finite fields
The full Tate conjecture for algebraic varieties over 𝔽 implies Grothendieck's standard conjectures over 𝔽. We prove these theorems in the first four sections ...
[42]
Pour une théorie inconditionnelle des motifs - Numdam
[A] Y. André, Réalisation de Betti des motifs p-adiques, en préparation (première partie prépubliée à l'IHES, avril 1992).
[43]
[PDF] The Tate conjecture over finite fields (AIM talk)
Both conjectures are existence statements for algebraic classes. It is well known that Conjecture. E1.X/ holds for all X (see Tate 1994, 5). Let X be a ...
[44]
Causal versus random: the Tate conjecture and equidistribution
Using a similar construction, Deligne was able to prove the Weil conjectures for K3 surfaces before coming up with the general proof [29].
[45]
[1408.6783] A Variational Tate Conjecture in crystalline cohomology
Aug 28, 2014 · We formulate a Variational Tate Conjecture characterising, in terms of the crystalline cycle class of z, whether z extends cohomologically to the entire family.
[46]
[PDF] On the conjectures of Birch and Swinnerton-Dyer and ... - Mathematics
ON THE CONJECTURES OF BIRCH AND SWINNERTON-DYER. AND A GEOMETRIC ANALOG by John TATE. Séminaire BOURBAKI. 18e. 1965/66, no 306. Fevrier 1966. § 1. The ...
[47]
On the refined `Birch--Swinnerton-Dyer type' conjectures of Mazur and Tate
### Summary of Connection Between Tate Conjecture and Birch-Swinnerton-Dyer Conjecture
[48]
Algebraic cycles and functorial lifts from G1mu[2]2 to PGSp1mu[2]6
We study instances of Beilinson–Tate conjectures for automorphic representations of PGSp6 whose spin. L-function has a pole at s = 1.
[49]
[PDF] An introduction to the conjecture of Bloch and Kato - Mathematics
Conjecture EC1 is known for abelian varieties by a theorem of Tate. EC2.– The representation Hi(X,Qp) of GK is semi-simple. This is sometimes called ...<|control11|><|separator|>
[50]
[PDF] The refined Tamagawa number conjectures for $\mathrm{GL}_2$
May 14, 2025 · We establish a new and refined “Birch and. Swinnerton-Dyer type” formula for Bloch–Kato Selmer groups of the central critical twist of f via ...
[51]
Integral p-adic non-abelian Hodge theory for small representations
Namely, for a smooth variety X over C, it hopes to clarify the relationship between the category of representations of the étale fundamental group of X and the ...