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

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the fundamental group schemes of certain quotient varieties
scientific article

    Statements

    On the fundamental group schemes of certain quotient varieties (English)
    0 references
    0 references
    0 references
    14 February 2022
    0 references
    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.
    0 references
    \(F\)-divided fundamental group scheme
    0 references
    essentially finite fundamental group scheme
    0 references
    isotropy subgroup
    0 references
    quotient space
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references