Quantum Mechanics on Lie Groups: I. Noncommutative Fourier Transforms

技术摘要：李群上的量子力学 I：非交换傅里叶变换

问题陈述
本文旨在解决建立李群 $G$ 上量子力学通用框架的基础性挑战，其中构型空间是一个李群（尽管当前工作假设为有限维，但可能涉及无限维）。虽然这些空间上的经典动力学可以由李-泊松（Lie-Poisson）或 Euler-Arnold 方程很好地描述，但其量子化过程仍然十分微妙。一个主要障碍是从“位置空间”（李群流形 $G$）向“动量空间”的过渡。由于群结构的存在，李群对应的动量空间是非交换的，这与标准 $\mathbb{R}^n$ 的情况不同。

目前存在两种竞争性的动量空间定义：

1. 离散/表示论视角： 基于 Peter-Weyl 定理，其中动量空间是不可约表示的集合（对于紧李群是离散的）。这对于傅里叶级数是自然的，但对于需要连续相空间坐标的 Wigner 函数和路径积分而言并不适用。
2. 连续/几何视角： 李代数的对偶 $\mathfrak{g}^*$。这提供了一个连续相空间 $T^*G \cong G \times \mathfrak{g}^*$，对于半经典极限和路径积分至关重要，但由于动量的非交换性，使得傅里叶变换的定义变得复杂。

本文侧重于第二种方法，旨在构建一个幺正且可逆的傅里叶变换，将 $G$ 上的平方可积波函数映射到 $\mathfrak{g}^*$ 上的波函数，同时严格处理动量的非交换性和来自紧子群的拓扑复杂性。

方法论
作者通过以下步骤构建该框架：

1. 算符代数构建： 从相空间的辛结构 $T^*G$ 出发，他们定义了一个动量不交换的泊松括号 $\{p_i, p_j\} = -c_{ij}^k p_k$。他们通过将坐标和动量提升为算符来量子化该代数，并采用了对称排序规则（symmetric ordering prescription）处理动量乘积。这种选择确保了动量算符的指数直接映射为指数算符，满足 Baker-Campbell-Hausdorff (BCH) 关系：$e^{-i\langle \hat{p}, X \rangle} e^{-i\langle \hat{p}, Y \rangle} = e^{-i\langle \hat{p}, B(X,Y) \rangle}$。

2. 处理紧子群与商空间： 对于具有紧子群的群，指数映射不是单射的，这是一个关键的技术障碍。使李代数元素指数化后等于单位元的集合 $I = \{X \in \mathfrak{g} \mid \exp(X) = e\}$ 是非平凡的。

   • 作者定义了一个“大”位置表示在 $L^2(\mathfrak{g})$ 上，以及一个配备了星积（具体为 Gutt 星积）的非交换希尔伯特空间 $L^2_\star(\mathfrak{g}^*)$ 上的“大”动量表示。
   • 他们确定物理希尔伯特空间 $L^2(G)$ 对应于在 $I$ 作用下保持不变的函数子空间。他们引入了一个投影算符 $\hat{P}_I$ 来强制执行这种不变性，并仔细处理了类似于傅里叶变换在 $\mathbb{R}$ 与傅里叶级数在 $S^1$ 之间关系中出现的无限归一化因子（$|I| \to \infty$）问题。

3. 非交换傅里叶变换： 他们定义了一个在“大”位置表示与动量表示之间的幺正交织算符 $\mathcal{F}$。该变换的核是标准的平面波 $E(X, p) = e^{-i\langle p, X \rangle}$，但积分测度包含了 Haar 测度的雅可比行列式 $J(X)$。

   • 该变换将 $L^2(\mathfrak{g})$ 映射到 $L^2_\star(\mathfrak{g}^*)$。
   • 通过投影到 $I$ 不变子空间，他们导出了非交换傅里叶系数（将 $L^2(G)$ 映射到 $L^2_\star(\mathfrak{g}^*)$ 的一个子空间）和傅里叶级数（逆映射）。

4. 星积与卷积： 动量空间中函数的乘法由星积支配。作者证明了位置空间中的卷积对应于动量空间中的星积，反之亦然，从而建立了非交换的卷积定理。

核心贡献与结果

• 希尔伯特空间的等距性： 本文证明了非交换傅里叶系数和级数在希尔伯特空间 $L^2(G)$ 与 $I$ 不变且星平方可积函数空间 $\hat{P}_I \cdot L^2_\star(\mathfrak{g}^*)$ 之间提供了等距映射。这解决了先前关于非阿贝尔群动量空间标量积良定性的歧义。
• 非交换泊松求和公式： 作者为任何紧李群推导出了广义的泊松求和公式。该公式将一个函数在单位元对数（在李代数中）的离散格点上的求和，与涉及傅里叶变换及由雅可比行列式导出的特定微分算符的对偶空间积分联系起来。
  • 对于 $G=U(1)$，它恢复了标准的泊松求和公式。
  • 对于 $G=SU(2)$，他们推导出了一个涉及$\mathbb{R}^3$ 中仿射平面积分的新公式，反映了群的非阿贝尔性质。
• Kirillov 特征公式： 该形式化应用于不可约表示的特征（characters）。作者表明，特征的非交换傅里叶变换定位于相应的共伴轨道（coadjoint orbit）上。具体而言，对于 $SU(2)$，自旋为$\lambda$的特征的变换在$\mathfrak{su}(2)^*$中半径为$2\lambda + 1$ 的球面上支撑。
• Duflo 排序： 在第 6 节中，作者探索了一种使用 Duflo 映射的替代量子化方案。他们展示了虽然对称排序会导致特征的“模糊”定域化（即在一条轨道族上积分），但 Duflo 排序产生的傅里叶系数严格定位于单个共伴轨道上，直接重现了 Kirillov 特征公式。此外，Duflo 排序的变换自然地导出了类函数（class functions）的 Parseval-Plancherel 恒等式。

意义与主张
本文声称为计算李群流形上量子系统的 Wigner 函数和路径积分提供了必要的“初步”框架。作者强调，他们的构建与圈量子引力（如 [23–25]）中的先前方法不同之处在于：

1. 独立于傅里叶变换定义动量空间波函数，然后证明该变换是等距的，而不是将该空间定义为变换的像。
2. 通过投影算符仔细处理由紧子群引起的商空间问题，确保了标量积和算符作用在不依赖于定义不明的等价类的情况下是良定的。
3. 严格推导了非阿贝尔泊松求和公式，并将其识别为处理 $G$ 的拓扑结构（特别是混合传播子 $\langle p_f | e^{-iHt} | g_i \rangle$）的关键工具。

这项工作被呈现为一种数学基础，旨在为物理学家架起连接表示论方法（Peter-Weyl）与几何方法（相空间路径积分）之间的桥梁。作者明确指出，预期结果将推广到无限维李-弗雷歇（Lie-Fréchet）群，尽管目前的文本尚未对此进行严格证明。