The Tate conjecture has two parts: an assertion (S) about semisimplicity of Galois representations, and an assertion (T) which says that every Tate class is algebraic. We show that in characteristic 0, (T) implies (S). In characteristic p an analogous result is true under stronger assumptions.
Tate's theorem (Invent. Math. 1966)implies that the Tate conjecture holds for any abelian variety over a finite field whose Q_l-algebra of Tate classes is generated by those of degree 1. We construct families of abelian varieties over finite fields for which this condition fails, but for which we are nevertheless able to prove the Tate conjecture.
The Tate conjecture for squares of K3 surfaces over finite fields was recently proved by Ito-Ito-Koshikawa. We give a more geometric proof when the characteristic is at least 5. The main idea is to use twisted derived equivalences between K3 surfaces to link the Tate conjecture to finiteness results over finite fields, in the spirit of Tate.
This paper has been withdrawn by the author due to an error in the sufficient condition given for the proof of the Tate conjecture for Catanese surfaces.
We make explicit Serre's generalization of the Sato-Tate conjecture for motives, by expressing the construction in terms of fiber functors from the motivic category of absolute Hodge cycles into a suitable category of Hodge structures of odd weight. This extends the case of abelian varietes, which we treated in a previous paper. That description was used by Fite--Kedlaya--Rotger--Sutherland to classify Sato-Tate groups of abelian surfaces; the present description is used by Fite--Kedlaya--Sutherland to make a similar classification for certain motives of weight 3. We also give conditions under…
We prove the generalised Tate conjecture for H^3 of products of elliptic curves over finite fields, by slightly modifying an argument of M. Spiess concerning the Tate conjecture. We prove it fully if the elliptic curves run among at most 3 isogeny classes. We also show how things become more intricate from H^4 onwards, for more that 3 isogeny classes.
Recently N. Levin (Comp. Math. 127 (2001), 1--21) proved the Tate conjecture for ordinary cubic fourfolds over finite fields. In this paper we prove the Tate conjecture for self-products of ordinary cubic fourfolds. Our proof is based on properties of so called polynomials of K3 type introduced by the author (Duke Math. J. 72 (1993), 65--83).
In two earlier articles, we proved that, if the Hodge conjecture is true for ALL CM abelian varieties over the complex numbers, then both the Tate conjecture and the standard conjectures are true for abelian varieties over finite fields. Here we rework the proofs so that they apply to a single abelian variety. As a consequence, we prove (unconditionally) that the Tate and standard conjectures are true for many abelian varieties over finite fields, including abelian varieties for which the algebra of Tate classes is not generated by divisor classes.
Artin's conjecture states that supersingular K3 surfaces over finite fields have Picard number 22. In this paper, we prove Artin's conjecture over fields of characteristic p>3. This implies Tate's conjecture for K3 surfaces over finite fields of characteristic p>3. Our results also yield the Tate conjecture for divisors on certain holomorphic symplectic varieties over finite fields, with some restrictions on the characteristic. As a consequence, we prove the Tate conjecture for cycles of codimension 2 on cubic fourfolds over finite fields of characteristic p>3.
Let $\mathcal X$ be a regular variety, flat and proper over a complete regular curve over a finite field, such that the generic fiber $X$ is smooth and geometrically connected. We prove that the Brauer group of $\mathcal X$ is finite if and only Tate's conjecture for divisors on $X$ holds and the Tate-Shafarevich group of the Albanese variety of $X$ is finite, generalizing a theorem of Artin and Grothendieck for surfaces to arbitrary relative dimension. We also give a formula relating the orders of the group under the assumption that they are finite, generalizing the formula given for a surfac…
The Tate conjecture has two parts: i) Tate classes are linear combination of algebraic classes, ii) semisimplicity of Galois representations (for smooth projective varieties). B. Moonen proved that i) implies ii) in characteristic 0, using $p$-adic Hodge theory. We show that an unconditional result lies behind this implication: the {\it observability} of arithmetic monodromy groups of geometric origin (in any characteristic) - which leads to a sharpening of Moonen's result. We also discuss another aspect of the Tate conjecture related to the transcendence of $p$-adic periods.
We make explicit a construction of Serre giving a definition of an algebraic Sato-Tate group associated to an abelian variety over a number field, which is conjecturally linked to the distribution of normalized L-factors as in the usual Sato-Tate conjecture for elliptic curves. The connected part of the algebraic Sato-Tate group is closely related to the Mumford-Tate group, but the group of components carries additional arithmetic information. We then check that in many cases where the Mumford-Tate group is completely determined by the endomorphisms of the abelian variety, the algebraic Sato-T…
In this mostly expository note, we explain a proof of Tate's two conjectures [Tat65] for algebraic cycles of arbitrary codimension on certain products of elliptic curves and abelian surfaces over number fields.
For an abelian variety over a finite field, Clozel (1999) showed that l-homological equivalence coincides with numerical equivalence for infinitely many l, and the author (1999) gave a criterion for the Tate conjecture to follow from Tate's theorem on divisors. We generalize both statements to motives, and apply them to other varieties including K3 surfaces.
We use E. Lau's classification of 2-divisible groups using Dieudonné displays to construct integral canonical models for Shimura varieties of abelian type at 2-adic places where the level is hyperspecial. We apply this to prove the Tate conjecture for K3 surfaces in characteristic 2.
We prove the Tate conjecture for integral degree 4 classes on a smooth cubic hypersurface X of dimension 4 over an algebraic closure of a field finitely generated over its prime subfield.
We prove the Mumford-Tate conjecture for those abelian varieties over number fields, whose simple factors of their adjoint Mumford-Tate groups have over $\dbR$ certain (products of) non-compact factors. In particular, we prove this conjecture for the orthogonal case ($B_n$ and $D_n^{\dbR}$ Shimura types). We construct embeddings of Shimura varieties of (whose adjoints are of prescribed abelian type) into unitary Shimura varieties. We also prove two general theorems involving Frobenius tori of abelian varieties over number fields.
Using Calegari's result on the Fontaine-Mazur conjecture, we study the irreducibility of pure, regular, rank 3 weakly compatible systems of self-dual l-adic representations. As a consequence, we prove that the Tate conjecture holds for a family of elliptic surfaces defined over Q with geometric genus bigger than 1.
For $N\geq 3$, we show Tate's conjecture for the elliptic modular surface $E(N)$ of level $N$ over $\mathbb{F}_p$ for a prime $p$ satisfying $p\equiv 1\mod N$ outside of a set of primes of density zero. We also prove a strong form of Tate's conjecture for $E(N)$ over any finite field of characteristic $p$ prime to $N$ under the assumption that the formal Brauer group of $E(N)$ is of finite height.
Given a finite field k of characteristic at least 5, we show that the Tate conjecture holds for K3 surfaces defined over the algebraic closure of k if and only if there are only finitely many K3 surfaces over each finite extension of k.
We show that the $\ell$-adic Tate conjecture for divisors on smooth proper varieties over finitely generated fields of positive characteristic follows from the $\ell$-adic Tate conjecture for divisors on smooth projective surfaces over finite fields. Similar results for cycles of higher co-dimension are given.
This paper concerns the Algebraic Sato--Tate and Sato--Tate conjectures, based on Serre's original motivic formulation, with an eye towards explicit computations of Sato--Tate groups. We build on the algebraic framework for the Sato--Tate conjecture introduced in a previous paper, which used Deligne's motivic category for absolute Hodge cycles and was restricted to motives of odd weight. Here, we allow general weight and some other motivic categories, notably André's motivic category of motivated cycles; moreover, some results are also new in the odd weight case. The paper consists of two part…
We describe the behaviour of the rank of the Mordell-Weil group of the Picard variety of the generic fibre of a fibration in terms of local contributions given by averaging traces of Frobenius acting on the fibres. The results give a reinterpretation of Tate's conjecture (for divisors) and generalises previous results of Nagao, Rosen-Silverman and the authors.
These are my notes for a talk at the The Tate Conjecture workshop at the American Institute of Mathematics in Palo Alto, CA, July 23--July 27, 2007, somewhat revised and expanded. The intent of the talk was to review what is known and to suggest directions for research. v2: Revised expanded (24 pages).
Based on the Lagarias-Odlyzko effectivization of the Chebotarev density theorem, Kumar Murty gave an effective version of the Sato-Tate conjecture for an elliptic curve conditional on analytic continuation and Riemann hypothesis for the symmetric power $L$-functions. We use Murty's analysis to give a similar conditional effectivization of the generalized Sato-Tate conjecture for an arbitrary motive. As an application, we give a conditional upper bound of the form $O((\log N)^2 (\log \log 2N)^2)$ for the smallest prime at which two given rational elliptic curves with conductor at most $N$ have …
The algebraic Sato-Tate conjecture was initially introduced by Serre and then discussed by Banaszak and Kedlaya. This note shows that the Mumford-Tate conjecture for an abelian variety A implies the algebraic Sato-Tate conjecture for A. The relevance of this result lies mainly in the fact that the list of known cases of the Mumford-Tate conjecture was up to now a lot longer than the list of known cases of the algebraic Sato-Tate conjecture.
Let $Y$ be an abelian variety over a subfield $k \subset \mathbb{C}$ that is of finite type over $\mathbb{Q}$. We prove that if the Mumford-Tate conjecture for $Y$ is true, then also some refined integral and adelic conjectures due to Serre are true for $Y$. In particular, if a certain Hodge-maximality condition is satisfied, we obtain an adelic open image theorem for the Galois representation on the (full) Tate module of $Y$. Our second main result is an (unconditional) adelic open image theorem for K3 surfaces. The proofs of these results rely on the study of a natural representation of the …
We show that the statement analogous to the Mumford-Tate conjecture for abelian varieties holds for 1-motives on unipotent parts. This is done by comparing the unipotent part of the associated Hodge group and the unipotent part of the image of the absolute Galois group with the unipotent part of the motivic fundamental group. Contains an appendix by P. Deligne. In this version: Minor corrections here and there. The Main result about the image of the Galois representations is now enriched by an adelic statement.
Along the lines of Hodge and Tate conjectures, Beilinson conjectured that in the qth cohomology all the weight 2q Hodge cycles of a smooth complex variety and all the weight 2q Tate cycles of a smooth variety over a finitely generated field comes from the higher Chow groups. For product of curves and semiabelian varieties, Beilinson-Hodge conjecture was shown in a previous paper by the authors. Here both Beilinson-Hodge and Beilinson-Tate conjectures are shown to be true for varieties dominated by product of curves. We also show that lower weight Hodge cycles (resp. Tate cycles) are algebraic …
We introduce $\ell$-Galois special subvarieties as an $\ell$-adic analog of the Hodge-theoretic notion of a special subvariety. The Mumford-Tate conjecture predicts that both notions are equivalent. We study some properties of these subvarieties and prove this equivalence for subvarieties satisfying a simple monodromy condition. As applications, we show that the $\ell$-Galois exceptional locus is a countable union of algebraic subvarieties and, if the derived group of the generic Mumford-Tate group of a family is simple, its part of positive period dimension coincides with the Hodge locus of p…
In this note we complement a part of a theorem of Fontaine-Mazur. We show that if $(V,ρ)$ is an irreducible finite dimensional representation of the Galois group $Gal({\bar K}/K)$ of a finite extension of $K\Q_p$, of Hodge-Tate type $(0,1)$ then it is potentially semi-stable if and only if it is potentially crystalline. This was proved by Fontaine-Mazur for dimension two and $p\geq 5$ by their classfication theorem.
We study the image of $\ell$-adic representations attached to subvarieties of Shimura varieties $Sh_K(G,X)$ that are not contained in a smaller Shimura subvariety and have no isotrivial components. We show that, for $\ell$ large enough (depending on the Shimura datum $(G,X)$ and the subvariety), such image contains the $\mathbb{Z}_\ell$-points coming from the simply connected cover of the derived subgroup of $G$. This can be regarded as a geometric version of the integral $\ell$-adic Mumford-Tate conjecture.
In despair, as Deligne (2000) put it, of proving the Hodge and Tate conjectures, we can try to find substitutes. For abelian varieties in characteristic zero, Deligne (1982) constructed a theory of Hodge classes having many of the properties that the algebraic classes would have if the Hodge conjecture were known. In this article I investigate whether there exists a theory of "rational Tate classes" on varieties over finite fields having the properties that the algebraic classes would have if the Hodge and Tate conjectures were known. v3. Submitted version.
We show that the classical Kuga-Satake construction gives rise, away from characteristic 2, to an open immersion from the moduli of primitively polarized K3 surfaces (of any fixed degree) to a certain regular integral model for a Shimura variety of orthogonal type. This allows us to attach to every polarized K3 surface in odd characteristic an abelian variety such that divisors on the surface can be identified with certain endomorphisms of the attached abelian variety. In turn, this reduces the Tate conjecture for K3 surfaces over finitely generated fields of odd characteristic to a version of…
We investigate boundedness results for families of holomorphic symplectic varieties up to birational equivalence. We prove the analogue of Zarhin's trick by for $K3$ surfaces by constructing big line bundles of low degree on certain moduli spaces of stable sheaves, and proving birational versions of Matsusaka's big theorem for holomorphic symplectic varieties. As a consequence of these results, we give a new geometric proof of the Tate conjecture for $K3$ surfaces over finite fields of characteristic at least $5$, and a simple proof of the Tate conjecture for $K3$ surfaces with Picard number a…
We prove the Mumford--Tate conjecture for those abelian varieties over number fields whose extensions to C have attached adjoint Shimura varieties that are products of simple, adjoint Shimura varieties of certain Shimura types. In particular, we prove the conjecture for the orthogonal case (i.e., for the $B_n$ and $D_n^R$ Shimura types). As a main tool, we construct embeddings of Shimura varieties (whose adjoints are) of prescribed abelian type into unitary Shimura varieties of PEL type. These constructions implicitly classify the adjoints of Shimura varieties of PEL type.
We prove a big monodromy result for a smooth family of complex algebraic surfaces of general type, with invariants p_g=q=1 and K^2=3, that has been introduced by Catanese and Ciliberto. This is accomplished via a careful study of degenerations. As corollaries, when a surface in this family is defined over a finitely generated extension of Q, we verify the semisimplicity and Tate conjectures for the Galois representation on the middle \ell-adic cohomology of the surface.
We prove the Tate conjecture for divisor classes and the Mumford-Tate conjecture for the cohomology in degree 2 for varieties with $h^{2,0}=1$ over a finitely generated field of characteristic 0, under a mild assumption on their moduli. As an application of this general result, we prove the Tate and Mumford-Tate conjectures for some classes of algebraic surfaces with $p_g=1$.
Using the theory of mixed perverse sheaves, we extend arguments on the Hodge conjecture initiated by Lefschetz and Griffiths to the case of the Tate conjecture, and show that the Tate conjecture for divisors is closely related to the de Rham conjecture for nonproper varieties, finiteness of the Tate-Shafarevich groups, and also to some conjectures in the analytic number theory.
We state a conjectural criterion for identifying global integral points on a hyperbolic curve over $\mathbb{Z}$ in terms of Selmer schemes inside non-abelian cohomology functors with coefficients in $\mathbb{Q}_p$-unipotent fundamental groups. For $\mathbb{P}^1\setminus \{0,1,\infty\}$ and the complement of the origin in semi-stable elliptic curves of rank 0, we compute the local image of global Selmer schemes, which then allows us to numerically confirm our conjecture in a wide range of cases.
Let p be a prime number. We give a conjecture of a sheaf-theoretic nature which is equivalent to the strong form of the Tate conjecture for smooth, projective varieties X over F_p: for all n>0, the order of pole of the Hasse-Weil zeta function of X at s=n equals the rank of the group of algebraic cycles of codimension n modulo numerical equivalence. Our main result is that this conjecture implies other well-known conjectures in characteristic p, among which: - The (weak) Tate conjecture for smooth, projective varieties X over any finitely generated field of characteristic p: given a prime l di…
We analyze the geometry of the tower of Lubin-Tate deformation spaces, which parametrize deformations of a one-dimensional formal module of height h together with level structure. According to the conjecture of Deligne-Carayol, these spaces realize the local Langlands correspondence in their l-adic cohomology. This conjecture is now a theorem, but currently there is no purely local proof. Working in the equal characteristic case, we find a family of affinoids in the Lubin-Tate tower with good reduction equal to a rather curious nonsingular hypersurface, whose equation we present explicitly. Gr…
Following D. Ramakrishnan, we explain how L. Lafforgue's modularity theorem and an analytic theorem of H. Jacquet and J. Shalika can be applied to prove the following result related to the Tate Conjecture: for a smooth, projective, geometrically-connected variety defined over a global function field, the algebraic rank is less than or equal to the analytic rank. Also discussed is the analogous (open) question for number fields and an easy extension of Lafforgue's theorem to remove the "finite-order character" assumption. All results are likely "known to the experts", but don't appear to be wri…
We show that the reductions modulo primes $p\le x$ of the elliptic curve $$ Y^2 = X^3 + f(a)X + g(b), $$ behave as predicted by the Lang-Trotter and Sato-Tate conjectures, on average over integers $a \in [-A,A]$ and $b \in [-B,B]$ for $A$ and $B$ reasonably small compared to $x$, provided that $f(T), g(T) \in \Z[T]$ are not powers of another polynomial over $\Q$. For $f(T) = g(T) = T$ first results of this kind are due to E. Fouvry and M. R. Murty and have been further extended by other authors. Our technique is different from that of E. Fouvry and M. R. Murty which does not seem to work in th…
We explore Tate-type conjectures over $p$-adic fields. We study a conjecture of Raskind that predicts the surjectivity of $$ ({\rm NS}(X_{\bar{K}}) \otimes_{\mathbb{Z}}\mathbb{Q}_p)^{G_K} \longrightarrow H^2_{\rm et}(X_{\bar{K}},\mathbb{Q}_p(1))^{G_K} $$ if $X$ is smooth and projective over a $p$-adic field $K$ and has totally degenerate reduction. Sometimes, this is related to $p$-adic uniformisation. For abelian varieties, Raskind's conjecture is equivalent to the question whether $$ {\rm Hom}(A,B)\otimes{\mathbb{Q}}_p \,\to\, {\rm Hom}_{G_K}(V_p(A),V_p(B)) $$ is surjective if $A$ and $B$ ar…
This partly expository paper investigates versions of the Tate conjecture on the cycle map for varieties defined over finite fields with values in 'etale cohomology with Z_\ell-coefficients. The bulk of the paper is an exposition of a 1998 result of C. Schoen which shows that an integral version of the conjecture holds for 1-cycles provided the usual conjecture is true for divisors on surfaces. In a last section we then derive from Schoen's theorem new results on the existence of degree one zero-cycles on varieties defined over the function field of a smooth proper curve C over the algebraic c…
We use perfectoid spaces associated to abelian varieties and Siegel moduli spaces to study torsion points and ordinary CM points. We reprove the Manin-Mumford conjecture i.e. Raynaud's theorem. We also prove the Tate-Voloch conjecture for a product of Siegel moduli spaces namely ordinary CM points outside a closed subvariety can not be p-adically too close to it.