The tag has no wiki summary.

learn more… | top users | synonyms

40
votes
6answers
3k 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 ...
22
votes
1answer
3k views

Fontaine-Mazur for GL_1

For any number field $K$, the Fontaine-Mazur conjecture predicts that any potentially semistable $p$-adic representation of the absolute Galois group $G_K$ of $K$ that is almost everywhere unramified ...
21
votes
2answers
2k views

Elementary Aspects of Galois Deformation

Galois deformations are an important tool in Wiles' arsenal for proving FLT. Are there any more elementary aspects (I'm thinking of 1-dimensional Galois representations attached to number fields) ...
20
votes
3answers
1k views

Subgroups of GL(2,q)

I have been wondering about something for a while now, and the simplest incarnation of it is the following question: Find a finite group that is not a subgroup of any $GL_2(q)$. Here, $GL_2(q)$ ...
20
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}$ ...
20
votes
1answer
599 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 ...
19
votes
1answer
2k views

Iwasawa main conjectures vs Bloch-Kato conjectures

Let $p$ be a prime, $K$ be a number field, $S$ a finite set of finite places of $K$ containing the set $S_p$ of places above $p$ and the places at infinity, $G:=G_{K,S}$ the Galois group of the ...
18
votes
5answers
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 ...
18
votes
1answer
1k views

Modern proof of Serre's open image theorem?

Let $E$ be an elliptic curve defined over a number field $K$ without complex multiplication. Serre's open image theorem (which appears in his book 'Abelian $l$-Adic Representations and Elliptic ...
18
votes
0answers
547 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 ...
17
votes
2answers
971 views

Does the image of an 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 ...
17
votes
2answers
2k views

Number theory textbook based on the absolute Galois group?

I've just finished reading Ash and Gross's Fearless Symmetry, a wonderful little pop mathematics book on, among other things, Galois representations. The book made clear a very interesting ...
16
votes
2answers
4k views

Introductory text on Galois representations

Could someone please recommend a good introductory text on Galois representations? In particular, something that might help with reading Serre's "Abelian l-Adic Representations and Elliptic Curves" ...
15
votes
2answers
2k views

$p$-adic Langlands correspondence

Basic question: Is it correct that the $p$-adic Langlands correspondence is known for $GL_2$ only over $Q_p$ but not other $p$-adic fields? If so, I would like to request some light to be shed on this ...
15
votes
1answer
1k views

If the tensor product of two representations are crystalline, are the original representations crystalline?

Let $K$ be a finite extension of the $p$-adic numbers. Suppose that $V$ and $W$ are two (finite dimensional, $p$-adic) continuous representations of $G_K$. Suppose that $V \otimes W$ is crystalline. ...
15
votes
1answer
1k views

Fontaine's rings of periods

I've been trying lately to understand Fontaine's rings of periods, $B_{\mathrm{dR}}$, $B_{\mathrm{cris}}$, etc. However, I have a really hard time understanding and appreciating how to think about and ...
14
votes
1answer
869 views

Is there a Montgomery's conjecture for Dirichlet characters and Artin representations ?

Edit: as GH noticed, the way I tried to state Montgomery's conjecture is wrong. There were some mistakes in the references I used, which compounded with some mistakes of mine, gave a very poor post. ...
13
votes
3answers
1k views

Are there Maass forms where the expected Galois representation is $\ell$-adic?

Recall that by theorems of Deligne and Deligne--Serre, there is the following dichotomy: Modular forms on the upper half plane of level $N$ and weight $k\geq 2$ correspond to representations ...
13
votes
0answers
474 views

Status of conjectures in Serre's 1969 expose on Galois representations on l-adic cohomology

In [S]: Serre, Jean-Pierre. Facteurs locaux des fonctions zeta des varietes algebriques (definitions et conjectures), Seminaire Delange-Pisot-Poitou, 1969-70 Serre presents nine conjectures ...
13
votes
0answers
715 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
1answer
4k views

partition functions and Galois representations?

The recent answer's link to Ono's work makes me ask and wonder if his new results on partition functions tell something about Galois representations? (Hoping that question is not a case of this)
12
votes
1answer
770 views

Representations attached to p-adic modular forms

A theorem of Gouvea and Hida (or rather a consequence of it) states that there exist a Galois representation attached to a $p$-adic eigenform $f$ provided the residual representation attached to a ...
12
votes
1answer
1k views

The difficulties in proving modularity lifting theorems over non-totally real fields

First of all, let me apologize in advance for the terseness of this question. It seems that by now there are well-developed techniques (the "Taylor-Wiles-Kisin" method) for proving modularity lifting ...
12
votes
1answer
289 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 ...
12
votes
2answers
790 views

Obstructions to descend Galois invariant cycles

Let $X$ be a smooth projective variety over $F$, and $E/F$ - finite Galois extension. There is an extension of scalars map $CH^\*(X) \to CH^\*(X_E)$. The image lands in the Galois invariant part of ...
12
votes
1answer
939 views

Galois representations attached to Maass form

So, how does one construct a galois representation from a Maass form? For a modular cusp eigenform, I am familiar with the work of Eichler-Shimura, Deligne, Deligne-Serre, and realize these are ...
12
votes
1answer
742 views

Is there a “trianguline period ring”, or is one expected?

Consider a finite-dimensional $\mathbf{Q}_p$-vector space $V$ and a continuous representation $\rho : G_{\mathbf{Q}_p} \to \mathrm{GL}(V)$. Fontaine introduced various $\mathbf{Q}_p$-algebras with ...
12
votes
2answers
1k views

Galois representations attached to newforms

Suppose that $f$ is a weight $k$ newform for $\Gamma_1(N)$ with attached $p$-adic Galois representation $\rho_f$. Denote by $\rho_{f,p}$ the restriction of $\rho_f$ to a decomposition group at $p$. ...
12
votes
0answers
3k 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
2answers
1k views

Period rings for Galois representations

I have some questions concerning period rings for Galois representations. First, consider the case of $p$-adic representations of the absolute Galois group $G_K$, where $K$ denote a $p$-adic field. ...
11
votes
1answer
538 views

Galois action on one-dimensional quotients of l-adic cohomology

Let $A$ be an abelian variety of dimension $g$ over a number field $K$, and $\ell$ be a rational prime. Suppose that the Galois action on the $\ell$-adic cohomology $H^k(A, \mathbb{Z}_\ell) ...
11
votes
1answer
692 views

Potential semi-stability of etale cohomology of etale covers.

Let $\mathbf{Q}_p$ denote the field of $p$-adic numbers. Suppose that $K/\mathbf{Q}_p$ is a finite extension, and let $O_K$ denote the ring of integers of $K$. Suppose that $X$ is proper over $O_K$, ...
10
votes
2answers
572 views

how irregular can a $p$-adic Galois representation be?

Fix $p>0$ a rational prime, and $K$ an algebraic number field with Galois group $G_K:=Gal(\bar{\mathbb{Q}}/K) $. The Fontaine-Mazur conjecture predicts that if $\rho:G_K\rightarrow GL(V)$ is a ...
10
votes
3answers
641 views

Cohomology of $SL_2(\mathbb{F}_p)$ acting on trace zero matrices over $\mathbb{F}_p$

I've been reading a paper by R.Ramakrishna about lifting Galois representations and at some point he uses the fact that a representation with big image has trivial first cohomology group. In other ...
10
votes
3answers
818 views

Motivation for uniform surjectivity of mod l representations associated to elliptic curves

Background Let $E$ be an elliptic curve over $\mathbb{Q}$ and let $G_{\mathbb{Q}}$ be the absolute Galois group $Aut(\overline{\mathbb{Q}})$. For any positive integer $n$ the $n$-torsion subgroup ...
10
votes
2answers
979 views

“Purely local” proof of local Langlands

As from this website http://math.uchicago.edu/~lxiao/workshop_site/ My question is: What does it mean by "purely local"? Also, I heard about this phrase "purely local" in other problems as well, ...
10
votes
1answer
847 views

Tamely ramified p-adic Galois representations

The following question came up in a discussion with a colleague about local Galois representations: To what extent is the classification of continuous $p$-adic representations of ...
10
votes
1answer
3k views

About isogeny theorem for elliptic curves

$K$ a number field, $G_K$ its Galois group, $E_1, E_2$ two elliptic curves defined over $K$. The isogeny theorem says that if for some prime number $\ell$, The Tate modules (tensored with ...
10
votes
2answers
1k views

Are Kato's zeta elements integral?

Let $E$ be an elliptic curve over $\mathbb{Q}$ and $T$ the $p$-adic Tate module of $E$. Kato's Euler system, constructed in the paper "P-adic Hodge theory and values of zeta functions of modular ...
10
votes
2answers
1k views

Galois theory and rational points on elliptic curves

I am in search of a concrete example [a concrete elliptic curve in Weierstrass form] of how Galois theory helps to find rational points on an elliptic curve. Chapter VI of Silverman and Tate discusses ...
10
votes
1answer
713 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 ...
10
votes
0answers
374 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 ...
10
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. ...
9
votes
3answers
998 views

What is the etymology for the term conductor?

This is related to the previous question of how to define a conductor of an elliptic curve or a Galois representation. What motivated the use of the word "conductor" in the first place? A friend ...
9
votes
5answers
1k views

The significance of modularity for all Galois representations

On pg. 1 of the slides of a talk, Henri Darmon wrote: Question: What is an interesting Diophantine equation? A “working definition”. A Diophantine equation is interesting if it reveals or ...
9
votes
2answers
834 views

Automorphic forms and Galois representations over imaginary quadratic fields: generalizing Taylor's theorem?

Let $K/\mathbf{Q}$ be an imaginary quadratic field, with $\sigma \in \mathrm{Gal}(K/\mathbf{Q})$ a generator. Suppose $\pi$ is a cuspidal automorphic representation of $GL_2 / K$ with central ...
9
votes
1answer
373 views

Level raising by prime powers

Suppose $f$ is a weight $2$ level $N$ cusp form. When can we realize the mod-$\ell$ representation of $f$ in a form of weight $2$ and level $Np^3$, where $p$ is some prime not dividing $N$? I assume ...
9
votes
1answer
675 views

Tamagawa numbers of crystalline Galois representations

This is a followup to this question. Let $p \ge 3$ be prime, and let $V$ be a crystalline 2-dimensional representation of $G_{\mathbb{Q}_p}$ and $T$ a lattice in $V$. I'm going to assume just about ...
9
votes
1answer
951 views

P-adic local Langlands for non-unitary representations?

In Colmez's work on the p-adic local Langlands correspondence for ${\rm GL}_2(\mathbb{Q}_p)$, he works with ${\rm GL}_2(\mathbb{Q}_p)$-representations on $p$-adic Banach spaces which admit an ...
9
votes
1answer
832 views

Carayol via the trace formula

Hi, Is there a proof of the result that Carayol proves in "Sur les representations l-adiques..." using the Langlands-Kottwitz method of comparing the Lefschetz trace formula and the Selberg trace ...