Modular Representation Theory and Categorification with Applications

模块化表示理论及其分类及其应用

• 批准号: 2101791
• 负责人: Alexander Kleshchev
• 金额: $ 27.05万
• 依托单位: University of Oregon Eugene
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2021
• 资助国家: 美国
• 起止时间: 2021-07-01 至 2024-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2101791&HistoricalAwards=false
• 关键词: Modular; Representation; Theory; Categorification; Applications

Groups are mathematical objects arising in the study of symmetry. The main foci of this project are some of the most fundamental and universal examples of groups: symmetric groups, which arise as symmetries of finite sets, and general linear groups, which arise as symmetries of finite-dimensional vector spaces. Representation theory studies groups via their actions on other mathematical objects, such as vector spaces. Very informally, representations of a group are snap-shots of the group taken from different directions. In the past few years, the idea of categorification has become very important and has led to the development of higher representation theory. This involves actions of groups on higher mathematical structures called categories, utilizing not only the relations between these structures (functors) but also relations between the relations (natural transformations). In particular, Khovanov-Lauda-Rouquier (KLR) algebras encode higher symmetries underlying a large part of representation theory, including classical objects like symmetric and general linear groups. The goal of this project is to further build the theory of these and other algebras and apply it to improve our understanding of the classical objects of group theory. The research in this project has potential future broader impacts in computer science and theoretical physics. More directly this award will have important educational impact through the training of graduate students and mentoring young researchers in this area. In more detail, this project is concerned with several diverse projects in representation theory of Lie algebras, finite groups, and related objects such as Hecke algebras, quantum groups, Schur algebras and KLR algebras. Our perspective draws on recent advances in higher representation theory, namely categorification, with various diagrammatically defined monoidal categories and 2-categories playing a prominent role. On the other hand, many applications are to classical problems in representation theory such as block theory of finite groups and Schur algebras as well as structure theory of finite groups. We will study local description of blocks of Schur algebras up to derived equivalence, cuspidal algebras for KLR algebras, thick Heisenberg categorification, super Kac-Moody 2-categories and applications to blocks of double covers of symmetric groups, homological properties of KLR algebras, decomposition numbers, and irreducible restrictions from quasi-simple groups to subgroups. The project will have applications to other areas of mathematics including finite group theory (and its applications), Lie theory, combinatorics, representation theory, knot theory and category theory.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.

群是在研究对称性时产生的数学对象。这个项目的主要焦点是一些最基本和最普遍的群的例子：对称群，它作为有限集合的对称而出现，一般线性群，它作为有限维向量空间的对称而出现。表示论通过群对其他数学对象（如向量空间）的作用来研究群。非常非正式地，群体的表示是从不同方向拍摄的群体快照。在过去的几年里，范畴化的思想变得非常重要，并导致了高级表征理论的发展。这涉及到群在称为范畴的更高数学结构上的作用，不仅利用这些结构之间的关系（函子），而且利用这些关系之间的关系（自然变换）。特别是，Khovanov-Lauda-Rouquier（KLR）代数编码了大部分表示论的高级对称性，包括对称和一般线性群等经典对象。这个项目的目标是进一步建立这些和其他代数的理论，并应用它来提高我们对群论经典对象的理解。该项目的研究在计算机科学和理论物理领域具有潜在的未来更广泛的影响。更直接地说，该奖项将通过培训研究生和指导这一领域的年轻研究人员产生重要的教育影响。 更详细地说，这个项目涉及李代数，有限群和相关对象，如Hecke代数，量子群，Schur代数和KLR代数的表示论中的几个不同项目。我们的观点借鉴了最近的进展，更高的代表性理论，即范畴化，与各种图表定义的monoidal类别和2类发挥了突出的作用。另一方面，许多应用程序是经典问题的表示理论，如块理论的有限群和舒尔代数以及结构理论的有限群。我们将研究Schur代数块的局部描述，直到导出等价，KLR代数的尖点代数，厚Heisenberg范畴化，超Kac-Moody 2-范畴及其在对称群双覆盖块中的应用，KLR代数的同调性质，分解数，以及从拟单群到子群的不可约限制。该项目将应用于数学的其他领域，包括有限群理论（及其应用），李理论，组合学，表示论，纽结理论和范畴理论。该奖项反映了NSF的法定使命，并已被认为是值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估的支持。