An algebraic extension of Dirac quantization: Examples

TL;DR

This paper extends Dirac quantization through an algebraic quantization framework tailored for first-class constrained systems, addressing inner-product ambiguities and overcompleteness without relying on a background spacetime. By systematically selecting a complete set of elementary observables, constructing a CCR algebra, imposing algebraic identities, and enforcing reality conditions, the authors derive a physical inner product and a closed, self-adjoint algebra of physical observables for several finite-dimensional models. The concrete examples—hybrid-variable harmonic oscillator, two coupled oscillators with energy-sum and energy-difference constraints, and the constrained rotor—demonstrate how the program yields unitary representations of symmetry algebras (SO(3) and SO(2,1)), resolves potential pathologies (e.g., tunnelling in the rotor), and clarifies the role of time and deparametrization. The work shows that the algebraic program provides a robust, general methodology for quantizing constrained systems, with implications for quantum gravity and loop-based approaches where overcomplete variable sets and the absence of a fixed background are prominent.

Abstract

An extension of the Dirac procedure for the quantization of constrained systems is necessary to address certain issues that are left open in Dirac's original proposal. These issues play an important role especially in the context of non-linear, diffeomorphism invariant theories such as general relativity. Recently, an extension of the required type was proposed by one of us using algebraic quantization methods. In this paper, the key conceptual and technical aspects of the algebraic program are illustrated through a number of finite dimensional examples. The choice of examples and some of the analysis is motivated by certain peculiar problems endemic to quantum gravity. However, prior knowledge of general relativity is not assumed in the main discussion. Indeed, the methods introduced and conclusions arrived at are applicable to any system with first class constraints. In particular, they resolve certain technical issues which are present also in the reduced phase space approach to quantization of these systems.