Procédure dans les théories de jauge qui sélectionne un représentant spécifique dans chaque classe d'équivalence de configurations de champ liées par transformations de jauge, éliminant ainsi les degrés de liberté redondants.

Principe

Imposer une contrainte (condition de jauge) qui intersecte chaque orbite de jauge de manière contrôlée pour que les équations deviennent bien posées pour la dynamique ou la quantification tout en préservant les observables physiques.

Démonstration

Choisir la jauge de Lorenz ∂μA^μ = 0 en électromagnétisme classique pour simplifier les équations de Maxwell et découpler les potentiels des redondances de jauge afin de résoudre les équations d'onde.

Mauvaise application

Imposer une condition de jauge globalement inconsistante (ambiguïté de Gribov) ou qui élimine de véritables modes physiques, conduisant à un comptage incorrect des degrés de liberté ou à la rupture de symétries.

Conséquence

Élimine la redondance non physique, permet des procédures de résolution uniques ou la fixation de jauge dans l'intégrale de chemin avec déterminants de Faddeev–Popov, et clarifie le contenu physique de la théorie.

Inversion

Laisser la liberté de jauge non fixée : traiter des configurations de jauge équivalentes comme distinctes, ce qui conserve la redondance et complique la résolution classique et la quantification.

Limite

Concerne uniquement les symétries locales redondantes des descriptions de champs ; ne modifie pas les observables invariants de jauge et exclut les secteurs topologiques globaux où aucune condition de jauge locale unique n'est lisse et globale.

Tension sémantique

La fixation de jauge est en tension avec les formulations manifestement invariantes de jauge : la première facilite le calcul au prix de fixer la covariance ou la localité, tandis que la seconde conserve l'invariance mais complique souvent les calculs explicites.

Synthèse

La fixation de jauge est l'imposition contrôlée d'une contrainte qui choisit un représentant par orbite de jauge pour éliminer les variables redondantes et rendre la dynamique ou la quantification maniables sans changer les prédictions invariantes de jauge.