Lecture Notes in Loop Quantum Gravity. LN4: Hamiltonian framework

Cet article établit un cadre covariant pour le formalisme hamiltonien dans les théories de champs relativistes et l'applique pour dériver les propriétés de la fonctionnelle principale de Hamilton à travers la mécanique newtonienne, la mécanique relativiste, la théorie de Klein-Gordon, l'électromagnétisme et la gravité d'Ashtekar-Barbero-Immirzi.

L'essentiel

La vue d'ensemble : Cartographier le territoire de la physique

Imaginez que vous essayez de décrire le fonctionnement d'une machine complexe. Vous avez deux manières principales de le faire :

1. Le « Comment » (Lagrangien) : Vous observez les engrenages, les ressorts et les leviers, et vous écrivez les règles qui dictent comment ils se poussent et se tirent les uns les autres. Cela vous donne les équations du mouvement.
2. Le « Où » (Hamiltonien) : Au lieu de regarder les pièces mobiles, vous regardez la carte de tous les états possibles dans lesquels la machine pourrait se trouver. Vous demandez : « Si la machine est dans cet état spécifique, où ira-t-elle ensuite ? »

Ce document traite de la construction d'une « carte » meilleure et plus universelle (un cadre hamiltonien) pour les théories des champs relativistes — comme la gravité et l'électromagnétisme. Les auteurs soutiennent que si le « Comment » (Lagrangien) est excellent pour écrire des règles, le « Où » (Hamiltonien) est meilleur pour comprendre les solutions réelles et les états physiques de l'univers.

Le Problème : La machine « infinie » et la symétrie brisée

En mécanique simple (comme un pendule oscillant), les mathématiques sont directes. Vous connaissez la position et la vitesse, et vous savez exactement ce qui va se passer ensuite.

Mais en théorie des champs (comme la gravité ou la lumière), les choses deviennent compliquées pour deux raisons :

1. C'est infini : Au lieu de quelques nombres décrivant un pendule, vous avez une valeur de champ en chaque point de l'espace. C'est comme essayer de décrire la météo non pas seulement pour une ville, mais pour chaque atome de l'atmosphère simultanément.
2. C'est « dégénéré » (confus) : Dans la gravité et l'électromagnétisme, les règles sont si symétriques que vous ne pouvez pas toujours déterminer le futur simplement en regardant le présent. C'est comme un film où le réalisateur dit : « La scène est la même que la caméra se déplace vers la gauche ou vers la droite. » À cause de cela, certaines équations ne vous disent pas comment les choses évoluent ; elles agissent comme des contraintes (des règles qui restreignent ce qui est autorisé de se produire dès le départ).

Les auteurs disent : « Arrêtons d'essayer de forcer ces théories de champs désordonnées dans les boîtes bien nettes que nous utilisons pour la mécanique simple. Construisons un nouveau cadre qui respecte la symétrie et gère naturellement ces équations « confuses ». »

L'Outil : La forme de « Poincaré-Cartan »

Pour résoudre cela, les auteurs utilisent un outil mathématique appelé la forme de Poincaré-Cartan.

L'analogie : Imaginez que vous faites une randonnée en montagne.

• Le Lagrangien est comme regarder la carte du sentier et la pente du chemin juste devant vos pieds.
• La forme de Poincaré-Cartan est comme une boussole spéciale qui ne se contente pas d'indiquer le Nord ; elle encode l'entièreté de l'énergie et de la quantité de mouvement de votre randonnée dans un seul objet géométrique.

Le document montre que cette « boussole » fonctionne parfaitement, que vous regardiez le problème du côté « Lagrangien » (le sentier) ou du côté « Hamiltonien » (la carte de tous les états possibles). Elle agit comme un pont, prouvant que les deux manières de voir le problème décrivent en réalité la même réalité physique.

La « Bulle » et la Frontière

L'une des idées clés du document est la manière dont nous définissons une « solution » dans un univers relativiste.

L'analie : Imaginez que vous êtes à l'intérieur d'une immense bulle de savon transparente flottant dans l'espace.

• À l'intérieur de la bulle, la physique se produit.
• Les auteurs soutiennent que pour savoir ce qui se passe à l'intérieur, vous n'avez pas besoin de connaître chaque détail de l'intérieur. Vous avez seulement besoin de connaître l'état de la paroi de savon sur la surface de la bulle.

Si vous connaissez les valeurs des champs (comme la gravité ou les champs électriques) sur la frontière de cette bulle, et que ces valeurs satisfont certaines « équations de frontière », vous pouvez mathématiquement reconstruire l'intégralité de la solution à l'intérieur.

• La configuration « pré-quantique » : Les auteurs appellent la configuration des champs sur cette frontière la « configuration pré-quantique ». C'est la donnée brute qui définit un état physique avant même que nous ne commencions la mécanique quantique.

Parcours des exemples

Les auteurs testent leur nouveau cadre sur quatre différentes « machines » pour prouver qu'il fonctionne :

1. Mécanique Newtonienne (Le pendule simple) :

   • Résultat : Leur nouvelle carte sophistiquée fonctionne exactement comme les anciennes cartes simples que nous connaissons déjà. Cela confirme la solidité de leur méthode.

2. Mécanique Relativiste (La particule rapide) :

   • Résultat : Ici, le paramètre « temps » est délicat. La trajectoire de la particule peut être étirée ou compressée sans changer la physique. Les auteurs montrent comment leur cadre gère naturellement cette « re-paramétrisation », en identifiant les contraintes qui maintiennent la cohérence de la physique.

3. Champ de Klein-Gordon (L'onde scalaire) :

   • Résultat : Il s'agit d'une équation d'onde simple. Le cadre fonctionne sans accroc ici, montissant que les « données de frontière » prédisent parfaitement le comportement de l'onde.

4. Électromagnétisme (Lumière et charge) :

   • Résultat : C'est ici que cela devient intéressant. L'électromagnétisme possède une « symétrie de jauge » (vous pouvez modifier le potentiel électrique sans changer le champ physique). Les auteurs montrent comment leur cadre produit naturellement la contrainte de la loi de Gauss (la règle selon laquelle la charge électrique est conservée) en regardant simplement la frontière de la bulle.

5. Gravité Ashtekar-Barbero-Immirzi (Le modèle LQG) :

   • Résultat : Voici le poids lourd pour la Gravité Quantique à Boucles (LQG). Les auteurs appliquent leur cadre à la version spécifique de la gravité utilisée dans la LQG. Ils dérivent avec succès la célèbre contrainte de Gauss et la contrainte de moment directement de la géométrie de la frontière.
   • Pourquoi c'est important : Cela prouve que les « règles » de la Gravité Quantique à Boucles (les contraintes) ne sont pas de simples ajouts arbitraires ; elles sont une conséquence géométrique naturelle de l'observation de la frontière du système.

La Conclusion : Qu'est-ce qu'un « État Physique » ?

Le document se termine par une conclusion à la fois philosophique et pratique.

Dans ce cadre, un état physique n'est pas un instantané de l'univers entier à un moment donné. Au lieu de cela, un état physique est défini par les valeurs des champs sur la frontière d'une région.

• Pour la physique classique : Si vous connaissez la frontière, vous pouvez résoudre l'énigme de ce qui se trouve à l'intérieur.
• Pour la physique quantique : Les auteurs suggèrent que lorsque nous « quantifions » (transformons en mécanique quantique) la théorie, nous devrions quantifier ces configurations de frontière.

Résumé en une phrase

Ce document construit une « boussole » géométrique universelle (la forme de Poincaré-Cartan) qui permet aux physiciens de décrire des champs complexes et symétriques (comme la gravité) en se concentlant sur les règles au bord d'une région, prouvant que les « contraintes » de l'univers sont simplement les conditions requises pour que la frontière ait un sens.

Résumé technique

Résumé Technique : Notes de Cours en Gravité Quantique à Boucles, LN4 : Cadre Hamiltonien

Énoncé du Problème
L'article traite du défi consistant à établir un cadre hamiltonien covariant pour les théories de champs relativistes, particulièrement celles présentant une dynamique dégénérée et de grands groupes de symétrie (telles que la Relativité Générale et la Gravité Quantique à Boucles). Bien que le cadre de Hamilton-Jacobi pour la formulation de Holst de la RG ait été abordé dans les notes précédentes (LN3), une méthode covariante générale pour définir le formalisme hamiltonien des théories relativistes reste un sujet de débat.

Les auteurs identifient deux sources primaires de difficulté dans les formalismes hamiltoniens des théories de champs :

1. Dimensionnalité infinie : Les états physiques sont paramétrés par des champs aux limites plutôt que par des nombres discrets, ce qui fait du fonctionnel principal de Hamilton un fonctionnel plutôt qu'une fonction.
2. Dégénérescence et Symétrie : Les lagrangiens dans des théories comme la Relativité Générale et l'Électromagnétisme dépendent souvent de la partie antisymétrique des dérivées (courbure), empêchant une transformée de Legendre standard. De plus, les symétries de jauge mènent à une « surdétermination », où le problème de Cauchy est mal posé sans restreindre les conditions initiales à un sous-ensemble spécifique (contraintes).

Le but est d'examiner le formalisme hamiltonien d'un point de vue géométrique fondamental pour comparer différents cadres, maintenir la covariance et caractériser l'espace de solutions (espace des phases) d'une théorie sans dépendre de l'espace de fonctions spécifique.

Méthodologie
Les auteurs emploient une approche géométrique, basée sur la théorie des fibrés, pour le calcul variationnel, évitant l'analyse fonctionnelle au profit de l'étude des applications entre des variétés de dimension finie (fibrés).

1. Configuration Géométrique :

   • Les théories de champs sont modélisées sur un fibré de configuration $[C \to M]$.
   • La dynamique est définie sur les prolongements de jets $J^kC$, qui rendent compte des dérivées partielles des sections (champs).
   • Le principe variationnel est formulé à l'aide d'applications globales de fibrés, spécifiquement l'opérateur d'Euler-Lagrange $E$ et le terme de bord $F$ dérivé de la formule de la première variation.

2. Application de Legendre et Fibrés de Phase :

   • Une application de Legendre $F: J^1C \to P(C)$ est définie, associant le fibré de jet au fibré de phase $P(C) = V^*(C) \otimes \Lambda^{m-1}(M)$, où résident les moments.
   • Contrairement à la mécanique classique régulière, cette application n'est pas requise d'être inversible. Si elle possède un rang constant, son image $\Lambda \subset P(C)$ définit le sous-manifold de la contrainte primaire.

3. Géométrie Multisymplectique :

   • Les auteurs introduisent le fibré multisymplectique $Z(C)$, équipé d'une $m$-forme de Liouville canonique $\Theta$ et d'une $(m+1)$-forme fermée et non dégénérée $\omega = d\Theta$.
   • Ils définissent la forme de Poincaré-Cartan $\Theta_L$ sur le fibré de jet $J^1C$ via le Lagrangien $L$. Il est démontré que cette forme est le tiré en arrière de la forme de Liouville canonique sur $Z(C)$ via une application $\Phi_L$.

4. Formalisme Hamiltonien :

   • La dynamique est reformulée sur le sous-manifold de contrainte $\Lambda$ en utilisant une section hamiltonienne $\tilde{\sigma}$.
   • Un Lagrangien de Helmholtz $L_H$ est construit sur $J^1(\Lambda)$, permettant de retrouver les équations de Hamilton comme étant les équations d'Euler-Lagrange de ce nouveau Lagrangien. Cela établit l'équivalence entre les descriptions lagrangienne et hamiltonienne, même en présence de dégénérescence.

5. Études de Cas :
   Le cadre est appliqué à des théories spécifiques pour démontrer sa gestion des contraintes et des symétries :

   • Mécanique Newtonienne : Cas régulier où la transformée de Legendre est inversible ; l'espace des phases est $R \times T^*Q$.
   • Particule Ponctuelle Relativiste : Un cas dégénéré avec invariance par reparamétrisation. Le Hamiltoniste s'annule identiquement ($H \equiv 0$), et la dynamique laisse le paramètre d'« énergie » non contraint, reflétant la symétrie de jauge.
   • Champ de Klein-Gordon : Une théorie de champ régulière sans contraintes primaires ; le problème de Cauchy est bien posé.
   • Électromagnétisme : Une théorie dégénérée où les moments dépendent uniquement de la force de champ antisymétrique. Le fonctionnel Hamiltonien est indépendant de la composante temporelle $A_0$, menant à la contrainte de Gauss ($D_a E^a = 0$) comme condition de bord.
   • Gravité Ashtekar-Barbero-Immirzi (ABI) : Le cadre est appliqué à l'action de Holst de premier ordre. La variation de l'action produit la contrainte de Gauss, la contrainte de diffeomorphism (moment) et la contrainte hamiltonienne directement à partir des termes de bord de la forme de Poincaré-Cartan.

Contributions Clés et Résultats

• Cadre Hamiltonien Covariant : L'article fournit une définition géométrique rigoureuse du formalisme hamiltonien pour les théories de champs qui préserve la covariance générale. Il définit l'espace des phases comme un sous-manifold du fibré multisymplectique, accommodant les dynamiques dégénérées sans briser la covariance.
• Unification des Formalismes : En utilisant la forme de Poincaré-Cartan, les auteurs démontrent que les descriptions lagrangienne et hamiltonienne sont des formulations équivalentes de la même dynamique. Le fonctionnel principal de Hamilton est dérivé directement de l'intégrale de bord de la forme de Poincaré-Cartan.
• Dérivation des Contraintes : La méthode dérive avec succès les équations de contrainte (Gauss, moment et Hamilton) comme des conditions nécessaires pour que le fonctionnel principal de Hamilton soit stationnaire, émergeant spécifiquement des termes de bord de la variation.
• Gestion de la Dégénérescence : Le cadre gère explicitement la non-inversibilité de la transformée de Legendre en restreignant l'espace des phases à l'image de l'application de Legendre ($\Lambda$), traitant celle-ci comme une surface de contrainte primaire.

Signification et Revendications
Les auteurs affirment modestement que cette analyse n'introduit pas de nouvelles contraintes physiques et ne modifie pas les équations fondamentales des théories discutées (en cohérence avec LN3). Leur importance réside plutôt dans :

1. Clarification de l'Espace de Solutions : Elle offre une caractérisation géométrique claire des états physiques comme des champs de bord satisfaisant des équations de bord spécifiques, qui déterminent de manière unique l'évolution (l'histoire) du système.
2. Schéma de Quantification : D'un point de vue quantique, cela soutient un schéma de quantification où les « configurations pré-quantiques » (champs de bord obéissant aux équations de bord) sont les objets à quantifier.
3. Outil Comparatif : Le cadre sert de base covariante pour comparer différents formalismes hamiltoniens et leurs propriétés structurelles sans la rupture a priori de la covariance générale souvent observée dans des approches comme l'ADM.
4. Directions Futures : L'article suggère qu'une investigation supplémentaire est nécessaire pour établir un lien direct entre ces équations de contrainte de bord et les lois de conservation (courants) au niveau variationnel, généralisant potentiellement des structures comme les identités de Bianchi aux équations de bord.

L'article conclut que pour la Gravité Quantique à Boucles (LQG), ce cadre consolide la compréhension de l'espace des phases classique avant de procéder à la quantification des connexions et des réseaux de spins.