[論文レビュー] Geometric Quantization

William Gordon Ritter|ArXiv.org|Aug 2, 2002

Advanced Topics in Algebra被引用数 6

ひとこと要約

この論文は、シンプレクティック幾何と極化を用いて、古典的および量子力学を統一する、きめの細かい幾何的枠組みを提示する。線分収束と接続を用いた前量子化を導入し、次に偏極された断面（特に半形式および密度）を用いて量子ヒルベルト空間を構成する。これにより、共軛軌道上にユニタリ表現が得られ、シュレーディンガー表現や運動量表現といった標準的な量子表現が回復される。

ABSTRACT

We review the definition of geometric quantization, which begins with defining a mathematical framework for the algebra of observables that holds equally well for classical and quantum mechanics. We then discuss prequantization, and go into details of the general method of quantization with respect to a polarization using densities and half-forms. This has applications to the theory of unitary group representations and coadjoint orbits.

研究の動機と目的

• 古典的および量子力学を、共通の代数的および幾何的構造を通じて統一する数学的枠組みを確立すること。
• シンプレクティック多様体上の線束、接続、シンプレクティックポテンシャルを用いて、量子化への段階として前量子化を定義すること。
• 極化（特に実極化および許容極化）を用いた一般の幾何的量子化の方法を開発し、量子ヒルベルト空間を構築すること。
• 得られる量子演算子が極化を保存することを保証し、量子理論における既約性条件を満たすこと。
• 既知の量子表現（例：シュレーディンガー表現および運動量表現）が、余接 bundle 上の一般形式の特別な場合として回復されること。

提案手法

• 観測可能量の代数、状態空間、期待値による双対性を用いて、物理の数学的構造を定義する。
• シンプレクティック多様体上に、接続を備えたヘルミート線束を用いて前量子化を導入し、シンプレクティック形式を曲率として用いる。
• 実極化 $F$ を用いて偏極された断面を構成し、断面が $F$ 沿いに共変的に一定であり、部分多様体 $M_k$ 上に台を持つようにする。
• 量子ヒルベルト空間 $\mathcal{H}$ を、各 $\mathcal{H}^k$ の直和 $\bigoplus_{k=0}^n \mathcal{H}^k$ として定義し、各 $\mathcal{H}^k$ は $M_k$ 上での $B \otimes \sqrt{\bigwedge^n F}$ の $L^2$-断面から構成される。
• 半形式バンドル $\sqrt{\bigwedge^n F}$ を用いて、$Q_i \subset M/D$ 上での積分により内積を定義し、ユニタリティを保証する。
• 量子化された演算子は、ハミルトニアンベクトル場 $X_f$ に対して $[X_f, P] \subset P$ を満たすもの、すなわち極化を保存するものとして特徴づける。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティック幾何に基づく単一の数学的枠組み内で、古典的および量子力学をどのように統一できるか？
• RQ2 幾何的量子化を用いて、古典的観測可能量を一貫して量子化するための条件は何か？
• RQ3 極化（特に実極化および許容極化）は、量子ヒルベルト空間の構造にどのように寄与するか？
• RQ4 半形式および密度は、幾何的量子化における適切に定義された内積を構築するために果たす役割は何か？
• RQ5 標準的な量子表現（例：シュレーディンガー表現および運動量表現）は、余接 bundle 上の一般幾何的量子化手順からどのように導かれるか？

主な発見

• 前量子化は、曲率としてシンプレクティック形式を用いた接続付き線束の断面のヒルベルト空間上に、ヘイゼンベルク代数のユニタリ表現を構成する。
• 完全な量子ヒルベルト空間 $\mathcal{H}$ は、極化の各ストラトゥム $M_k$ に対応する $\bigoplus_{k=0}^n \mathcal{H}^k$ の直和として実現される。
• $\mathcal{H}^k$ 上の内積は、コンパクト台を持つ部分多様体 $Q_i \subset M/D$ 上での断面の点ごとの内積の積分により定義され、$L^2$-完備性が保証される。
• 偏極された演算子とは、ハミルトニアンベクトル場 $X_f$ が極化 $P$ を保存する、すなわち $[X_f, P] \subset P$ を満たすものであり、これにより量子化可能な観測可能量の集合が制限される。
• $T^*Q$ 上では、垂直極化がシュレーディンガー表現をもたらし、$\mathcal{O}_{q^j} = q^j$ および $\mathcal{O}_{p_j} = -i\hbar \partial / \partial q^j$ となる。一方、水平極化は運動量表現をもたらす。
• シュレーディンガー表現と運動量表現の間の移行は、フーリエ変換によって実現され、幾何的量子化枠組みの整合性が確認される。