[论文解读] Exotic smooth R^4, noncommutative algebras and quantization

Torsten Aßelmeyer-Maluga, Jerzy Król|arXiv (Cornell University)|Jan 6, 2010

Advanced Operator Algebra Research参考文献 27被引用 11

一句话总结

本文建立了小R⁴上的奇异微分结构与非交换算子代数之间的深刻联系，表明某些奇异R⁴通过叶状结构理论与循环上同调，可导出唯一的超有限因子II₁冯诺依曼代数。此外，本文进一步证明，对曲面上环路泊松代数的德林费尔德-图罗夫形变量子化可导出辫代数，该代数与II₁因子莫里塔等价，从而将奇异微分性与四维时空中的量子理论联系起来。

ABSTRACT

The paper shows deep connections between exotic smoothings of small R^4, noncommutative algebras of foliations and quantization. At first, based on the close relation of foliations and noncommutative C*-algebras we show that cyclic cohomology invariants characterize some small exotic R^4. Certain exotic smooth R^4's define a generalized embedding into a space which is K-theoretic equivalent to a noncommutative Banach algebra. Furthermore, we show that a factor III von Neumann algebra is naturally related with nonstandard smoothing of a small R^4 and conjecture that this factor is the unique hyperfinite factor III_1. We also show how an exotic smoothing of a small R^4 is related to the Drinfeld-Turaev (deformation) quantization of the Poisson algebra (X(S,SL(2,C),{,}) of complex functions on the space of flat connections X(S,SL(2,C) over a surface S, and that the result of this quantization is the skein algebra (K_t(S),[,]) for the deformation parameter t=exp(h/4). This skein algebra is retrieved as a II_1 factor of horocycle flows which is Morita equivalent to the II_infty factor von Neumann algebra which in turn determines the unique factor III_1 as crossed product. Moreover, the structure of Casson handles determine the factor II_1 algebra too. Thus, the quantization of the Poisson algebra of closed circles in a leaf of the codimension 1 foliation of S^3 gives rise to the factor III_1 associated with exotic smoothness of R^4. Finally, the approach to quantization via exotic 4-smoothness is considered as a fundamental question in dimension 4 and compared with the topos approach to quantum theories.

研究动机与目标

• 建立奇异微分R⁴与非交换算子代数之间的几何与代数桥梁。
• 证明特定奇异R⁴结构可诱导C(S³)的K-理论形变，进入非交换巴拿赫代数。
• 证明因子III₁冯诺依曼代数可通过叶状结构与单值群丛构造自然地从R⁴的奇异微分化中导出。
• 将奇异微分性与曲面上泊松代数的形变量子化联系起来，导出辫代数。
• 探讨奇异微分性在量子理论中的基础作用，并与拓扑斯理论方法进行比较。

提出的方法

• 利用S³（Akbulut软木的边界）上的余维1叶状结构来建模R⁴中的奇异微分性，借助托尔斯顿通过双曲多边形的构造方法。
• 应用循环上同调与K-理论不变量来表征奇异R⁴，表明戈德比永-韦类可检测与面积不变量相关的非cobordant叶状结构。
• 从叶状结构构造光滑单值群丛，并推导其C*-代数，证明其与II₁因子莫里塔等价。
• 对曲面上环路的泊松代数应用德林费尔德-图罗夫量子化，形变参数为t = exp(h/4)，导出辫代数。
• 利用Casson手柄的结构重构II₁因子代数，将拓扑4-流形结构与算子代数联系起来。
• 将II₁因子表示为交叉积II∞ ⋊θ ℝ₊*，证明奇异R⁴自然导出唯一的超有限II₁因子。

实验结果

研究问题

• RQ1 小R⁴上的奇异微分结构如何与非交换C*-代数及K-理论相关联？
• RQ2 S³上余维1叶状结构的戈德比永-韦类能否检测R⁴中的奇异微分性？
• RQ3 对曲面环路泊松代数的德林费尔德-图罗夫量子化是否导出与II₁因子同构的辫代数？
• RQ4 因子III₁冯诺依曼代数是否通过叶状结构与单值群丛构造唯一地与奇异微分R⁴相关联？
• RQ5 四维时空中奇异微分性与量子理论的拓扑斯理论方法相比有何异同？

主要发现

• 奇异R⁴诱导了C(S³)的K-理论形变，其中C(S³)的交换代数的K-理论被形变为非交换巴拿赫代数的K-理论。
• S³上叶状结构的戈德比永-韦类（依赖于双曲多边形的面积）作为拓扑不变量，可检测与奇异微分性相关的非cobordant叶状结构。
• S³上余维1叶状结构的光滑单值群丛导出C*-代数，该代数与II₁因子莫里塔等价，且被识别为唯一的超有限II₁因子。
• 对曲面S的泊松代数(X(S,SL(2,C)), {,})应用德林费尔德-图罗夫形变量子化，得到形变代数(K_t(S), [,])，其中t = exp(h/4)，该代数与II₁因子代数同构。
• Akbulut软木构造中Casson手柄的结构直接决定了II₁因子代数，将拓扑4-流形结构与算子代数联系起来。
• II₁因子被实现为交叉积II∞ ⋊θ ℝ₊*，证实奇异微分R⁴自然导出唯一的超有限因子III₁。