[論文レビュー] Geometric quantization, complex structures and the coherent state transform

Carlos Florentino, Pedro Matias+2 more|arXiv (Cornell University)|Feb 19, 2004

Advanced Algebra and Geometry参考文献 7被引用数 8

ひとこと要約

本稿は、コンpakto Lie群 K 上のホール一様状態変換（CST）と幾何的量子化との間に幾何的関係を確立し、CSTにおける熱演算子が、T*K 上の1パラメータ族の複素構造の上に定義された量子ヒルベルト bundle 上のヘルミート接続から生じることを示している。主な結果は、予量子幾何から得られる量子接続とCST接続がユニタリ同値であることであり、幾何的量子化、チャーン・サイモンズ理論、一様状態変換のアプローチを統合する。

ABSTRACT

It is shown that the heat operator in the Hall coherent state transform for a compact Lie group $K$ is related with a Hermitian connection associated to a natural one-parameter family of complex structures on $T^*K$. The unitary parallel transport of this connection establishes the equivalence of (geometric) quantizations of $T^*K$ for different choices of complex structures within the given family. In particular, these results establish a link between coherent state transforms for Lie groups and results of Hitchin and Axelrod, Della Pietra and Witten.

研究の動機と目的

• コンパクトLie群 K 上のホール一様状態変換における熱演算子の微分幾何的解釈を提供すること。
• T*K のカーラー量子化における熱方程式の出現を、余接 bundle 上の1パラメータ族の複素構造に関連付けること。
• 幾何的量子化から得られる量子接続と、一様状態変換から生じる接続とのユニタリ同値性を確立すること。
• 半形式補正が、誘導された量子接続における熱演算子の出現に不可欠であることを示すこと。
• ℝ₊ 上の量子 bundle に自然に定義されるヘルミート接続を通じて、幾何的量子化、チャーン・サイモンズ理論、一様状態変換の視点を統合すること。

提案手法

• 微分同相写像 ψₛ: (x,Y) ↦ x e^{isY} を用いて、T*K ≅ K × 𝔪* に1パラメータ族の複素構造 {Jₛ} を構成し、Kℂ の複素化に写像する。
• T*K に標準的シンプレクティック形式 ω を備え、各 s ∈ ℝ₊ に対して (ω, Jₛ) をカーラー構造として定義する。
• すべての s に対する予量子ヒルベルト空間を集めた、予量子ヒルベルト bundle ℋ^{prQ} → ℝ₊ を定義し、自然なヘルミート接続を備える。
• 予量子接続を量子部分 bundle ℋ^Q → ℝ₊ に射影して、量子接続 δ^Q を得る。
• Kℂ における正則セクションと測度 dν_ℏ, ℏ = sℏ₀ を用いて、一様状態変換（CST）bundle ℋ^H → ℝ₊ を定義する。
• CST接続 δ^H がヘルミート的であり、正規直交セクション F^{R_ij} = e^{−ℏc_R/2} R_ij が水平（すなわち δ^H(F^{R_ij}) = 0）であることで定義されることを示す。

実験結果

リサーチクエスチョン

• RQ1 ホール一様状態変換における熱演算子は、T*K 上の幾何的量子化とどのように関係しているか？
• RQ2 T*K 上の1パラメータ族の複素構造 {Jₛ} は、量子接続の生成に果たす役割は何か？
• RQ3 半形式補正は、量子接続における熱方程式の出現にどのように影響するか？
• RQ4 量子接続 δ^Q とCST接続 δ^H はユニタリ同値か？
• RQ5 CSTの接続は、予量子化と射影から生じる幾何的接続として解釈可能か？

主な発見

• 予量子接続を量子部分 bundle に射影して得られる量子接続 δ^Q は、熱演算子に等しく、CSTにおける熱方程式の幾何的起源を確立する。
• CST接続 δ^H はヘルミート的であり、正規直交セクション F^{R_ij} = e^{−ℏc_R/2} R_ij が水平（δ^H(F^{R_ij}) = 0）であることで定義される。
• δ^H におけるユニタリ平行移動は、基底ベクトル上で U_{ℏ₂ℏ₁} = e^{−(ℏ₂−ℏ₁)c_R/2} で与えられ、これはCSTにおける標準的ユニタリ進化に対応する。
• ℋ^H → ℋ^Q に自然なユニタリ同型写像 S が存在し、δ^Q ∘ S = S ∘ δ^H が成り立つ。このことから、量子接続 δ^Q とCST接続 δ^H は等価である。
• この等価性は、BKSペアリングが正則性と測度 dν_ℏ を保存することを用いて、ℋ^H の正規直交フレーム {F^{R_ij}} が S によってℋ^Q の水平フレームに写されるのを示すことによって証明される。
• 半形式補正は不可欠である：補正がないと、ℋ^Q に誘導される接続は熱演算子を生成しない。これは、幾何的量子化枠組みにおいて補正が果たす重要な役割を確認する。