# Questions tagged [geometric-langlands]

The geometric-langlands tag has no usage guidance.

The geometric-langlands tag has no usage guidance.

77
questions

2
votes

0
answers

154
views

The reductive groups play a central role in the Langlands correspondence. Why are these groups called reductive? Does this name suggest something conceptual about these groups?

7
votes

0
answers

132
views

A 6-dimensional (2,0) superconformal quantum field theory comes in Lie algebra A, D, E types. These theories do not have classical Lagrangian and are purely quantum.These theories on a torus ...

1
vote

1
answer

235
views

Drinfeld-Lafforgue have proven function fields Langlands conjectures in type A: see https://arxiv.org/pdf/math/0212417.pdf (Laumon's survey in English), https://arxiv.org/pdf/math/0212399.pdf (...

2
votes

1
answer

208
views

For $G = GL_n$, it is known that the generic fibers of the Hitchin fibration are the Picard stacks of line bundles on the corresponding spectral curves and the duality of Hitchin fibrations in this ...

2
votes

1
answer

158
views

Let $\overline{X}$ be a smooth proper curve over $\mathbb{F}_q$, for some $q$, $S$ a collection of $\mathbb{F}_q$ points of $\overline{X}$, and set $X=\overline{X}-S$.
For a rank $n$ $\overline{\...

13
votes

2
answers

1k
views

In upcoming work of Ben-Zvi-Sakellaridis-Venkatesh, (see for instance these notes or this lecture) some important aspects of the Langlands correspondence are stated in the language of topological ...

12
votes

1
answer

500
views

There is the following version of categorical local geometric class field theory:
Let $\mathbb{D}=\operatorname{Spec} \mathbb{C}((t))$, $L\mathbb{G}_m$: the loop group of $\mathbb{G}_m$ over $\mathbb{...

5
votes

1
answer

596
views

A precise statement of the global geometric Langlands conjecture is well-known.
However, I am unable to find a statement of the local Langlands conjecture. Does anyone have a modern statement or a ...

4
votes

1
answer

508
views

Fix a "nice" curve $X$ (smooth, projective, proper, geometrically connected, what-have-you) and an algebraic torus $G$, both over a field of characteristic $0$ (possibly algebraically closed?...

2
votes

0
answers

186
views

If $G^\vee = SL(n,\mathbb{C})$ and $V = \mathbb{C}^n$, then the Langlands dual of $G^\vee$ is $G = PGL(n,\mathbb{C})$. Denote by $T$ and $T^\vee$ maximal tori in $G$ and $G^\vee$ respectively. The ...

8
votes

0
answers

310
views

Dennis Gaitsgory's 2016 preprint, From Geometric to Function-Theoretic Langlands (or How to Invent Shtukas) includes in the third section a very compressed but suggestive discussion of the ...

6
votes

0
answers

167
views

Fix $G$ a finite dimensional reductive group and $\lambda$ a weight. Apparently the category of $\mathcal{D}_\lambda$ modules on $G/B$ is equivalent to the category of $\mathcal{D}_0$ modules on $G'/B'...

8
votes

0
answers

328
views

I'm been wondering about this for a while and hope someone can enlighten me.
In this interview of Robert Langlands's from 2010, on pg 21 (Question 8) he states "At one point, when fairly young, I ...

9
votes

1
answer

344
views

Given a group $G$, there is a so-called Langlands dual group $G^{∨}$.
Given a group $G$, there is also a so-called Goddard-Nyuts-Olive dual group $G^{'}$ that relates to the magnetic charge.
Are ...

3
votes

1
answer

402
views

I have kind of a soft question. I've studied the basics of L. Lafforgue's proof of function field Langlands for GLn, and its use of the moduli of shtukas with two legs, and the cocharacters $[1,0,\...

11
votes

3
answers

1k
views

This post is rather wordy and speculative, but I promise there is a concrete question embedded within. For experts, I'll open with a question:
Question: Given a compact Riemann surface $X$, why ...

2
votes

0
answers

130
views

My apologies for the imprecise question(s), it should be clear enough that I´m a complete beginner in this subject.
The (de Rham) Geometric Langlands Conjecture over $\mathbb{C}$ takes as input a ...

4
votes

0
answers

219
views

In these lecture notes by Jacob Lurie, he identifies the homotopy type of $\text{Bun}_G$ with that of a certain classifying space $B\mathcal{P}_{sm}$ when the group scheme $G$ is over $\mathbb{C}$. ...

7
votes

0
answers

839
views

Is the following a reasonable formulation of (a part of) the geometric Langlands conjecture for $\mathrm{GL}_n$ over a curve $X$?
(*) Let $\mathcal{L}$ be an irreducible rank $n$ $\ell$-adic local ...

2
votes

1
answer

258
views

I'm a newcomer to the geometric Langlands setting, and have mostly consulted surveys like Laumon's overview of L. Lafforgue's proof or Frenkel's recent advances survey, so apologies if this is ...

4
votes

0
answers

318
views

I have heard that moduli spaces of shtukas are supposed to be the analogue of Shimura varieties in the setting of function fields. Could someone more knowledgeable about these objects explain how this ...

18
votes

0
answers

1k
views

Langlands program is a web of far-reaching and influential conjectures about connections between number theory and geometry. Proposed by Robert Langlands at IAS (1967, 1970), it seeks to relate Galois ...

8
votes

0
answers

420
views

The Ramanujan conjecture asserts that
\begin{align}
|\tau(p)|\leq 2p^{11/2}
\end{align}
where $\tau(p)$ is the $p^{th}$ Fourier coeffecient in the q-expansion of the weight 12 cusp form $\Delta(z)$. ...

7
votes

1
answer

426
views

I can not understand Remark 12.8.8 in the preprint "SINGULAR SUPPORT OF COHERENT SHEAVES AND THE GEOMETRIC LANGLANDS CONJECTURE". I am somewhat embarrased by the degree of my confusion, hopefully ...

8
votes

1
answer

502
views

To motivate this question, I'm going to try and explain some background notions. This won't be absolutely necessary for experts, but I want to be vaguely honest about where this question comes from. ...

7
votes

1
answer

489
views

Let $G$ be a complex reductive algebraic group and $X$ be a smooth compact complex curve. It's easy to see that the space of vacua in B-twisted $N=4$ SUSY Yang--Mills theory is $\mathfrak{h}^*[2]/W$ (...

3
votes

0
answers

92
views

Let $k$ be an algebraically closed field of characteristic 0. Let $X$ be a connected smooth complete curve over $k$. Consider the moduli stack $\mathrm{Bun}_G$ of principal $G$-bundles on $X$ for ...

4
votes

0
answers

131
views

Assume I successfully classified the integrable representations of a certain semi-simple Lie group $G$. Given this information, what do I know about the integrable representations of $G^\vee$, the ...

6
votes

1
answer

456
views

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 &...

6
votes

0
answers

290
views

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 $$\...

17
votes

1
answer

1k
views

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 ...

18
votes

1
answer

1k
views

Everybody knows how insightful are David Ben-Zvi talks (and comments/answers here on mathoverflow). I was trying to watch the LMS 2007 Lecture Series on Geometric Langlands by David, supposedly made ...

3
votes

1
answer

827
views

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

0
answers

652
views

In 2002 Hausel - Thaddeus interpreted SYZ conjecture in the context of Hitchin system and Langlands duality. Let briefly explain it
Let $\pi : E \to Σ$ a complex vector bundle of rank $r$ and ...

5
votes

0
answers

240
views

Edward Frenkel (together with Boris Feigin and others) has proven many interesting results connecting the representation theory of an affine Kac-Moody algebra at the critical level with the geometry ...

2
votes

1
answer

175
views

I have been trying to find the answer to this question, I think it must not be hard but I don't get it.
I have a Weil-Deligne representation ($\rho,N$) of the Weil group $W$ of $Q_p$, that is $\rho$ ...

20
votes

1
answer

2k
views

Let $\mathbb F_q$ be a finite field, $C$ a curve over $\mathbb F_q$ of genus $g\geq 2$, $\rho: \pi_1(C) \to GL_2(\overline{\mathbb Q}_\ell)$ an irreducible local system. The geometric Langlands ...

11
votes

0
answers

407
views

The Geometric Satake correspondence (due to Lusztig, Ginzburg, Mirkovic-Vilonen) relates perverse sheaves on the Loop Group $\hat{G}$ (with their convolution product) to the Representations of the ...

7
votes

1
answer

221
views

This question is in reference to Gaitsgory's preprint Contractibility of the space of rational maps. On p. 5 of the preprint, Gaitsgory defines a prestack $\mathscr{Y}$ (say over affine $\mathbb{C}$-...

10
votes

1
answer

361
views

The appendix to http://arxiv.org/abs/math/0508382 by Frenkel & Gaitsgory (following an earlier work of Beilinson) describes three different monoidal structures, denoted by $\otimes^!,\otimes^*,$ ...

6
votes

1
answer

793
views

Factorization structures have been popular in the past decade. Recently a variant of this structure has been suggested by Ivan Mirkovic (and possibly collaborators). This variant, which goes under the ...

40
votes

7
answers

11k
views

I was following some lectures by Edward Frenkel about Langlands correspondence. He was describing some analogies between number theory and theoretical physics (Mirror symmetry). At some point ( my ...

13
votes

2
answers

578
views

Recall that there is a bijection between irreducible representations of a compact real Lie group $G$ and the cocharacters (homomorphisms $U(1) \to G$, modulo conjugation)
of the Langlands dual group $^...

6
votes

1
answer

922
views

In his work on the classification of automorphic representations of a group $G$, Arthur has conjectured that the parameterization of such representations involves a homomorphism $\rho : SL_2 \times ...

15
votes

1
answer

1k
views

This question is somewhat vaguely structured. But, I hope someone can make it more precise (or) it is indeed possible to answer it in the form that I am stating it.
Background : I recently chanced ...

39
votes

2
answers

7k
views

The Langlands Program was launched almost fifty years ago, and progress has been made gradually, much of it hard earned. Langlands himself wrote a survey on the functoriality conjecture in 1997, Where ...

1
vote

0
answers

167
views

I am trying to read and understand (parts of) Gaitsgory's “Outline of the proof of the Geometric Langlands conjecture for GL(2)” [arXiv link]. In Section 6.4.8 he states "Property Ei", which basically ...

2
votes

0
answers

188
views

The Langlands correspondence over a function field matches irreducible $n$-dimensional Galois representations with cuspidal irreducible automorphic representations.
My question is: Is there any idea ...

10
votes

1
answer

2k
views

The Geometric Langlands correspondence introduced by Drinfeld and Laumon conjectures a 1 to 1 correspondence between
(A) local systems on a projective smooth curve over a field
and
(B) (Hecke eigen-)...

0
votes

1
answer

634
views

I am looking for reference on Casselman-Shalika formula for GL(n) and PGL(n) at finite place p.