Fundamental group schemes of \(n\)-fold symmetric product of a smooth projective curve (Q2062919)

Let \(X\) be a complete connected reduced scheme defined over an algebraically closed field \(k\). Fix \(x\in X(k)\). Recall that the \(S\)-fundamental group scheme of \((X, x)\) is the Tannaka dual to the neutral Tannakian category of numerically flat vector bundles over \(X\), where the fibre functor is given by \(E\mapsto E(x)\) [\textit{A. Langer}, Ann. Inst. Fourier 61, No. 5, 2077--2119 (2011; Zbl 1247.14019)]. Let \(C\) be a smooth projective curve defined over an algebraically closed field \(k\) of positive characteristic. Let \(S^n(C)\) be the \(n\)-fold symmetric product of \(C\). The main result of the paper under review states that the natural morphism \(\tilde{\psi^S_*}\colon \pi^S(C, x)_{\mathrm{ab}}\rightarrow \pi^S(S^n(C), nx)\) is an isomorphism of affine \(k\)-group schemes. To prove this, they first show that the morphism \(\tilde{\psi^S_*}\) is faithfully flat, using the equivalent characterization in terms of representation categories of respective affine group schemes. To show that \(\tilde{\psi^S_*}\) is closed immersion, they use the Albanese morphism \(\mathrm{alb}_X \colon X \rightarrow \mathrm{Alb}(X)\). As a consequence of the main result, they obtain the similar result for the Nori's fundamental group scheme \(\pi^N\) and the etale fundament group \(\pi^{\mathrm{et}}\).