×

zbMATH — the first resource for mathematics

Gauss-Manin stratification and stratified fundamental group schemes. (Stratification de Gauss-Manin et groupes fondamentaux stratifiés.) (English. French summary) Zbl 1298.14022
Let \(k\) be an algebraically closed field of characteristic \(p>0\). Let \(X/k\) be a smooth connected scheme and \(S/k\) a smooth scheme. The category \(\text{str}(X/k)\) of stratified bundles, equipped with the fiber functor at a \(k\)-value point \(x\) of \(X\) is a Tannaka category, which yields a pro-algebraic group scheme \(\pi^{\text{str}}(X, x)\), called the stratified group scheme of \(X\) at \(x\). The commutative quotient and the solvable quotient are \(\pi^{\text{str}}_{\text{comm}}(X,x)\) and \(\pi^{\text{str}}_{\text{sol}}(X,x)\) respectively.
For a smooth proper map \(f: X \to S\) with connected fibers, we fix \(x \in X(k)\) and let \(s = f(x)\). Denote \(X_s\) the fiber of \(f\) at \(s\) and let \(i: X_s \to X\) be the natural morphism. The map \(f\) yields a tensor functor \(f^*:\text{str}(S/k) \to \text{str}(X/k)\) and the map \(i\) yields a tensor functor \(i^*:\text{str}(X/k) \to \text{str}(X_s/k)\). Thus we get a sequence \[ \pi_{\text{str}}(X_s,x) \to \pi_{\text{str}}(X,x) \to \pi_{\text{str}}(S,s) \to 1 \tag{*} \] and two similar sequences \[ \pi^{\text{str}}_{\text{comm}}(X_s,x) \to \pi^{\text{str}}_{\text{comm}}(X,x) \to \pi^{\text{str}}_{\text{comm}}(S,s) \to 1 \tag{**} \] and \[ \pi^{\text{str}}_{\text{sol}}(X_s,x) \to \pi^{\text{str}}_{\text{sol}}(X,x) \to \pi^{\text{str}}_{\text{sol}}(S,s) \to 1. \tag{***} \] The main theorem of the paper is that the sequence (**) and (***) are exact, whether the sequence (*) is exact or not is unknown.
Reviewer: Xiao Xiao (Utica)

MSC:
14F05 Sheaves, derived categories of sheaves, etc. (MSC2010)
14F35 Homotopy theory and fundamental groups in algebraic geometry
14L17 Affine algebraic groups, hyperalgebra constructions
PDF BibTeX XML Cite
Full Text: DOI Link
References:
[1] Berthelot, P.; Ogus, A., Notes on crystalline cohomology, (1978), Princeton Univ. Press · Zbl 0383.14010
[2] Deligne, P.; Milne, J. S., Hodge Cycles, Motives, and Shimura Varieties, 900, Tannakian categories, 101-228, (1981), Springer-Verlag · Zbl 0477.14004
[3] Esnault, H.and; Mehta, V., Simply connected projective manifolds incharacteristic \(p > 0\) have no nontrivial stratified bundles, Inventiones Mathematicae, 181, 449-465, (2010) · Zbl 1203.14029
[4] Esnault, P. H. H.and Hai, The Gauss-Manin connection and tannaka duality, Int. Math. Res. Not., Art. ID 93978, 1-35, (2006) · Zbl 1105.14012
[5] Esnault, P. H. H.and Hai; Sun, X., On nori’s fundamental group scheme, Progress in Mathematics, 265, 377-398, (2007) · Zbl 1137.14035
[6] Gieseker, D., Flat vector bundles, Annali della Scuola Normale Superiore di Pisa, 1, 1-31, (1975) · Zbl 0322.14009
[7] Grothendieck, A.; Dieudonné, J., Éléments de Géométrie Algébrique III, (EGA 3), 17, (1963), Publication Math. IHES
[8] Grothendieck, A.; Dieudonné, J., Éléments de Géométrie Algébrique IV (EGA 4), 32, (1967), Publication Math. IHES
[9] Hartshorne, R., Algebraic geometry, (1977), Springer · Zbl 0531.14001
[10] Katz, N., Nilpotent connections and the monodromy theorem: applications of a result of turrittin, Publ. Math. IHES, 39, 175-232, (1970) · Zbl 0221.14007
[11] Ogus, A., Cohomology of the infinitesimal site, Annales scientifiques E.N.S., 8, 3, 295-318, (1975) · Zbl 0337.14018
[12] dos Santos, J., Fundamental group schemes for stratified sheaves, Journal of Algebra, 317, 691-713, (2007) · Zbl 1130.14032
[13] dos Santos, J., The behaviour of the differential Galois group on the generic and special fibres: A Tannakian approach, J. reine angew. Math., 637, 63-98, (2009) · Zbl 1242.12005
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.