Braided tensor categories, higher Picard groups, and classification of topological phases of matter

辫状张量类别、高皮卡德群以及物质拓扑相的分类

• 批准号: 2302267
• 负责人: Dmitri Nikshych
• 金额: $ 18.26万
• 依托单位: University of New Hampshire
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-06-01 至 2026-05-31
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2302267&HistoricalAwards=false
• 关键词: Braided; tensor; categories; higher; Picard

This project concerns the study of braided tensor categories and their higher-dimensional analogs. These are abstract algebraic structures consisting of objects that can be fused using certain natural rules. Such categories are indispensable in the study of classical and quantum symmetries. They are also used as mathematical models for a potential hardware design of a quantum computer. Namely, they correspond to topological phases of matter relevant to quantum computation and are used to predict the existence of new types of such phases, their behavior, and their physical realization. This project is motivated by these connections and deals with algebraic aspects of the theory of (higher) tensor categories: their structure, classification, and arithmetic properties. The emphasis is on categories that are most widely used in applications. Such categories admit an additional symmetry constraint called braiding that is used to model the interaction of quantum particles. Student recruitment and training are essential components of the proposed research activity.This project will address fundamental questions concerning the structure and classification of braided tensor categories and 2-categories. Categorical techniques will be employed to interpret and solve algebraic problems. Previously developed tools such as categorical Witt and Picard groups will be generalized and combined into higher-categorical groups, providing a useful homotopy-theoretic machinery. The concrete research problems include the following: (1) classification of braided fusion 2-categories and description of their Witt invariants, (2) computation of groups of minimal extensions corresponding to symmetry-protected topological phases of matter, (3) study of Hecke algebras associated with fusion categories and their integral forms, (4) classification of fiber functors on non-degenerate braided fusion categories using a categorical analog of Belavin-Drinfeld triples, and (5) classification of non-semisimple pointed braided tensor categories.This project is jointly funded by the Algebra and Number Theory program and the Established Program to Stimulate Competitive Research (EPSCoR).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.

该项目涉及编织张量类别及其高维类似物的研究。这些是抽象的代数结构，由可以使用某些自然规则融合的对象组成。这些范畴在经典对称性和量子对称性的研究中是不可或缺的。 它们还被用作量子计算机潜在硬件设计的数学模型。也就是说，它们对应于与量子计算相关的物质的拓扑相，并用于预测此类相的新型类型的存在、它们的行为以及它们的物理实现。该项目受到这些联系的启发，并处理（更高）张量类别理论的代数方面：它们的结构、分类和算术属性。重点是应用程序中使用最广泛的类别。这些类别允许额外的对称约束，称为编织，用于模拟量子粒子的相互作用。学生招募和培训是拟议研究活动的重要组成部分。该项目将解决有关编织张量类别和二分类的结构和分类的基本问题。将采用分类技术来解释和解决代数问题。先前开发的工具（例如分类维特群和皮卡德群）将被推广并组合成更高类别的群，从而提供有用的同伦理论机制。具体研究问题包括：（1）编织融合2-类的分类及其Witt不变量的描述，（2）对应于物质对称保护拓扑相的最小外延群的计算，（3）Hecke的研究与融合类别及其积分形式相关的代数，（4）使用 Belavin-Drinfeld 三元组的分类模拟对非简并编织融合类别上的纤维函子进行分类，以及（5）非半简单尖辫张量类别的分类。该项目由代数与数论计划和刺激竞争性研究既定计划（EPSCoR）共同资助。该奖项反映了 NSF 的法定使命，并被认为值得支持通过使用基金会的智力优点和更广泛的影响审查标准进行评估。