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.
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.
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.
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.
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 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 finiteness theorem for the first flat cohomology group of finite flat group schemes over integral normal proper varieties over finite fields. As a consequence, we can prove the invariance of the finiteness of the Tate-Shafarevich group of Abelian schemes over higher dimensional bases under isogenies and alterations over/of such bases for the $p$-part. Along the way, we generalize previous results on the Tate-Shafarevich group in this situation.
Let K be a number field and A an abelian variety over K. We are interested in the following conjecture of Morita: if the Mumford-Tate group of A does not contain unipotent Q-rational points then A has potentially good reduction at any discrete place of K. The Mumford-Tate group is an object of analytical nature whereas having good reduction is an arithmetical notion, linked to the ramification of Galois representations. This conjecture has been proved by Morita for particular abelian varieties with many endomorphisms (called of PEL type). Noot obtained results for abelian varieties without non…
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.
We investigate to what extent an abelian variety over a finite field can be lifted to one in characteristic zero with small Mumford-Tate group. We prove that supersingular abelian surfaces, respectively threefolds, can be lifted to ones isogenous to a square, respectively product, of elliptic curves. On the other hand, we show that supersingular abelian threefolds cannot be lifted to one isogenous to the cube of an elliptic curve over the Witt vectors.
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…
This survey describe Hodge, Tate and Mumford-Tate conjectures for abelian varieties. After some preliminaries on endomorphism ring, polarization and algebraic cycles, we state the three conjectures and provide a list of know results. Finally, we explain some links between these conjectures.
We study the formal neighbourhood of a point in $μ$-ordinary locus of an integral model of a Hodge type Shimura variety. We show that this formal neighbourhood has a structure of a shifted cascade. Moreover we show that the CM points on the formal neighbourhood are dense and that the identity section of the shifted cascade corresponds to a lift of the abelian variety which has a characterization in terms of its endomorphisms in analogy with the Serre-Tate canonical lift of an ordinary abelian variety.
We study monodromy action on abelian varieties satisfying certain bad reduction conditions. These conditions allow us to get some control over the Galois image. As a consequence we verify the Mumford--Tate conjecture for such abelian varieties.
We show that there exist non-trivial families of algebraic varieties for which all the fibers above rational points (or even above points of odd degree) are torsors of abelian varieties representing nonzero elements of their Shafarevich-Tate groups.
We give an explicit formula for the Mordell-Weil rank of an abelian fibered variety and some of its applications for an abelian fibered hyperkähler manifold. As a byproduct, we also give an explicit example of an abelian fibered variety in which the Picard number of the generic fiber in the sense of scheme is different from the Picard number of generic closed fibers.
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…
The Mumford-Tate conjecture is first proved for CM abelian varieties by H. Pohlmann [Ann. Math., 1968]. In this note we give another proof of this result and extend it to CM motives.
We introduce a tensor decomposition of the $\ell$-adic Tate module of an abelian variety $A_0$ defined over a number field which is geometrically isotypic. If $A_0$ is potentially of $\GL_2$-type and defined over a totally real number field, we use this decomposition to describe its Sato--Tate group and to prove the Sato--Tate conjecture in certain cases.
For each prime $p$, we show that there exist geometrically simple abelian varieties $A/\mathbb Q$ with non-trivial $p$-torsion in their Tate-Shafarevich groups. Specifically, for any prime $N\equiv 1 \pmod{p}$, let $A_f$ be an optimal quotient of $J_0(N)$ with a rational point $P$ of order $p$, and let $B = A_f/\langle P \rangle$. Then the number of positive integers $d \leq X$, such that the Tate-Shafarevich group of $\hat B_d$ has non-trivial $p$-torsion, is $\gg X/\log X$, where $\hat B_d$ is the dual of the $d$-th quadratic twist of $B$. We prove this more generally for abelian varieties o…
We analyse the mod p étale cohomology of the Lubin-Tate tower both with compact support and without support. We prove that there are no supersingular representations in the H^1_c of the Lubin-Tate tower. On the other hand, we show that in H^1 of the Lubin-Tate tower appears the mod p local Langlands correspondence and the mod p local Jacquet-Langlands correspondence, which we define in the text. We discuss the local-global compatibility part of the Buzzard-Diamond-Jarvis conjecture which appears naturally in this context.
We show that, for an abelian variety defined over a $p$-adic field $K$ which has potential good reduction, its torsion subgroup with values in the composite field of $K$ and a certain Lubin-Tate extension over a $p$-adic field is finite.
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…
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.
In this paper we investigate the image of the $l$-adic representation attached to the Tate module of an abelian variety over a number field with endomorphism algebra of type I or II in the Albert classification. We compute the image explicitly and verify the classical conjectures of Mumford-Tate, Hodge, Lang and Tate, for a large family of abelian varieties of type I and II. In addition, for this family, we prove an analogue of the open image theorem of Serre.
We prove some new results on the arithmetic of abelian varieties over function fields of one variable over finitely generated (infinite) fields. Among other things, we introduce certain new natural objects `discrete Selmer groups' and `discrete Shafarevich-Tate groups', and prove that they are finitely generated $\Bbb Z$-modules. Further, we prove that in the isotrivial case, the discrete Shafarevich-Tate group vanishes and the discrete Selmer group coincides with the Mordell-Weil group. One of the key ingredients to prove these results is a new specialisation theorem à la Néron for first Galo…
Let $F$ be a non-Archimedean local field with residue field $k$ of odd characteristic, and let $B/F$ be the division algebra of rank 4. We explicitly construct a stable curve $\mathfrak{X}$ over the algebraic closure of $k$ admitting an action of $GL_2(F)\times B^\times \times W_F$ which realizes the Jacquet-Langlands correspondence and the local Langlands correspondence in its cohomology.
We prove that the p-adic local Langlands correspondence for GL_2(Q_p) appears in the etale cohomology of the Lubin-Tate tower at infinity. We use global methods using recent results of Emerton on the local-global compatibility and hence our proof applies to local Galois representations which come via a restriction from global pro-modular Galois representations. We also discuss a folklore conjecture which states that the p-adic local Langlands correspondence appears in the de Rham cohomology of the Lubin-Tate tower (Drinfeld tower). We show that a study of the de Rham cohomology for perfectoid …
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.
We consider Tate cycles on an Abelian variety $A$ defined over a sufficiently large number field $K$ and having complex multiplication. We show that there is an effective bound $C = C(A,K)$ so that to check whether a given cohomology class is a Tate class on $A$, it suffices to check the action of Frobenius elements at primes $v$ of norm $ \leq C$. We also show that for a set of primes $v$ of $K$ of density 1, the space of Tate cycles on the special fibre $A_v$ of the Néron model of $A$ is isomorphic to the space of Tate cycles on $A$ itself.
The Tate conjecture for divisors on varieties over number fields is equivalent to finiteness of $\ell$-primary torsion in the Brauer group. We show that this finiteness is actually uniform in one-dimensional families for varieties that satisfy the Tate conjecture for divisors -- e.g. abelian varieties and $K3$ surfaces.
Let $X$ be a smooth projective variety over a finitely generated field $K$ of characteristic $p>0$. We proved that the finiteness of the $\ell$-primary part of $\mathrm{Br}(X_{K^s})^{G_K}$ for a single prime $\ell\neq p$ will imply the finiteness of the prime-to-$p$ part of $\mathrm{Br}(X_{K^s})^{G_K}$, generalizing a theorem of Tate and Lichtenbaum for varieties over finite fields. For an abelian variety $A$ over $K$, we proved a similar result for the Tate-Shafarevich group of $A$, generalizing a theorem of Schneider for abelian varieties over global function fields.
This paper is a continuation to \cite{Gazaki2017}. For every integer $n\geq 1$, we consider the generalized Galois symbol $K(k;G_1,G_2)/n\xrightarrow{s_n} H^2(k,G_1[n]\otimes G_2[n])$, where $k$ is a finite extension of $\mathbb{Q}_p$, $G_1,G_2$ are semi-abelian varieties over $k$ and $K(k;G_1,G_2)$ is the Somekawa K-group attached to $G_1, G_2$. Under some mild assumptions, we describe the exact annihilator of the image of $s_n$ under the Tate duality perfect pairing, $H^2(k,G_1[n]\otimes G_2[n])\times H^0(k,Hom(G_1[n]\otimes G_2[n],μ_n))\rightarrow\mathbb{Z}/n$. An important special case is …
We prove the isogeny property for special fibres of integral canonical models of compact Shimura varieties of $A_n$, $B_n$, $C_n$, and $D_n^{\dbR}$ type. The approach used also shows that many crystalline cycles on abelian varieties over finite fields which are specializations of Hodge cycles, are algebraic. These two results have many applications. First, we prove a variant of the conditional Langlands--Rapoport conjecture for these special fibres. Second, for certain isogeny sets we prove a variant of the unconditional Langlands--Rapoport conjecture (like for many basic loci). Third, we prov…
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…
Let $F$ be a totally real field in which a fixed prime $p$ is inert, and let $E$ be a CM extension of $F$ in which $p$ splits. We fix two positive integers $r,s \in \mathbb N$. We investigate the Tate conjecture on the special fiber of $G(U(r,s) \times U(s,r))$-Shimura variety. We construct cycles which we conjecture to generate the Tate classes and verify our conjecture in the case of $G(U(1,s) \times U(s,1))$. We also discuss the general conjecture regarding special cycles on the special fibers of unitary Shimura varieties.
We prove a few new cases of the Sato-Tate conjecture for abelian surfaces, using a new automorphy theorem of Allen et al. Then in the unproven cases, we use partial results to describe nontrivial asymptotics on the trace of Frobenius, and prove their optimality given current knowledge.
Let $F$ be a totally real field in which a prime number $p>2$ is inert. We continue the study of the (generalized) Goren--Oort strata on quaternionic Shimura varieties over finite extensions of $\mathbb F_p$. We prove that, when the dimension of the quaternionic Shimura variety is even, the Tate conjecture for the special fiber of the quaternionic Shimura variety holds for the cuspidal $π$-isotypical component, as long as the two unramified Satake parameters at $p$ are not differed by a root of unity.
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 determine the limiting distribution of the normalized Euler factors of an abelian surface A defined over a number field k when A is isogenous to the square of an elliptic curve defined over k with complex multiplication. As an application, we prove the Sato-Tate Conjecture for Jacobians of Q-twists of the curves y^2=x^5-x and y^2=x^6+1, which give rise to 18 of the 34 possibilities for the Sato-Tate group of an abelian surface defined over Q. With twists of these two curves one encounters, in fact, all of the 18 possibilities for the Sato-Tate group of an abelian surface that is isogenous t…
We prove many non-generic cases of the Sato-Tate conjecture for abelian surfaces as formulated by Fite, Kedlaya, Rotger and Sutherland, using the potential automorphy theorems of Barnet-Lamb, Gee, Geraghty and Taylor.
We study zero cycles on rationally connected varieties defined over characteristic zero Laurent fields with algebraically closed residue fields. We show that the degree map induces an isomorphism for rationally connected threefolds defined over such fields. In general, the degree map is an isomorphism if rationally connected varieties defined over algebraically closed fields of characteristic zero satisfy the integral Hodge/Tate conjecture for one cycles, or if the Tate conjecture is true for divisor classes on surfaces defined over finite fields. To prove these results, we introduce technique…
Mazur, Tate, and Teitelbaum gave a p-adic analogue of the Birch and Swinnerton-Dyer conjecture for elliptic curves. We provide a generalization of their conjecture in the good ordinary case to higher dimensional modular abelian varieties over the rationals by constructing the p-adic L-function of a modular abelian variety and showing that it satisfies the appropriate interpolation property. This relies on a careful normalization of the p-adic L-function, which we achieve by a comparison of periods. Our generalization agrees with the conjecture of Mazur, Tate, Teitelbaum in dimension 1 and the …