[論文レビュー] Quantum Mechanics On Spaces With Finite Fundamental Group

Domenico Giulini|ArXiv.org|Aug 16, 1995

advanced mathematical theories参考文献 17被引用数 15

ひとこと要約

本稿は、有限な基本群をもつ配置空間上の力学系の量子化のための体系的枠組みを構築し、位相的障害によりユニタリに同値でない量子理論が生じることを示している。普遍被覆上で量子化し、デック変換の代数の可換束に観測量を制限することで、有限な基本群の既約表現によって量子領域を分類し、非アーベル領域が数学的珍念ではなく物理的に重要であることを示している。

ABSTRACT

We consider in general terms dynamical systems with finite-dimensional, non-simply connected configuration-spaces. The fundamental group is assumed to be finite. We analyze in full detail those ambiguities in the quantization procedure that arise from the non-simply connectedness of the classical configuration space. We define the quantum theory on the universal cover but restrict the algebra of observables $Ø$ to the commutant of the algebra generated by deck-transformations. We apply standard superselection principles and construct the corresponding sectors. We emphasize the relevance of all sectors and not just the abelian ones.

研究の動機と目的

• 非単連結な配置空間に有限な基本群をもつ場合に生じる量子化のあいまいさを解消すること。
• 単連結空間上で標準的な量子化手順を適用しても、非単連結空間における位相的効果を完全に説明できないことの証明。
• 普遍被覆とデック変換の対称性を用いて、このような空間上での量子理論を構築する一般枠組みの確立。
• 基本群の非アーベル表現が、物理的に異なるユニタリに非同値な量子領域を生じることの証明。
• 完全な量子記述において、アーベル領域だけでなく非アーベル領域も考慮しなければならないことの示唆。

提案手法

• 配置空間の普遍被覆上で系を量子化し、位相的障害を回避する。この被覆は単連結である。
• デック変換が生成する代数の可換束に観測量の代数を制限することで、被覆群作用における物理的整合性を保証する。
• 有限な基本群の既約ユニタリ表現によって量子領域を分類し、それらが非同値な量子化をラベルづける。
• ウィグナーの公式と群表現論を用いて、特にスピン1/2およびスピン1表現における量子状態の明示的基底を構成する。
• 各領域内で時間反転対称性を定義する。時間反転は基底関数上で複素共役と反線形拡張を用いて定義される。
• 具体的な例（μ=4）における切断されたヒルベルト空間が、[BM]で示された物理的モデル（奇数A核）と明示的な基底一致により一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 配置空間の有限な基本群が、量子化手順におけるあいまいさをどのように引き起こすか？
• RQ2 普遍被覆は、量子力学における位相的あいまいさをどのように解消するか？
• RQ3 なぜ基本群の非アーベル表現が量子系において物理的に重要なのか？
• RQ4 位相的に非自明な空間において、ユニタリに非同値な量子理論を体系的に分類できるか？
• RQ5 この枠組みは、奇数A核における集団的回転モードのような既知の物理的モデルを再現できるか？

主な発見

• 量子理論は普遍被覆上で構築され、観測量はデック変換代数の可換束に制限され、基底空間の位相構造と整合的であることが保証される。
• 非同値な量子化は、有限な基本群の既約ユニタリ表現によって分類され、それぞれの表現が別個の量子領域に対応する。
• 3次元球面（またはその被覆）の場合、2次元表現D⁴は次元9のヒルベルト空間をもたらし、[BM]で示された奇数A核の基底と一致する。
• 時間反転操作は、基底関数上で反線形写像として定義され、T(B^Λ_MN) = (-1)^(Λ+M) B^Λ_-M,N と表され、標準的な量子力学的時間反転と整合的である。
• μ=4の場合の切断ヒルベルト空間は、関数 a₁R^Λ_MN + (-1)^(Λ+N)a₂R^Λ_M,-N（ただし2N ≡ 1 mod 4）の線形包で張られ、[BM]で用いられた奇数A核の基底と一致する。
• この枠組みにより、非アーベル領域が数学的に可能であるだけでなく、物理的に実現可能かつ完全な記述に不可欠であることが、核物理学モデルとの一致によって示された。