Wednesday’s session at the IAS Conference on Gauge Theory and Representation Theory was mostly devoted to talks by Witten and his collaborators about their latest work on the approach to relating geometric Langlands and QFT that he has pioneered over the last couple years. The talks were quite understandable, giving a general overview rather than details of what are some very technical topics, about which the speakers have produced recently some very long papers. Before discussing the talks, I’ll try and explain the background of this line of inquiry into the borderlands between mathematics and physics.

The history of this subject goes back thirty years, to a 1977 paper of Goddard, Nuyts and Olive entitled Gauge Theories and Magnetic Charge. In the GNO paper the authors noted that in a gauge theory with group G, while the electric charges take values in the weight lattice of G, the magnetic charges take values in the weight lattice of a “dual” group, which is now generally called the Langlands dual group ^{L}G. This group was used by Langlands in a crucial way in conjectures about number theory that go back to a letter of his to André Weil in 1967. Also in 1977, Montonen and Olive, in Magnetic Monopoles as Gauge Particles?, conjectured the existence of a dual gauge theory interchanging electric and magnetic charges, and the gauge groups G and ^{L}G. At the time Witten was a Harvard postdoc, and on a visit to England at the end of 1977 Atiyah told him about this conjecture and first suggested it might have something to do with the Langlands program. Witten met Olive, and they collaborated on the 1978 paper Supersymmetry Algebras That Include Topological Charges where they suggested that Montonen-Olive duality would be most naturally realized in a supersymmetric gauge theory. Later work showed that it is N=4 supersymmetric Yang-Mills that seems to have this duality property, now called S-duality and extended to not just a **Z**_{2} symmetry, but a much larger symmetry under the group SL(2,**Z**).

**Warning**: *What follows is an absurdly overly simplified discussion that will offend pretty much every mathematician who really knows the subject. Comments correcting anything that isn’t at least in some vague sense more or less morally right are welcome.
*

From the 1970s on, work on conjectures growing out of the Langlands program has come to be one of the dominant themes of number theory, achieving a fantastic success with the work of Wiles on one such conjecture, the so-called modularity conjecture, that led to the 1995 proof of Fermat’s Last Theorem. Trying to explain the Langlands program in any detail is a huge task, but I’ll try and give a few very vague indications here of what it is about. The field **Q** of rational numbers can be thought of as “rational functions”, on a “space” called Spec (**Z**), whose “points” are the prime numbers and a special “point at infinity”. Number fields are extensions of **Q**, and can be thought of as corresponding to covering spaces of Spec (**Z**), characterized by Galois groups, in particular the Galois group Gal(**Q**) of the algebraic closure of **Q**, which in some sense is the fundamental group of Spec(**Z**). Many questions in number theory can be expressed as questions about “Galois representations”, representations of Gal(**Q**) in complex Lie groups such as G=GL(n,**C**). Thinking of Spec(**Z**) as a “space”, representations of Gal(**Q**) correspond to local systems, i.e. flat vector bundles over Spec(**Z**).

The Langlands program has both a “local” and a “global” aspect. The “local” aspect restricts attention to the neighborhood of a “point” in Spec(**Z**), and the corresponding “local field” of functions. For the “point at infinity”, the local field is the real number field **R**, for a “point” corresponding to a prime number p, it is the field called **Q**_{p}. The local Langlands conjecture gives a correspondence between representations of Gal(**Q**_{p}) into a complex Lie group G and complex representations of the corresponding algebraic group ^{L}G( **Q**_{p}) with **Q**_{p} coefficients. This correspondence matches up information on both sides that characterizes the representations, which can be expressed either in terms of L-functions, or in terms of the action of Hecke algebras. One can read this correspondence as possibly giving information in both directions: if you know the Galois representations, a so-called “arithmetic” problem, you get a parametrization of the irreducible representations of a Lie group, a so-called “analytic” problem. If you know about the Lie group representations, you get information about number theory.

In the global version of the Langlands correspondence, on the arithmetic side, the global group in question is just Gal(**Q**), and its representations in a Lie group G are central objects in number theory that one would like information about. On the analytic side, the global group is much trickier to describe. What one needs is something like a gauge group for bundles over Spec(**Z**), but remember that each “point” of this “space” has a different nature. One introduces an object called the “adeles” **A**_{Q} that puts all the local fields together, and then uses this as the coefficients in an “adelic” group ^{L}G(**A**_{Q}), that perhaps can be thought of as the gauge group of all changes in local trivializations about each “point” in Spec(**Z**). The representation theory on the analytic side is then harmonic analysis on this adelic group, with irreducible representations characterized by specific functions which are called automorphic forms (so this side of the correspondence is often called the “automorphic” side). Galois representations and automorphic forms are matched up by, equivalently, L-functions or the eigenvalues of the action of a Hecke algebra. For the case of 2d representations, the automorphic forms involved are very classical functions on the upper-half-plane, and readily computable information about the coefficients of their Fourier expansions gives deep information about number theory.

An important idea in number theory/algebraic geometry is that algebraic curves over a finite field **F**_{p} have many similar features to the “spaces” like Spec(**Z**) that characterize number fields. Functions on such curves give so-called “function fields”, which behave very much like number fields, and one can transform number theory questions into analogous questions about these curves. For example, there is an analog of the Riemann hypothesis in the function field case, where it has been proven. One can translate the Langlands program conjectures into the function field setting, and there proofs have been found, for the global case by Drinfeld (rank 2 case) in 1974, and Lafforgue (higher rank) in 1999.

Given the Langlands correspondence for an algebraic curve over a finite field, a natural question is whether there is anything analogous if one replaces the finite field by the complex field, and works with complex algebraic curves, i.e. Riemann surfaces. In 1987 Witten wrote a beautiful paper entitled Quantum Field Theory, Grassmannians, And Algebraic Curves, where he explains how one can think of the holomorphic sector of a conformal field theory on a complex algebraic curve as giving something like an automorphic representation in this context, analogous to the ones studied using adeles for algebraic curves over finite fields. He mentions the Langlands program, but makes no attempt in this paper to describe what would be the analog of the Langlands correspondence.

Several years later, around 1995, Beilinson and Drinfeld formulated what is now known as the geometric Langland correspondence, giving a specific conjectural correspondence that is supposed to be an analog for a complex curve C of what happens in the function field case. On the analog of the arithmetic side, one just has a representation of the fundamental group of C in a Lie group G, i.e. a flat vector bundle. The automorphic side is much trickier, and they define “Hecke eigensheaves” on the moduli space of ^{L}G bundles that play the role of automorphic forms. In their massive (384 pages at last count), unpublished and still preliminary paper Quantization of Hitchin’s integrable system and Hecke eigensheaves, they write

We would like to mention that E. Witten independently found the main idea [of the construction] and conjectured [the main theorem]. As far as we know he did not publish anything on the subject.

Since the mid-1990s, a lot of mathematical activity has grown up around these ideas, creating a new field that is now generally known as “Geometric Langlands theory”, which connects to a wide range of different kinds of mathematics, and to physics via conformal field theory. With funding from the US Defense Department DARPA program, various workshops were organized that brought physicists and mathematicians together to discuss this subject. One such workshop was held at the IAS in March 2004, and there Witten gave a talk (see the end of these notes) about N=4 supersymmetric Yang-Mills and its dimensional reduction to a non-linear sigma model in two dimensions. He credits David Ben-Zvi with explaining to him crucial facts which made clear to him that what was needed to connect this to geometric Langlands was the introduction of boundary conditions in the sigma model, i.e. branes.

Witten first unveiled his version of geometric Langlands based on N=4 supersymmetric Yang-Mills in a talk at the beach at Stony Brook in August 2005; here are notes and audio from the talk. In April 2006 his 230 page paper with Kapustin, Electric-Magnetic Duality And The Geometric Langlands Program appeared, giving the details of a construction based on a topologically twisted (using the “GL twist”) version of N=4 supersymmetric Yang-Mills, dimensionally reduced to give two topological sigma models with target space the Hitchin moduli space, for group G in one case, ^{L}G the other. These two models, known as the A and B model, are related by mirror symmetry. They involve boundary conditions and thus branes in two-dimensions, and as a result are related by what mathematicians now refer to as “homological mirror symmetry”. The fact that the Hitchin moduli spaces for G and ^{L}G could be thought of as mirror partners was shown earlier by my colleague Michael Thaddeus in work with Tamas Hausel.

Late last year Witten and Gukov’s 160 paper Gauge Theory, Ramification and the Geometric Langlands Program appeared, extending the QFT approach to geometric Langlands to the “ramified” case, which is that of a punctured Riemann surface, with non-trivial monodromy about the punctures. This was about the “tamely ramified” case, involving simple pole singularities at the punctures. Last month two new papers totalling 193 pages by Witten on this subject appeared, Gauge Theory And Wild Ramification, which deals with the case of higher order poles, and Geometric Endoscopy and Mirror Symmetry, written with mathematician Edward Frenkel.

The talks by Witten and Frenkel gave very general introductions to the two papers, notes taken by David Ben-Zvi are here and here. Witten mostly just explained the background for the wild ramification problem, not giving any details of how he solved it, so his talk mainly functioned as a good introduction to his recent paper. Frenkel also gave a talk which was more of an introduction to his recent joint paper with Witten. He explained that they were studying a special case of the question of what happens at singularities of the Hitchin fibration, for the simplest kind of singularity (orbifold), and simplest non-trivial case (G=SL(2), ^{L}G=SO(3), outlining the phenomena that appear. These phenomena are analogous to well-known phenomena in the number field case, where their study goes under the name of “endoscopy”. This part of the Langlands story has recently seen major progress, with the proof by Ngo of what is known in the subject as the fundamental lemma. Ngo is giving a series of talks at the IAS this semester on the subject, and Frenkel promised to give a talk next week about possible relations of what he and Witten have been doing to the work by Ngo.

For the story of a comment by Pierre Deligne during this talk, see this posting by Ben Webster.

To me the most interesting talk was Sergei Gukov’s on *D-branes and Representations*, in which he described what he is working on with Witten at the moment; no paper has yet appeared. Ben-Zvi’s notes are here, and Gukov gave much the same talk recently at Santa Barbara, notes here, audio here. I’ve been most interested in geometric Langlands because of its relations to 2d QFTs and representation theory, where the simplest story should be seen in the local version of the theory. Also, Gukov’s argument was based upon getting Chern-Simons theory out of the original 4d N=4 GL-twisted SYM theory using boundary conditions (something he didn’t explain other than saying what the boundary conditions are). I’ve always wondered whether it is possible to get Chern-Simons out of some sort of possibly supersymmetric twisted theory involving fermions. Someone in the audience asked if what he was doing gave such a theory, but he somewhat evaded the question, saying he preferred to think of things in 4d with boundary.

Getting down to two dimensions, he said that the Hilbert space of this Chern-Simons theory gave a representation associated to the punctured disk, and mentioned that this was related to local geometric Langlands. Someone asked “what happens on the boundary of the disk?”, and he answered that one only needed to impose boundary conditions at the puncture, not on the boundary. Greg Moore sputtered something like “really, on the boundary of the disk you don’t need boundary conditions??” (for the usual story about this, see this paper, which Greg co-authored), to which Gukov answered something about it being all right since they were only looking for supersymmetric BPS states. He went on, as one can read in the notes, to discuss a way of producing representations of a compact Lie group G (and its complexification and other real forms) that associates Harish-Chandra modules to A-branes on the cotangent space to the flag manifold, working out the details for SL(2, **R**). At the beginning of the talk, Gukov claimed that this was all leading up to a classification of the admissible representations of a real semi-simple Lie group in terms of D-branes, with the various geometrical constructions (e.g. D-modules) known to mathematicians just different faces of the same physical model. To me, the talk raised all sorts of interesting questions, so I’m looking forward to seeing the details when Gukov and Witten have a paper ready.

Hm, okay. So this is all really interesting from a mathematical perspective. What isn’t quite so clear to me is exactly what these things are expected to be used for in the context of physics. You say you see potential uses in geometric Langlands’ “relations to 2d QFTs and representation theory”; what is it that Witten et al hope to use geometric Langlands for? I’m particularly curious about this “ramification” thing; apparently Witten has something physical in mind when he works on those, since both of the papers on that subject which you cite him as being an author on have “Gauge Theory” in the title. Is there some particular set of physical problems which this punctured disk corresponds to, and Gukov and Witten hope to use the Langlands tools to analyze that problem? Or is this just a general set of tools they’re trying to develop? You say Gukov is using the punctured disk to get answers about “chern-simons” theories; is this the angle everyone is taking or just one of Gukov’s personal applications?

Or I guess a clearer version of what I’m trying to ask might be this. The Witten and Gukov paper says in the introduction, just before it loses me completely, the following things:

What I’m trying to figure out is exactly what it is the correspondence described here is applying to. As I understand all this so far the idea seems to be that you have a gauge theory that lives on a Riemann surface, and this surface has these thingies that you described as “punctures” and the paper describes as “surface operators”. The goal is to use the Langlands duality to convert this surface+(punctures/operators) to d-modules+ramification, where hopefully they’ll be easier to analyze. Okay, that makes sense, but as someone not very familiar with gauge theory what confuses me is, what exactly “are” the surface operators introduced on the gauge theory side? What physically are they supposed to be representing? Are they… particles, or what?

One more question, you say “For example, there is an analog of the Riemann hypothesis in the function field case, where it has been proven.”. Given the known Langlands correspondence, why does this not give us a proof of Riemann in the number case? (Or is the Langlands correspondence just a conjecture or something?)

Anyway thanks for this interesting writeup!

PS, typo:

In 1997 Witten wrote a beautiful paper…Should be 1987

Coin,

As far as I know, there’s no direct motivation from physics here at all. Gukov and Witten do mention the possible relevance of surface operators to problems in physics, but that’s not why they are studying them. What they are doing is uncovering a relation between quantum gauge theory and some very deep ideas about mathematics. Whether what they learn this way will ultimately tell us something about physics is not known. That’s not what they’re aiming for right now, they’re looking at the mathematics implications. Personally I think there’s a lot more to come in this area. In the long run it may change how we think about quantum gauge theories, and the standard model is a quantum gauge theory. That’s plenty of reason for people to work on this.

About the Riemann hypothesis. First of all, the Langlands correspondence is not really relevant to it. In the function field case the proof of the analog of the Riemann hypothesis doesn’t involve the Langlands story. Secondly, I didn’t try and discuss what is proved and what isn’t within the Langlands program. On the whole, especially for number fields, this is still a subject where there are far more conjectures than proofs, which is why it is such a mathematically active subject. The things Drinfeld and Lafforgue proved for function fields remain still conjectures in the number field case.

I see, thanks.

Peter, Thanks very much for the clear introduction to the ideas behind Witten’s program. Now that I know that it is about the relation between electric and magnetic charges, I am interested. Whether my motivation will be enough to read the several hundred pages remains to be seen.

just curious: Was the current focus of Wittens work, on general math problems (that eventually might or might not connect to physics) brought about by the difficulties of ST?

That’s great that DARPA is funding relatively pure maths. Perhaps it has near-term cryptographic or physical applications?

Peter,

Nice summary! I wanted to add that the geometric Langlands program

goes further back, at least to a paper of Laumon in Duke 54 (1987)

where he explains the general program for GLn, inspired by Drinfeld’s proof of the (not yet formulated) geometric Langlands conjecture

for GL2 in 1983 (Amer.J. Math), inspired by Deligne’s sheaf-theoretic proof of geometric class field theory in SGA. Interestingly the same

Duke 54 volume (the Manin birthday volume) contains Hitchins paper defining the Hitchin system, which we now know is intimately related..

Beilinson and Drinfeld then developed the complex version

(in the language of D-modules rather than perverse sheaves and

using many ideas of conformal field theory, which I believe they came at independently of Wittens wonderful paper that you mention – Manin, Beilinson, Drinfeld, Schechtman, and their collaborators were deeply involved in trying to understand the algebraic structures behind conformal field theory from the mid 80s.

The other main necessary ingredient for geometric Langlands

for general groups is the geometric Satake correspondence,

with a complicated history starting from work of Lusztig in the 80s and involving Ginzburg, Drinfeld and finally Mirkovic and Vilonen.

These days it has become quite an industry!

Regarding DARPA, I dont know of any imminent applications

to coding, defense, etc but I am very proud of finding the relation

to antiterrorism, cf my Geometric Langlands page.

Wow, thank you very much for the writeup, Peter. This is so far beyond my current level of knowledge, and so it’s great to have a nice broad overview of the subject. It gives me something to shoot for, comprehension-wise. (I want to be a mathematical physicist “when I grow up,” precisely because of these sorts of deep connections between physics and mathematics, and what they can tell us about how to solve the hard problems that have stymied physicists for the last n years.)

David,

Thanks for filling in some of the history!

One thing I didn’t get around to adding to this posting was a list of references about where to read more. The best advice though is to go to David’s geometric Langland’s site, and take a look at his expository talks on the subject, together with the several long expository articles by Ed Frenkel.

milkshake,

It’s certainly my impression that if Witten had any ideas about how to make progress in string theory, he would be working on those. Unlike string theory, where people do seem to be stuck, the QFT/geometric Langlands field is one where there’s a lot for someone with Witten’s talents to do, and he seems to be enjoying working on this.

Peter,

Great post, but like most of this new number theory / physics esoterica I don’t have a clue what’s going on. But thanks for the post anyway.

Regards,

M

Pingback: This week in the arXivs… « It’s Equal, but It’s Different…

The talk by Philip Boalch on irregular connections on curves looked interesting – what was it about?

thank you. I think this is the best of your postings you ever made on this blog. I’ll download all the articles you mentioned. What i’ve seen till now is very interesting content