[论文解读] Complete Positivity of Rieffel's Deformation Quantization by Actions of $\mathbb{R}^d$

Daniel Kaschek, Nikolai Neumaier+1 more|ArXiv.org|Sep 12, 2008

Advanced Topics in Algebra参考文献 19被引用 6

一句话总结

本文通过使用高斯函数构造显式的卷积算子，证明了基于 Rieffel 的 $\mathbb{R}^d$-作用的形变量子化在形变过程中保持了态的完全正定性。它证明了每个在未形变的 $C^*$-代数上的态都会形变为形变代数上一个连续的态场，其渐近行为与形式形变量子化一致，从而在严格、非微扰的框架下实现了态形变的显式实现。

ABSTRACT

In this paper we consider C*-algebraic deformations a la Rieffel and show that every state of the undeformed algebra can be deformed into a state of the deformed algebra in the sense of a continuous field of states. The construction is explicit and involves a convolution operator with a particular Gauss function.

研究动机与目标

• 为解决 Rieffel 的严格形变量子化在物理上的完备性问题，通过将框架扩展至包含态来实现。
• 证明每个在未形变的 $C^*$-代数上的态都能提升为形变代数上关于 $\hbar$ 参数化的连续态场。
• 提供一种显式、构造性的方法，利用高斯函数卷积算子 $S_\hbar$ 来形变态。
• 证明当 $\hbar \to 0^+$ 时，形变态的渐近展开与文献 [6] 中的形式形变量子化结果一致。
• 在严格的 $C^*$-代数框架下建立形变过程的完全正定性，推广了早期的形式结果。

提出的方法

• 将算子 $S_\hbar$ 定义为在 Fréchet 代数 $\mathcal{A}^\infty$ 上的光滑向量上与归一化的高斯函数 $G_\hbar(u)$ 进行卷积。
• 通过 $\mathbb{R}^d$ 的作用 $\alpha_u$ 定义 $S_\hbar a(\hbar) = \int G_\hbar(u) \alpha_u(a(\hbar)) \, du$，并将其延拓至 $C^*$-完备化。
• 证明 $S_\hbar$ 将形变代数中的正元素映射到未形变代数中的正元素，从而确保诱导泛函 $\omega_\hbar = \omega \circ S_\hbar$ 的正定性。
• 建立 $\hbar \mapsto S_\hbar a(\hbar)$ 在 $C^*$-范数下的连续性，确保 $\omega_\hbar(a(\hbar))$ 构成一个连续的态场。
• 通过分析 $S_\hbar$ 在 $\hbar \to 0^+$ 时的渐近行为，证明其展开与 [6] 中的形式幂级数一致。
• 利用连续 $C^*$-代数场的结构，证明 $\{\omega_\hbar\}_{\hbar \geq 0}$ 构成一个连续场，且 $\omega_0 = \omega$。

实验结果

研究问题

• RQ1 每个在未形变的 $C^*$-代数上的态是否都能被提升为 Rieffel 形变代数上的连续态场？
• RQ2 在严格的 $C^*$-代数框架下，态的形变过程是否保持完全正定性？
• RQ3 当 $\hbar \to 0^+$ 时，形变态的渐近行为与形式形变量子化相比如何？
• RQ4 以高斯函数为核的卷积算子 $S_\hbar$ 是否在 $C^*$-拓扑下连续，且可延拓至完备化？
• RQ5 是否能通过群作用与高斯核显式构造态的形变，同时保证正定性与连续性？

主要发现

• 每个在未形变的 $C^*$-代数 $\mathfrak{A}$ 上的态 $\omega$ 都会诱导出形变代数 $\mathfrak{A}(\hbar)$ 上一个连续的态场 $\omega_\hbar$，且满足 $\omega_0 = \omega$。
• 形变映射 $S_\hbar$ 通过与归一化的高斯核 $G_\hbar$ 进行卷积显式构造，确保了正定性与连续性。
• $S_\hbar$ 在 $\hbar \to 0^+$ 时的渐近展开精确匹配文献 [6] 中的形式形变量子化结果，确认了与形式方法的一致性。
• $S_\hbar$ 在 $C^*$-范数下是连续的，并可延拓至形变代数的 $C^*$-完备化，确保了该构造在严格框架下的有效性。
• 形变过程是完全正定的，通过将其构造延拓至矩阵代数 $M_n(\mathfrak{A})$ 得到验证，其中 $\mathfrak{A}(\hbar)$ 映射到 $M_n(\mathfrak{A}(\hbar))$。
• 对每个连续截面 $a \in \Gamma$，映射 $\hbar \mapsto \omega(S_\hbar(a(\hbar)))$ 是连续的，证明了 $\{\omega_\hbar\}_{\hbar \geq 0}$ 构成一个连续的态场。