Tate classes on self-products of Abelian varieties over finite fields
Yuri G. Zarhin
备注：
We fix an inaccuracy in the proof of elementary Proposition 6.9 (Proposition 6.6 in the journal version). I am grateful to Sergey Rybakov for pointing it out
发表信息：
Annales de l'Institut Fourier 72, n 6 (2022), p. 2339-2383
We deal with $g$-dimensional abelian varieties $X$ over finite fields. We prove that there is an universal constant (positive integer) $N=N(g)$ that depends only on $g$ that enjoys the following properties. If a certain self-product of $X$ carries an exotic Tate class then the self-product $X^{2N}$of $X$ also carries an exotic Tate class. This gives a positive answer to a question of Kiran Kedlaya.
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…
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 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$.
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…
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 show that certain abelian varieties A have the property that for every Hodge structure V in the cohomology of A, every effective Tate twist of V occurs in the cohomology of some abelian variety. We deduce the general Hodge conjecture for certain non-simple abelian varieties of type IV.
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 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 $A$ be an abelian variety over a field finitely generated over $\mathbb{Q}$. We show that the finiteness of the $\ell$-primary torsion subgroup of the higher Brauer group is a sufficient criterion for the Tate conjecture to hold. Furthermore, we extend methods for computations of transcendental Brauer groups to higher Brauer groups.
We study the Mumford--Tate conjecture for hyperkähler varieties. We show that the full conjecture holds for all varieties deformation equivalent to either an Hilbert scheme of points on a K3 surface or to O'Grady's ten dimensional example, and all of their self-products. For an arbitrary hyperkähler variety whose second Betti number is not 3, we prove the Mumford--Tate conjecture in every codimension under the assumption that the Künneth components in even degree of its André motive are abelian. Our results extend a theorem of André.
In this paper we will prove that Tate conjecture of abelian varieties over finite field is equivalent to the finiteness of isomorphism classes of abelian varieties with a fixed dimension. We give a different approach with Zarhin's result.
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.
Let X be a Mumford-Tate variety, i.e., a quotient of a Mumford-Tate domain D by a discrete subgroup. Mumford-Tate varieties are generalizations of Shimura varieties. We define the notion of a special subvariety Y in X (of Shimura type), and formulate necessary criteria for Y to be special. Our method consists in looking at finitely many compactified special curves C_i in Y, and testing whether the inclusion of the union of all C_i in Y satisfies certain properties. One of them is the so-called relative proportionality condition. In this paper, we give a new formulation of this numerical criter…
We develop an analogue of Eisenbud-Floystad-Schreyer's Tate resolutions for toric varieties. Our construction, which is given by a noncommutative analogue of a Fourier- Mukai transform, works quite generally and provides a new perspective on the relationship between Tate resolutions and Beilinson's resolution of the diagonal. We also develop a Beilinson-type resolution of the diagonal for toric varieties.
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.
Relying on recent advances in the theory of motives we develope a general formalism for derived categories of motives with Q-coefficients on perfect (ind-)schemes. As an application we give a motivic refinement of Zhu's geometric Satake equivalence for Witt vector affine Grassmannians in this set-up.
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.
In this article we study the (cohomological) Hodge conjecture for singular varieties. We prove the conjecture for simple normal crossing varieties that can be embedded in a family where the Mumford-Tate group remains constant. We show how to produce such families. Furthermore, we show for varieties with worse singularities the conjecture can be expressed solely in terms of the algebraic classes.
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…
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 …
Let $X$ be a smooth projective variety over a finitely generated field $K$ of characteristic~$0$ and fix an embedding $K \subset \mathbb{C}$. The Mumford--Tate conjecture is a precise way of saying that certain extra structure on the $\ell$-adic étale cohomology groups of~$X$ (namely, a Galois representation) and certain extra structure on the singular cohomology groups of~$X$ (namely, a Hodge structure) convey the same information. The main result of this paper says that if $A_1$ and~$A_2$ are abelian varieties (or abelian motives) over~$K$, and the Mumford--Tate conjecture holds for both~$A_…
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 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 …
We prove an analogue of the Tate conjecture on homomorphisms of abelian varieties over infinite cyclotomic extensions of finitely generated fields of characteristic zero.
