## Consequences of the Langlands program

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

In the one-dimensional case the Langlands program is equivalent to the class field theory and the two-dimensional case implies the Taniyama-Shimura conjecture.

I would like to know are there any other important consequence of the Langlands program?

-

4
The Artin conjecture on L-functions. See the Wikipedia page on Artin L-functions. – KConrad Oct 16 2011 at 5:14

9
Benedict Gross has been giving a lecture series on more or less this topic. Videos of the lectures are available online at math.columbia.edu/~staff/EilenbergVideos/… – Alison Miller Oct 16 2011 at 5:36

## 2 Answers

There are many, many consequences of the general Langlands program (which I'll interpret to mean both functoriality for automorphic forms and reciprocity between Galois representations and automorphic forms). Some of these are:

• The Selberg $1/4$ conjecture.

• The Ramanujan conjecture for cuspforms on $GL_n$ over arbitrary number fields.

• Modularity of elliptic curves over arbitrary number fields. (Indeed, Langlands reciprocity is essentially the statement that all Galois representations coming from geometry are attached to automorphic forms.)

• Analogues of Sato--Tate for Frobenius eigenvalues on the $\ell$-adic cohomology of arbitrary varieties over number fields.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Langlands functoriality (base change for $GL(2)$) implies the virtual Haken conjecture for closed arithmetic hyperbolic 3-manifolds.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 4, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8636598587036133, "perplexity_flag": "middle"}