Representation theoretic methods in geometry and mathematical physics

几何和数学物理中的表示理论方法

• 批准号: RGPIN-2019-03961
• 负责人: Cautis, Sabin
• 金额: $ 1.89万
• 依托单位: University of British Columbia
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2019
• 资助国家: 加拿大
• 起止时间: 2019-01-01 至 2020-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=681649
• 关键词: Representation; theoretic; methods; geometry; mathematical

I have recently been exploring the category of coherent sheaves on the affine Grassmannian. It is natural to call this the coherent Satake category because its constructible analogue (the category of constructible sheaves on the affine Grassmannian) is usually called the Satake category.******The usual (constructible) Satake category is a very rich object in both number theory and geometric representation theory. In particular, it is closely related to the Langlands program and, by relatively recent results of Kapustin and Witten, to certain gauge theories in mathematical physics. In this interpretation, the famous Langlands duality phenomenon corresponds to electric-magnetic duality.******The coherent Satake category is likewise related to a gauge theory. However, this theory behaves differently and the mathematical counterpart of this story is relatively poorly understood. For example, the constructible Satake category is semisimple and its monoidal structure symmetric. In contrast, the coherent Satake category is neither semisimple nor symmetric. Instead, its structure can be described (conjecturally) as a monoidal cluster category.******In a recent preprint with H. Williams, we define and study this cluster structure for the affine Grassmannian of GL(n). The K-theory of this affine Grassmannian is the simplest example of a Coulomb branch of a 4d N=2 gauge field theory. The appearance of such cluster structures has been noticed more generally for other gauge field theories. Our proof relies heavily on the construction of a renormalized r-matrix which makes sense in any monoidal category whose product is compatible with an auxiliary chiral category. This suggests a to make progress in the study and understanding of other Coulomb branches of such field theories.******One of the main aims of this proposal is to develop new tools (geometric as well as representation-theoretic) in order to extend our results. For instance, an obvious goal is to define a cluster structure for affine Grassmannians of other groups. The coherent Satake category is also closely related to the convolution spaces studied earlier with J. Kamnitzer in the context of defining homological knot invariants (e.g. Khovanov homology) and a quantum K-theoretic version of geometric Satake. In those instances various tools from geometry and representation theory were developed and applied. One tool that stands out is the idea of categorical actions of quantum groups. We plan to develop further and adapt some of these techniques to the context of the coherent Satake category (and other categories arising from gauge field theories).*****

我最近一直在探索仿射格拉斯曼粒子上相干束的范畴。我们很自然地将其称为相干的竹范畴，因为它的可构造类似物（仿射格拉斯曼上的可构造束的范畴）通常被称为竹范畴。******通常的（可构造的）竹范畴在数论和几何表示理论中都是一个非常丰富的对象。特别是，它与朗兰兹纲领密切相关，而且，根据Kapustin和Witten相对较新的结果，它与数学物理中的某些规范理论密切相关。在这种解释中，著名的朗兰兹对偶现象对应于电磁对偶。******相干的Satake范畴同样与规范理论有关。然而，这一理论的表现方式不同，人们对这个故事的数学对应部分的理解相对较差。例如，可构造的Satake范畴是半简单的，它的单轴结构是对称的。相反，相干的竹范畴既不是半简单的，也不是对称的。相反，它的结构可以（推测地）描述为一个单面簇类。******在最近与H. Williams的预印本中，我们定义并研究了GL(n)的仿射Grassmannian的这种簇结构。这种仿射格拉斯曼的k理论是4d N=2规范场论的库仑分支的最简单的例子。这种星团结构的出现在其他规范场理论中得到了更普遍的注意。我们的证明很大程度上依赖于一个重整化的r矩阵的构造，它在任何与辅助手性范畴积相容的一元范畴中都是有意义的。这表明在这类场论的其他库仑分支的研究和理解方面需要取得进展。******本提案的主要目的之一是开发新的工具（几何和表示理论），以扩展我们的结果。例如，一个明显的目标是为其他类群的仿射格拉斯曼人定义一个簇结构。相干的Satake范畴也与之前与J. Kamnitzer在定义同调结不变量（例如Khovanov同调）和几何Satake的量子k理论版本的背景下研究的卷积空间密切相关。在这些情况下，几何学和表示理论中的各种工具得到了发展和应用。一个突出的工具是量子群的绝对作用的想法。我们计划进一步发展和适应这些技术中的一些，以适应连贯的Satake类别（以及从规范场理论产生的其他类别）的背景。*****