NSF-BSF: C*-algebras and Dynamics Beyond the Elliott Program

C*-代数是一种数学对象，例如出现在量子力学中。简单C*-代数是那些不能被分解成更小（“更简单”）的C*-代数。这个项目的最大部分是关于一个简单的C*-代数何时同构于它的相反代数，也就是说，在数学上与可能被认为是它的镜像相同。举一个日常生活中的例子，一只普通的袜子和它的镜像是一样的，因为一只适合右脚的袜子同样适合左脚。手套不是这样的：无论你做什么，右手手套都不适合戴在左手上。一个非单C*-代数可以由非常基本的部分组成，但以一种巧妙的方式放在一起，以便不同构于它的对立面。不可分或非核（“太大”，但在不同的意义上）的简单C*-代数也可能不能同构于它们的对立面。另一方面，艾略特分类程序所涵盖的简单C*-代数与它们的对立面同构。该项目的一个长期目标是展示一个简单的可分核C*-代数，它与它的对立面不同构。这样的代数甚至不能被艾略特计划的任何扩展所涵盖。该项目还将通过培训研究生和本科生为美国劳动力发展做出贡献。预期的例子是一个具有快速维数增长的简单单位AH代数。打算证明它是不同构的对立面取决于不存在定理的某些同态从一个矩阵代数上的连续函数代数上的一个紧凑的空间不同的矩阵代数上的连续函数不同的紧凑空间。当第二个矩阵的大小足够大时，所有由于相当明显的原因而不被排除的同态实际上都存在。当它很小时，已知的障碍排除了大多数同态。应用程序需要有关中间范围的信息。在这里，即使是Blackadar在30多年前提出的最简单的案例，也仍然悬而未决;理解这个案例是必要的初步步骤。这种情况下，几乎可以肯定的是解决计算的有理同伦理论，一个新的使用代数拓扑在C*-algebras.This奖项反映了NSF的法定使命，并已被认为是值得的支持，通过评估使用基金会的智力价值和更广泛的影响审查标准。

A C*-algebra is a kind of mathematical object which, for example, appears in quantum mechanics. Simple C*-algebras are those that cannot be broken apart into smaller ("simpler") C*-algebras. The largest part of this project is about when a simple C*-algebra is isomorphic to its opposite algebra, that is, mathematically the same as what might be thought of as its mirror image. For an example from everyday life, an ordinary sock is the same as its mirror image, since a sock which fits on a right foot will fit equally well on the left foot. A glove isn't like that: whatever one does, a right glove will not fit on a left hand. A nonsimple C*-algebra can be made of very elementary parts, but put together in a tricky way, so as to not be isomorphic to its opposite. Simple C*-algebras which are not separable or not nuclear ("too large", but in different senses) can also fail to be isomorphic to their opposites. On the other hand, simple C*-algebras covered by the Elliott classification program are isomorphic to their opposites. A long-term goal of the project is to exhibit a simple separable nuclear C*-algebra which is not isomorphic to its opposite. Such an algebra could not be covered even by any proposed expansion of the Elliott program. The project will also contribute to US workforce development through the training of graduate and undergraduate students.The intended example is a simple unital AH algebra with fast dimension growth. The intended proof that it is not isomorphic to its opposite depends on nonexistence theorems for certain homomorphisms from one matrix algebra over the algebra of continuous functions on a compact space to a different matrix algebra over the continuous functions on a different compact space. When the second matrix size is large enough, all homomorphisms not ruled out for fairly obvious reasons actually exist. When it is small, known obstructions rule out most homomorphisms. The application requires information about an intermediate range. Here, even the simplest case, asked by Blackadar over 30 years ago, remains open; understanding this case is a necessary preliminary step. This case can almost certainly be settled by computations in rational homotopy theory, a new use of algebraic topology in C*-algebras.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.