Questions tagged [geometric-langlands]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
61 votes
1 answer
6k views

Double affine Hecke algebras and mainstream mathematics

This is something of a followup to the question "Kapranov's analogies", where a connection between Cherednik's double affine Hecke algebras (DAHA's) and Geometric Langlands program was mentioned. I ...
45 votes
1 answer
13k views

Consequences of Geometric Langlands

So, lots of people work on the Geometric Langlands Conjecture, and there have been a few questions around here on it (admittedly, several of them mine). So here's another one, tagged community wiki ...
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 ...
Ofra's user avatar
  • 1,603
40 votes
2 answers
7k 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 ...
Tian An's user avatar
  • 3,699
37 votes
3 answers
4k views

Topological Langlands?

In a workshop about the geometry of $\mathbb{F}_1$ I attended recently, it came up a question related to a mysterious but "not-so-secret-anymore" seminar about... an hypothetical Topological Langlands ...
Jose Brox's user avatar
  • 2,962
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
21 votes
3 answers
2k views

A good example of a curve for geometric Langlands

I'm currently working through Frenkel's beautiful paper: http://arxiv.org/PS_cache/hep-th/pdf/0512/0512172v1.pdf. I'm looking for a good example of a projective curve to get my hands dirty, and go ...
Puraṭci Vinnani's user avatar
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
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
17 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 ...
Charles Siegel's user avatar
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
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....
Charles Siegel's user avatar
16 votes
1 answer
2k views

Vector bundles, Higgs bundles and the Langlands program

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 ...
Aswin's user avatar
  • 1,063
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
15 votes
1 answer
2k views

What is the relation between L. Lafforgue and Frenkel-Gaitsgory-Vilonen results on Langlands correspondence ?

What is the relation between Lafforgue's result on Langlands and Frenkel-Gaitsgory-Vilonen ? ( http://arxiv.org/abs/math/0012255 , http://arxiv.org/abs/math/0204081 ) Does one imply other ? If not ...
Alexander Chervov's user avatar
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
13 votes
3 answers
3k views

What is Eisenstein series?

There are several related questions here, the latter being especially interesting. We know the classical Eisenstein series. What are the Eisenstein series on a group G and why they are interesting? ...
Ilya Nikokoshev's user avatar
13 votes
2 answers
604 views

Langlands duality and multiplying cocharacters

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 $^...
Kevin Walker's user avatar
  • 12.4k
12 votes
3 answers
3k views

ubiquitous quantum cohomology

Manin stressed that every projective scheme should have a quantum-cohomology structure. I'd like to know more about that. And since the varieties considered in texts about monodromy resp. vanishing ...
Thomas Riepe's user avatar
  • 10.7k
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
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
11 votes
2 answers
1k views

Examples of Eigensheaves outside of langlands

In geometric Langlands, one looks at correspondences of the form $$ Bun_n(X) \leftarrow Hecke \rightarrow X\times Bun_n(X)$$ and calls a sheaf on the lefthand space Hecke eigensheaf, if pulling ...
Jan Weidner's user avatar
  • 12.9k
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 ...
Ben Webster's user avatar
  • 44k
11 votes
1 answer
972 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
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
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
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
10 votes
1 answer
2k views

On Geometric Langlands Correspondence

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-)...
user12770's user avatar
  • 325
9 votes
3 answers
1k views

Why is the simple trace formula a weaker tool than the Arthur trace formula?

What are some concrete examples of theorems which can be deduced from the Arthur trace formula, which do not follow from the simple trace of Kazdhan and Flicker? (So I do not mean weaker in the sense ...
Marc Palm's user avatar
  • 11.1k
9 votes
1 answer
1k views

Explanation for Satake correspondence

Some time ago I was told there's an interesting classical Satake correspondence which I will write as $$[\mathop{\mathrm{disk}} \Rightarrow G] \,\backslash\, [\mathop{\mathrm{disk}^\times} \...
Ilya Nikokoshev'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
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
8 votes
2 answers
1k views

A question on group action on categories

Let $Gr$ be the affine Grassmannian of $G=G((t))/G[[t]]$, and let $Perv(Gr)$ be the category of perverse sheaves on $Gr$. We have action of $G((t))$ on the left-hand side of $Perv(Gr)$, also we have ...
JJH's user avatar
  • 1,447
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 ...
Marc Palm's user avatar
  • 11.1k
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
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
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
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
843 views

What are local spaces and what are they good for?

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 ...
Dr. Evil's user avatar
  • 2,681
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
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
7 votes
1 answer
289 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
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
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
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
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
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{...
Puraṭci Vinnani's user avatar
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
6 votes
1 answer
1k views

Arthur's refinement of parameters for unitary automorphic representations

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 ...
Aswin's user avatar
  • 1,063
6 votes
2 answers
671 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 ...
Ilya Nikokoshev's user avatar