On the fundamental group schemes of certain quotient varieties (Q2075410)

This paper extends the result [\textit{M. A. Armstrong}, Proc. Camb. Philos. Soc. 64, 299--301 (1968; Zbl 0159.53002)] to the setting of \(F\)-divided [\textit{J. P. P. dos Santos}, J. Algebra 317, No. 2, 691--713 (2007; Zbl 1130.14032)] and essentially finite fundamental group schemes [\textit{M. V. Nori}, Compos. Math. 33, 29--41 (1976; Zbl 0337.14016)]. Given \(X\) an algebraic variety over an algebraically closed field of positive characteristic, where a group \(G\) acts, it is interesting to study the relationship between the fundamental group of \(X\) and of the possible quotient \(X/G\). In the \(F\)-divided case, \(G\) is finite acting on a normal variety \(Y\) with quotient \(f:Y\longrightarrow X\); then the induced application on the fundamental groups is a closed and normal immersion with cokernel \(G/I\), \(I\) being the subgroup of \(G\) generated by elements with at least a fixed point (c.f. Theorem 6.1). In the essentially finite case, if \(Y\) is a CPC (connected by proper chains) variety and \(f: Y\longrightarrow X\) the quotient, then we get an induced morphism with analogous properties between the fundamental groups (c.f. Theorem 9.1). After the introduction in section 1, section 2 covers preliminaries on Tannakian formalism and section 3 is about ramified finite morphisms. Sections 4, 5 and 6 covers the \(F\)-divided case, respectively, preliminaries, the case of a free action and the quotient. Similar structure applies to sections 7, 8 and 9 on the essentially finite case.