[論文レビュー] Prequantization, geometric quantization, corrected geometric quantization

Simone Camosso|arXiv (Cornell University)|Dec 26, 2020

Geometry and complex manifolds参考文献 36被引用数 2

ひとこと要約

本稿では、平方根バンドルとBKSペアリングを用いた修正された幾何学的量子化フレームワークを導入することで、幾何学的量子化の洗練されたアプローチを提示する。Fresnel積分の漸近展開（熱核法に依存しない）を用いて、余接 bundle 上でのシュレーディンガー方程式を導出し、偏極、半形式、ボア・ゾンマーフェルト条件が、シンプレクティックおよびケーラー多様体から量子ヒルベルト空間を構成する役割を分析する。

ABSTRACT

A comparison on some facts concerning the geometric quantization of symplectic manifolds is presented here. Criticism, facts and improvements on the sophisticated theory of geometric quantization are presented touching briefly, all the "salient points of the theory". The unfamiliar reader can consider this as a "soft" introduction to the topic.

研究の動機と目的

• 平方根バンドルとメタプレクティック補正を導入することで、幾何学的量子化の数学的厳密性を高めること。
• 熱核法に依存せずに、Fresnel積分の漸近解析を用いて余接 bundle 上のシュレーディンガー方程式を導出すること。
• 実、複素、混合の異なる偏極タイプにおけるBKSペアリングの役割を明らかにし、特にFock空間と調和振動子状態を関連付けること。
• アイソトロープ状態と半形式バンドルの文脈において、ボア・ゾンマーフェルト条件を検討し、古典的ラグランジュ部分多様体と量子状態との関係を明確にすること。
• 幾何学的量子化が量子理論と一般相対性理論を統合する上で抱える限界を評価し、将来の方向性としてフェニマン経路積分および変形量力学を提案すること。

提案手法

• 古典的位相空間をモデル化するために、シンプレクティック形式 ω = i∂∂K と複素構造 J を持つケーラー多様体を幾何的基盤として用いる。
• 閉じたループ γ に対して ∫_γ ω ∈ 2πℏZ を満たす接続を持つヒルベルトラインバンドルによる前量子化を適用する。
• ヒルベルト空間構成の修正のために、平方根バンドル（半形式バンドル）を導入し、異なる偏極間でのユニタリなBKSペアリングを可能にする。
• 状態が異なる偏極のヒルベルト空間に属する場合に、⟨⟨ψ, φ⟩⟩ = ∫_M ψ(w)φ(z)K(z,w)e^{-|w|^2/2} dwdz というBKSペアリング公式を用いる。
• AlbeverioとMazzucchiのFresnel積分の漸近展開を用い、BKSペアリングにカーネル K(q,w) = C/√π e^{-q^2/2 - iqw + |w|^2/4} を統合することで、T*Q 上のシュレーディンガー方程式を導出する。
• BKSペアリングを3つの場合に分析する：2つの実偏極、1つの実偏極と1つの複素偏極、2つの複素偏極。ユニタリティとSegal-Bargmann変換およびBogoliubov変換との関係を示す。

実験結果

リサーチクエスチョン

• RQ1 熱核法を用いずに、幾何学的量子化からシュレーディンガー方程式をどのように導出できるか？
• RQ2 半形式バンドルは、幾何学的量子化におけるヒルベルト空間構造の修正にどのように寄与するか？
• RQ3 特に複素の場合において、BKSペアリングはどのように異なる偏極間の量子状態を統一するか？
• RQ4 ボア・ゾンマーフェルト部分多様体が、修正された量子化枠組みにおいて、どのようにして定義された量子状態を生成するかの明確な条件は何か？
• RQ5 幾何学的量子化は、相対論的場の理論へ拡張可能か、それとも現在の定式化に固有の限界が存在するか？

主な発見

• 余接 bundle 上のシュレーディンガー方程式は、BKSペアリングとFresnel積分の漸近展開を用いて導出され、カーネル K(q,w) = C/√π e^{-q^2/2 - iqw + |w|^2/4}（C = π^{1/4}）を用いる。
• Fock空間における基底状態 1 は、Segal-Bargmann変換により調和振動子の基底状態 P(φ)(q) = C/√π e^{-q^2/2} に写像され、ユニタリ同値性が確認される。
• 2つの複素偏極間のBKSペアリングは、Pψ′(w) = ∫_C ψz(w)ψ′(w) dwdw で与えられるユニタリ変換をもたらし、ψz(w) = e^{1/2(2ω(z,(J1+i)w) - ω(z,J1z) - ω(w,J1w))} である。
• ボア・ゾンマーフェルト部分多様体の修正された量子化条件は、バンドル √ΔL 内で単価関数としての √(e^{2i/ℏ ∫_γ θ} τ) の存在を要請し、標準的なPC1条件を一般化する。
• 実偏極と複素偏極間のBKSペアリングは、L^2関数をFock空間の正則切断に写像するSegal-Bargmann変換を実現する。
• 2つの複素構造 J1 と J2 間のBKSペアリングは、Pφ′_0(w) = [det(1/2(J1+J2))]^{-1/2} e^{λ(z)/4 - |z|^2/4} で与えられるBogoliubov変換をもたらし、λ(z) = 2ω(z,J1Lz) - 2iω(z,Lz), L = (J1+J2)^{-1}(J1-J2) である。