The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
117 views

Level-Lowering in Weight 2

Let $N$ and $p$ be relatively prime integers with $p$ a prime. Suppose $f$ is a weight $k=2$ (normalized, cuspidal, etc) newform of level $\Gamma_1(N) \cap \Gamma_0(p)$. I seem to recall the existence ...
11
votes
2answers
882 views

Serre's Open Image Theorem Without Shafarevich's Theorem

In Abelian l-adic Representations and Elliptic Curves (1968), J. P. Serre showed that the adelic representation $$\rho_{E}\colon G_K \to \mathrm{GL}(\hat{\mathbb{Z}}^2)$$ associated to an elliptic ...
2
votes
0answers
162 views

References for 'Theory of $p$-adic Galois Representations by Fontaine & Ouyang'

Presently I am reading the 'Theory of $p$-adic Galois Representations by Fontaine & Ouyang'. I am finding it difficult for eg. the initial sections on $l$-adic geometric representation of finite ...
5
votes
2answers
279 views

Is there a semisimple $\mathbf{Q}_\ell$-representation of $G_F$ ramified at an infinite set of places?

See http://math.uni.lu/~wiese/galois/Boeckle-Luxemburg-Notes.pdf, Theorem 1.4(a): Is there an example of a semisimple $\mathbf{Q}_\ell$-representation $V$ of $G_F$ ($F$ a global field) ramified at a ...
13
votes
2answers
333 views

Elliptic curves and supercuspidal representations of conductor $p^2$

Let $E$ be an elliptic curve defined over $\mathbf{Q}$. Let $p \geq 5$ be a prime of additive reduction for $E$. Let $f$ be the newform associated to $E$, and let $\pi$ be the irreducible admissible ...
3
votes
2answers
229 views

n torsion groups of quadratic twists of elliptic curves

If $E$ is an elliptic curve over a number field $K$ and $E^{F}$ is a quadratic twist of $E$. Then it is stated in ``Ranks of twists of elliptic curves and Hilbert’s tenth problem" due to Mazur and ...
13
votes
1answer
507 views

What are the strongest conjectured uniform versions of Serre's Open Image Theorem?

This question concerns the uniform conjectured effective versions and generalizations of these two results of Serre on $\ell$-adic Galois representations $\rho_{E,\ell}$ associated to a non-CM ...
1
vote
1answer
124 views

Representability of deformation functors via SGA

I'm trying to understand Böckle's proof of Theorem 2.1.1 in his notes on deformation theory. Let's start with some motivation. Let $\Gamma$ be a profinite group (I'm thinking of an absolute Galois ...
7
votes
3answers
1k views

Free subquotient of Galois representations coming from Hida theory

Let $\mathbf{T}$ be the reduced nearly ordinary Hecke algebra of level $N$ of Hida theory for $\operatorname{GL}_{2}$ over $\mathbb{Q}$ (or more generally over a totally real field $F$). Then ...
3
votes
1answer
159 views

Hodge-Tate weights of induced representation

Let $K$ be a finite extension of the field of $p$-adic numbers $\mathbb{Q}_p$ and let $E$ be another such extension, such that all the $\mathbb{Q}_p$ embeddings $K \to \bar{\mathbb{Q}}_p$ are ...
21
votes
3answers
1k views

One dimensional (phi,Gamma)-modules in char p

I would like to better understand the simplest case of the correspondence between Galois representations and (phi,Gamma)-modules. Namely, consider 1-dimensional Galois representations of $G_{Q_p}$ ...
25
votes
2answers
1k 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 ...
3
votes
1answer
173 views

Some clarifications regarding Deligne's paper on $\ell$-adic representations arising from modular forms

I've posted this question few days ago on math.stackexchange because it seems quite superficial. However, since I've got no responses at all, I'm posting it here. If the question is not suitable, ...
1
vote
1answer
81 views

Explicit deformations of pseudo representations

Let $G$ be a group (which I will be glad to consider to be the absolute Galois group of a $p$-adic field, and so satisfies Mazur's finiteness condition which appears in his paper Deforming Galois ...
2
votes
1answer
174 views

extensions of crystalline representations

Denote by $G_p$ a choice of an absolute Galois group of $Q_p$, the field of $p$-adic numbers. Consider a continuous representations of $G_p$ on a $3$-dimensional $Q_p$ vector space that is a ...
5
votes
1answer
135 views

integral p-adic Hodge theory and de Rham representations

$p$-adic Hodge theory gives us some comparison theorems between several cohomology theories. It also provides a hierarchy in the category of $p$-adic representations of the absolute Galois group of a ...
2
votes
1answer
97 views

Robba ring and overconvergent (phi,Gamma)-modules

It is my understanding that that every $p$-adic representation of the absolute Galois group of a finite extension $K$ of $\mathbb{Q}_p$ can be described in term of its associated ...
6
votes
1answer
201 views

Extensions of an abelian variety by a torus vs. extensions of their $\ell$-adic Tate modules

Let $K$ be a number field, let $A$ be an abelian variety over $K$, and let $H$ be a torus over $K$. For a prime $l$, we have the natural map $$\mathrm{Ext}^1(A, H) \otimes_{\mathbb{Z}} \mathbb{Z}_l ...
0
votes
0answers
115 views

Relation between cyclotomic character and fundamental character of level

The question I have is the following: is it true that the $p+1$ exponentiation of the fundamental character of level $2$ gives us the reduction (mod $p$) of the cyclotomic character? For a review of ...
6
votes
1answer
299 views

abelian $\ell$-adic representations in $\widehat{SL(2,Z)}$

In Grothendieck's Esquisse he claims that the action of $$\text{Gal}(\mathbb Q)\to\text{Out}(\pi_1(M_{1,1})=\text{Out}(\widehat{SL(2,Z)})$$ obtained from the homotopy exact sequence of the étale ...
50
votes
7answers
4k views

What are the local Langlands conjectures nowadays, for connected reductive groups over a $p$-adic field?

Let me stress that I am only interested in $p$-adic fields in this question, for reasons that will become clear later. Let me also stress that in some sense I am basically assuming that the reader ...
10
votes
2answers
476 views

Are there known cases of the Mumford–Tate conjecture that do not use Abelian varieties?

(For a formulation of the Mumford–Tate conjecture, see below.) The question As far as I know, all non-trivial known cases of the Mumford–Tate conjecture more or less depend on the Mumford–Tate ...
10
votes
1answer
415 views

Reference for: CM Hilbert Modular forms arise from Hecke characters

For classical modular forms, the correspondence between the form having CM by an imaginary quadratic field $K$ and it being induced from a Hecke character on $K$ is well-known. (Ribet's paper is a ...
9
votes
1answer
364 views

Eichler-Shimura congruence

I'm trying to understand the Eichler-Shimura congruence which relates the Hecke operator $T_p$ to Frobenius at $p$ in characteristic $p$. Two possible ways to compute $T_p$ mod $p$ seem to be: A) ...
5
votes
0answers
214 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 ...
3
votes
0answers
161 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 ...
8
votes
1answer
342 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
2answers
610 views

Elliptic curves over $\mathbf{Q}$ with isogenous mod $\ell$ reductions, for several $\ell$

Characteristic polynomials of Hecke operators $T_\ell$, with $\ell$ prime, acting on cusp forms $S_k$ of level one and weight $k$ "appear to be" squarefree (even irreducible!). This can be ...
4
votes
1answer
134 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 ...
7
votes
2answers
339 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
225 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
170 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
261 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. ...
10
votes
2answers
749 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 ...
1
vote
1answer
139 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
176 views

Faithful representations of free pro-p groups

Let $p$ be a prime number, $m,n \in \mathbb{N}$, $F = F(p,m)$ be the free pro-$p$ group on $m$ generators. For which $(m,n)$ there is a continuous faithful representation (embedding) $\rho : F ...
3
votes
1answer
236 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 ...
7
votes
1answer
288 views

If $G$ is compact, $H \leq G$ open, $V$ an irreducible $H$-rep, is $\text{Ind}_H^G$ semisimple?

Let $G$ be a compact group, $H$ a normal open subgroup, and $K$ a $p$-adic field (so that not all $G$-reps with coefficients in $K$ are semisimple). Let $V$ be a finite-dimensional topological ...
5
votes
1answer
333 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
2answers
428 views

Elliptic curve E and Galois representation

Assume that an elliptic curve $E$ over $\Bbb Q$ has a reducible mod $p$ representation. Then Q: Why is the semi-simplification of $E[p]$ the direct sum of ${\Bbb Z}/p{\Bbb Z}$ and $\mu_p$? Next ...
2
votes
1answer
138 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
0answers
160 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
175 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
225 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
314 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 ...
5
votes
2answers
442 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 ...
22
votes
2answers
1k views

Does the image of a p-adic Galois representation always lie in a finite extension?

I have been looking at Serre's conjecture and noticed that there are two conventions in the literature for a p-adic representation $\rho:\mbox{Gal}(\bar{\mathbb Q}/\mathbb Q)\to \mbox{GL}(n,V).$ In ...
6
votes
1answer
416 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) = ...
9
votes
1answer
308 views

Is there a yoga of effectivity for motives and their realizations?

Inside the 'usual' categories of motives (Chow, Voevodsky ones) there are the categories of effective motives. Similarly, there are effective Hodge structures; they seem to be closely related with ...
10
votes
0answers
145 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 ...