{"id":14171,"date":"2024-10-03T13:04:11","date_gmt":"2024-10-03T17:04:11","guid":{"rendered":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=14171"},"modified":"2024-11-07T09:20:32","modified_gmt":"2024-11-07T14:20:32","slug":"all-langlands-all-the-time-2","status":"publish","type":"post","link":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=14171","title":{"rendered":"All Langlands, all the time"},"content":{"rendered":"<p>Trying to keep track of everything happening in the Langlands program area of mathematics is somewhat of a losing battle, as new ideas and results keep appearing faster than anyone could be expected to follow. Here are various items: <\/p>\n<ul>\n<li>Dennis Gaitsgory was <a href=\"https:\/\/www.math.columbia.edu\/2024\/09\/27\/ellis-r-kolchin-lecture\/\">here at Columbia yesterday<\/a> (at <a href=\"https:\/\/math.yale.edu\/event\/geometric-langlands-conjecture-sketch-proof\">Yale the day before<\/a>). I don&#8217;t think either lecture was recorded. Attending his lecture here was quite helpful for me in getting an overview of the results recently proved by him and collaborators and announced as a general proof of the unramified geometric Langlands conjecture.  For details, see the papers <a href=\"https:\/\/people.mpim-bonn.mpg.de\/gaitsgde\/GLC\/\">here<\/a>, which add up in length to nearly 1000 pages.\n<p>For a popular discussion, see <a href=\"https:\/\/www.quantamagazine.org\/monumental-proof-settles-geometric-langlands-conjecture-20240719\/\">this article at Quanta<\/a>.<\/p>\n<p>To put things in a wider context, one might want to take a look at the &#8220;What is not done in this paper?&#8221; section of <a href=\"https:\/\/people.mpim-bonn.mpg.de\/gaitsgde\/GLC\/multone.pdf\">the last paper of the five<\/a> giving the proof. It gives a list of what is still not understood:<\/p>\n<p>Geometric Langlands with Iwahori ramification.<br \/>\nQuantum geometric Langlands.<br \/>\nLocal geometric Langlands with wild ramification.<br \/>\nGlobal geometric Langlands with wild ramification.<br \/>\nRestricted geometric Langlands for \u2113-adic sheaves (for curves in positive characteristic).<br \/>\nGeometric Langlands for Fargues-Fontaine curves.<\/p>\n<p>Only the last of these touches on the original number field case of Langlands, which is a much larger subject than geometric Langlands.\n<\/li>\n<li>Highly recommended for a general audience are the Curt Jaimungal &#8211; Edward Frenkel videos about the Langlands story.  The first is <a href=\"https:\/\/www.youtube.com\/watch?v=RX1tZv_Nv4Y\">here<\/a>, the second has just appeared <a href=\"https:\/\/www.youtube.com\/watch?v=0AC-Ol1z5vI\">here<\/a>, and there&#8217;s a third part in the works.  One scary thing about all this is that Frenkel and collaborators are working on an elaboration of geometric Langlands in another direction (&#8220;analytic geometric Langlands&#8221;), which is yet again something different than what&#8217;s in the thousand-page paper.\n<\/li>\n<li>Here at Columbia, Avi Zeff is <a href=\"https:\/\/www.math.columbia.edu\/~avizeff\/seminars\/archimedean\">working his way<\/a> through the Scholze proposal for a version of real local Langlands as geometric Langlands on the twistor P<sup>1<\/sup>, using newly developed techniques involving analytic stacks developed by Clausen and Scholze.  This is an archimedean version of the Fargues-Scholze work on local Langlands at non-archimedean primes which uses ideas of geometric Langlands, but on the Fargues-Fontaine curve.  Together these provide a geometric Langlands version  of the local number field Langlands program, with no corresponding geometric global picture yet known.<\/li>\n<li>Keeping up with all of this looks daunting.  To make things worse, Scholze just keeps coming up with new ideas that cover wider and wider ground. This semester in Bonn, he&#8217;s running a seminar on <a href=\"http:\/\/www.math.uni-bonn.de\/ag\/alggeom\/veranstaltungen\/ARGOS\/ARGOS_WS2425.pdf\">Berkovich Motives, and Motivic Geometrization of Local Langlands<\/a>, promising two new papers (&#8220;Berkovich motives&#8221; and &#8220;Geometrization of local Langlands, motivically&#8221;), in preparation.\n<p>As a sideline, he&#8217;s been working on <a href=\"https:\/\/people.mpim-bonn.mpg.de\/scholze\/ws202425_habiro.pdf\">the &#8220;Habiro ring&#8221; of a number field<\/a>, finding there power series that came up in the study of complex Chern-Simons theory and the volume conjecture.  According to Scholze:<\/p>\n<blockquote><p>My hope was always that this q-deformation of de Rham cohomology should form a bridge between the period rings of p-adic Hodge theory and the period rings of complex Hodge theory. The power series of Garoufalidis\u2013Zagier do have miraculous properties both p-adically and over the complex numbers, seemingly related to the expected geometry in both cases (the Fargues\u2013Fontaine curve, resp. the twistor-P<sup>1<\/sup>), and one goal in this course is to understand better what\u2019s going on.<\/p><\/blockquote>\n<\/li>\n<li>Finally, if you want to keep up with the latest, Ahkil Mathew has <a href=\"https:\/\/www.youtube.com\/@akhilmathew2824\/videos\">a Youtube channel of videos of talks<\/a> run out of Chicago.<\/li>\n<\/ul>\n<ul>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Trying to keep track of everything happening in the Langlands program area of mathematics is somewhat of a losing battle, as new ideas and results keep appearing faster than anyone could be expected to follow. Here are various items: Dennis &hellip; <a href=\"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=14171\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[11],"tags":[],"class_list":["post-14171","post","type-post","status-publish","format-standard","hentry","category-langlands"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/14171","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=14171"}],"version-history":[{"count":12,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/14171\/revisions"}],"predecessor-version":[{"id":14185,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/14171\/revisions\/14185"}],"wp:attachment":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=14171"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=14171"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=14171"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}