[论文解读] Geometric Quantization

William Gordon Ritter|ArXiv.org|Aug 2, 2002

Advanced Topics in Algebra被引用 6

一句话总结

本文提出了一套严格的几何框架用于几何量子化，通过辛几何与极化，统一了经典力学与量子力学。它通过线丛与联络引入预量子化，随后利用极化截面——特别是半形式与密度——构建量子希尔伯特空间，从而在余伴随轨道上得到酉表示，并恢复标准量子表示，如薛定谔表示与动量表示。

ABSTRACT

We review the definition of geometric quantization, which begins with defining a mathematical framework for the algebra of observables that holds equally well for classical and quantum mechanics. We then discuss prequantization, and go into details of the general method of quantization with respect to a polarization using densities and half-forms. This has applications to the theory of unitary group representations and coadjoint orbits.

研究动机与目标

• 建立一个基于共同代数与几何结构的数学框架，以统一经典力学与量子力学。
• 将预量子化定义为通过辛流形上的线丛、联络与辛势能实现的量化的一步。
• 通过极化（特别是实极化与可接受极化）发展几何量子化的通用方法，以构建量子希尔伯特空间。
• 确保所得量子算符保持极化，从而满足量子理论中的不可约性条件。
• 将已知的量子表示（如薛定谔表示与动量表示）作为余切丛上通用形式的特例恢复。

提出的方法

• 通过期望值的对偶性，使用可观测量代数、态空间来定义物理的数学结构。
• 通过辛流形上的Hermitian线丛与联络引入预量子化，使用辛形式作为曲率。
• 利用实极化 $F$ 构造极化截面，其中截面沿 $F$ 协变常数，并在子流形 $M_k$ 上有紧支集。
• 将量子希尔伯特空间 $\mathcal{H}$ 定义为 $\mathcal{H}^k$ 的直和，每个 $\mathcal{H}^k$ 由 $B \otimes \sqrt{\bigwedge^n F}$ 在 $M_k$ 上的 $L^2$-截面构建。
• 通过在 $Q_i \subset M/D$ 上的积分，利用半形式丛 $\sqrt{\bigwedge^n F}$ 定义内积，确保酉性。
• 将量子化算符表征为保持极化的算符，要求对哈密顿向量场 $X_f$ 有 $[X_f, P] \subset P$。

实验结果

研究问题

• RQ1 如何在基于辛几何的单一数学框架内统一经典力学与量子力学？
• RQ2 何种条件可确保经典可观测量可通过几何量子化被一致地量子化？
• RQ3 极化（特别是实极化与可接受极化）如何决定量子希尔伯特空间的结构？
• RQ4 半形式与密度在几何量子化中如何构建明确定义的内积？
• RQ5 标准量子表示（如薛定谔表示与动量表示）如何作为余切丛上通用几何量子化程序的特例出现？

主要发现

• 预量子化在联络线丛的截面希尔伯特空间上构造了海森堡代数的酉表示，使用辛形式作为曲率。
• 完整的量子希尔伯特空间 $\mathcal{H}$ 以直和形式实现为 $\bigoplus_{k=0}^n \mathcal{H}^k$，其中每个 $\mathcal{H}^k$ 对应极化的流形 $M_k$。
• $\mathcal{H}^k$ 上的内积通过在紧支集子流形 $Q_i \subset M/D$ 上对截面的点态内积进行积分来定义，确保 $L^2$-完备性。
• 极化算符是那些使哈密顿向量场 $X_f$ 保持极化 $P$ 的算符，即满足 $[X_f, P] \subset P$，从而限制了可量子化的可观测量集合。
• 在 $T^*Q$ 上，竖直极化给出薛定谔表示，其中 $\mathcal{O}_{q^j} = q^j$ 且 $\mathcal{O}_{p_j} = -i\hbar \partial / \partial q^j$，而水平极化给出动量表示。
• 薛定谔表示与动量表示之间的转换通过傅里叶变换实现，证实了几何量子化框架的一致性。