A note on unfree gauge symmetry

We study the general structure of field theories with the unfree gauge symmetry where the gauge parameters are restricted by differential equations. The examples of unfree gauge symmetries include volume preserving diffeomorphisms in the unimodular gravity and various higher spin field theories with transverse gauge symmetries. All the known examples of the models with unfree gauge symmetry share one common feature. They admit local quantities which vanish on shell, though they are not linear combinations of Lagrangian equations and their derivatives. We term these quantities as mass shell completion functions. In the case of usual gauge symmetry with unconstrained gauge parameters, the irreducible gauge algebra involves the two basic constituents: the action functional and gauge symmetry generators. For the case of unfree gauge symmetry, we identify two more basic constituents: operators of gauge parameter constraints and completion functions. These two extra constituents are involved in the algebra of unfree gauge symmetry on equal footing with action and gauge symmetry generators. Proceeding from the algebra, we adjust the Faddeev-Popov (FP) path integral quantization scheme to the case of unfree gauge symmetry. The modified FP action involves the operators of the constraints imposed on the gauge parameters, while the corresponding BRST transformation involves the completion functions. The BRST symmetry ensures gauge independence of the path integral. We provide two examples which admit the alternative unconstrained parametrization of gauge symmetry and demonstrate that they lead to the equivalent FP path integral.