量子约束系统的几何
On the geometry of quantum constrained systems
AI总结：
本文发展量子约束系统的几何，将狄拉克程序等量子化方法纳入统一几何框架，揭示量子约束条件的几何本质及梯度流等性质。
摘要：
几何方法在经典约束系统的哈密顿描述中已被证明十分有用。我们为量子约束系统发展了对应的几何，采用量子力学的一种表述，其中射线空间$\boldsymbol{\text{Ps}}$是一个凯勒流形，幺正变换是其典范变换。狄拉克条件$\boldsymbol{\text{Ĉ}_i\boldsymbol{\text{Ψ}}=0}$定义了单个函数$\boldsymbol{\text{C}_q=\boldsymbol{\text{ev}}\boldsymbol{\text{Mop}}}$的零点集，其中$\boldsymbol{\text{Mop}}$是主约束算子的期望值。我们的核心恒等式为$\boldsymbol{\text{C}_q=|\boldsymbol{\text{μ}}|^2+\tfrac{1}{2}\boldsymbol{\text{∥X}_\boldsymbol{\text{μ}}∥^2}}$，其中$\boldsymbol{\text{μ}=(\boldsymbol{\text{ev}}\boldsymbol{\text{Ĉ}_i})}$是规范作用在$\boldsymbol{\text{Ps}}$上的矩映射，$\boldsymbol{\text{X}_\boldsymbol{\text{μ}}}$是其基本向量场：量子条件施加了经典型条件$\boldsymbol{\text{μ}=0}$以及规范轨道坍缩为点，这解释了为何不需要第二次约化。物理态空间是一个全测地凯勒子流形。$\boldsymbol{\text{C}_q}$是一个莫尔斯-博特函数，其梯度流是热核弥散的群平均，收敛到物理态的最近点投影，且其纤维在复化规范群下不变。物理可观测量由双对易子条件表征至所有阶，该条件等价于$\boldsymbol{[\boldsymbol{\text{Ô}},\boldsymbol{\text{P}}_0]=0}$，其中$\boldsymbol{\text{P}}_0$是到物理态的投影算子。当零位于连续谱中时，梯度流收敛到格伦丁和赫斯特意义下的狄拉克态，其长时间渐近行为重现了精细代数量子化的装配映射。最后，沿相干态拉回后，$\boldsymbol{\text{C}_q}$等于经典主约束加上$\boldsymbol{O(\boldsymbol{\text{ħ}})}$项，该项由经典规范轨道的平方速度给出。这些结果将狄拉克程序、主约束方案、精细代数量子化和辛约化在一个几何框架内关联起来。
英文摘要：
Geometric methods have proved useful in the Hamiltonian description of classical constrained systems. We develop the corresponding geometry for quantum constrained systems, using the formulation of quantum mechanics in which the space of rays $\Ps$ is a Kähler manifold and unitary transformations are its canonical transformations. The Dirac conditions $\hat C_iΨ=0$ define the zero set of a single function $\Cq=\ev{\Mop}$, the expectation value of the master constraint operator. Our central identity is $\Cq=|μ|^2+\tfrac12\|X_μ\|^2$, where $μ=(\ev{\hat C_i})$ is the moment map of the gauge action on $\Ps$ and $X_μ$ its fundamental vector fields: the quantum condition imposes the classical-type condition $μ=0$ \emph{and} the collapse of the gauge orbits to points. This explains why no second reduction is needed. The physical state space is a totally geodesic Kähler submanifold. $\Cq$ is a Morse--Bott function which gradient flow is heat-kernel-smeared group averaging, converges to the nearest-point projection onto physical states, and its fibres are invariant under the complexified gauge group. Physical observables are characterised to all orders by the double-commutator condition, which is equivalent to $[\hat O,\hat P_0]=0$, with $\hat P_0$ the projector onto physical states. When zero lies in the continuous spectrum, the gradient flow converges to Dirac states in the sense of Grundling and Hurst, and its large-time asymptotics reproduce the rigging map of refined algebraic quantization. Finally, pulled back along coherent states, $\Cq$ equals the classical master constraint plus an $O(\hbar)$ term given by the squared speed of the classical gauge orbits. Together these results connect the Dirac procedure, the master constraint programme, refined algebraic quantization and symplectic reduction within one geometric picture.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
