[论文解读] 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

一句话总结

本文通過展示Hall相干態變換（CST）在緊緻李群K上的熱算子源自T*K上一參數族複結構的赫米特聯絡，建立了CST與幾何量子化之間的幾何聯繫。關鍵結果為：由預量子幾何所誘導的量子聯絡與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.

研究动机与目标

• 為緊緻李群上Hall相干態變換中的熱算子提供微分幾何解釋。
• 將T*K的凱勒量子化中出現的熱方程與cotangent bundle上的一參數族複結構聯繫起來。
• 建立幾何量子化所產生的量子聯絡與相干態變換所產生的聯絡之間的單位等價性。
• 證明半形式修正對於誘導量子聯絡中熱算子的出現至關重要。
• 透過T*K上ℝ₊上量子bundle的自然赫米特聯絡，統一幾何量子化、陳-西蒙斯理論與相干態變換的觀點。

提出的方法

• 透過微分同胚ψₛ: (x,Y) ↦ x e^{isY}，在T*K ≅ K × 𝔪*上構造一參數族複結構{Jₛ}，映射至Kℂ的複化。
• 在T*K上賦予標準辛形式ω，並對每個s ∈ ℝ₊定義凱勒結構(ω, Jₛ)。
• 透過收集所有s對應的預量子Hilbert空間，構造預量子Hilbert bundle ℋ^{prQ} → ℝ₊，並賦予自然赫米特聯絡。
• 將預量子聯絡投影至量子子bundle ℋ^Q → ℝ₊，以獲得量子聯絡δ^Q。
• 透過Kℂ上相對於測度dν_ℏ（ℏ = sℏ₀）的全純截面，定義相干態變換bundle ℋ^H → ℝ₊。
• 證明CST聯絡δ^H為赫米特聯絡，且由水平截面F^{R_ij} = e^{−ℏc_R/2} R_ij定義，其中c_R為Casimir特徵值。

实验结果

研究问题

• RQ1 Hall相干態變換中的熱算子與T*K上的幾何量子化有何關係？
• RQ2 T*K上的一參數族複結構{Jₛ}在生成量子聯絡中扮演何種角色？
• RQ3 半形式修正如何影響量子聯絡中熱方程的出現？
• RQ4 量子聯絡δ^Q是否與CST聯絡δ^H單位等價？
• RQ5 CST中的聯絡能否被解釋為由預量子化與投影所產生的幾何聯絡？

主要发现

• 由預量子聯絡投影至量子子bundle所誘導的量子聯絡δ^Q等價於熱算子，從而確立了CST中熱方程的幾何來源。
• CST聯絡δ^H為赫米特聯絡，且由條件δ^H(F^{R_ij}) = 0定義，即標準正交截面F^{R_ij} = e^{−ℏc_R/2} R_ij為水平截面。
• δ^H的單位平行傳輸由U_{ℏ₂ℏ₁} = e^{−(ℏ₂−ℏ₁)c_R/2}在基向量上給出，對應於CST中的標準單位演化。
• 存在自然的單位同構S: ℋ^H → ℋ^Q，使得量子聯絡δ^Q與CST聯絡δ^H等價：δ^Q ∘ S = S ∘ δ^H。
• 透過證明ℋ^H中的標準正交基{F^{R_ij}}在S下映射為ℋ^Q中的水平基，並利用BKS配對保持全純性與測度dν_ℏ的事實，證實了此等價性。
• 半形式修正至關重要：若無此修正，ℋ^Q上誘導的聯絡將無法產生熱算子，從而確認其在幾何量子化框架中的關鍵作用。