Arxiv:1905.04086V2 [Math.AG] 27 May 2020 in the Next Section We Recall Definitions, Introduce Some Notation, and Derive Several Preliminary Facts
Total Page:16
File Type:pdf, Size:1020Kb
THE MUMFORD–TATE CONJECTURE IMPLIES THE ALGEBRAIC SATO–TATE CONJECTURE OF BANASZAK AND KEDLAYA VICTORIA CANTORAL-FARFÁN AND JOHAN COMMELIN Abstract. The algebraic Sato–Tate conjecture was initially introduced by Serre and then discussed by Banaszak and Kedlaya in the papers [7] and [8]. 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. 3. Introduction In 3;88, Serre wrote a letter [52] to Borel where he presented some remarkable links between the Mumford–Tate conjecture and questions related to the equidistri- bution of traces of Frobenius. Inspired by the previous work of Serre, the algebraic Sato–Tate conjecture was introduced by Banaszak and Kedlaya as an attempt to prove new instances of the generalized Sato–Tate conjecture [7, 8]. These articles are considered as the theoretical motivation that allowed Fité, Kedlaya, Rotger and Sutherland to provide the classification of all the possible Sato–Tate groups that can appear for the Jacobian of a curve of genus 2 over a number field [37]. For more details about the generalized Sato–Tate conjecture and the conjectural relation with the Mumford–Tate group we refer to the presentations of [36, 44], §35 of Serre’s paper [49], and [4;]. Main result. In this paper we show that for abelian varieties (in fact, abelian motives) the Mumford–Tate conjecture implies the algebraic Sato–Tate conjecture. arXiv:1905.04086v2 [math.AG] 27 May 2020 In the next section we recall definitions, introduce some notation, and derive several preliminary facts. The third section recalls the statements of the conjectures and contains the proof of the main theorem. The last section presents a short Date: May 4;, 4242. 4232 Mathematics Subject Classification. Primary 36f42; Secondary 33g32. Key words and phrases. Algebraic Sato–Tate conjecture, Mumford–Tate conjecture, abelian varieties, motives. The first author was partially supported by KU Leuven IF C36/39/2:5. The second author was supported by the Deutsche Forschungs Gemeinschaft (DFG) under Graduiertenkolleg 3:43 (Cohomological Methods in Geometry). 3 4 V. CANTORAL-FARFÁN AND J. COMMELIN overview of known cases of the Mumford–Tate conjecture and pointers to the literature. 4. Preliminaries Let k be a field of characteristic 0, and fix a complex embedding σ : k ,→ C. Our results do not depend on the choice of σ. We denote by Γk the absolute Galois group Gal(k/k¯ ), where k¯ is the algebraic closure of k in C along the embedding σ. If C is a Tannakian category, over a field Q and S is an object (or a collection of objects) of C, then we denote by hSi ⊂ C the smallest Tannakian subcategory of C that contains S. In other words, hSi is the full subcategory of C that is the closure of S under direct sums, tensor products, duals, and subquotients. If ω : C → VectQ is a fibre functor, then we denote by Gω(S) the (pro)-algebraic ⊗ group scheme Aut (ω|hSi) over Q. If S = C, we simply write Gω for Gω(C). If 0 0 hS i ⊂ hSi, then we get a natural surjection Gω(S) → Gω(S ). The category of motives. Let Motk denote the category of motives in the sense of Yves André [3]. (To be precise, we use the category of smooth projective k- schemes as “base pieces”, and we use singular cohomology relative to σ as “reference cohomology”. See §4.3 of [3].) Alternatively, one could use the theory of motives for absolute Hodge cycles [35]; this would not alter any of the following statements or proofs. Recall from théorème 2.6 of [3] that Motk is a graded, polarisable, semisimple Tannakian category over Q. The complex embedding σ : k ,→ C induces a realisation functor rσ : Motk → HSQ to the category of Q-Hodge structures. Every prime number ` induces a realisation functor r : Mot → Rep (Γ ) to the category of `-adic representations of Γ . ` k Q` k k We will denote by u : HS → Vect and u : Rep (Γ ) → Vect the respective σ Q Q ` Q` k Q` forgetful functors. By Artin’s comparison theorem (exposé ix of [4]), we obtain a ∼ natural isomorphism of functors (− ⊗ Q`) ◦ uσ ◦ rσ = u` ◦ r`. Artin motives and abelian motives. A motive is called an Artin motive if it is isomorphic to an object of the Tannakian subcategory of Motk generated by the motives H(X), where X ranges over all finite étale k-schemes. (See example (ii) after §6.7 of [3].) A motive is called an abelian motive if it is isomorphic to an object of the Tannakian subcategory of Motk generated by Artin motives and the motives H(X), where X ranges over all abelian varietes over k. (See §8.3 of [3].) Tate triples. Recall from §7 of [34], that a Tate triple over a field Q is a triple (C, w, T ) consisting of a Tannakian category C over Q, a cocharacter w : Gm → ⊗ Aut (idC ), and an invertible object T of weight −2 (called the Tate object). If ω : C → VectQ is a fibre functor, then we obtain a natural surjection t: Gω → Gω(T ) = Gm such that the composition t◦w = −2 ∈ Hom(Gm, Gm) = Z. Following MUMFORD–TATE IMPLIES ALGEBRAIC SATO–TATE 5 §7 and §35 of [49], we denote the kernel of t with a subscript 1, as in G1,ω. (Note that [34] uses the notation G0 instead.) As before, let S be an object (or a collection of objects) of C. The image of G1,ω in Gω(S) is denoted with G1,ω(S). We will now give an alternative description of G1,ω(S). We order N = Z≥0 by the divisibility relation, so that 0 is a maximal element. Let m be the smallest natural number for this ordering such that hSi ⊗m contains an object isomorphic to T . The quotient Gω(S)/G1,ω(S) naturally receives a surjective homomorphism from Gω(T ) = Gm, which factors through ⊗m Gω(T ) by minimality of m. We thus obtain the following diagram with exact rows: 0 G1,ω Gω Gω(T ) = Gm 0 (_)m ⊗m 0 K Gω(S) Gω(T ) 0 0 G1,ω(S) Gω(S) Gω(S)/G1,ω(S) 0 By a formal argument, we see that the natural map G1,ω G1,ω(S) factors through K as indicated by the dotted arrows. We conclude that G1,ω(S) is the ⊗m kernel of the natural map Gω(S) → Gω(T ). The categories Mot , HS , and Im(r ) ⊂ Rep (Γ ) are all equipped with the k Q ` Q` k structure of a Tate triple that is compatible with the realisation functors rσ and r`. Tannaka groups associated with motives. We now specialise the previous discussion to the Tate triples Mot , HS and Im(r ) ⊂ Rep (Γ ). (We restrict to k Q ` Q` k the essential image Im(r`) in order to obtain a natural grading by weights.) In the case of Motk, let ω be the fibre functor uσ ◦ rσ : Motk → VectQ. We write ⊗ Gk for Gω = Aut (ω). The notations Gk(M), G1,k, and G1,k(M) are analogously defined. For the Hodge realisation we use the following notation: G = G = Aut⊗(u ). σ uσ σ ⊗ If M is a motive, then we denote by Gσ(M) the group scheme Aut (uσ|hrσ (M)i); it is the Mumford–Tate group of the Hodge structure rσ(M). The notations G1,σ and G1,σ(M) are similarly defined. The functor rσ induces a morphism Gσ → Gk, and Gσ(M) may be identified with the image of Gσ in Gk(M). For the `-adic realisation we use the following notation: G = G , G (M), `,k u` `,k G1,`,k, and G1,`,k(M). The group scheme G`,k(M) is the so-called `-adic monodromy group of M. It is the Zariski closure of the image of Γk in GL(r`(M)). Artin’s comparison isomorphism induces a morphism G → G , and G (M) may be `,k k,Q` `,k identified with the image of G`,k in Gk(M)Q` . 6 V. CANTORAL-FARFÁN AND J. COMMELIN For any algebraic group G, we denote by π0G the component group of G. We ◦ ◦ write Gk (M) (resp. G`,k(M)) for the identity component of Gk(M) (resp. G`,k(M)). Note that Gσ(M) is always a connected algebraic group. 5. Main result Conjectures. Assume that the field k is finitely generated as field, and let M be a motive over k. We recall the following conjectures. (3) A motivic analogue of the Tate conjecture: 0 0 0 TC`(M):G`,k(M) = Gk(M)Q` , TC (M): ∀`, TC`(M) (N.b.: The “classical” `-adic Tate conjecture for `-adic cohomology of a 0 smooth projective variety X/k does not formally imply TC`(H(X)), nor is 0 the converse implication a formal fact: The conjecture TC`(H(X)) expresses the assertion that all Tate classes in all cohomology groups of all powers of X are motivated cycle classes.) (4) The following is called the motivic Sato–Tate conjecture in conj. 32.9 of [8]: MST`(M):G1,`,k(M) = G1,k(M)Q` , MST(M): ∀`, MST`(M) (5) A motivic version of the Mumford–Tate conjecture: ◦ MTC`(M):G`,k(M) = Gσ(M)Q` , MTC(M): ∀`, MTC`(M) (6) The algebraic Sato–Tate conjecture (conj.