The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
78 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
250 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 ...
49
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
398 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
384 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
339 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
200 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 ...
2
votes
0answers
145 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
313 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
599 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
123 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
296 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
214 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
145 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
226 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. ...
9
votes
2answers
704 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
130 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
164 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
194 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
271 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
311 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
382 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
132 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
121 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
169 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
194 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
247 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
381 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
378 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
302 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
122 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 ...
3
votes
1answer
165 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 ...
20
votes
6answers
2k views

Where can I find a comprehensive list of equations for small genus modular curves?

Does there exist anywhere a comprehensive list of small genus modular curves $X_G$, for G a subgroup of GL(2,Z/(n))$? (say genus <= 2), together with equations? I'm particularly interested in genus ...
8
votes
1answer
244 views

Example of a variety over a number field with non-semisimple Galois representation on $\ell$-adic cohomology

This question is inspired by the question: Example of non-projective variety with non-semisimple Frobenius action on etale cohomology? Let $K$ be a number field (or finitely generated field of ...
6
votes
2answers
363 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 ...
8
votes
0answers
213 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
252 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
135 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
345 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
107 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 ...
3
votes
0answers
138 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 ...
2
votes
1answer
177 views

When does the filtration in the limit of the Leray spectral sequence split?

Let $\ell$ be a prime, and $k$ a field of characteristic $\ne \ell$. Let $f \colon X \to Y$ be a proper map of smooth projective $k$-varieties. The Leray spectral sequence says $$ E_{2}^{pq} = ...
5
votes
2answers
310 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
236 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
140 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 ...
5
votes
1answer
140 views

Extending a representation from the Weil group to the Galois group

Let $F$ be a nonarchimedian local field. Since the Weil group $W_F$ is a dense subgroup of $G_F=Gal(\bar{F}/F)$, it's clear that restriction gives an injection $Irr(G_F)\rightarrow Irr(W_F)$ of ...
2
votes
0answers
58 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 ...
3
votes
3answers
782 views

Companion forms

What is the best known result concerning the existence of companion forms for classical modular forms? Gross' tameness criterion paper is always mentioned with a "unchecked compatibility" caveat? ...
7
votes
1answer
410 views

Explicit calculation of Weil Deligne representations

According to Grothendieck monodromy theorem, l-adic galois representations of a local field corresponds to Weil-Deligne representations. However, given a galois representation, it is usually difficult ...