[论文解读] Prequantization, geometric quantization, corrected geometric quantization

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

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

一句话总结

本文通过引入平方根丛和BKS配对，提出了一种改进的几何量子化框架，利用Fresnel积分的渐近展开（而非热核方法）推导出余切丛上的薛定谔方程，并分析了极化、半形式与Bohr-Sommerfeld条件在从辛流形和凯勒流形构造量子希尔伯特空间中的作用。

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积分的渐近分析推导余切丛上的薛定谔方程，避免依赖热核方法。
• 阐明BKS配对在不同极化类型（实极化、复极化与混合极化）中的作用，特别是其在关联Fock空间与简谐振子态方面的作用。
• 研究在各向同性态与半形式丛背景下Bohr-Sommerfeld条件的作用，将经典拉格朗日子流形与量子态联系起来。
• 评估几何量子化在统一量子理论与广义相对论方面的局限性，并通过费曼路径积分与形变量子化提出未来研究方向。

提出的方法

• 以凯勒流形作为几何基础，使用辛形式 ω = i∂∂K 与复结构 J，对经典相空间进行建模。
• 通过满足预量子条件 ∫_γ ω ∈ 2πℏZ 的酉线丛与联络实现预量子化，其中 γ 为闭合环路。
• 引入平方根丛（半形式丛）以校正希尔伯特空间构造，实现不同极化之间的酉BKS配对。
• 使用BKS配对公式 ⟨⟨ψ, φ⟩⟩ = ∫_M ψ(w)φ(z)K(z,w)e^{-|w|^2/2} dwdz，关联不同极化希尔伯特空间中的态。
• 通过将BKS配对与核 K(q,w) = C/√π e^{-q^2/2 - iqw + |w|^2/4} 结合，利用Albeverio与Mazzucchi的Fresnel积分渐近展开，在T*Q上推导出薛定谔方程。
• 分析三种情形下的BKS配对：两个实极化、一个实极化与一个复极化、两个复极化，证明其酉性，并与Segal-Bargmann变换及Bogoliubov变换建立联系。

实验结果

研究问题

• RQ1 如何在不使用热核方法的前提下，从几何量子化推导出薛定谔方程？
• RQ2 半形式丛在几何量子化中校正希尔伯特空间结构的作用是什么？
• RQ3 BKS配对如何统一不同极化下的量子态，特别是在复极化情形下？
• RQ4 在修正的量子化框架中，Bohr-Sommerfeld子流形在何种精确条件下能产生明确定义的量子态？
• RQ5 几何量子化能否扩展至相对论性场论？其局限性是否源于当前形式的固有缺陷？

主要发现

• 余切丛上的薛定谔方程通过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}，确认了酉等价性。
• 两个复极化之间的BKS配对给出酉变换 Pψ′(w) = ∫_C ψz(w)ψ′(w) dwdw，其中 ψz(w) = e^{1/2(2ω(z,(J1+i)w) - ω(z,J1z) - ω(w,J1w))}。
• Bohr-Sommerfeld子流形的校正量子化条件要求在丛 √ΔL 中存在单值平方根 e^{2i/ℏ ∫_γ θ} τ，推广了标准的PC1条件。
• 实极化与复极化之间的BKS配对实现了Segal-Bargmann变换，将L^2函数映射为Fock空间中的全纯截面。
• 两个复结构J1与J2之间的BKS配对导致Bogoliubov变换，其投影为 Pφ′_0(w) = [det(1/2(J1+J2))]^{-1/2} e^{λ(z)/4 - |z|^2/4}，其中 λ(z) = 2ω(z,J1Lz) - 2iω(z,Lz)，L = (J1+J2)^{-1}(J1-J2)。