\n<\/p>\n
One of the biggest stories in science is quietly playing out in the world of abstract mathematics. Over the course of last year, researchers fulfilled a decades-old dream when they unveiled a proof of the geometric Langlands conjecture \u2014 a key piece of a group of interconnected problems called the Langlands programme. The proof \u2014 a gargantuan effort \u2014 validates the intricate and far-reaching Langlands programme, which is often hailed as the grand unified theory of mathematics but remains largely unproven. Yet the work\u2019s true impact might lie not in what it settles, but in the new avenues of inquiry it reveals.<\/p>\n
\u201cIt\u2019s a huge triumph. But rather than closing a door, this proof throws open a dozen others,\u201d says David Ben-Zvi at the University of Texas at Austin, who was not involved with the work.<\/p>\n
Proving the geometric Langlands conjecture has long been considered one of the deepest and most enigmatic pursuits in modern mathematics. Ultimately, it took a team of nine mathematicians to crack the problem, in a series of five papers spanning almost 1,000 pages. The group was led by Dennis Gaitsgory at the Max Planck Institute for Mathematics in Bonn, Germany, and Sam Raskin at Yale University in New Haven, Connecticut, who completed his PhD with Gaitsgory in 2014.<\/p>\n
If you’re enjoying this article, consider supporting our award-winning journalism by subscribing. By purchasing a subscription you are helping to ensure the future of impactful stories about the discoveries and ideas shaping our world today.<\/p>\n
The magnitude of their accomplishment was quickly recognized by the mathematical community: in April, Gaitsgory received the US$3-million Breakthrough Prize in Mathematics, and Raskin was awarded a New Horizons prize for promising early-career mathematicians. Like many landmark results in mathematics, the proof promises to forge bridges between different areas, allowing the tools of one domain to tackle intractable problems in another. All told, it\u2019s a heady time for researchers in these fields.<\/p>\n
\u201cIt gives us the strongest evidence yet that something we\u2019ve believed in for decades is true,\u201d says Ben-Zvi. \u201cNow we can finally ask: what does it really mean?\u201d<\/p>\n
The Langlands programme traces its origins back 60 years, to the work of a young Canadian mathematician named Robert Langlands, who set out his vision in a handwritten letter to the leading mathematician Andr\u00e9 Weil. Over the decades, the programme attracted increasing attention from mathematicians, who marvelled at how all-encompassing it was. It was that feature that led Edward Frenkel at the University of California, Berkeley, who has made key contributions to the geometric side, to call it the grand unified theory of mathematics.<\/p>\n
Langlands\u2019 aim was to connect two very separate major branches of mathematics \u2014 number theory (the study of integers) and harmonic analysis (the study of how complicated signals or functions break down into simple waves). A special case of the Langlands programme is the epic proof that Andrew Wiles published, in 1995, of Fermat\u2019s last theorem \u2014 that no three positive integers a, b and c satisfy the equation an + bn = cn if n is an integer greater than 2.<\/p>\n
Robert Langlands discussed his ideas in a letter to Andr\u00e9 Weil in 1967. On the cover page to the letter (left), Langlands says, \u201cIf you are willing to read it as pure speculation I would appreciate that; if not \u2014 I am sure you have a waste basket handy.<\/p>\n
Institute for Advanced Study (Princeton, N.J.) Shelby White and Leon Levy Archives Center<\/p>\n
The geometric Langlands conjecture was first developed in the 1980s by Vladimir Drinfeld, then at the B. Verkin Institute for Low Temperature Physics and Engineering in Kharkiv, Ukraine. Like the original or arithmetic form of the Langlands conjecture, the geometric conjecture also makes a type of connection: it suggests a correspondence between two different sets of mathematical objects. Although the fields linked by the arithmetic form of Langlands are separate mathematical \u2018worlds\u2019, the differences between the two sides of the geometric conjecture are not so pronounced. Both concern properties of Riemann surfaces, which are \u2018complex manifolds\u2019 \u2014 structures with coordinates that are complex numbers (with real and imaginary parts). These manifolds can take the form of spheres, doughnuts or pretzel-like shapes with two or more holes.<\/p>\n
Many mathematicians strongly suspect that the \u2018closeness\u2019 of the two sides means the proof of the geometric Langlands conjecture could eventually offer some traction for furthering the arithmetic version, in which the relationships are more mysterious. \u201cTo truly understand the Langlands correspondence, we have to realize that the \u2018two worlds\u2019 in it are not that different \u2014 rather, they are two facets of one and the same world,\u201d says Frenkel. \u201cSeeing this unity requires a new vision, a new understanding. We are still far from it in the original formulation. But the fact that, for Riemann surfaces, the two worlds sort of coalesce means that we are getting closer to finding this secret unity underlying the whole programme,\u201d he adds.<\/p>\n
One side of the geometric Langlands conjecture concerns a characteristic called a fundamental group. In basic terms, the fundamental group of a Riemann surface describes all the distinct ways in which loops can be tied around it. With a doughnut, for example, a loop can run horizontally around the outer edge or vertically through the hole and around the outside. The geometric Langlands deals with the \u2018representation\u2019 of a surface\u2019s fundamental group, which expresses the group\u2019s properties as matrices (grids of numbers).<\/p>\n
The other side of the geometric Langlands programme has to do with special kinds of \u2018sheaves\u2019. These tools of algebraic geometry are rules that allot \u2018vector spaces\u2019 (where vectors \u2014 arrows \u2014 can be added and multiplied) to points on a manifold in much the same way as a function describing a gravitational field, say, can assign numbers for the strength of the field to points in standard 3D space.<\/p>\n
Work on bridging this divide began back in the 1990s. Using earlier work on Kac\u2013Moody algebras, which \u2018translate\u2019 between representations and sheaves, Drinfeld and Alexander Beilinson, both now at the University of Chicago, Illinois, described how to build the right kind of sheaves to make the connection. Their paper (see go.nature.com\/4ndp5ev), nearly 400 pages long, has never been formally published. Gaitsgory, together with Dima Arinkin at the University of Wisconsin\u2013Madison, made this relationship more precise in 2012; then, working alone, Gaitsgory followed up with a step-by-step outline of how the geometric Langlands might be proved.<\/p>\n
\u201cThe conjecture as such sounds pretty baroque \u2014 and not just to outsiders,\u201d says Ben-Zvi. \u201cI think people are much more excited about the proof of geometric Langlands now than they would have been a decade ago, because we understand better why it\u2019s the right kind of question to ask, and why it might be useful for things in number theory.\u201d<\/p>\n
One of the most immediate consequences of the new proof is the boost it provides to research on \u2018local\u2019 versions of the different Langlands conjectures, which \u2018zoom in\u2019 on particular objects in the \u2018global\u2019 settings. In the case of the geometric Langlands programme, for example, the local version is concerned with the properties of objects associated with discs around points on a Riemann surface \u2014 rather than the whole manifold, which is the domain of the \u2018global\u2019 version.<\/p>\n
Robert Langlands in 2016.<\/p>\n
Dan Komoda, Institute for Advanced Study<\/p>\n
Peter Scholze, at the Max Planck Institute for Mathematics, has been instrumental in forging connections between the local and global Langlands programmes. But initially, even he was daunted by the geometric side.<\/p>\n
\u201cTo tell the truth,\u201d Scholze says, \u201cuntil around 2014, the geometric Langlands programme looked incomprehensible to me.\u201d That changed when Laurent Fargues at the Institute of Mathematics of Jussieu in Paris proposed a reimagining of the local arithmetic Langlands conjectures in geometrical terms. Working together, Scholze and Fargues spent seven years showing that this strategy could help to make progress on proving a version of the local arithmetic Langlands conjecture concerning the p-adic numbers, which involve the primes and their powers. They connected it to the global geometric version that the team led by Gaitsgory and Raskin later proved.<\/p>\n
The papers by Scholze and Fargues built what Scholze describes as a \u201cwormhole\u201d between the two areas, allowing methods and structures from the global geometric Langlands programme to be imported into the local arithmetic context. \u201cSo I\u2019m really happy about the proof,\u201d Scholze says. \u201cI think it\u2019s a tremendous achievement and am mining it for parts.\u201d<\/p>\n
According to some researchers, one of the most surprising bridges that the geometric Langlands programme has built is to theoretical physics. Since the 1970s, physicists have explored a quantum analogue of a classical symmetry: that swapping electric and magnetic fields in Maxwell\u2019s equations, which describe how the two fields interact, leaves the equations unchanged. This elegant symmetry underpins a broader idea in quantum field theory, known as S-duality.<\/p>\n
In 2007, Edward Witten at the Institute for Advanced Study (IAS) in Princeton, New Jersey, and Anton Kapustin at the California Institute of Technology in Pasadena were able to show that S-duality in certain four-dimensional gauge theories \u2014 a class of theories that includes the standard model of particle physics \u2014 possesses the same symmetry that appears in the geometric Langlands correspondence. \u201cSeemingly esoteric notions of the geometric Langlands program,\u201d the pair wrote, \u201carise naturally from the physics.\u201d<\/p>\n
Although their theories include hypothetical particles, called superpartners, that have never been observed, their insight suggests that geometric Langlands is not just a rarefied idea in pure mathematics; instead, it can be seen as a shadow of a deep symmetry in quantum physics. \u201cI do think it is fascinating that the Langlands programme has this counterpart in quantum field theory,\u201d says Witten. \u201cAnd I think this might eventually be important in the mathematical development of the Langlands programme.\u201d<\/p>\n
Among the first to take that possibility seriously was Minhyong Kim, director of the International Centre for Mathematical Sciences in Edinburgh, UK. \u201cEven simple-sounding problems in number theory \u2014 like Fermat\u2019s last theorem \u2014 are hard,\u201d he says. One way to make headway is by using ideas from physics, like those in Witten and Kapustin\u2019s work, as a sort of metaphor for number-theoretic problems, such as the arithmetic Langlands conjecture. Kim is working on making these metaphors more rigorous. \u201cI take various constructions in quantum field theory and try to cook up precise number-theoretic analogues,\u201d he says.<\/p>\n
Sam Raskin (left) and Dennis Gaitsgory led the team that proved the geometric Langlands conjecture.<\/p>\n
Dan Renzetti\/Yale University, Lester Cohen\/Getty Images for Breakthrough Prize<\/p>\n
Ben-Zvi, together with Yiannis Sakellaridis at Johns Hopkins University in Baltimore, Maryland, and Akshay Venkatesh at the IAS, is similarly seeking inspiration from theoretical physics, with a sweeping project that seeks to reimagine the whole Langlands programme from the perspective of gauge theory.<\/p>\n
Witten and Kapustin studied two gauge theories connected by S-duality, meaning that, although they look very different mathematically, the theories are equivalent descriptions of reality. Building on this, Ben-Zvi and his colleagues are investigating how charged materials behave in each theory, translating their dual descriptions into a network of interlinked mathematical conjectures.<\/p>\n
\u201cTheir work really stimulated a lot of research, especially in the number-theory world,\u201d says Raskin. \u201cThere\u2019s a lot of people who are working in that circle of ideas now.\u201d<\/p>\n
One of their most striking results concerns a two-way relationship between quite different mathematical objects called periods and L-functions. (The Riemann hypothesis, considered perhaps the most important unsolved problem in mathematics, is focused on the behaviour of a type of L-function.) Periods are a part of harmonic analysis, whereas L-functions are from the realm of number theory \u2014 the two sides of Langlands\u2019 original conjectures. However, through the lens of physics, Ben-Zvi and his colleagues showed that the relationship between periods and L-functions also mirrors that of the geometric programme.<\/p>\n
Many mathematicians are confident that the proof of the geometric conjecture will stand, but it will take years to peer review the papers setting it out, which have all been submitted to journals. Gaitsgory, however, is already pushing forward on several fronts.<\/p>\n
For instance, the existing proof addresses the \u2018unramified\u2019 case, in which the terrain around points on the Riemann surface is well behaved. Gaitsgory and his collaborators are now hoping to extend their results to the more intricate, ramified case by accounting for more-complex behaviour around points as well as for singularities or \u2018punctures\u2019 in the surface.<\/p>\n
To that end, they are extending their work to the local geometric Langlands conjecture to understand in more detail what happens around a single point \u2014 and collaborating with, among others, Jessica Fintzen at the University of Bonn.<\/p>\n
\u201cThis result opens the door to a whole new range of investigations \u2014 and that\u2019s where our interests start to converge, even though we come from very different worlds,\u201d she says. \u201cNow they\u2019re looking to generalize the proof, and that\u2019s what\u2019s drawing me deeper into the geometric Langlands. Somehow, the proof\u2019s the beginning and not the end.\u201d<\/p>\n
Fintzen studies the representations of p-adic groups \u2014 groups of matrices where the entries are p-adic numbers. She constructs the matrices explicitly \u2014 essentially, deriving a recipe for writing them down \u2014 and this seems to be the kind of local information that must be incorporated into the global geometric case to ramify it, Gaitsgory says.<\/p>\n
What began as a set of deep conjectures linking abstract branches of mathematics has evolved into a thriving, multidisciplinary effort that stretches from the foundations of number theory to the edges of quantum physics. The Langlands correspondence might not yet be the grand unified theory of mathematics, but the proof of its geometric arm is a nexus of ideas that will probably shape the field for years to come.<\/p>\n
\u201cThe Langlands correspondence points to much deeper structures in mathematics that we\u2019re only scratching the surface of,\u201d says Frenkel. \u201cWe don\u2019t really understand what they are. They\u2019re still behind the curtains.\u201d<\/p>\n
This article is reproduced with permission and was first published on July 16, 2025.<\/p>\n","protected":false},"excerpt":{"rendered":"
One of the biggest stories in science is quietly playing out in the world of abstract mathematics. Over the course of last year, researchers fulfilled a decades-old dream when they unveiled a proof of the geometric Langlands conjecture \u2014 a key piece of a group of interconnected problems called the Langlands programme. The proof \u2014<\/p>\n","protected":false},"author":1,"featured_media":11595,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[50],"tags":[5024,4858,4090,5023,4693,2567,4095,391],"class_list":{"0":"post-11594","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-environment","8":"tag-advances","9":"tag-grand","10":"tag-landmark","11":"tag-langlands","12":"tag-math","13":"tag-proof","14":"tag-theory","15":"tag-unified"},"_links":{"self":[{"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/posts\/11594","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=11594"}],"version-history":[{"count":0,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/posts\/11594\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/media\/11595"}],"wp:attachment":[{"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=11594"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=11594"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=11594"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}