No Arabic abstract
Let E be a CM number field, F its maximal totally real subfield, c the generator of Gal(E/F), p an odd prime totally split in E, and S a finite set of places of E containing the places above p. Let r : G_{E,S} --> GL_3(F_p^bar) be a modular, absolutely irreducible, Galois representation of type U(3), i.e. such that r^* = r^c, and let X(r) be the rigid analytic generic fiber of its universal G_{E,S}-deformation of type U(3). We show that each irreducible component of the Zariski-closure of the modular points in X(r) has dimension at least 6[F:Q]. We study an analogue of the infinite fern of Gouvea-Mazur in this context and deal with the Hilbert modular case as well. As important steps, we prove that any first order deformation of a generic enough crystalline representation of Gal(Q_p^bar/Q_p) (of any dimension) is a linear combination of trianguline deformations, and that unitary eigenvarieties (of any rank) are etale over the weight space at the non-critical classical points. As another application, we obtain a general theorem about the image of the localization at p of the p-adic Adjoint Selmer group of the p-adic Galois representations attached to any cuspidal, cohomological, automorphic representation Pi of GL_n(A_E) such that Pi^* = Pi^c (for any n).
Suppose $rho_1, rho_2$ are two $ell$-adic Galois representations of the absolute Galois group of a number field, such that the algebraic monodromy group of one of the representations is connected and the representations are locally potentially equivalent at a set of places of positive upper density. We classify such pairs of representations and show that up to twisting by some representation, it is given by a pair of representations one of which is trivial and the other abelian. Consequently, assuming that the first representation has connected algebraic monodromy group, we obtain that the representations are potentially equivalent, provided one of the following conditions hold: (a) the first representation is absolutely irreducible; (b) the ranks of the algebraic monodromy groups are equal; (c) the algebraic monodromy group of the second representation is also connected and (d) the commutant of the image of the second representation remains the same upon restriction to subgroups of finite index of the Galois group.
For every prime number $pgeq 3$ and every integer $mgeq 1$, we prove the existence of a continuous Galois representation $rho: G_mathbb{Q} rightarrow Gl_m(mathbb{Z}_p)$ which has open image and is unramified outside ${p,infty}$ (resp. outside ${2,p,infty}$) when $pequiv 3$ mod $4$ (resp. $p equiv 1$ mod $4$).
This article is the first part of a series of three articles about compatible systems of symplectic Galois representations and applications to the inverse Galois problem. In this first part, we determine the smallest field over which the projectivisation of a given symplectic group representation satisfying some natural conditions can be defined. The answer only depends on inner twists. We apply this to the residual representations of a compatible system of symplectic Galois representations satisfying some mild hypothesis and obtain precise information on their projective images for almost all members of the system, under the assumption of huge residual images, by which we mean that a symplectic group of full dimension over the prime field is contained up to conjugation. Finally, we obtain an application to the inverse Galois problem.
A strategy to address the inverse Galois problem over Q consists of exploiting the knowledge of Galois representations attached to certain automorphic forms. More precisely, if such forms are carefully chosen, they provide compatible systems of Galois representations satisfying some desired properties, e.g. properties that reflect on the image of the members of the system. In this article we survey some results obtained using this strategy.
In this paper we generalize results of P. Le Duff to genus n hyperelliptic curves. More precisely, let C/Q be a hyperelliptic genus n curve and let J(C) be the associated Jacobian variety. Assume that there exists a prime p such that J(C) has semistable reduction with toric dimension 1 at p. We provide an algorithm to compute a list of primes l (if they exist) such that the Galois representation attached to the l-torsion of J(C) is surjective onto the group GSp(2n, l). In particular we realize GSp(6, l) as a Galois group over Q for all primes l in [11, 500000].