Quantization of a generally covariant gauge system with two super Hamiltonian constraints

The Becchi-Rouet-Stora-Tyutin (BRST) operator quantization of a finite-dimensional gauge system featuring two quadratic super Hamiltonian and m linear supermomentum constraints is studied as a model for quantizing generally covariant gauge theories. The proposed model “completely” mimics the constraint algebra of general relativity. The Dirac constraint operators are identified by realizing the BRST generator of the system as a Hermitian nilpotent operator, and a physical inner product is introduced to complete a consistent quantization procedure.