[论文解读] Notes on Geometric Quantization

Nima Moshayedi|arXiv (Cornell University)|Oct 29, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 5

一句话总结

本文全面介绍了几何量子化，这是一种通过线丛与联络、极化以及半形式修正，从经典辛流形构造量子希尔伯特空间的过程。它建立了预量子化与半形式量子化的数学框架，最终为 $ T^*ackslashmathbb{R}^n $ 构造出一个与 $ L^2(\mathbb{R}^n) $ 同构的希尔伯特空间，并提供了明确的例子与习题。

ABSTRACT

These notes give an introduction to the quantization procedure called geometric quantization. It gives a definition of the mathematical background for its understanding and introductions to classical and quantum mechanics, to differentiable manifolds, symplectic manifolds and the geometry of line bundles and connections. Moreover, these notes are endowed with several exercises and examples.

研究动机与目标

• 为数学物理与微分几何领域的研究人员提供一个关于几何量子化的自包含数学导论。
• 通过构造一个量子希尔伯特空间，弥合辛流形上的经典力学与量子力学之间的鸿沟。
• 通过引入半形式修正来解决预量子化方法的局限性，从而实现一个定义良好的量子态空间。
• 系统阐述关键结构：预量子线丛、联络、极化以及带平方根的典范丛。
• 通过明确的例子（如 $ T^*\mathbb{R}^n $）说明量子希尔伯特空间的构造过程及其与 $ L^2(\mathbb{R}^n) $ 的同构关系。

提出的方法

• 通过辛流形与哈密顿系统的形式化来描述经典力学，强调辛形式 $ \Omega $ 的作用。
• 通过一个在辛流形 $ (M, \Omega) $ 上带有联络 $ \nabla $ 的希尔伯特线丛 $ L $ 来引入预量子化，其曲率等于 $ \Omega $。
• 应用极化 $ P \subset TM $ 来选取 $ L $ 的 $ P $-极化截面，从而限制量子态的空间。
• 引入与极化相关的典范丛 $ K_P $，并构造其平方根 $ S_P $ 以定义半形式丛。
• 将量子希尔伯特空间 $ \mathcal{H}_P $ 构造为 $ L \otimes S_P^\mathbb{C} $ 的 $ P $-极化截面空间的完备化，其内积涉及希尔伯特度量 $ h^F $ 并在底流形 $ N = M/P $ 上积分。
• 使用内积 $ \langle s_1 \otimes \mu_1, s_2 \otimes \mu_2 \rangle_{\mathcal{H}_P} = \int_N h^F(s_1, s_2) \bar{\mu}_1 \otimes \mu_2 $，其中 $ \mu_i $ 为 $ P $-极化的半形式。

实验结果

研究问题

• RQ1 如何通过几何结构从经典辛流形系统地构造出一个量子希尔伯特空间？
• RQ2 预量子化的局限性是什么？半形式修正如何解决这些问题？
• RQ3 在辛流形 $ M $ 上，何种条件下极化 $ P $ 能够导致一个定义良好的量子希尔伯特空间？
• RQ4 典范丛 $ K_P $ 如何与极化的几何结构相关联？为何其平方根至关重要？
• RQ5 对于 $ T^*\mathbb{R}^n $ 配以垂直极化的情形，量子希尔伯特空间的显式结构是什么？

主要发现

• 预量子化过程构造出一个曲率为 $ \Omega $ 的线丛 $ L $ 与联络 $ \nabla $，从而将经典可观测量嵌入为量子算符。
• 仅靠预量子化无法产生物理的希尔伯特空间，因为它包含非平方可积的截面；必须引入极化与半形式修正。
• 对于 $ M = T^*\mathbb{R}^n $ 与垂直极化的情形，$ L \otimes S_P^\mathbb{C} $ 的 $ P $-极化截面空间同构于 $ C^\infty(\mathbb{R}^n) \otimes \sqrt{dx^1 \land \dotsm \land dx^n} $。
• 半形式希尔伯特空间 $ \mathcal{H}_P $ 同构于 $ L^2(\mathbb{R}^n) $，其内积为 $ \int_{\mathbb{R}^n} \bar{s}_1 s_2 \bar{f}_1 f_2 \, dx^1 \land \dotsm \land dx^n $。
• 截面 $ f(x) \sqrt{dx^1 \land \dotsm \land dx^n} $ 是 $ P $-极化的，当且仅当对所有 $ j $ 有 $ \partial_{p_j} f = 0 $，即 $ f $ 仅依赖于位置 $ x $，而不依赖于动量 $ p $。
• 该构造确保在限制到 $ P $-极化截面时，量子内积是良定义且有限的，从而得到一个完备的希尔伯特空间。