Projective \(p\)-adic representations of the \(K\)-rational geometric fundamental group (Q5946017)

Let \(K\) be a finitely generated field, and \(C\) a nonsingular curve with a \(K\)-rational point \(P\in C(K)\). The aim of this paper is to construct \((C/K, P)\) having the large \(K\)-rational fundamental group \(\pi_1(C,P)\), that is by definition the Galois group of the maximal unramified extension of the function field \(F\) of \(C\) in which \(P\) splits completely. A basic idea is to construct an abelian scheme \(A\) over \(C\) with good reduction everywhere, and to consider the Galois representation of \(\text{Gal}(\bar F/F)\) in (a subspace of) the \(p\)-adic Tate module of \(A\) (where \(p\) is prime to the characteristic of \(K\)). If this representation has image in scalar matrices at the decomposition groups over \(P\), then it should factor through \(\pi_1(C,P)\). In this paper, two ways of constructions (in positive characteristic) are studied so that \(\pi_1(C,P)\) admits a large quotient image in \(\text{PGL}(n,\mathbb Z_p)\). One way is to use morphisms of \(C\) into the moduli space of abelian varieties whose image is not generically supersingular but does contain a supersingular point. The other way is based on the construction of \textit{G. Frey}, \textit{E. Kani} and \textit{H. Völklein} [in: Aspects of Galois theory, Pap. Conf. Galois theory, Gainesville 1996, Lond. Math. Soc. Lect. Note Ser. 256, 85--118 (1999; Zbl 0978.14021)] using a certain family of cyclic covers of the projective line with good cyclic symmetry in the \(p\)-adic Tate module. It is pointed out that in an example given in theorem 5.22 of the cited paper one should additionally assume that the characteristic of \(K\equiv 3\) mod \(4\).