Science1 publisher2 min readPublished
Asked to define the Langlands program, its own specialists give answers that do not overlap
Quanta put a simple question to the mathematicians extending what has been billed as a grand unified theory of mathematics. The cause of their disagreement is structural. A sweeping claim rests on very technical individual results, in a discipline that declines to interpret what it cannot prove.
The Scientist · Science desk
What happened
- Quanta asked specialists how well the average attendee at the recent International Congress of Mathematicians understands the Langlands program, and David Ben-Zvi of UT Austin expected mostly not at all.
- Three of those experts described the same program as unexpected symmetries, as bridges between two areas of mathematics, and as the best vision available for non-abelian versions of Fourier theory.
- Robert Langlands started the program in a 1967 letter that picked up a connection between number theory and harmonic analysis and conjectured a family of correspondences from it.
- Hundreds of mathematicians have since spent decades extending and exploiting those correspondences, which link areas of mathematics that grew up separately around their own objects and methods.
- References to the parable of the blind men and the elephant came up in Quanta's interviews with mathematicians connected to the program.
Compiled by The ScientistSomething wrong?How this is made
Why it matters
- constraint The one-line answer the field's own specialists rate as deepest presupposes Fourier theory on non-commuting symmetries, so the best explanation available cannot be used on anyone who is not already inside.
- contradiction Hundreds of working contributors sit alongside a definition nobody agrees on, which means difficulty of description and difficulty of entry are separate quantities and only the first one has been probed here.
- precedent A discipline whose norm is to avoid interpreting the unproven leaves its public meaning to be assembled by science writers, which is exactly the job this explainer is doing.
That question could not establish much, by construction. Nobody polled the congress; Quanta asked specialists to predict an audience [3]. What Quanta got is an informal, unscored survey with no denominator, and David Ben-Zvi's answer carries the hedge of a considered guess, "I would think more the latter than the former," though he was firm that everyone would have heard of the name [4]. That evidence speaks to how the program is described by the people best placed to describe it, not to who could contribute to it.
Of the three descriptions collected, the one Quanta's writer singles out as possibly the deepest explanation available so far is the Fourier one [6]. It also has the highest entry price: it needs Fourier theory, plus knowing what changes when the symmetries underneath it stop commuting. The other two are sayable, and they would fit most of modern mathematics. No two of the three share a technical term [15].
The structural reason is in the source's own account of the object: the program is sweeping and unifying, while the correspondences themselves are excruciatingly specific and esoteric [9]. Those two properties do not compress into one sentence. Quanta's own on-ramp shows the size of the drop. Take the rational numbers, which are closed under arithmetic except for division by zero [12]. Note that x^2 - 2 = 0 has rational coefficients but irrational solutions, then append those solutions and everything arithmetic you can build from them, and you have a new field [13]. That is a long way in, and it is still upstream of what Langlands actually conjectured [11]. Add the norm the piece names, that mathematicians shy away from interpretation because anything they say will be unproven [8], and the result is a field that publishes theorems and leaves the meaning to others.
Whether that opacity narrows who works on Langlands is a separate question, and this material cannot answer it. One of the source's own facts leans the other way: hundreds of mathematicians have spent decades extending and exploiting the correspondences [1]. Entry rates and attrition are not reported anywhere in it [16]. What is reported is a program whose deepest meaning its practitioners have not yet mined, on Quanta's account [14], and a public identity as a grand unified theory of mathematics [2] that is maintained largely by writers rather than by the people proving the theorems.
What to watch
- A direct survey of congress attendees would replace the experts' guess with an effect size, and could show the comprehension gap is narrower or wider than they assume.
- Convergence on one statement of the correspondences, rather than three with no shared vocabulary, would change what the field can say about itself outside its own seminars.
- Published data on who enters and who leaves Langlands-adjacent research would settle whether the description problem is also a recruitment problem.