[論文レビュー] 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

ひとこと要約

本稿では、Lie群、アーデーレや0次またはp次特徴を持つ局所コンパクトなアーベル群を含む広範なクラスについて、位相空間上の非退化な交代的二重乗法的関数から得られる任意のハイゼンベルク群が、位相空間とそのポントリャーギン双対から構成される標準的ハイゼンベルク群と同型であることを確立している。主な結果は、位相空間群の同型類が、それに対応するハイゼンベルク群の同型類を完全に決定することであり、これらの状況において完全な分類が得られることを示している。

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.

研究の動機と目的

• 任意のハイゼンベルク中心拡大を持つ局所コンパクトアーベル群が、そのポントリャーギン双対と積の形に分解可能かどうかを特定すること。
• 位相空間群の同型類が、それに対応するハイゼンベルク群の同型類を同型の意味で完全に決定するかどうかを調査すること。
• Lie群、アーデーレ、0次またはp次特徴を持つ局所体のクラスを含む、特定のクラスの局所コンパクトアーベル群についてハイゼンベルク群を分類すること。
• これらのクラスに対して、位相空間を位置と運動量空間に自然に分解する方法を確立すること。
• 位相空間の素数指数を示す場合や、可除的かつ torsion-free である場合のハイゼンベルク群の構造を解明すること。

提案手法

• ハイゼンベルク群を、局所コンパクトアーベル群 $ 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 Lie群やアーデーリック群に対して、ハイゼンベルク群の位相空間を自然に位置空間と運動量空間に分解可能か？
• RQ4 位相空間の素数指数 $ p $ を示す場合、ハイゼンベルク群の構造はどのようになるか？また、分類にどのような影響を与えるか？
• RQ5 局所コンパクトアーベル群に非退化な交代的二重乗法的関数が存在する場合、それに対応するハイゼンベルク群が標準的ハイゼンベルク群と同型であることを示唆する程度はどの程度か？

主な発見

• 有限個の連結成分を持つLie群である局所コンパクトアーベル群に対しては、ハイゼンベルク群の同型類がアーベルLie群の同型類と自然な双対全単射対応を持つ。
• 位相空間が可除的かつ torsion-free である場合（例えば、0次特徴の局所体や数体のアーデーレの有限個の直積）、ハイゼンベルク群は標準的ハイゼンベルク群と同型であり、その同型類は位相空間群によって完全に決定される。
• 位相空間の素数指数 $ p $ の場合、ハイゼンベルク群は位数 $ p $ の巡回群の直積から構成される標準的ハイゼンベルク群と同型であり、分類は群のランクに還元される。
• これらのクラスすべてにおいて、位相空間を位置空間と運動量空間に分解可能であり、標準的ハイゼンベルク群の構成法が、すべての同型類のハイゼンベルク群を網羅する。
• 同型類の位相空間群がこれらの状況でハイゼンベルク群の同型類を完全に決定するという意味で、分類は完全である。
• 証明は、交換子形式 $ e^\flat $ の構造を、各ブロックが位相的成分（実、アーデーリック、$ p $-進など）に対応するブロック対角行列に還元し、各ブロックが自己同型の下で標準的シンプレクティック形式と同値であることを根拠としている。