scholarly journals Nearly ordinary Galois deformations over arbitrary number fields

2008 ◽  
Vol 8 (1) ◽  
pp. 99-177 ◽  
Author(s):  
Frank Calegari ◽  
Barry Mazur

AbstractLet K be an arbitrary number field, and let ρ : Gal($\math{\bar{K}}$/K) → GL2(E) be a nearly ordinary irreducible geometric Galois representation. In this paper, we study the nearly ordinary deformations of ρ. When K is totally real and ρ is modular, results of Hida imply that the nearly ordinary deformation space associated to ρ contains a Zariski dense set of points corresponding to ‘automorphic’ Galois representations. We conjecture that if K is not totally real, then this is never the case, except in three exceptional cases, corresponding to: (1) ‘base change’, (2) ‘CM’ forms, and (3) ‘even’ representations. The latter case conjecturally can only occur if the image of ρ is finite. Our results come in two flavours. First, we prove a general result for Artin representations, conditional on a strengthening of the Leopoldt Conjecture. Second, when K is an imaginary quadratic field, we prove an unconditional result that implies the existence of ‘many’ positive-dimensional components (of certain deformation spaces) that do not contain infinitely many classical points. Also included are some speculative remarks about ‘p-adic functoriality’, as well as some remarks on how our methods should apply to n-dimensional representations of Gal($\math{\bar{\QQ}}$/ℚ) when n > 2.

2011 ◽  
Vol 11 (1) ◽  
pp. 161-188 ◽  
Author(s):  
Naotake Takao

AbstractLetCbe a proper smooth geometrically connected hyperbolic curve over a field of characteristic 0 and ℓ a prime number. We prove the injectivity of the homomorphism from the pro-ℓ mapping class group attached to the two dimensional configuration space ofCto the one attached toC, induced by the natural projection. We also prove a certain graded Lie algebra version of this injectivity. Consequently, we show that the kernel of the outer Galois representation on the pro-ℓ pure braid group onCwithnstrings does not depend onn, even ifn= 1. This extends a previous result by Ihara–Kaneko. By applying these results to the universal family over the moduli space of curves, we solve completely Oda's problem on the independency of certain towers of (infinite) algebraic number fields, which has been studied by Ihara, Matsumoto, Nakamura, Ueno and the author. Sequentially we obtain certain information of the image of this Galois representation and get obstructions to the surjectivity of the Johnson–Morita homomorphism at each sufficiently large even degree (as Oda predicts), for the first time for a proper curve.


2008 ◽  
Vol 144 (4) ◽  
pp. 827-848 ◽  
Author(s):  
Alina Carmen Cojocaru ◽  
Chantal David

AbstractLet ϕ be a Drinfeld module of rank 2 over the field of rational functions $F=\mathbb {F}_q(T)$, with $\mathrm {End}_{\bar {F}}(\phi ) = \mathbb {F}_q[T]$. Let K be a fixed imaginary quadratic field over F and d a positive integer. For each prime $\mathfrak {p}$ of good reduction for ϕ, let $\pi _{\mathfrak {p}}(\phi )$ be a root of the characteristic polynomial of the Frobenius endomorphism of ϕ over the finite field $\mathbb {F}_q[T] / \mathfrak {p}$. Let Πϕ(K;d) be the number of primes $\mathfrak {p}$ of degree d such that the field extension $F(\pi _{\mathfrak {p}}(\phi ))$ is the fixed imaginary quadratic field K. We present upper bounds for Πϕ(K;d) obtained by two different approaches, inspired by similar ones for elliptic curves. The first approach, inspired by the work of Serre, is to consider the image of Frobenius in a mixed Galois representation associated to K and to the Drinfeld module ϕ. The second approach, inspired by the work of Cojocaru, Fouvry and Murty, is based on an application of the square sieve. The bounds obtained with the first method are better, but depend on the fixed quadratic imaginary field K. In our application of the second approach, we improve the results of Cojocaru, Murty and Fouvry by considering projective Galois representations.


2017 ◽  
Vol 153 (11) ◽  
pp. 2215-2286 ◽  
Author(s):  
Florian Herzig ◽  
Daniel Le ◽  
Stefano Morra

Suppose that $F/F^{+}$ is a CM extension of number fields in which the prime $p$ splits completely and every other prime is unramified. Fix a place $w|p$ of $F$. Suppose that $\overline{r}:\operatorname{Gal}(\overline{F}/F)\rightarrow \text{GL}_{3}(\overline{\mathbb{F}}_{p})$ is a continuous irreducible Galois representation such that $\overline{r}|_{\operatorname{Gal}(\overline{F}_{w}/F_{w})}$ is upper-triangular, maximally non-split, and generic. If $\overline{r}$ is automorphic, and some suitable technical conditions hold, we show that $\overline{r}|_{\operatorname{Gal}(\overline{F}_{w}/F_{w})}$ can be recovered from the $\text{GL}_{3}(F_{w})$-action on a space of mod $p$ automorphic forms on a compact unitary group. On the way we prove results about weights in Serre’s conjecture for $\overline{r}$, show the existence of an ordinary lifting of $\overline{r}$, and prove the freeness of certain Taylor–Wiles patched modules in this context. We also show the existence of many Galois representations $\overline{r}$ to which our main theorem applies.


2011 ◽  
Vol 07 (08) ◽  
pp. 2065-2079
Author(s):  
AFTAB PANDE

We construct infinitely ramified Galois representations ρ such that the al(ρ)'s have distributions in contrast to the statements of Sato–Tate, Lang–Trotter and others. Using similar methods we deform a residual Galois representation for number fields and obtain an infinitely ramified representation with very large image, generalizing a result of Ramakrishna.


2014 ◽  
Vol 66 (5) ◽  
pp. 1167-1200 ◽  
Author(s):  
Victor Rotger ◽  
Carlos de Vera-Piquero

AbstractThe purpose of this note is to introduce a method for proving the non-existence of rational points on a coarse moduli space X of abelian varieties over a given number field K in cases where the moduli problem is not fine and points in X(K) may not be represented by an abelian variety (with additional structure) admitting a model over the field K. This is typically the case when the abelian varieties that are being classified have even dimension. The main idea, inspired by the work of Ellenberg and Skinner on the modularity of ℚ-curves, is that one may still attach a Galois representation of Gal(/K) with values in the quotient group GL(Tℓ(A))/ Aut(A) to a point P = [A] ∈ X(K) represented by an abelian variety A/, provided Aut(A) lies in the centre of GL(Tℓ(A)). We exemplify our method in the cases where X is a Shimura curve over an imaginary quadratic field or an Atkin–Lehner quotient over ℚ.


2011 ◽  
Vol 147 (5) ◽  
pp. 1337-1352 ◽  
Author(s):  
Joël Bellaïche ◽  
Gaëtan Chenevier

AbstractLet K be a CM number field and GK its absolute Galois group. A representation of GK is said to be polarized if it is isomorphic to the contragredient of its outer complex conjugate, up to a twist by a power of the cyclotomic character. Absolutely irreducible polarized representations of GK have a sign ±1, generalizing the fact that a self-dual absolutely irreducible representation is either symplectic or orthogonal. If Π is a regular algebraic, polarized, cuspidal automorphic representation of GLn(𝔸K), and if ρ is a p-adic Galois representation attached to Π, then ρ is polarized and we show that all of its polarized irreducible constituents have sign +1 . In particular, we determine the orthogonal/symplectic alternative for the Galois representations associated to the regular algebraic, essentially self-dual, cuspidal automorphic representations of GLn (𝔸F) when F is a totally real number field.


2019 ◽  
Vol 72 (1) ◽  
pp. 57-88
Author(s):  
Adel Betina

AbstractJ. Bellaïche and M. Dimitrov showed that the $p$-adic eigencurve is smooth but not étale over the weight space at $p$-regular theta series attached to a character of a real quadratic field $F$ in which $p$ splits. In this paper we prove the existence of an isomorphism between the subring fixed by the Atkin–Lehner involution of the completed local ring of the eigencurve at these points and a universal ring representing a pseudo-deformation problem. Additionally, we give a precise criterion for which the ramification index is exactly 2. We finish this paper by proving the smoothness of the nearly ordinary and ordinary Hecke algebras for Hilbert modular forms over $F$ at the overconvergent cuspidal Eisenstein points, being the base change lift for $\text{GL}(2)_{/F}$ of these theta series. Our approach uses deformations and pseudo-deformations of reducible Galois representations.


Author(s):  
Laia Amorós

Let [Formula: see text] denote the mod [Formula: see text] local Hecke algebra attached to a normalized Hecke eigenform [Formula: see text], which is a commutative algebra over some finite field [Formula: see text] of characteristic [Formula: see text] and with residue field [Formula: see text]. By a result of Carayol we know that, if the residual Galois representation [Formula: see text] is absolutely irreducible, then one can attach to this algebra a Galois representation [Formula: see text] that is a lift of [Formula: see text]. We will show how one can determine the image of [Formula: see text] under the assumptions that (i) the image of the residual representation contains [Formula: see text], (ii) [Formula: see text] and (iii) the coefficient ring is generated by the traces. As an application we will see that the methods that we use allow to deduce the existence of certain [Formula: see text]-elementary abelian extensions of big non-solvable number fields.


2016 ◽  
Vol 4 ◽  
Author(s):  
LASSINA DEMBÉLÉ ◽  
FRED DIAMOND ◽  
DAVID P. ROBERTS

A generalization of Serre’s Conjecture asserts that if $F$ is a totally real field, then certain characteristic $p$ representations of Galois groups over $F$ arise from Hilbert modular forms. Moreover, it predicts the set of weights of such forms in terms of the local behaviour of the Galois representation at primes over $p$. This characterization of the weights, which is formulated using $p$-adic Hodge theory, is known under mild technical hypotheses if $p>2$. In this paper we give, under the assumption that $p$ is unramified in $F$, a conjectural alternative description for the set of weights. Our approach is to use the Artin–Hasse exponential and local class field theory to construct bases for local Galois cohomology spaces in terms of which we identify subspaces that should correspond to ones defined using $p$-adic Hodge theory. The resulting conjecture amounts to an explicit description of wild ramification in reductions of certain crystalline Galois representations. It enables the direct computation of the set of Serre weights of a Galois representation, which we illustrate with numerical examples. A proof of this conjecture has been announced by Calegari, Emerton, Gee and Mavrides.


Sign in / Sign up

Export Citation Format

Share Document