A relative Shafarevich theorem (Q706092)

Let \(X\) be a smooth projective connected curve defined over an algebraically closed field of characteristic \(p>0\) and let \(\pi_1(X)\) be its fundamental group. In [Pac. J. Math. 192, 143--158 (2000; Zbl 1068.14504)] the reviewer and \textit{K. Stevenson} considered a finite group \(G\) which is an extension of a group \(H\) of order prime to \(p\) by a \(p\)-group \(P\) and asked when such a group is a finite quotient of \(\pi_1(X)\), or equivalently whether the embedding problem \((\pi_1(X)\twoheadrightarrow H,G\twoheadrightarrow H)\) can be properly solved. The condition for this to happen was expressed in representation theoretic terms by means of the generalized Hasse-Witt invariants [\textit{S. Nakajima}, in: Galois groups and their representations, Proc. Symp. Nagoya 1981, Adv. Stud. Pure Math. 2, 69--88 (1983; Zbl 0529.14016); \textit{H.-G. Rück}, J. Number Theory 22, 177--189 (1986; Zbl 0581.14025)]. In the paper under review the author extends this result excluding the hypothesis on \(H\) to be of order prime to \(p\). He does this by means of modular representation theory.