[论文解读] C*-bundle dynamical systems

Rachel A. D. Martins|arXiv (Cornell University)|Feb 5, 2014

Advanced Operator Algebra Research参考文献 21被引用 3

一句话总结

本文引入C*-丛动力系统作为研究Fell丛中C*-子代数的框架，将C*-丛的空间自同构与基流形上的1-参数微分同胚群联系起来。它构建了一个与群丛2-上循环等价的嵌入不变量，并以类似于配分函数的形式呈现，提供了一种类量子引力与非交换几何的新型代数结构。

ABSTRACT

C*-bundle dynamical systems are introduced and their rôle within the theory of C*-subalgebras and Fell bundles is investigated. A C*-bundle dynamical system involves an action of a 1-parameter group of "spatial automorphisms" of the C*-bundle together with a notion of covariance with respect to the diffeomorphisms of the base manifold, and turns out to define a class of examples of Arveson's $A$-dynamical systems. An embedding invariant for non-commutative C*-subalgebras (equivalent to a groupoid 2-cocycle by construction) emerges and has presentation analogous to a partition function towards a potential algebraic formulation of quantum gravity.

研究动机与目标

• 开发一种C*-丛的动力系统框架，以捕捉空间自同构与基流形微分同胚。
• 通过一种新颖的不变量，表征非交换C*-子代数在更大C*-代数中的嵌入。
• 建立C*-丛动力系统、Fell丛与Arveson的A-动力系统之间的联系。
• 探索在量子引力、代数量子场论与谱几何中的物理应用。
• 通过动力系统在主群丛Fell丛与对角C*-子代数结构之间建立桥梁。

提出的方法

• 通过作用于局部紧致基空间上的C*-丛的1-参数空间自同构群，引入C*-丛动力系统。
• 定义对基流形微分同胚的协变性，将动力系统与几何流联系起来。
• 构建一个嵌入不变量Φ→，作为由Fell丛结构导出的投影与等距算子的有限线性组合。
• 证明Φ→等价于群丛2-上循环ω: G_ep × G_ep → ⊕i=1^n ℂ，为子代数嵌入提供上同调表征。
• 利用希尔伯特空间L²(E)定义一个忠实的条件期望P: B → A，当存在唯一概率测度时，P(b) = ∫αg(b)dx。
• 将动力系统与群丛的酉表示以及Kumjian对C*-子代数嵌入的正规化子联系起来。

实验结果

研究问题

• RQ1 如何定义C*-丛动力系统，以同时包含空间自同构与基流形微分同胚？
• RQ2 在Fell丛背景下，嵌入不变量Φ→与群丛2-上循环ω之间的确切关系为何？
• RQ3 Φ→在何种意义上类似于配分函数？这如何暗示量子引力的代数表述？
• RQ4 C*-丛动力系统如何作为Fell丛(E,π,G)与具有对角子代数A的Cartan对(A,B)之间的包络结构？
• RQ5 该框架对代数量子场论中的庞加莱协变性以及谱三元组中狄拉克算子有何影响？

主要发现

• 嵌入不变量Φ→被构造为与Fell丛结构相关的投影与等距算子的有限组合之和，具体为Φ→ = {∑Y px u(p_x,p_y) py | px,py ∈ Y ⊂ {e_xy, e_xy e_xy*} ≅ G_ep }
• 证明Φ→等价于群丛2-上循环ω: G_ep × G_ep → ⊕i=1^n ℂ，为C*-子代数嵌入提供上同调分类。
• 当E⁰为局部平凡的巴拿赫丛时，纯态空间存在唯一概率测度，确保条件期望P: B → A唯一，且P(b) = ∫αg(b)dx。
• 在有限维情形下，条件期望简化为P(b) = ∑i p_i b p_i，且P与限制映射C*(E) → C*(E⁰)一致。
• 该系统实现了一个等价于Arveson的A-动力系统的C*-动力系统，其1-参数自同构群从基流形的微分同胚提升而来。
• 该构造在本质上主群丛上的Fell丛与对角C*-子代数之间建立了桥梁，当群丛为主群丛时，A = C*(E⁰)是B = C*(E)中的C*-对角。