Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Higher reciprocity laws

8
votes
0answers
238 views

Results conditional on Langland's conjectures?

I know in number theorythere are loads of conditional results, dependant on RH for instance. On the other hand, Langland's programme is supposed to provide some understanding of the absolute Galois ...
14
votes
0answers
411 views

What would be the simplest analog of Langlands in algebraic topology?

It is oversimplified, I know, but just as a superficial analogy, one may think of the fact that abelianization of the fundamental group is the first homology group, as some remote relative of class ...
4
votes
1answer
161 views

Local L-function $L(s,\pi_p\times \chi_p)=1$

Let $\pi_p$ be a ramified representation of $GL(n,\mathbb{Q}_p)$. Let $\chi_p$ be a ramified representation of $GL(1,\mathbb{Q}_p)$. Is it generally known that $L(s,\pi_p\times \chi_p)=1$ if $\...
15
votes
0answers
658 views

Why arithmetic Langlands?

In trying to understand the import of Akshay Venkatesh' most recent work I found myself wondering anew about that old gnawing mystery: why Langlands? Why should arithmetic of polynomial equations over ...
3
votes
0answers
163 views

Automorphy of families of motives

I have a couple of elementary questions regarding automorphy of Galois representations arising from geometric families. Suppose we have an algebraic family of varieties over a number field, and ...
1
vote
0answers
91 views

Some simple question of the base change of the unitary group to general linear group

Let $E/F$ be a quadratic extension of number fields and $\chi$ is a unitary automorphic character of $E^{\times}$. Let $\pi$ be an automorphic representation of $U(n)(F)$ associated to $E/F$, which ...
9
votes
0answers
216 views

The trace formula over function fields

There are many examples in number theory where an "arithmetic" problem (i.e. for number fields) has an easier analogue for function fields over finite fields. This is also true for questions ...
1
vote
0answers
36 views

A normalized embedding $\mathbb C \rightarrow \mathfrak a_M^{\ast}$ via $\tilde{\alpha}$

Let $G$ be a connected, reductive group over a field $k$. Let $S$ be a maximal $k$-split torus of $G$ with Weyl group $W$, $\Delta$ a set of simple roots of $S$ in $G$, and $P = MN$ a maximal ...
3
votes
0answers
273 views

On Local Langlands correspondences

Both over global function fields and $p$-adic fields, we have a series of conjectures under the name of “geometric Langlands conjectures”. Over global function fields of char $p$, they are due to ...
17
votes
2answers
526 views

Langlands correspondence for higher local fields?

Let $F$ be a one-dimensional local field. Then Langlands conjectures for $GL_n(F)$ say (among other things) that there is a unique bijection between the set of equivalence classes of irreducible ...
4
votes
1answer
146 views

Diagonalizable pro-algebraic group in Kottwitz's 1985 Compositio paper

In Kottwitz's 1985 Compositio paper, Isocrystals with additional structure, first page, paragraph 4: Let $\mathbb{D}$ be the diagonalizable pro-algebraic group over $\mathbb{Q}_p$ with character ...
11
votes
2answers
283 views

How does the Bernstein-Zelevinsky construction of irreducibles from supercuspidals parallel the representations of the Weil-Deligne group?

In the Corvallis article Number Theoretic Background, here is what John Tate has to say on the local Langlands correspondence for a $p$-adic field $F$: So, granting a correspondence between ...
3
votes
0answers
103 views

L-functions for the Weil group over short exact sequences

Let $(\rho,V)$ be a continuous finite dimensional representation of the Weil group $W_F$ over a local field $F$. If $V$ decomposes as a direct sum $V_1 \oplus V_2$ of representations, then $$L(s,\...
8
votes
1answer
257 views

How to deduce Bernstein-Zelevinsky classification from the Langlands one

I am trying to understand the Langlands classification. To that end, I am trying to find how I could deduce the Bernstein-Zelevinsky classifcation from the second description of the Langlands ...
0
votes
0answers
118 views

Local Langlands for $\textrm{GL}_n \times \textrm{GL}_m$

My question could apply more generally to a product of reductive groups over a $p$-adic field $k$. Let $G_1 = \operatorname{GL}_{n_1}$ and $G_2 = \operatorname{GL}_{n_2}$. Any irreducible admissible ...
4
votes
0answers
58 views

What is known about the homomorphisms from local to global Weil groups?

I have been reading Tate's article Number Theoretic Background in the Corvallis proceedings about the Weil and Weil-Deligne groups. I understand that the global Weil group $W_K$ of a number field $K$ ...
6
votes
1answer
233 views

Examples of function fields Langlands for small genus (<= 2)

See Edward Frenkel's article "Lectures on the Langlands program and conformal field theory" for an exposition of the function fields Langlands correspondence (now a theorem of Drinfel'd, L.Lafforgue &...
4
votes
0answers
105 views

Supercuspidals and representations of $\operatorname{Gal}(\overline{F}/F)$

Let $F$ be a $p$-adic field, $G = \operatorname{Gal}(\overline{F}/F)$ and $W$ the Weil group of $F$. The inclusion map $W \subset G$ is continuous with dense image, so $\rho \mapsto \rho|_W$ defines ...
2
votes
0answers
61 views

Definition of Local L-function for a representation of a torus?

Let $G$ be a connected, reductive group over a $p$-adic field $k$. Let $\pi$ be an irreducible, admissible representation of $G(k)$, and $r$ a finite dimensional continuous representation of the $L$-...
13
votes
1answer
384 views

Arithmetic motivations for modularity in higher rank

The classical setting of modularity is that one can associate elliptic modular forms (or automorphic representations of GL(2)/$\mathbb Q$) to elliptic curves over $\mathbb Q$. This has far-reaching ...
6
votes
1answer
214 views

Symmetric powers of Ramanujan tau-function

Let $\Delta(z)$ be the modular form associated with Ramanujan $\tau$-function. For any $k=2,3,...$, $Sym^k\Delta$ is conjectured to be an automorphic form on $\mathrm{GL}(k+1)$ and $L(s, Sym^k\Delta)$...
8
votes
1answer
233 views

Connections between representations of $\operatorname{SL}_n$ and $\operatorname{GL}_n$

Let $G = \operatorname{GL}_n(F)$ for a $p$-adic field $F$, and let $G_D = \operatorname{SL}_n(F)$. I am wondering if there is a connection between irreducible, admissible representations of $G$ and ...
3
votes
0answers
116 views

Equivalence of formulations of Ihara's lemma

I'm wondering about the relationship between two formulations of Ihara's lemma for $\text{GL}_2$ I've seen: (1) the "concrete" version given in, for example, Darmon, Diamond, and Taylor, which says ...
5
votes
0answers
106 views

Orbits of arithmetic subgroups intersection a compact set

Let us suppose we have $G$ a connected reductive group over a number field $F$. Consider $G(\mathbb{A})$ the group over the adeles and $G(\mathbb{Q})$ embedded discretely. For $\gamma \in G(\mathbb{Q})...
7
votes
2answers
506 views

Shtukas for $\mathrm{Spec}\,\mathbf{Z}$

This is a very soft and speculative question. Please feel free to downvote, close or delete it. Studying the cohomology of moduli spaces of shtukas, Drinfeld proved the Langlands program for $\mathrm{...
6
votes
0answers
195 views

Bi-Whittaker functions and local Langlands compatibility

I'm trying to figure out the arithmetic analogue of a key conjecture in the geometric local Langlands correspondence. Briefly, one expects for $K=\mathbb{C}((t))$ an equivalence of dg categories $$\...
4
votes
2answers
297 views

Potential automorphy of abelian varieties

Let $A$ be an abelian variety over $\mathbb Q$. One could ask (1) is there a finite extension $K$ of $\mathbb Q$ such that the L-function $L(A/K,s)$ is the L-function of an automorphic form? or ...
3
votes
0answers
94 views

Uniqueness of class field theory map

Let $F$ be a local field of characteristic 0. The main theorems in local class field theory can be summarized by the existence of a group $W_F$ and a map $$ \phi_F:W_F\to W_F^\mathrm{ab}\simeq F^\...
15
votes
1answer
495 views

References for Langlands classification

I kindly ask about some references concerning the representation theory of the Langlands dual of a compact Lie group, and how it relates to things related to the original compact Lie group. My ...
3
votes
1answer
99 views

Idea of base change for Division algebras over local field

Let $F$ be a non-Archimedean local field of characteristic $0$ and $K/F$ be a finite extension. Let $D_F$ be the central division algebra of dimension $n^2$ over $F.$ Write $D_K=D_F\otimes_FK$, which ...
2
votes
0answers
186 views

Meaning of Ramanujan-Petersson conjecture? [closed]

I found it very hard to explain the Ramanujan-Petersson conjecture in a straightforward way. I can only say now: think about automorphic forms as sound waves, and then the conjecture predicts that ...
3
votes
1answer
357 views

Global Langlands function fields

Has V. Lafforgue proved the automorphic-to-Galois direction in the Global Langlands conjectures for general reductive groups over function fields? What is the current status, more generally? Related ...
10
votes
0answers
651 views

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 ...
6
votes
1answer
295 views

Alternative way to prove the functional equation for Eisenstein series?

Let $E(z,s):=\pi^{-s}\Gamma (s) \sum_{(m,n)=1}\frac{y^s}{|mz+n|^{2s}}$ be the real-analytic Eisenstein series. It satisfies the functional equation $E(z,s)=E(z,1-s)$ with two poles at $s=0,1$. The ...
6
votes
1answer
201 views

Critical values of L-functions and weights of Eisenstein Series

I have been reading Serre's paper on p-adic modular forms and there seems to be a connection between critical values of L-functions and weights of Eisenstein series in the following sense: For the ...
4
votes
0answers
262 views

Reference for shtuka and trace formula

I really want to learn the work of Laurent Lafforgue and the joint work of Zhiwei Yun and Wei Zhang. They both involve shtuka and trace formula, which I only know the basic idea. So I would like to ...
8
votes
0answers
203 views

Residue of Eisenstein Series on GL(n)

Reference: Mœglin, C.; Waldspurger, J.-L.: Le spectre residuel de GL(n) On GL($n$), the result of Waldspurger shows that if an automorphic representation $\pi$ is non-cuspidal and in the discrete ...
11
votes
1answer
386 views

What kind of non-cuspidal automorphic representation are not isobaric sums?

Let's say $\pi$ is an automorphic representation on $GL_3(A_{\mathbb Q})$ (or $GL_n(A_{\mathbb Q})$). If $\pi$ is not cuspidal, what $\pi$ can be other than isobaric sums? If there is such a thing, ...
3
votes
1answer
183 views

infinitesimal character of Langlands quotient for GL(n,R)

Let $G = GL(n,\mathbb{R})$. Consider a Langlands data $(Q_F, \sigma, \lambda)$ with $F \subset \Delta$ (the set of simple roots), $Q_F$ the associated standard parabolic subgroup, $\sigma$ an ...
3
votes
1answer
190 views

Is there a definition of supercupidal parameter in the Local Langland correspondence?

By the recent works of Mok, and Kaletha, Shin, White, James, I know that there is a notion of tempered $L$-parameter, square integrable $L$-parameter and generic $L$-parameter of unitary groups. ...
4
votes
0answers
102 views

Examples of conjectural functorial transfer which has $\times GL(1)$ functional equation?

I am look for some conjectural functorial transfer $X$ which (A)for any $GL(1)$ automorphic representation $\pi$, we have $L(s, X\times \pi)$ is holomorphic and satisfies certain functional ...
11
votes
1answer
402 views

Loss of cuspidality by Langlands tranfer

Given an $L$-homomorphism of Langlands dual groups $${}^LG \to {}^LG'$$ Langlands functoriality contectures predicts the existence of a tranfer map of automorphic representations $$Aut(G) \to Aut(G')$...
16
votes
0answers
505 views

Monstrous Langlands-McKay or what is bijection between conjugacy classes and irreducible representation for sporadic simple groups?

Context: The number of conjugacy classes equals to the number of irreducuble representations (over C) for any finite group. Moreover for the symmetric group and some other groups there is "good ...
11
votes
0answers
343 views

Bijection between conjugacy classes and irreducible representation of Weyl group = Langlands correspondence over “field with one element”

Context: The number of conjugacy classes equals to the number of irreducuble representations (over C) for any finite group. Moreover for the symmetric group there is well-known "natural bijection" ...
6
votes
1answer
188 views

Endoscopic group that is not a subgroup

The question is a very little more than what's in the title. It is easy (for some values of ‘easy’) to produce examples of endoscopic groups that are not subgroups. When I asked a colleague, he ...
3
votes
1answer
363 views

Reference for the proof of Langlands conjecture for $GL_n$ over function fields

Is there any reference written in English for the proof of Langlands conjecture for $GL_n$ over function fields?
7
votes
1answer
237 views

Intuition behind centralizers of Langlands parameters

In the description of the Langlands correspondence for $\mathbb{Q}_p$, we consider admissible representations of $G(\mathbb{Q}_p)$ for $G$ a reductive group defined over $\mathbb{Q}_p$, and admissible ...
6
votes
0answers
487 views

The role of Honda-Tate theory in (Scholze's refinement of) the Langlands-Kottwitz method?

I was wondering if somebody could give me a quick primer on Honda-Tate theory, specifically the number of isogeny classes of elliptic curves, and how specifically it's utilized in (Scholze's ...
23
votes
1answer
1k views

Is there a “Langlands philosophy” reason for the fact that the L-function of the Jacobi theta function is (almost) the Riemann zeta function?

The Jacobi theta function $\theta(z) = 1 + 2 \sum_{n = 1}^\infty q^{n^2}$, with $q = e^{\pi i z}$ is a (twisted) modular form with weight $1/2$. It has an associated $L$-function $L(\theta, s) = \sum_{...
1
vote
0answers
118 views

What is a common name for these automorphic objects?

I am looking for a name which includes these objects: 1. automorphic forms, cusp forms and non-cusp forms 2. Rankin-Selberg convolution between automorphic forms (which is conjectured to be ...