Questions tagged [geometric-langlands]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
52
votes
1answer
5k 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 ...
40
votes
1answer
10k 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 ...
37
votes
3answers
3k 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 ...
33
votes
2answers
5k 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 ...
32
votes
7answers
8k 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 ...
19
votes
3answers
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 ...
18
votes
0answers
830 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 ...
17
votes
1answer
1k 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 ...
16
votes
1answer
615 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 ...
15
votes
1answer
897 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 ...
13
votes
3answers
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? ...
13
votes
2answers
519 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 $^...
13
votes
1answer
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 ...
13
votes
1answer
1k 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 ...
12
votes
7answers
4k 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 ...
11
votes
3answers
2k 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 ...
11
votes
2answers
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 generally, in the ...
10
votes
2answers
837 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 ...
10
votes
1answer
297 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^*,$ ...
9
votes
3answers
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 ...
9
votes
2answers
3k 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....
9
votes
1answer
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-)...
9
votes
0answers
355 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 ...
8
votes
1answer
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} \...
8
votes
0answers
320 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
2answers
933 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 ...
7
votes
1answer
372 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$ (...
7
votes
1answer
224 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. ...
7
votes
1answer
258 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 ...
7
votes
1answer
198 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}$-...
7
votes
0answers
489 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 ...
7
votes
0answers
746 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{...
6
votes
1answer
294 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 &...
6
votes
1answer
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 automorphic ...
6
votes
0answers
231 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 $$\...
6
votes
0answers
423 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}$-...
5
votes
1answer
700 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 ...
5
votes
1answer
726 views

Fiber functor of category of D-module on affine Grassmannian.

Geometric Satake correspondence allows us to construct Langlands dual group in a canonical way. In Mirkovic-Vilonen's paper, they prove that category of spherical perverse sheaves is an commutative ...
5
votes
1answer
711 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 ...
5
votes
2answers
479 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 ...
5
votes
0answers
165 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 ...
5
votes
0answers
284 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$ $\...
4
votes
1answer
304 views

Reverse Langlands transform

What os the meaning of a reverse Langlands transform to which Drinfeld seems to refer?
4
votes
0answers
248 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
votes
0answers
112 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
1answer
505 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 ...
3
votes
0answers
210 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 ...
3
votes
0answers
81 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 ...
2
votes
2answers
842 views

Opers, connections

My questions here are from my attempt at trying to understand the definition on pg 15 in [FG2]-"Local Geometric Langlands Correspondence & Affine Kac-Moody Algebras" (http://arxiv.org/PS_cache/...
2
votes
1answer
594 views

Understanding formula in Frenkel-Witten

I'm not the person to understand everything in Geometric Endoscopy and Mirror Symmetry, but some parts of it are reasonably clear to me. In particular, one of the main objects, mathematically ...