Abstract
It has been proven by Serre, Larsen–Pink and Chin, that over a smooth curve over a finite field, the monodromy groups of compatible semisimple pure lisse sheaves have “the same” \(\pi _0\) and neutral component. We generalize their results to compatible systems of semisimple lisse sheaves and overconvergent Fisocrystals over arbitrary smooth varieties. For this purpose, we extend the theorem of Serre and Chin on Frobenius tori to overconvergent Fisocrystals. To put our results into perspective, we briefly survey recent developments of the theory of lisse sheaves and overconvergent Fisocrystals. We use the Tannakian formalism to make explicit the similarities between the two types of coefficient objects.
Introduction
Background
L. Lafforgue in 2002 proved the Langlands reciprocity conjecture for \({{\,\mathrm{GL}\,}}_r\) over function fields of positive characteristic, [35]. This result gives a correspondence between irreducible lisse \(\overline{\mathbb {Q}}_{\ell }\)sheaves over a smooth connected curve over a finite field and cuspidal automorphic representations. The theorem has a padic counterpart recently proved by Abe in [2]. In Abe’s work lisse sheaves are replaced by overconvergentFisocrystals, previously introduced by Berthelot. The two results prove Deligne’s conjecture [13, Conjecture 1.2.10] for curves. The lack of a Langlands correspondence for higher dimensional varieties (even at the level of the formulation) forced one to generalize Deligne’s conjecture reducing geometrically to the case of curves. One of the difficulties is that one cannot rely on a Lefschetz theorem for the étale fundamental group in positive characteristic (see for example [21, Lemma 5.4]). This means that in general, given a smooth variety \(X_0\) over a finite field \(\mathbb {F}_q\), it does not exist a smooth curve \(C_0\subseteq X_0\) over \(\mathbb {F}_q\) with the property that every irreducible lisse sheaf over \(X_0\) remains irreducible when restricted to \(C_0\). On the other hand, for a given lisse sheaf one can find a suitable smooth curve where the lisse sheaf remains irreducible, [26]. The same property holds for overconvergent Fisocrystals, [4].
Main results
We refer to lisse sheaves and overconvergent Fisocrystals uniformly as coefficient objects (Definition 3.1.1). Let \(X_0\) be a smooth connected variety over \(\mathbb {F}_q\). Suppose that \(\mathcal {E}_0\) is a coefficient object over \(X_0\) such that all the eigenvalues of the Frobenii at closed points are algebraic numbers. Thanks to the known cases of Deligne’s conjecture (Theorem 3.7.2), \(\mathcal {E}_0\) sits in an Ecompatible system\(\{\mathcal {E}_{\lambda , 0}\}_{\lambda \in \Sigma }\), where E is a number field. With this we mean that there exists a set \(\Sigma \) of finite places of E, containing all the finite places which do not divide p, and \(\{\mathcal {E}_{\lambda , 0}\}_{\lambda \in \Sigma }\) is a family of pairwise Ecompatible \(E_\lambda \)coefficient objects (Definition 3.1.15), one for each \(\lambda \in \Sigma \).
We use the new results presented above to study the problem of \(\lambda \)independence of the monodromy groups. Let \(\mathbb {F}\) be an algebraic closure of \(\mathbb {F}_q\) and x an \(\mathbb {F}\)point of \(X_0\). For every \(\lambda \in \Sigma \), let \(G(\mathcal {E}_{\lambda , 0},x)\) be the (arithmetic) monodromy group of \(\mathcal {E}_{\lambda , 0}\) (Definition 3.2.4) and \(\rho _{\lambda ,0}\) the tautological representation of \(G(\mathcal {E}_{\lambda , 0},x)\). We prove the following generalization of [9, Theorem 1.4].
Theorem 1.2.1
(Theorem 4.3.2) Suppose that for every \(\lambda \in \Sigma \) the coefficient object \(\mathcal {E}_{\lambda , 0}\) is semisimple. After possibly replacing E with a finite extension, there exists a connected split reductive group \(G_0\) over E such that for every \(\lambda \in \Sigma \) the extension of scalars \(G_0\otimes _E E_\lambda \) is isomorphic to the neutral component of \(G(\mathcal {E}_{\lambda , 0},x)\). Moreover, there exists a faithful Elinear representation \(\rho _0\) of \(G_0\) and isomorphisms \(\varphi _{\lambda ,0}: G_{0}\otimes _E E_{\lambda } \xrightarrow {\sim } G(\mathcal {E}_{\lambda , 0},x)^{\circ }\) for every \(\lambda \in \Sigma \) such that \(\rho _0\otimes _E E_{\lambda }\) is isomorphic to \(\rho _{\lambda ,0}\circ \varphi _{\lambda ,0}\).
Note that in Theorem 1.2.1 we remove from [ibid., Theorem 1.4] the purity and pplain assumptions (cf. Sect. 3.1.14) and we extend it to overconvergent Fisocrystals. Chin proves his result exploiting a reconstruction theorem for connected split reductive groups (Theorem 4.3.4). To apply his theorem, he extends the work of Serre in [43] on Frobenius tori of étale lisse sheaves, [9, Lemma 6.4]. We further generalize Chin’s result on Frobenius tori.
Theorem 1.2.2
(Theorem 4.2.11) Let \(\mathcal {E}_0\) be an algebraic coefficient object over \(X_0\). There exists a Zariskidense subset \(\Delta \subseteq X(\mathbb {F})\) such that for every \(\mathbb {F}\)point \(x\in \Delta \) and every object \(\mathcal {F}_0\in \langle \mathcal {E}_0 \rangle \), the Frobenius torus \(T(\mathcal {F}_0,x)\) is a maximal torus of \(G(\mathcal {F}_0,x)\). Moreover, if \(\mathcal {G}_0\) is a coefficient object which is compatible with \(\mathcal {E}_0\), the subset \(\Delta \) satisfies the same property for every object in \(\langle \mathcal {G}_0 \rangle \).
To prove the theorem, we extend first Serre–Chin result on the finiteness of conjugacy classes of Frobenius tori (Corollary 4.2.8). To do this we exploit the known cases of Deligne’s conjecture. Using Serre’s technique, this allows to prove Theorem 1.2.2 for algebraic étale lisse sheaves. In order to extend Theorem 1.2.2 to overconvergent Fisocrystals and to Weil lisse sheaves that are not étale, we use a dimension data argument due to Larsen and Pink (Proposition 4.2.9). Thanks to Theorem 1.2.2, we are able to prove Theorem 1.2.1 following Chin’s method. Theorem 1.2.2 is also used in [5] as a starting point to prove a certain rigidity result for convergentFisocrystals which admit an overconvergent extension. An additional outcome of Theorem 1.2.2 is provided by the following semisimplicity statement for the Frobenii at closed points.
Corollary 1.2.3
(Corollary 4.2.12) Let \(\mathcal {E}_0\) be a semisimple \(\overline{\mathbb {Q}}_{\ell }\)coefficient object. The set of closed points \(x_0'\) of \(X_0\) where the Frobenius \(F_{x'_0}\) is regular semisimple^{Footnote 1} is Zariskidense in \(X_0\).
In the article, we also generalize the result of Serre and Larsen–Pink on the \(\lambda \)independence of the \(\pi _0\) of the monodromy groups.
Theorem 1.2.4
(Proposition 3.3.3 and Theorem 4.1.1) For every \(E_\lambda \)coefficient object \(\mathcal {E}_0\), the finite group schemes \(\pi _0(G(\mathcal {E}_0,x))\) and \(\pi _0(G(\mathcal {E},x))\) are constant group schemes. If \(\mathcal {F}_0\) is a coefficient object compatible with \(\mathcal {E}_0\), then there exist canonical isomorphisms \(\pi _0(G(\mathcal {E}_0,x))\xrightarrow {\sim }\pi _0(G(\mathcal {F}_0,x))\) and \(\pi _0(G(\mathcal {E},x))\xrightarrow {\sim }\pi _0(G(\mathcal {F},x))\) as abstract finite groups.
To prove such a theorem for overconvergent Fisocyrstals we have to relate their monodromy groups with the étale fundamental group of \(X_0\). This is done in Sect. 3.3 and it relies on some previous work done by Crew in [12]. The rest of the proof follows [37, Proposition 2.2]. Finally, we obtain an independence result for the “Lefschetz theorem” for coefficient objects.
Theorem 1.2.5
Let \(f_0:(Y_0,y)\rightarrow (X_0,x)\) be a morphism of smooth geometrically connected pointed varieties. Let \(\mathcal {E}_0\) and \(\mathcal {F}_0\) be compatible geometrically semisimple coefficient objects over \(X_0\). Let \(\varphi _0: G(f_0^*\mathcal {E}_0,y)\rightarrow G(\mathcal {E}_0,x)\) and \(\psi _0:G(f_0^*\mathcal {F}_0,y)\rightarrow G(\mathcal {F}_0,x)\) be the morphisms induced by \(f_0^*\) and let \(\varphi \) and \(\psi \) be their restriction to the geometric monodromy groups.

(i)
If \(\varphi \) is an isomorphism, the same is true for \(\psi \).

(ii)
If \(\varphi _0\) is an isomorphism, the same is true for \(\psi _0\).
Relations with previous works
In [40, Theorem 8.23], Pál gives a proof of a special case of Theorem 1.2.1 for curves. It relies on a strong Chebotarev’s density theorem for overconvergent Fisocrystals [ibid., Theorem 4.13], which is now proven in [25]. Using the result on Frobenius tori, we do not use Hartl–Pál’s theorem. It is also worth mentioning that Drinfeld proved the independence of the entire arithmetic monodromy groups (not only the neutral component) over \(\overline{\mathbb {Q}}_{\ell }\), [19]. He uses a stronger representationtheoretic reconstruction theorem (see Remark 4.3.10). With Frobenius tori, we prove in addition the existence of a number field E such that the algebraic group \(G(\mathcal {E}_{\lambda , 0},x)\) is split reductive over \(E_\lambda \) for every \(\lambda \in \Sigma \).
The structure of the article
We define in Sect. 3.1 the categories of coefficient objects and geometric coefficient objects, and we prove some basic results. We also recall some definitions related to the characteristic polynomials of the Frobenii at closed points, and we show that the property of a Weil lisse sheaf of being étale can be checked looking at one closed point (Proposition 3.1.16).
In Sect. 3.2, we define the arithmetic and the geometric monodromy groups of coefficient objects, using the Tannakian formalism. We also introduce the Tannakian fundamental groups classifying coefficient objects and geometric coefficient objects. We present a fundamental exact sequence relating these groups (Proposition 3.2.7). The result is essentially entirely proven in the “Appendix” for general neutral Tannakian categories with Frobenius. Then in Sect. 3.3 we show that the groups of connected components of these fundamental groups are isomorphic to the arithmetic and the geometric étale fundamental group (Proposition 3.3.3). We also prove a complementary result, namely Proposition 3.3.4.
In Sect. 3.4 we recall the main result on rank 1 coefficient objects (Theorem 3.4.1). We introduce in Sect. 3.4.3 the notion of twist classes and we prove some structural properties for them. In Sect. 3.5 we recollect some theorems from Weil II that are now known for coefficient objects of both types. For example, we recall the main theorem on weights (Theorem 3.5.1). Then we present in Sect. 3.6 the state of Deligne’s conjectures. In Sect. 3.7 we give the definition of compatible systems of lisse sheaves and overconvergent Fisocrystals and we present a strong form of the companions conjecture, due to the work of Chin (Theorem 3.7.2).
In Sect. 4, we investigate the properties of \(\lambda \)independence of the monodromy groups varying in a compatible system of coefficient objects. We start by proving in Sect. 4.1 the \(\lambda \)independence of the groups of connected components (Theorem 1.2.4). In Sect. 4.2 we extend the theory of Frobenius tori to algebraic coefficient objects and we prove Theorem 1.2.2 and Corollary 1.2.3. In Sect. 4.3 we prove instead Theorem 1.2.1. Finally, in Sect. 4.4 we prove Theorem 1.2.5.
Notation and conventions
2.0.1. We fix a prime number p and a positive power q. Let \(\mathbb {F}_q\) be a field with q elements and \(\mathbb {F}\) an algebraic closure of \(\mathbb {F}_q\). For every positive integer s we denote by \(\mathbb {F}_{q^s}\) the subfield of \(\mathbb {F}\) with \(q^s\) elements. We say that a separated scheme of finite type over a field k is a variety over k. When we do not specify k it means that we take \(\mathbb {F}_q\) as a base field. Note that for us a variety is not necessarily irreducible. A curve for us is a one dimensional variety. We will mostly denote by \(X_0\) a smooth variety over \(\mathbb {F}_q\). When \(X_0\) is connected we will sometimes consider \(X_0\) as a variety over \(k_{X_0}\), the algebraic closure of \(\mathbb {F}_q\) in \(\Gamma (X_0,\mathcal {O}_{X_0})\). We denote by X the extension of scalars \(X_0\otimes _{\mathbb {F}_q}\mathbb {F}\) over \(\mathbb {F}\). In general, we denote with a subscript \(_0\) objects and morphisms defined over \(\mathbb {F}_q\), and the suppression of the subscript will mean the base change to \(\mathbb {F}\).
We write \(X_0\) for the set of closed points of \(X_0\). If \(x_0\) is a closed point of \(X_0\), the degree of \(x_0\) is defined to be \(\deg (x_0):=[\kappa (x_0):\mathbb {F}_q]\). A variety is said (\(\mathbb {F}\))pointed if it is endowed with the choice of an \(\mathbb {F}\)point. A morphism of pointed varieties\((Y_0,y)\rightarrow (X_0,x)\) is a morphism of varieties \(Y_0\rightarrow X_0\) which sends y to x. An \(\mathbb {F}\)point x of \(X_0\) determines a unique closed point of the variety that we denote by \(x_0\). Moreover, the \(\mathbb {F}\)point x determines an identification \(k_{X_0}=\mathbb {F}_{q^s}\), for some \(s\in \mathbb {Z}_{>0}\).
2.0.2. The letter \(\ell \) will denote a prime number. In general we allow \(\ell \) to be equal to p. We fix an algebraic closure of \(\mathbb {Q}\) and for every \(\ell \) an algebraic closure of \(\mathbb {Q}_{\ell }\). For a number field E, we write \(E_\ell \) for the set of finite places of E dividing \(\ell \). We also write \(E_{\ne p}\) for the union \(\bigcup _{\ell \ne p} E_\ell \) and E for \(\bigcup _{\ell } E_\ell \). If \(\lambda \in E\), we denote by \(E_{\lambda }\) the \(\lambda \)adic completion of E in \(\overline{\mathbb {Q}}_{\ell }\). For a characteristic 0 field \(\mathbb {K}\), we say that an element \(a\in \mathbb {K}\) is an algebraic number if it is algebraic over \(\mathbb {Q}\). If a is an algebraic number we say that it is pplain^{Footnote 2} if it is an \(\ell \)adic unit for every \(\ell \ne p\).
Tannakian categories and group schemes
We will extensively make use the theory of Tannakian categories as presented in [16].
2.1.1. Let \(\mathbb {K}\) be a field. For every Tannakian category \(\mathbf {C}\) over \(\mathbb {K}\), we say that an object in \(\mathbf {C}\) is a trivial object if it is isomorphic to \(\mathbb {1}^{\oplus n}\) for some \(n\in \mathbb {N}\). We say that an object \(V\in \mathbf {C}\) is irreducible if the only subobjects of V are 0 and V itself. We say that \(V\in \mathbf {C}\) is absolutely irreducible if for ever finite extension \(\mathbb {L}/\mathbb {K}\), the extension of scalars \(V\otimes _\mathbb {K}\mathbb {L}\) is irreducible. A Tannakian subcategory of \(\mathbf {C}\), for us, is a strictly full abelian subcategory, closed under \(\otimes \), duals, subobjects (and thus quotients). If V is an object of \(\mathbf {C}\), we denote by \(\langle V\rangle \) the smallest Tannakian subcategory of \(\mathbf {C}\) containing V. We write \(\mathbf {Vec}_\mathbb {K}\) for the Tannakian category of finite dimensional \(\mathbb {K}\)vector spaces.
2.1.2. If \(\omega \) is a fibre functor of \(\mathbf {C}\), over an extension \(\mathbb {L}\), we say that the affine group scheme \(\underline{{{\,\mathrm{Aut}\,}}}^{\otimes }(\omega )\) over \(\mathbb {L}\) is the Tannakian group of \(\mathbf {C}\) with respect to \(\omega \). We say that the Tannakian group of \(\langle V\rangle \) with respect to \(\omega \) is the monodromy group of V (with respect to \(\omega \)). If the monodromy group of V is finite, we say that V is a finite object.
2.1.3. For every group scheme G, we denote by \(\pi _0(G)\) the group of connected components of G and by \(G^{\circ }\) the neutral component of G. If G is an algebraic group, the reductive rank of G is the dimension of any maximal torus of G. When \(\mathbb {K}\) is a characteristic 0 field, we will say that a morphism \(\varphi :G\rightarrow H\) of affine group schemes over \(\mathbb {K}\) is surjective if it is faithfully flat and we will say that \(\varphi \) is injective if it is a closed immersion.
Weil lisse sheaves
We mainly use the notations and conventions for lisse sheaves as in [13].
2.2.1. If X is a scheme and x is a geometric point of X, we denote by \(\pi _1^{{\acute{\mathrm{e}}}\mathrm{t}}(X,x)\) the étale fundamental group of X. For a finite extension \(k/\mathbb {F}_q\) with algebraic closure \(\overline{k}\), we say that the inverse of the \(q^{[k:\mathbb {F}_q]}\)power Frobenius of \(\overline{k}\) is the geometric Frobenius ofk (with respect to \(\overline{k}\)). We denote by F the geometric Frobenius of \(\mathbb {F}_q\) with respect to \(\mathbb {F}\). For every \(n\in \mathbb {Z}_{>0}\) we denote by \(W(\mathbb {F}/\mathbb {F}_{q^n})\) the Weil group of \(\mathbb {F}_{q^n}\) (it is generated by \(F^n\)). We also denote by \(W(X_0,x)\) the Weil group of \(X_0\). For every closed point \(x_0'\) of \(X_0\) in the same connected component of x we denote by \(F_{x_0'}\subseteq W(X_0,x)\) the conjugacy class of the geometric Frobenius at \(x_0'\), as in [13, §1.1.8].
2.2.2. For every \(\ell \ne p\) we have a category \(\mathbf {LS}(X,\overline{\mathbb {Q}}_{\ell })\) of lisse\(\overline{\mathbb {Q}}_{\ell }\)sheaves over X, that is the 2colimit of the categories \(\mathbf {LS}(X,E_\lambda )\) of lisse\(E_\lambda \)sheaves, where \(E_\lambda \) varies among the finite extensions of \(\mathbb {Q}_{\ell }\) in \(\overline{\mathbb {Q}}_{\ell }\) (see [13, §1.1.1] for more details). If \(X_0\) is not geometrically connected over \(\mathbb {F}_q\) these categories are not Tannakian (the unit object has too many endomorphisms). If x is a geometric point of \(X_0\), we denote by \(X^{(x)}\) the connected component of X containing x. The categories \(\mathbf {LS}(X^{(x)},E_\lambda )\) and \(\mathbf {LS}(X^{(x)},\overline{\mathbb {Q}}_{\ell })\) are neutral Tannakian categories.
For a lisse \(\overline{\mathbb {Q}}_{\ell }\)sheaf \(\mathcal {V}\) over X, an nth Frobenius structure on \(\mathcal {V}\) is an isomorphism \((F^n)^*\mathcal {V}\xrightarrow {\sim }\mathcal {V}\) with F the geometric Frobenius of X. The category of Weil lisse\(E_\lambda \)sheaves over \(X_0\), denoted by \(\mathbf {Weil}(X_0,E_\lambda )\), is defined to be the category of lisse \(E_\lambda \)sheaves equipped with a (1st) Frobenius structure. We will often refer to Weil lisse sheaves simply as lisse sheaves. If \(X_0\) is connected, the category \(\mathbf {Weil}(X_0,E_\lambda )\) is a neutral Tannakian category.
For every geometric point x of \(X_0\) and every \(E_\lambda \) we have a functor
obtained by firstly forgetting the Frobenius structure and then taking the inverse image with respect to the open immersion \(X^{(x)}\hookrightarrow X\). If \(\mathcal {V}_0\) is a Weil lisse sheaf, we remove the subscript \(_0\) to indicate the lisse sheaf \(\Psi _{x,E_\lambda }(\mathcal {V}_0)\).
2.2.3. The choice of a geometric point x of \(X_0\), induces an equivalence between the category of Weil lisse \(\overline{\mathbb {Q}}_{\ell }\)sheaves over \(X_0\) and the finitedimensional continuous \(\overline{\mathbb {Q}}_{\ell }\)representations of the Weil group \(W(X_0,x)\), [13, 1.1.12]. We say that a Weil lisse sheaf is an étale lisse sheaf if the associated representation of the Weil group factors through the étale fundamental group.
2.2.4. Notation as in Sect. 2.2.3. If \(\mathcal {V}_0\) is a Weil lisse \(E_\lambda \)sheaf, for every closed point \(x_0'\in X_0\) we write \(P_{x_0'}(\mathcal {V}_0,t)\) for \(\det (1tF_{x_0'}\mathcal {V}_{x})\in E_\lambda [t]\) (cf. [13, 1.1.8]). We say that the polynomial \(P_{x_0'}(\mathcal {V}_0,t)\) is the (Frobenius) characteristic polynomial of \(\mathcal {V}_0\) at \(x_0'\). For every natural number n, a lisse \(\overline{\mathbb {Q}}_{\ell }\)sheaf is said to be pure of weightn, if for every closed point \(x_0'\) of \(X_0\), the eigenvalues of the elements in \(F_{x_0'}\) are algebraic numbers and all the conjugates have complex absolute value \((\#\kappa (x_0'))^{n/2}\). If \(\iota :\overline{\mathbb {Q}}_{\ell }\xrightarrow {\sim }\mathbb {C}\) and w is a real number, we say that a lisse sheaf is \(\iota \)pure of \(\iota \)weight w if for every closed point \(x_0'\) of \(X_0\) the eigenvalues of \(F_{x_0'}\), after applying \(\iota \), have complex absolute value \((\#\kappa (x_0))^{w/2}\). Moreover, we say that a lisse \(\overline{\mathbb {Q}}_{\ell }\)sheaf is mixed (resp. \(\iota \)mixed) if it admits a filtration of lisse \(\overline{\mathbb {Q}}_{\ell }\)sheaf with pure (resp. \(\iota \)pure) successive quotients.
Overconvergent Fisocrystals
2.3.1. Let k be a perfect field. We denote by W(k) the ring of ptypical Witt vectors over k and by K(k) its fraction field. For every \(s\in \mathbb {Z}_{>0}\), we denote by \(\mathbb {Z}_{q^s}\) the ring of Witt vectors over \(\mathbb {F}_{q^s}\) and by \(\mathbb {Q}_{q^s}\) its fraction field. We suppose chosen compatible inclusions \(\mathbb {Q}_{q^s}\hookrightarrow \overline{\mathbb {Q}}_{p}\).
Let \(X_0\) be a smooth variety over k, we denote by \(\mathbf {Isoc}^{\dag }(X_0/K(k))\) the category of Berthelot’s overconvergent isocrystals of \(X_0\) over K(k). See [6] for a precise definition and [11] or [33] for a shorter presentation. The category \(\mathbf {Isoc}^{\dag }(X_0/K(k))\) is a K(k)linear rigid abelian \(\otimes \)category with unit object \(\mathcal {O}_{X_0}^\dag \), denoted by \(K(k)_{X_0}\). The endomorphism ring of \(K(k)_{X_0}\) is isomorphic to \(K(k)^s\), where s is the number of connected components of \(X_0\otimes _k \overline{k}\).
2.3.2. We will recall now the notation for the extension of scalars and the Frobenius structure of overconvergent isocrystals. We mainly refer to [2, §1.4]. For every finite extension \(K(k) \hookrightarrow \mathbb {K}\) we denote by \(\mathbf {Isoc}^{\dag }(X_0/K(k))_\mathbb {K}\) the category of \(\mathbb {K}\)linear overconvergent isocrystals of \(X_0\) over K(k), namely the category of pairs \((\mathcal {M},\gamma )\), where \(\mathcal {M}\in \mathbf {Isoc}^{\dag }(X_0/K(k))\) and \(\gamma : \mathbb {K}\rightarrow {{\,\mathrm{End}\,}}(\mathcal {M})\) is a \(\mathbb {K}\)structure (cf. [2, §1.4.1]). We will often omit \(\gamma \) in the notation. If \(\mathbb {K}\subseteq \mathbb {L}\) are finite extensions of K(k) there exists a functor of extension of scalars
The category \(\mathbf {Isoc}^{\dag }(X_0/K(k))_\mathbb {K}\) is a \(\mathbb {K}\)linear rigid abelian \(\otimes \)category. When \(X_0\) is geometrically connected over k, the endomorphism ring of the unit object \(\mathbb {K}_{X_0}:=K(k)_{X_0}\otimes \mathbb {K}\) is isomorphic to \(\mathbb {K}\).
2.3.3. Let us fix our notation on the inverse image functor for overconvergent isocrystals with \(\mathbb {K}\)structure. Let \(X_0/\mathbb {F}_{q^s}\) and \(Y_0/\mathbb {F}_{q^{t}}\) be smooth varieties with \(t\ge s\) and let us write \(f_0:Y_0/\mathbb {F}_{q^{t}}\rightarrow X_0/\mathbb {F}_{q^s}\) for a morphism of schemes \(f_0:Y_0\rightarrow X_0\) which makes the following diagram commutative
We have an inverse image functor \(\widetilde{f_0^*}:\mathbf {Isoc}^{\dag }(X_0/\mathbb {Q}_{q^s}) \rightarrow \mathbf {Isoc}^{\dag }(Y_0/\mathbb {Q}_{q^{t}})\) defined in [6, 2.3.2.(iv)]. If \(\mathcal {M}\) is an object in \(\mathbf {Isoc}^{\dag }(X_0/\mathbb {Q}_{q^s})\), the overconvergent isocrystal \(\widetilde{f_0^*}\mathcal {M}\) has a canonical \(\mathbb {Q}_{q^{t}}\)structure as an object in \(\mathbf {Isoc}^{\dag }(Y_0/\mathbb {Q}_{q^{t}})\). For every finite extension \(\mathbb {Q}_{q^{t}}\subseteq \mathbb {K}\), the previous functor extends to a \(\otimes \)functor \(f_0^*:\mathbf {Isoc}^{\dag }(X_0/\mathbb {Q}_{q^s})_\mathbb {K}\rightarrow \mathbf {Isoc}^{\dag }(Y_0/\mathbb {Q}_{q^{t}})_\mathbb {K}\) in a natural way. Let us briefly describe it. If \((\mathcal {M},\gamma )\) is an object in \(\mathbf {Isoc}^{\dag }(X_0/\mathbb {Q}_{q^s})_\mathbb {K}\), then \(\widetilde{f_0^*}\mathcal {M}\) is endowed with the \(\mathbb {Q}_{q^{t}}\otimes _{\mathbb {Q}_{q^s}}\mathbb {Q}_{q^{t}}\)structure obtained by making the first copy of \(\mathbb {Q}_{q^{t}}\) acting on \(\widetilde{f_0^*}\mathcal {M}\) via the canonical \(\mathbb {Q}_{q^{t}}\)structure mentioned above and the second copy acting via the restriction of \(\widetilde{f_0^*}\gamma \) to \(\mathbb {Q}_{q^{t}}\). The inverse image \(f_0^*(\mathcal {M},\gamma )\) is then defined to be \((\widetilde{f_0^*}\mathcal {M}\otimes _{(\mathbb {Q}_{q^{t}}\otimes _{\mathbb {Q}_{q^s}}\mathbb {Q}_{q^{t}})} \mathbb {Q}_{q^{t}},\widetilde{f_0^*}\gamma \otimes {{\,\mathrm{id}\,}}_{\mathbb {Q}_{q^{t}}}).\)
2.3.4. We write \(F: X_0\rightarrow X_0\) for the qpower Frobenius.^{Footnote 3} Let \(\mathbb {K}\) be a finite field extension of \(\mathbb {Q}_{q}\). For every \(\mathcal {M}\in \mathbf {Isoc}^{\dag }(X_0/\mathbb {Q}_{q})_\mathbb {K}\) and \(n\in \mathbb {Z}_{>0}\), an nth Frobenius structure of \(\mathcal {M}\) is an isomorphism between \((F^n)^*\mathcal {M}\) and \(\mathcal {M}\). We denote by \(\mathbf {F\text {}Isoc}^{\dag }(X_0/\mathbb {Q}_{q})_\mathbb {K}\) the category of overconvergentFisocrystals with\(\mathbb {K}\)structure, namely the category of pairs \((\mathcal {M}, \Phi )\) where \(\mathcal {M}\in \mathbf {Isoc}^{\dag }(X_0/\mathbb {Q}_{q})_\mathbb {K}\) and \(\Phi \) is a (1st) Frobenius structure of \(\mathcal {M}\). For every positive integer n, the isomorphism
will be the nth Frobenius structure of \((\mathcal {M}, \Phi )\). The category \(\mathbf {F\text {}Isoc}^{\dag }(X_0/\mathbb {Q}_{q})_\mathbb {K}\) is a \(\mathbb {K}\)linear rigid abelian \(\otimes \)category. In this case, even if \(X_0\) is connected but not geometrically connected over \(\mathbb {F}_q\), the ring of endomorphisms of the unit object is isomorphic to \(\mathbb {K}\).
When \(X_0\) is a smooth variety over \(\mathbb {F}_{q^s}\), for every finite extension \(\mathbb {Q}_{q^s}\subseteq \mathbb {K}\), the category of \(\mathbb {K}\)linear isocrystals over \(\mathbb {Q}_{q^s}\) with sth Frobenius structure is equivalent to the category \(\mathbf {F\text {}Isoc}^{\dag }(X_0/\mathbb {Q}_{q})_\mathbb {K}\) (see [2, Corollary 1.4.11]). We will use this equivalence without further comments.
2.3.5. The functors of extension of scalars and of inverse image for overconvergent isocrystals with \(\mathbb {K}\)structure extend in the obvious way to overconvergent Fisocrystals. If \((X_0,x)\) is a smooth pointed variety over \(\mathbb {F}_q\) geometrically connected over \(\mathbb {F}_{q^s}\) and \(\mathbb {K}\) is a finite extension of \(\mathbb {Q}_{q^s}\), the morphism \(f_0:X_0/\mathbb {F}_{q^s}\rightarrow X_0/\mathbb {F}_q\) which is the identity on \(X_0\) induces a functor
that sends \((\mathcal {M},\Psi )\) to \(f_0^*\mathcal {M}\). We denote the objects in \(\mathbf {F\text {}Isoc}^{\dag }(X_0/\mathbb {Q}_{q})_{\mathbb {K}}\) with a subscript \(_0\) and we will remove it when we consider the image by \(\Psi _{x,{\mathbb {K}}}\) in \(\mathbf {Isoc}^{\dag }(X_0/\mathbb {Q}_{q^s})_{\mathbb {K}}\).
2.3.6. For every finite extension \(K(k)\subseteq \mathbb {K}\), the category \(\mathbf {Isoc}^{\dag }({{\,\mathrm{Spec}\,}}(k)/K(k))_\mathbb {K}\) is equivalent to \(\mathbf {Vec}_{\mathbb {K}}\) as a rigid abelian \(\otimes \)category. Moreover, if \(k\subseteq k'\) is an extension of finite fields, and \(K(k')\subseteq \mathbb {K}\), the Tannakian category \(\mathbf {F\text {}Isoc}^{\dag }({{\,\mathrm{Spec}\,}}(k')/K(k))_\mathbb {K}\) is equivalent to the category of (finitedimensional) \(\mathbb {K}\)vector spaces endowed with an automorphism, which is induced by the Frobenius structure.
2.3.7. Let \((X_0,x)\) be a smooth pointed variety over \(\mathbb {F}_q\), geometrically connected over \(\mathbb {F}_{q^s}\). Let \(E_\lambda \) be a finite extension of \(\mathbb {Q}_{q^s}\) in \(\overline{\mathbb {Q}}_{p}\). The category \(\mathbf {Isoc}^{\dag }(X_0/\mathbb {Q}_{q^s})_{E_\lambda }\) admits a fibre functor over some finite extension of \(E_\lambda \). Let \(i_0: x_0/\mathbb {F}_{q^n}\hookrightarrow X_0/\mathbb {F}_{q^s}\) be the immersion of the closed point \(x_0\) in \(X_0\) where n is the degree of \(x_0\) (notation as in Sect. 2.3.3). Let \(E_\lambda ^{(x_0)}\) be the compositum of \(E_\lambda \) and \(\mathbb {Q}_{q^{n}}\) in \(\overline{\mathbb {Q}}_{p}\). Then the functor
is a fibre functor, as proven in [12, Lemma 1.8]. This shows that for every finite extension \(E_\lambda \) of \(\mathbb {Q}_{q^s}\), the category \(\mathbf {Isoc}^{\dag }(X_0/\mathbb {Q}_{q^s})_{E_\lambda }\) is Tannakian. Moreover, the composition \(\omega _{x,E_\lambda }\circ \Psi _{x,E_\lambda }\) is a fibre functor for \(\mathbf {F\text {}Isoc}^{\dag }(X_0/\mathbb {Q}_{q})_{E_\lambda }\) over \(E_\lambda ^{(x_0)}\), that we will denote by the same symbol. Therefore, for every finite extension \(\mathbb {Q}_{q^s}\subseteq E_\lambda \), the category \(\mathbf {F\text {}Isoc}^{\dag }(X_0/\mathbb {Q}_{q})_{E_\lambda }\) is Tannakian.^{Footnote 4}
2.3.8. Let \(i_0:x'_0\hookrightarrow X_0\) be the immersion of a closed point of degree n. Let \(\mathbb {K}\) be a finite extension of \(\mathbb {Q}_{q}\) and \(\mathbb {L}\) a finite extension of \(\mathbb {K}\) which contains \(\mathbb {Q}_{q^{n}}\). For every \(\mathcal {M}_0\in \mathbf {F\text {}Isoc}^{\dag }(X_0/\mathbb {Q}_{q})_\mathbb {K}\), we denote by \(F_{x_0'}\) the nth Frobenius structure of \(i_0^*(\mathcal {M}_0)\otimes _\mathbb {K}\mathbb {L}\). This is the (linearized geometric) Frobenius of \(\mathcal {M}_0\) at \(x_0'\). By Sect. 2.3.6, it corresponds to a linear automorphism of an \(\mathbb {L}\)vector space. The characteristic polynomial
is the (Frobenius) characteristic polynomial of \(\mathcal {M}_0\) at \(x_0'\). See [2, §4.2.1 and §A.3.1] for more details.
In analogy with lisse sheaves, we say that overconvergent Fisocrystals are pure or \(\iota \)pure if they satisfy the similar conditions on the eigenvalues of the Frobenii at closed points and we say that they are mixed or \(\iota \)mixed if they have analogous filtrations.
Coefficient objects
First definitions
Following [34], we adopt a notation which allows us to work with lisse sheaves and overconvergent Fisocrystals at the same time. Let \(X_0\) be a smooth variety over \(\mathbb {F}_q\).
Definition 3.1.1
(Coefficient objects) For every prime \(\ell \ne p\) and every finite field extension \(\mathbb {K}/\mathbb {Q}_{\ell }\), we say that a Weil lisse \(\mathbb {K}\)sheaf is a \(\mathbb {K}\)coefficient object. When \(\mathbb {K}\) is instead a finite field extension of \(\mathbb {Q}_{q}\), we say that an object in \(\mathbf {F\text {}Isoc}^{\dag }(X_0/\mathbb {Q}_{q})_{\mathbb {K}}\) is a \(\mathbb {K}\)coefficient object. If \(\mathbb {K}\) is a field of one of the two types, we denote by \(\mathbf {Coef}(X_0,\mathbb {K})\) the category of \(\mathbb {K}\)coefficient objects. We say that \(\mathbb {K}\) is the field of scalars of \(\mathbf {Coef}(X_0,\mathbb {K})\). For every prime \(\ell \), the category of \(\overline{\mathbb {Q}}_{\ell }\)coefficient objects is the 2colimit of the categories \(\mathbf {Coef}(X_0,E_\lambda )\) with \(E_\lambda \subseteq \overline{\mathbb {Q}}_{\ell }\). It is denoted by \(\mathbf {Coef}(X_0,\overline{\mathbb {Q}}_{\ell })\).
We will also work with categories of geometric coefficient objects. These are built from the categories of coefficient objects by forgetting the Frobenius structure. To get Tannakian categories, in this case, we will put an additional assumption on the field of scalars. Let \((X_0,x)\) be a smooth connected pointed variety over \(\mathbb {F}_q\), geometrically connected over \(\mathbb {F}_{q^s}\) for some \(s\in \mathbb {Z}_{>0}\).
Definition 3.1.2
(Admissible fields) We say that a finite extension of \(\mathbb {Q}_{q^s}\) is a padic admissible field (for\(X_0\)). To uniformize the notation, when \(\ell \) is a prime different from p, we say that any finite field extension of \(\mathbb {Q}_{\ell }\) is an \(\ell \)adic admissible field. We will refer to this second kind of fields as étale admissible fields. If \(E_\lambda \) is an admissible field, we also say that the place \(\lambda \) is admissible.
Definition 3.1.3
(Geometric coefficient objects) For every padic admissible field \(\mathbb {K}\), we defined in Sect. 2.3.5 a functor of Tannakian categories \(\Psi _{x,\mathbb {K}}:\mathbf {F\text {}Isoc}^{\dag }(X_0/\mathbb {Q}_{q})_{\mathbb {K}}\rightarrow \mathbf {Isoc}^{\dag }(X_0/\mathbb {Q}_{q^s})_{\mathbb {K}}\) which forgets the Frobenius structure. We denote by \(\mathbf {Coef}(X^{(x)},\mathbb {K})\) the smallest Tannakian subcategory of \(\mathbf {Isoc}^{\dag }(X_0/\mathbb {Q}_{q^s})_{\mathbb {K}}\) containing the essential image of \(\Psi _{x,\mathbb {K}}\). We say that the category \(\mathbf {Coef}(X^{(x)}, \mathbb {K})\) is the category of geometric\(\mathbb {K}\)coefficient objects (with respect tox).
When \(\mathbb {K}\) is an étale admissible field, we have again a functor \(\Psi _{x,\mathbb {K}}: \mathbf {Weil}(X_0,\mathbb {K})\rightarrow \mathbf {LS}(X^{(x)},\mathbb {K})\) which forgets the Frobenius structure (see Sect. 2.2.2). The category of geometric\(\mathbb {K}\)coefficient objects (with respect tox) is the smallest Tannakian subcategory of \(\mathbf {LS}(X^{(x)},\mathbb {K})\) containing the essential image of \(\Psi _{x,\mathbb {K}}\) and it is denoted by \(\mathbf {Coef}(X^{(x)}, \mathbb {K})\).
For every prime \(\ell \), the category of geometric \(\overline{\mathbb {Q}}_{\ell }\)coefficient objects is the 2colimit of the categories of geometric \(E_\lambda \)coefficient objects where \(E_\lambda \) varies among the admissible fields for \(X_0\) in \(\overline{\mathbb {Q}}_{\ell }\). It is denoted by \(\mathbf {Coef}(X^{(x)}, \overline{\mathbb {Q}}_{\ell })\) and we denote by \(\Psi _{x,\overline{\mathbb {Q}}_{\ell }}\) the functor induced by the functors \(\Psi _{x,\mathbb {K}}\). If \(\mathcal {E}_0\) is a \(\overline{\mathbb {Q}}_{\ell }\)coefficient object, we drop the subscript \(_0\) to indicate \(\Psi _{x,\overline{\mathbb {Q}}_{\ell }}(\mathcal {E}_0)\), thus we write \(\mathcal {E}\) for \(\Psi _{x,\overline{\mathbb {Q}}_{\ell }}(\mathcal {E}_0)\). When \(X_0\) is geometrically connected over \(\mathbb {F}_q\) we drop the superscript \(^{(x)}\) in the notation for the categories of geometric coefficient objects, as they do not depend on x.
Definition 3.1.4
(Geometric properties) Let \(\mathcal {E}_0\) a \(\overline{\mathbb {Q}}_{\ell }\)coefficient object over a smooth connected variety \(X_0\) over \(\mathbb {F}_q\). We say that \(\mathcal {E}_0\) is geometrically semisimple, geometrically trivial or geometrically finite if for one (or equivalently any) choice of an \(\mathbb {F}\)point x, the associated geometric coefficient object \(\mathcal {E}\) is semisimple, trivial or finite in \(\mathbf {Coef}(X^{(x)},\overline{\mathbb {Q}}_{\ell })\). When \(X_0\) is not connected we say that a coefficient object has one of the previous properties if the restriction to each connected component of \(X_0\) does.
Definition 3.1.5
(Cohomology of coefficient objects) Let \((X_0,x)\) be a smooth connected pointed variety over \(\mathbb {F}_q\), geometrically connected over \(\mathbb {F}_{q^s}\) for some \(s\in \mathbb {Z}_{>0}\) and let \(\mathcal {E}_0\) be an \(E_\lambda \)coefficient over \(X_0\). If \(\mathcal {E}_0\) is a lisse sheaf, we denote by \(H^i(X^{(x)},\mathcal {E})\) (resp. \(H^i_c(X^{(x)},\mathcal {E})\)) the \(\lambda \)adic étale cohomology (resp. the \(\lambda \)adic étale cohomology with compact support) of \(X^{(x)}\) with coefficients in \(\mathcal {E}\) and by \(H^0(X_0,\mathcal {E}_0)\) the fixed points of \((F^s)^*\) acting on \(H^0(X^{(x)},\mathcal {E})\). When \(E_\lambda \) is padic, we denote by \(H^i(X^{(x)},\mathcal {E})\) (resp. \(H^i_c(X^{(x)},\mathcal {E})\)) the rigid cohomology (resp. the rigid cohomology with compact support) of \(X_0\) with coefficients in \(\mathcal {E}\). We denote by \(H^0(X_0,\mathcal {E}_0)\) the \(E_\lambda \)linear subspace of \(H^0(X^{(x)},\mathcal {E})\) of fixed points under the action of \((F^s)^*\).
Remark 3.1.6
For both types of coefficient objects, if \(E_{\lambda ,X^{(x)}}\) is the unit object of \(\mathbf {Coef}(X^{(x)},E_\lambda )\), the \(E_\lambda \)vector space \({{\,\mathrm{Hom}\,}}(E_{\lambda ,X^{(x)}},\mathcal {E})\) is canonically isomorphic to \(H^0(X^{(x)},\mathcal {E})\). We also have a canonical isomorphism between \({{\,\mathrm{Hom}\,}}(E_{\lambda ,X_0},\mathcal {E}_0)\) and \(H^0(X_0,\mathcal {E}_0)\), where \(E_{\lambda ,X_0}\) is the unit object in \(\mathbf {Coef}(X_0,E_\lambda )\).
Proposition 3.1.7
The functor \((F^s)^*\) is a \(\otimes \)autoequivalence of \(\mathbf {Coef}(X^{(x)}, E_\lambda )\). In particular, the category \(\mathbf {Coef}(X^{(x)}, E_\lambda ^{(x_0)})\) endowed with the endofunctor \((F^s)^*\) is a neutral Tannakian category with Frobenius, as defined in Definition A.1.1.
Proof
For lisse sheaves the result is wellknown. In the padic case see [2, Remark in §1.1.3] or [38, Corollary 6.2] for a proof which does not use arithmetic \(\mathscr {D}\)modules.
\(\square \)
Corollary 3.1.8
Any irreducible object in \(\mathbf {Coef}(X^{(x)},E_\lambda )\) admits an nth Frobenius structure for some \(n\in \mathbb {Z}_{>0}\).
Proof
By definition, an irreducible object \(\mathcal {F}\) in \(\mathbf {Coef}(X^{(x)},E_\lambda )\) is a subquotient of some geometric coefficient object \(\mathcal {E}\) that admits a Frobenius structure. By Proposition 3.1.7, the functor \((F^s)^*\) is an autoequivalence, thus it permutes the isomorphism classes of the irreducible subquotients of \(\mathcal {E}\). This implies that there exists \(n>0\) such that \((F^{ns})^* \mathcal {F}\simeq \mathcal {F}\), as we wanted. \(\square \)
Remark 3.1.9
When \(X_0\) is geometrically connected over \(\mathbb {F}_q\), the category \(\mathbf {Coef}(X, \mathbb {Q}_{q})\) is the same category as the one considered by Crew to define the fundamental group at the end of §2.5 in [12]. The author is not aware whether this category is equivalent to the one considered by Abe to define, for example, the fundamental group in [2, §2.4.17]. By Corollary 3.1.8, the category \(\mathbf {Coef}(X,\mathbb {Q}_{q})\) is a Tannakian subcategory of the one defined by Abe.
Definition 3.1.10
We say that a \(\mathbb {K}\)coefficient object is constant if it is geometrically trivial. We denote by \(\mathbf {Coef}_{{{\,\mathrm{cst}\,}}}(X_0,E_\lambda )\) the (strictly) full subcategory of \(\mathbf {Coef}(X_0,E_\lambda )\) of constant \(E_\lambda \)coefficient objects. We define similarly \(\mathbf {Coef}_{{{\,\mathrm{cst}\,}}}(X_0,\overline{\mathbb {Q}}_{\ell })\subseteq \mathbf {Coef}(X_0,\overline{\mathbb {Q}}_{\ell })\).
Definition 3.1.11
For every prime \(\ell \), the category \(\mathbf {Coef}({{\,\mathrm{Spec}\,}}(\mathbb {F}_q),\overline{\mathbb {Q}}_{\ell })\) is canonically equivalent to the category of \(\overline{\mathbb {Q}}_{\ell }\)vector spaces endowed with an automorphism. For \(a\in \overline{\mathbb {Q}}_{\ell }^{\times }\) we write \(\overline{\mathbb {Q}}_{\ell }^{(a)}\) for the rank 1 coefficient object over \({{\,\mathrm{Spec}\,}}(\mathbb {F}_q)\) associated to the vector space \(\overline{\mathbb {Q}}_{\ell }\) endowed with the multiplication by a. Let \(p_{X_0}:X_0\rightarrow {{\,\mathrm{Spec}\,}}(\mathbb {F}_q)\) be the structural morphism. For every \(\overline{\mathbb {Q}}_{\ell }\)coefficient object \(\mathcal {E}_0\) and every \(a\in \overline{\mathbb {Q}}_{\ell }^\times \), we say that \(\mathcal {E}_0\otimes p_{X_0}^*\left( \overline{\mathbb {Q}}_{\ell }^{(a)}\right) \) is the twist of \(\mathcal {E}_0\) by a and we denote it by \(\mathcal {E}_0^{(a)}\). A twist is said to be algebraic if a is algebraic.
Remark 3.1.12
The operation of twisting coefficient objects by an element \(a\in \overline{\mathbb {Q}}_{\ell }^{\times }\) gives an exact autoequivalence of the category \(\mathbf {Coef}(X_0, \overline{\mathbb {Q}}_{\ell })\). In particular, for every coefficient object, the property of being absolutely irreducible is preserved by any twist.
Definition 3.1.13
If \(\mathcal {E}_0\) is a \(\overline{\mathbb {Q}}_{\ell }\)coefficient object, for every closed point \(x_0\) of \(X_0\) we denote by \(P_{x_0}(\mathcal {E}_0,t)\) the (Frobenius) characteristic polynomial of \(\mathcal {E}_0\) at \(x_0\).
Definition 3.1.14
Let \(\ell \) be a prime number, \(\mathbb {K}\) a field endowed with an inclusion \(\tau : \mathbb {K}\hookrightarrow \overline{\mathbb {Q}}_{\ell }\). We say that a \(\overline{\mathbb {Q}}_{\ell }\)coefficient object \(\mathcal {E}_0\) is \(\mathbb {K}\)rational with respect to\(\tau \) if the characteristic polynomials at closed points have coefficients in the image of \(\tau \). A \(\mathbb {K}\)rational coefficient object is the datum of \(\tau : \mathbb {K}\hookrightarrow \overline{\mathbb {Q}}_{\ell }\) and a \(\overline{\mathbb {Q}}_{\ell }\)coefficient object that is \(\mathbb {K}\)rational with respect to \(\tau \). We will also say that an \(E_\lambda \)coefficient object is Erational if it is Erational with respect to the natural embedding \(E\hookrightarrow E_\lambda \subseteq \overline{\mathbb {Q}}_{\ell }\). We say that a coefficient object is algebraic if it is \(\overline{\mathbb {Q}}\)rational for one (or equivalently any) map \(\tau :\overline{\mathbb {Q}}\hookrightarrow \overline{\mathbb {Q}}_{\ell }\). A coefficient object is said pplain if it is algebraic and all the eigenvalues at closed points are pplain (see 2.0.2 for the notation).
We can compare two \(\mathbb {K}\)rational coefficient objects with different fields of scalars looking at their Frobenius characteristic polynomials.
Definition 3.1.15
Let \(\mathcal {E}_0\) and \(\mathcal {F}_0\) be two coefficient objects that are \(\mathbb {K}\)rational with respect to \(\tau \) and \(\tau '\) respectively. We say that \(\mathcal {E}_0\) and \(\mathcal {F}_0\) are \(\mathbb {K}\)compatible if their characteristic polynomials at closed points are the same as polynomials in \(\mathbb {K}[t]\), after the identifications given by \(\tau \) and \(\tau '\).
Our general aim in our article will be to convert the numerical data provided by the Frobenius characteristic polynomials at closed points to structural properties of the coefficient objects. As an example, we prove the following general statement for Weil lisse sheaves.
Proposition 3.1.16
Let \(X_0\) be a connected variety over \(\mathbb {F}_q\) and let \(\mathcal {V}_0\) be a Weil lisse \(E_\lambda \)sheaf over \(X_0\). If all the eigenvalues of the Frobenius at some closed point \(x_0\) of \(X_0\) are \(\ell \)adic units, then \(\mathcal {V}_0\) is an étale lisse sheaf. In particular, an extension of étale lisse sheaves in \(\mathbf {Weil}(X_0,E_\lambda )\) is étale.
Proof
The condition on the eigenvalues is preserved after an extension of the base field, thus we may assume that \(x_0\) is a rational point. Let \(\rho _0\) be the \(E_\lambda \)linear representation of \(W(X_0,x)\) associated to \(\mathcal {V}_0\) with x an \(\mathbb {F}\)point over \(x_0\). Write \(\Pi _0\subseteq {{\,\mathrm{GL}\,}}(\mathcal {V}_{x})\) for the image of \(\rho _0\) and \(\Pi \) for the image of \(\pi _1^{{\acute{\mathrm{e}}}\mathrm{t}}(X,x)\) via \(\rho _0\). The group \(\Pi _0\) is generated by \(\Pi \) and \(\rho _0(\gamma )\), where \(\gamma \) is some element in \(F_{x_0}\). Write \(\Gamma \) for the closure in \({{\,\mathrm{GL}\,}}(\mathcal {V}_{x})\) of the group generated by \(\rho _0(\gamma )\). The subgroup \(\Pi \subseteq {{\,\mathrm{GL}\,}}(\mathcal {V}_{x})\) is profinite because it is a quotient of the profinite group \(\pi _1^{{\acute{\mathrm{e}}}\mathrm{t}}(X,x)\). We want to prove that \(\Gamma \) is profinite as well.
Fix a basis \(\{v_1,\dots , v_r\}\) of \(\mathcal {V}_x\) such that \(\rho _0(\gamma )\) admits a Jordan normal form. Since the eigenvalues of \(\rho _0(\gamma )\) are \(\ell \)adic units, \(\rho _0(\gamma )\) lies in the closed profinite subgroup \({{\,\mathrm{GL}\,}}_{r}(\mathcal {O}_{E_\lambda })\subseteq {{\,\mathrm{GL}\,}}_{r}({E_\lambda })\), where \(\mathcal {O}_{E_\lambda }\) is the ring of integers of \(E_\lambda \). This implies that \(\Gamma \) is a closed subgroup of the profinite group \({{\,\mathrm{GL}\,}}_{r}(\mathcal {O}_{E_\lambda })\), and therefore it is a profinite group, as we wanted. To conclude the proof note that \(\Gamma \) normalizes \(\Pi \), so that \(\Pi \cdot \Gamma \subseteq {{\,\mathrm{GL}\,}}(\mathcal {V}_{x})\) is a profinite subgroup. By construction, \(\Pi _0\) is contained in \(\Pi \cdot \Gamma \). As a result, the \(\ell \)adic representation \(\rho _0\) factors through the profinite completion of \(W(X_0,x)\), which is \(\pi _1^{{\acute{\mathrm{e}}}\mathrm{t}}(X_0,x)\). This concludes the proof. \(\square \)
Monodromy groups
We introduce now the main characters of the article: the fundamental groups and the monodromy groups of coefficient objects. We will present in Proposition 3.2.7 some fundamental exact sequences for these groups. The sequences in Proposition 3.2.7 represent the analogue of the wellknown exact sequence which relates the geometric and the arithmetic étale fundamental group of a variety.
3.2.1. Let \((X_0,x)\) be a smooth connected pointed variety. For every étale admissible field \(E_\lambda \) we consider the fibre functor
attached to x. This functor sends a lisse sheaf \(\mathcal {V}_0\) to its stalk \(\mathcal {V}_{x}\). When \(E_\lambda \) is a padic admissible field, we defined in Sect. 2.3.7 a fibre functor for \(\mathbf {Isoc}^{\dag }(X_0/\mathbb {Q}_{q^s})_{E_\lambda }\) over \(E_\lambda ^{(x_0)}\), denoted by \(\omega _{x,E_\lambda }\). As usual, in order to uniformise the notation, when \(E_\lambda \) is an étale admissible field we write \(E_\lambda ^{(x_0)}\) for \(E_\lambda \). Therefore, for every admissible field \(E_\lambda \), we have a fibre functor \(\omega _{x,E_\lambda }\) of \(\mathbf {Coef}(X^{(x)},E_\lambda )\) over \(E_\lambda ^{(x_0)}\). We will denote with the same symbol the fibre functor induced on \(\mathbf {Coef}(X_0,E_\lambda )\). As the fibre functors commute with the extension of scalars, for every \(\ell \) we also have a fibre functor over \(\overline{\mathbb {Q}}_{\ell }\) for \(\overline{\mathbb {Q}}_{\ell }\)coefficient objects. We denote it by \(\omega _{x,\overline{\mathbb {Q}}_{\ell }}\).
Definition 3.2.2
(Fundamental groups) Let \((X_0,x)\) be a smooth connected pointed variety and \(E_\lambda \) an admissible field. We denote by \(\pi _1^\lambda (X_0,x)\) the Tannakian group over \(E_\lambda ^{(x_0)}\) of \(\mathbf {Coef}(X_0,E_\lambda )\) with respect to \(\omega _{x,E_\lambda }\). We also write \(\pi _1^\lambda (X,x)\) for the Tannakian group of \(\mathbf {Coef}(X^{(x)},E_\lambda )\) with respect to the restriction of \(\omega _{x,E_\lambda }\). The functor
induces a closed immersion \(\pi _1^\lambda (X,x)\hookrightarrow \pi _1^\lambda (X_0,x)\). We denote by \(\pi _1^\lambda (X_0,x)^{{{\,\mathrm{cst}\,}}}\) the quotient of \(\pi _1^\lambda (X_0,x)\) corresponding to the inclusion of \(\mathbf {Coef}_{{{\,\mathrm{cst}\,}}}(X_0,E_\lambda )\) in \(\mathbf {Coef}(X_0,E_\lambda )\).
Remark 3.2.3
Suppose that \(E_\lambda ^{(x_0)}=E_\lambda \), then there exists an isomorphism of functors \(\eta :\omega _{x,E_\lambda } \Rightarrow \omega _{x,E_\lambda }\circ (F^s)^*\). For lisse sheaves, this is induced by the choice of an étale path between x and the \(\mathbb {F}\)point sent to x via \(F^{s}:X\rightarrow X\). In the case of overconvergent Fisocrystals, it is constructed in [2, §2.4.18]. Thanks to the existence of \(\eta \) and Proposition 3.1.7, one can define a Weil group for coefficient objects over the field \(E_\lambda \) (cf. Sect. A.1.4).
Every \(E_\lambda \)coefficient object \(\mathcal {E}_0\) generates three \(E_\lambda \)linear Tannakian categories, the arithmetic one \(\langle \mathcal {E}_0 \rangle \subseteq \mathbf {Coef}(X_0,E_\lambda )\), the geometric one \(\langle \mathcal {E}\rangle \subseteq \mathbf {Coef}(X^{(x)},E_\lambda )\) and the Tannakian category of constant objects \(\langle \mathcal {E}_0 \rangle _{{{\,\mathrm{cst}\,}}}\subseteq \langle \mathcal {E}_0 \rangle \). We will consider these categories endowed with the fibre functors obtained by restricting \(\omega _{x,E_\lambda }\).
Definition 3.2.4
(Monodromy groups) Let \((X_0,x)\) be a smooth connected pointed variety. We denote by \(G(\mathcal {E}_0,x)\) the (arithmetic) monodromy group of \(\mathcal {E}_0\), namely the Tannakian group of \(\langle \mathcal {E}_0 \rangle \). The geometric monodromy group of \(\mathcal {E}_0\) will be instead the Tannakian group of \(\langle \mathcal {E}\rangle \) and it will denoted by \(G(\mathcal {E},x)\). We will also consider the quotient \(G(\mathcal {E}_0,x)\twoheadrightarrow G(\mathcal {E}_0,x)^{{{\,\mathrm{cst}\,}}}\), which corresponds to the inclusion \(\langle \mathcal {E}_0 \rangle _{{{\,\mathrm{cst}\,}}}\subseteq \langle \mathcal {E}_0 \rangle \). These three groups are quotients of the fundamental groups defined in Sect. 3.2.1.
Remark 3.2.5
When \(\mathcal {V}_0\) is a lisse sheaf and \(\rho _0:W(X_0,x)\rightarrow {{\,\mathrm{GL}\,}}(\mathcal {V}_x)\) is the associated \(\ell \)adic representation, then \(G(\mathcal {V}_0,x)\) is the Zariskiclosure of the image of \(\rho _0\) and \(G(\mathcal {V},x)\) is the Zariskiclosure of \(\rho _{0}(\pi _1^{{\acute{\mathrm{e}}}\mathrm{t}}(X,x))\). When \(\mathcal {M}_0\) is an overconvergent Fisocrystal and \(x_0\) is a rational point, \(G(\mathcal {M},x)\) is the same group as the one defined by Crew in [12] and denoted by \({{\,\mathrm{DGal}\,}}(\mathcal {M},x)\). This group is also isomorphic to the group \({{\,\mathrm{DGal}\,}}(\mathcal {M},x)\) which appears in [4].
Remark 3.2.6
Since \(X_0\) is connected, the étale fundamental groups associated to two different \(\mathbb {F}\)points of \(X_0\) are (noncanonically) isomorphic. Hence, in the case of lisse sheaves, the isomorphism class of the monodromy groups does not depend on the choice of x. For overconvergent Fisocrystals, by [16, Theorem 3.2], the monodromy groups associated to two different \(\mathbb {F}\)points become isomorphic after passing to a finite extension of the field of scalars. We do not know any better result in this case. Note that thanks to [14], we also know that if \(\lambda \) is a padic place, the isomorphism class of \(\pi _1^\lambda (X_0,x)\otimes _{E_\lambda ^{(x_0)}} \overline{\mathbb {Q}}_{p}\) is independent of the choice of x.
Let us present now the fundamental exact sequence for coefficient objects over \(X_0\). For overconvergent Fisocrystals the sequence is a generalization of the one proven in [40, Proposition 4.7].
Proposition 3.2.7
Let \((X_0,x)\) be a smooth pointed variety over \(\mathbb {F}_q\), geometrically connected over \(\mathbb {F}_{q^s}\), and let \(\lambda \) be an admissible place of a number field E.

(i)
The natural morphisms previously presented give an exact sequence
$$\begin{aligned} 1 \rightarrow \pi _1^\lambda (X,x) \rightarrow \pi _1^\lambda (X_0,x) \rightarrow \pi _1^\lambda (X_0,x)^{{{\,\mathrm{cst}\,}}} \rightarrow 1. \end{aligned}$$ 
(ii)
For every \(E_\lambda \)coefficient object \(\mathcal {E}_0\) and every \(\mathcal {F}\in \langle \mathcal {E}\rangle \), there exists \(\mathcal {G}_0\in \langle \mathcal {E}_0\rangle \) such that \(\mathcal {F}\subseteq \mathcal {G}\).

(iii)
For every \(E_\lambda \)coefficient object \(\mathcal {E}_0\), the exact sequence of (i) sits into the following commutative diagram with exact rows and surjective vertical arrows

(iv)
The affine group scheme \(\pi _1(\mathbf {C}_0,\omega _0)^{{{\,\mathrm{cst}\,}}}\) is isomorphic to the proalgebraic completion of \(\mathbb {Z}\) over \(\mathbb {K}\) and \(G(\mathcal {E}_0,x)^{{{\,\mathrm{cst}\,}}}\) is a commutative algebraic group.

(v)
The affine group scheme \(\pi _1^\lambda (X_0,x)^{{{\,\mathrm{cst}\,}}}\) is canonically isomorphic to \(\pi _1^\lambda ({{\,\mathrm{Spec}\,}}(\mathbb {F}_{q^s}),x).\) In particular, the profinite group \(\pi _0(\pi _1^\lambda (X_0,x)^{{{\,\mathrm{cst}\,}}})\) is canonically isomorphic to \({{\,\mathrm{Gal}\,}}(\mathbb {F}/\mathbb {F}_{q^s})\).
Proof
By Proposition 3.1.7, the category \(\mathbf {Coef}(X^{(x)}, E_\lambda ^{(x_0)})\) endowed with the endofunctor \((F^s)^*\) is a neutral Tannakian category with Frobenius, in the sense of Definition A.1.1. Thus by Theorem A.2.2 we get all the parts from (i) to (iv).
Passing to (v), write \(q_{X_0}: X_0\rightarrow {{\,\mathrm{Spec}\,}}(\mathbb {F}_{q^s})\) for the morphism induced by the \(\mathbb {F}\)point x. The inverse image functor
admits as a quasiinverse the functor \(q_{X_0*}\) which sends a constant coefficient object \(\mathcal {E}_0\) to the vector space \(H^0(X^{(x)},\mathcal {E})\) endowed with the action of \((F^s)^*\). This implies that \(q_{X_0}^*\) induces an isomorphism
Since \(\mathbf {Coef}({{\,\mathrm{Spec}\,}}(\mathbb {F}_{q^s}),E_\lambda ^{(x_0)})\) is canonically equivalent to \(\mathbf {Rep}_{E_\lambda ^{(x_0)}}(W(\mathbb {F}/\mathbb {F}_{q^s}))\), the profinite group \(\pi _0(\pi _1^\lambda (X_0,x)^{{{\,\mathrm{cst}\,}}})\) is canonically isomorphic to \({{\,\mathrm{Gal}\,}}(\mathbb {F}/\mathbb {F}_{q^s})\). \(\square \)
Comparison with the étale fundamental group
3.3.1. We continue our analysis of the fundamental groups of coefficient objects. Here we focus our attention on the group of connected components. The statements of this section are fairly easy for lisse sheaves and more difficult for overconvergent Fisocrystals. In the latter case, Crew have already studied the problem when \(X_0\) is a smooth curve, [12]. Later in [23], Étesse proved that overconvergent isocrystals (with and without Frobenius structure) over smooth varieties of arbitrary dimension satisfy étale descent.^{Footnote 5} This allows a generalization of Crew’s work.
Drinfeld and Kedlaya presented in [20, Appendix B] how to perform such a generalization for the arithmetic fundamental group of overconvergent Fisocrystals. We will be mainly interested in the extension of their result to the geometric fundamental group.
3.3.2. Let \((X_0,x)\) be a smooth connected pointed variety over \(\mathbb {F}_q\) and \(E_\lambda \) an admissible field for \(X_0\). Following [20, Remark B.2.5], we define
where H varies among the normal open subgroups of \(\pi _1^{{\acute{\mathrm{e}}}\mathrm{t}}(X_0,x)\). This category is naturally endowed with a fully faithful embedding
The essential image is closed under subquotients. Therefore, this functor induces a surjective morphism \(\pi _1^\lambda (X_0,x)\twoheadrightarrow \pi _1^{{\acute{\mathrm{e}}}\mathrm{t}}(X_0,x)\), where \(\pi _1^{{\acute{\mathrm{e}}}\mathrm{t}}(X_0,x)\) denotes here the proconstant profinite group scheme over \(E_\lambda ^{(x_0)}\) associated to the étale fundamental group of \(X_0\). The subcategory
of representations which factor through \({{\,\mathrm{Gal}\,}}(\mathbb {F}/k_{X_0})\) is sent by the previous functor to the category of constant coefficient objects. This implies that the composition of the morphisms
factors through \(\pi _1^\lambda (X_0,x)^{{{\,\mathrm{cst}\,}}}\). By Proposition 3.2.7.(v), the induced morphism \(\pi _1^\lambda (X_0,x)^{{{\,\mathrm{cst}\,}}}\twoheadrightarrow {{\,\mathrm{Gal}\,}}(\mathbb {F}/k_{X_0})\) is surjective with connected Kernel. Finally, the homotopy exact sequence for the étale fundamental group and the fundamental exact sequence of Proposition 3.2.7. (i) fit in a commutative diagram
The central and the right vertical arrows are the morphisms previously constructed. The left one is the unique morphism making the diagram commutative.
Proposition 3.3.3
Let \((X_0,x)\) be a smooth connected pointed variety over \(\mathbb {F}_q\). For every admissible place \(\lambda \) we have a commutative diagram
where the vertical arrows are isomorphisms and the rows are exact. The diagram is functorial in \((X_0,x)\) when it varies among the smooth connected pointed varieties over \(\mathbb {F}_q\).
Proof
The diagram is constructed applying the functor \(\pi _0\) to (3.3.2.1), hence it is functorial. To prove that it has all the desired properties we may extend the field of scalars to \(\overline{\mathbb {Q}}_{\ell }\). We start by showing that the upper row is exact. As the functor \(\pi _0\) is right exact, it is enough to prove the injectivity of the morphism \(\pi _0(\pi _1^\lambda (X,x))\rightarrow \pi _0( \pi _1^\lambda (X_0,x))\). The \(\pi _0\) of the Tannakian group of a Tannakian category is the Tannakian group of the subcategory of finite objects. Thus we have to prove that for every irreducible finite geometric \(\overline{\mathbb {Q}}_{\ell }\)coefficient object \(\mathcal {E}\), there exists a finite object \(\mathcal {F}_0 \in \mathbf {Coef}(X_0,\overline{\mathbb {Q}}_{\ell })\), such that \(\mathcal {E}\) is a subquotient of \(\mathcal {F}\).
By Lemma A.2.1, there exists \(\mathcal {F}'_0\in \mathbf {Coef}(X_0,\overline{\mathbb {Q}}_{\ell })\) such that \(\mathcal {E}\) is a subobject of \(\mathcal {F}'\). As \(\mathcal {E}\) is irreducible, we can even assume \(\mathcal {F}'_0\) to be irreducible. In particular, there exist \(g_1,\dots ,g_n\in G(\mathcal {F}'_0,x)(\overline{\mathbb {Q}}_{\ell })\) such that \(\omega _{x,\overline{\mathbb {Q}}_{\ell }}(\mathcal {F}'_0)=\sum _{i=1}^n g_i (\omega _{x,\overline{\mathbb {Q}}_{\ell }}(\mathcal {E}))\). The algebraic group \(G(\mathcal {F}',x)\) is normal in \(G(\mathcal {F}'_0,x)\) by Proposition 3.2.7, thus the vector spaces \(g_i (\omega _{x,\overline{\mathbb {Q}}_{\ell }}(\mathcal {E}))\) are \(G(\mathcal {F}',x)\)stable for every i. In addition, their monodromy groups as representations of \(G(\mathcal {F}',x)\) are all finite, as they are conjugated to the monodromy group of \(\mathcal {E}\). Therefore \(\mathcal {F}'\), being a sum of finite objects, is a finite object.
Let \(W(\mathcal {F}'_0,x)\) be the Weil group of \(\langle \mathcal {F}'\rangle \), as in Sect. A.1.4. Since \(G(\mathcal {F}',x)\) is finite, there exists \(n\in \mathbb {Z}_{>0}\) such that \((F^n)^*\) acts trivially on it. If \(\rho '\) is the representation of \(G(\mathcal {F}',x)\) associated to \(\mathcal {F}'\), then \((F^n)^*\rho '=\rho '\). Thus \(\rho :=\bigoplus _{i=0}^{n1} (F^i)^*\rho '\) can be endowed with a Frobenius structure
such that, for every \(1\le i\le n1\), the restriction of \(\Phi \) to \(F^*\left( (F^i)^*\rho '\right) \) is the canonical isomorphism \(F^*\left( (F^i)^*\rho '\right) \xrightarrow {\sim }(F^{i+1})^*\rho '\). The pair \((\rho ,\Phi )\) induces a representation of \(W(\mathcal {F}'_0,x)\) with finite image and thus a finite coefficient object \(\mathcal {F}_0\). The original geometric coefficient object \(\mathcal {E}\) is a subobject of \(\mathcal {F}\), therefore \(\mathcal {F}_0\) satisfies the properties that we wanted.
Finally, we prove that the vertical arrows of (3.3.3.1) are isomorphisms. The morphism \(\varphi _0^{{{\,\mathrm{cst}\,}}}\) is an isomorphism by Proposition 3.2.7.(v). By diagram chasing, it remains to prove that \(\varphi _0\) is an isomorphism. For lisse sheaves, this is quite immediate. If a lisse sheaf has finite arithmetic monodromy group, its associate \(\ell \)adic representation factors through a finite quotient of the Weil group of \(X_0\). In the padic case one can prove that \(\varphi _0\) is an isomorphism using [32, Theorem 2.3.7], as it is explained in [20, Proposition B.7.6.(i)]. \(\square \)
Proposition 3.3.4
Let \(\mathcal {E}_0\) be a \(\overline{\mathbb {Q}}_{\ell }\)coefficient object over \((X_0,x)\).

(i)
For every finite étale morphism \(f_0:(Y_0,y)\rightarrow (X_0,x)\) of pointed varieties, the natural morphisms \(G(f_0^*\mathcal {E}_0,y)\rightarrow G(\mathcal {E}_0,x)\) and \(G(f^*\mathcal {E},y)\rightarrow G(\mathcal {E},x)\) are open immersions.

(ii)
There exists a choice of \(f_0:(Y_0,y)\rightarrow (X_0,x)\) such that \(G(f_0^*\mathcal {E}_0,y)\xrightarrow {\sim }G(\mathcal {E}_0,x)^\circ \) and \(G(f^*\mathcal {E},y)\xrightarrow {\sim }G(\mathcal {E},x)^\circ \).
Proof
We note that by Proposition 3.3.3 the group of connected components of the arithmetic monodromy group (resp. geometric monodromy group) are quotients of the arithmetic étale fundamental group (resp. geometric étale fundamental group), thus (i) implies (ii).
When \(\mathcal {E}_0\) is a lisse sheaf, (i) is wellknown. If \(\mathcal {E}_0\) is an overconvergent Fisocrystal, the result on the arithmetic monodromy groups is a consequence of [20, Proposition B.7.6.(ii)]. It remains to prove (i) for the geometric monodromy groups of overconvergent Fisocrystals. It is enough to treat the case when \(Y_0\rightarrow X_0\) is a Galois cover with Galois group H and \(Y_0\) is geometrically connected over \(\mathbb {F}_q\). As \(Y_0\) is geometrically connected over \(\mathbb {F}_q\), the group H acts on \(\langle f^*\mathcal {E}\rangle \) via \(\overline{\mathbb {Q}}_{p}\)linear autoequivalences. Let \(\langle f^*\mathcal {E}\rangle ^H\) be the category of Hequivariant objects in \(\langle f^*\mathcal {E}\rangle \). We choose isomorphisms of fibre functors between \(\omega _{y,\overline{\mathbb {Q}}_{p}}\) and \(\omega _{h(y),\overline{\mathbb {Q}}_{p}}\) for every \(h\in H\). This choice induces an action of H on \(G(f^*\mathcal {E},y).\)
By [23], overconvergent isocrystals with and without Fstructure satisfy étale descent. Therefore, there exist fully faithful embeddings \(\langle \mathcal {E}\rangle \hookrightarrow \langle f^*\mathcal {E}\rangle ^H\) and \(\langle f^*\mathcal {E}\rangle ^H\hookrightarrow \mathbf {Isoc}^{\dag }(X_0/\mathbb {Q}_{q})_{\overline{\mathbb {Q}}_{p}}\). The former embedding induces a morphism at the level of the Tannakian groups \(\varphi :G(f^*\mathcal {E},y)\rtimes H\rightarrow G(\mathcal {E},x)\). By definition, the subcategory \(\langle \mathcal {E}\rangle \subseteq \mathbf {Isoc}^{\dag }(X_0/\mathbb {Q}_{q})_{\overline{\mathbb {Q}}_{p}}\) is closed under the operation of taking subquotients. Thus, the same is true for \(\langle \mathcal {E}\rangle \subseteq \langle f^*\mathcal {E}\rangle ^H\). This proves that \(\varphi \) is surjective, which in turn implies that \(G(f^*\mathcal {E},y)\) is an open subgroup of \(G(\mathcal {E},x)\). \(\square \)
Rank 1 coefficient objects
This section is an interlude on rank 1 coefficient objects. One of the starting points of Weil II is a finiteness result for rank 1 lisse sheaves, consequence of class field theory. Thanks to a reduction to unramified padic representations of the étale fundamental group, the same statement is now known for overconvergent Fisocrystals of rank 1.
Theorem 3.4.1
([13, Proposition 1.3.4], [1, Lemma 6.1]) Let \(X_0\) be a smooth variety over \(\mathbb {F}_q\). Every \(E_\lambda \)coefficient object of rank 1 is a twist of a finite \(E_\lambda \)coefficient object.
Corollary 3.4.2
For every \(\overline{\mathbb {Q}}_{\ell }\)coefficient object \(\mathcal {E}_0\) over \(X_0\), there exist a positive integer n and elements \(a_1,\dots ,a_n\in \overline{\mathbb {Q}}_{\ell }^{\times }\) such that
where for each i the coefficient object \(\mathcal {F}_{i,0}\) is irreducible with finite order determinant. The elements \(a_1,\dots ,a_n\) are uniquely determined up to permutation and multiplication by a root of unity. If \(\mathcal {E}_0\) is Erational, the elements \(a_1,\dots ,a_n\) can be chosen so that \(a_i^{r_i}\in E\) for every i, where \(r_i\) is the rank of \(\mathcal {F}_{i,0}\).
Corollary 3.4.2 is important as it allows to reduce many statements on coefficient objects to the case of absolutely irreducible coefficient objects with finite order determinant. It is convenient to introduce the following definitions.
Definition 3.4.3
(Twist classes) For a prime \(\ell \), we denote by \(\Theta _\ell \) the torsionfree abelian group \(\overline{\mathbb {Q}}_{\ell }^{\times }/\mu _{\infty }(\overline{\mathbb {Q}}_{\ell })\). We say that an element in \(\Theta _\ell \) is an (\(\ell \)adic) twist class. We say the class of 1 in \(\Theta _\ell \) is the trivial twist class. Let \(\mathcal {E}_0\) be a \(\overline{\mathbb {Q}}_{\ell }\)coefficient object and let \(a_1,\dots ,a_n\in \overline{\mathbb {Q}}_{\ell }^{\times }\) be elements as in Corollary 3.4.2. We say that the classes \([a_1],\dots ,[a_n]\) in \(\Theta _\ell \) are the twist classes of\(\mathcal {E}_0\) and we denote by \(\Theta (\mathcal {E}_0)\) the subset \(\{[a_1],\dots ,[a_n]\}\subseteq \Theta _\ell \). We write \(\mathbb {X}(\mathcal {E}_0)\) for the group generated by \(\Theta (\mathcal {E}_0)\) in \(\Theta _\ell \) and by \(\mathbb {X}(\mathcal {E}_0)_\mathbb {Q}\) the \(\mathbb {Q}\)linear subspace \(\mathbb {X}(\mathcal {E}_0)\otimes _\mathbb {Z}\mathbb {Q}\subseteq \Theta _\ell \otimes _\mathbb {Z}\mathbb {Q}\). If the only twist class of \(\mathcal {E}_0\) is the trivial one, we say that \(\mathcal {E}_0\) is untwisted.
An important application of Theorem 3.4.1 is the global monodromy theorem. In this case, the extension to overconvergent Fisocrystals is due to Crew.
Theorem 3.4.4
(Grothendieck, Crew) For every coefficient object \(\mathcal {E}_0\), the radical^{Footnote 6} of \(G(\mathcal {E},x)\) is unipotent.
Proof
In the case of lisse sheaves, this is a theorem of Grothendieck, and it is proven in [13, Théorème 1.3.8]. In the padic case, Crew has proven the result when \(X_0\) is a smooth curve [12, Theorem 4.9]. One obtains the result in higher dimensions replacing [ibid., Proposition 4.6] with Proposition 3.3.4 and [ibid., Corollary 1.5] with Theorem 3.4.1.
\(\square \)
Corollary 3.4.5
Let \(\mathcal {E}_0\) be a geometrically semisimple coefficient object. The neutral component \(G(\mathcal {E},x)^\circ \) is a semisimple algebraic group which coincides with the derived subgroup of \(G(\mathcal {E}_0,x)^\circ \).
Proof
Thanks to Theorem 3.4.4, \(G(\mathcal {E},x)^\circ \) is a semisimple algebraic group, therefore
On the other hand, by Proposition 3.2.7.(iv), the quotient \(G(\mathcal {E}_0,x)^\circ /G(\mathcal {E},x)^\circ \) is commutative, which implies that
This concludes the proof. \(\square \)
One can even enhance Theorem 3.4.4 thanks to the following lemma.
Lemma 3.4.6
For every coefficient object \(\mathcal {E}_0\) and every connected finite étale cover \(f_0:(Y_0,y)\rightarrow (X_0,x)\), we have \(\Theta (\mathcal {E}_0)=\Theta (f_0^*\mathcal {E}_0)\).
Proof
After taking semisimplification and twists, we may assume that \(\mathcal {E}_0\) is absolutely irreducible with finite order determinant. In this case, the result is proven in [19, Proposition 3.6.1] for lisse sheaves. The proof is the same for overconvergent Fisocrystals, as they satisfy étale descent by [23]. \(\square \)
Theorem 3.4.7
Let \(\mathcal {E}_0\) be a \(\overline{\mathbb {Q}}_{\ell }\)coefficient object. The following properties are equivalent.

(i)
The neutral component of \(G(\mathcal {E}_0,x)/G(\mathcal {E},x)\) is unipotent.

(ii)
The radical of \(G(\mathcal {E}_0,x)\) is unipotent.

(iii)
The coefficient object \(\mathcal {E}_0\) is untwisted.
In particular, untwisted coefficient objects form a Tannakian subcategory of \(\mathbf {Coef}(X_0,\overline{\mathbb {Q}}_{\ell })\).
Proof
The implication (i) \(\Rightarrow \) (ii) follows from Theorem 3.4.4 and the other direction follows from the fact that \(G(\mathcal {E}_0,x)/G(\mathcal {E},x)\) is a commutative quotient of \(G(\mathcal {E}_0,x)\). Let us show now that (ii) and (iii) are equivalent as well. If \(\mathcal {E}_0\) is a coefficient object satisfying (ii), all the rank 1 coefficient objects in \(\langle \mathcal {E}_0\rangle \) have finite order under tensor. In particular, if \(\mathcal {F}_0\) is an irreducible subquotient of \(\mathcal {E}_0\), its determinant has finite order under tensor. This implies that \(\mathcal {E}_0\) is untwisted. Conversely, let us assume that \(\mathcal {E}_0\) is untwisted. Thanks to Proposition 3.3.4, there exists a connected finite étale cover \(f_0:(Y_0,y)\rightarrow (X_0,x)\) such that \(G(f_0^*\mathcal {E}_0,y)=G(\mathcal {E}_0,x)^\circ \). By Lemma 3.4.6, the inverse image \(f_0^*\mathcal {E}_0\) remains untwisted. This shows that we may assume that \(G(\mathcal {E}_0,x)\) is connected. Note that it is also harmless to assume that \(\mathcal {E}_0\) is semisimple by passing to the semisimplifications. We are reduced to showing that the centre Z of \(G(\mathcal {E}_0,x)\) is finite. To prove this we may further assume that \(\mathcal {E}_0\) is irreducible. Indeed, if \(\mathcal {E}_0=\mathcal {F}_0\oplus \mathcal {G}_0\) and \(Z_1\) and \(Z_2\) are the centres of \(G(\mathcal {F}_0,x)\) and \(G(\mathcal {G}_0,x)\) respectively, then \(Z\subseteq Z_1\times Z_2\). Therefore, if \(Z_1\) and \(Z_2\) are finite the same holds for Z.
If we assume that \(\mathcal {E}_0\) is irreducible, the representation of Z on \(\omega _{x,\overline{\mathbb {Q}}_{\ell }}(\mathcal {E}_0)\) decomposes into a direct sum \(\chi ^{\oplus r}\) where r is the rank of \(\mathcal {E}_0\) and \(\chi \) is a character of Z. By construction, this representation is faithful, therefore \(\chi \) generates the group of characters of Z. On the other hand, we know that \(\chi \) is finite because \(\mathcal {E}_0\) is untwisted. This shows that Z is a finite group scheme, as we wanted. \(\square \)
Corollary 3.4.8
Let \(\mathcal {E}_0\) be a \(\overline{\mathbb {Q}}_{\ell }\)coefficient object.

(i)
For every \(\mathcal {F}_0\in \langle \mathcal {E}_0\rangle \), we have \(\Theta (\mathcal {F}_0)\subseteq \mathbb {X}(\mathcal {E}_0)\).

(ii)
The map \(X^*(G(\mathcal {E}_0,x))\rightarrow \mathbb {X}(\mathcal {E}_0)\) which associates to a rank 1 coefficient object its twist class has finite kernel and cokernel.
Proof
It is enough to prove (i) for \(\mathcal {F}_0=\mathcal {E}_0^{\otimes m}\otimes (\mathcal {E}_0^{\vee })^{\otimes n}\) with \(m,n\in \mathbb {N}\). In addition, we may assume that \(\mathcal {E}_0\) admits a unique twist class, hence it can be written as \(\mathcal {F}_0^{(a)}\) with \(\mathcal {F}_0\) untwisted. By Theorem 3.4.7, the coefficient object \(\mathcal {F}_0^{\otimes m}\otimes (\mathcal {F}_0^{\vee })^{\otimes n}\) is untwisted. Therefore, \([a^{mn}]\in \mathbb {X}(\mathcal {E}_0)\) is the unique twist class of \(\mathcal {E}_0^{\otimes m}\otimes (\mathcal {E}_0^{\vee })^{\otimes n}\). This proves part (i). For part (ii) we first note that the kernel is finite because untwisted rank 1 coefficient objects have finite order under tensor. To prove that the cokernel is finite as well it is enough to prove that for every twist class [a] of \(\mathcal {E}_0\), there exists a rank 1 coefficient object \(\mathcal {L}_0\in \langle \mathcal {E}_0\rangle \) with twist class \([a^n]\) for some \(n\ge 1\). Since, by definition, there exists an irreducible object \(\mathcal {F}_0\in \langle \mathcal {E}_0\rangle \) with twist class [a], we can pick \(\mathcal {L}_0:=\det (\mathcal {F}_0)\). \(\square \)
Weights
In Weil II Deligne introduced the theory of weights for lisse sheaves. The same theory is now available for overconvergent Fisocrystals, thanks to the work of Kedlaya in [31]. Here the main theorem.
Theorem 3.5.1
(Deligne, Kedlaya) Let \(X_0\) be a smooth geometrically connected variety over \(\mathbb {F}_q\) and \(\mathcal {E}_0\) a \(\iota \)mixed coefficient object over \(X_0\) of \(\iota \)weights \(\le w\). If \(\alpha \) is an eigenvalue of F acting on \(H^n_c(X,\mathcal {E})\), then \(\iota (\alpha )\le q^{(w+n)/2}\).
Proof
For lisse sheaves this is [13, Corollaire 3.3.5]. For overconvergent Fisocrystals it is proven by Kedlaya in [31, Theorem 6.6.2]. \(\square \)
Corollary 3.5.2
Let \(X_0\) be a smooth variety. The following statements are true.

(i)
For every \(\iota \)mixed coefficient object there exists an increasing filtration
$$\begin{aligned}0=W_{1}(\mathcal {E}_0)\subsetneq W_0(\mathcal {E}_0)\subsetneq \cdots \subsetneq W_n(\mathcal {E}_0)=\mathcal {E}_0\end{aligned}$$where for every \(0\le i\le n\), the quotient \(W_i(\mathcal {E}_0)/W_{i1}(\mathcal {E}_0)\) is \(\iota \)pure of weight \(w_i\) and \(w_0<w_1<\dots <w_n\).

(ii)
Every \(\iota \)pure coefficient object is geometrically semisimple. Conversely, every \(\iota \)mixed geometrically semisimple coefficient object is a direct sum of \(\iota \)pure coefficient objects.
Proof
This follows from Theorem 3.5.1 as proved in [13, Théorème 3.4.1]. \(\square \)
For every \(\overline{\mathbb {Q}}_{\ell }\)coefficient object \(\mathcal {E}_0\) on \(X_0\), we can put together all the characteristic polynomials at closed points and form a formal series
This is called the Lfunction of \(\mathcal {E}_0\).
Theorem 3.5.3
(Trace formula) If \(X_0\) is geometrically connected over \(\mathbb {F}_q\), for every coefficient object \(\mathcal {E}_0\) we have
Proof
For lisse sheaves, this is the classical Grothendieck’s formula, in the padic case see [24, Théorème 6.3]. \(\square \)
Thanks to the theory of weights, this formula can be used to compare the global sections of compatible coefficient objects. The theory of weights is needed to control the possible cancellations between the factors of the numerator and the denominator.
Proposition 3.5.4
([35, Cor. VI.3], [2, Prop. 4.3.3]) Let \(X_0\) be a smooth geometrically connected variety over \(\mathbb {F}_q\) of dimension d. For every \(\iota \)pure coefficient object \(\mathcal {E}_0\) of \(\iota \)weight w, the dimension of \(H^0(X,\mathcal {E})\) is equal to the number of poles of \(\iota (L(X_0,\mathcal {E}^{\vee }_0(d)))\), counted with multiplicity, with absolute value \(q^{w/2}\). If we also assume \(\mathcal {E}_0\) to be semisimple, the dimension of \(H^0(X_0,\mathcal {E}_0)\) is equal to the order of the pole of \(L(X_0,\mathcal {E}^{\vee }_0(d))\) at 1.
Corollary 3.5.5
Let \(X_0\) be a smooth geometrically connected pointed variety over \(\mathbb {F}_q\). Let \(\mathcal {E}_0\) and \(\mathcal {F}_0\) be Ecompatible coefficient objects and suppose that \(\overline{\mathbb {Q}}_{\ell }\)coefficient object \(\mathcal {E}_0\) is \(\iota \)mixed. The following statements are true.

(i)
If \(\mathcal {E}_0\) and \(\mathcal {F}_0\) are geometrically semisimple, then \(\dim (H^0(X,\mathcal {E}))=\dim (H^0(X,\mathcal {F}))\).

(ii)
If \(\mathcal {E}\) is absolutely irreducible the same is true for \(\mathcal {F}\).

(iii)
If \(\mathcal {E}_0\) and \(\mathcal {F}_0\) are semisimple, then \(\dim (H^0(X_0,\mathcal {E}_0))=\dim (H^0(X_0,\mathcal {F}_0))\).

(iv)
If \(\mathcal {E}_0\) is absolutely irreducible the same is true for \(\mathcal {F}_0\).
Proof
Let \(\overline{\mathbb {Q}}_{\ell '}\) be the algebraic closure of the field of scalars of \(\mathcal {F}_0\) and let \(\iota ':\overline{\mathbb {Q}}_{\ell '}\xrightarrow {\sim }\mathbb {C}\) be an isomorphism which agrees with \(\iota \) when restricted to E. The \(\overline{\mathbb {Q}}_{\ell '}\)coefficient object \(\mathcal {F}_0\) is \(\iota '\)mixed and its \(\iota '\)weights are equal to the \(\iota \)weights of \(\mathcal {E}_0\). In addition, if \(W_*(\mathcal {E}_0)\) and \(W_*(\mathcal {F}_0)\) are the weight filtrations of Corollary 3.5.2.(i), for each i the quotients \(W_i(\mathcal {E}_0)/W_{i1}(\mathcal {E}_0)\) and \(W_i(\mathcal {F}_0)/W_{i1}(\mathcal {F}_0)\) are Ecompatible. In order to prove part (i), it is enough to show that statement for these subquotients. But for them, (i) follows from Proposition 3.5.4. In addition, applying part (i) to \({{\,\mathrm{End}\,}}(\mathcal {E}_0)\) and \({{\,\mathrm{End}\,}}(\mathcal {F}_0)\), we also get part (ii). For part (iii) and (iv) one argues similarly. \(\square \)
Thanks to the theory of weights one can even prove the following result.
Proposition 3.5.6
[2, A.3] Two \(\iota \)mixed \(\overline{\mathbb {Q}}_{\ell }\)coefficient objects with the same characteristic polynomials at closed points have isomorphic semisimplifications.
Remark 3.5.7
We will see later that every coefficient object is actually \(\iota \)mixed (Corollary 3.6.6). Therefore, Corollary 3.5.5 and Proposition 3.5.6 can be applied to every coefficient object. Note that for lisse sheaves Proposition 3.5.6 is classically obtained, without the theory of weights, as a consequence of Chebotarev’s density theorem, [41, Theorem 7].
Deligne’s conjecture
We are ready now to present the state of art of [13, Conjecture 1.2.10].^{Footnote 7} See also [4] and [34] for other overviews. The extension of the statement to overconvergent Fisocrystals was firstly proposed by Crew in [12, Conjecture 4.13]. This corresponds to the choice of the category of overconvergent Fisocrystals as a possible candidate for Deligne’s “petits camarades cristallins”.
Conjecture 3.6.1
Let \(X_0\) be a smooth variety over \(\mathbb {F}_q\), let \(\ell \) be a prime number and let \(\mathcal {E}_0\) be an irreducible \(\overline{\mathbb {Q}}_{\ell }\)coefficient object whose determinant has finite order. The following statements hold.

(i)
\(\mathcal {E}_0\) is pure of weight 0.

(ii)
There exists a number field \(E \subseteq \overline{\mathbb {Q}}_{\ell }\) such that \(\mathcal {E}_0\) is Erational.

(iii)
\(\mathcal {E}_0\) is pplain.

(iv’)
If E is a number field as in (ii), then for every prime \(\ell '\) (even \(\ell '=\ell \) or \(\ell '=p\)) and for every inclusion \(\tau : E \hookrightarrow \overline{\mathbb {Q}}_{\ell '}\), there exists an absolutely irreducible \(\overline{\mathbb {Q}}_{\ell '}\)coefficient object, Erational with respect to \(\tau \), which is Ecompatible with \(\mathcal {E}_0\).
Conjecture 3.6.1.(iv’) is commonly known as the companions conjecture, since compatible coefficient objects are often called companions. Deligne originally proposed a stronger variant of (iv’) which we shall discuss later in Sect. 3.7. When \(X_0\) is a smooth curve, Conjecture 3.6.1 is proven using the Langlands program. More precisely, it follows from the Langlands reciprocity conjecture for \({{\,\mathrm{GL}\,}}_r\) over function fields and the Ramanujan–Petersson conjecture, both proven by L. Lafforgue, and from the padic analogue of the Langlands reciprocity conjecture for overconvergent Fisocrystals, obtained by Abe.
Theorem 3.6.2
([35, Théorème VII.6], [2, §4.4]) If \(X_0\) is a smooth curve, Conjecture 3.6.1 is true.
The extension of the results to higher dimensional varieties is performed via a reduction to curves. One of the key ingredients is a “Lefschetz theorem” for coefficient objects.
Theorem 3.6.3
(Katz, Abe–Esnault) Let \(X_0\) be a smooth geometrically connected variety over \(\mathbb {F}_q\). For every lisse sheaf \(\mathcal {E}_0\) over \(X_0\) and every reduced finite closed subscheme \(S_0\subseteq X_0\), there exists a smooth geometrically connected curve \(C_0\) and a morphism \(f_0:C_0\rightarrow X_0\) with a section \(S_0\rightarrow C_0\), such that the inverse image functor \(\langle \mathcal {E}_0 \rangle \rightarrow \langle f_0^*\mathcal {E}_0 \rangle \) is an equivalence of categories. The same is true when \(\mathcal {E}_0\) is a \(\iota \)pure overconvergent Fisocrystal.
Proof
For lisse sheaves see [26, Lemma 6 and Theorem 8] as well as [27]. In the padic case see the (proof of) [4, Theorem 3.10]. \(\square \)
Thanks to Theorem 3.6.3 and the work of Deligne in [15], the first three parts of the conjecture follow from the case of curves.
Theorem 3.6.4
(L. Lafforgue, Abe, Deligne, Abe–Esnault, Kedlaya) Parts (i), (ii) and (iii) of Conjecture 3.6.1 are true for every smooth variety over \(\mathbb {F}_q\).
Proof
For lisse sheaves, parts (i) and (iii) follow directly from Theorem 3.6.2, thanks to Theorem 3.6.3. Switching to overconvergent Fisocrystals, Conjecture 3.6.1.(i) is proven in [4, Theorem 2.7] and independently in [34, Theorem 3.1.9.(i)]. Part (iii) then follows from Theorem 3.6.2 thanks to part (i) and Theorem 3.6.3. Part (ii) is proven in [15, Theorem 3.1] for lisse sheaves and in [4, Lemma 4.1] and [34, Theorem 3.4.2] for overconvergent Fisocrystals. \(\square \)
The generalization of part (iv’) to higher dimensional varieties is yet incomplete. For the moment we know how to construct from a coefficient object of both types compatible lisse sheaves. In dimension greater than 1, we do not know how to construct, in general, compatible overconvergent Fisocrystals.
Theorem 3.6.5
(L. Lafforgue, Abe, Drinfeld, Abe–Esnault, Kedlaya) Let \(X_0\) be a smooth variety over \(\mathbb {F}_q\) and E a number field. Let \(\mathcal {E}_0\) be an absolutely irreducible Erational coefficient object with finite order determinant over \(X_0\). For every prime \(\ell \) different from p and every embedding \(\tau : E \hookrightarrow \overline{\mathbb {Q}}_{\ell }\), there exists a \(\overline{\mathbb {Q}}_{\ell }\)coefficient object which is Erational with respect to \(\tau \) and Ecompatible with \(\mathcal {E}_0\).
Proof
Drinfeld proved the result when \(\mathcal {E}_0\) is a lisse sheaf, [18]. The proof uses L. Lafforgue’s result and a certain gluing theorem for lisse sheaves [ibid., Theorem 2.5]. The gluing theorem is inspired by the seminal work of Wiesend in [45]. When \(\mathcal {E}_0\) is an overconvergent Fisocrystal the result was proven in [4] and later in [34]. They both use Drinfeld’s gluing theorem for lisse sheaves. In [4], the authors prove and use Theorem 3.6.3 for overconvergent Fisocrystals. Instead in [34], it is proven a weaker form of Theorem 3.6.3, namely [ibid., Lemma 3.2.1], which is enough to conclude. \(\square \)
The known parts of Deligne’s conjecture have many important consequences. For example, by Corollary 3.4.2, we have the following result.
Corollary 3.6.6
Every coefficient object over \(X_0\) is \(\iota \)mixed.
We have already seen in Sect. 3.5 how, using the theory of weights, one can recover some useful information from the Lfunction of a coefficient object. We wanted to mention here an interesting application, even if we will not use it in the article.
Corollary 3.6.7
A \(\overline{\mathbb {Q}}_{\ell }\)coefficient object over \(X_0\) is geometrically semisimple if and only if it is a direct sum of \(\iota \)pure \(\overline{\mathbb {Q}}_{\ell }\)coefficient objects. In particular, for every morphism \(f_0:Y_0\rightarrow X_0\) of smooth varieties, if \(\mathcal {E}_0\) is a geometrically semisimple coefficient object over \(X_0\), then \(f_0^*\mathcal {E}_0\) is a geometrically semisimple coefficient object over \(Y_0\).
Proof
Combining Corollary 3.5.2.(ii) and Corollary 3.6.6 we get the first part of the statement. For the second part note that the property of a coefficient object of being a direct sum of \(\iota \)pure coefficient objects is manifestly preserved by the inverse image functor \(f_0^*\). \(\square \)
Remark 3.6.8
Note that in [39], Mochizuki proves an analogue characterization for semisimple local systems over smooth quasiprojective varieties over \(\mathbb {C}\). Even in that case, one gets as an outcome that the inverse image of a semisimple local system is semisimple, [ibid., Theorem 7.1].
Compatible systems
We have seen in Theorem 3.6.5, that from a coefficient object which satisfies certain properties, we can construct many compatible coefficient objects with different fields of scalars. Deligne, in [13, Conjecture 1.2.10], predicted that these fields should be the completions at different finite places of a given number field. It is possible to upgrade Theorem 3.6.5 to this stronger form thanks to the work of Chin in [8]. To state the result, we use Serre’s notion of compatible systems, which we extend to arbitrary coefficient objects as in [40]. Since it is not known at the moment whether the padic companions always exist, we do not ask that compatible systems have to include padic coefficient objects for every padic place. On the other hand, we do ask that they include lisse sheaves for every finite place which do not divide p.
Definition 3.7.1
(Compatible systems) Let E be a number field. An Ecompatible system over \(X_0\), denoted by \(\underline{\mathcal {E}_0}\), is the datum of:

a set \(\Sigma \) of finite places of E which contains \(E_{\ne p}\),

a family \(\{\mathcal {E}_{\lambda , 0}\}_{\lambda \in \Sigma }\) of pairwise Ecompatible \(E_{\lambda }\)coefficient objects, one for each \(\lambda \in \Sigma \).
For every \(\lambda \in \Sigma \), we say that \(\mathcal {E}_{\lambda , 0}\) is the \(\lambda \)component of the compatible system. If \(E\subseteq E'\) is a finite extension and \(\underline{\mathcal {E}_0}\) is an Ecompatible system, the compatible system obtained from \(\underline{\mathcal {E}_0}\) by extending the scalars to\(E'\) is the \(E'\)compatible system \(\{\mathcal {E}'_{\lambda ',0}\}_{\lambda '\in \Sigma '}\), where \(\Sigma '\) is the set of all the places of \(E'\) over the places in \(\Sigma \) and \(\mathcal {E}'_{\lambda ',0}:=\mathcal {E}_{\lambda , 0}\otimes _{E_\lambda } E'_{\lambda '}\) where \(\lambda \) denotes the place of \(\Sigma \) under \(\lambda '\). We say that a compatible system is trivial, geometrically trivial, pure, irreducible, absolutely irreducible or semisimple if each \(\lambda \)component has the respective property.
Theorem 3.7.2
(After Chin) Let \(X_0\) be a smooth variety over \(\mathbb {F}_q\) and let \(\mathcal {E}_0\) be an algebraic \(\overline{\mathbb {Q}}_{\ell }\)coefficient object over \(X_0\). There exists a number field E, a finite place \(\nu \in E\) and an Ecompatible system \(\underline{\mathcal {E}_0}\) such that \(\mathcal {E}_0\) is a \(\nu \)component of \(\underline{\mathcal {E}_0}\). When \(X_0\) is a curve, we can further find such an Ecompatible system \(\underline{\mathcal {E}_0}\) with \(\Sigma =E\).
Proof
It is enough to prove the statement when \(\mathcal {E}_0\) is irreducible. Thanks to Corollary 3.4.2, \(\mathcal {E}_0\) is isomorphic to \(\mathcal {F}_0^{(a)}\) with a an algebraic number and \(\mathcal {F}_0\) irreducible with finite order determinant. By Theorem 3.6.4, the coefficient object \(\mathcal {F}_0\) is Erational for some number field E. After extending E, we may assume that \(a\in E\). If \(\ell \ne p\), thanks to Theorem 3.6.5 and [8, Main Theorem, page 3], after possibly enlarging E again, the lisse sheaf \(\mathcal {F}_0\) sits in an Ecompatible system. By twisting all the components by a, the same holds true for \(\mathcal {E}_0\). If \(\ell =p\), thanks to Theorem 3.6.5, the coefficient object \(\mathcal {E}_0\) admits an Ecompatible lisse sheaf \(\mathcal {V}_0\). The result then follows from the previous case.
When \(X_0\) is a curve, we obtain the stronger result thanks to the existence of padic companions provided by Theorem 3.6.2. After possibly replacing E with a finite extension, we may add to the compatible system previously constructed \(\lambda \)components for every place \(\lambda \) which divides p. Here we do not need a new finiteness result for overconvergent Fisocrystals, namely a padic analogue of Chin’s theorem, because the set of places we are adding is finite. \(\square \)
Remark 3.7.3
Even if a coefficient object \(\mathcal {E}_0\) is Erational for some number field E, it could be still necessary to enlarge E to obtain the Ecompatible system \(\underline{\mathcal {E}_0}\). For example, let \(Q_8\) be the quaternion group and let \(X_0\) be a smooth connected variety which admits a Galois cover with Galois group \(Q_8\). Let \(\mathbb {H}\) be the natural fourdimensional \(\mathbb {Q}\)linear representation of \(Q_8\) on the algebra of Hamilton’s quaternions.
The representation \(\mathbb {H}\otimes _\mathbb {Q}\mathbb {Q}_{\ell }\) is irreducible over \(\mathbb {Q}_{\ell }\) if and only if \(\ell =2\). If we take \(\ell \ne 2\), then \(\mathbb {H}\otimes _\mathbb {Q}\mathbb {Q}_{\ell }\) decomposes as a direct sum of two copies of an absolutely irreducible two dimensional \(\mathbb {Q}_{\ell }\)representation \(V_\ell \) with traces in \(\mathbb {Q}\). The representation \(V_\ell \) corresponds to an absolutely irreducible \(\mathbb {Q}\)rational \(\mathbb {Q}_{\ell }\)coefficient object which does not admit any \(\mathbb {Q}\)compatible \(\mathbb {Q}_2\)coefficient object. Indeed, suppose that there exists a semisimple \(\mathbb {Q}_2\)coefficient object \(V_2\), that is \(\mathbb {Q}\)compatible with \(V_\ell \). Then \(V_2^{\oplus 2}\) would be \(\mathbb {Q}\)compatible with \(\mathbb {H}\otimes _\mathbb {Q}\mathbb {Q}_2\). By Proposition 3.5.6, the coefficient object \(V_2^{\oplus 2}\) would be isomorphic to \(\mathbb {H}\otimes _\mathbb {Q}\mathbb {Q}_2\). However, this is impossible because \(\mathbb {H}\otimes _\mathbb {Q}\mathbb {Q}_2\) is irreducible.
Independence of monodromy groups
Notation 4.0.1
Throughout Sect. 4, let \((X_0,x)\) be a smooth geometrically connected pointed variety over \(\mathbb {F}_q\).
The group of connected components
In [43] and [37] Serre and Larsen–Pink proved some results of \(\ell \)independence for the groups of connected components of the monodromy groups of lisse sheaves. In this section, we shall extend their results to algebraic coefficient objects. We will adapt Larsen–Pink’s proof. The main issue for padic coefficient objects is to relate the monodromy groups with the étale fundamental group of \(X_0\). We have already treated this problem in Sect. 3.3. By Proposition 3.3.3, for every coefficient object \(\mathcal {E}_0\) we have functorial surjective morphisms \(\psi _{\mathcal {E}_0}:\pi ^{{\acute{\mathrm{e}}}\mathrm{t}}_1(X_0,x)\rightarrow \pi _0(G(\mathcal {E}_0,x))\) and \(\psi _{\mathcal {E}}:\pi ^{{\acute{\mathrm{e}}}\mathrm{t}}_1(X,x)\rightarrow \pi _0(G(\mathcal {E},x))\) of profinite groups.
Theorem 4.1.1
Let \(\mathcal {E}_0\) and \(\mathcal {F}_0\) be two compatible \(E_\lambda \)coefficient objects over \(X_0\).

(i)
There exists an isomorphism \(\varphi _0:\pi _0(G(\mathcal {E}_0,x))\xrightarrow {\sim }\pi _0(G(\mathcal {F}_0,x))\) as abstract finite groups such that \(\psi _{\mathcal {F}_{0}} = \varphi _0\circ \psi _{\mathcal {E}_{0}}\).

(ii)
The isomorphism \(\varphi _0\) restricts to an isomorphism \(\varphi :\pi _0(G(\mathcal {E},x))\xrightarrow {\sim }\pi _0(G(\mathcal {F},x))\).
Following [37, Proposition 2.2], we need two lemmas to prove Theorem 4.1.1.
Construction 4.1.2
Let \(\mathcal {E}_0\) be a \(E_\lambda \)coefficient object of rank r. We fix a basis of \(\omega _{x,E_\lambda }(\mathcal {E}_0)\) and we write \(\rho _{\mathcal {E}_0}: G(\mathcal {E}_0,x)\rightarrow {{\,\mathrm{GL}\,}}_{r,E_\lambda }\) for the representation associated to \(\mathcal {E}_0\). For every finitedimensional \(\mathbb {Q}\)linear representation \(\theta :{{\,\mathrm{GL}\,}}_{r,\mathbb {Q}}\rightarrow {{\,\mathrm{GL}\,}}(V)\) we denote by \(\mathcal {E}_0(\theta )\) the coefficient object associated to \((\theta \otimes _\mathbb {Q}E_\lambda )\circ \rho _{\mathcal {E}_0}\). Even if \(\mathcal {E}_0(\theta )\) depends on the choice of a basis, its isomorphism class is uniquely determined.
Lemma 4.1.3
Let \(\mathcal {E}_0\) and \(\mathcal {F}_0\) be compatible semisimple objects. For every representation \(\theta \) of \({{\,\mathrm{GL}\,}}_{r,\mathbb {Q}}\), we have
Proof
The coefficient objects \(\mathcal {E}_0(\theta )\) and \(\mathcal {F}_0(\theta )\) are again compatible and semisimple. Moreover, by Theorem 3.6.4, for every representation \(\theta \) the coefficient object \(\mathcal {E}_0(\theta )\) is \(\iota \)mixed. Therefore, for every \(\theta \), we may apply Corollary 3.5.5 to \(\mathcal {E}_0(\theta )\) and \(\mathcal {F}_0(\theta )\). \(\square \)
Remark 4.1.4
Using the terminology of [36], Lemma 4.1.3 proves that \(G(\mathcal {E},x)\) and \(G(\mathcal {F},x)\) (resp. \(G(\mathcal {E}_0,x)\) and \(G(\mathcal {F}_0,x)\)) have the same dimension data.
Lemma 4.1.5
[37, Lemma 2.3] Let \(\mathbb {K}\) be a field and G a reductive algebraic subgroup of \({{\,\mathrm{GL}\,}}_{r,\mathbb {K}}\). If for every finitedimensional representation V of \({{\,\mathrm{GL}\,}}_{r,\mathbb {K}}\) the dimension of \(V^{G^{\circ }}\) is equal to the dimension of \(V^{G}\), then the group G is connected.
4.1.6. Proof of Theorem 4.1.1 We explain the proof for the arithmetic monodromy groups. For the geometric ones the proof is the same mutatis mutandis.
We notice that taking semisimplification we do not change the group of connected components of the arithmetic monodromy group. Thus we reduce to the case when \(\mathcal {F}_0\) and \(\mathcal {G}_0\) are semisimple. We firstly prove a weaker statement.

(i’)
\(G(\mathcal {E}_0,x)\) is connected if and only if \(G(\mathcal {F}_0,x)\) is connected.
For every finite étale connected cover \(f_{0}: Y_{0} \rightarrow X_{0}\), we denote by \(a_{Y_{0}}\) and \(b_{Y_{0}}\) the functions from the set of isomorphism classes of representations of \({{\,\mathrm{GL}\,}}_{r,\mathbb {Q}}\) to the natural numbers, defined by
By Lemma 4.1.3, for every finite étale connected cover \(Y_{0}\rightarrow X_0\), we have \(a_{Y_{0}}=b_{Y_{0}}\). Suppose that \(G(\mathcal {E}_0,x)\) connected. By Proposition 3.3.4, for every étale connected cover \(f_{0}: (Y_{0},y) \rightarrow (X_{0},x)\), the groups \(G(f_0^*\mathcal {E}_0,y)\) and \(G(\mathcal {E}_0,x)\) are isomorphic via the natural morphisms, thus the functions \(a_{Y_0}(\theta )\) and \(a_{X_0}(\theta )\) are equal. Thanks to Proposition 3.3.3, we also know that there exists an étale Galois cover \(f_{0}: (Y_0,y) \rightarrow (X_{0},x)\) such that \(G(f_0^*\mathcal {F}_0,y)\) is isomorphic to \(G(\mathcal {F}_0,x)^{\circ }\). The functions \(b_{Y_0}(\theta )\) and \(b_{X_0}(\theta )\) are equal because of the comparison with \(a_{Y_0}(\theta )\) and \(a_{X_0}(\theta )\). Therefore, by Lemma 4.1.5, the group \(G(\mathcal {F}_0,x)\) is connected. This concludes the proof of (i’).
To prove (i) we show that \({{\,\mathrm{Ker}\,}}(\psi _{\mathcal {E}_0})\) and \({{\,\mathrm{Ker}\,}}(\psi _{\mathcal {F}_0})\) are the same subgroups of \(\pi ^{{\acute{\mathrm{e}}}\mathrm{t}}_1(X_0,x)\). By symmetry it is enough to show that \({{\,\mathrm{Ker}\,}}(\psi _{\mathcal {E}_0})\subseteq {{\,\mathrm{Ker}\,}}(\psi _{\mathcal {F}_0})\). This is equivalent to proving that if \(f_0:(Y_{0},y) \rightarrow (X_{0},x)\) is the Galois cover associated to \({{\,\mathrm{Ker}\,}}(\psi _{\mathcal {E}_0})\), then the natural map \({{\,\mathrm{Ker}\,}}(\psi _{\mathcal {E}_0})\rightarrow \pi ^{{\acute{\mathrm{e}}}\mathrm{t}}_1(X_0,x)/ {{\,\mathrm{Ker}\,}}(\psi _{\mathcal {F}_0})\) is the trivial map. In other words, it is enough to show that \(G(f_0^*\mathcal {F}_0,y)\) is connected. As \(G(f_0^*\mathcal {E}_0,y)\) is connected by construction, this is a consequence of (i’).
\(\square \)
Frobenius tori
We extend here the theory of Frobenius tori, previously studied by Serre and Chin in [43] and [9, §5.1], to algebraic coefficient objects over varieties of arbitrary dimension (Theorem 4.2.11). The result for overconvergent Fisocrystals is completely new and it is obtained exploiting the existence of étale companions. Once we pass to étale lisse sheaves, we can use Chebotarev’s density theorem, which is one of the key ingredients of the proof.
Construction 4.2.1
(Frobenius tori) Let \(\mathcal {E}_0\) be an \(E_\lambda \)coefficient object over \(X_0\). For every closed point \(i_0:x_0'\hookrightarrow X_0\) we have a functor \(\langle \mathcal {E}_0 \rangle \rightarrow \langle i_0^*\mathcal {E}_0\rangle \) of inverse image. If \(x'\) is an \(\mathbb {F}\)point over \(x_0'\), this functor induces a closed immersion \(G(i_0^*\mathcal {E}_0, x')\hookrightarrow G(\mathcal {E}_0,x')\). Let \(F_{x_0'}\) be the \(E_\lambda ^{(x_0')}\)point of \(G(i_0^*\mathcal {E}_0, x')\) corresponding to the Frobenius automorphism and let \(F_{x_0'}^{{{\,\mathrm{ss}\,}}}\) be its semisimple part. The Zariski closure of the group generated by \(F_{x_0'}^{{{\,\mathrm{ss}\,}}}\) is the maximal subgroup of multiplicative type of \(G(i_0^*\mathcal {E}_0, x')\). We call it the Frobenius group attached to \(x_0'\) and it is denoted by \(M(\mathcal {E}_0,x')\). Its connected component is the Frobenius torus attached to \(x_0'\), denoted by \(T(\mathcal {E}_0,x')\). If \(\mathcal {E}_0\) is Erational, the torus \(T(\mathcal {E}_0,x')\) descends to a torus \(\widetilde{T}(\mathcal {E}_0,x')\) over E, such that \(T(\mathcal {E}_0,x')\simeq \widetilde{T}(\mathcal {E}_0,x')\otimes _E E_\lambda ^{(x_0')}\).
To prove our main theorem on Frobenius tori we first need another outcome of Deligne’s conjecture. This is a finiteness result for the set of all the possible valuations of the Frobenius eigenvalues at closed points.
Notation 4.2.2
Let us fix a prime \(\ell \). For every prime \(\ell '\) (even \(\ell '=\ell \) or \(\ell '=p\)), we denote by \(I_{\ell '}(\overline{\mathbb {Q}}_{\ell })\) the set of field isomorphisms \(\overline{\mathbb {Q}}_{\ell }\xrightarrow {\sim }\overline{\mathbb {Q}}_{\ell '}\), by \(I_\infty (\overline{\mathbb {Q}}_{\ell })\) the set of field isomorphisms \(\overline{\mathbb {Q}}_{\ell }\xrightarrow {\sim }\mathbb {C}\) and
For every \(\ell '\ne p\) we endow \(\overline{\mathbb {Q}}_{\ell '}\) with the \(\ell '\)adic valuation \(v:(\overline{\mathbb {Q}}_{\ell '}^\times ,\times )\rightarrow (\mathbb {R},+)\), normalized such that \(v(\ell ')=1\). On \(\overline{\mathbb {Q}}_{p}\) we consider the padic valuation v, normalized so that \(v(q)=1\). Finally, we endow \(\mathbb {C}\) with the morphism \(v:(\mathbb {C}^{\times },\times )\rightarrow (\mathbb {R},+)\) defined by \(a\mapsto \log _q(a)\).
Definition 4.2.3
Let \(\mathcal {E}_0\) be a \(\overline{\mathbb {Q}}_{\ell }\)coefficient object. For every closed point \(x_0\in X_0\), let \(A_{x_0}(\mathcal {E}_0)\) be the set of Frobenius eigenvalues at \(x_0\). For \(*=\ell ',\infty \) we define
We also write
Proposition 4.2.4
If \(\mathcal {E}_0\) be an algebraic \(\overline{\mathbb {Q}}_{\ell }\)coefficient object, the set \(V(\mathcal {E}_0)\) is finite.
Proof
Let R be the ring of integers of a number field. Since R is a Dedekind domain, every element in R belongs to finitely many prime ideals. Moreover, the set of infinite places of R is finite. Therefore, if \(a\in \overline{\mathbb {Q}}_{\ell }\) is algebraic, the set \(\{v(\iota (a))\}_{{\iota \in I(\overline{\mathbb {Q}}_{\ell })}}\) is finite. Thanks to this, it is harmless to twist our coefficient object by algebraic numbers. By Corollary 3.4.2, we can then assume that \(\mathcal {E}_0\) is irreducible with finite order determinant. By Theorem 3.6.4, the coefficient \(\mathcal {E}_0\) is pure of weight 0, Erational and pplain. This implies that \(V_{\ne p}=\{0\}\) and, by [34, LemmaDefinition 4.3.2], that the set \(V_p(\mathcal {E}_0)\) is finite. This concludes the proof. \(\square \)
Notation 4.2.5
Let \((X_0,x)\) be a smooth connected pointed variety over \(\mathbb {F}_q\) and \(\mathcal {E}_0\) an algebraic \(\overline{\mathbb {Q}}_{\ell }\)coefficient object of rank r. Write \({{\,\mathrm{GL}\,}}_{r}\) for the algebraic group \({{\,\mathrm{GL}\,}}_{r,\overline{\mathbb {Q}}_{\ell }}\). For every \(x'\in X_0(\mathbb {F})\), we choose an isomorphism between \(\omega _{x',\overline{\mathbb {Q}}_{\ell }}\) and \(\omega _{x,\overline{\mathbb {Q}}_{\ell }}\), which exists by [16, Theorem 3.2], and a basis of \(\omega _{x,\overline{\mathbb {Q}}_{\ell }}(\mathcal {E}_0)\). This determines in turn an embedding \(G(\mathcal {E}_0,x')\hookrightarrow {{\,\mathrm{GL}\,}}_r\) for every \(x'\). Let \(\mathbb {G}_m^r\subseteq {{\,\mathrm{GL}\,}}_{r}\) be the standard maximal torus and \(\chi _1,\dots ,\chi _r\) the standard basis of \(X^*(\mathbb {G}_m^r)\). The Frobenius torus \(T(\mathcal {E}_0,x)\subseteq G(\mathcal {E}_0,x)\subseteq {{\,\mathrm{GL}\,}}_r\) is conjugated to some subtorus \(T_{x'}\subseteq \mathbb {G}_m^r\). The torus \(T_{x'}\) is uniquely determined up to the action of the permutation group \(S_r\) on \(\mathbb {G}_m^r\). We write \(C_T(\mathcal {E}_0)\) for the set of \({{\,\mathrm{GL}\,}}_r\)conjugacy classes of the Frobenius tori at various \(\mathbb {F}\)points of \(X_0\). In what follows, for every \(x'\in X_0(\mathbb {F})\), we suppose chosen a representative subtorus \(T_{x'}\subseteq \mathbb {G}_m^r\). Besides, we denote by \(\alpha _{x',1},\dots ,\alpha _{x',r}\) the Frobenius eigenvalues at \(x'\). We assume that they are ordered in such a way that the diagonal matrix \((\alpha _{x',1},\dots ,\alpha _{x',r})\) is in \(T_{x'}(\overline{\mathbb {Q}}_{\ell })\).
Construction 4.2.6
Let \(\Lambda ^\vee _{\mathbb {R}}(\mathcal {E}_0)\) be the set of \(\mathbb {R}\)linear subspaces of \(X_*(\mathbb {G}_m^r)_\mathbb {R}\) which admit a set of generators in \(V(\mathcal {E}_0)^r\subseteq X_*(\mathbb {G}_m^r)_\mathbb {R}\). For every \(Y\subseteq X_*(\mathbb {G}_m^r)_\mathbb {R}\), the natural pairing \((\cdot ,\cdot ):\ X^*(\mathbb {G}_m^r) \times X_*(\mathbb {G}_m^r) \rightarrow \mathbb {Z}\) induces a \(\mathbb {Q}\)linear morphism \(f_Y: X^*(\mathbb {G}_m^{r})_\mathbb {Q}\rightarrow {{\,\mathrm{Hom}\,}}(Y,\mathbb {R})\). Write \(K_Y\subseteq X^*(\mathbb {G}_m^{r})_\mathbb {Q}\) for the kernel of \(f_Y\) and \(\Lambda (\mathcal {E}_0)\) for the set of \(\mathbb {Q}\)linear subspaces of \(X^*(\mathbb {G}_m^{r})_\mathbb {Q}\) of the form \(K_Y\) for some \(Y\in \Lambda ^\vee _{\mathbb {R}}(\mathcal {E}_0)\). We have a natural action of \(S_r\) on \(\Lambda (\mathcal {E}_0)\) which permutes the coordinates.
For every \(\mathbb {F}\)point \(x'\), we define \(Y_{x'}\subseteq \mathbb {R}^{r}=X_*(\mathbb {G}_m^r)_\mathbb {R}\) as the \(\mathbb {R}\)linear subspace generated by the elements \({y}_{x'}^\iota :=\big (y^\iota _{x',1},\dots ,y^\iota _{x',r}\big )\), where \(\iota \) is an element in \(I(\overline{\mathbb {Q}}_{\ell })\) and \(y^\iota _{x',i}:=v(\iota (\alpha _{x',i}))\). By definition, \(Y_{x'}\) is a subspace in \(\Lambda ^{\vee }_{\mathbb {R}}(\mathcal {E}_0)\) and the class of \(K_{Y_x}\) in \(\Lambda (\mathcal {E}_0)/S_r\) does not depend on the order of the Frobenius eigenvalues \(\alpha _{x',1},\dots ,\alpha _{x',r}\).
Proposition 4.2.7
For every coefficient object \(\mathcal {E}_0\) there exists an injective map of sets \(\delta :C_T(\mathcal {E}_0)\rightarrow \Lambda (\mathcal {E}_0)/S_r\) which sends the conjugacy class of a Frobenius torus \(T_{x'}\) to the class of \(K_{Y_{x'}}\subseteq X^*(\mathbb {G}_m^{r})_\mathbb {Q}\) (cf. Construction 4.2.6).
Proof
Let \(K_{x'}\subseteq X^*(\mathbb {G}_m^r)_\mathbb {Q}\) be the \(\mathbb {Q}\)linear subspace generated by all the \(\chi \otimes 1\in X^*(\mathbb {G}_m^r)_\mathbb {Q}\) such that the restriction \(\chi _{T_{x'}}\) of finite order. First, let us prove that \(K_{x'}=K_{Y_{x'}}\).
Note that it is enough to prove the equality after intersecting both \(\mathbb {Q}\)vector spaces with the lattice \(X^*(\mathbb {G}_m^r)\subseteq X^*(\mathbb {G}_m^r)_\mathbb {Q}\). Let us first prove that \(K_{x'}\subseteq K_{Y_{x'}}\), namely that \(f_{Y_{x'}}(K_{x'})=0\). For every character \(\chi =\chi _1^{\otimes a_1}\otimes \cdots \otimes \chi _r^{\otimes a_r}\in X^*(\mathbb {G}_m^{r})\cap K_{x'}\), we have that \(\beta _{x'}:=\alpha _{{x'},1}^{a_1}\cdot \ldots \cdot \alpha _{{x'},r}^{a_r}\) is a root of unity because \((\alpha _{{x'},1},\dots ,\alpha _{{x'},r})\in T_{x'}(\overline{\mathbb {Q}}_{\ell })\). Therefore, for every \(\iota \in I(\overline{\mathbb {Q}}_{\ell })\),
This implies that \(f_{Y_{x'}}(\chi )=0\). On the other hand, for every character \(\chi =\chi _1^{\otimes a_1}\otimes \ldots \otimes \chi _r^{\otimes a_r}\in X^*(\mathbb {G}_m^{r})\cap K_{Y_{x'}}\) we want to show that the restriction of \(\chi \) to \(T_{x'}\) is finite. Since the subgroup generated by the point \((\alpha _{{x'},1},\dots ,\alpha _{{x'},r})\in T_{x'}(\overline{\mathbb {Q}}_{\ell })\) is Zariski dense in \(T_{x'}\), it is enough to show that \(\beta _{x'}:=\alpha _{{x'},1}^{a_1}\dots \alpha _{{x'},r}^{a_r}\) is a root of unity. For every \(\iota \in I(\overline{\mathbb {Q}}_{\ell })\), we have that \(v(\iota (\beta _{x'}))=a_1y_{{x'},1}^\iota +\dots +a_ry_{{x'},r}^\iota =f_{Y_{x'}}(\chi )(y_{x'}^\iota )=0\). By Kronecker’s theorem, it follows that \(\beta _{x'}\) is a root of unity.
Let us show now how the previous claim can be used to prove the final statement. Since \(K_{x'}=K_{Y_{x'}}\), it follows that \(X^*(T_{x'})_\mathbb {Q}=X^*(\mathbb {G}_m^r)_\mathbb {Q}/K_{Y_{x'}}\). Therefore, if \(x''\) is another \(\mathbb {F}\)point of \(X_0\), we have that \(T_{x'}\) and \(T_{x''}\) are conjugated if and only if \(K_{Y_{x'}}\) and \(K_{Y_{x''}}\) are the same up to permutation of the coordinates. This proves that \(\delta \) is a well defined injective map. \(\square \)
Corollary 4.2.8
Let \(\mathcal {E}_0\) be an algebraic \(\overline{\mathbb {Q}}_{\ell }\)coefficient object. The set \(C_T(\mathcal {E}_0)\) is finite.
Proof
By Proposition 4.2.4, the set \(V(\mathcal {E}_0)\) is finite. Therefore, by construction, the sets \(\Lambda ^\vee _{\mathbb {R}}(\mathcal {E}_0)\) and \(\Lambda (\mathcal {E}_0)\) are finite as well. Thanks to Proposition 4.2.7, this shows that \(C_T(\mathcal {E}_0)\) is finite. \(\square \)
From here, thanks to Chebotarev’s density theorem, we could directly prove Theorem 4.2.11 for étale lisse sheaves as in the proof of [43, Théorème at page 12]. The result for nonétale lisse sheaves and overconvergent Fisocrystals follows from further two crucial facts.
Proposition 4.2.9
(After Larsen–Pink) Let \(\mathcal {E}_0\) and \(\mathcal {F}_0\) be two compatible coefficient objects over \(X_0\). The reductive ranks of \(G(\mathcal {E}_0,x)\) and \(G(\mathcal {F}_0,x)\) are equal.
Proof
We may assume that \(\mathcal {E}_0\) and \(\mathcal {F}_0\) are semisimple, because semisimplification keeps the reductive ranks of the monodromy groups unchanged. Moreover, thanks to Proposition 3.3.4, we may assume that the monodromy groups of \(\mathcal {E}_0\) and \(\mathcal {F}_0\) are connected. We choose embeddings of the fields of scalars of \(\mathcal {E}_0\) and \(\mathcal {F}_0\) to \(\mathbb {C}\) in such a way that the characteristic polynomials at closed points of the two coefficient objects are the same as polynomials in \(\mathbb {C}[t]\). We write \(G(\mathcal {E}_0,x)_{\mathbb {C}}\) and \(G(\mathcal {F}_0,x)_{\mathbb {C}}\) for the base change of the monodromy groups of \(\mathcal {E}_0\) and \(\mathcal {F}_0\) to \(\mathbb {C}\) and \(\rho _{\mathcal {E}_0,\mathbb {C}}\) and \(\rho _{\mathcal {F}_0,\mathbb {C}}\) for their tautological \(\mathbb {C}\)linear representations. Thanks to Lemma 4.1.3, the pairs \((G(\mathcal {E}_0,x)_{\mathbb {C}},\rho _{\mathcal {E}_0,\mathbb {C}})\) and \((G(\mathcal {F}_0,x)_{\mathbb {C}},\rho _{\mathcal {F}_0,\mathbb {C}})\) satisfy the hypothesis of [36, Proposition 1]. Therefore, \(G(\mathcal {E}_0,x)_{\mathbb {C}}\) and \(G(\mathcal {F}_0,x)_{\mathbb {C}}\) have isomorphic maximal tori. This gives the desired result. \(\square \)
Lemma 4.2.10
Let \(\underline{\mathcal {E}_0}\) be an Ecompatible system. For all but finitely many \(\lambda \in E_{\ne p}\), the \(\lambda \)component of \(\underline{\mathcal {E}_0}\) is an étale lisse sheaf.
Proof
Let \(\mathcal {E}_0\) be a component of \(\underline{\mathcal {E}_0}\). By Corollary 3.4.2 we know that \(\mathcal {E}_0^{{{\,\mathrm{ss}\,}}}\simeq \bigoplus _{i=1}^n \mathcal {F}_{i,0}^{(a_i)}\) where for every i, the coefficient object \(\mathcal {F}_{i,0}\) is absolutely irreducible with finite order determinant. By Theorem 3.6.4, the coefficient objects \(\mathcal {F}_{i,0}\) are pplain. In addition, since \(\mathcal {E}_0\) is algebraic, we know that each \(a_i\) is an algebraic number. Arguing as in Proposition 4.2.4, this implies that for all but finitely many primes \(\ell \ne p\), the algebraic numbers \(a_i\) are \(\ell \)adic units. Therefore, for all but finitely many \(\ell \ne p\), the Frobenius eigenvalues of \(\mathcal {E}_0\) are \(\ell \)adic units. By compatibility we deduce that for all but finitely \(\lambda \in E_{\ne p}\), the Frobenius eigenvalues of the \(\lambda \)component of \(\underline{\mathcal {E}_0}\) are \(\lambda \)adic units. By Proposition 3.1.16, this implies that all these \(\lambda \)components are étale lisse sheaves. This yields the desired result. \(\square \)
Theorem 4.2.11
Let \(X_0\) be a smooth connected variety over \(\mathbb {F}_q\) and \(\mathcal {E}_0\) an algebraic coefficient object. There exists a Zariskidense subset \(\Delta \subseteq X(\mathbb {F})\) such that for every \(\mathbb {F}\)point \(x'\in \Delta \) and every object \(\mathcal {F}_0\in \langle \mathcal {E}_0 \rangle \), the torus \(T(\mathcal {F}_0,x')\) is a maximal torus of \(G(\mathcal {F}_0,x')\). Moreover, if \(\mathcal {G}_0\) is a coefficient object compatible with \(\mathcal {E}_0\), the subset \(\Delta \) satisfies the same property for the objects in \(\langle \mathcal {G}_0 \rangle \).
Proof
Let \(x'\) be a geometric point and \(i_0:x'_0\hookrightarrow X_0\) the embedding of the underlying closed point. For every object \(\mathcal {F}_0\in \langle \mathcal {E}_0 \rangle \), we have a commutative square of functors
It induces a square on monodromy groups
If \(T(\mathcal {E}_0,x')\) is a maximal torus in \(G(\mathcal {E}_0,x')\), then the same is true for \(T(\mathcal {F}_0,x')\) in \(G(\mathcal {F}_0,x')\), [7, Proposition 11.14.(1)]. This shows that it is enough to prove the result when \(\mathcal {F}_0=\mathcal {E}_0\). Moreover, we may assume that \(\mathcal {E}_0\) is semisimple, because semisimplification does not change the reductive rank of the monodromy group.
We notice that by Proposition 4.2.9, if \(\mathcal {G}_0\) is a coefficient object compatible with \(\mathcal {E}_0\), the torus \(T(\mathcal {E}_0,x')\) is maximal in \(G(\mathcal {E}_0,x')\) if and only if \(T(\mathcal {G}_0,x')\) is maximal in \(G(\mathcal {G}_0,x')\). Therefore, it is enough to prove the result for some coefficient object compatible with \(\mathcal {E}_0\). By Theorem 3.7.2, \(\mathcal {E}_0\) sits in a semisimple compatible system \(\underline{\mathcal {E}_0}\). By Lemma 4.2.10, there exists a component of \(\underline{\mathcal {E}_0}\) which is an étale lisse sheaf. Let us denote it by \(\mathcal {V}_0\). After replacing \(X_0\) with a connected finite étale cover we may assume by Proposition 3.3.4 that \(G(\mathcal {V}_0,x')\) is connected for any choice of \(x'\). We choose an \(\mathbb {F}\)point \(x'\) of X. By Corollary 4.2.8, the set of conjugacy classes of Frobenius tori \(T(\mathcal {V}_0,x')\) in \({{\,\mathrm{GL}\,}}(\omega _{x',\overline{\mathbb {Q}}_{\ell }}(\mathcal {V}_0))\), where \(x'\) varies among the \(\mathbb {F}\)points of \(X_0\), is finite. Arguing as in [43, theorem at page 12], by Chebotarev’s density theorem for the étale fundamental group of \(X_0\), there exists a Zariskidense subset \(\Delta \subseteq X(\mathbb {F})\) such that for every \(\mathbb {F}\)point \(x\in \Delta \), the torus \(T(\mathcal {V}_0,x)\) is maximal inside \(G(\mathcal {V}_0,x)\) (see also [9, Theorem 5.7] for more details). This concludes the proof. \(\square \)
Theorem 4.2.11 is a crucial step in the proof of Theorem 4.3.2. Nonetheless, it has also its own interest. In [5], it is used as a starting point to study the reductive rank of the monodromy groups of convergentFisocrystals which admit an overconvergent extension. Here another consequence.
Corollary 4.2.12
Let \(\mathcal {E}_0\) be a semisimple \(\overline{\mathbb {Q}}_{\ell }\)coefficient object. The set of closed points \(x_0'\) of \(X_0\) where the Frobenius \(F_{x'_0}\) is regular semisimple is Zariskidense in \(X_0\).
Proof
As usual, let us start out with some preliminary reductions. We first observe that by [7, Proposition 12.4.(2)], if the statement is true for \(\mathcal {E}_0\), then the same is true for every \(\mathcal {F}_0\in \langle \mathcal {E}_0 \rangle \). In addition, if we know the result for \(\mathcal {E}_0\) and \(\mathcal {F}_0\) at the same time, we can deduce it for \(\mathcal {E}_0\oplus \mathcal {F}_0\) since \(G(\mathcal {E}_0\oplus \mathcal {F}_0)\subseteq G(\mathcal {E}_0)\times G(\mathcal {F}_0)\) and the property of being a regular semisimple element is preserved by taking products. Finally, note that for a coefficient object of the form \(\overline{\mathbb {Q}}_{\ell }^{(a)}\) with \(a\in \overline{\mathbb {Q}}_{\ell }\) the result is trivial. Combining these three facts and Corollary 3.4.2 we deduce that it is harmless to assume that \(\mathcal {E}_0\) is an irreducible coefficient object with finite order determinant. By Theorem 3.6.4, the coefficient object \(\mathcal {E}_0\) is then algebraic. Thanks to Theorem 4.2.11, the set of \(\mathbb {F}\)points \(x'\) such that the torus \(T(\mathcal {E}_0,x')\) is a maximal torus of \(G(\mathcal {E}_0,x')\) is Zariskidense in \(X_0\). We claim that if \(x'\) is one of these \(\mathbb {F}\)points, the Frobenius \(F_{x'_0}\) is regular semisimple. Let \(Z(F_{x'_0}^{\mathrm {ss}})\) be the centraliser of \(F_{x'_0}^{\mathrm {ss}}\) in \(G(\mathcal {E}_0,x')\). By construction, \(Z(F_{x'_0}^{\mathrm {ss}})\) coincides with the centraliser of \(M(\mathcal {E}_0,x')\) in \(G(\mathcal {E}_0,x')\). Since \(G(\mathcal {E}_0,x')\) is reductive and \(M(\mathcal {E}_0,x')\) contains a maximal torus, we deduce that \(Z(F_{x'_0}^{\mathrm {ss}})^\circ =T(\mathcal {E}_0,x')\). If we write \(F_{x'_0}^{\mathrm {u}}\) for the unipotent part of the multiplicative Jordan form of \(F_{x'_0}\), we know that it lies in \(Z(F_{x'_0}^{\mathrm {ss}})^\circ (\overline{\mathbb {Q}}_{\ell })\). This implies that \(F_{x'_0}^{\mathrm {u}}=1\), thus \(F_{x_0'}\) is regular semisimple. \(\square \)
Remark 4.2.13
In the proof of Theorem 4.2.11, we need Deligne’s conjecture in order to prove the following three properties of the coefficient object \(\mathcal {E}_0\).

(i)
\(\mathcal {E}_0\) is \(\iota \)mixed.

(ii)
\(V(\mathcal {E}_0)\) is a finite set.

(iii)
\(\mathcal {E}_0\) admits a compatible étale lisse sheaf.
For many coefficient objects “coming from geometry”, it is possible to prove these properties directly, without using Theorem 3.6.2.
The neutral component
We start with a first result on the independence of the neutral components of the monodromy groups of coefficient objects. As in Theorem 4.1.1, the independence result we need here is Corollary 3.5.5.
Proposition 4.3.1
Let \(X_0\) be a smooth geometrically connected variety over \(\mathbb {F}_q\). Let \(\mathcal {E}_0\) and \(\mathcal {F}_0\) be two compatible coefficient objects over \(X_0\).

(i)
If \(\mathcal {E}_0\) and \(\mathcal {F}_0\) are semisimple, \(\mathcal {E}_0\) is finite if and only if \(\mathcal {F}_{0}\) is finite.

(ii)
If \(\mathcal {E}_0\) and \(\mathcal {F}_0\) are geometrically semisimple, \(\mathcal {E}\) is finite if and only if \(\mathcal {F}\) is finite.
Proof
Thanks to Proposition 3.3.4, we may assume that the arithmetic and the geometric monodromy groups of \(\mathcal {E}_0\) and \(\mathcal {F}_0\) are connected. By Theorem 3.6.4, we know that \(\mathcal {E}_0\) and \(\mathcal {F}_0\) are \(\iota \)mixed. Thus, thanks to Corollary 3.5.5, the coefficient object \(\mathcal {E}_0\) is trivial (resp. geometrically trivial) if and only if the same is true for \(\mathcal {F}_0\). \(\square \)
The next result we want to prove is a generalization of [9, Theorem 1.4].
Theorem 4.3.2
Let \((X_0,x)\) be a smooth connected pointed variety over \(\mathbb {F}_q\), E a number field and \(\underline{\mathcal {E}_{0}}\) a semisimple Ecompatible system over \(X_0\). For every \(\lambda \in \Sigma \), let \(\rho _{\lambda ,0}\) be the associated representation on \(\omega _{x,E_{\lambda }}(\mathcal {E}_{\lambda , 0})\). After possibly replacing E by a finite extension, there exists a connected split reductive group \(G_0\) over E such that, for every \(\lambda \in \Sigma \), the extension of scalars \(G_0\otimes _E E_\lambda \) is isomorphic to \(G(\mathcal {E}_{\lambda , 0},x)^\circ \). Moreover, there exists a faithful Elinear representation \(\rho _0\) of \(G_0\) and isomorphisms \(\varphi _{\lambda ,0}: G_{0}\otimes _E E_{\lambda } \xrightarrow {\sim } G(\mathcal {E}_{\lambda , 0},x)^{\circ }\) for every \(\lambda \in \Sigma \) such that \(\rho _0\otimes _E E_{\lambda }\) is isomorphic to \(\rho _{\lambda ,0}\circ \varphi _{\lambda ,0}\).
Following Chin, we use a reconstruction theorem of a reductive group from the Grothendieck semiring of its category of finitedimensional representations.
Notation 4.3.3
If \(\mathbf {C}\) is a Tannakian category, we denote by \(K^+(\mathbf {C})\) its Grothendieck semiring, namely the semiring of isomorphism classes of semisimple objects of \(\mathbf {C}\) with sum and product induced by \(\oplus \) and \(\otimes \). If \(\mathcal {E}_0\) is a coefficient object and \(\mathbf {C}=\langle \mathcal {E}_0 \rangle \), we denote \(K^+(\mathbf {C})\) by \(K^+(\mathcal {E}_0)\). Finally, when \(\mathbf {C}=\mathbf {Rep}(G)\) with G an algebraic group, we will write \(K^+(G)\).
Theorem 4.3.4
[10, Theorem 1.4] Let G and \(G'\) be two connected split reductive groups, defined over a field \(\mathbb {K}\) of characteristic 0. Let T and \(T'\) be maximal tori of G and \(G'\) respectively. For every pair of isomorphisms \(\varphi _{T'}: T'\xrightarrow {\sim }T\) and \(f: K^+(G)\xrightarrow {\sim } K^+(G')\) making the following diagram commuting
there exists an isomorphism \(\varphi : G'\xrightarrow {\sim } G\) of algebraic groups such that the induced homomorphism \(\varphi ^*\) on the Grothendieck semirings is equal to f and the restriction of \(\varphi \) to \(T'\) is equal to \(\varphi _{T'}\).
Remark 4.3.5
The maximal tori that we will use to apply Theorem 4.3.4 will be the Frobenius tori provided by Theorem 4.2.11. Suppose that \(\mathcal {E}_{0}\) is a coefficient object and for some \(\mathbb {F}\)point \(x'\), the group \(M(\mathcal {E}_0,x')\) is connected and \(\widetilde{T}(\mathcal {E}_0,x')\) is a split torus over E. Then, the group of characters of \(\widetilde{T}(\mathcal {E}_0,x')\) is canonically isomorphic to the subgroup of \(E^\times \) generated by the eigenvalues of \(F_{x_0'}\). The isomorphism is given by the evaluation of a character at the point \(F_{x_0'}^{{{\,\mathrm{ss}\,}}}\). In particular, if \(\mathcal {E}_0\) sits in an Ecompatible system \(\underline{\mathcal {E}_0}\) and \(\widetilde{T}(\mathcal {E}_{\lambda , 0},x')\) is split over E for one \(\lambda \in \Sigma \) (or equivalently every \(\lambda \in \Sigma \)), the semirings \(K^+(\widetilde{T}(\mathcal {E}_{\lambda , 0},x'))\) are all canonically isomorphic when \(\lambda \) varies in \(\Sigma \). Moreover, note that for every \(\lambda \in \Sigma \), the semiring \(K^+(\widetilde{T}(\mathcal {E}_{\lambda , 0},x'))\) is canonically isomorphic to \(K^+(T(\mathcal {E}_{\lambda , 0},x'))\).
The known cases of the companions conjecture provide isomorphisms of the Grothendieck semiring of compatible objects. A bit surprisingly, we have these isomorphisms even if we do not dispose at the moment of a general way to construct compatible overconvergent Fisocrystals in dimension greater than 1.
Proposition 4.3.6
Let \(\mathcal {E}_0\) and \(\mathcal {F}_0\) be two Ecompatible coefficient objects such that all the irreducible objects in \(\langle \mathcal {E}_0\rangle \) and \(\langle \mathcal {F}_0 \rangle \) are absolutely irreducible. There exists an isomorphism of semirings \(K^+(\mathcal {E}_0)\xrightarrow {\sim }K^+(\mathcal {F}_0)\) which sends the isomorphism class of a semisimple coefficient object in \(\langle \mathcal {E}_0\rangle \) to the isomorphism class of an Ecompatible semisimple coefficient object in \(\langle \mathcal {F}_0\rangle \).
Proof
Let us first construct the isomorphism when \(\mathcal {F}_0\) is a lisse sheaf. Thanks to Theorem 3.7.2, there exists a morphism of semirings \(f:K^+(\mathcal {E}_0)\rightarrow K^+(\mathcal {F}_0)\) which sends semisimple coefficient objects to Ecompatible semisimple coefficient objects. By Theorem 3.5.6 this morphism is an injective morphism. Let us show that it is surjective as well. By Corollary 3.5.5 and the hypothesis, f sends irreducible objects to irreducible objects. Therefore, if \([\mathcal {H}_0]\in K^+(\mathcal {E}_0)\) and \(\sum _{i=0}^n m_i[\mathcal {H}_{0}^i]\) is the isotypic decomposition of \([\mathcal {H}_0]\), then \(\sum _{i=0}^n m_i f([\mathcal {H}_{0}^i])\) is the isotypic decomposition of \(f([\mathcal {H}_0])\). In particular, every summand of a class in the image of f is again in the image of f. On the other hand, we know that for every \(n,m\in \mathbb {N}\), the classes \(\left[ \mathcal {F}_0^{\otimes n} \otimes (\mathcal {F}_0^{\vee })^{\otimes m}\right] \) are clearly in the image of f. Combining these two facts we get the surjectivity.
If \(\mathcal {F}_0\) is an overconvergent Fisocrystals instead, thanks to Theorem 3.7.2, there exists a compatible lisse sheaf \(\mathcal {G}_0\). The isomorphism \(K^+(\mathcal {E}_0)\xrightarrow {\sim }K^+(\mathcal {F}_0)\), is then obtained via the composition
\(\square \)
Remark 4.3.7
The assumption that the irreducible objects in \(\langle \mathcal {E}_0\rangle \) and \(\langle \mathcal {F}_0 \rangle \) are absolutely irreducible is verified, for example, when \(G(\mathcal {E}_0,x)\) and \(G(\mathcal {F}_0,x)\) are split reductive groups. In particular, it is always possible to obtain this condition after a finite extension of the fields of scalars of the coefficient objects.
4.3.8. Proof of Theorem 4.3.2 Thanks to Theorem 4.1.1, there exists a Galois cover of \(X_0\) such that all the arithmetic monodromy groups of the compatible system are connected. By Proposition 3.3.4, the neutral components of the monodromy groups remain unchanged when we base change the compatible system to such a cover. By Remark 3.2.6, after possibly passing to a finite extension of E, we may change the \(\mathbb {F}\)point x without changing the isomorphism class of the monodromy groups. We may also assume that \(E_\lambda ^{(x_0)}=E_\lambda \) for every \(\lambda \in \Sigma \). Thanks to Theorem 4.2.11, we may choose x so that \(T(\mathcal {E}_{\lambda , 0},x)\) is a maximal torus in \(G(\mathcal {E}_{\lambda , 0},x)\) for every \(\lambda \in \Sigma \). Besides, up to replacing E again with a finite extension, we may assume that \(\widetilde{T}(\mathcal {E}_{\lambda , 0},x)\) is split over E for every \(\lambda \in \Sigma \). We fix a finite place \(\mu \in \Sigma \). By [17, Corollaire 1.3], there exists a connected split reductive group \(G_0\) over E such that \(G_0\otimes _E E_{\mu }\simeq G(\mathcal {E}_{\mu ,0},x)\). Let \(T_0\) be a split maximal torus of \(G_0\). We choose \(\rho _0: G_0\hookrightarrow {{\,\mathrm{GL}\,}}_{r,E}\) and \(\varphi _{\mu ,0}: G_0\otimes _E E_{\mu }\xrightarrow {\sim }G(\mathcal {E}_{\mu ,0},x)\) such that \(\varphi _{\mu ,0}(T_0\otimes _E E_{\mu })=T(\mathcal {E}_{\mu ,0},x)\) and \(\rho _0\otimes _E E_{\mu } \simeq \rho _{\mu ,0}\circ \varphi _{\mu ,0}\). The isomorphism \(\varphi _{\mu ,0}\) induces an isomorphism
which sends \([\mathcal {E}_{\mu ,0}]\) to \([\rho _0\otimes _E E_{\mu }]\). As \(\widetilde{T}(\mathcal {E}_{\lambda , 0},x)\) is split over E for every \(\lambda \in \Sigma \), the reductive groups \(G(\mathcal {E}_{\lambda , 0},x)\) are all split. By Proposition 4.3.6, for every \(\lambda \in \Sigma \), there exists a unique isomorphism \(g_{\lambda ,\mu }: K^{+}(\mathcal {E}_{\lambda , 0})\simeq K^+(\mathcal {E}_{\mu ,0})\) preserving the characteristic polynomials at closed points, hence sending \([\mathcal {E}_{\lambda , 0}]\) to \([\mathcal {E}_{\mu ,0}]\). Since \(G_0\) is split reductive and connected, there exists a canonical isomorphism \(h_{\mu ,\lambda }:K^+(G_0\otimes _E E_{\mu })\xrightarrow {\sim }K^+(G_0\otimes _E E_{\lambda })\). We take
By construction, it is compatible with the isomorphism \(K^+(T(\mathcal {E}_{\lambda , 0},x))\simeq K^+(T_0\otimes _E E_\lambda )\) induced by \(\varphi _{\mu ,0}^*\) and the identifications of Remark 4.3.5. Thanks to Theorem 4.3.4, the isomorphism \(f_{\lambda ,0}\) induces an isomorphism \(\varphi _{\lambda ,0}: G_{0}\otimes _E E_{\lambda } \xrightarrow {\sim }G(\mathcal {E}_{\lambda , 0},x)\) such that \(f_{\lambda ,0}=\varphi _{\lambda ,0}^*\). Since \(f_{\lambda ,0}([\mathcal {E}_{\lambda , 0}])=[\rho _0\otimes _E E_\lambda ]\), the representations \(\rho _{0} \otimes _E E_\lambda \) and \(\rho _{\lambda ,0}\circ \varphi _{\lambda ,0}\) are isomorphic. \(\square \)
Remark 4.3.9
As a consequence of Theorem 4.3.2, we obtain the analogue \(\lambda \)independence result for the geometric monodromy groups of the compatible system. Indeed, by Corollary 3.4.5, if \(\mathcal {E}_0\) is a geometrically semisimple coefficient object, \(G(\mathcal {E},x)^\circ \) is the derived subgroup of \(G(\mathcal {E}_0,x)^\circ \).
Remark 4.3.10
If we weaken the statement of Theorem 4.3.2, asking that all the isomorphisms between \(G_0\) and the monodromy groups are defined over \(\overline{\mathbb {Q}}_{\ell }\), rather than \(E_{\lambda }\), one can prove it differently. One can use [28, Theorem 1.2], a stronger version of Theorem 4.3.4, in combination with Proposition 4.3.6. This proof does not use Frobenius tori.
The author became aware of the theorem of Kazhdan–Larsen–Varshavsky reading [19]. In his paper, Drinfeld uses this result as a starting point to prove the independence of the entire monodromy groups over \(\overline{\mathbb {Q}}_{\ell }\) (not only the neutral components).
Restriction to curves
In this section, we prove a \(\lambda \)independence result for Theorem 3.6.3. We give a proof which exploits the full strength of the Tannakian lemma [4, Lemma 1.6]. A similar argument is used in [ibid., Corollary 3.7]. We also need a lemma which relates the arithmetic and the geometric situation.
Lemma 4.4.1
Let \((Y_0,y)\rightarrow (X_0,x)\) be a morphism of geometrically connected pointed varieties over \(\mathbb {F}_q\) and \(\mathcal {E}_0\) a coefficient object over \(X_0\).

(i)
If the natural morphism \(f_*:G(f^*\mathcal {E},y)\rightarrow G(\mathcal {E},x)\) is an isomorphism, the same is true for \(f_{0*}:G(f_0^*\mathcal {E}_0,y)\rightarrow G(\mathcal {E}_0,x)\).

(ii)
If \(\mathcal {E}_0\) is geometrically semisimple and \(f_{0*}:G(f_0^*\mathcal {E}_0,y)^\circ \rightarrow G(\mathcal {E}_0,x)^\circ \) is an isomorphism, even \(f_*:G(f^*\mathcal {E},y)^\circ \rightarrow G(\mathcal {E},x)^\circ \) is an isomorphism.
Proof
We want to use the functorial diagram of Proposition 3.2.7.(iii) to show that the morphism \(f_{0*}\) in (i) is surjective. Since \(Y_0\) and \(X_0\) are geometrically connected, \(f_{0*}: \pi _1^\lambda (Y_0,y)^{{{\,\mathrm{cst}\,}}}\rightarrow \pi _1^\lambda (X_0,x)^{{{\,\mathrm{cst}\,}}}\) is an isomorphism, therefore \(f_{0*}: G(f^*\mathcal {E}_0,y)^{{{\,\mathrm{cst}\,}}}\rightarrow G(\mathcal {E}_0,x)^{{{\,\mathrm{cst}\,}}}\) is surjective. On the other hand, at the level of geometric monodromy groups, \(f_{*}:G(f^*\mathcal {E},y)\rightarrow G(\mathcal {E},x)\) is surjective by assumption. The surjectivity of \(f_{0*}:G(f_0^*\mathcal {E}_0,y)\rightarrow G(\mathcal {E}_0,x)\) is then a consequence of the other two. For (ii) we note that by Corollary 3.4.5, the algebraic groups \(G(f^*\mathcal {E},y)^\circ \) and \(G(\mathcal {E},x)^\circ \) are the derived subgroups of \(G(f_0^*\mathcal {E}_0,y)^\circ \) and \(G(\mathcal {E}_0,x)^\circ \) respectively. Thus we get the result. \(\square \)
Theorem 4.4.2
Let \(f_0:(Y_0,y)\rightarrow (X_0,x)\) be a morphism of smooth geometrically connected pointed varieties. Let \(\mathcal {E}_0\) and \(\mathcal {F}_0\) be compatible geometrically semisimple coefficient objects over \(X_0\). Let \(\varphi _0: G(f_0^*\mathcal {E}_0,y)\rightarrow G(\mathcal {E}_0,x)\) and \(\psi _0:G(f_0^*\mathcal {F}_0,y)\rightarrow G(\mathcal {F}_0,x)\) be the morphisms induced by \(f_0^*\) and let \(\varphi \) and \(\psi \) be their restriction to the geometric monodromy groups.

(i)
If \(\varphi \) is an isomorphism, the same is true for \(\psi \).

(ii)
If \(\varphi _0\) is an isomorphism, the same is true for \(\psi _0\).
Proof
By Lemma 4.4.1, part (i) implies part (ii). Note that \(\varphi \) and \(\psi \) are always injective, thus to prove part (i) it is enough to prove that if \(\varphi \) is surjective, the same is true for \(\psi \). Suppose that \(\varphi \) is surjective, we want to apply [Lemma 1.6] AE to prove that \(\psi \) is surjective as well. Since, by Theorem 3.4.1, the functor \(f^*:\langle \mathcal {F}\rangle \rightarrow \langle f^* \mathcal {F}\rangle \) satisfies the hypothesis \((\star )\) of the lemma, it remains to show that it is also fully faithful.
A functor of Tannakian categories commuting with fibre functors is always faithful. Therefore, it is enough to prove that \(f^*\) preserves the dimensions of the Homsets, or equivalently that for every \(\mathcal {G}\in \langle \mathcal {F}\rangle \) we have
where we denote by \(h^0\) the dimension of the space of global sections of geometric coefficient objects.
We proceed by steps. First we prove that for every pair of coefficient objects \(\mathcal {G}', \mathcal {G}''\in \langle \mathcal {F}\rangle \), they both satisfy the equality (4.4.2.1) if and only if the same is true for \(\mathcal {G}'\oplus \mathcal {G}''\). By the additivity of \(h^0\), it is clear that if two geometric coefficient objects satisfy the equality individually, then the same is true for their direct sum. Conversely, if \(h^0(\mathcal {G}'\oplus \mathcal {G}'')=h^0(f^*(\mathcal {G}'\oplus \mathcal {G}'')),\) then
Since \(f^*\) is faithful, then \(h^0(\mathcal {G}')h^0(f^*\mathcal {G}')\le 0\) and \(h^0(\mathcal {G}'')h^0(f^*\mathcal {G}'')\le 0\), therefore \(h^0(\mathcal {G}')=h^0(f^*\mathcal {G}')\) and \(h^0(\mathcal {G}'')=h^0(f^*\mathcal {G}'')\), as we wanted. In particular, since \(\langle \mathcal {F}\rangle \) is a semisimple category, we have proven that it is enough to show (4.4.2.1) for the objects of the form \(\mathcal {F}^{\otimes m}\otimes (\mathcal {F}^{\vee })^{\otimes n}\) with \(m,n\in \mathbb {N}\).
We fix \(m,n\in \mathbb {N}\). By the hypothesis, the \(\otimes \)functor \(f^*: \langle \mathcal {E}\rangle \rightarrow \langle f^*\mathcal {E}\rangle \) is fully faithful, therefore the equality (4.4.2.1) holds for \(\mathcal {E}^{\otimes m}\otimes (\mathcal {E}^{\vee })^{\otimes n}\). By Corollary 3.6.6, we know that every coefficient object is \(\iota \)mixed. Therefore, by Corollary 3.5.5, we have that \(h^0(\mathcal {E}^{\otimes m}\otimes (\mathcal {E}^{\vee })^{\otimes n})=h^0(\mathcal {F}^{\otimes m}\otimes (\mathcal {F}^{\vee })^{\otimes n})\text { and }h^0(f^*(\mathcal {E}^{\otimes m}\otimes (\mathcal {E}^{\vee })^{\otimes n}))=h^0(f^*(\mathcal {F}^{\otimes m}\otimes (\mathcal {F}^{\vee })^{\otimes n})).\) Hence we get \(h^0(\mathcal {F}^{\otimes m}\otimes (\mathcal {F}^{\vee })^{\otimes n})= h^0(f^*(\mathcal {F}^{\otimes m}\otimes (\mathcal {F}^{\vee })^{\otimes n})).\) This concludes the proof. \(\square \)
Remark 4.4.3
In the proof presented here, we use the known cases of Deligne’s conjecture only in the end, in order to prove that \(\mathcal {E}_0\) and \(\mathcal {F}_0\) are \(\iota \)mixed. If one already knows that the coefficient objects are \(\iota \)mixed, then it is not necessary to invoke Theorem 3.6.4. In this case, Theorem 4.4.2 is proven avoiding the results in Sect. 3.6. Alternatively, one could get Theorem 4.4.2 from Theorem 4.3.2. This other proof makes substantial use of the material in Sect. 3.6.
Notes
Cf. [7, §12.2].
This is an abbreviation for the expression plain of characteristicp in [9].
Note that the letter F will denote two different types of Frobenius endomorphisms, depending if we are working with lisse sheaves or isocrystals.
The category \(\mathbf {F\text {}Isoc}^{\dag }(X_0/\mathbb {Q}_{q})_{E_\lambda }\) is actually Tannakian even when \(E_\lambda \) is simply a finite extension of \(\mathbb {Q}_{q}\). For simplicity, in what follows, we will mainly work with finite extensions of \(\mathbb {Q}_{q^s}\) in order to make \(\mathbf {Isoc}^{\dag }(X_0/\mathbb {Q}_{q^s})_{E_\lambda }\) a Tannakian category.
In the article he states the result for overconvergent Fisocrystals, but the same proof works without Frobenius structure.
For us, the radical of an algebraic group is defined to be its maximal normal solvable connected subgroup.
We decided to omit here the part of the conjecture on the padic valuations of the Frobenius eigenvalues at closed points. Moreover, we will work with smooth varieties, even if the conjecture was originally stated for normal varieties.
References
Abe, T.: Langlands program for \(p\)adic coefficients and the petits camarades conjecture. Math. J. Reine Angew. 739, 59–69 (2015)
Abe, T.: Langlands correspondence for isocrystals and the existence of crystalline companions for curves. J. Am. Math. Soc. 31, 921–1057 (2018)
Abe, T., Caro, D.: On Beilinson’s equivalence for \(p\)adic cohomology. Selecta Math. 24, 591–608 (2018)
Abe, T., Esnault, H.: A Lefschetz theorem for overconvergent isocrystals with Frobenius structure. Ann. Sci. Èc. Norm. Supér. 52, 1243–1264 (2019)
Ambrosi, E., D’Addezio, M.: Maximal tori of monodromy groups of \(F\)isocrystals and an application to abelian varieties. arXiv:1811.08423 (2018)
Berthelot, P.: Cohomologie rigide et cohomologie rigide à supports propres, première partie, Prépublication IRMAR. https://perso.univrennes1.fr/pierre.berthelot (1996)
Borel, A.: Linear Algebraic Groups, GTM 126, 2nd edn. Springer, New York (1991)
Chin, C.: Independence of \(\ell \) in Lafforgue’s theorem. Adv. Math. 180, 64–86 (2003)
Chin, C.: Independence of \(\ell \) of monodromy groups. J. Am. Math. Soc. 17, 723–747 (2004)
Chin, C.: Determining a split connected reductive group from its irreducible representations. J. Group Theory 11, 799–812 (2008)
Crew, R.: \(F\)isocrystals and \(p\)adic representations. Proc. Symp. Pure Math 46, 111–138 (1987)
Crew, R.: \(F\)isocrystals and their monodromy groups. Ann. Sci. École Norm. Sup. 25, 429–464 (1992)
Deligne, P.: La Conjecture de Weil, II. Publ. Math. IHES 52, 137–252 (1980)
Deligne, P.: Letter of Deligne November 30, 2011. https://www.jmilne.org/math/Documents (2011)
Deligne, P.: Finitude de l’extension de \(\mathbb{Q}\) engendrée par des traces de Frobenius, en caractéristique finie. Mosc. Math. J. 12, 497–514 (2012)
Deligne, P., Milne, J.S.: Tannakian Categories in Hodge Cycles, Motives, and Shimura Varieties. Lecture Notes in Math, vol. 900. Springer, Berlin (1982)
Demazure, M.: Le Theoreme d’Existence, Exposé XXV in Structure des Schémas en Groupes Réductifs (SGA 3 III). Lecture Notes in Math, vol. 153. Springer, Berlin (1970)
Drinfeld, V.: On a conjecture of Deligne. Mosc. Math. J. 12, 515–542 (2012)
Drinfeld, V.: On the prosemisimple completion of the fundamental group of a smooth variety over a finite field. Adv. Math. 327, 708–788 (2018)
Drinfeld, V., Kedlaya, K.S.: Slopes of indecomposable \(F\)isocrystals. Pure Appl. Math. Q. 13, 131–192 (2017)
Esnault, H.: Survey on some aspects of Lefschetz theorems in algebraic geometry. Rev. Mat. Complut. 30, 217–232 (2017)
Esnault, H., Hai, P.H., Sun, X.: On Nori’s Fundamental Group Scheme. Prog. Math. 265, 377–398 (2007)
Étesse, J.Y.: Descente étale des \(F\)isocristaux surconvergents et rationalité des fonctions \(L\) de schémas abéliens. Ann. Sci. École Norm. Sup. 35, 575–603 (2002)
Étesse, J.Y., Le Stum, B.: Fonctions \(L\) associèes aux \(F\)isocristaux surconvergent I. Interprétation cohomologique. Math. Ann. 296, 557–576 (1993)
Hartl, U., Pál, A.: Crystalline Chebotarëv density theorems. arXiv:1811.07084 (2018)
Katz, N.M.: Space filling curves over finite fields. Math. Res. Lett. 6, 613–624 (1999)
Katz, N.M.: Corrections to: Space filling curves over finite fields. Math. Res. Lett. 8, 689–691 (2001)
Kazhdan, D., Larsen, M., Varshavsky, Y.: The Tannakian formalism and the Langlands conjectures. Algebra Number Theory 8, 243–256 (2014)
Kedlaya, K.S.: A \(p\)adic local monodromy theorem. Ann. Math. 160, 93–184 (2004)
Kedlaya, K.S.: Full faithfulness for overconvergent \(F\)isocrystals. Geometric Aspects of Dwork Theory, PP. 819–835. de Gruyter, Berlin (2004)
Kedlaya, K.S.: Fourier transforms and \(p\)adic “Weil II”. Compos. Math. 142, 1426–1450 (2006)
Kedlaya, K.S.: Swan conductors for \(p\)adic differential modules. II: global variation. J. Inst. Math. Jussieu 10, 191–224 (2011)
Kedlaya, K.S.: Notes on isocrystals. arXiv:1606.01321 (2016)
Kedlaya, K.S.: Étale and crystalline companions, I. arXiv:1811.00204 (2018)
Lafforgue, L.: Chtoucas de Drinfeld et correspondance de Langlands. Invent. Math. 147, 1–241 (2002)
Larsen, M.J., Pink, R.: Determining representations from invariant dimensions. Invent. Math. 102, 377–398 (1990)
Larsen, M.J., Pink, R.: Abelian varieties, \(\ell \)adic representations, and \(\ell \)independence. Math. Ann. 302, 561–580 (1995)
Lazda, C.: A note on effective descent for overconvergent isocrystals. arXiv:1706.05300 (2017)
Mochizuki, T.: A characterization of semisimple local system by tame pure imaginary pluriharmonic metric. arXiv:math/0402122 (2004)
Pál, A.: The \(p\)adic monodromy group of abelian varieties over global function fields of characteristic \(p\). arXiv:1512.03587 (2015)
Serre, J.P.: Zeta and \(L\)functions, Arithmetical Algebraic Geometry (Proc. Conf. Purdue Univ.), vol. 1966, pp. 82–92. Harper & Row, New York (1963)
Serre, J.P.: Groupes de Grothendieck des schémas en groupes réductifs déployés. Publ. Math. IHES 34, 37–52 (1968)
Serre, J.P.: Lettres à Ken Ribet du 1/1/1981 et du 29/1/1981, Œuvres  Collected Papers IV, pp. 1–12. Springer, Heidelberg (2000)
Tsuzuki, N.: Morphisms of \(F\)isocrystals and the finite monodromy theorem for unitroot \(F\)isocrystals. Duke Math. J. 111, 385–418 (2002)
Wiesend, G.: A construction of covers of arithmetic schemes. J. Number Theory 121, 118–131 (2006)
Acknowledgements
Open access funding provided by Projekt DEAL. I am grateful to my advisors Hélène Esnault and Vasudevan Srinivas for the helpful discussions. In particular, I thank Hélène Esnault for having spotted a gap in the original proof of Theorem 4.4.2. I have also greatly benefited from many conversations with Emiliano Ambrosi on the contents of the article. I thank Abe Tomoyuki, who has kindly answered my questions on isocrystals and for all the valuable comments on a draft of this text. I thank Anna Cadoret, Chun Yin Hui, and Kiran Kedlaya for feedback. Finally, I thank the referee for his/her detailed comments and useful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Neutral Tannakian categories with Frobenius
Appendix: Neutral Tannakian categories with Frobenius
We introduce in this appendix the notion of neutral Tannakian categories with Frobenius, and we present a fundamental exact sequence for these categories. This formalism applies to the categories of coefficient objects, as explained in Proposition 3.1.7. We have preferred to work here in a more general setting in order to include some other categories, such as the category of convergent isocrystals.
Definition and Weil group
Definition A.1.1
A neutral Tannakian category with Frobenius is a neutral Tannakian category over some field \(\mathbb {K}\), endowed with a \(\mathbb {K}\)linear \(\otimes \)autoequivalence \(F^*:\widetilde{\mathbf {C}}\rightarrow \widetilde{\mathbf {C}}\).
Construction A.1.2
Let \((\widetilde{\mathbf {C}},F^*)\) be a neutral Tannakian category with Frobenius over some field \(\mathbb {K}\). We denote by \(\mathbf {C}_0\) the category of pairs \((\mathcal {E},\Phi )\), where \(\mathcal {E}\in \widetilde{\mathbf {C}}\) and \(\Phi \) is an isomorphism between \(F^*\mathcal {E}\) and \(\mathcal {E}\). A morphism between two objects \((\mathcal {E},\Phi )\) and \((\mathcal {E}',\Phi ')\) is a morphism \(f:\mathcal {E}\rightarrow \mathcal {E}'\) such the following diagram commutes
Let \(\Psi :\mathbf {C}_0\rightarrow \widetilde{\mathbf {C}}\) be the functor which sends \((\mathcal {E},\Phi )\) to \(\mathcal {E}\). Write \(\mathbf {C}\) for the smallest Tannakian subcategory of \(\widetilde{\mathbf {C}}\) containing the essential image of \(\Psi \). Choose a fibre functor \(\omega \) of \(\widetilde{\mathbf {C}}\) over \(\mathbb {K}\). It restricts to a fibre functor of \(\mathbf {C}\) which we will denote by the same symbol. We write \(\omega _0\) for the fibre functor of \(\mathbf {C}_0\) given by the composition \(\omega \circ \Psi \). We define \(\pi _1(\mathbf {C},\omega )\) and \(\pi _1(\mathbf {C}_0,\omega _0)\) as the Tannakian groups of \(\mathbf {C}\) and \(\mathbf {C}_0\) with respect to \(\omega \) and \(\omega _0\) respectively. The functor \(\Psi \) induces a closed immersion \(\pi _1(\mathbf {C},\omega )\hookrightarrow \pi _1(\mathbf {C}_0,\omega _0)\) and for every \(\mathcal {E}_0=(\mathcal {E},\Phi )\in \mathbf {C}_0\) a closed immersion \(G(\mathcal {E},\omega )\hookrightarrow G(\mathcal {E}_0,\omega _0)\).
Definition A.1.3
We say that an object in \(\mathbf {C}_0\) is constant if its image in \(\mathbf {C}\) is trivial, i.e. isomorphic to \(\mathbb {1}^{\oplus n}\) for some \(n\in \mathbb {N}\). The constant objects of \(\mathbf {C}_0\) form a Tannakian subcategory \(\mathbf {C}_{{{\,\mathrm{cst}\,}}}\subseteq \mathbf {C}_0\). Let \( \pi _1(\mathbf {C}_0,\omega _0)^{{{\,\mathrm{cst}\,}}}\) be the Tannakian group of \(\mathbf {C}_{{{\,\mathrm{cst}\,}}}\) with respect to \(\omega _0\). The inclusion \(\mathbf {C}_{{{\,\mathrm{cst}\,}}}\subseteq \mathbf {C}_0\) induces a faithfully flat morphism \(\pi _1(\mathbf {C}_0,\omega _0)\twoheadrightarrow \pi _1(\mathbf {C}_0,\omega _0)^{{{\,\mathrm{cst}\,}}}\). For every object \(\mathcal {E}_0\in \mathbf {C}_0\), we denote by \(G(\mathcal {E}_0,\omega _0)^{{{\,\mathrm{cst}\,}}}\) the Tannakian group of the full subcategory \(\langle \mathcal {E}_0\rangle _{{{\,\mathrm{cst}\,}}}\subseteq \langle \mathcal {E}_0 \rangle \) of constant objects. This induces a faithfully flat morphism \(G(\mathcal {E}_0,\omega _0)\twoheadrightarrow G(\mathcal {E}_0,\omega _0)^{{{\,\mathrm{cst}\,}}}\).
Construction A.1.4
(Weil group) If \((\widetilde{\mathbf {C}},F^*)\) admits an isomorphism of fibre functors \(\eta :\omega \Rightarrow \omega \circ F^*\), then the group \(\pi _1(\mathbf {C},\omega )\) is endowed with an automorphism \(\varphi \) which is constructed in the following way. For every \(\mathbb {K}\)algebra R, the automorphism \(\varphi \) sends \(\alpha \in \pi _1(\mathbf {C},\omega )(R)\) to \(\eta _R^{1} \circ \alpha \circ \eta _R\), where \(\eta _R\) is the extension of scalars of \(\eta \) from \(\mathbb {K}\) to R. Let \(W(\mathbf {C}_0,\omega _0)\) be the semidirect product \(\pi _1(\mathbf {C},\omega )\rtimes \mathbb {Z}\), as group scheme over \(\mathbb {K}\), where \(1\in \mathbb {Z}\) acts on \(\pi _1(\mathbf {C},\omega )\) as \(\varphi \) acts on \(\pi _1(\mathbf {C},\omega )\). We say that \(W(\mathbf {C}_0,\omega _0)\) is the Weil group of \(\mathbf {C}_0\).
Remark A.1.5
Thanks to [14], we know that if \(\mathbb {K}\) is algebraically closed, an isomorphism \(\eta \) as in Sect. A.1.4 always exists. This is not the case, in general, when \(\mathbb {K}\) is not algebraically closed. For coefficient objects, an isomorphism \(\eta \) can be constructed without extending \(\mathbb {K}\), as it is explained in Remark 3.2.3.
Lemma A.1.6
Let \((\widetilde{\mathbf {C}},F^*)\) be a neutral Tannakian category with Frobenius which admits a fibre functor \(\omega \) isomorphic to \(\omega \circ F^*\). There exists a natural equivalence of categories \(\mathbf {C}_0\xrightarrow {\sim }\mathbf {Rep}_{\mathbb {K}}(W(\mathbf {C}_0,\omega _0))\) and a natural morphism \(\iota :W(\mathbf {C}_0,\omega _0)\rightarrow \pi _1(\mathbf {C}_0,\omega _0)\) such that the following diagram commutes
where the equivalence \(\mathbf {C}_0\xrightarrow {\sim }\mathbf {Rep}_{\mathbb {K}}(\pi _1(\mathbf {C}_0,\omega _0))\) is the one induced by the fibre functor \(\omega _0\). In addition, the image of \(\iota \) is Zariskidense in \(\pi _1(\mathbf {C}_0,\omega _0)\).
Proof
For every \((\mathcal {E},\Phi )\in \mathbf {C}_0\), we extend the natural representation of \(\pi _1(\mathbf {C},\omega )\) on the vector space \(\omega (\mathcal {E})\) to a representation of \(W(\mathbf {C}_0,\omega _0)\). Write e for the identity point in \(\pi _1(\mathbf {C},\omega )(\mathbb {K})\). We impose that \((e,1)\in W(\mathbf {C}_0,\omega _0)(\mathbb {K})\) acts on \(\omega (\mathcal {E})\) via \(\omega (\Phi )\circ \eta _{\mathcal {E}}\), where \(\eta _{\mathcal {E}}\) is the isomorphism induced by \(\eta \) between \(\omega (\mathcal {E})\) and \(\omega (F^*\mathcal {E})\). This defines an equivalence \(\mathbf {C}_0\xrightarrow {\sim }\mathbf {Rep}_{\mathbb {K}}(W(\mathbf {C}_0,\omega _0))\) and a morphism \(\iota : W(\mathbf {C}_0,\omega _0)\rightarrow \pi _1(\mathbf {C}_0,\omega _0)\) satisfying the required properties. By the Tannaka reconstruction theorem, the affine group \(\pi _1(\mathbf {C}_0,\omega )\) is the proalgebraic completion of \(W(\mathbf {C}_0,\omega _0)\), thus the image of \(\iota \) is Zariskidense in \(\pi _1(\mathbf {C}_0,\omega )\). \(\square \)
The fundamental exact sequence
Lemma A.2.1
Let \((\widetilde{\mathbf {C}},F^*)\) be a neutral Tannakian category with Frobenius and let \(\omega \) be a fibre functor of \(\widetilde{\mathbf {C}}\). The subgroup \(\pi _1(\mathbf {C},\omega )\subseteq \pi _1(\mathbf {C}_0,\omega _0)\) is a normal subgroup. In particular, for every \(\mathcal {F}\in \mathbf {C}\) there exists \(\mathcal {G}_0\in \mathbf {C}_0\) such that \(\mathcal {F}\subseteq \Psi (\mathcal {G}_0)\).
Proof
Thanks to Theorem [22, Theorem A.1], the second part of the statement follows from the first one. We may verify that the subgroup is normal after extending the field \(\mathbb {K}\) to its algebraic closure. Under the additional assumption that \(\mathbb {K}\) is algebraically closed, by Remark A.1.5 there exists an isomorphism between \(\omega \) and \(\omega \circ F^*\), so that we can construct the Weil group \(W(\mathbf {C}_0,\omega _0)\) as explained in Sect. A.1.4. By Lemma A.1.6, the group scheme \(W(\mathbf {C}_0,\omega _0)\) is endowed with a natural morphism \(\iota : W(\mathbf {C}_0,\omega _0)\rightarrow \pi _1(\mathbf {C}_0,\omega _0)\) with Zariskidense image. Let H be the normaliser of \(\pi _1(\mathbf {C},\omega )\) in \(\pi _1(\mathbf {C}_0,\omega _0)\). The group \(\pi _1(\mathbf {C},\omega )\) is normal in \(W(\mathbf {C}_0,\omega _0)\), hence the \(\mathbb {K}\)point \((e,1)\in W(\mathbf {C}_0,\omega _0)(\mathbb {K})\) normalizes \(\pi _1(\mathbf {C},\omega )\). As a consequence, \(\iota (e,1)\in \pi _1(\mathbf {C}_0,\omega _0)(\mathbb {K})\) is contained in \(H(\mathbb {K})\). The group \(W(\mathbf {C}_0,\omega _0)\) is generated by \(\pi _1(\mathbf {C},\omega )\) and (e, 1), thus the image of \(\iota \) is contained in H. This implies that \(H=\pi _1(\mathbf {C}_0,\omega _0)\), which shows that \(\pi _1(\mathbf {C},\omega )\) is normal in \(\pi _1(\mathbf {C}_0,\omega _0)\), as we wanted. \(\square \)
Theorem A.2.2
Let \((\widetilde{\mathbf {C}},F^*)\) be a neutral Tannakian category over \(\mathbb {K}\) with Frobenius and let \(\omega \) be a fibre functor of \(\widetilde{\mathbf {C}}\). The following statements hold.

(i)
The morphisms constructed in Sects. A.1.2 and A.1.3 form an exact sequence
$$\begin{aligned} 1\rightarrow \pi _1(\mathbf {C},\omega )\rightarrow \pi _1(\mathbf {C}_0,\omega _0) \rightarrow \pi _1(\mathbf {C}_0,\omega _0)^{{{\,\mathrm{cst}\,}}} \rightarrow 1. \end{aligned}$$ 
(ii)
For every \(\mathcal {E}_0=(\mathcal {E},\Phi )\in \mathbf {C}_0\) and every \(\mathcal {F}\in \langle \mathcal {E}\rangle \), there exists \(\mathcal {G}_0\in \langle \mathcal {E}_0\rangle \) such that \(\mathcal {F}\subseteq \Psi (\mathcal {G}_0)\).

(iii)
For every object \(\mathcal {E}_0=(\mathcal {E},\Phi )\in \mathbf {C}_0\), the exact sequence of (i) sits in a commutative diagram with exact rows
where the vertical arrows are the natural quotients.

(iv)
The affine group scheme \(\pi _1(\mathbf {C}_0,\omega _0)^{{{\,\mathrm{cst}\,}}}\) is isomorphic to the proalgebraic completion of \(\mathbb {Z}\) over \(\mathbb {K}\) and \(G(\mathcal {E}_0,x)^{{{\,\mathrm{cst}\,}}}\) is a commutative algebraic group.
Proof
We already know that the sequence of part (i) is exact on the left and on the right. It remains to show the exactness in the middle using Theorem [22, Theorem A.1]. Condition (a) is satisfied by construction. For condition (b) we notice that a \(\otimes \)functor sends trivial objects to trivial objects. Therefore, for every \((\mathcal {E},\Phi )\in \mathbf {C}_0\), the maximal trivial subobject \(\mathcal {F}\subseteq \mathcal {E}\) is sent by \(F^*\) to the maximal trivial subobject of \(F^*(\mathcal {E})\). This means that the restriction of \(\Phi \) to \(F^*(\mathcal {F})\) defines an isomorphism between \(F^*(\mathcal {F})\) and \(\mathcal {F}\) that we denote by \(\Phi _{\mathcal {F}}\). The pair \((\mathcal {F},\Phi _{\mathcal {F}})\) is the subobject of \((\mathcal {E},\Phi )\) with the desired property. Condition (c) is proven in Lemma A.2.1.
For part (ii) we notice that the subgroup \(G(\mathcal {E},\omega ) \subseteq G(\mathcal {E}_0,\omega _0)\) is a quotient of \(\pi _1(\mathbf {C},\omega )\subseteq \pi _1(\mathbf {C}_0,\omega _0)\), thus it is normal. By Theorem [22, Theorem A.1], this implies the desired result. The diagram of part (iii) is obtained by taking the natural morphisms of the Tannakian groups. To prove that the lower sequence is exact we proceed as in part (i), replacing Lemma A.2.1 with part (ii). Finally, the category \(\mathbf {C}_{{{\,\mathrm{cst}\,}}}\) is equivalent to \(\mathbf {Rep}_{\mathbb {K}}(\mathbb {Z})\), thus \(\pi _1(\mathbf {C}_0,\omega _0)^{{{\,\mathrm{cst}\,}}}\) is isomorphic to the proalgebraic completion of \(\mathbb {Z}\) over \(\mathbb {K}\). In particular, for every \(\mathcal {E}_0\in \mathbf {C}_0\), the algebraic group \(G(\mathcal {E}_0,\omega _0)^{{{\,\mathrm{cst}\,}}}\), being a quotient of \(\pi _1(\mathbf {C}_0,\omega _0)^{{{\,\mathrm{cst}\,}}}\), is commutative. This concludes the proof. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
D’Addezio, M. The monodromy groups of lisse sheaves and overconvergent Fisocrystals. Sel. Math. New Ser. 26, 45 (2020). https://doi.org/10.1007/s00029020005693
Published:
DOI: https://doi.org/10.1007/s00029020005693