×

Simply connected projective manifolds in characteristic \(p>0\) have no nontrivial stratified bundles. (English) Zbl 1203.14029

Let \(X\) be a smooth projective variety defined over an algebraically closed field of characteristic \(p>0\). Let \(F\) denote the absolute Frobenius morphism on \(X\). A stratified bundle on \(X\) is a sequence of locally free sheaves \(\{E_n\} _{n\in {\mathbb N}}\) together with isomorphisms \(\sigma _n: F^*E_{n+1}\to E_n\). D. Gieseker [Ann. Sc. Norm. Super. Pisa 2, 1–31 (1975; Zbl 0322.14009)] conjectured that if the étale fundamental group of \(X\) vanishes then \(X\) has only trivial stratified bundles. The main aim of the paper under review is proof of this conjecture.
In characteristic zero the above conjecture is analogous to the fact that if étale fundamental group of \(X\) vanishes then a pro-algebraic completion of \(X\) also vanishes (this was known due to Grothendieck and, independently, Malcev).
Roughly speaking, the proof follows from application of E. Hrushovski’s theorem on periodic points [arXiv:math/0406514]) to a Verschiebung morphism on the moduli space of semistable vector bundles on \(X\) (see the reviewer’s paper in [Ann. Math. 159, 251–276 (2004; Zbl 1080.14014)]).

MSC:

14G17 Positive characteristic ground fields in algebraic geometry
14J60 Vector bundles on surfaces and higher-dimensional varieties, and their moduli
PDF BibTeX XML Cite
Full Text: DOI arXiv

References:

[1] Brenner, H., Kaid, A.: On deep Frobenius descent and flat bundles. Math. Res. Lett. 15, 10001–10015 (2008) · Zbl 1200.14061
[2] Deligne, P.: Équations Différentielles à Points Singuliers Réguliers. Lecture Notes in Mathematics, vol. 163. Springer, Berlin-New York (1970) · Zbl 0244.14004
[3] dos Santos, J.-P.-S.: Fundamental group schemes for stratified sheaves. J. Algebra 317(2), 691–713 (2007) · Zbl 1130.14032
[4] Gieseker, D.: Stable vector bundles and the Frobenius morphism. Ann. Sc. Norm. Super. 4-ième Sér. 6(1), 95–101 (1973) · Zbl 0281.14013
[5] Gieseker, D.: Flat vector bundles and the fundamental group in non-zero characteristics. Ann. Sc. Norm. Super. Pisa, 4 Sér. 2(1), 1–31 (1975) · Zbl 0322.14009
[6] Gieseker, D.: On the moduli of vector bundles on an algebraic surface. Ann. Math. 106(1), 45–60 (1977) · Zbl 0381.14003
[7] Grothendieck, A.: Représentations linéaires et compactifications profinies des groupes discrets. Manuscr. Math. 2, 375–396 (1970) · Zbl 0239.20065
[8] Hrushovski, E.: The elementary theory of Frobenius automorphisms. http://de.arxiv.org/pdf/math/0406514v1
[9] Huybrechts, D., Lehn, M.: The Geometry of Moduli Spaces of Sheaves. Aspects of Mathematics, vol. E31. Vieweg, Braunschweig (1997) · Zbl 0872.14002
[10] Huppert, B.: Endliche Gruppen. Die Grundlehren der mathematischen Wissenschaft, vol. 134. Springer, Berlin (1967) · Zbl 0217.07201
[11] Lange, H., Stuhler, U.: Vektorbündel auf Kurven und Darstellungen der algebraischen Fundamentalgruppe. Math. Z. 156, 73–83 (1977) · Zbl 0349.14018
[12] Langer, A.: Semistable sheaves in positive characteristic. Ann. Math. 159, 251–276 (2004) · Zbl 1080.14014
[13] Langer, A.: Moduli spaces of sheaves in mixed characteristics. Duke Math. J. 124(3), 571–586 (2004) · Zbl 1086.14036
[14] Malcev, A.: On isomorphic matrix representations of infinite groups. Mat. Sb. N.S. 8(50), 405–422 (1940) · JFM 66.0088.03
[15] Maurischat, A.: Galois theory for iterative connections and nonreduced Galois groups. http://de.arxiv.org/pdf/math/0712.3748v3 · Zbl 1250.13009
[16] Simpson, C.: Moduli of representations of the fundamental group of a smooth projective variety. Publ. Math. I.H.E.S. 79, 47–129 (1994) · Zbl 0891.14005
[17] SGA1: Revêtements étales et groupe fondamental. SGA 1
[18] SGA2: Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux. SGA2
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.