[论文解读] Geometry of the Dirac quantization of constrained systems

A. O. Barvinsky|arXiv (Cornell University)|Dec 1, 1996

Noncommutative and Quantum Gravity Theories被引用 3

一句话总结

本文通过将经典对称性——接触典范变换和约束基变换——提升为量子域中的幺正等价性，构建了约束系统狄拉克量子化的几何框架。它在半经典展开框架下，于拉格朗日约束曲面上实施阿贝尔化，构造出在物理内积下具有一阶量子规范不变性且厄米特的物理可观测量。

ABSTRACT

Geometric properties of operators of quantum Dirac constraints and physical observables are studied in semiclassical theory of generic constrained systems. The invariance transformations of the classical theory -- contact canonical treansformations and arbitrary changes of constraint basis -- are promoted to the quantum domain as unitary equivalence transformations. The operators of physical observables are constructed satisfying one-loop quantum gauge invariance and Hermiticity with respect to a physical inner product. Abelianization procedure on Lagrangian constraint surfaces of phase space is discussed in the framework of the semiclassical expansion.

研究动机与目标

• 建立狄拉克约束量化的几何形式，以在量子层面保持经典对称性。
• 确保量子可观测量在至一阶微扰下既为厄米特又具规范不变性。
• 将阿贝尔化程序推广至半经典区域中的拉格朗日约束曲面。
• 定义一个支持量子算符在经典对称变换下幺正等价性的物理内积。

提出的方法

• 将经典接触典范变换提升为量子理论中的幺正等价变换。
• 将任意约束基变换实现为幺正等价性，以保持规范结构。
• 构造在物理内积下满足一阶量子规范不变性与厄米特性的物理可观测量。
• 在半经典展开框架下，对拉格朗日约束曲面应用阿贝尔化程序。
• 使用几何技术确保经典与量子对称性结构之间的一致性。

实验结果

研究问题

• RQ1 如何将经典对称性变换（如接触典范变换）一致地提升为量子域中的幺正变换？
• RQ2 在约束系统中，何种条件可确保量子可观测量相对于物理内积保持厄米特性？
• RQ3 在半经典框架下，阿贝尔化程序如何推广至拉格朗日约束曲面？
• RQ4 一阶量子规范不变性以何种方式约束物理可观测量的形式？

主要发现

• 经典对称性变换——接触典范变换与约束基变换——在量子理论中被一致地提升为幺正等价性。
• 构造的物理可观测量在物理内积下具有一阶量子规范不变性且为厄米特。
• 阿贝尔化程序在半经典展开框架下被推广至拉格朗日约束曲面。
• 几何方法确保了量子算符保持经典理论的对称性结构。