Higher reciprocity laws

**56**

votes

**7**answers

3k views

### Open project: Let's compute the Fourier expansion of a non-solvable algebraic Maass form.

OK so let's see if I can use MO to explicitly compute an example of something, by getting other people to join in. Sort of "one level up"---often people answer questions here but I'm going to see if I ...

**53**

votes

**7**answers

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 ...

**48**

votes

**2**answers

3k views

### Non-abelian class field theory and fundamental groups

Over the years, I've been somewhat in the habit of asking questions in this vein to experts in the Langlands programme.
As is well known, given an algebraic number field $K$, they propose to replace ...

**47**

votes

**2**answers

5k views

### Galoisian sets of prime numbers

The question is about characterising the sets $S(K)$ of primes which split completely in a given galoisian extension $K|\mathbb{Q}$. Do recent results such as Serre's modularity conjecture (as proved ...

**38**

votes

**2**answers

2k views

### Langlands in dimension 2: the Yoshida conjecture

Background:
One prominent part of the Langlands program is the conjecture that
all motives are automorphic.
It is of interest to consider special cases that are more precise, if less
sweeping. ...

**30**

votes

**2**answers

2k views

### Why is Class Field Theory the same as Langlands for GL_1?

I've heard many people say that class field theory is the same as the Langlands conjectures for GL_1 (and more specifically, that local Langlands for GL_1 is the same as local class field theory). ...

**28**

votes

**1**answer

1k views

### How would Hilbert and Weber think about the Langlands programme?

Explanations to a general mathematical audience about the Langlands programme often advertise it as "non-abelian class field theory". They usually begin as follows: a modern style formulation of ...

**27**

votes

**2**answers

963 views

### Is Langlands reciprocity somehow analogous to the wave-particle duality of quantum mechanics?

Apologies for the vague question, and for the many inaccuracies (I am not a physicist and barely a number theorist).
In physics, there is the notion of gauge group of a field theory. The gauge group ...

**26**

votes

**3**answers

3k views

### What are the pillars of Langlands?

I had previously asked:
Narratives in Modular Curves
Since then, I've read quite a bit more (but not nearly enough) and I have a few follow up questions about the big picture. As you will soon see, ...

**26**

votes

**5**answers

4k views

### Where stands functoriality in 2009?

Robert Langlands is famous in number theory for making famous and deep conjectures about very abstract things called automorphic forms, somewhere in the 60s.
There's a very interesting article by ...

**25**

votes

**3**answers

4k views

### Tools for the Langlands Program?

Hi,
I know this might be a bit vague, but I was wondering what are the hypothetical tools necessary to solve the Langlands conjectures (the original statments or the "geometic" analogue). What I mean ...

**25**

votes

**4**answers

3k views

### Induction and Coinduction of Representations

I'd like to understand the general framework of induction and coinduction of representations. If G is a finite group and H a subgroup, I know that there is a restriction functor from representations ...

**24**

votes

**1**answer

2k views

### The fundamental lemma and the conjecture of Birch and Swinnerton-Dyer

Here is a rather pathetic question. In a comment on Tim Gower's weblog, I tentatively stated that the fundamental lemma was necessary for the work of Skinner and Urban relating ranks of Selmer groups ...

**23**

votes

**1**answer

1k views

### Reconciling Lusztig's results with the Langlands philosophy

Let $\boldsymbol{G}$ be a reductive group over a finite field $\mathbb{F}_q$, $G = \boldsymbol{G}(\mathbb{F}_q)$, $W = \mathrm{W}(\mathbb{F}_q)$ the Witt vectors over $\mathbb{F}_q$, and $K = ...

**22**

votes

**2**answers

1k views

### Have we ever proved any non-solvable case of reciprocity without the Langlands program ?

The reciprocity of the title is the following not completely well-posed problem:
Fix $P(X)$ a monic irreducible polynomial of degree $n$, with coefficients in $\mathbb Z$. "Describe"
(in some sense) ...

**21**

votes

**2**answers

2k views

### Current Status on Langlands Program

The Langlands Program was launched almost fifty years ago, and progress has been made gradually, much of it hard earned. Langlands himself wrote a survey on the functoriality conjecture in 1997, Where ...

**21**

votes

**2**answers

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

**3**answers

2k views

### Geometric construction of depth zero local Langlands correspondence

Dear community,
In light of the recent work of DeBacker/Reeder on the depth zero local Langlands correspondence, I was wondering if there is an attempt to "geometrize" the depth zero local Langlands ...

**19**

votes

**1**answer

543 views

### Décomposition des nombres premiers dans des extensions non abéliennes

Gauß famously determined the cubic character of $2$ in his Disquisitiones : $2$ is a cube modulo a prime number $p\equiv1\mod3$ if and only if $p=x^2+27y^2$ for some $x,y\in\mathbf{Z}$. This implies ...

**18**

votes

**2**answers

1k views

### Understanding the “idea” behind Langlands

Apologies in advance if this is a bit too simple to ask here, but I think I'm probably more likely to get an answer here than at stackexchange.
I've been trying to learn the basics of the Langlands ...

**18**

votes

**4**answers

1k views

### How badly can strong multiplicity one fail in the theory of automorphic representations?

Let $G$ be a connected reductive group over a global field $k$, and let $\pi=\otimes_w\pi_w$ and $\pi'=\otimes_w\pi'_w$ be two automorphic representations for $G$, where here of course $w$ is ranging ...

**16**

votes

**2**answers

1k views

### Status of (Global) Langlands Conjecture for $GL_2$ over $\mathbb{Q}$

Apologies if this question has already been dealt with on MO. I am wondering about the status of the global Langlands conjectures for $GL_2$ over the rational numbers. How close is humanity to the ...

**16**

votes

**1**answer

2k views

### What is the current status of the function fields Langlands conjectures?

My question, roughly speaking is, what happened to the function fields Langlands conjecture? I understand around 2000 (or slightly earlier perhaps), Lafforgue proved the function fields Langlands ...

**16**

votes

**2**answers

1k views

### Uniqueness of local Langlands correspondence for connected reductive groups over real/complex field.

In Langlands' notes "On the classification of irreducible representations of real algebraic groups", available at the Langlands Digital Archive page here, Langlands gives a construction which is now ...

**16**

votes

**2**answers

696 views

### Are there any simple, interesting consequences to motivate the local Langlands correspondence?

Let's pretend that we know local Langlands at a fairly high level of generality... i.e. we know something along the lines of:
Let $G=\mathbf{G}(F)$ be the group of $F$-points of a connected ...

**15**

votes

**1**answer

1k views

### What is the precise relationship between Langlands and Tannakian formalism?

As anyone who's been reading the forums closely can see, I've been averaging a question a day about Tannakian formalism for the past few days. It's quite an interesting concept!
In any case, I wish ...

**14**

votes

**2**answers

1k views

### Quaternary quadratic forms and Elliptic curves via Langlands?

The content of this note was the topic of a lecture by Günter Harder at the School on Automorphic Forms, Trieste 2000. The actual problem comes from the article
A little bit of number theory by ...

**14**

votes

**1**answer

774 views

### What is the Twisted Trace Formula?

I am studying the trace formula using "An Introduction to the Trace Formula" by James Arthur. I would like to understand the twisted trace formula, but unfortunately I never came across a good ...

**14**

votes

**1**answer

983 views

### Characterizing the Local Langlands Correspondence

In the p-adic case, is there any hope for a set of conditions on the local Langlands correspondence which would make it unique? In the case of GL(n) this is provided by L and epsilon factors. For ...

**13**

votes

**5**answers

2k views

### What is the “reason” for modularity results?

The question is a little wishy-washy, but I take my cues from other popular questions that relate to the philosophy behind the mathematics as Why do Groups and Abelian Groups feel so different? .
I ...

**13**

votes

**3**answers

2k views

### Weil group, Weil-Deligne group scheme and conjectural Langlands group

I was reading a series of article from the Corvallis volume. There are couple of questions which came to my mind:
Why do we need to consider representation of Weil-Deligne group? That is what is an ...

**13**

votes

**1**answer

1k 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 ...

**13**

votes

**2**answers

697 views

### What's the status of Arthur's announced classification for GSp(4)?

In "Automorphic representations of GSp(4)" (2004) (see http://www.math.toronto.edu/arthur/), James Arthur announces a classification of discrete automorphic representations of GSp(4). There are no ...

**13**

votes

**1**answer

689 views

### The simplest even Artin representations of degree 2 and the corresponding Maaß forms

What are the simplest numerical examples of even dihedral (resp. tetrahedral, resp. octahedral, resp. icosahedral) representations
...

**13**

votes

**1**answer

733 views

### Where did (or will) appear: “Funktorialität in der Theorie der automorphen Formen” by Langlands?

In 2010 Langlands wrote an article with the title Funktorialität in der Theorie der automorphen Formen: Ihre Entdeckung und ihre Ziele. On the IAS website, he says that
This note ... was ...

**13**

votes

**1**answer

1k views

### Galoisian sets and the Langlands programme

Note: I've revised the question just a little bit in the hope of making it easier.
Given an algebraic number field $F$, which we may as well take to be Galois over $\mathbb{Q}$, we denote by $S_F$ ...

**12**

votes

**1**answer

872 views

### L-functions and higher-dimensional Eichler-Shimura relation

From what I have been reading I understand that it is a part of the Langlands program to express Zeta-function of a Shimura variety associated to the group G in terms of L-functions attached to G. I ...

**12**

votes

**2**answers

1k views

### What is the strongest, most natural, conjectural form of Langlands?

This is inspired by my previous question:
What is the precise relationship between Langlands and Tannakian formalism?
As well as the excellent link that Tom Leinster put in a comment to that thread: ...

**12**

votes

**2**answers

486 views

### Explicit Chebotarev and Langlands - irreducibility of X^5-X-1 mod primes

Is there an explicit infinite set of primes, modulo which $X^5 - X - 1$ is irreducible?
Since our polynomial's Galois group over $\mathbb{Q}$ is $S_5$, Chebotarev's density theorem implies that ...

**12**

votes

**1**answer

1k views

### What is the relation between L. Lafforgue and Frenkel-Gaitsgory-Vilonen results on Langlands correspondence ?

What is the relation between Lafforgue's result on Langlands
and Frenkel-Gaitsgory-Vilonen ? ( http://arxiv.org/abs/math/0012255 , http://arxiv.org/abs/math/0204081 )
Does one imply other ? If not ...

**12**

votes

**1**answer

1k views

### local Langlands and the Jacquet module

Let $G = GL_n(F)$ be the general linear group over a finite extension $F$ of $Q_p$. This question could be posed for a larger class of groups, but let us stay with $Gl_n$ for the moment.
Let $\pi$ ...

**12**

votes

**0**answers

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. ...

**11**

votes

**2**answers

2k views

### New Geometric Methods in Number Theory and Automorphic Forms

The MSRI is organising a programme with the above title from Aug 11, 2014 to Dec 12, 2014. Here is a short description from their website :
The branches of number theory most
directly related ...

**11**

votes

**3**answers

2k views

### What makes Langlands for n=2 easier than Langlands for n>2?

I must confess a priori that I haven't read the proof of Taniyama-Shimura, and that my familiarity with Langlands is at best tangential.
As I understand it Langlands for $n=1$ is class field theory. ...

**11**

votes

**2**answers

638 views

### Insolvable number fields ramified only at one (small) prime

In his first Eilenberg Lecture at Columbia, Benedict Gross says that only recently have we been able to give examples of finite galoisian extensions $K$ of ${\bf Q}$ which are ramified only at $2$ ...

**11**

votes

**3**answers

636 views

### What is the intuition behind the definition of cuspidal representations?

Let $\mathbb{G}$ be a reductive group defined over a number field $K$, let $Z$ be its center, and let $\mathbb{A}:=\mathbb{A}_K$ be the ring of adeles of $K$. Reasonably, we care about the ...

**11**

votes

**2**answers

473 views

### References for particular topics related to Langlands

I have never really concentrated on Langlands, which explains my poor level of understanding of it. But I have read quite a few introductory papers related to Langlands, and to the circle of ideas ...

**11**

votes

**2**answers

663 views

### Le Haut Commissariat qui surveille rigoureusement l'alignement de ses Grandes Pyramides

Yesterday I came across the following one-paragraph summary of the history of the Law of Quadratic Reciprocity in Roger Godement's Analyse mathématique, IV, p.313 (perhaps the only treatise on ...

**11**

votes

**2**answers

432 views

### Langlands' original observation about Ramanujan conjecture

Obviously functoriality of arbitrary high symmetric power lifts of automorphic forms on GL(2) will lead to the Ramanujan conjecture. But I guess that is too strong for Ramanujan. I came across some ...

**11**

votes

**2**answers

713 views

### units in distinct division algebras over number fields---are they definitely not isomorphic as abstract groups?

This is really an irrelevant question in the sense that the answer isn't remotely "logically crucial for the Langlands programme" or whatever---it's just something that occurred to me when writing ...