REVIEW
Lectures on the Langlands Program and Conformal Field Theory
High Energy Physics - Theory · Submitted 15 Dec 2005 · 119 references
Pith's verdict: A well-built survey whose real contribution is the architecture and the pedagogy, not new theorems; the critical-level worry the reader raised is answered in the text.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Frenkel argues that two-dimensional conformal field theory at the critical level constructs the objects the geometric Langlands correspondence predicts, turning an existence conjecture into a recipe and explaining the dual group as a T-dual
The reading
What carries the argument
Three objects carry the argument. The first is the Hecke functor: for each dominant weight $lambda$ of the dual group it pulls a D-module on $mathrm{Bun}_G$ back along the Hecke correspondence, tensors with the intersection-cohomology sheaf $mathrm{IC}_lambda$ on the affine Grassmannian, and pushes forward to $X times mathrm{Bun}_G$; an eigensheaf is one for which this returns $V^E_lambda boxtimes F$. The second is the oper, a ${}^LG$-bundle with connection whose connection takes a prescribed form relative to a reduction to a Borel subgroup, so that its gauge equivalence classes are the classical W-algebra of the dual group. The third is the critical level itself: there the Segal-Sugawara current becomes commutative, so the centre of the chiral algebra can be set equal to a numerical projective connection, i.e. to an oper, and the resulting coinvariants are the eigensheaf. The geometric Satake equivalence, identifying equivariant perverse sheaves on the affine Grassmannian with representations of ${}^LG$, is what makes the dual group appear in the Hecke eigenvalue at all.
Extended reading notes
Core claim
The central claim, stated in the introduction and elaborated in Part III, is that the geometric Langlands correspondence for the oper locus is not merely true but constructive: the D-module of conformal blocks of the affine algebra $hat{g}$ at the critical level $k=-h^vee$, with the generating fields of the Segal-Sugawara centre set equal to the components of a fixed ${}^LG$-oper $E$ on the curve $X$, is the Hecke eigensheaf with eigenvalue $E$. Frenkel attributes this to Beilinson and Drinfeld and presents it as the answer to the question of how one actually writes down the eigensheaves whose existence the geometric Langlands conjecture asserts. The notes also record a second, conjectural route: an extended chiral algebra carrying an action of the dual group by symmetries, which can be twisted by any ${}^LG$-bundle with connection, not only by opers. In both cases the payoff is the same — the dual group is not inserted by hand but emerges from the physics of the construction.
Load-bearing premise
The whole construction runs at the critical level, where the Segal-Sugawara current becomes commutative and the stress tensor vanishes, so the usual picture of conformal blocks as sections of a bundle with a projectively flat connection does not apply; the argument therefore rests on the claim that a well-defined D-module of coinvariants on the moduli space of bundles survives even though the complex structure of the curve can no longer be varied.
Editorial extensions
If this is right
- Geometric Langlands over the oper locus becomes an explicit construction rather than an existence statement: the eigensheaf is computed from conformal blocks of a critical-level affine algebra.
- The appearance of the Langlands dual group is explained rather than postulated, as an artefact of T-duality of free bosonic theories compactified on tori.
- The isomorphism between the centre of the critical-level chiral algebra and the classical W-algebra of the dual group gives a representation-theoretic reason for the dual group to govern the deformation theory of the construction.
- The same conformal-block machine, applied to an extended chiral algebra with dual-group symmetry, is conjectured to produce eigensheaves for flat connections that are not opers.
- The construction ties the geometric Langlands correspondence to the quantization of the Hitchin system, so results about one become statements about the other.
- Because the argument is a review, it also functions as a map: it tells a reader which parts of the correspondence are theorems, which are constructions, and which remain conjectural.
Reading between the lines
- If the recipe is correct, the constant sheaf on $mathrm{Bun}_G$ failing to be a genuine eigensheaf — its eigenvalue is a complex of trivial local systems rather than a local system — should be readable as the geometric shadow of the extra $SL_2$ factor in the parameter of a non-tempered automorphic representation, which would make that factor testable rather than bookkeeping.
- Since the input is a chiral algebra on a curve and the output is a D-module on a moduli stack, the non-trivial content sits entirely in the coinvariants; a factorization argument showing that the coinvariants glue across the curve would be the natural way to confirm that the construction is genuinely global and not an artefact of a local choice.
- The critical level is a degenerate point of a family, so one would expect the two-parameter deformation of the correspondence that Frenkel mentions in passing to be reachable by moving off $k=-h^vee$; if no such deformation exists, that would suggest the critical-level coincidence is accidental rather than structural.
- Reading the dual group as a T-duality output rather than an input suggests the correspondence should be available for any reductive group whose dual exists, including non-split forms, which the notes do not attempt.
Original abstract
These lecture notes give an overview of recent results in geometric Langlands correspondence which may yield applications to quantum field theory. We start with a motivated introduction to the Langlands Program, including its geometric reformulation, addressed primarily to physicists. I tried to make it as self-contained as possible, requiring very little mathematical background. Next, we describe the connections between the Langlands Program and two-dimensional conformal field theory that have been found in the last few years. These connections give us important insights into the physical implications of the Langlands duality.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
These lecture notes give an overview of recent results in geometric Langlands correspondence which may yield applications to quantum field theory. We start with a motivated introduction to the Langlands Program, including its geometric reformulation, addressed primarily to physicists. I tried to make it as self-contained as possible, requiring very little mathematical background. Next, we describe the connections between the Langlands Program and two-dimensional conformal field theory that have been found in the last few years. These connections give us important insights into the physical implications of the Langlands duality.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | These lecture notes give an overview of recent results in geometric Langlands correspondence which may yield applications to quantum field theory. | contribution 0.89 | 0.12 | 0.34 | hedged possibility 1.00 |
| s1 | We start with a motivated introduction to the Langlands Program, including its geometric reformulation, addressed primarily to physicists. | contribution 0.41 | 0.37 | 0.04 | asserted 0.92 |
| s2 | I tried to make it as self-contained as possible, requiring very little mathematical background. | method 0.45 | 0.82 | 0.02 | asserted 0.90 |
| s3 | Next, we describe the connections between the Langlands Program and two-dimensional conformal field theory that have been found in the last few years. | contribution 0.81 | 0.20 | 0.10 | asserted 0.99 |
| s4 | These connections give us important insights into the physical implications of the Langlands duality. | interpretation 0.99 | 0.15 | 0.36 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
57 arXiv papers cite this in 133 sentences
Papers citing it · 77 sentences without a confident label
Cites it as background 42 papers
-
Kapustin and the author [ref] that the geometric Langlands correspondence (see for example [ref] for an introduction) can be formulated in terms of $S$-duality of $=4$ super Yang-Mills theory in four dimensions.
More On Gauge Theory And Geometric Langlands · Introduction · 0.95
-
[ref] .] We can then define the characteristic polynomials [equation] which are essentially just the polynomials $R_4^(p)(X,T)$ appearing in eq.
Modular Calabi-Yau Fourfolds and Connections to M-Theory Fluxes · Critical motives · 0.89
-
(One may discover extra value in mathematical explanations [ref] or in physical explanations [ref] ).
Quantum Hall Effect and Langlands Program · Duality, Hecke operator, and K-theoretic view · 0.82
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.