Questions tagged [langlands-program]

In mathematics, the Langlands program is a web of far-reaching and influential conjectures about connections between number theory and geometry. Proposed by Robert Langlands (1967, 1970), it seeks to relate Galois groups in algebraic number theory to automorphic forms and representation theory of algebraic groups over local fields and adeles.

Filter by
Sorted by
Tagged with
1 vote
0 answers
68 views

Action of the absolute Galois group on the based root datum

Let $G$ be a connected reductive group over a field $k$ with separable closure $k^s$ and $\Gamma=\text{Gal}(k^s/k)$. Pick $T\subset B$ maximal split torus and Borel subgroup for $G_{k^s}$. I am aware ...
  • 3,972
0 votes
0 answers
38 views

Has a proper version of Bernstein's lectures, written by Karl Rumelhart ever been published as a proper book/article?

I'm specifically refering to the set of ntoes as seen here: https://people.math.harvard.edu/~gaitsgde/Jerusalem_2010/GradStudentSeminar/p-adic.pdf This set of notes serves as a great introduction to ...
4 votes
0 answers
36 views

Coset representatives for $wPw^{-1} \cap P' \backslash P'$ for parabolic subgroups $P'$ and $P$?

I'm going through the calculation of the constant term of Eisenstein series in Moeglin and Waldsburger's Spectral Decomposition and Eisenstein series book (section II.1.7), and am confused on a small ...
  • 32.3k
-3 votes
1 answer
69 views

Is there an error in this Langlands Program video by Quanta Magazine?

Recently, I was watching Quanta Magazine's The Biggest Project in Modern Mathematics YouTube video. I was thrown off by the expansion of $(1-x)^{24}$ to $(1-24x+276x^2)$ at around timestamp 3:40. Is ...
  • 1,371
1 vote
0 answers
61 views

The Weil group and maximal tame extension

Let $k$ be a $p$-adic field with residue field $\kappa$ of cardinality $q$ and characteristic $p$. The Weil group $W(k)$ is the subgroup of $\operatorname{Gal}(\overline{k}/k)$ of automorphisms that ...
  • 9,402
6 votes
1 answer
193 views

Why is our definition of "smooth" function on a totally disconnected space the "right" definition?

My main interest in this comes from starting to learn about representations of totally disconnected, locally compact topological groups $G$, and their representations. I came across the definition of &...
1 vote
0 answers
111 views

What are the prerequisites for studying Automorphic Representation Theory?

I am interesting in getting into Automorphic Representation Theory but am unsure where to start. It seems like there are a lot of prerequisites. What are the main areas (above abstract algebra) that ...
1 vote
0 answers
121 views

Reference for Langlands functoriality conjecture view towards classical examples

I want to know if there's any good reference on Langlands functoriality conjecture which provides connection with classical examples. What I have in my mind are followings: Classical Rankin-Selberg (...
  • 14.5k
1 vote
0 answers
258 views

How do algebraic geometry and the Langlands program compare?

At roughly 12:30-13:00 in this video, Ravi Vakil suggests that algebraic geometry is a sort of unifying theory of mathematics. In this article, Edward Frenkel describes the Langlands program as “a ...
  • 3,807
2 votes
1 answer
69 views

Trace of an induced representation on $G(\mathbb A)$

Let $G = \operatorname{GL}_2$, with center $Z$, diagonal matrices $T$, and upper triangular unipotents $N$. Let $K$ be the standard maximal compact subgroup of $G(\mathbb A) = G(\mathbb A_{\mathbb Q})...
  • 32.3k
1 vote
0 answers
69 views

Understanding local L-packets for SL(2,F) for a nonarchimedean field F

The local Langlands correspondence for $GL(2,F)$, for a non-archimedean field $F$, gives a one-to-one correspondence between (equivalence classes of) irreducible admissible representations of $GL(2,F)$...
  • 49
0 votes
0 answers
82 views

Where do automorphic Maass forms come from?

I know the Langlands program for GL2/SL2 gives some hints as to the origins of automorphic representations, and that some cases of the correspondence have been completely classified or reasonably ...
  • 1,098
7 votes
1 answer
176 views

Which Hecke algebra is used in representation theory?

Which Hecke algebra is used in representation theory or more specifically in the study of Langlands's conjecture ? From here, the Hecke algebra is constructed from a locally compact topological group ...
  • 10.1k
9 votes
2 answers
673 views

Concrete example of non-abelian class field theory - why Langlands program *is* a non-abelian class field theory?

Abelian class field theory generalizes quadratic reciprocity laws for general number fields with abelian Galois groups, which connects class groups and Galois groups via Artin's reciprocity map. Also, ...
  • 14.5k
2 votes
1 answer
270 views

Links between Langlands program, elliptic curves, and cryptography

There is a link between the Langlands program and elliptic curves as well as a link between elliptic curves and cryptography. I am wondering how a thing in the Langlands program can be translated to ...
  • 158
2 votes
1 answer
135 views

Details in Deligne-Serre "Formes modulaires de poids 1"

There are specific details which I'm a little stuck on in Deligne and Serre's paper on attaching Galois representations to modular forms of weight 1. In the proof of Lemma 8.3, they use the ...
1 vote
1 answer
75 views

poles of local zeta integral in Tate's thesis

Let $F$ be a local field and $\omega : F^{\times} \to \mathbb {S}^1$ be a unitary character. The local zeta integral is defined to be $$ z(s,\omega,f) = \int_{F^{\times}} f(x)\omega(x)\omega_s(x)d^{\...
  • 71
2 votes
0 answers
37 views

Motivation and Interpretation of Classical and Geometric Satake Equivalence

I am struggling with understanding the motivation for both the classical and geometric forms of Satake equivalence. What prompted the development of this equivalence? Any open problems that it was ...
2 votes
1 answer
145 views

Modularity in terms of the stack of elliptic curves

Modular forms can be viewed as something like global sections of (some tensor power of) the canonical line bundle on the stack $\mathcal M_{\text{ell}}$ of (generalized) elliptic curves. Is it ...
  • 1,710
6 votes
0 answers
95 views

Do all cuspidal automorphic representations of $\operatorname{GL}_2(\mathbb A_{\mathbb Q})$ come from Maass or holomorphic cusp forms?

A normalized cuspidal newform $f$ (either holomorphic or Maass) can be identified with a function on $\phi: \operatorname{GL}_2(\mathbb Q) \backslash \operatorname{GL}_2(\mathbb A_{\mathbb Q})$, and ...
  • 32.3k
1 vote
0 answers
122 views

Prerequisites for E. Frenkel's "Langlands correspondance for loop groups"

What would be the prerequisites to understand the material in this book ? It is advertised as an undergraduate course, but it seems this would apply to either very dedicated or quite advanced students ...
  • 61
5 votes
0 answers
121 views

How to recover abelian class field theory from Langlands?

I am reading about the Langlands program (mostly for fun). I am mostly self-taught in algebraic number theory. I have read that one recovers abelian class field theory from Langlands by setting $n=1$ ...
  • 5,104
1 vote
0 answers
161 views

An irreducible Weil(-Deligne) representation is automatically semisimple

Let $(V,r,N)$ be an irreducible Weil-Deligne representation. By irreducibility, $N=0$ automatically. Is it true that the Frobenius element acts semisimply? This is not true if we only assume that the ...
  • 7,959
2 votes
1 answer
249 views

Quadratic reciprocity in Langlands program

I know quadratic reciprocity is the easiest example of langlands correspondence. Langlands correspondence gives some relation between automorphic forms and artin representations. My question is: what ...
3 votes
0 answers
51 views

Satake correspondence for groups over finite field

In Langlands' program, Satake correspondence gives a correspondence between unramified representation of a reductive group $G$ over a local field and conjugacy classes in the Langlands dual group ${}^{...
  • 14.5k
3 votes
0 answers
84 views

Langlands L functions for groups over finite fields.

In some reading on automorphic/Langlands-related papers I have seen some authors refer to the finite field analogues of Langlands objects, such as admissible representations, L factors but a simple ...
  • 341
2 votes
0 answers
73 views

Asymptotic's for Fourier coefficients of $GL(3)$ Maass forms

Let $f$ be a $GL(3)$ Hecke-Maass cusp form and $A(m,n)$ denote its Fourier coefficients. (1) Are there any lower bounds known for $\sum_{p\leq x}|A(1,p)|^2$ or $\sum_{n\leq x}|A(1,n)|^2$ ? (we know ...
  • 464
2 votes
0 answers
46 views

Descent for admissible representations of algebraic groups over local fields

Let $G$ be a reductive group and $F$ be a local field which is a finite extension of $\mathbb{Q}_p$. Assume $\Pi$ is an irreducible smooth admissible representation of $G(F)$ over $\bar{\mathbb{Q}}_l$,...
  • 141
2 votes
0 answers
126 views

Functional equation for $GL(3)\times GL(2)\times GL(1)$ L-functions

For two Maass forms $$f(z)=\sum_{n\neq 0}a(n)\sqrt{2\pi y}K_{v_1-\frac{1}{2}}(2\pi|n|y)e^{2\pi inx}$$ and$$g(z)=\sum_{\gamma\in U_2(\mathbb{Z})\backslash SL(2,\mathbb{Z})} \,\,\,\,\,\sum_{m=1}^{\...
  • 464
0 votes
1 answer
81 views

Definition of Haar integral in Bushnell and Henniart

In Bushnell and Henniart's The Local Langland's Conjecture for GL(2) they define a right Haar integral on a locally profinite group $G$ as being a non-zero linear functional $$ I: C^{\infty}_{c}(G) \...
  • 369
6 votes
1 answer
414 views

Results proved using perfectoid spaces understandable by an undergraduate

Many advanced areas of research in mathematics, the Riemann hypothesis, the Taniyama–Shimura conjecture, Green–Tao theorem etc. all have interesting consequences that could be stated using only ...
  • 319
3 votes
0 answers
94 views

Isomorphism of Weil representations only when $E/F$ is Galois?

$\DeclareMathOperator{\Ind}{Ind}\DeclareMathOperator{\Gal}{Gal}$Let $F$ be a $p$-adic field, and let $E \subseteq \overline{F}$ be a finite extension of $F$. Let $k_F$ and $k_E$ be the residue fields ...
  • 32.3k
2 votes
0 answers
138 views

On the Fermat-Taylor-Wiles proof from integers to polynomials, and Langlands program

What is known as the Fermat's conjecture (or last theorem), proved by Taylor and Wiles (see The Proof of Fermat's Last Theorem by R. Taylor and A. Wiles, 1995, Gerd Faltings, AMS notices or Fermat's ...
7 votes
1 answer
420 views

Soft Question: in the Langlands program, which side is "geometric", which side is "spectral"?

I am in the process of ordering some book on the Langlands program, and learning more about it. In the mean time, I have a question which is easy to the experts, but being a beginner, I am not a 100% ...
  • 5,104
5 votes
1 answer
382 views

Does the Langlands program preserve CFT's distinction between local and global theories?

This question is vaguely related to: Different formulations of Class Field Theory As I said there, I'm currently learning class field theory. For some motivation, I've also read a little about ...
  • 2,485