Maslov complex germ method for systems with second-class constraints

We study the semiclassical mechanics of systems with second-class constraints. We assume that the quantum mechanics of such a system is constructed by the Batalin–Fradkin–Tyutin method, where some additional coordinates and momenta are introduced and second-class constraints are converted into first-class constraints. We also assume that the algebraic quantization method is used to quantize the extended system. To construct the semiclassical approximation, we use the Maslov complex germ theory. We study the semiclassical states of a system with second-class constraints, their scalar product, and the action of semiclassical observables in the first order of the semiclassical expansion. We consider the transformation of semiclassical states in the course of evolution.