Gauge-fixing parameter independence from BRST symmetry
= Gauge-fixing parameter independence from BRST symmetry
{title2=$\partial_\xi\mathcal L=s(-b^ah^a/2)$}
For auxiliary-field covariant gauge fixing, varying the parameter inserts a <BRST-exact operator>. Its correlations with separated physical <BRST-closed> operators vanish by the <BRST Ward identity>. Normalized physical correlators are therefore independent of the parameter under the invariant-measure and boundary assumptions.