On the semisimplicity of pure sheaves
HTML articles powered by AMS MathViewer
- by Lei Fu PDF
- Proc. Amer. Math. Soc. 127 (1999), 2529-2533 Request permission
Abstract:
We obtain a criteria for a pure sheaf to be semisimple. As a corollary, we prove the following: Let $X_0$ and $S_0$ be two schemes over a finite field $\mathbf {F}_q$, and let $f_0: X_0\rightarrow S_0$ be a proper smooth morphism. Assume $S_0$ is normal and geometrically connected, and assume there exists a closed point $s$ in $S_0$ such that the Frobenius automorphism $F_s$ acts semisimply on $H^i(X_{\bar s}, {\overline {\mathbf {Q}_l}})$, where $X_{\bar s}$ is the geometric fiber of $f_0$ at $s$ (this last assumption is unnecessary if the semisimplicity conjecture is true). Then $R^if_{0\ast } {\overline {\mathbf {Q}_l}}$ is a semisimple sheaf on $S_0$. This verifies a conjecture of Grothendieck and Serre provided the semisimplicity conjecture holds. As an application, we prove that the galois representations of function fields associated to the $l$-adic cohomologies of $K3$ surfaces are semisimple. We also get a theorem of Zarhin about the semisimplicity of the Galois representations of function fields arising from abelian varieties. The proof relies heavily on Deligne’s work on Weil conjectures.References
- Pierre Deligne, La conjecture de Weil. II, Inst. Hautes Études Sci. Publ. Math. 52 (1980), 137–252 (French). MR 601520, DOI 10.1007/BF02684780
- Pierre Deligne, La conjecture de Weil pour les surfaces $K3$, Invent. Math. 15 (1972), 206–226 (French). MR 296076, DOI 10.1007/BF01404126
- I. I. Pjateckiĭ-Šapiro and I. R. Šafarevič, The arithmetic of surfaces of type $\textrm {K}3$, Proceedings of the International Conference on Number Theory (Moscow, 1971), 1973, pp. 44–54, 264 (Russian). MR 0335521
- C. T. Rajagopal and M. S. Rangachari, On an untapped source of medieval Keralese mathematics, Arch. History Exact Sci. 18 (1977/78), no. 2, 89–102. MR 0479824, DOI 10.1007/BF00348142
- A. Weil, Courbes Algébriques et Variétés Abéliennes, Hermann, Paris (1971).
- Ju. G. Zarhin, Endomorphisms of Abelian varieties over fields of finite characteristic, Izv. Akad. Nauk SSSR Ser. Mat. 39 (1975), no. 2, 272–277, 471 (Russian). MR 0371897
Additional Information
- Lei Fu
- Affiliation: Institute of Mathematics, Nankai University, Tianjin, People’s Republic of China
- Email: leifu@sun.nankai.edu.cn
- Received by editor(s): August 11, 1997
- Published electronically: May 19, 1999
- Communicated by: Ron Donagi
- © Copyright 1999 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 127 (1999), 2529-2533
- MSC (1991): Primary 14F20, 14G15
- DOI: https://doi.org/10.1090/S0002-9939-99-05414-3
- MathSciNet review: 1676348