Questions tagged [geometric-langlands]
The geometric-langlands tag has no usage guidance.
92 questions
40
votes
1
answer
2k
views
Implications and consequences of the recent proof of the geometric Langlands conjecture
I am a beginner in mathematical physics and geometric Langlands, having very limited knowledge in both fields so far.
The proof of geometric Langlands conjecture is published a few months ago. What ...
- 24k
1
vote
0
answers
272
views
Does geometric Langlands program generalize homological mirror symmetry?
In grad school, I received some training in homological mirror symmetry and have begun learning about the classical Langlands program. I see that geometric Langlands at times explicitly mentions ...
- 511
9
votes
0
answers
963
views
Geometrization of the global Langlands correspondence?
Fargues-Scholze famously describe arithmetic local Langlands via global geometric Langlands on the Fargues-Fontaine (FF) curve.
The FF curve acts like an algebraic curve over $\mathbb{C}_p$ (its ...
- 15.4k
8
votes
0
answers
644
views
Trying to understand "Shtukas"
I'm studying Goss' Basic structures of function field Arithmetic, chapter 6 about Shtukas. I'm trying to understand some details about some concepts. This chapter is based on a Mumford's paper An ...
CommunityBot
- 1
3
votes
0
answers
128
views
Smooth unipotent algebraic groups over $\mathbb A^n$
Let $G\to \mathbb A^n_{\mathbb C}$ be a smooth morphism whose fibers at any point of $\mathbb A^n$ are unipotent groups. Can we conclude that $G\simeq \mathbb A^{n+N}_{\mathbb C}$ for some $N$, as a ...
- 455
3
votes
0
answers
202
views
What d.o. $\sum_i f_i(z)\partial_z^i$ correspond to subalgebras $M$ in polynoms $C[x_i]$ being Langlands dual to motive of $Spec(M) \to X$?
Briefly: The question is about presenting explicit examples of the construction discussed in the recent MO question "Relation between motives and geometric Langlands" and Will Sawin's asnwer ...
- 24.8k
12
votes
1
answer
1k
views
Relation between motives and geometric Langlands
When working over a number field (or a function field over a finite field), one predicts that the Langlands program is related to the theory of motives over this field. There are several ways I have ...
- 148k
7
votes
1
answer
419
views
Kapustin-Witten branes and the derived moduli stack of Higgs bundles
A lot has been discussed on overflow regarding geometric Langlands and the physics of Kapustin and Witten's groundbreaking paper https://arxiv.org/abs/hep-th/0604151. I would like to add my two cents ...
- 1,543
1
vote
0
answers
162
views
Definition of nearby cycle over an affine line
In some famous papers like Gaitsgory's "Construction of central elements in the affine Hecke algebra via nearby cycles" and Beilinson-Bernstein's "A proof of Jantzen conjectures", ...
- 291
4
votes
0
answers
325
views
In which sense affine Grassmannian is "affine"
A pretty naïve question: Which meaning has the term "affine" in the notion of affine Grassmanian. Especially, I do not see any immediate connection to the concept of an "affine scheme&...
- 12.9k
2
votes
1
answer
753
views
Reference on Casselman-Shalika formula for GL(n) and PGL(n)?
I am looking for reference on Casselman-Shalika formula for GL(n) and PGL(n) at finite place p.
- 105k
7
votes
0
answers
696
views
Is this construction related to the geometric Langlands program perhaps?
Given a complex Lie algebra $\mathfrak{g}$, a choice of Cartan subalgebra $\mathfrak{h}$ of $\mathfrak{g}$ and a dominant integral weight $\lambda$ of $\mathfrak{g}$, there is a natural construction ...
- 5,215
5
votes
0
answers
147
views
Functoriality of Feigin–Frenkel duality
For a simple Lie algebra $\mathfrak{g}$, we have the W-algebra of level $k$, denoted by $\mathcal{W}^k(\mathfrak{g})$. Using Wakimoto free field realization and screening operators, Feigin and Frenkel ...
- 1,391
2
votes
1
answer
164
views
What is the sum operation on torsors induced by Weil uniformization?
Let $k$ be an algebraically closed field, $G$ a reductive group, and $C$ a curve. The algebraic version of the Weil uniformization theorem (see e.g. arXiv:1511.06271v2) says that groupoid of $G$-...
- 1,969
4
votes
0
answers
270
views
Confusion about definition of crystals
In the notes by Lurie there seems to be two possible definition for crystals which both makes sense for arbitrary functors $X : \mathrm{CRing}_k \to \mathrm{Set}$. ($k$ here is a field. We probably ...
- 426
12
votes
0
answers
2k
views
Roadmap to geometric Langlands for a mathematical physics student
I am a student of both mathematics and physics, who has recently been studying string theory. My mathematics background is mostly differential geometry (principal bundles, Lie groups, etc.), although ...
- 63.9k
24
votes
1
answer
3k
views
What do Hecke eigensheaves actually look like?
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 ...
- 12.9k
9
votes
0
answers
336
views
Dual Coxeter numbers, Langlands dual groups, black holes and twisted compactification of 6d (2,0) A D E theories on a circle
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 ...
- 191
2
votes
0
answers
177
views
Why are they called reductive groups? [duplicate]
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?
- 5,429
1
vote
1
answer
375
views
From Galois representations to automorphic forms for $\mathfrak{sl}_2$ (via Drinfeld's shtukas)
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,216
2
votes
1
answer
268
views
Duality of Hitchin fibrations in type A
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 ...
- 148k
8
votes
1
answer
2k
views
Why is the Arthur trace formula so powerful?
Considering the Arthur trace formula, why are the sort of convolution operators, whose "normalized traces" are given in geometric terms and spectral terms, actually able to distinguish all ...
- 125
2
votes
1
answer
183
views
Generation of trace fields of Frobenii on local systems
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{\...
- 148k
16
votes
2
answers
2k
views
Relationship between the TQFTs in Kapustin-Witten and Ben-Zvi-Sakellaridis-Venkatesh
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 ...
- 24k
20
votes
1
answer
2k
views
LMS Lectures on Geometric Langlands
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 ...
- 24k
15
votes
1
answer
846
views
Beilinson-Drinfeld local geometric class field theory
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,958
11
votes
3
answers
1k
views
The affine Grassmannian and the Bogomolny equations
In "Electric-Magnetic Duality and The Geometric Langlands Program", Sections 9 and 10, Kapustin and Witten describe certain convolution varieties in the affine Grassmannian (and more ...
- 4,713
6
votes
2
answers
750
views
Sheaves on Bun_G
What's the background I need to know to understand the conjectural
D (Bun_G) =?= O(LocSys)
from this question. I know the LHS is about the derived category of ...
- 35.4k
13
votes
3
answers
2k
views
Geometric Langlands: From D-mod to Fukaya
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 ...
- 8,723
7
votes
1
answer
1k
views
Statement of local geometric Langlands
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 ...
CommunityBot
- 1
16
votes
3
answers
5k
views
What is an Oper?
Given a curve C, and a reductive group G, there is a moduli stack Loc_G(C), the stack of G-local systems. I keep reading that there's a substack of "opers" but am having trouble locating a definition....
- 21.3k
5
votes
1
answer
830
views
Categorical-geometric Langlands for tori
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?...
- 23.3k
2
votes
0
answers
193
views
Elementary questions on the geometric Langlands program for the orthogonal and symplectic families
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 ...
- 5,215
8
votes
0
answers
387
views
Representation theory of Chevalley groups as a categorical trace
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 ...
- 858
6
votes
0
answers
173
views
Equivalence between $\mathcal{D}_\lambda$ modules and $\mathcal{D}_{0}$ modules
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'...
- 5,701
8
votes
0
answers
454
views
On a remark of Langlands
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 ...
- 301
9
votes
1
answer
435
views
Langlands dual group in math vs. Goddard-Nyuts-Olive dual group in physics
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 ...
- 12.3k
3
votes
1
answer
607
views
Understanding moduli of shtukas of non-minuscule cocharacter
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,\...
- 2,044
2
votes
0
answers
155
views
Integral kernels for geometric langlands
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 ...
CommunityBot
- 1
4
votes
0
answers
229
views
Does $\text{Bun}_G$ have the homotopy type of a classifying space in positive characteristic?
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}$. ...
- 2,044
18
votes
7
answers
6k
views
Langlands Dual Groups
Can someone explain, explicitly, how to, given a reductive complex algebraic group construct the Langlands dual group? I know it is a group with the cocharacters of G as its characters, but how does ...
- 1,516
8
votes
0
answers
1k
views
Ramified Geometric Langlands
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,751
2
votes
1
answer
462
views
What is the relationship between the sheaf-function dictionary and cohomology of moduli spaces of shtukas?
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 ...
- 41
4
votes
0
answers
378
views
What is the analogy between the moduli of shtukas and Shimura varieties?
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 ...
- 356
18
votes
0
answers
1k
views
Number Theory and Gravity
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 ...
CommunityBot
- 1
43
votes
7
answers
13k
views
Number theory and physics
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 ...
CommunityBot
- 1
8
votes
0
answers
469
views
Analog of Ramanujan-Petersson conjecture in Geometric Langlands
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
538
views
Remark 12.8.8 in Arinkin--Gaitsgory
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 ...
- 5,958
8
votes
1
answer
669
views
Beilinson-Drinfeld quantization and stable bundles
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. ...
- 24.8k
42
votes
2
answers
8k
views
Current Status on Langlands Program
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 ...
- 23.3k