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. 7.3(a,b) of [8]): For every prime `, there exists a natural-in-k reductive algebraic group ASTk(M) ⊂ GL(ω(M)) over Q and a natural-in-k isomorphism of ∼ group schemes G1,`,k(M) = ASTk(M)Q` . Note that MST(M) is a more precise version of the algebraic Sato–Tate conjecture: it predicts that ASTk(M) = G1,k(M). Theorem. Let k be a finitely generated field of characteristic 0, and fix a complex embedding σ : k ,→ C. Let M be an abelian motive over k, and let ` be a prime number. The following assertions are equivalent. (i) TC0(M) (ii) MST(M) (iii) MTC(M) 0 (i)` TC`(M) (ii)` MST`(M) (iii)` MTC`(M) In particular, MTC(M) implies the algebraic Sato–Tate conjecture for M.

Proof. Let M be an motive over k, and let ` be a prime number. We start by 0 proving MST`(M) ⇐⇒ TC`(M). This part of the proof does not use that M is an abelian motive. Consider the following commutative diagram with exact rows:

0 G1,`,k(M) G`,k(M) G`,k(M)/G1,`,k(M) 0

0 G1,k(M)Q` Gk(M)Q` Gk(M)Q` /G1,k(M)Q` 0 MUMFORD–TATE IMPLIES ALGEBRAIC SATO–TATE 7

The vertical arrow on the right is surjective, since if the Tannakian subcategory hMi ⊂ Motk generated by M contains an object isomorphic to 1(n), for some n ∈ Z, then the Tannakian subcategory hr (M)i of Im(r ) ⊂ Rep (Γ ) contains an object ` ` Q` k isomorphic to Q`(n). We now make the following two observations. (3) If the vertical arrow on the left is an isomorphism, then the inclusion in the middle must be an isomorphism by the five lemma.

(4) If the vertical arrow in the middle is an isomorphism, then hMiQ` is equiv- alent to hr`(M)i and therefore both categories contain the same tensor powers of the Tate object. Therefore the vertical arrow on the right is an isomorphism, and so is the arrow on the left. 0 Let us now prove MTC`(M) ⇐⇒ TC`(M). Consider the following commutative diagram with exact rows:

◦ 0 G`,k(M) G`,k(M) π0G`,k(M) 0

◦ 0 Gk (M)Q` Gk(M)Q` π0Gk(M)Q` 0

Now we argue as follows: (3) Observe that if the inclusion in the middle is an isomorphism, then the inclu- sion on the left is an isomorphism, by definition of the identity component.

(4) Claim: The arrow π0G`,k(M) → π0Gk(M)Q` is surjective. Indeed, since π0Gk(M) is a finite group, we may view it as the motivic Galois group of

some Artin motive N. The image of π0G`,k(M) in π0Gk(M)Q` = Gk(N)Q`

is exactly G`,k(N). The equality G`,k(N) = Gk(N)Q` is well-known; see for example remark 8.3: on page 433 of [34]. (5) Once again, the five lemma shows that if the inclusion on the left is an isomorphism and the right arrow is a surjection, then the inclusion in the middle is an isomorphism. (6) To finish the proof, we assume that M is an abelian motive. Under this ◦ assumption the canonical inclusion Gσ(M) ,→ Gk (M) is an isomorphism. In- deed, by théorème 2.8.4 of [3] we know that G (M) =∼ G (M ). We also have σ C C an isomorphism G (M ) =∼ G (M¯), see théorème 2.8.3 and remarque (ii) C C k¯ k after théorème 7.4 of [3]. Thus it remains to show G (M ) = G◦(M). k¯ k¯ k By example (ii) in §6.8 of [3] we know that the quotient G (M)/G (M ) k k¯ k¯ is a quotient of Γk. Since it is also a quotient of an algebraic group of finite

type, this quotient is a finite group, and therefore isomorphic to π0Gk(M). 0 We conclude that MTC`(M) ⇐⇒ TC`(M). Finally, for abelian motives the Mumford–Tate conjecture is independant of `, by corollary 9.8 of [32]: it proves the implication MTC`(M) =⇒ MTC(M). Altogether, this proves the theorem.  8 V. CANTORAL-FARFÁN AND J. COMMELIN

Remark. Note that for motives M of the form M = H1(X), where X is an abelian variety over k, it was already known that the Mumford–Tate conjecture is independent of ` by work of Larsen and Pink, see theorem 6.5 of [3:]. Hence we only need to refer to corollary 9.8 of [32] in the final step of the proof to show independence for arbitrary abelian motives M.

6. New instances of the algebraic Sato–Tate conjecture The main theorem of our paper asserts that for abelian varieties the Mumford– Tate conjecture is equivalent to the motivic Sato–Tate conjecture and therefore implies the algebraic Sato–Tate conjecture. In this section we give a non-exhaustive presentation of some known results on the Mumford–Tate conjecture for abelian varieties. We refer the reader to the survey paper of Moonen for further details [43]. For instance, one of the first examples where the Mumford–Tate conjecture is true is the case of abelian varieties of CM type [46]. Serre proved that the Mumford–Tate conjecture is true for elliptic curves [48]. 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 varieties of prime dimension [53, 47, :]. By the work of Moonen and Zarhin [42], the Mumford–Tate conjecture is known for abelian varieties of dimension less or equal to 5 that do not have a isogeny factor of dimension 4 with trivial endomorphism algebra. Further results are known if we impose some conditions on the endomorphism algebra of the abelian variety A. Indeed, if the endomorphism algebra of A is trivial, and the dimension of A is an odd number, Serre proved the Mumford–Tate conjecture [4:]. Several generalizations of this result were done afterwards by Chi [;] for abelian varieties with larger endomorphism algebra. More results in this direction were proven by Pink [45]. Banaszak, Gajda and Krasoń [5, 6] proved the Mumford–Tate conjecture for some classes of abelian varieties of type I, II and III in the sense of Albert’s classification. Hindry and Ratazzi [38] proved new instances of the Mumford–Tate conjecture for certain classes of abelian varieties of type I and II. In [9] the first author extends those results to a larger class of abelian varieties of type III. Ichikawa [39] (resp. Lombardo [3;]) proved that under suitable conditions the Hodge group (resp. `-adic Hodge group) of a product of abelian varieties is the product of the Hodge groups (resp. `-adic Hodge groups). Lombardo [3;] used these results to prove the Mumford–Tate conjecture for arbitrary products of abelian varieties of dimension ≤ 3. Inspired by these results, the second author [33] proved that if two arbitrary abelian varieties satisfy the Mumford–Tate conjecture, then their product also satisfies this conjecture. REFERENCES 9

References

[3] Yves André. “Pour une théorie inconditionnelle des motifs”. In: Inst. Hautes Études Sci. Publ. Math. :5 (3;;8), pp. 7–6;. [4] Michael Artin, Alexandre Grothendieck, and Jean-Louis Verdier. Theorie de Topos et Cohomologie Etale des Schemas III. Vol. 48;, 492, 527. Lecture Notes in Mathematics. Springer, 3;93. [5] Grzegorz Banaszak, Wojciech Gajda, and Piotr Krasoń. “On the image of `-adic Galois representations for abelian varieties of type I and II”. In: Docu- menta mathematica Extra volume Coates (4228), pp. 77–;7. [6] Grzegorz Banaszak, Wojciech Gajda, and Piotr Krasoń. “On the image of Galois `-adic representations for abelian varieties of type III”. In: Tohoku Mathematical Journal, Second Series 84.4 (4232), pp. 385–3:;. [7] Grzegorz Banaszak and Kiran S. Kedlaya. “An algebraic Sato-Tate group and Sato-Tate conjecture”. In: Indiana Univ. Math. J. 86.3 (4237), pp. 467–496. [8] Grzegorz Banaszak and Kiran S. Kedlaya. “Motivic Serre group, algebraic Sato-Tate group and Sato-Tate conjecture”. In: Frobenius distributions: Lang- Trotter and Sato-Tate conjectures. Vol. 885. Contemp. Math. Amer. Math. Soc., Providence, RI, 4238, pp. 33–66. [9] Victoria Cantoral-Farfán. “Torsion for abelian varieties of type III”. In: Journal of Number Theory 3;: (423;), pp. 568–5:2. [:] Wenchen Chi. “On the `-adic representations attached to simple abelian varieties of type IV”. In: Bull. Austral. Math. Soc. 66 (3;;3), pp. 93–9:. [;] Wenchen Chi. “`-adic and λ-adic representations associated to abelian varieties defined over number fields”. In: American Journal of Mathematics 336.4 (3;;4), pp. 537–575. [32] Johan Commelin. “On compatibility of the `-adic realisations of an abelian motive”. In: (June 4239). arXiv: 3928.2;666v4 [math.AG]. [33] Johan Commelin. “The Mumford–Tate conjecture for products of abelian va- rieties”. In: arXiv e-prints, arXiv:3:26.28:62 (Apr. 423:), arXiv:3:26.28:62. arXiv: 3:26.28:62 [math.AG]. [34] Pierre Deligne and James S. Milne. “Tannakian categories”. In: Hodge cycles, motives, and Shimura varieties. Vol. ;22. Lecture Notes in Mathematics. Springer-Verlag, Berlin-New York, 3;:4. [35] Pierre Deligne et al. Hodge cycles, motives, and Shimura varieties. Vol. ;22. Lecture Notes in Mathematics. Springer-Verlag, Berlin-New York, 3;:4, pp. ii+636. [36] Francesc Fité. “Equidistribution, L-functions, and Sato-Tate groups”. In: Contemporary Mathematics 86; (4237), pp. 85–::. [37] Francesc Fité et al. “Sato-Tate distributions and Galois endomorphism mod- ules in genus 4”. In: Compositio Mathematica 36: (4234), pp. 35;2–3664. : REFERENCES

[38] Marc Hindry and Nicolas Ratazzi. “Torsion pour les variétés abéliennes de type I et II”. en. In: Algebra & Number Theory 32.; (Nov. 4238), pp. 3:67– 3:;3. [39] Takashi Ichikawa. “Algebraic groups associated with abelian varieties”. In: Math. Ann. 4:;.3 (3;;3), pp. 355–364. [3:] Michael J. Larsen and Richard Pink. “Abelian varieties, `-adic representations, and `-independence”. In: Math. Ann. 5 (3;;7), pp. 783–79;. [3;] Davide Lombardo. “On the `-adic Galois representations attached to nonsimple abelian varieties”. In: Ann. Inst. Fourier 88.5 (4238), pp. 3439–3467. [42] B.J.J. Moonen and Yu.G. Zarhin. “Hodge classes on abelian varieties of low dimension”. In: Mathematische Annalen 537.6 (Dec. 3;;;), pp. 933–955. [43] Ben Moonen. “Families of Motives and the Mumford–Tate Conjecture”. In: Milan J. of Math. :7 (4239), pp. 479–529. [44] V. Kumar Murty and Ram Murty. “The Sato-Tate conjecture and generaliza- tions”. In: Current Trends in Science, Platinum Jubilee Special, edited by N. Mukunda (422;), pp. 85;–868. [45] Richard Pink. “`-adic algebraic monodromy groups, cocharacters, and the Mumford-Tate conjecture”. In: J. reine angew. Math. 6;7 (3;;:), pp. 3:9– 459. [46] Henry Pohlmann. “Algebraic cycles on abelian varieties of complex multipli- cation type”. In: Annals of Mathematics :: (3;8:), pp. 383–3:2. [47] Kenneth A. Ribet. “Hodge classes on certain types of abelian varieties”. In: Amer. J. Math. 327.4 (3;:5), pp. 745–75:. [48] Jean-Pierre Serre. “Propriétés galoisiennes des points d’ordre fini des courbes elliptiques”. In: Inventiones mathematicae 37 (3;94), pp. 47;–553. [49] Jean-Pierre Serre. “Propriétés conjecturales des groupes de Galois motiviques et des représentations `-adiques”. In: Motives (Seattle, WA, 3;;3), Proc. Sympos. Pure Math. 77 (3;;6), pp. 599–622. [4:] Jean-Pierre Serre. “Résumé des cours au Collège de France 3;:7-3;:8”. In: Oeuvres. Collected papers, Volume IV. Springer Collected Works in Mathe- matics. London: Springer London, 4225.

[4;] Jean-Pierre Serre. Lectures on NX (p). Vol. 33. CRC Press, Boca Raton, FL: Chapman & Hall/CRC Research Notes in Mathematics, 4234. [52] Jean-Pierre Serre. “Lettre à A. Borel”. In: Frobenius distributions: Lang- Trotter and Sato-Tate conjectures. Vol. 885. Contemp. Math. Amer. Math. Soc., Providence, RI, 4238, pp. 3–;. [53] Sergei G. Tankeev. “Cycles on simple abelian varieties of prime dimension”. In: Math USSR Izv. 42 (3;:5), pp. 379–393. REFERENCES ;

(Victoria Cantoral-Farfán) - KU Leuven, Department of Mathematics, Celestijnenlaan 422B, B-5223 Leuven, Belgium E-mail address, Victoria Cantoral-Farfán: [email protected]

(Johan Commelin) - Albert-Ludwigs-Universität Freiburg, Mathematisches Institut, Ernst-Zermelo- Straße 3, 9;326 Freiburg im Breisgau, Deutschland E-mail address, Johan Commelin: [email protected]