Abelianization of the F-divided fundamental group scheme

Homotopy theory and fundamental groups in algebraic geometry (14F35) Positive characteristic ground fields in algebraic geometry (14G17) Picard schemes, higher Jacobians (14K30)

Abstract: Let

(X, x_{0})

be a pointed smooth proper variety defined over an algebraically closed field. The Albanese morphism for

(X, x_{0})

produces a homomorphism from the abelianization of the

F

-divided fundamental group scheme of

X

to the

F

-divided fundamental group of the Albanese variety of

X

. We prove that this homomorphism is surjective with finite kernel. The kernel is also described.

Review text

In this interesting paper the authors study homomorphisms from the abelianization \(\Pi(X,x_0)^{ab}\) of the \(F\)-divided fundamental group scheme of a proper smooth variety \(X\) over algebraically closed field \(k\) of characteristic \(p > 0\) to the \(F\)-divided fundamental group \(\Pi(A, \alpha(x_0))\) of the Albanese variety \(A\) of \(X\). The second author [J. Algebra 317, No. 2, 691--713 (2007; Zbl 1130.14032)] of the paper under review gives a description of \(F\)-divided fundamental group scheme in the case of abelian varieties over algebraically closed field of characteristic \(p > 0\). He proves that it is correspond to a representation of the fundamental group scheme by \textit{M. V. Nori} [Compos. Math. 33, 29--41 (1976; Zbl 0337.14016)]. The authors generalize this analysis to proper and smooth varieties over \( k\). The main result (Theorem 4.1) of the paper under review is as followa. The homomorphism \(\alpha_{\#}: \Pi(X,x_0)^{ab} \to \Pi(A, \alpha(x_0))\) is surjective and its kernel is \(\mathrm{Diag}(\mathrm{NS}(X))^{`} \times K\). Here \(\alpha: X \to A\) is the Albanese morphism, \(\mathrm{NS}(X)^{`} \) is the subgroup of elements whose order is finite and prime to \(p\) of the Néron-Severi group \( NS(X) \) and \(K\) is the group of \( k\)-points of the Cartier dual of the local affine group scheme \(\mathbf{ Pic}^{0}(X)/ \mathbf{ Pic}^{0}_{\mathrm{red}}(X)\). The proof is given by means of a number of propositions together with applications of results by \textit{W. C. Waterhouse} [Introduction to affine group schemes. New York, Heidelberg, Berlin: Springer-Verlag (1979; Zbl 0442.14017)] and results by the second author [loc. cit.]. The authors of the paper under review indicate that analogous considerations for the essentially finite fundamental group scheme were undertaken by \textit{M. Antei} [Isr. J. Math. 186, 427--446 (2011; Zbl 1263.14047)].

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Abelianization of the \(F\)-divided fundamental group scheme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2358324)