[论文解读] Twisted Lie group $C^*$-algebras as strict quantizations

N.P. Landsman|arXiv (Cornell University)|Jul 24, 1998

Advanced Topics in Algebra参考文献 1被引用 4

一句话总结

本文证明了与紧李群 $G$ 上光滑乘子 $c \in Z^2(G,U(1))$ 相关的扭曲群 C*-代数 $C^*(G,c)$ 构成了一类严格量子化，其对应的经典代数为扭曲李-泊松代数 $C^\infty(\g^*_{(\Gamma)})$，其中约化普朗克常数 $\hbar$ 取值于 $(\mathbb{Z} \setminus \{0\})^{-1}$。关键结果是构造了一个连续的 C*-代数场，将 $\hbar = 0$ 处的经典代数 $C_0(\g^*)$ 与 $\hbar \neq 0$ 处的量子代数 $C^*(G,c)$ 联系起来，且该代数场渐近满足狄拉克条件。

ABSTRACT

A nonzero 2-cocycle $Γ\in Z^2(\g,\R)$ on the Lie algebra $\g$ of a compact Lie group $G$ defines a twisted version of the Lie-Poisson structure on the dual Lie algebra $\g^*$, leading to a Poisson algebra $C^{\infty}(\g_{(Γ)}^*)$. Similarly, a multiplier $c\in Z^2(G,U(1))$ on $G$ which is smooth near the identity defines a twist in the convolution product on $G$, encoded by the twisted group $C^*$-algebra C^*(G,c)$. Further to some superficial yet enlightening analogies between $C^{\infty}(\g^*_{(Γ)})$ and $C^*(G,c)$, it is shown that the latter is a strict quantization of the former, where Planck's constant $\hbar$ assumes values in $(\Z\backslash\{0\})^{-1}$. This means that there exists a continuous field of $C^*$-algebras, indexed by $\hbar\in 0\cup (\Z\backslash\{0\})^{-1}$, for which $\A^0=C_0(\g^*)$ and $\A_{\hbar}=C^*(G,c)$ for $\hbar eq 0$, along with a cross-section of the field satisfying Dirac's condition asymptotically relating the commutator in $\A_{\hbar}$ to the Poisson bracket on $C^{\infty}(\g^*_{(Γ)})$. Note that the `quantization' of $\hbar$ does not occur for $Γ=0$.

研究动机与目标

• 建立扭曲群 C*-代数与对偶李代数上经典扭曲泊松结构之间严谨的联系。
• 证明扭曲群 C*-代数 $C^*(G,c)$ 是泊松代数 $C^\infty(\g^*_{(\Gamma)})$ 的严格量子化。
• 阐明约化普朗克常数 $\hbar$ 在此量子化中的作用，表明其取值为离散的倒数整数。
• 通过群 2-上循环与李代数 2-上循环，将严格量子化的框架扩展至包含非平凡扭结的情形。
• 在具有中心扩张的紧李群背景下，统一几何量子化与算子代数结构。

提出的方法

• 构造一个以 $\hbar \in \{0\} \cup (\mathbb{Z} \setminus \{0\})^{-1}$ 为指标的连续 C*-代数场 $\mathcal{A}_\hbar$，满足 $\mathcal{A}^0 = C_0(\g^*)$，且当 $\hbar \neq 0$ 时 $\mathcal{A}_\hbar = C^*(G,c)$。
• 利用非零 2-上循环 $\Gamma \in Z^2(\g,\mathbb{R})$ 在 $\g^*$ 上定义扭曲的李-泊松结构，从而得到泊松代数 $C^\infty(\g^*_{(\Gamma)})$。
• 利用在单位元附近光滑的乘子 $c \in Z^2(G,U(1))$ 定义 $G$ 上的扭曲卷积积，从而构造扭曲群 C*-代数 $C^*(G,c)$。
• 构造该连续代数场的一个截面，使得在 $\mathcal{A}_\hbar$ 中的交换子在 $\hbar \to 0$ 时渐近再现 $C^\infty(\g^*_{(\Gamma)})$ 上的泊松括号，从而满足狄拉克条件。
• 借助指数映射，建立李代数 2-上循环 $\Gamma$ 与群 2-上循环 $c$ 之间的对应关系，确保经典与量子结构之间的一致性。
• 通过验证代数场的连续性以及交换子在 $\hbar \to 0$ 极限下的渐近行为，确保该量子化为严格量子化。

实验结果

研究问题

• RQ1 扭曲群 C*-代数 $C^*(G,c)$ 是否可被解释为扭曲李-泊松代数 $C^\infty(\g^*_{(\Gamma)})$ 的严格量子化？
• RQ2 约化普朗克常数 $\hbar$ 在此量子化中扮演何种角色，为何其取值为 $(\mathbb{Z} \setminus \{0\})^{-1}$？
• RQ3 在 $\hbar \to 0$ 极限下，$C^*(G,c)$ 中交换子与 $\g^*_{(\Gamma)}$ 上泊松括号之间的渐近关系如何实现？
• RQ4 李代数 2-上循环 $\Gamma$ 与群 2-上循环 $c$ 之间存在何种精确关系，以确保经典与量子结构之间的一致性？
• RQ5 是否存在一个连续的 C*-代数场，能够在经典代数 $C_0(\g^*)$ 与 $\hbar \neq 0$ 时的量子代数 $C^*(G,c)$ 之间实现插值？

主要发现

• 通过以 $\hbar \in \{0\} \cup (\mathbb{Z} \setminus \{0\})^{-1}$ 为指标的连续 C*-代数场，扭曲群 C*-代数 $C^*(G,c)$ 成为扭曲李-泊松代数 $C^\infty(\g^*_{(\Gamma)})$ 的严格量子化。
• 当 $\hbar \to 0$ 时，经典极限恢复为 $C_0(\g^*)$；而当 $\hbar \neq 0$ 时，代数 $\mathcal{A}_\hbar = C^*(G,c)$ 刻画了量子结构。
• 在 $\mathcal{A}_\hbar$ 中，交换子渐近满足狄拉克条件，即当 $\hbar \to 0$ 时，有 $\frac{1}{i\hbar}[a,b]_\hbar \to \{a,b\}_{\Gamma}$，其中 $a,b$ 为 $\g^*$ 上的光滑函数。
• $\hbar$ 的取值被限制为倒数整数，这反映了通过乘子 $c \in Z^2(G,U(1))$ 所体现的扭结的拓扑本质。
• 该构造建立了李代数 2-上循环 $\Gamma$ 与群 2-上循环 $c$ 之间的一致对应关系，确保经典与量子层次之间的兼容性。
• 该量子化是严格的，即 C*-代数场连续，且经典极限定义良好，满足严格量子化的所有公理。