Some new evidence for the Fontaine-Mazur conjecture (Q2470960)

Let \(K\) be a number field, \(p\) a prime number, and \(S\) a finite set of primes of \(K\) not containing any primes above \(p\). Let \(G_S\) be the Galois group of the maximal extension \(K_S\) of \(K\) unramified outside \(S\). The Fontaine-Mazur conjecture asserts that any continuous representation of \(G_S\) on a finite dimensional \(\mathbb{Q}_p\)-vector space \(V\) factors through a finite quotient, so \(G_S\) has no infinite \(p\)-adic analytic quotient. Based on \textit{M. Lazard}'s results [Publ. Math., Inst. Hautes Étud. Sci. 26, 389--603 (1965; Zbl 0139.02302)] on analytic pro-\(p\)-groups, \textit{N. Boston} [J. Number Theory 42, No. 3, 285--291 (1992; Zbl 0768.11044); J. Number Theory 75, No. 2, 161--169 (1999; Zbl 0928.11050)] retrieved arithmetical criteria for verifying the special cases of Fontaine-Mazur conjecture. The main result of the paper under review is the following theorem. Let \(K/F\) be an extension of number fields with finite group \(\Delta\) of order prime to \(p\). Let \(L/K\) be a Galois pro-\(p\)-extension with group \(G\) such that: (i) \(L \subset K_S\); (ii) \(L/F\) is Galois. Put \(G_1 = G/G^p[G,G]\). If the \(\Delta\)-representation of \(\bigwedge^2(G_1)\) does not contain the \(\Delta\)-representation of \(G_1\), then \(G\) is not uniformly powerful. As consequences, the author deduces the evidence of Fontaine-Mazur conjecture in the non-abelian case and in the cyclic case.