Quantum Symmetries: tensor categories, braids, and Hopf algebras

该奖项支持在数学领域的研究，可用于在量子水平上模拟对称性。对称性存在于我们的日常生活中，它们通过称为群的对象进行数学编码。近几十年来，人们对量子现象给予了极大的关注。在这种背景下，量子对称性出现了，最好用称为张量范畴的类群对象来描述。此外，张量范畴是量子计算和物质拓扑相的语言。研究人员希望对模范畴（张量范畴的一个杰出类别）进行分类，因为它们在凝聚态物理和量子计算中的应用。特别地，酉模范畴是任意子的代数模型，其在拓扑量子计算中有应用。这个模型还有一个优点，就是它是任意子的容错模型，因为小的扰动不会改变量子系统的物理性质。张量范畴可以被认为是环的范畴版本。这个概念包括群的表示、李代数和霍普夫代数。该项目将包括三个主要项目：分类，建设和研究张量范畴的同调性质。目的之一是推进低秩预模范畴和超模范畴的分类。该项目的另一个目标是了解上同调在标准构造下的行为，并使用这些结果来获得满足某些性质的Hopf代数和范畴的新例子，例如Etingof和Ostrik提出的Hopf代数和张量范畴的上同调的有限生成。研究者将探索支持多样性理论的推广。这些是在有限张量范畴的上下文中测量投射性的几何对象。该项目的最后一个目标是通过测量对称性，并重点关注特定模范畴的Deligne积上的置换作用，利用Hopf代数和模张量范畴来寻找有限张量范畴的新构造。该奖项反映了NSF的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

This award supports research in an area of mathematics that can be used to model symmetry at the quantum level. Symmetries are present in our daily life and they are encoded mathematically by objects called groups. In recent decades, a lot of attention has been given to quantum phenomena. In this context, quantum symmetries appear, which are best described by group-like objects called tensor categories. Moreover, tensor categories are the language of quantum computation and topological phases of matter. Researchers would like to classify modular categories (a distinguished class of tensor categories) because of their applications in condensed matter physics and quantum computing. In particular, unitary modular categories are algebraic models of anyons, which have applications in topological quantum computing. This model also has the advantage of being a fault-tolerance model of anyons, since small perturbations will not change the physical properties of the quantum system.Tensor categories can be thought of as the categorical version of rings. This notion includes representation of groups, Lie algebras, and Hopf algebras. The project will consist of three main programs: classification, construction, and study of homological properties of tensor categories. One of the aims is to advance on the classification of low-rank premodular categories and supermodular categories. Another goal of this project is to understand how the cohomology behaves under standard constructions and use these results to get new examples of Hopf algebras and categories satisfying certain properties, such as the finite generation of cohomology for Hopf algebras and tensor categories, proposed by Etingof and Ostrik. The investigator will explore generalizations of the support variety theory. These are geometrical objects that measure projectivity, in the context of finite tensor categories. The last goal of the project is to search for new constructions of finite tensor categories, using Hopf algebras, and modular tensor categories, via gauging the symmetry with a focus on permutation actions on Deligne products of a given modular category.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.