[论文解读] Central extensions of the Heisenberg algebra

Luigi Accardi, Andreas Boukas|ArXiv.org|Oct 19, 2008

Advanced Topics in Algebra参考文献 5被引用 3

一句话总结

本文构建并分析了海森堡代数的一个非平凡中心扩张，记为 $CEHeis$，其构成一个可解的四维 $*$-李代数。证明了 $CEHeis$ 的实形式属于十五类已分类的实四维可解李代数中的 $ \eta_4$，将其实现为薛定谔代数的子代数，并通过指数化得到一个非线性（二次）的群律，从而实现显式的酉表示。

ABSTRACT

We study the non-trivial central extensions $CEHeis$ of the Heisenberg algebra $Heis$ recently constructed in {AccBouCE}. We prove that a real form of $CEHeis$ is one the fifteen classified real four--dimensional solvable Lie algebras. We also show that $CEHeis$ can be realized (i) as a sub--Lie--algebra of the Schroedinger algebra and (ii) in terms of two independent copies of the canonical commutation relations (CCR). This gives a natural family of unitary representations of $CEHeis$ and allows an explicit determination of the associated group by exponentiation. In contrast with $Heis$, the group law for $CEHeis$ is given by nonlinear (quadratic) functions of the coordinates.

研究动机与目标

• 通过 2-上循环构造并分类海森堡代数 $Heis$ 的非平凡中心扩张。
• 在四维实可解李代数的分类中识别中心扩张代数 $CEHeis$ 的实形式。
• 将 $CEHeis$ 实现为薛定谔代数的子代数，并以两个独立的对易关系（CCR）形式表示。
• 通过李代数的指数化推导关联的中心扩张海森堡群的群律。
• 利用代数结构与群律构造 $CEHeis$ 的自然酉表示族。

提出的方法

• 通过参数为 $\lambda \in \mathbb{R}$ 和 $z \in \mathbb{C} \setminus \{0\}$ 的 2-上循环 $\phi$ 定义中心扩张 $CEHeis$，得到包含中心元 $E$ 的非平凡对易关系。
• 通过生成元的实分解构造 $CEHeis$ 的实形式：$p = \frac{1}{2}(a + a^\dagger)$，$q = \frac{i}{2}(a^\dagger - a)$，$H = -i h / 2$，其中 $E$ 自伴，$H$ 反自伴。
• 通过识别结构常数 $b = \mathrm{Im}(z)/2$，$c = \mathrm{Re}(z)/2$，将该代数与四维实可解李代数分类中的 $\eta_4$ 代数匹配。
• 通过 Baker–Campbell–Hausdorff 公式推导群律，得到群参数 $u,v,w,y \in \mathbb{C}$ 下的非线性（二次）复合律。
• 通过将 $CEHeis$ 实现为薛定谔代数的子代数以及通过两个独立的 CCR 实现，构造酉表示。
• 显式计算群律为 $g(\alpha,\beta,\gamma,\delta)g(A,B,C,D) = g(\alpha+A, \beta+B+\gamma A, \gamma+C, \cdots)$，其中中心 $E$ 分量包含二次校正项。

实验结果

研究问题

• RQ1 中心扩张海森堡代数 $CEHeis$ 属于哪一类四维实可解李代数同构类？
• RQ2 $CEHeis$ 能否被实现为薛定谔代数的子代数？
• RQ3 如何通过两个独立的对易关系（CCR）构造 $CEHeis$？
• RQ4 中心扩张海森堡群的显式群律是什么？它与标准海森堡群有何不同？
• RQ5 由其代数实现所导出的 $CEHeis$ 的酉表示结构是怎样的？

主要发现

• $CEHeis$ 的实形式同构于李代数 $\eta_4$，即十五类已分类的实四维可解李代数中的一种。
• $CEHeis$ 通过生成元 $a, a^\dagger, h, E$ 满足扩展对易关系，被实现为薛定谔代数的子代数。
• 该代数可通过两个独立的 CCR 实现，从而实现自然的酉表示族。
• 中心扩张海森堡群的群律是非线性的，其中心分量包含群参数的二次项：$\left(\frac{\gamma A^2}{2} + \beta A\right)z + \left(\frac{\gamma^2 A}{2} + \gamma B\right)\bar{z}$。
• 群律通过 Baker–Campbell–Hausdorff 公式推导，并经由对易关系与指数恒等式的连续应用验证。
• 群在复合律 $g(\alpha,\beta,\gamma,\delta)g(A,B,C,D) = g(\alpha+A, \beta+B+\gamma A, \gamma+C, \cdots)$ 下封闭，其中心项由参数的二次表达式校正。