CAREER: Model Theory and Operator Algebras

模型论是数理逻辑的一个分支，它通过理解结构在一阶逻辑中的可表达性来研究结构类。除了本身是一门有趣的学科外，模型理论对数学的几乎所有其他分支都产生了重大影响。在这个项目中，我们专注于模型理论在算子代数中的应用，即希尔伯特空间上有界算子代数的各种子代数，这些子代数在伴随下是封闭的，并且在各种拓扑中是封闭的。模型理论和算子代数的结合已经被证明是富有成效的，我们计划继续发展算子代数中模型理论方法的新发展。我们也计划继续我们的工作，使用非标准分析来解决数学的不同领域的问题，包括无限维李论，拓扑图理论，和组合数论。非标准分析利用理想化的元素来取代有限的过程，并为困难问题提供新的见解。算子代数的研究最初是作为研究量子物理中各种现象的严格数学公式而开始的。希尔伯特空间是一个由向量组成的空间，这些向量可以被标量相加和相乘，对于这个空间，角度的概念是有意义的。希尔伯特空间上的算子是希尔伯特空间的连续变换它尊重加法和标量乘法；算子本身可以相加和相乘还有一个算子的伴随的概念，在某种意义上类似于取一个矩阵并取它的转置。算子代数是希尔伯特空间上的算子的集合，它在加法、标量乘法和伴随下是封闭的，并且在适当的意义上是封闭的。半个多世纪以来，了解各种算子代数的性质并试图对它们进行分类一直是泛函分析中的一项重要工作。在这个项目中，我们建议继续使用逻辑技术来研究算子代数及其模型论性质，即它们所拥有的可以用逻辑术语表示的性质。

Model theory is a branch of mathematical logic which studies classes of structures by understanding what can be expressed about the structures in first-order logic. Besides being an interesting subject in its own right, model theory has had major impacts on almost every other branch of mathematics. In this project, we focus on applications of model theory to operator algebras, that is, various subalgebras of the algebra of bounded operators on a Hilbert space that are closed under adjoint and are closed in various topologies. The union of model theory and operator algebras has already proven to be fruitful and we plan on continuing the emerging evolution of model-theoretic methods in operator algebras. We also plan to continue our work in using nonstandard analysis to solve questions in diverse areas of mathematics, including infinite-dimensional Lie theory, topological graph theory, and combinatorial number theory. Nonstandard analysis takes advantage of idealized elements to replace limiting processes and offers new insights into difficult problems.The study of operator algebras originally began as a rigorous mathematical formulation for studying various phenomena in quantum physics. A Hilbert space is a space consisting of vectors that can be added and multiplied by scalars and for which a notion of angle makes sense. An operator on a Hilbert space is a continuous transformation of the Hilbert space that respects the addition and scalar multiplication; operators can themselves be added and multiplied and there is also a notion of an adjoint of an operator, which in some sense is akin to taking a matrix and taking its transpose. An operator algebra is a collection of operators on a Hilbert space that is closed under addition, scalar multiplication and adjoint and is closed under taking limits in a suitable sense. Understanding the properties of various kinds of operator algebras and attempting to classify them has been an important venture in functional analysis for over half a century. In this project, we propose to continue the use of techniques from logic to study operator algebras and their model-theoretic properties, that is, the properties they possess that can be expressed in logical terms.