We show that both abelian and non-abelian gauge theories admit configurations in which the fields behave as if in the presence of static charge densities, or ``shadow charges". These correspond to nontrivial initial conditions for the fields that generate gauge transformations, the Gauss' law operators. In non-abelian theories, such configurations seem to demand additional physical fields with exactly static charge densities. In contrast with this expectation, we show that gauge theory alone provides a consistent and gauge-invariant description of shadow charges. Canonical quantization then yields continuous shadow charges for abelian theories and quantized ones for non-abelian theories. In general, our findings indicate that all local conservation laws give rise to gauge symmetries, even in the presence of second-class constraints.
Cet article démontre que les théories de jauge abéliennes et non-abéliennes admettent des configurations où les champs se comportent comme s'il existait une densité de charge statique « fantôme ». Ces configurations correspondent à des conditions initiales non triviales des champs générant les transformations de jauge (opérateurs de la loi de Gauss). Dans les théories non-abéliennes, ces configurations semblent nécessiter des champs physiques supplémentaires possédant une densité de charge statique exacte. Contrairement à cette attente, cet article démontre que la théorie de jauge seule fournit une description cohérente et invariante de jauge des charges fantômes. La quantification canonique produit des charges fantômes continues dans la théorie abélienne et des charges fantômes quantifiées dans la théorie non-abélienne. Globalement, les résultats de cette recherche suggèrent que toutes les lois de conservation locales génèrent des symétries de jauge, même en présence de contraintes de deuxième classe.
L'étude traditionnelle des théories de jauge suppose généralement que les conditions initiales de la loi de Gauss sont nulles, c'est-à-dire ∇⋅E−J0=0. Cependant, du point de vue de la mécanique hamiltonienne, la loi de conservation selon laquelle la dérivée temporelle de l'opérateur de Gauss est nulle permet des conditions initiales plus générales : ∇⋅E−J0=ρ(x), où ρ(x) est une fonction arbitraire indépendante du temps.
Complétude de l'espace des phases: L'approche traditionnelle ne considère qu'un sous-ensemble de l'espace des phases de la théorie de jauge, omettant les configurations plus larges contenant des charges fantômes
Fondements de la symétrie de jauge: Clarification de la relation fondamentale entre les lois de conservation locales et la symétrie de jauge
Remise en question de l'invariance de Lorentz: L'existence de charges fantômes suggère que l'invariance de Lorentz complète pourrait être une caractéristique accidentelle des théories de jauge
Traitement traditionnel: Historiquement, les constantes d'intégration ont été fixées à zéro, conduisant à une description incomplète de la théorie
Difficultés avec les contraintes de deuxième classe: Dans le cas non-abélien, la vision traditionnelle considère que les contraintes de deuxième classe brisent la symétrie de jauge
Dépendance UV: La méthode standard nécessite l'introduction de champs UV de masse infinie pour traiter les charges fantômes non-abéliennes
Démonstration de la complétude de la théorie de jauge pure: Description cohérente des charges fantômes sans introduction de champs supplémentaires de masse infinie
Développement de la méthode des orbites de contraintes: Proposition d'un nouveau cadre pour traiter les contraintes de deuxième classe en préservant l'invariance de jauge
Extension du formalisme BRST: Construction d'un opérateur « orbite-BRST » pour traiter les charges fantômes non-abéliennes
Établissement des conditions de quantification: Démonstration que les charges fantômes non-abéliennes doivent satisfaire des conditions de quantification
Clarification de la relation entre lois de conservation et symétrie de jauge: Démonstration que toutes les lois de conservation locales correspondent à des symétries de jauge
Cet article étudie les configurations de l'espace des phases des théories de jauge contenant des conditions initiales non triviales de la loi de Gauss, avec pour objectifs:
Au niveau classique: établir une description invariante de jauge incluant les charges fantômes
Au niveau quantique: réaliser une quantification canonique cohérente et déterminer les états physiques
Cet article propose que les contraintes de deuxième classe génèrent toujours de véritables transformations de jauge, mais agissent sur l'orbite de contrainte (l'union de toutes les surfaces de contrainte physiquement équivalentes), plutôt que sur une surface de contrainte unique.
En QED, les charges fantômes peuvent prendre des valeurs continues. Les états physiques peuvent être construits à partir d'états cohérents du champ électrique longitudinal:
∣ρ⟩=exp{i∫d3xEjclAj}∣0⟩
Par construction d'opérateurs de charge satisfaisant l'algèbre du groupe:
qa(f)=∫d3xf(x)Ga(x)
En utilisant une analyse analogue à celle de la théorie du moment angulaire, on peut démontrer que les valeurs propres de l'opérateur de Casimir doivent être quantifiées:
αℓUVρ2(x)ℓUV6=j(j+1)
Cela signifie que les charges fantômes non-abéliennes sont discrètes dans la théorie quantique.
En QED, par construction explicite des opérateurs de création et d'annihilation, on démontre que les modes non-physiques (modes de jauge et modes fantômes) se découplent par le mécanisme de quadruplet. L'opérateur de comptage:
N=∫d3k(a†b+b†a+g†gˉ+gˉ†g)
satisfait N=[K,Q], assurant que le nombre d'excitations non-physiques dans les états physiques est nul.
Par fixation de jauge, on peut exprimer la théorie sous la forme familière de Faddeev-Popov, mais incluant un courant de fond:
SK=∫d4x(−41FμνaFaμν+AμaJSμa+Lghost)
Démonstration que les deux approches pour traiter les charges fantômes non-abéliennes (méthode des champs UV et méthode des orbites de contraintes) sont physiquement équivalentes, donnant les mêmes valeurs d'espérance des observables invariantes de jauge.
Méthode de Dirac: Utilisation traditionnelle des crochets de Dirac pour traiter les contraintes de deuxième classe, mais rencontre des difficultés lors de la quantification
Méthode de Batalin-Fradkin-Vilkovisky: Conversion des contraintes de deuxième classe en contraintes de première classe par introduction de champs auxiliaires
Formalisme BRST: Cet article étend la méthode BRST standard pour traiter les orbites de contraintes
Description complète de l'espace des phases: L'espace des phases des théories de jauge contient des configurations plus riches que la compréhension traditionnelle
Universalité de la symétrie de jauge: Toutes les lois de conservation locales correspondent à des symétries de jauge, même en présence de contraintes de deuxième classe
Différences dans la quantification: Les charges fantômes abéliennes sont continues, les charges fantômes non-abéliennes sont quantifiées
Brisure douce de l'invariance de Lorentz: Les charges fantômes ne produisent qu'une brisure douce de Lorentz en IR
Innovativité conceptuelle: Proposition d'une nouvelle perspective pour traiter les contraintes de deuxième classe, évitant les difficultés des méthodes traditionnelles
Rigueur mathématique: L'extension du formalisme BRST est mathématiquement rigoureuse et auto-cohérente
Profondeur des intuitions physiques: Révélation du lien profond entre lois de conservation et symétrie de jauge
Généralité de la méthode: La méthode des orbites de contraintes s'applique à tous les systèmes possédant des contraintes de deuxième classe
Orbite de contrainte: Introduction du concept d'orbite de contrainte, unifiant toutes les surfaces de contrainte physiquement équivalentes
Description IR: Fourniture d'une description des charges fantômes purement en IR, évitant la dépendance UV
Conditions de quantification: Établissement des conditions de quantification que doivent satisfaire les charges fantômes non-abéliennes
Cet article apporte des contributions importantes au niveau des concepts fondamentaux de la physique théorique, offrant une nouvelle perspective pour comprendre la structure complète des théories de jauge, avec une valeur théorique importante et des perspectives d'application potentielles.