# Tag Info

It seems OP's main question concerns the systematics of gauge-fixing. We interpret/reformulate OP's questions as essentially the following. The original gauge-invariant action $S_0$ is unsuitable for quantization, so we add a non-gauge invariant gauge-fixing term to the action. Obviously we cannot add any non-gauge invariant term to the action. ...