Torsors under Reductive Groups and Dualities for Hitchin Systems

Torsors（也称为主丛）的研究始于世纪早期，由物理学家作为描述电磁学的形式。后来，这被扩展到包括强相互作用和弱相互作用，因此torsors成为所谓的标准模型的基础-一种描述除引力之外所有基本力的物理理论。标准模型预测了各种粒子的存在，其中最后一种粒子称为希格斯玻色子，是在2012年的大型强子对撞机实验中发现的。1950年菲尔兹奖得主让-皮埃尔·塞尔（Jean-Pierre Serre）认识到了Torsors在代数几何中的重要性。在他1958年的开创性论文中，他给出了torsor的第一个现代定义，并提出了一个深刻的猜想。这个项目的第一部分旨在证明这个猜想，这是数学中最古老的未解决的基础问题之一。该项目的第二部分与所谓的希格斯束有关，希格斯束可以被认为是希格斯玻色子的数学化身。更确切地说，PI提出证明参数化希格斯包的空间的某种对偶性。这种对偶性是描述电磁场的麦克斯韦方程组关于相互交换的电场和磁场是对称的这一事实的广泛推广。对偶性是著名的朗兰兹纲领的一部分，它统一了数论、代数几何、调和分析和数学物理。该奖项将支持这些领域的持续研究。更详细地说，Grothendieck和Serre的一个猜想预言了正则概型上的一个约化群概型下的torsor在Zurski拓扑中局部平凡，如果它是有理平凡的。这个猜想是解决了伊万帕宁和PI在平等的特点的情况下。该猜想仍然是远远从决议的混合特征的情况下，虽然有重要的结果，在这个方向。PI建议解决非分歧情况下的猜想;也就是说，对于正则局部环，其整数环上的纤维是正则的。一个更雄心勃勃的目标是证明torsors的纯度猜想，这在某种意义上是Grothendieck-Serre猜想之后的下一步。第二个项目致力于希钦系统的朗兰兹对偶，预测朗兰兹对偶群的希格斯包的模栈是等价的。这个猜想可以看作是几何朗兰兹对偶的经典极限。通过与通常的全局范畴朗兰兹对偶类比，PI给出了该猜想的局部版本以及局部和全局猜想之间的基本相容性。PI将尝试根据PI构建的霍奇模块的几何佐竹等价性证明局部猜想。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

The study of torsors (also known as principal bundles) began in the early 20th century by physicists as a formalism to describe electromagnetism. Later, this was extended to encompass strong and weak interactions, so that torsors became a basis for the so-called Standard Model - a physical theory describing all fundamental forces except for gravitation. The standard model predicted the existence of various particles, the last of which, called the Higgs boson, was found in a Large Hadron Collider experiment in 2012. In 1950's Fields medalist Jean-Pierre Serre recognized the importance of torsors in algebraic geometry. In his 1958 seminal paper he gave the first modern definition of a torsor and formulated a certain deep conjecture. The first part of this project is aimed at proving this conjecture, which is among the oldest unsolved foundational questions in mathematics. The second part of the project is related to the so-called Higgs bundles, which can be thought of as mathematical incarnations of the Higgs bosons. More precisely, the PI proposes to prove a certain duality for the spaces parameterizing Higgs bundles. This duality is a vast generalization of the fact that the Maxwell equations describing electromagnetic fields are symmetric with respect to interchanging electrical and magnetic fields. The duality is a part of the famous Langlands program unifying number theory, algebraic geometry, harmonic analysis, and mathematical physics. This award will support continuing research in these areas. Advising students and giving talks at conferences will also be part of the proposed activity.In more detail, a conjecture of Grothendieck and Serre predicts that a torsor under a reductive group scheme over a regular scheme is trivial locally in the Zariski topology if it is rationally trivial. This conjecture was settled by Ivan Panin and the PI in the equal characteristic case. The conjecture is still far from resolution in the mixed characteristic case, though there are important results in this direction. The PI proposes to resolve the conjecture in the unramified case; that is, for regular local rings whose fibers over the ring of integers are regular. A more ambitious goal is to prove the purity conjecture for torsors, which is, in a sense, the next step after the Grothendieck–Serre conjecture. The second project is devoted to Langlands duality for Hitchin systems, predicting that moduli stacks of Higgs bundles for Langlands dual groups are derived equivalent. This conjecture may be viewed as the classical limit of the geometric Langlands duality. By analogy with the usual global categorical Langlands duality, the PI formulates a local version of the conjecture and the basic compatibility between the local and the global conjecture. The PI will attempt to give a proof of the local conjecture based on the geometric Satake equivalence for Hodge modules constructed by the PI.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.