A procedure in gauge theories that selects a specific representative from each equivalence class of field configurations related by gauge transformations, thereby removing redundant degrees of freedom.

Principle

Impose a constraint (a gauge condition) that intersects each gauge orbit in a controlled way so equations become well-posed for dynamics or quantization while preserving physical observables.

Demonstration

Choosing the Lorenz gauge ∂μA^μ = 0 in classical electromagnetism to simplify Maxwell's equations and decouple potentials from gauge redundancies for solving wave equations.

Misapplication

Imposing a gauge condition that is inconsistent globally (Gribov ambiguity) or that eliminates genuine physical modes, leading to incorrect counting of degrees of freedom or broken symmetries.

Consequence

Removes nonphysical redundancy, enables unique solution procedures or path-integral gauge fixing with Faddeev–Popov determinants, and clarifies the physical content of the theory.

Reversal

Leaving gauge freedom unfixed: treating gauge-equivalent configurations as distinct, which retains redundancy and complicates both classical solution and quantization procedures.

Boundary

Concerns only redundant local symmetries of field descriptions; does not alter gauge-invariant observables and excludes global topological sectors where no single local gauge condition is smooth and global.

Semantic Tension

Gauge fixing competes with manifestly gauge-invariant formulations: the former eases calculation at the cost of fixing covariance or locality, while the latter maintains invariance but often complicates explicit computations.

Synthesis

Gauge fixing is the controlled imposition of a constraint that picks a representative per gauge orbit to eliminate redundant variables and render dynamics or quantization tractable without changing gauge-invariant predictions.