Strict Quantization, Elliptic Operators, and E-Theory

本项目旨在研究和深化Alain Connes和奈杰尔Higson的算子代数E-理论、流形上椭圆微分算子的指数理论和量子物理之间的关系。首先，我们将研究（正）渐近态射（形成E-理论中的基本循环）和“渐近”投影值测度之间的对应关系。这将有助于理解E理论群作为严格（物理）量子化方案不变量的容器的基本用途。这也应该给出新的公式，用于将渐近态射写为算子值积分，以及用于计算K-同调和K-理论之间的配对，例如，在计算耦合到规范连接的狄拉克型算子的指数。第二部分涉及扩展Erik Guentner的工作，使用E-理论群来理解椭圆微分算子和严格量子化方案之间的关系，例如，Kahler流形上的Dolbeault算子（E-理论元素）与相应Bergmann-Fock空间上的Berezin-Toeplitz量子化之间的关系。 第三部分是一个长期计划，旨在发展一种与星星产物的形式代数（非物理）形变量子化中的上同调分类平行的严格量子化方案的E-理论分类方法，目的是更深入地研究量子物理与菲尔兹奖得主Alain Connes和奈杰尔Higson的算子代数E-理论之间的关系。这一数学理论将分类群与算子代数对联系起来。群元素由两个算子代数之间的称为渐近态射的对象确定。与量子理论的关系如下。在量子理论中，不同类型的结构被用来模拟亚原子和原子系统，例如，在量子场论中耦合到规范场的狄拉克算子，以及在操作量子物理和量子计算中的算子值测度等，在适当的条件下，这些结构具有与它们相关的渐近态射（分别在经典观测量和量子观测量的代数之间）。因此，它们定义了E-理论群中的元素。通过充分理解这种对应关系，我们想表明，计算这些E理论不变量提供了一个自然的过程，分类，并定义障碍，不同类型的量子力学系统。

AbstractTroutThis project is designed to investigate and deepen the relationship between the operator algebraic E-theory of Alain Connes and Nigel Higson, the index theory of elliptic differential operators on manifolds, and quantum physics. First, we will investigate the correspondence between (positive) asymptotic morphisms (which form the basic cycles in E-theory) and "asymptotic" projection-valued measures. This will help to understand the fundamental use of E-theory groups as receptacles for invariants of strict (physical) quantization schemes. This should also give novel formulas for writing asymptotic morphisms as operator-valued integrals, and for computing the pairing between K-homology and K-theory, e.g., in computing the index of a Dirac type operator coupled to a gauge connection. The second part deals with extending the work of Erik Guentner in using E-theory groups to understand the relationship between elliptic differential operators and strict quantization schemes, e.g., the relationship between the (E-theory elements of) the Dolbeault operator on a Kahler manifold and the Berezin-Toeplitz quantization on the associated Bergmann-Fock space. The third part is a long-term project to develop an E-theoretic classification method for strict quantization schemes that parallels the cohomological classification in the formally algebraic (nonphysical) deformation quantization of star products.The purpose of this project is to more thoroughly investigate the relationship between quantum physics and the operator algebraic E-theory of the Fields medalist Alain Connes and Nigel Higson. This mathematical theory associates classifying groups to pairs of operator algebras. Group elements are determined by objects called asymptotic morphisms between the two operator algebras. The relationship to quantum theory is as follows. Different types of structures are used in quantum theory to model subatomic and atomic systems, for example, Dirac operators coupled to a gauge field in quantum field theory, and operator-valued measures in operational quantum physics and quantum computing, etc. Under appropriate conditions, these structures have asymptotic morphisms associated to them (between the algebras of the classical observables and quantum observables, respectively). Hence, they define elements in an E-theory group. By fully understanding this correspondence, we want to show that computing these E-theory invariants provides a natural procedure for classifying, and defining obstructions for, diverse types of quantum-mechanical systems.