[論文レビュー] Notes on Geometric Quantization

Nima Moshayedi|arXiv (Cornell University)|Oct 29, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 5

ひとこと要約

この論文は、接続を備えた線束、極化、半形式補正を用いて、古典的シンプレクティック多様体から量子ヒルベルト空間を構成する手続きである幾何学的量子化について包括的な紹介を提供する。予量子化と半形式量子化の数学的枠組みを確立し、$ T^*ℝ^n $ に対して $ L^2(ℝ^n) $ に同型なヒルベルト空間の構成に至る。明示的な例と演習を含む。

ABSTRACT

These notes give an introduction to the quantization procedure called geometric quantization. It gives a definition of the mathematical background for its understanding and introductions to classical and quantum mechanics, to differentiable manifolds, symplectic manifolds and the geometry of line bundles and connections. Moreover, these notes are endowed with several exercises and examples.

研究の動機と目的

• 数学的物理および微分幾何学の研究者を対象に、幾何学的量子化について自己完結的な数学的紹介を提供すること。
• シンプレクティック多様体上の古典力学と、量子ヒルベルト空間の構成によって量子力学を結びつけること。
• 予量子化の限界を扱い、良好に定義された量子状態空間を得るための半形式補正を導入すること。
• 予量子線束、接続、極化、および平方根を伴う正則線束といった主要構造を体系的に提示すること。
• $ T^*\mathbb{R}^n $ などの明示的例を提示し、量子ヒルベルト空間の構成と $ L^2(\mathbb{R}^n) $ への同型性を説明すること。

提案手法

• シンプレクティック形式 $ \Omega $ の役割に注目しながら、シンプレクティック多様体とハミルトニアン系を用いて古典力学を形式化する。
• シンプレクティック多様体 $ (M, \Omega) $ 上に、曲率が $ \Omega $ に等しい接続 $ \nabla $ を備えたヘルミート線束 $ L $ を用いて予量子化を導入する。
• 極化 $ P \subset TM $ を適用し、$ L $ の $ P $-極化された断面を選択することで、量子状態の空間を制限する。
• 極化に関連する正則線束 $ K_P $ を導入し、その平方根 $ S_P $ を構成して半形式線束を定義する。
• ヘルミート計量 $ h^F $ を用いた内積と、底多様体 $ N = M/P $ での積分を伴う、$ P $-極化された $ L \otimes S_P^\mathbb{C} $ の断面空間の完備化として、量子ヒルベルト空間 $ \mathcal{H}_P $ を構成する。
• 内積 $ \langle s_1 \otimes \mu_1, s_2 \otimes \mu_2 \rangle_{\mathcal{H}_P} = \int_N h^F(s_1, s_2) \bar{\mu}_1 \otimes \mu_2 $ を用い、$ \mu_i $ は $ P $-極化された半形式である。

実験結果

リサーチクエスチョン

• RQ1 どのようにして幾何的構造を用いて、古典的シンプレクティック多様体から量子ヒルベルト空間を体系的に構成できるか？
• RQ2 予量子化の限界とは何か？ そして、半形式補正はそれらをどのように解決するか？
• RQ3 シンプレクティック多様体 $ M $ に与えられた極化 $ P $ が、良好に定義された量子ヒルベルト空間をもたらす条件は何か？
• RQ4 正則線束 $ K_P $ は極化の幾何にどのように関係し、その平方根がなぜ本質的か？
• RQ5 垂直極化を伴う $ T^*\mathbb{R}^n $ に対して、量子ヒルベルト空間の明示的構造は何か？

主な発見

• 予量子化手順により、曲率が $ \text{curv}(\nabla) = \Omega $ に等しい線束 $ L $ と接続 $ \nabla $ が構成され、古典的観測量が量子演算子に埋め込まれる。
• 予量子化のみでは、非平方可積分な断面を含むため物理的ヒルベルト空間を生成できない。極化と半形式補正が不可欠である。
• $ M = T^*\mathbb{R}^n $ と垂直極化をとると、$ L \otimes S_P^\mathbb{C} $ の $ P $-極化断面の空間は $ C^\infty(\mathbb{R}^n) \otimes \sqrt{dx^1 \land \dotsm \land dx^n} $ に同型である。
• 半形式ヒルベルト空間 $ \mathcal{H}_P $ は $ L^2(\mathbb{R}^n) $ に同型であり、内積は $ \int_{\mathbb{R}^n} \bar{s}_1 s_2 \bar{f}_1 f_2 \, dx^1 \land \dotsm \land dx^n $ で与えられる。
• 断面 $ f(x) \sqrt{dx^1 \land \dotsm \land dx^n} $ が $ P $-極化されるための必要十分条件は、すべての $ j $ に対して $ \partial_{p_j} f = 0 $ であることである。これは $ f $ が運動量 $ p $ に依存せず、位置 $ x $ のみに依存することを意味する。
• この構成により、量子内積が $ P $-極化断面に制限された場合に良好に定義され、かつ有限となり、完全なヒルベルト空間が得られる。