Higher reciprocity laws

learn more… | top users | synonyms

52
votes
7answers
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 ...
45
votes
2answers
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 ...
42
votes
2answers
4k 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 ...
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 ...
35
votes
2answers
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. ...
28
votes
1answer
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 ...
25
votes
3answers
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 ...
24
votes
3answers
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, ...
24
votes
2answers
776 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 ...
23
votes
4answers
2k 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 ...
22
votes
5answers
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 ...
22
votes
1answer
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 ...
21
votes
2answers
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). ...
21
votes
1answer
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 = ...
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) ...
19
votes
3answers
1k 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
2answers
1k 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 ...
19
votes
1answer
897 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) ...
18
votes
1answer
497 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 ...
16
votes
2answers
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 ...
15
votes
2answers
878 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 ...
15
votes
4answers
991 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 ...
13
votes
2answers
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 ...
13
votes
1answer
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 ...
13
votes
1answer
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 ...
13
votes
1answer
547 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
1answer
921 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
5answers
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 ...
12
votes
1answer
724 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
2answers
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
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
923 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 ...
12
votes
1answer
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
1answer
875 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 ...
11
votes
3answers
1k 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
2answers
630 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
1answer
944 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 ...
11
votes
2answers
659 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 ...
11
votes
0answers
494 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 ...
10
votes
3answers
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 ...
10
votes
2answers
594 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$ ...
10
votes
1answer
490 views

The first odd degree-2 Artin representation for which the Artin conjecture was proved

At the DeKalb conference on Hilbert's problems, John Tate gave a masterly survey of Problem 9, the General Reciprocity Law. He ends with a discussion of the Langlands Programme, especially the case ...
10
votes
1answer
329 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 ...
10
votes
1answer
750 views

Simple explicit example of local Jacquet-Langlands theorem for inner forms of GL(n), and consequences

This one will be very easy for the experts. Let $F$ be a nonarch local field, let $n\geq1$ be an integer, choose $0\leq d<n$ and let $D$ be the central simple algebra over $F$ with invariant $d/n$ ...
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. ...
10
votes
0answers
262 views

Is there a theory of Maaß forms over finite fields ?

Here is a somewhat naïve question which must have occurred to many people, so it would be nice to record here the attempts at an answer : Is there a theory of Maaß forms over ...
9
votes
2answers
1k 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 ...
9
votes
1answer
2k views

Kapranov's analogies

I just wonder about Kapranov's "Analogies between Langlands Correspondence and topological QFT". I would like to read a more detailed exposition and how one turns that analogy into concrete ...
9
votes
3answers
424 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 ...
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 ...