Principal bundles on local schemes and a duality for Hitchin systems

该奖项支持两个与物理学领域有关的数学项目。 它的数学范围涉及数论，表示论和代数几何，并涉及到现在被称为几何朗兰兹纲领。 罗伯特·朗兰兹在20世纪60年代提出了一个程序，它是数论中一系列定理的高潮，这些定理始于高斯在1800年左右证明的二次互易定理。 亚历山大贝林森和弗拉基米尔德林费尔德提出了一个几何版本的朗兰兹纲领，他们把朗兰兹纲领的思想与其他数学和物理领域的工具和思想结合在一起：代数几何、层理论、模空间、可积系统等等。后来，安东·卡普斯汀和爱德华·维滕在一篇突破性的论文中将几何朗兰兹纲领与超对称性和电磁对偶性联系起来。这两个项目的中心对象是约化代数群的主丛; PI计划在几何朗兰兹纲领的背景下研究它们的某些问题。在第一个项目中，PI将部分与伊万·帕宁合作，将几何朗兰兹纲领（即仿射格拉斯曼）的技术应用于主丛的局部研究。 一个约化群概型的主丛（也就是一个torsor）在Zebraki拓扑中不一定是平凡的。 然而，Grothendieck和Serre的一个猜想预测，如果它是理性平凡的，并且基是光滑的，则它是平凡的。 这个猜想已经在某些情况下得到证明，但PI的目的是在更广泛的一般性证明它。 PI还计划描述将分数域上的主丛扩展到闭点邻域的充分必要条件。 第二个项目，部分与德米特里·阿林金合作，旨在证明类经典版本的范畴朗兰兹对应。 这是约化群的希钦可积系统的导出范畴与朗兰兹对偶群的希钦系统的导出范畴之间的等价性。 这应该被看作是一个扩展的傅立叶-Mukai变换的阿贝尔品种奇异退化的阿贝尔品种。 有强烈的迹象表明，证明希钦系统的对偶性将有助于证明原来的几何朗兰兹图。

This award supports work on two projects in mathematics that have bearing on areas of physics. Its mathematical scope involves number theory, representation theory, and algebraic geometry and relates to what is now known as the Geometric Langlands Program. Robert Langlands in the 1960's proposed a program, which is a culmination of a sequence of theorems in number theory that began with the quadratic reciprocity theorem, proved by Gauss around 1800. Alexander Beilinson and Vladimir Drinfeld suggested a geometric version of the Langlands program, in which they brought the ideas of Langlands together with tools and ideas from other areas of mathematics and physics: algebraic geometry, sheaf theory, moduli spaces, integrable systems, and many others. Later, Anton Kapustin and Edward Witten in a breakthrough paper related the Geometric Langlands Program to supersymmetry and electro-magnetic duality. The central objects in the two projects are principal bundles for reductive algebraic groups; the PI plans to study certain questions about them in the context of the Geometric Langlands Program.In the first project, partly in collaboration with Ivan Panin, the PI will apply techniques of the Geometric Langlands Program (namely, affine Grassmannians) to the local study of principal bundles. A principal bundle (that is, a torsor) for a reductive group scheme is not necessarily trivial in the Zariski topology. However, a conjecture of Grothendieck and Serre predicts that it is trivial if it is rationally trivial and the base is smooth. This conjecture is already proved in certain cases, but the PI aims to prove it in wider generality. The PI also plans to describe the necessary and sufficient conditions for extending a principal bundle over the fraction field to a neighborhood of a closed point. The second project, partly in collaboration with Dmitry Arinkin, is aimed at proving the quasi-classical version of the categorical Langlands correspondence. This is the equivalence between the derived category of the Hitchin integrable system for a reductive group and the derived category of the Hitchin system for the Langlands dual group. This should be viewed as an extension of the Fourier-Mukai transform for abelian varieties to singular degenerations of abelian varieties. There are strong indications that a proof of the duality for Hitchin systems will help with the proof of the original Geometric Langlands conjectures.