[论文解读] Decomposition of phase space and classification of Heisenberg groups

Amritanshu Prasad, M. K. Vemuri|ArXiv.org|Jun 25, 2008

Advanced Algebra and Geometry参考文献 3被引用 5

一句话总结

本文证明，对于一大类局部紧阿贝尔群——包括李群、阿代尔和局部域——由相空间上的非退化交替双特征标所构造的任何海森堡群，都同构于由相空间及其庞特里亚金对偶构建的标准海森堡群。关键结果是：相空间群的同构类完全决定了海森堡群的同构类，从而为这些情形提供了完整的分类。

ABSTRACT

Is every locally compact abelian group which admits a Heisenberg central extension isomorphic to the product of a locally compact abelian group and its Pontryagin dual? An affirmative answer is obtained for all the commonly occurring types of abelian groups having Heisenberg central extensions, including Lie groups and certain finite Cartesian products of local fields and adeles. Furthermore, for these types of groups, it is found that the isomorphism class of the abelian group determines the Heisenberg group up to isomorphism, thereby providing a classification of such Heisenberg groups.

研究动机与目标

• 确定每个允许海森堡中心扩张的局部紧阿贝尔群是否同构于一个群与其庞特里亚金对偶的直积。
• 研究相空间群的同构类是否足以确定相关海森堡群的同构类。
• 对局部紧阿贝尔群的特定类（包括李群、阿代尔和特征为零或p的局部域）进行海森堡群的分类。
• 建立这些类中相空间到位置空间与动量空间的典范分解。
• 解决当相空间具有素数指数或为可除且无挠时海森堡群的结构问题。

提出的方法

• 将海森堡群定义为局部紧阿贝尔群 $ K $ 对 $ U(1) $ 的中心扩张，其交换子形式 $ e: K \times K \to U(1) $ 为非退化且交替的。
• 应用庞特里亚金对偶理论，将 $ K $ 与其对偶 $ \tilde{K} $ 关联，并定义映射 $ e^\flat: K \to \tilde{K} $，该映射必须是同构，群才是海森堡群。
• 运用局部紧阿贝尔群的结构定理，特别是将 $ K $ 分解为实、阿代尔、$ p $-进及离散/紧致部分。
• 将分类问题简化为分析 $ e^\flat $ 的矩阵形式，通过拓扑和代数约束（如连续性和离散性）实现其分块对角化。
• 利用有限维向量空间上非退化交替形式在 $ \bbQ_p $ 或 $ \bbR $ 上的等价性，即在自同构下等价于标准辛形式。
• 应用布拉孔尼耶定理将素数指数群分解为紧致与离散部分，从而将其约化为 $ \bbZ/p\bbZ $ 上的有限维向量空间。

实验结果

研究问题

• RQ1 每个具有海森堡中心扩张的局部紧阿贝尔群是否可分解为一个群与其庞特里亚金对偶的直积？
• RQ2 在哪些类别的局部紧阿贝尔群中，相空间群的同构类足以确定海森堡群的同构类？
• RQ3 对于李群和阿代尔群，海森堡群的相空间是否可 canonically 分解为位置空间与动量空间？
• RQ4 当相空间具有素数指数 $ p $ 时，海森堡群的结构如何？这如何影响其分类？
• RQ5 在局部紧阿贝尔群上存在非退化交替双特征标在多大程度上意味着相关海森堡群同构于标准海森堡群？

主要发现

• 对于具有有限个连通分支的李群类局部紧阿贝尔群，海森堡群的同构类与阿贝尔李群的同构类之间存在自然的双射关系。
• 当相空间为可除且无挠时（例如特征为零的局部域或数域阿代尔的有限直积），海森堡群同构于标准海森堡群，且其同构类由相空间群完全决定。
• 对于具有素数指数 $ p $ 的相空间，海森堡群同构于由 $ p $ 阶循环群直积构建的标准海森堡群，且分类问题约化为群的秩。
• 所有这些类中，相空间均可分解为位置空间与动量空间，且标准海森堡群构造可捕捉所有此类海森堡群的同构类。
• 该分类是完备的：在这些情形下，相空间群的同构类完全决定了海森堡群的同构类。
• 证明依赖于将交换子形式 $ e^\flat $ 的结构约化为分块对角矩阵，其中每个块对应一个拓扑分量（实、阿代尔、$ p $-进等），且每个块在自同构下等价于标准辛形式。