Classification of amenable C*-algebras and applications

这个建议是通过比较两个C*-代数的K-理论数据来研究它们何时同构。特别地，它试图利用K-理论数据来确定两个单位可分的简单可服从C*-代数是否同构，它们是近似可除的(或Z-稳定的)且满足泛系数定理。通过研究极小动力系统的相关变换C*-代数和系统的其它K-理论数据，研究一个密切相关的问题：极小动力系统的K-理论数据是否能确定该最小动力系统的结构。将C*-代数看作非对易拓扑空间，研究C*-代数的(近似)同伦理论，根据Dirac和von Neumann的观点，在微观物理世界中，可以用Hilbert空间上的自伴算子来模拟一个可观测对象。这样的算符系统形成了一个C*-代数。这样的系统具有像复数系统一样的加法和乘法结构。然而，在C*-代数中，乘法可能不是可交换的，这与海森伯格测不准原理相对应。设X是紧度量空间，F是从X到X的变换，假设X是可逆的，且F及其逆都是连续的。对(X，F)构成了相应的变换C*-代数。要研究(X，F)的动力学结构，可以从相关的C*-代数开始。对伴随C~*-代数结构的研究提供了原始动力系统的信息。其中一个例子是X是单位圆，F是该圆上的无理旋转的特例。伴随的C*-代数是一个单位可分的简单服从C*-代数。这种C*-代数也可以由两个酉算子的典型非交换关系构成。它也称为非对易环面。有许多C*-代数来自不同的科学领域，对C*-代数的研究有着广泛的应用。例如，C*-代数可以由某些Hilbert空间上的算子、经典动力系统、非交换几何、群表示或许多其他研究，如量子化来形成。对一类C*-代数进行分类，就是用一些可计算的数据来完全确定这类C*-代数及其结构，在这个过程中，人们还可以了解Hilbert空间、动力系统、非对易几何、群表示上的相关算子，进而为科学世界的其他部分提供应用。

This proposal is to study when two C*-algebras are isomorphic by comparing their K-theoretic data. In particular, it attempts to use the K-theoretic data to determine whether two unital separable simple amenable C*-algebras which are approximately divisible (or Z-stable) and satisfies the Universal Coefficient Theorem are isomorphic. It also proposes to study a closely related problem whether K-theoretic data of a minimal dynamic system could determine the structure of the minimal dynamic system by studying the associated transformation C*-algebra together with other K-theoretic data of the system. Viewing C*-algebras as non-commutative topological spaces, it also proposes to study (approximate) homotopy theory in C*-algebras.In the micro-scopical physical world, an observable may be modeled by a self-adjoint operator on a Hilbert space, according to Dirac and von Neumann. A system of such operators forms a C*-algebra. Such a system has the structure of addition and multiplication like the system of complex numbers. However, in a C*-algebra, multiplication may not be commutative which corresponds to the Heisenberg uncertainty principle. Let X be a compact metric space and F be a transformation from X to X which is assumed to be invertible and both F and its inverse are continuous. The pair (X, F) forms the associated transformation C*-algebra. To study the dynamical structure of (X, F), one may start with the associated C*-algebra. The study of the structure of the associated C*-algebra provides the information of the original dynamical system. One of such examples is the special case that X is the unit circle and F is an irrational rotation on the circle. The associated C*-algebra is a unital separable simple amenable C*-algebra. This C*-algebra can also be formed by a typical non-commutative relation of two unitary operators. It is also known as non-commutative torus. There are many C*-algebras come from different fields of sciences and the study of C*-algebras has variety of applications. For example, C*-algebras may be formed by operators on some Hilbert spaces, by classical dynamic systems, by non-commutative geometry, by group representations, or, by many other studies such as quantization. To classify a class of C*-algebras is to use a few computable data to completely determine C*-algebras in the class and their structure, in the process, one may also understand the related operators on Hilbert spaces, dynamical systems, non-commutative geometry, group representations, and, in turn, these may further provide applications to other parts of the scientific world.