On the geometry of quantum constrained systems
The work compares classical and quantum constrained systems using geometric methods. It shows that physical observables in quantum theory are determined by their invariance under unitary transformations, leading to a condition involving the double commutator with the square of the constraint operators. This suggests no degenerate directions in the symplectic structure for constraints.