Geometric representation theory and crystals

对称性是数学的一个基本领域。数学家对对称的连续集合特别感兴趣，例如球体的旋转群。我们称这些物体为李群。一个重要的问题是理解这些李群是如何作为向量空间上的线性算子出现的，这些算子被称为表示。19世纪末20世纪初数学的最大成就之一是对单李群及其表示的分类。人们对李群的兴趣很大程度上是由理论物理推动的。自20世纪30年代以来，李群及其表示在量子力学中被广泛用于帮助描述基本粒子和对基本粒子进行分类。近年来，量子场论和表象理论之间的相互作用重新兴起，导致双方都取得了重要的进展。在过去的20年里，数学家们在表象理论中发展了几何构造。在这些构造中，我们有一个几何对象(一个代数簇)，它的拓扑编码了一个李群的表示。这些几何结构非常漂亮，并导致了更深层次的结构，如范畴化和典范基。这些几何结构有两个来源，大致是同时发明的。第一个来自几何朗兰兹对偶理论，该理论是由德恩菲尔德发展起来的，是著名的朗兰兹猜想的几何版本，该猜想指导了现代数论的大部分内容。第一个构造使用称为仿射Grassmannians的几何对象。第二个建筑是由Lusztig和Nakajima开发的，涉及被称为箭牌变种的几何物体。第一种结构更自然，但更难处理；第二种结构更实际，但更特殊。这两种不同的、看似无关的几何结构的存在非常神秘，并导致许多数学家提出以下问题：*这两种几何结构之间的关系是什么？*2012年，Webster、Weekes、Yacobi和我通过辛对偶机制提出了这个问题的答案。辛对偶是某些类几何对象之间的一种微妙关系，称为圆锥辛分解。*辛对偶在理论物理中有着美好的起源，更具体地说，来自N=4的三维超对称量子场理论。对于这样的理论，我们可以考虑所有可能的最低能态，这被称为真空模空间。这个模空间有几个部分，其中一个被称为希格斯分支，另一个被称为库仑分支。真空的这两个分支形成了一个辛对偶。*我目前的研究集中在探索这种辛对偶性及其对范畴和特殊基所产生的结果。

Symmetry is a fundamental area of mathematics. Mathematicians are particularly interested in continuous collections of symmetries, such as the group of rotations of a sphere. We call these objects Lie groups. An important problem is to understand how these Lie groups can arise as linear operators on vector spaces, these are called representations. One of the great achievements in mathematics in the late 19th and early 20th century was the classification of simple Lie groups and their representations.******Much of this interest in Lie groups is motivated by theoretical physics. Lie groups and their representations have been used heavily since the 1930s in quantum mechanics to help describe and classify elementary particles. In recent years, there has been a resurgence of interaction between quantum field theory and representation theory, leading to important advances on both sides.******In the past 20 years, mathematicians have developed geometric constructions in representation theory. In these constructions, we have a geometric object (an algebraic variety) whose topology encodes a representation of a Lie group. These geometric constructions are very beautiful and lead to deeper structures, such as categorification and canonical bases.******There are two sources of these geometric constructions, which were invented roughly simultaneously. The first one comes from the theory of geometric Langlands duality, which was developed by Drinfeld as a geometric version of the famous Langlands conjectures, which have guided much of modern number theory. This first construction uses geometric objects called affine Grassmannians. The second construction was developed by Lusztig and Nakajima and involves geometric objects called quiver varieties. The first construction is more natural, but harder to work with; the second construction is more hands-on, but more ad-hoc.******The existence of these two different, seemingly unrelated, geometric constructions was very mysterious and lead many mathematicians to the following question:******What is the relationship between these two geometric constructions? ******In 2012, Webster, Weekes, Yacobi and I proposed an answer to this question through the mechanism of symplectic duality, a subtle relationship between certain classes of geometric objects, called conical symplectic resolutions. ******Symplectic duality has a beautiful origin in theoretical physics, more specifically from N = 4, 3-dimensional supersymmetric quantum field theories. To such a theory, we can consider all possible lowest energy states, which is called the moduli space of vacua. This moduli space has a few pieces, one of which is called the Higgs branch and another of which is called the Coulomb branch. These two branches of vacua form a symplectic dual pair.******My current research focuses on exploring this symplectic duality and its consequences for categorification and special bases.**