It is proved that every two-dimensional residual Galois representation of the absolute Galois group of an arbitrary number field lifts to a characteristic zero $p$-adic representation, if local lifting problems at places above $p$ are unobstructed.
We prove new automorphy lifting theorems for residually reducible Galois representations of unitary type in which the residual representation is permitted to have an arbitrary number of irreducible constituents.
In recent work, the authors proved a general result on lifting $G$-irreducible odd Galois representations $\mathrm{Gal}(\overline{F}/F) \to G(\overline{\mathbb{F}}_{\ell})$, with $F$ a totally real number field and $G$ a reductive group, to geometric $\ell$-adic representations. In this note we take $G$ to be a classical group and construct many examples of $G$-irreducible representations to which these new lifting methods apply, but to which the lifting methods provided by potential automorphy theorems do not.
We study irreducible mod p representations, valued in general reductive groups, of the Galois group of a number field. When the number field is totally real, we show that odd representations satisfying local ramification hypotheses and a certain multiplicity-free condition on the adjoint representation admit geometric lifts. For general number fields, we show without any oddness or multiplicity condition that the representation admits a p-adic lift if it does everywhere locally.
Let $ρ$ be a mod $\ell$ Galois representation. We show how to compute $ρ$, given the characteristic polynomial of the image of the Frobenius at one prime $p$ and a curve $C$ whose Jacobian contains $ρ$ in its $\ell$-torsion. The main ingredient is a method to $p$-adically lift torsion points on a Jacobian in the framework of Makdisi's algorithms.
We study irreducible odd mod $p$ Galois representations $\barρ \colon \mathrm{Gal}(\overline{F}/F) \to G(\overline{\mathbb{F}}_p)$, for $F$ a totally real number field and $G$ a general reductive group. For $p \gg_{G, F} 0$, we show that any $\barρ$ that lifts locally, and at places above $p$ to de Rham and Hodge-Tate regular representations, has a geometric $p$-adic lift. We also prove non-geometric lifting results without any oddness assumption.
Let $F$ be a number field, let $N\geq 3$ be an integer, and let $k$ be a finite field of characteristic $\ell$. We show that if $\rb:G_F\longrightarrow GL_N(k)$ is a continuous representation with image of $\rb$ containing $SL_N(k)$ then, under moderate conditions at primes dividing $\ell\infty$, there is a continuous representation $ρ:G_F\longrightarrow GL_N(W(k))$ unramified outside finitely many primes with $\rb\simρ\mod{\ell}$.
We extend the lifting methods of our previous paper to lift reducible odd representations $\barρ:\mathrm{Gal}(\overline{F}/F) \to G(k)$ of Galois groups of global fields $F$ valued in Chevalley groups $G(k)$. Lifting results, when combined with automorphy lifting results pioneered by Wiles in the number field case and the results on the global Langlands correspondence proved by Drinfeld and L. Lafforgue in the function field case, give the only known method to access modularity of mod $p$ Galois representations in both reducible and irreducible cases. In the reducible case this allows one to s…
In this paper we investigate the problem of lifting of Galois covers between algebraic curves from characteristic p>0 to characteristic 0. We prove a refined version of the main result of Garuti concerning this problem in [Ga]. We formulate a refined version of the Oort conjecture on liftings of cyclic Galois covers between curves. We introduce the notion of fake liftings of cyclic Galois covers between curves, their existence would contradict the Oort conjecture, and we study the geometry of their semi-stable models. Finally, we introduce and investigate on some examples the smoothening proce…
Typos in the abstract have been corrected. Let $ρ_n$ be an ordinary weight two representation of absolute Galois group of the rationals to $GL_2(\mathcal O/π^n)$. Here $\mathcal O$ is a ramified DVR with uniformiser $π$. If $ρ_n$ satisfies mild hypotheses we lift it to a characteristic zero $\mathcal O$-valued geometric weight two representation. The earlier methods could handle only the unramified case. We show that the deformation ring of a residual representation arising from a newform can be arranged to be a prescribed DVR provided we choose a suitable auxiliary level. We extend earlier pr…
Let $p>5$ be a prime integer and $K/\mathbb{Q}_p$ a finite ramified extension with ring of integers $\mathcal{O}$ and uniformizer $π$. Let $n>1$ be a positive integer and $ρ_n:G_\mathbb{Q} \to \text{GL}_2(\mathcal{O}/π^n)$ be a continuous Galois representation. In this article we prove that under some technical hypotheses the representation $ρ_n$ can be lifted to a representation $ρ:G_\mathbb{Q} \to \text{GL}_2(\mathcal{O})$. Furthermore, we can pick the lift restriction to inertia at any finite set of primes (at the cost of allowing some extra ramification) and get a deformation problem whose…
We prove modularity lifting theorems for l-adic Galois representations of any dimension satisfying a unitary type condition and a Fontaine-Laffaille type condition at l. This extends the results of Clozel, Harris and Taylor, and the subsequent work by Taylor. The proof uses the Taylor-Wiles method, as improved by Diamond, Fujiwara, Kisin and Taylor, applied to Hecke algebras of unitary groups, and results of Labesse on stable base change and descent from unitary groups to GL_n.
In this paper we study deformations of mod $p$ Galois representations $τ$ (over an imaginary quadratic field $F$) of dimension $2$ whose semi-simplification is the direct sum of two characters $τ_1$ and $τ_2$. As opposed to our previous work we do not impose any restrictions on the dimension of the crystalline Selmer group $H^1_Σ(F, {\rm Hom}(τ_2, τ_1)) \subset {\rm Ext}^1(τ_2, τ_1)$. We establish that there exists a basis $\mathcal{B}$ of $H^1_Σ(F, {\rm Hom}(τ_2, τ_1))$ arising from automorphic representations over $F$ (Theorem 8.1). Assuming among other things that the elements of $\mathcal{…
Given a central isogeny $π\colon G\to H$ of connected reductive $\overline{\mathbb Q}_p$-groups, and a local Galois representation $ρ$ valued in $H(\overline{\mathbb Q}_p)$ that is trianguline in the sense of Daruvar, we study whether a lift of $ρ$ along $π$ is still trianguline. We give a positive answer under weak conditions on the Hodge--Tate--Sen weights of $ρ$, and the assumption that the trianguline parameter of $ρ$ can be lifted along $π$. This is an analogue of the results proved by Wintenberger, Conrad, Patrikis, and Hoang Duc for $p$-adic Hodge-theoretic properties of $ρ$. We describ…
Let $p\geq 5$ be a prime number, $\mathbb{F}$ a finite field of characteristic $p$ and let $\barχ$ be the mod-$p$ cyclotomic character. Let $\barρ:\operatorname{G}_{\mathbb{Q}}\rightarrow \operatorname{GL}_2(\mathbb{F})$ be a Galois representation such that the local representation $\barρ_{\restriction \operatorname{G}_{\mathbb{Q}_p}}$ is flat and irreducible. Further, assume that $\operatorname{det}\barρ=\barχ$. The celebrated theorem of Khare and Wintenberger asserts that if $\barρ$ satisfies some natural conditions, there exists a normalized Hecke-eigencuspform $f=\sum_{n\geq 1} a_n q^n$ an…
Let $F$ be a CM number field. We generalize existing automorphy lifting theorems for regular residually irreducible $p$-adic Galois representations over $F$ by relaxing the big image assumption on the residual representation.
In this paper, we prove a minimal modularity lifting theorem for Galois representations (conjecturally) associated to Siegel modular forms of genus two which are holomorphic limits of discrete series at infinity.
Let $G$ be a split reductive group with $\dim Z(G) \leq 1$. We show that for any prime $p$ that is large enough relative to $G$, there is a finitely ramified Galois representation $ρ\colon Γ_{\mathbb Q} \to G(\mathbb Z_p)$ with open image. We also show that for any given integer $e$, if the index of irregularity of $p$ is at most $e$ and if $p$ is large enough relative to $G$ and $e$, then there is a Galois representation $Γ_{\mathbb Q} \to G(\mathbb Z_p)$ ramified only at $p$ with open image, generalizing a theorem of A. Ray. The first type of Galois representation is constructed by lifting a…
In previous work we described when a single geometric representation, valued in a linear algebraic group, of the Galois group of a number field lifts through a central torus quotient to a geometric representation. In this paper we prove a much sharper result for systems of l-adic representations, such as the l-adic realizations of a motive, having common "good reduction" properties. Namely, such systems admit geometric lifts with good reduction outside a common finite set of primes. The method yields new proofs of theorems of Tate (the original result on lifting projective representations over…
The cuspidalization conjecture, which is a consequence of Grothendieck's section conjecture, asserts that for any smooth hyperbolic curve $X$ over a finitely generated field $k$ of characteristic $0$ and any non empty Zariski open $U \subset X$, every section of $π_1 (X, \bar x) \to \mathrm{Gal}_k$ lifts to a section of $π_1 (U,\bar x) \to \mathrm{Gal}_k$. We consider in this article the problem of lifting Galois sections to the intermediate quotient $ π_1^{cc}(U)$ introduced by Mochizuki. We show that when $k = \mathbb Q$ and $D=X\setminus U$ is an union of torsion sub-packets every Galois se…
We prove a non-minimal modularity lifting theorem for ordinary Galois representations over imaginary quadratic fields, conditional on a local-global compatibility conjecture for ordinary torsion classes.
This paper treats what we call `weak geometric liftings' of Galois representations associated to abelian varieties. This notion can be seen as a generalization of the idea of lifting a Galois representation along an isogeny of algebraic groups. The weaker notion only takes into account an isogeny of the derived groups and disregards the centres of the groups in question. The weakly lifted representations are required to be geometric in the sense of a conjecture of Fontaine and Mazur. The conjecture in question states that any irreducible geometric representation is a twist of a subquotient of …
We prove an integral R = T theorem for odd two dimensional p-adic representations of the absolute Galois group which are unramified at p, extending results of [CG] to the non-minimal case. We prove, for any p, the existence of Katz modular forms modulo p of weight one which do not lift to characteristic zero.
We studied framed deformations of two dimensional Galois representation of which the residue representation restrict to decomposition groups are scalars, and established a modular lifting theorem for certain cases. We then proved a family version of the result, and used it to determine the structure of deformation rings over characteristic zero fields. These can be applied to the study of exceptional zero of p-adic L-function.
We prove new automorphy lifting theorems for essentially conjugate self-dual Galois representations into $GL_n$. Existing theorems require that the residual representation have 'big' image, in a certain technical sense. Our theorems are based on a strengthening of the Taylor-Wiles method which allows one to weaken this hypothesis.
We first prove the existence of minimally ramified p-adic lifts of 2-dimensional mod p representations, that are odd and irreducible, of the absolute Galois group of Q,in many cases. This is predicted by Serre's conjecture that such representations arise from newforms of optimal level and weight. Using these minimal lifts, and arguments using compatible systems, we prove some cases of Serre's conjectures in low levels and weights. For instance we prove that there are no irreducible (p,p) type group schemes over the rational integers. We prove that a Galois representation as above of Artin cond…
We prove some new cases of weight part of Serre's conjectures for mod $p$ Galois representations associated to automorphic representations on unitary groups $U(d)$. The approach is a generalization of the work of Gee-Liu-Savitt, namely, we study reductions of certain crystalline representations, as well as crystalline lifts of these reductions.
Building on lifting results of Ramakrishna, Khare and Ramakrishna proved a purely Galois-theoretic level-raising theorem for two-dimensional odd representations of the Galois group of Q. In this paper, we generalize these techniques from type A1 to general (semi-)simple groups. We then strengthen our previous results on constructing geometric Galois representations with exceptional monodromy groups, achieving such constructions for almost all l, rather than a density-one set, and achieving greater flexibility in the Hodge numbers of the lifts; the latter improvement requires the new level-rais…
In a previous paper [CG], we showed how one could generalize Taylor-Wiles modularity lifting theorems [Wil95, TW95] to contexts beyond those in which the automorphic forms in question arose from the middle degree cohomology of Shimura varieties, in particular, to contexts in which the relevant automorphic forms contributed to cohomology in exactly two degrees. In this sequel, we extend our method to the general case in which Galois representations are expected to occur in cohomology, contingent on the (as yet unproven) existence of certain Galois representations with the expected properties. A…
We prove automorphy lifting theorems for 2-dimensional Galois representations of absolute Galois groups of totally real fields when the residual representation is of "exceptional" type. This exceptional case is when we are in characteristic 5, the residual representation has projective image PGL_2(F_5), and the fixed field of its kernel contains a primitive 5th root of unity. In this case the Taylor-Wiles patching method does not suffice and we prove our theorem by combining patching with the technique of automorphy by p-adic approximation.
The global deformation theory of residually reducible Galois representations with fixed auxiliary conditions is studied. We show that $\barρ:\operatorname{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})\rightarrow \operatorname{GL}_2(\bar{\mathbb{F}}_p)$ lifts to a Hida line for which the weights range over a congruence class modulo-$p^2$. The advantage of the purely Galois theoretic approach is that it allows us to construct $p$-adic families of Galois representations lifting the actual representation $\barρ$, and not just the semisimplification.
We extend the modularity lifting result of the arXiv:1111.2804 to allow Galois representations with some ramification at p. We also prove modularity mod 2 and 5 of certain Galois representations. We use these results to prove many new cases of the strong Artin conjecture over totally real fields in which 5 is unramified. As an ingredient of the proof, we provide a general result on the automatic analytic continuation of overconvergent p-adic Hilbert modular forms of finite slope which substantially generalizes a similar result in arXiv:1111.2804.
For a character of the absolute Galois group of a complete discrete valuation field, we define a lifting of the refined Swan conductor, using higher dimensional class field theory.
At present, the inverse Galois problem over $\mathbb{Q}$ is unsolved for the Mathieu group $M_{23}$. Here an overview of the current state in realizing $M_{23}$ as Galois group using the rigidity method and the action of braids is given. Computing braid orbits for $M_{23}$ revealed new invariants of the action of braids in addition to Fried's lifting invariant. These invariants can be used to construct generic braid orbits and more Galois realizations over $\mathbb{Q}$ for the Mathieu group $M_{24}$, but until now did not lead to success for realising $M_{23}$ as Galois group over $\mathbb{Q}$…
We prove a modularity lifting theorem for minimally ramified deformations of two-dimensional odd Galois representations, over an arbitrary number field. The main ingredient is a generalization of the Taylor-Wiles method in which we patch complexes rather than modules.
We prove a variety of results on the existence of automorphic Galois representations lifting a residual automorphic Galois representation. We prove a result on the structure of deformation rings of local Galois representations, and deduce from this and the method of Khare and Wintenberger a result on the existence of modular lifts of specified type for Galois representations corresponding to Hilbert modular forms of parallel weight 2. We discuss some conjectures on the weights of $n$-dimensional mod $p$ Galois representations. Finally, we use recent work of Taylor to prove level raising and lo…
We investigate closed subgroups $G \subseteq \mathrm{Sp}_{2g}(\mathbb{Z}_2)$ whose modulo-$2$ images coincide with the image $\mathfrak{S}_{2g + 1} \subseteq \mathrm{Sp}_{2g}(\mathbb{F}_2)$ of $S_{2g + 1}$ or the image $\mathfrak{S}_{2g + 2} \subseteq \mathrm{Sp}_{2g}(\mathbb{F}_2)$ of $S_{2g + 2}$ under the standard representation. We show that when $g \geq 2$, the only closed subgroup $G \subseteq \mathrm{Sp}_{2g}(\mathbb{Z}_2)$ surjecting onto $\mathfrak{S}_{2g + 2}$ is its full inverse image in $\mathrm{Sp}_{2g}(\mathbb{Z}_2)$, while all subgroups $G \subseteq \mathrm{Sp}_{2g}(\mathbb{Z}_2…
For any simple algebraic group $G$ of exceptional type, we construct geometric $\ell$-adic Galois representations with algebraic monodromy group equal to $G$, in particular producing the first such examples in types $\mathrm{F}_4$ and $\mathrm{E}_6$. To do this, we extend to general reductive groups Ravi Ramakrishna's techniques for lifting odd two-dimensional Galois representations to geometric $\ell$-adic representations.
Taylor-Wiles type lifting theorems allow one to deduce that for $ρ$ a "sufficiently nice" $l$-adic representation of the absolute Galois group of a number field whose semi-simplified reduction modulo $l$, denoted $\overlineρ$, comes from an automorphic representation then so does $ρ$. The recent lifting theorems of Barnet-Lamb-Gee-Geraghty-Taylor impose a technical condition, called \emph{$m$-big}, upon the residual representation $\overlineρ$. Snowden-Wiles proved that for a sufficiently irreducible compatible system of Galois representations, the residual images are \emph{big} at a set of pl…
Let $n>1$, $e\geq 0$ and a prime number $p\geq 2^{n+2+2e}+3$, such that the index of regularity of $p$ is $\leq e$. We show that there are infinitely many irreducible Galois representations $ρ: Gal(\bar{\mathbb{Q}}/\mathbb{Q})\rightarrow {GL}_n(\mathbb{Q}_p)$ unramified at all primes $l\neq p$. Furthermore, these representations are shown to have image containing a fixed finite index subgroup of ${SL}_n(\mathbb{Z}_p)$. Such representations are constructed by lifting suitable residual representations $\barρ$ with image in the diagonal torus in ${GL}_n(\mathbb{F}_p)$, for which the global deform…
In a previous paper, the potential automorphy of certain Galois representations to GL_n for n even was established, following work of Harris, Shepherd-Barron and Taylor and using the lifting theorems of Clozel, Harris and Taylor. In this paper, we extend those results to n=3 and n=5, and conditionally to all other odd n. The key additional tools necessary are results which give the automorphy or potential automorphy of symmetric powers of elliptic curves, most notably those of Gelbert, Jacquet, Kim, Shahidi and Harris.
We remove a parity condition from the construction of automorphic Galois representations carried out in the Paris Book Project. We subsequently generalize this construction to the case of `mixed-parity' (but still regular essentially self-dual) automorphic representations over totally real fields, finding associated geometric projective representations. Finally, we optimize some of the Galois lifting results of arxiv:1207.6724 and apply them to the previous mixed-parity setting.
In this paper, we consider Galois representations of the absolute Galois group $\text{Gal}(\overline {\mathbb Q}/\mathbb Q)$ attached to modular forms for noncongruence subgroups of $\text{SL}_2(\mathbb Z)$. When the underlying modular curves have a model over $\mathbb Q$, these representations are constructed by Scholl and are referred to as Scholl representations, which form a large class of motivic Galois representations. In particular, by a result of Belyi, Scholl representations include the Galois actions on the Jacobian varieties of algebraic curves defined over $\mathbb Q$. As Scholl re…
Let $k/\mathbb F_p$ denote a finite field. For any split connected reductive group $G/W(k)$ and certain CM number fields $F$, we deform certain Galois representations $\overlineρ:Gal(\overline F/F) \to G(k)$ to continuous families $X_{\overlineρ}$ of Galois representations $Gal(\overline F/F) \to G(\overline{\mathbb Q_p})$ lifting $\overlineρ$ such that the space of points of $X_{\overlineρ}$ which are geometric (in the sense of the Fontaine-Mazur conjecture) with parallel Hodge-Tate weights has positive codimension in $X_{\overlineρ}$. Thus the set of points in $X_{\overlineρ}$ which could (c…
We consider lifting of mod p representations to mod p^2 representations in the setting of representations of (i) finite groups; (ii) absolute Galois groups of abstract fields; and (iii) absolute Galois groups of local and global fields.
We disprove a strong form of the Regular Inverse Galois Problem: there exist finite groups $G$ which do not have a realization $F/\Qq(T)$ that induces all Galois extensions $L/\Qq(U)$ of group $G$ by specializing $T$ to $f(U) \in \Qq(U)$. For these groups, we produce two extensions $L/\Qq(U)$ that cannot be simultaneously induced, thus even disproving a weaker Lifting Property. Our examples of such groups $G$ include symmetric groups $S_n$, $n\geq 7$, infinitely many $PSL_2(\Ff_p)$, the Monster. Two variants of the question with $\Qq(U)$ replaced by $\Cc(U)$ and $\Qq$ are answered similarly, t…
We prove a companion forms theorem for ordinary n-dimensional automorphic Galois representations, by use of automorphy lifting theorems developed by the second author, and a technique for deducing companion forms theorems due to the first author. We deduce results about the possible Serre weights of mod l Galois representations corresponding to automorphic representations on unitary groups. We then use functoriality to prove similar results for automorphic representations of GSp4 over totally real fields.