Questions tagged [geometric-langlands]
The geometric-langlands tag has no usage guidance.
36 questions with no upvoted or accepted answers
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 ...
- 10.5k
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 ...
- 349
12
votes
0
answers
731
views
Any progress on Strominger-Yau and Zaslow conjecture?
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 ...
user21574
11
votes
0
answers
475
views
Geometric Satake and Restriction
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 ...
- 1,073
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
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
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 ...
- 69
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
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
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
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
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
7
votes
0
answers
1k
views
The De Rham Stack and $\text{LocSys}$
Q1: Here, on pg $103$, the stack $\text{LocSys}_G(X)$ is defined (for an affine algebraic group $G$, a fixed DG scheme $X$, and a test scheme $S \in \textbf{DGSch}$):
$Maps(S, LocSys_G(X)) := \text{...
- 2,216
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
6
votes
0
answers
328
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 $$\...
- 5,958
6
votes
0
answers
301
views
Feigin-Frenkel centre and opers for reductive Lie algebras
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 ...
6
votes
0
answers
498
views
Generalizations of Drinfeld Symmetric Space? (Drinfeld homogeneous space, Drinfeld flag variety?)
Are there natural generalizations of the Drinfeld symmetric space? For $\mathbb{K}$, a non-Archimedean local field, the Drinfeld symmetric space can be defined as the complement of all $\mathbb{K}$-...
- 281
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
5
votes
0
answers
321
views
Real representations of G = those of Langlands dual and maps of a cylinder
There is a result about the real representations of a simple Lie group $G$ which is known as Soergel conjecture or Vogan duality. We'll focus on the formulation that for a fixed character of $G$
$\...
- 15.1k
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&...
- 5,998
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
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
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 ...
- 4,164
4
votes
0
answers
141
views
Langlands dual and integrable representations
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 ...
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
3
votes
0
answers
114
views
Compact generation of the category of D-modules on moduli stack of principal bundles for algebraic groups?
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 ...
user74900
3
votes
0
answers
334
views
Local counterpart of the NON-Hitchin Hecke eigen-sheaves ?
Insight of Beilinson and Drinfeld at early 90-ies - that Hitchin's D-modules are Hecke eigen-D-modules. However they are NOT all Hecke-eigensmodules and actually they are only the half-dimensional ...
- 24.8k
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
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 ...
user108998
2
votes
0
answers
177
views
Twists in "Eisenstein property" in Geometric Langlands
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
191
views
Langlands correspondence for reducible representations
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 ...
user1688
2
votes
0
answers
562
views
Complex Finite Dimensional Representation of GL(N,C)
What are all the complex finite dimensional linear representation of $GL(N,\mathbb{C})$?
We already know all the complex finite dimensional linear representation of SU(N).
- 3,804
2
votes
0
answers
408
views
Orbit stratification of semi infinite flag manifold?
Denote semi infinite flag manifold by $Fl_{\infty/2}=G((t))/N_-((t))H[[t]]$, denote $B_-((t))=N_-((t))H[[t]]$
from the book of Frenkel and Benzvi" Vertex algebras and algebraic curves", They take ...
- 5,505
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
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