8
votes
1answer
272 views

Adelic open image for modular forms?

There's a famous theorem of Serre that if $E$ is a non-CM elliptic curve over $\mathbf{Q}$, and $\rho_{E, \ell} : Gal(\overline{\mathbf{Q}}/{\mathbf{Q}}) \to GL_2(\mathbf{Z}_\ell)$ is its $\ell$-adic ...
4
votes
1answer
99 views

Rank one (phi,Gamma)-modules

Let $\mathbb{Q}_p$ be the field of $p$-adic numbers. Consider an unramified representation $\rho : Gal(\bar{\mathbb{Q}}_p / \mathbb{Q}_p) \to \mathbb{F}_p^{\times}$ which sends the arithmetic ...
6
votes
2answers
270 views

Field of definition of Galois representations of weight 1 modular forms

Let $f$ be a weight 1 modular form (let's say cuspidal, new, normalized, and a Hecke eigenform). Then there's an associated Artin representation $\rho_f: \operatorname{Gal}(\overline{\mathbf{Q}} / ...
6
votes
0answers
203 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. ...
5
votes
0answers
128 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 ...
4
votes
0answers
204 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. ...
1
vote
1answer
124 views

Compact subgroups of linear groups over nonarchimedean fields

Let $n \in \mathbb{N}$, $K$ a (nonarchimedean) local field, $\overline{K}$ its algebraic closure. Take a compact subgroup $G \leq \text{GL}_n(\overline{K})$. Must there be a finite extension $F$ of ...
3
votes
1answer
172 views

Cyclotomic character in class field theory

Let $K$ be an extension of $\mathbb{Q}_p$. By local class field theory, the $p$-adic cyclotomic character $\mathrm{Gal}_K \rightarrow \mathbb{Z}_p^\times$ corresponds to a character $\chi : K^\times ...
5
votes
1answer
300 views

Connection of Galois representation and arithmetic geometry

This is might be a dumb question. There are lots of Galois representations which arise naturally from geometric objects, for example, Galois representations attached to elliptic curves. I know that ...
2
votes
0answers
104 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
1answer
126 views

About the restriction of a modular representation to a decomposition subgroup II

This question is a variant of this one. Let $f$ be as in the other question, but suppose that we look at the $\ell$-adic representiation attached to $f$: $$ \rho_f : G_{\mathbb Q} \to ...
2
votes
1answer
167 views

About the restriction of a modular representation to a decomposition subgroup

Let $f$ be an eigenform of level $\Gamma_1(N)$ and let $p$ be a prime that does not divide $N$. It is well know that there is a $2$-dimensional representation $$ \rho_f \colon G_{\mathbb Q} \to ...
2
votes
1answer
178 views

Newform and Galois representation (Shimura-Deligne Reciprocity Law)

Shimura-Deligne Reciprocity Law implies that to a newform $f \colon =f(z) \in S^{\mathrm{new}}_k(\Gamma_0(N))$ of weight $k$, one can associate Galois representation $\rho_{f,\lambda} \colon ...
5
votes
2answers
234 views

Absolutely irreducible p-adic representation of the absolute Galois group of Q_p

Let $p$ be a prime number, $\mathbb{Q}_p$ the field of $p$-adic numbers, $G_p$ the absolute Galois group of $\mathbb{Q}_p$ and $V$ a finite dimensional vector space over $\mathbb{Q}_p$. Assume we are ...
6
votes
1answer
358 views

Elliptic curve and Galois representation

For an elliptic curve $E$ over ${\Bbb{Q}}$, let us consider Serre's mod $l$ representation by $\rho_{E,l} \colon {\mathrm{Gal}}({\overline{\Bbb{Q}}}/{\Bbb{Q}}) \to {\mathrm{Aut}}(\phantom{}_lE) = ...
5
votes
2answers
347 views

Modularity theorem for abelian varieties

There's alredy two posts on MO about the extension of modularity to elliptic curves over fields other than $\mathbb{Q}$ ([1], [2]), and another one about general algebraic varieties [3]. What is ...
3
votes
1answer
157 views

Galois representation attached to $3$-torsion points of an elliptic curve

Let $ E $ - Elliptic curve defined over $ {\mathbb{Q}} $. $G_{\mathbb{Q}}$ - The absolute Galois group, $\text{Gal}(\bar{\mathbb{Q}}/\mathbb{Q}) $ of $\mathbb{Q}$. $ E[3] $ - $3$-torsion points ...
8
votes
0answers
198 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 ...
8
votes
1answer
241 views

Universal deformations of modular Galois representations

Let $\bar\rho$ be an odd, absolutely irreducible, 2-dimensional mod $p$ representation of $\operatorname{Gal}(\overline{\mathbf{Q}} / \mathbf{Q})$ (with coefficients in some finite extension $k / ...
6
votes
0answers
126 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)$) $$ ...
14
votes
1answer
339 views

Local-global principle for split extensions of Galois representations

I guess the following is well-known (and probably follows from Chebotarev's density theorem, but I'm not very comfortable with it): Define some notation: $K$ a global field, $G$ the absolute Galois ...
1
vote
0answers
97 views

$(\varphi, \Gamma)$-modules, geometric interpretation $D_{diff}$

Could anyone explain to me the first paragraph of page 29 (IV.4.1) of this course of L. Berger: http://perso.ens-lyon.fr/laurent.berger/articles/article05.pdf Specifically, I would like to ...
5
votes
2answers
282 views

Reference for $p$-adic Hodge theory with coefficients

Let $K$ be a $p$-adic field and $L$ be a finite or infinite extension (maybe algebraic ?) of $\mathbb{Q}_p$. Is there a reference for $p$-Hodge theory for representations $\rho : Gal_K \rightarrow ...
4
votes
1answer
168 views

Properties of representations attached to p-adic modular forms

I found an old MOF post about representations attached to p-adic modular forms: Representations attached to p-adic modular forms and I have some follow up questions on the same topic. If we have a ...
4
votes
0answers
133 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 ...
6
votes
2answers
360 views

Misunderstanding in the hypotheses of Schlessinger's criterion

Good day to everyone. In studying deformation theory of Galois representations, I've come surely to an error, relating Schlessinger's criterion. Let's fix a representation $\bar{\rho}$ of a group ...
3
votes
1answer
243 views

Are elliptic Kummer extensions big?

Loosely speaking, are elliptic Kummer extensions big? More concretely: Let $E$ be an elliptic curve over $\mathbb{Q}$, let $p$ be a prime, and let $F$ be a subfield of $\overline{\mathbb{Q}}$ ...
0
votes
0answers
84 views

Super-Gorenstein ideal of ${\Bbb F}_p[[X_1,\ldots,X_n]]$

Let $A \colon= {\Bbb F}_p[[X_1,\ldots,X_n]]$ be a $n$-variable power series ring over a finite field ${\Bbb F}_p$. We put ${\frak m}_A \colon= (X_1,\ldots,X_n)$. Definition(Super-Gorenstein ideal): ...
9
votes
0answers
390 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, ...
5
votes
1answer
227 views

Psi operator on Phi-Gamma modules

This is a question about the base-rings appearing in the the theory of $(\varphi, \Gamma)$-modules in $p$-adic Hodge theory. Let $p$ be prime, $n \ge 1$, and let $$ ...
18
votes
0answers
565 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 ...
6
votes
0answers
345 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
231 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 ...
6
votes
0answers
246 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 ...
6
votes
1answer
194 views

$(\varphi, \Gamma)$-modules of finite height

Maybe the answer to my question is obvious. Let $p$ be a prime $\geq 3$. Let $D$ be an étale $(\varphi, \Gamma)$-module over $A_{\mathbb{Q}_p} = \{ \sum_{n \in \mathbb{Z}} a_n X^n \, \vert \, a_n \in ...
10
votes
0answers
390 views

Why does $H^i(X_{ét},\mathbb{Q}_p)$ have a Hodge-Tate structure?

Let $X$ be a variety over a $p$-adic field $K$. Is there a simple or intuitive explanation of why the $G_K$ representation $H^i(X_{ét},\mathbb{Q}_p)$ is Hodge-Tate? More precisely, why do the powers ...
12
votes
1answer
321 views

What is the classification of characters in $p$-adic Hodge theory?

Let $K$ be a $p$-adic field and $\chi : Gal_K \rightarrow \mathbb{Q}_p^\times$ be a character. I know that $\chi$ is Hodge-Tate of weight $0$ iff $\chi(I_K)$ is finite (by Sen's theory), and that it ...
4
votes
1answer
194 views

$(\varphi, \Gamma)$-module of dimension 2 modulo $p$

Let $p$ be a prime number $\geq 3$. Let $V$ be a representation of $Gal(\bar{\mathbb{Q}}_p/ \mathbb{Q}_p)$ with coefficients in $\mathbb{F}_p$. Assume $V$ is a non-split extension of two characters ...
6
votes
2answers
587 views

Peu or très ramifiée extension

Let $p$ be a prime number. Let $\mathbb{F}$ be a finite extension of $\mathbb{F}_p$. Let $\omega$ be the mod $p$ cyclotomic character and let $V$ be a representation of $G_{p} = Gal(\bar{\mathbb{Q}}_p ...
4
votes
2answers
220 views

Generalization of Kummer isomorphism?

This is a question I asked on math.stackexchange without success. Let $p$ be a prime number and denote by $\mathbb{F}_p(1)$ the one dimensional vector space over $\mathbb{F}_p$ endowed with an action ...
3
votes
1answer
227 views

$\ell$-conductor of a two-dimensional $\ell$-adic Galois representation

Let $\ell$ be a prime number, denote by $K_\ell$ the maximal algebraic extension of $\Bbb{Q}$ ramified only at $\ell$. Let $f = \sum a_n q^n$ be a Hecke eigenform of level $1$ with integer ...
2
votes
0answers
134 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 ...
8
votes
1answer
314 views

Extensions of Galois representations

Let $G=Gal(\bar{\mathbb Q}/{\mathbb Q})$ be the absolute Galois group of the rationals. Fix two continuous group homomorphisms $\alpha,\beta: G\to {\mathbb Q}_l^\times$, where $l$ is a prime and ...
2
votes
1answer
228 views

Galois deformations with Panchiskin condition

Let $L/\mathbf{Q}_p$ be a finite extension and we consider a fixed $L$-linear representation $V$ of the absolute Galois group $G:=\operatorname{Gal}(\overline{\mathbf{Q}}_p/\mathbf{Q}_p)$. Assume that ...
9
votes
2answers
683 views

Effective Chebotarev without Artin's conjecture

Iwaniec and Kowalski, in their famous book Analytic Number Theory states a strong form of the effective Chebotarev density theorem page 143, and prove it assuming both GRH for Artin's $L$-function and ...
9
votes
2answers
490 views

Best bounds toward Serre's uniformity conjecture

If $E$ is a non-CM elliptic curve over $Q$, then it is a famous theorem of Serre that there is some integer $M(E)$ such that for any prime $\ell > M(E)$, the image of the Galois representations ...
1
vote
1answer
207 views

Finite Flat Group Schemes for Modular Forms of Higher Weight

Let $f$ be a newform (normalized, cuspidal) of weight $k \ge 2$. Then for a prime $\ell$ there is an $\ell$-adic Galois representation associated to $f$. If $k=2$, this comes from an abelian variety, ...
3
votes
0answers
85 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$, ...
21
votes
1answer
682 views

What are the possible motivic Galois groups over $\mathbb Q$?

Let $E$ be a motive over $\mathbb Q$. (I should precise, that by a motive I mean here a pure motive over $\mathbb Q$, with coefficients in $\mathbb Q$, that I see here as a conjectural object which ...
0
votes
0answers
143 views

Uniqueness of decomposition of completely reducible representations

Let $X$ be a smooth, separated scheme of finite type over $\mathbb{F}_q$ where $q=p^r$ for some $r>0$. Let $gcd(l,p)=1, \rho:W(X) \to GL_r(\mathbb{Q}_l)$ be a Weil representation which is ...