Return to Answer

Though there are several automorphic papers discussing the Tannakian outlook (notably Ramakrishnan's article in Motives (Seattle 1991, AMS) and Arthur's A note on the Langlands group, (referred to above) there is as yet no formulation of Langlands correspondence between Galois representations and automorphic representations as an equivalence of Tannakian categories. There are (at least) two outstanding fundamental questions on the Tannakian aspects of the Langlands correspondence.

1. What is the definition of the category of automorphic representations for any number field?

here one means automorphic representations for GL, any $n \ge 0$.

2. How to endow the category in 1) with a tensor structure so as to render it Tannakian?

here the postulated Tannakian group is the "Langlands Group" which is much larger than the motivic Galois group (not all automorphic representations correspond to Galois representations..only algebraic ones do - see work of Clozel and more recent work of Buzzard-Gee).

An interesting point: Arthur's paper postulates the Langlands group as an extension of the usual Galois group by a (pro-) locally compact group whereas the motivic Galois group is an extension of the usual Galois group by a pro-algebraic group. An illustration of the difference is provided by the case of abelian motives; the Langlands group is the abelianisation of the Weil group whereas the motivic group is the Taniyama group (see references below).

But the Tannakian outlook, despite its present inaccessibility, has already made a profound impact. See Langlands paper "Ein Marchen etc" (where the Tannakian aspect was first written out with many consequences for the Taniyama group (Milne's notes)) as well as Serre's book Abelian l-adic representations for many references.

Nothing seems to be known regarding the second question. However, see (page 6 of) these comments of Langlands on the Tate conjecture.

This is just a rough answer from a novice..for a precise and detailed answer, let us wait for the experts!

Though there are several automorphic papers discussing the Tannakian outlook (notably Ramakrishnan's article in Motives (Seattle 1991, AMS) and Arthur's A note on the Langlands group, (referred to above) there is as yet no formulation of Langlands correspondence between Galois representations and automorphic representations as an equivalence of Tannakian categories. There are (at least) two outstanding fundamental questions on the Tannakian aspects of the Langlands correspondence.

1. What is the definition of the category of automorphic representations for any number field?

here one means automorphic representations for GL, any $n \ge 0$.

2. How to endow the category in 1) with a tensor structure so as to render it Tannakian?

here the postulated Tannakian group is the "Langlands Group" which is much larger than the motivic Galois group (not all automorphic representations correspond to Galois representations..only algebraic ones do - see work of Clozel and more recent work of Buzzard-Gee).

An interesting point: Arthur's paper postulates the Langlands group as an extension of the usual Galois group by a (pro-) locally compact group whereas the motivic Galois group is an extension of the usual Galois group by a pro-algebraic group. An illustration of the difference is provided by the case of abelian motives; the Langlands group is the abelianisation of the Weil group whereas the motivic group is the Taniyama group (see references below).

But the Tannakian outlook, despite its present inaccessibility, has already made a profound impact. See Langlands paper "Ein Marchen etc" (where the Tannakian aspect was first written out with many consequences for the Taniyama group (Milne's notes)) as well as Serre's book Abelian l-adic representations for many references.

Nothing seems to be known regarding the second question. However, see (page 6 of) these comments of Langlands:

"Although there is little point in premature speculation about the form that the final theory connecting automorphic forms and motives will take, some anticipation of the possibilities has turned out to be useful. Motivic $L$-functions, in terms of which Hasse-Weil zeta functions are expressed, are introduced in a Tannakian context.

....

An adequate Tannakian formulation of functoriality and of the relation between automorphic representations and motives ([Cl1, Ram]) will presumably include the Tate conjecture ( [Ta] ) as an assertion of surjectivity. The Tate conjecture itself is intimately related to the Hodge conjecture whose formulation is algebro-geometrical and topological rather than arthmetical. ..."

The references here are to Clozel and Ramakrishnan's papers and then Tate's paper for the Tate conjecture.

This is just a rough answer from a novice..for a precise and detailed answer, let us wait for the experts!

Though there are several automorphic papers discussing the Tannakian outlook (notably Ramakrishnan's article in Motives (Seattle 1991, AMS) and Arthur's [A note on the Langlands group,][1] (referred to above) there is as yet no formulation of Langlands correspondence between Galois representations and automorphic representations as an equivalence of Tannakian categories. There are (at least) two outstanding fundamental questions on the Tannakian aspects of the Langlands correspondence.

1. What is the definition of the category of automorphic representations for any number field?

here one means automorphic representations for GL, any $n \ge 0$.

2. How to endow the category in 1) with a tensor structure so as to render it Tannakian?

here the postulated Tannakian group is the "Langlands Group" which is much larger than the motivic Galois group (not all automorphic representations correspond to Galois representations..only algebraic ones do - see work of Clozel and more recent work of Buzzard-Gee).

An interesting point: Arthur's paper postulates the Langlands group as an extension of the usual Galois group by a (pro-) locally compact group whereas the motivic Galois group is an extension of the usual Galois group by a pro-algebraic group. An illustration of the difference is provided by the case of abelian motives; the Langlands group is the abelianisation of the Weil group whereas the motivic group is the Taniyama group (see references below).

But the Tannakian outlook, despite its present inaccessibility, has already made a profound impact. See Langlands paper ["Ein Marchen etc"][2] (where the Tannakian aspect was first written out with many consequences for the Taniyama group ([Milne's notes)][3]) as well as [Serre's book Abelian l-adic representations][4] for many references.

This is just a rough answer from a novice..for a precise and detailed answer, let us wait for the experts! [1]: http://www.claymath.org/cw/arthur/pdf/automorphic-langlands-group.pdf [2]: http://publications.ias.edu/rpl/section/26 [3]: http://jmilne.org/math/CourseNotes/cm.html [4]: http://books.google.com/books?id=CLlkdN2lh8cC

Though there are several automorphic papers discussing the Tannakian outlook (notably Ramakrishnan's article in Motives (Seattle 1991, AMS) and Arthur's A note on the Langlands group, (referred to above) there is as yet no formulation of Langlands correspondence between Galois representations and automorphic representations as an equivalence of Tannakian categories. There are (at least) two outstanding fundamental questions on the Tannakian aspects of the Langlands correspondence.

1. What is the definition of the category of automorphic representations for any number field?

here one means automorphic representations for GL, any $n \ge 0$.

2. How to endow the category in 1) with a tensor structure so as to render it Tannakian?

here the postulated Tannakian group is the "Langlands Group" which is much larger than the motivic Galois group (not all automorphic representations correspond to Galois representations..only algebraic ones do - see work of Clozel and more recent work of Buzzard-Gee).

An interesting point: Arthur's paper postulates the Langlands group as an extension of the usual Galois group by a (pro-) locally compact group whereas the motivic Galois group is an extension of the usual Galois group by a pro-algebraic group. An illustration of the difference is provided by the case of abelian motives; the Langlands group is the abelianisation of the Weil group whereas the motivic group is the Taniyama group (see references below).

But the Tannakian outlook, despite its present inaccessibility, has already made a profound impact. See Langlands paper "Ein Marchen etc" (where the Tannakian aspect was first written out with many consequences for the Taniyama group (Milne's notes)) as well as Serre's book Abelian l-adic representations for many references.

Nothing seems to be known regarding the second question. However, see (page 6 of) these comments of Langlands on the Tate conjecture.

This is just a rough answer from a novice..for a precise and detailed answer, let us wait for the experts!

Though there are several automorphic papers discussing the Tannakian outlook (notably Ramakrishnan's article in Motives (Seattle 1991, AMS) and Arthur's [A note on the Langlands group,][1] (referred to above) there is as yet no formulation of Langlands correspondence between Galois representations and automorphic representations as an equivalence of Tannakian categories. There are (at least) two outstanding fundamental questions on the Tannakian aspects of the Langlands correspondence.

1. What is the definition of the category of automorphic representations for any number field?

here one means automorphic representations for GL, any $n \ge 0$.

2. How to endow the category in 1) with a tensor structure so as to render it Tannakian?

But the Tannakian outlook, despite its present inaccessibility, has already made a profound impact. See Langlands paper ["Ein Marchen etc"][2] (where the Tannakian aspect was first written out with many consequences for the Taniyama group ([Milne's notes)][3]) as well as [Serre's book Abelian l-adic representations][4] for many references.

This is just a rough answer from a novice..for a precise and detailed answer, let us wait for the experts! [1]: http://www.claymath.org/cw/arthur/pdf/automorphic-langlands-group.pdf [2]: http://publications.ias.edu/rpl/section/26 [3]: http://jmilne.org/math/CourseNotes/cm.html [4]: http://books.google.com/books?id=CLlkdN2lh8cC

Though there are several automorphic papers discussing the Tannakian outlook (notably Ramakrishnan's article in Motives (Seattle 1991, AMS) and Arthur's [A note on the Langlands group,][1] (referred to above) there is as yet no formulation of Langlands correspondence between Galois representations and automorphic representations as an equivalence of Tannakian categories. There are (at least) two outstanding fundamental questions on the Tannakian aspects of the Langlands correspondence.

1. What is the definition of the category of automorphic representations for any number field?

here one means automorphic representations for GL, any $n \ge 0$.

2. How to endow the category in 1) with a tensor structure so as to render it Tannakian?

here the postulated Tannakian group is the "Langlands Group" which is much larger than the motivic Galois group (not all automorphic representations correspond to Galois representations..only algebraic ones do - see work of Clozel and more recent work of Buzzard-Gee).

An interesting point: Arthur's paper postulates the Langlands group as an extension of the usual Galois group by a (pro-) locally compact group whereas the motivic Galois group is an extension of the usual Galois group by a pro-algebraic group. An illustration of the difference is provided by the case of abelian motives; the Langlands group is the abelianisation of the Weil group whereas the motivic group is the Taniyama group (see references below).

But the Tannakian outlook, despite its present inaccessibility, has already made a profound impact. See Langlands paper ["Ein Marchen etc"][2] (where the Tannakian aspect was first written out with many consequences for the Taniyama group ([Milne's notes)][3]) as well as [Serre's book Abelian l-adic representations][4] for many references.

This is just a rough answer from a novice..for a precise and detailed answer, let us wait for the experts! [1]: http://www.claymath.org/cw/arthur/pdf/automorphic-langlands-group.pdf [2]: http://publications.ias.edu/rpl/section/26 [3]: http://jmilne.org/math/CourseNotes/cm.html [4]: http://books.google.com/books?id=CLlkdN2lh8cC