The higher algebra of spaces of quantum systems

（量子）物质相的分类是一个古老的问题，继续导致物理学和数学的新结果。近年来，来自拓扑学的强大工具--对抽象空间的数学研究，其中没有距离和角度的自然刚性几何--对该领域产生了深远的影响（包括导致2016年诺贝尔物理学奖的工作）。我的研究计划为这幅图增加了量子物质系统空间的一个显著特征：这些空间展现出丰富的高等代数结构，并再现了不仅在物理学而且在纯数学中感兴趣的高等代数对象。虽然高等代数和量子系统之间的联系在世纪后期就被认识到了，但精确地表述这些联系所需的数学直到最近才得到发展。特别是，我最近的工作已经回答了许多关于“什么是量子系统中存在的高等代数”的定义问题。".这开辟了无数新的研究途径，许多围绕后续问题“量子系统中存在的高等代数是什么？”“：不是定义，而是例子的细节。其中一些例子现在已经足够具体，一个年轻的研究生可以计算它们，并在这个过程中学习物理和数学之间的字典：例如，描述某些固态系统在3+1d中的低能行为的例子。其他的例子现在刚刚出现在地平线上，仍然模糊，但值得追求，因为它们将阐明某些“特殊”数学对象的神秘特征，这些数学对象似乎只是因为巧合而存在，但迫切需要解释。就其本质而言，这项研究计划借鉴了数学和物理学的思想。许多本科生同时追求这两个领域，但在研究生院被迫选择一门学科。在我的研究项目中从事项目的学生将成为“双语”：精通高等代数和理论物理。这种双语能力是非常有价值的，因为它有助于为所有科学带来背景和思想的多样性。虽然我从数学和物理学中汲取灵感，但我首先是一名数学家，因此我的主要目标是利用物理学的思想来探索新的数学。当数学思想导致新的物理应用时，也是令人兴奋的，我的研究计划将继续通过提供构建和分析量子物质新相的工具来实现这一目标。

The classification of phases of (quantum) matter is an ancient question that continues to lead to new results in both physics and mathematics. In recent years, powerful tools from topology - the mathematical study of abstract spaces in which there is no natural rigid geometry of distances and angles - has had a profound impact on the field (including work leading to the 2016 Nobel Prize in Physics). My research program adds to this picture a remarkable feature of spaces of quantum matter systems: these spaces exhibit rich higher algebraic structure, and reproduce higher algebraic objects that are of interest not just in physics but also in pure mathematics. Although connections between higher algebra and quantum systems have been recognized since the late 20th century, the mathematics needed to formulate these connections precisely has only recently been developed. In particular, my recent work has answered many of the definitional questions concerning "What is the higher algebra present in a quantum system?". This opens myriad new avenues of research, many around the follow-up question "What are the higher algebras present in quantum systems?": not the definition, but the details of examples. Some of these examples are now sufficiently concrete that a young graduate student can compute them, and in the process learn the dictionary between physics and mathematics: for instance, examples that describe the low-energy behaviour of certain solid-state systems in 3+1d. Other examples are now just coming into view on the horizon, still hazy but worth pursuing, because they would illuminate mysterious features of certain "exceptional" mathematical objects, which seem to exist only because of a coincidence but cry out for an explanation. By its very nature, this research program draws on ideas from both mathematics and physics. Many undergraduate students pursue both fields, but then are forced to choose a discipline in graduate school. Students pursuing projects from my research program will instead be "bilingual": fluent in both higher algebra and theoretical physics. Such bilingualism can be extremely valuable, because it helps bring a diversity of backgrounds and ideas to all Sciences. While I draw from both mathematics and physics, I am first a mathematician, and so my primary goal is to use ideas from physics to explore new mathematics. It is also thrilling when ideas from mathematics lead to new physical applications, and my research program will continue to do so by providing tools for constructing and analyzing novel phases of quantum matter.