Arxiv:1811.07084V2 [Math.NT] 10 Mar 2020 N Nyi the If Only and Naeinvariety Abelian an N Characteristic and R Hoe 1.1
Total Page:16
File Type:pdf, Size:1020Kb
CRYSTALLINE CHEBOTAREV¨ DENSITY THEOREMS URS HARTL AND AMBRUS PAL´ Abstract. We formulate a conjectural analogue of Chebotar¨ev’s density theorem for convergent F - isocrystals over a smooth geometrically irreducible curve defined over a finite field using the Tannakian formalism. We prove this analogue for several large classes, including direct sums of isoclinic convergent F -isocrystals and semi-simple convergent F -isocrystals which have an overconvergent extension and such that the semi-simplification of their pull-back to a sufficient small non-empty open sub-curve has abelian monodromy. In order to prove the latter, we also prove an overconvergent analogue of Chebotar¨ev’s density theorem for semi-simple overconvergent F -isocrystals. Contents 1. Introduction 1 2. Isogenies of Ordinary Abelian Varieties 5 3. Basic Definitions and Properties 6 4. Constant F -Isocrystals 13 5. Unit-Root F -Isocrystals 16 6. Groups of Connected Components 20 7. Chebotar¨ev for Direct Sums of Isoclinic F -Isocrystals 25 8. The Theory of Maximal Quasi-Tori 32 9. Intersecting Conjugacy Classes with Maximal Quasi-Tori 41 10. The Weakly Pink Hypothesis and its Consequences 45 11. The Weakly Pink Conjecture for Weakly Firm F -Isocrystals 52 12. Maximal compact subgroups of complex linear algebraic groups 55 13. Chebotar¨ev for Overconvergent F -Isocrystals 59 Appendix A. Non-Neutral Tannakian Categories and Representations of Groupoids 69 Appendix B. Results from measure theory and real algebraic geometry 74 References 79 1. Introduction arXiv:1811.07084v2 [math.NT] 10 Mar 2020 Let U be a smooth, geometrically irreducible, non-empty curve over a finite field Fq having q elements and characteristic p. Let k = Fq(U) be the function field of U, let k¯ be a separable closure of k, and let |U| be the set of closed points in U. For every x ∈ |U| let Fx, deg(x) and qx denote the residue field of x, its degree over Fq and its cardinality, respectively. For every abelian variety A defined over k let A[p∞] denote its p-divisible group, let A[p∞]´et denote ∞ the maximal ´etale p-divisible quotient of A[p ] and let Vp(A) denote the p-adic Gal(k/k¯ )-representation ∞ ´et HomZp (Qp/Zp, A[p ] ) ⊗Zp Qp. The dimension of the Qp-vector space underlying Vp(A) is the p-rank r(A) of A. It is known that 0 ≤ r(A) ≤ dim(A) where dim(A) denotes the dimension of A. Recall that an abelian variety A is called ordinary if r(A) = dim(A). As a motivation for our investigations we will have a look at the following Theorem 1.1. Let A and B be two ordinary abelian varieties over k. Then A and B are isogenous if and only if the p-adic Gal(k/k¯ )-representations Vp(A) and Vp(B) are isomorphic. 1 2000 Mathematics Subject Classification. 14F30, 14F35. Date: September 30, 2018. 1 2 URS HARTL AND AMBRUS PAL´ We will give an easy l-adic proof of this theorem in Section 3 by switching to l-adic Tate modules and using Zarhin’s isogeny theorem for them. Of course it would be aesthetically much more satisfying to prove Theorem 1.1 only utilizing p-adic objects, directly from de Jong’s theorem [dJo99, Theorem 2.6] that the natural map ∞ ∞ Hom(A, B) ⊗Z Zp → Hom(A[p ],B[p ]) is an isomorphism for every pair of abelian varieties A and B over k. In particular, this implies that A and B are isogenous if and only if the p-divisible groups A[p∞] and B[p∞] are isogenous, and our theorem is a strengthening of this consequence in the case when A and B are both ordinary. In fact our l-adic proof can be largely adopted to the p-adic setting. However, there are two missing ingredients: a semi-simplicity statement for the overconvergent (rational) Dieudonn´emodule of abelian varieties, which we settle in a separate paper [P´al15], and an analogue of Chebotar¨ev’s density theorem for p-divisible groups, or more generally, for convergent F -isocrystals. The major aim of this article is to formulate such an analogue in the largest possible generality, and prove it in special cases. The most natural way to do that is through the Tannakian formalism. As an application we will give a p-adic proof of Theorem 1.1 in Section 13 before Theorem 13.6. To describe our results let Frq,U denote the absolute q-Frobenius on U which is the identity on points 1 and the q-power map on the structure sheaf. Let K be a finite totally ramified extension of W (Fq)[ p ] and fix an algebraic closure K of K. Since Frq,U is the identity on Fq, we may choose on K the identity F := idK as a lift of Frq,U . Let F -IsocK (U) denote the K-linear rigid abelian tensor category of K-linear convergent F -isocrystals on U; see [Cre92, Chapter 1] for details. If F is an object of F -IsocK (U) we let hhFii denote the strictly full rigid abelian tensor sub-category of F -IsocK (U) generated by F. We fix a base point u ∈ U(Fqe ) and let Ke be the unramified field extension of K of degree e in K. Pulling back to ∗ u defines a faithful fiber functor ωu : F 7→ u F which makes F -IsocK (U) into a Tannakian category and hhFii into a Tannakian sub-category of F -IsocK (U); see Definitions A.1 and A.3 for explanations. Note ⊗ that the fiber functor ωu is non-neutral if e 6= 1. We let Gr(F/U,u) := Aut (wu|hhFii) be the smooth ∗ linear algebraic group over Ke consisting of the tensor automorphisms of ωu : F 7→ u F; see Section 3 for the precise definition. For every closed point x ∈ |U| the Frobenius FF of F furnishes a conjugacy class Frobx(F) in Gr(F/U,u)(K); see Definition 3.1. The crystalline version of Chebotar¨ev’s density theorem is the following Conjecture 1.2. For every subset S ⊂ |U| of Dirichlet density one the set x∈S Frobx(F) is Zariski-dense in Gr(F/U,u). S We follow Serre in the definition of Dirichlet density; see Definition 3.10. See Remark 5.6 why we do not expect a density statement for any other topology than the Zariski topology. When F has connected monodromy group we even expect the following Conjecture 1.3. If the monodromy group Gr(F/U,u) is connected then for every subset S ⊂ |U| of positive upper Dirichlet density the set x∈S Frobx(F) is Zariski-dense in Gr(F/U,u). The notion of positive upper DirichletS density is a natural weakening of positive Dirichlet density (see Definition 3.11 for a precise definition). A variant of the conjecture above is the following Conjecture 1.4. For every subset S ⊂ |U| of positive upper Dirichlet density the Zariski-closure of the set x∈S Frobx(F) contains a connected component of the group Gr(F/U,u) ×Ke K. NoteS that the validity of Conjecture 1.4 for F trivially implies the validity of Conjecture 1.3 for F when Gr(F/U,u) is connected. We will see later (see Proposition 6.7 below) that the validity of Conjecture 1.4 for F also implies the validity of Conjecture 1.2 for F. Let us continue by proving an application of crystalline Chebotar¨ev density. For every convergent F - isocrystal F on U and for every x ∈ |U| let Tr(Frobx(F)) denote the common trace of all elements of Frobx(F), considered as endomorphisms of the Ke-vector space ωu(F). Corollary 1.5. Let S ⊂ |U| be a subset of Dirichlet density one and let F, G be two convergent F - isocrystals of the same rank on U such that Tr(Frobx(F)) = Tr(Frobx(G)) for every x ∈ S and such that Conjecture 1.2 holds for the direct sum F ss ⊕ Gss of their semi-simplifications. Then the semi- simplifications F ss and Gss of F and G are isomorphic. CRYSTALLINE CHEBOTAREV¨ DENSITY THEOREMS 3 ss Proof. By Lemma 3.3 below the Frobenius conjugacy class Frobx(F) maps to Frobx(F ) under the natural surjective map η : Gr(F,u) ։ Gr(F ss,u) for every x ∈ S. For every g ∈ Gr(F,u) we have ss Tr(g) = Tr(η(g)) where we take traces with respect to the representations ωu(F) and ωu(F ), because in a suitable basis of ωu(F) the kernel of η consists of unipotent upper triangular matrices by Lemma 3.8, ss and so the diagonal entries of g and η(g) coincide. Therefore, we get that Tr(Frobx(F)) = Tr(Frobx(F )) ss ss for every x ∈ S. By repeating the same argument for G we get that Tr(Frobx(F )) = Tr(Frobx(G )) for every x ∈ S. ss ss ss ss Let ρ1 and ρ2 denote the representations of Gr(F ⊕G ,u) on ωu(F ) and ωu(G ), respectively. Note ss ss that ρ1 and ρ2 correspond to the objects F ⊗K Ke and G ⊗K Ke of F -IsocK (U)⊗K Ke by Remark A.20. ss ss ss For every x ∈ S the Frobenius conjugacy class Frobx(F ⊕ G ) maps by Lemma 3.3 to Frobx(F ) and ss Frobx(G ) under ρ1 and ρ2, respectively. Thus the trace functions of the representations ρ1 and ρ2 on the ss ss ss ss group Gr(F ⊕ G ,u) are equal on the Frobenius conjugacy classes Frobx(F ⊕ G ) for all x ∈ S.