Higher reciprocity laws

**56**

votes

**7**answers

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

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

**50**

votes

**2**answers

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

**48**

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

**36**

votes

**1**answer

1k views

### What is the status of Arthur's book?

Arthur's long-awaited book project is now published (The endoscopic classification of representations: orthogonal and symplectic groups). However, in the book he takes some things for granted:
The ...

**30**

votes

**2**answers

3k 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). ...

**29**

votes

**2**answers

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

**28**

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

**28**

votes

**1**answer

2k 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

**3**answers

4k 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

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

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

**24**

votes

**2**answers

2k views

### Mochizuki's “phenomena in number theory” outside the scope of Langlands

(Crossposted from math.stackexchange by suggestion)
On page 12 of Shinichi Mochizuki's "On the Verification of Inter-universal Teichmuller Theory: A Progress Repor", he writes
"The ...

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

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

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

**23**

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

**22**

votes

**6**answers

2k views

### Number theory and physics

I was following some lectures by Edward Frenkel about Langlands correspondence. He was describing some analogies between number theory and theoretical physics (Mirror symmetry). At some point ( my ...

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

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

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

**19**

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

**18**

votes

**2**answers

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

**17**

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

**17**

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

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

748 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

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

**15**

votes

**1**answer

377 views

### What do Hecke eigensheaves actually look like?

Let $\mathbb F_q$ be a finite field, $C$ a curve over $\mathbb F_q$ of genus $g\geq 2$, $\rho: \pi_1(C) \to GL_2(\overline{\mathbb Q}_\ell)$ an irreducible local system. The geometric Langlands ...

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

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

**14**

votes

**1**answer

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

**14**

votes

**1**answer

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

**2**answers

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

**13**

votes

**2**answers

761 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

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

**13**

votes

**1**answer

537 views

### Local Langlands for $GL(2,\mathbf{C})$ and reducible principal series

My naive picture of the local Langlands correspondence for $GL(2,\mathbf{C})$ is this. The Weil group of $\mathbf{C}$ is canonically $\mathbf{C}^\times$. On the Galois side then we're looking at ...

**13**

votes

**2**answers

607 views

### The status of automorphic induction

Background: Let $K/F$ be a degree $r$ extension of number fields. It is conjectured that an automorphic representation of GL$_n$ associated to $K$ induces an automorphic representation of GL$_{rn}$ ...

**13**

votes

**1**answer

750 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

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

**12**

votes

**1**answer

926 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

**1**answer

257 views

### To what extent are modular parametrizations expected to generalize?

By the Modularity Theorem (a.k.a. the Shimura--Taniyama--Weil Conjecture), if $E$ is an elliptic curve over $\textbf{Q}$ with conductor $N$, then there exists a “modular parametrization” $\psi: X_0(N) ...

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