On the geometry of quantum constrained systems

arXiv:0801.1119v3 Announce Type: replace-cross Abstract: 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\"ahler manifold and unitary transformations are its canonical transformations. The Dirac conditions $\hat C_i\Psi=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=|\mu|^2+\tfrac12\|X_\mu\|^2$, where $\mu=(\ev{\hat C_i})$ is the moment map of the gauge action on $\Ps$ and $X_\mu$ its fundamental vector fields: the quantum condition imposes the classical-type condition $\mu=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\"ahler 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.

Abstract: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\Psi=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=|\mu|^2+\tfrac12\|X_\mu\|^2$, where $\mu=(\ev{\hat C_i})$ is the moment map of the gauge action on $\Ps$ and $X_\mu$ its fundamental vector fields: the quantum condition imposes the classical-type condition $\mu=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.

18 pages, no figures. Discussion expanded. V2 Version published in CQG. V3 has expanded discussion and includes 2nd Class constraints and continuous spectrum

arXiv:0801.1119 [gr-qc]

(or arXiv:0801.1119v3 [gr-qc] for this version)

Class.Quant.Grav.25:135013,2008

https://doi.org/10.1088/0264-9381/25/13/135013 DOI(s) linking to related resources

aiqbench analysis

On the geometry of quantum constrained systems

Related coverage