# Where stands functoriality in 2017?

In 2002, R. Langlands put forward a new strategy to prove the general functoriality conjecture in the Beyond endoscopy paper. The main purpose of this strategy is to detecting the automorphic representations of $G$, where the $L$-function has a pole at $s = 1$.

In 2009, Ngo Bao Chau proved fundamental lemma.

A year later Ngo and Frenkel wrote an article about geometrization of trace formula. Arthur-Selberg trace formula is a fundamental tool in the theory of automorphic forms. If we want to prove functoriality conjecture, we first need to establish an identity between the orbital integrals on the groups $g$ and $h$ for the $f_g$ and $f_h$ test functions, and then use the trace formula to get the identity on the spectral side. The following article Ngo and Frenkel geometrizes the orbital side of trace formula and using this strategy, they formulate conjecture about the relationship between cohomology of two modular stacks. $(M_G, M_H)$ $G=SL_2$, $H$: non-split one-dimensional torus.

Edward Frenkel, Ngo Bao Chau, Geometrization of Trace Formulas, Bulletin of Mathematical Sciences 1 (2011) no 1 pp 129–199. doi:10.1007/s13373-011-0009-0, arXiv:1004.5323

And as far as I can tell, Lafforgue is working on functoriality and developed a different strategy of attack.

What is the status of the functoriality in 2017? Or what are your thoughts about the future of functoriality?

• "The principle of functoriality awaits the efforts of future Fields medallists." - Jim Arthur – Arun Debray Aug 12 '17 at 14:13
• I would probably community-wiki this as primarily discussion-based/soft question. – Harry Gindi Aug 12 '17 at 14:21
• I think it might be better to suggest a year-independent edit to mathoverflow.net/questions/1252/… instead of writing a new question. Also, both questions appear to be subsumed by mathoverflow.net/questions/161820/… – S. Carnahan Aug 12 '17 at 14:51
• Possible duplicate of Current Status on Langlands Program – Harry Gindi Aug 12 '17 at 15:57
• As for me I advocate a periodic reevaluation of the status of LP instead of a dense and difficult to go through unique question, though not too often. Why not every four years, before each ICM ? – Sylvain JULIEN Aug 12 '17 at 17:20