26

Will Sawin's answer is perfectly correct, but I wanted to add some further perspective.
What Peter Scholze has proven is a profound generalization of (one half) of Class Field Theory. The particular example you state is simply a special case of a much more general result.
To set the stage, let me recall some of the set-up from class field theory. Let $F$ ...

nt.number-theory galois-representations langlands-conjectures arithmetic-groups quadratic-reciprocity

25

A brief update: in his amazing talk yesterday at MSRI (available here), Laurent Fargues explained (building on work of Peter Scholze, see his phenomenal talk two weeks ago here and his historic Berkeley lectures here) a conjectural picture for the local Langlands correspondence as a geometric Langlands correspondence over the "Fargues-Fontaine curve".
[...

24

Now that our paper Geometrization of the local Langlands correspondence with Fargues is finally out (ooufff!!), it may be worth giving an update to Ben-Zvi's answer above. In brief: we give a formulation of Local Langlands over a $p$-adic field $F$ so that it is finally
an actual conjecture, in the sense that it asks for properties of a given construction, ...

21

That is not what the link says. To quote (emphasis mine):
... in which this conjecture was reduced to a special instance of the Bloch-Kato conjecture for the symmetric square motive of an elliptic curve.
That means something quite different. You could equally say that Wiles "reduced" the proof to the fact that $X(3)$ and $X(5)$ have genus zero,...

18

It is true if $V$ is of dimension 1, essentially by class field theory (as you are considering only representations of $G_{\mathbb Q}$). Otherwise, it is still largely open for the following reasons.
If $n\geq 2$, the best tool we have to study $G_{\mathbb Q}$-representations are so called modularity lifting theorems. These theorems take as hypotheses the ...

18

This is more subtle than it looks. I asked exactly the same question some years back (see here); but I'm not going to flag this question as duplicate, because the answer that was given to my question at the time, which was identical to @eric's comment above, was wrong.
The correct answer is this. Let $f$ be a normalized non-CM newform. Associated to $f$ ...

answered Oct 14 '15 at 8:29

David Loeffler

28.5k33 gold badges6464 silver badges148148 bronze badges

17

The correct statement is: any 3-dimensional selfdual Galois representation is isomorphic to a quadratic twist of the adjoint of some 2-dimensional representation. (The quadratic twist is really necessary, as one can see from a variant of David Speyer's example.)
If $\rho: G_F \to GL_3(\overline{\mathbf{Q}}_\ell)$ is a Galois representation, where $F$ is a ...

17

The classification of 1-dimensional representations, i.e. characters $G_K \to E^\times$, is a bit more complicated than you imply in your question. Any such character lands in $O_E^\times$ by compactness; and since $O_E^\times$ is profinite, and class field theory identifies the abelianisation of $G_K$ with the profinite completion of $K^\times$, we conclude ...

nt.number-theory rt.representation-theory arithmetic-geometry galois-representations p-adic-hodge-theory

answered Jun 30 '19 at 10:52

David Loeffler

28.5k33 gold badges6464 silver badges148148 bronze badges

16

The de Rham characters are the same as the Hodge-Tate ones. The semistable ones are the same as the crystalline ones, and in your notation they are the de Rham ones for which $(\chi \cdot \chi_p^{-k})(I_K)$ is trivial (and not merely finite). This can be found for example in Fontaine and Mazur's paper.

16

Definitely no. To see why, consider just the case where $W=\mathbb Q_\ell$ is the trivial representation (this is not really a loss of generality, because extensions of $W$ by $V$ are "the same thing" as extensions of $\mathbb Q_\ell$ by $W^\ast \otimes V$). Then extensions (as $G$-representations) of $\mathbb Q_\ell$ by $V$ are parametrized by $H^1(G,V)$. ...

16

Actually, this is an exercise in Serre's Lectures on Mordell--Weil Theorem:
$K(A[n])$ always contains $\mu_n$ if $char(K)$ does not divide $n$ and $A$ is an abelian variety of positive dimension over $K$. (You don't need to assume that $K$ is a number field)
Here is a solution. First, it suffices to check the case when $n=\ell^m$ is a power of a prime $\...

15

You're asking if $Ext^1_G(\alpha,\beta)$ is one-dimensional. The short answer is no,
yet there are many cases where the answer is yes. Actually, the dimension of this group is not known in all cases, and when it is known, in general it is by a deep theorem,
not a trivial computation.
To be more precise, we have $Ext^1_G(\alpha,\beta) = Ext^1_G(1,\alpha^{-1} ...

15

The first question (applied to $\mathrm{GL}(2)$-abelian varieties over $\mathbf{Q}$) seems to include the following problem: what totally real fields $F$ occur as the field of coefficients of a classical weight $2$ modular form? This seems a totally impossible question to answer.
For example, it includes the question of which Hilbert modular surfaces $X_F$ ...

15

Abelian varieties over the rationals are modular if and only if they are of "$GL_2$"-type, which is a notion introduced by Ribet who proved that this statement is a consequence of Serre's conjecture which, as you know, has since been proved. Here is a link to Ribet's paper:
http://math.berkeley.edu/~ribet/Articles/korea.pdf
Generalizing the statement of ...

answered May 23 '14 at 14:53

Felipe Voloch

29.1k66 gold badges7474 silver badges141141 bronze badges

15

I did the computation in Sage, and there is no such form $f$. There are 21 Galois orbits of newforms of level $\Gamma_0(1776)$ and trivial character, of which the largest has size 3, and none of the reductions modulo any of the primes above 7 in the coefficient fields is congruent to the form associated to $\bar\rho$.
Looking again at your question, the ...

answered Jun 26 '15 at 9:27

David Loeffler

28.5k33 gold badges6464 silver badges148148 bronze badges

15

Good question. I don't understand fully what's happening, but here is an idea.
Let $f=\sum a_n q^n$ be a modular form of weight $k+1/2$, nebentypus $\chi$. Assuming $k \geq 1$, the Shimura correspondence attaches to $f$ a
modular form of integral weight $2k$, $g = \sum b_n q^n$ such that
$$L(g,s) = L(\chi',s-k+1) \sum \frac{a_{n^2}}{n^s},$$
where $\chi'(n)=\...

14

I don't know that this is written down anywhere, but it's possible. It is known in general that $GL(T_{\ell}(E))$ is contained in the normalizer of $R_{\ell}^{\times}$, where $R_{\ell} = \mathbb{Z}[i] \otimes \mathbb{Z}_{\ell}$. (This follows for example from Corollary 2 on page 502 of Serre and Tate's ''Good reduction of abelian varieties'' Annals paper.) ...

14

Galois representations have to come from somewhere.
If you are not interested in learning about modular forms and automorphic forms at this point, the other best source of representations are elliptic curves. You can find a gentle introduction in Silverman's book "The Arithmetic of Elliptic Curves", particularly the chapter on Tate modules.
As an ...

13

Peter Scholze explains the same example in more detail in this talk https://youtu.be/cFdm0B9KLcQ?t=48m and gives even more detail here https://youtu.be/gI3Ta73yVuo?t=23m55s.
In brief, the relationship is that for every prime $\mathfrak p$ of $\mathbb Z[i]$ not dividing $183$, the polynomial has a root mod $\mathfrak p$ if and only if the eigenvalue of the $\...

nt.number-theory galois-representations langlands-conjectures arithmetic-groups quadratic-reciprocity

13

For a prime $p$ and an elliptic curve $E/\mathbb{Q}$, we have the exact sequence
$$\displaystyle 0 \rightarrow E(\mathbb{Q})/p E(\mathbb{Q}) \rightarrow S_p(E) \rightarrow \text{Sha}_E[p]\rightarrow 0,$$
where $S_p(E)$ is the $p$-Selmer group of $E$ and $\text{Sha}_E$ is the Tate-Shafarevich group of $E$ and $\text{Sha}_E[p]$ is the $p$-part of it. This ...

answered Mar 14 '18 at 0:22

Stanley Yao Xiao

20k55 gold badges3232 silver badges103103 bronze badges

12

I realise that I'm a bit late to this party, but maybe it is still interesting to you:
Under the Hodge conjecture the motivic Galois group coincides with the Mumford–Tate group. These have been classified by S. Patrikis: http://arxiv.org/abs/1302.1803.

12

No, strong multiplicity one says that all-but-finitely-many of the $a_p$'s determine all the others.
Edit in response to comment/query, and further in response to subsequent comments: ... and, once all the other coefficients are determined by strong multiplicity one (for newforms), invoke Shimura's results (arguably going back to Fricke-Klein in principle) ...

12

Here's an example, if I'm not mistaken. Let $E / K$ be an elliptic curve and $x \in E$ a non-torsion $K$-point. Then the image of the divisor $\{x\} - \{\infty\}$ under the etale cycle class map is a nontrivial class in $H^1(K, H^1(E_{\bar K}, \mathbf{Q}_\ell)(1))$ and thus corresponds to a non-split extension of $H^1(E_{\bar K}, \mathbf{Q}_\ell)(1)$ by $\...

answered May 20 '14 at 9:14

David Loeffler

28.5k33 gold badges6464 silver badges148148 bronze badges

12

There's a little more geometry here that should be accounted for in characteristic $p$. Namely, the curve $X_0(Np)_{\mathbb{F}_p}$ is reducible -- its two components are isomorphic to $X_0(N)_{\mathbb{F}_p}$ and they intersect transversally at the supersingular points (see e.g. Ribet and Stein's online notes). So the components are disjoint on the ordinary ...

12

The object (conjecturally) associated to an Artin representation by Langlands is not a classical modular form except in a very limited number of situations (odd two dimensional representations). Let $K$ be the splitting field of some polynomial over $\mathbf{Q}$ with Galois group $S_5$. If $V$ is any finite dimensional representation of dimension $n$ of $S_5$...

12

A natural generalization of the geometric modularity conjecture which is compatible with your formulation
Do you expect some form of modularity to correspond to the existence of a map from some space (like a Shimura variety) to the variety in question?
is to ask whether a variety always appears as a quotient of the Picard variety of (the smooth ...

12

Whatever your answer to my question in comment, the answer to the title question is yes. Take the case of the $L$-function attached to a modular form $f$, which we assume an eigenform for almost all Hecke operators (since otherwise there is no decomposition of the L-function into Euler product and the phrase "local eigenvalues" has no meaning.)
By Deligne, ...

12

I have two things to add to this discussion.
$\bullet$ For $n = 2$ and $n = 3$, every Galois extension of $\mathbb{Q}$ with Galois group ${\rm GL}_{2}(\mathbb{Z}/n\mathbb{Z})$ does arise from an elliptic curve (by a result of Shepard-Barron and Taylor from 1997 - see the reference in the paper of Dieulefait linked to below.) For $n = 4$, this is not true (...

11

Since no one answered my question, I have asked the author of the book. Emmanuel Kowalski
told me that this remark they make (namely that the form (1) or (2) they give of Chebotarev can be proved using GRH alone, without Artin) is mistaken. In the state of our knowledge,
Artin is necessary to get such a precise form.

11

It follows from results of Ribet in "On l-adic representations attached to modular forms" (Invent. Math. 28 (1975), 245–275) that the Mumford-Tate conjecture holds for the motives attached to modular forms for $SL_2(\mathbb{Z})$.
Blasius shows in the article "Modular forms and abelian varieties" (Séminaire de Théorie des Nombres, Paris, 1989–90, 23–29,...

Only top voted, non community-wiki answers of a minimum length are eligible

#### Related Tags

galois-representations × 510nt.number-theory × 339

ag.algebraic-geometry × 124

arithmetic-geometry × 107

modular-forms × 93

elliptic-curves × 54

algebraic-number-theory × 52

rt.representation-theory × 51

p-adic-hodge-theory × 49

reference-request × 43

ac.commutative-algebra × 38

etale-cohomology × 38

langlands-conjectures × 33

automorphic-forms × 31

abelian-varieties × 25

galois-theory × 19

galois-cohomology × 19

motives × 18

deformation-theory × 16

nonnoetherian × 14

l-functions × 13

p-adic-analysis × 11

hodge-theory × 10

gr.group-theory × 9

local-rings × 9