The term Galois representation is frequently used when the G-module is a vector space over a field or a free module over a ring, but can also be used as a synonym for G-module. The study of Galois modules for extensions of local or global fields is an important tool in number theory.

learn more… | top users | synonyms

19
votes
0answers
641 views

Eichler-Shimura over Totally Real Fields

By Eichler-Shimura over totally real fields I mean the following conjecture. Conjecture. Let $K$ be a totally real field. Let $f$ be a Hilbert eigenform with rational eigenvalues, of parallel weight $...
16
votes
0answers
904 views

Special values of Artin L-functions

This question might be naive and might carry the heuristic that we are living in the best possible world a little too far. If so, I appreciate being told so. Background: Stark's conjecture interprets ...
12
votes
0answers
1k views

Why doesn't functoriality immediately imply the modularity theorem?

Let $E/\mathbb{Q}$ be an elliptic curve. By the modularity theorem, the prime indexed coefficients of its $L$-function agree with those of a weight $2$ cusp eigenform $f$ with integer coefficients. ...
12
votes
0answers
5k views

Deligne's letter to Jean-Pierre Serre

I'm looking for another letter of Pierre Deligne, this time to Jean-Pierre Serre (from around 1974 I think), in which he proves that the Galois representation associated to a certain Hecke eigenform ...
11
votes
0answers
186 views

Propagation of modularity and the Artin conjecture

The (still incomplete) solution of the Artin conjecture on dimension $\leq2$ has been a massive research effort that has spanned (knowingly or not) around a century. A very natural question is, what ...
11
votes
0answers
165 views

Is there literature on approaching semisimplicity of l-adic cohomology using vanishing cycles

Let $K$ be a finitely generated field, and $X/K$ a smooth proper variety. Let $G$ denote the absolute Galois group $\mathrm{Gal}(\bar{K}/K)$. Let $\ell$ be a prime different from $\mathrm{char}(K)$. A ...
10
votes
0answers
217 views

Mod m versions of the toric part of Tate modules

Let $A$ be a polarized abelian variety over a local field $K$ with residue characteristic $p$. In the course of proving that a polarized abelian variety $A/K$ has semi-stable reduction iff for all $\...
9
votes
0answers
251 views

Irreducibility of Galois representations attached to unitary groups

If $G$ is a unitary group in $n$ variables over $\mathbb Q$, attached to an hermitian form for an imaginary quadratic extension $E/\mathbb Q$ and if we suppose that the hermitian form is definite over ...
9
votes
0answers
450 views

Langlands program beyond CM fields?

I apologize since this is a quite vague question. And I am personally at an expert in these fields at all. It seems to me that there are two main directions of the Langlands program, namely, ...
8
votes
0answers
147 views

Elliptic curves and the $\ell$-adic image of the decomposition group

Let $E$ be an elliptic curve over $\mathbb{Q}_\ell$ and consider the image of the $\ell$-adic representation. Is there a description of this image similar to Serre's description of the image of the ...
8
votes
0answers
337 views

Galois action on $E_n$-operads

Let $E_n$ be the little $n$-cubes operad which acts on $n$-fold loop spaces (up to group completion, an $E_n$-action is precisely the data needed to perform an $n$-fold delooping). I am looking for ...
8
votes
0answers
303 views

Explicitly describing a two-dimensional reducible representation of G_{Q_p}

Let $j$ be some integer which is neither 0 nor 1. The Galois cohomology space $H^1({\mathbb Q}_p,{\mathbb Q}_p(j))$ is then 1-dimensional, and thus there is a unique non-split 2-dimensional local ...
7
votes
0answers
355 views

Tameness criterion in the reducible case

Dear MO, This is a follow up to a previous question here in MO, but I will make this question self-contained for convenience. Those already familiar with the following paper [G] by Gross can safely ...
7
votes
0answers
681 views

Semistable Elliptic Curves and irreducible Galois representations

I am interested in the set of number fields $K$ having the property that for \emph{any semistable} elliptic curve $E$ defined over $K$, there exists a constant $c(E,K)>0$ such that $$p>c(E,K)\...
6
votes
0answers
235 views

Invariant obstructions to gluing Galois representations on elliptic curves

Let $E$ be an elliptic curve over $\overline{\mathbb F_p}$, or another separably closed field of characteristic $p$. Let $K$ be the function field of $E$, and let $K_p$ be the local field at a point. ...
6
votes
0answers
223 views

Applications of anabelian geometry to Galois representations?

One aspect of anabelian geometry is the study of the action of the absolute Galois group of a field $K$ on the etale fundamental group $\pi_1(X_\overline K)$, where $X$ is a (anabelian) variety and $...
6
votes
0answers
165 views

classifying reducible 2-dimensional mod-p Galois representations

I want to classify reducible $2$-dimensional mod-$p$ Galois representations of a field $E$ of characteristic $p > 0$ (i.e. representations $G_E = \mathrm{Gal}(E^{sep}/E) \to GL_n(\mathbf{F}_p)$) $$ ...
6
votes
0answers
396 views

dimensions of Galois representations appearing in the cohomology

Let's take $D$ to be $n^2$-dimensional central algebra with an involution $*$ over a CM field $E=FE_0$ (where F is totally real, and $E_0$ is imaginary quadratic). Define $$G(R) = \{ x \in D \otimes _{...
5
votes
0answers
230 views

Any counterexamples known for the Generalized Tate conjecture?

One can state the generalized Tate conjecture over arbitrary finitely generated fields; to this end one should just define Galois representation to be effective if the eignevalues of the actions of ...
5
votes
0answers
174 views

When are Galois representations with open image attached to elliptic curves?

Let $K$ be a number field with absolute Galois group $G_K$. Let $\rho:G_K \rightarrow GL_2(\hat{\mathbb{Z}})$ be a Galois representation such that the image of $\rho$ is open in $GL_2(\hat{\mathbb{...
5
votes
0answers
381 views

Benedict Gross's paper on companion forms

In the page 458 of his paper(A tameness criterion for Galois representations associated to modular forms), Gross wrote the following "A detailed analysis of $U_p(Af)+V_p(<p>f)$ shows that it ...
5
votes
0answers
306 views

Which de Rham representations are trianguline?

Let $K/\mathbf{Q}_p$ be a finite extension, and let $V$ be an $n$-dimensional $\overline{\mathbf{Q}_p}$-vector space with a continuous action of $G_K$. Suppose $V$ is de Rham, so potentially ...
5
votes
0answers
621 views

Grothendieck monodromy theorem for l-adic sheaves

Hi, Suppose that $F$ is a local field, $G_F$ its Galois group, $I$ the inertia subgroup, $k$ its residue field. Let $X$ be a finite type scheme over $k$. Let $C$ be a constructible $l$-adic sheaf on $...
5
votes
0answers
504 views

a naive question about p-adic local monodromy theorem

The question is about whether one can view the p-adic local monodromy theorem as the quasi-unipotence of some monodromy operator. it is known that the classical local monodromy theorem (i.e. for ...
5
votes
0answers
697 views

Reference for the Odd Dihedral Case of Artin's conjecture

The example that Matt Emerton cited here: prompted me to become interested in how one proves that odd two dimensional dihedral Galois representation are modular. This is the first case of the strong ...
4
votes
0answers
94 views

Minimal discriminant of an elliptic curve in terms of its Galois representation

From the Galois representation of an elliptic curve $E$ we can read the conductor of $E$, and further some information about the minimal discriminant. So is there any more information about the ...
4
votes
0answers
183 views

Tate's conjecture and symmetry of Hodge-Tate weights

I'm reading Bellaiche's notes on the Block-Kato conjecture (Hawaii summer school). Here is the link http://people.brandeis.edu/~jbellaic/BKHawaii5.pdf At page 10 he claims that an indirect ...
4
votes
0answers
334 views

The Modularity Theorem and Serre's/Faltings's Isogeny Theorem

Earlier this year I completed my Masters dissertation on Andrew Wiles's proof of The Modularity Theorem for semistable elliptic curves as a precursor to the accepted proof of Fermat's Last Theorem. ...
4
votes
0answers
159 views

Is there a version of Serre's modularity conjecture for projective representations?

Serre's modularity conjecture asserts that a continuous odd irreducible representation $$\overline{\rho} : G_\mathbb{Q} \rightarrow \mathrm{GL}_2(\mathbb{F}_q)$$ must be modular, in the sense that ...
4
votes
0answers
120 views

Deformation rings and change of group

Let $f : G' \subset G$ be an injection between profinite groups such that $G'$ is normal in $G$ (typical situation which I deal with : $G$ the absolute Galois group of a local field, $G'$ an open ...
4
votes
0answers
220 views

Do infinite and ramified local factors of the Dedekind zeta function of a tame number field characterize its local root numbers?

Let say you have two number fields, that are tamely ramified, and suppose that the $p$-part of their Dedekind zeta functions coincide for all prime $p$ which is ramified in either field. Suppose ...
4
votes
0answers
295 views

Local splitting of modular Galois representations as $p$ varies

If $f$ is a classical eigenform of weight $\geq 2$ and ordinary at distinct, odd primes $p$ and $q$ which do not divide the level is it true that the restriction (as a $q$-adic representation) $\rho_{...
4
votes
0answers
385 views

Mazur's relative deformation functors

In his paper "Deformation Theory of Galois Representations" in the book "Modular Forms of Fermat Last Theorem", Mazur considers more general deformation functors than in his earlier paper in "Galois ...
4
votes
0answers
336 views

Which properties of p-adic representations can be recovered from (\varphi,\Gamma)-modules?

In Berger's "An introduction to the Theory of $p$-adic Representations", he mentions that due the the equivalence of categories between etale $(\varphi,\Gamma)$-modules and $p$-adic representations, ...
4
votes
0answers
281 views

Varieties corresponding to a given Galois representation

Given an $l$-adic Galois representation which is geometric in the sense of Fontaine-Mazur what can one say about the set of (isomorphism classes of) of varieties whose $l$-adic cohomologies the ...
3
votes
0answers
271 views

Are prime ideals of finite height in the powers series ring in infinitely variables finitely generated?

Let $A:= {\mathbb F}_p[[X_1,...,X_∞]]$ be the infinitely many variables formal power series ring over ${\mathbb F}_p$, which is UFD. Consider an arbitrary prime ideal $P$ of $A$ such that the height ...
3
votes
0answers
88 views

extending local systems on a neighbourhood

Let $Y$ an affine finite type scheme over an algebraically closed field $k$. Let $S$ be a closed subscheme of $Y$ and $Y'$ the henselization of $Y$ along $S$. If we have a $\mathbb{Z}_{\ell}$ local ...
3
votes
0answers
153 views

A question on a paper by Ribet

I'm reading the article On the equation $a^p + 2^\alpha b^p + c^p = 0$ by Ribet (http://math.berkeley.edu/~ribet/Articles/acta.pdf), but I'm having trouble understanding his proof of Theorem 3. For ...
3
votes
0answers
98 views

Decompositions of representations of pro-p groups

Let $P$ be a pro-p group. Assume that there is a filtration of $P$ by normal subgroups $P_i$ such that $P_0=P$ and $P_{i+1} < P_i(i\in\mathbb N)$. Let $V$ be an $l$-adic representation of $P$, ...
3
votes
0answers
275 views

The operator \boxtimes and \boxplus in automorphic representations

Given two automorphic representations $\pi_1, \pi_2$ of $GL_2(\mathbb A_Q)$ and $GL_3(\mathbb A_Q)$ respectively. Let $\pi_i =\otimes_v \pi_{i, v}$. Now, for each $v$, let $\pi_{1, v}\boxtimes \pi_{...
3
votes
0answers
233 views

modular forms with lots of companion forms

Let $f$ be a modular form (say of weight 2) and let $S$ be the set of primes $p$, the reductions modulo $p$ of $\rho_{f,p}$ restricted to $G_p$ splits. Equivalently, $S$ is the set of prime $p$ such ...
3
votes
0answers
375 views

local deformation rings and Hecke algebras

Let $\bar{\rho}_p$ be a two-dimensional irreducible local Galois representation of $Gal(\bar{\mathbb{Q}}_p / \mathbb{Q}_p)$ on a $k$-vector space, where $k$ is a finite extension of $\mathbb{F}_p$. ...
3
votes
0answers
500 views

choice of local system in Deligne's construction of $l$-adic Galois representations

Hello, Deligne famously constructed $l$-adic representations of $G_\mathbf Q = Gal(\overline{\mathbf Q}/\mathbf Q)$ starting form cusp modular forms of weight $k$ by looking inside the cohomology ...
2
votes
0answers
122 views

Inverse limit of Noetherian rings

Let $R_i$ be a noetherian regular local ring of Krull dimension being finite. Suppose we are given a surjective homomorphism $\phi_{i,j} \colon R_{j} \twoheadrightarrow R_i$ for each $i,j$ with $j >...
2
votes
0answers
130 views

Residual Representation of a Motive

Suppose we have $M$ a hypergeometric motive, and $\rho$ its associated Galois rep over $\mathbb{Q}_{l}$. Is there any easy/concrete way to find $\bar{\rho}$, the residual representation at a prime (in ...
2
votes
0answers
235 views

Bloch Kato Exponential as formal lie group exponential

Let $K$ be a $p$-adic field and $V$ a $p$-adic representation. In their paper on tamagawa numbers of motives, Bloch and Kato define an exponential map as the connecting homomorphism $$DR(V) \...
2
votes
0answers
67 views

Isometric representation semisimple?

The first lemma on p.35 of these notes states that unitary representations are semisimple. Could the same be said of isometries if the space doesn't have an inner product? This topic notes that the ...
2
votes
0answers
160 views

Local components of quaternionic modular forms

Let $D$ be a totally definite quaternion algebra over a totally real number field $F$. Let $U$ be an open compact subgroup of $D(\mathbb{A}_F)^\times$, maximal compact almost everywhere. Consider ...
2
votes
0answers
142 views

Residue fields of attached to coefficients of modular forms

Let $f = \sum_n a_n q^n$ be a cuspidal newform of some weight and level. Here I want to view the $a_n$ of $p$-adic numbers (by embedding $\overline{{\bf Q}}_p$ in ${\bf C}$ in some way). Let $k_f$...
1
vote
0answers
65 views

Popescu-Neron Desingularization for K[[T_1,…,T_∞]]

Let $K[[T_1,...,T_n]]$ be a finitely many variables formal power series ring over a field $K$. Dorin Popescu proved that there are smooth algebras $A_{\lambda}$'s which are of finite type over $K$ ...