Questions tagged [geometric-langlands]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3 votes
0 answers
153 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 ...
Alexander Chervov's user avatar
11 votes
1 answer
970 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 ...
JustLikeNumberTheory's user avatar
7 votes
1 answer
288 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 ...
Robert Hanson's user avatar
1 vote
0 answers
144 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", ...
Allen Lee's user avatar
  • 271
4 votes
0 answers
290 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&...
user267839's user avatar
  • 6,000
5 votes
0 answers
127 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 ...
Estwald's user avatar
  • 1,187
7 votes
0 answers
681 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 ...
Malkoun's user avatar
  • 5,011
3 votes
0 answers
231 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 ...
user577413's user avatar
2 votes
1 answer
145 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$-...
Doron Grossman-Naples's user avatar
11 votes
0 answers
1k 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 ...
Daniel Waters's user avatar
2 votes
0 answers
175 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?
Ola Sande's user avatar
  • 625
9 votes
0 answers
275 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 ...
Kimyeong Lee's user avatar
1 vote
1 answer
336 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 (...
Puraṭci Vinnani's user avatar
2 votes
1 answer
249 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 ...
Puraṭci Vinnani's user avatar
2 votes
1 answer
179 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{\...
Josh Lam's user avatar
  • 222
15 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 ...
Anton Hilado's user avatar
  • 3,269
14 votes
1 answer
732 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{...
wkf's user avatar
  • 637
6 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 ...
l.briscoe's user avatar
5 votes
1 answer
721 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?...
Dat Minh Ha's user avatar
  • 1,472
2 votes
0 answers
192 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 ...
Malkoun's user avatar
  • 5,011
8 votes
0 answers
355 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 ...
pupshaw's user avatar
  • 848
6 votes
0 answers
170 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'...
Pulcinella's user avatar
  • 5,506
8 votes
0 answers
399 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 ...
Waleed Qaisar's user avatar
9 votes
1 answer
413 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 ...
annie marie cœur's user avatar
3 votes
1 answer
533 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,\...
xir's user avatar
  • 1,964
12 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 ...
Andy Sanders's user avatar
  • 2,890
2 votes
0 answers
144 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 ...
user avatar
4 votes
0 answers
227 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}$. ...
xir's user avatar
  • 1,964
7 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 ...
Dr. Evil's user avatar
  • 2,681
2 votes
1 answer
389 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 ...
xir's user avatar
  • 1,964
4 votes
0 answers
363 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 ...
Kim's user avatar
  • 4,114
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 ...
wonderich's user avatar
  • 10.3k
8 votes
0 answers
445 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)$. ...
shehryar sikander's user avatar
7 votes
1 answer
504 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 ...
geometer's user avatar
  • 713
8 votes
1 answer
583 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. ...
Andy Sanders's user avatar
  • 2,890
7 votes
1 answer
553 views

Implications of gauge symmetry breaking on the spectral side of geometric Langlands?

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$ (...
user avatar
3 votes
0 answers
103 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 ...
user avatar
4 votes
0 answers
133 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 ...
AccidentalFourierTransform's user avatar
7 votes
1 answer
520 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 &...
Puraṭci Vinnani's user avatar
6 votes
0 answers
317 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 $$\...
dhy's user avatar
  • 5,888
17 votes
1 answer
1k 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 ...
Malkoun's user avatar
  • 5,011
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 ...
Carlos's user avatar
  • 633
3 votes
1 answer
947 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 ...
user avatar
12 votes
0 answers
708 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 ...
user avatar
6 votes
0 answers
282 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 ...
Balerion_the_black's user avatar
2 votes
1 answer
228 views

A question related to the semisimplification of a Weil-Deligne representation

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$ ...
Jesua Israel Epequin Chavez's user avatar
23 votes
1 answer
2k 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 ...
Will Sawin's user avatar
  • 137k
11 votes
0 answers
449 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 ...
Aswin's user avatar
  • 1,063
7 votes
1 answer
225 views

Homological contractibility of a prestack

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}$-...
Tyler Foster's user avatar
10 votes
1 answer
405 views

Meaning of topological tensor products in Frenkel-Gaitsgory

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^*,$ ...
Ben G's user avatar
  • 403