Lecture Notes in Loop Quantum Gravity. LN4: Hamiltonian framework

Technische Samenvatting: Lecture Notes in Loop Quantum Gravity, LN4: Hamiltonian Framework

Probleemstelling
Het artikel behandelt de uitdaging van het vestigen van een covariante Hamiltoniaanse framework voor relativistische veldentheorieën, in het bijzonder die met gedegenereerde dynamica en grote symmetriegroepen (zoals de Algemene Relativiteitstheorie en Loop Quantum Gravity). Terwijl de Hamilton-Jacobi setting voor de Holst-formulering van de GR werd besproken in eerdere aantekeningen (LN3), blijft een algemene, covariante methode om het Hamiltoniaanse formalisme voor relativistische theorieën te definiëren een onderwerp van debat.

De auteurs identificeren twee primaire bronnen van moeilijkheden in veldentheoretische Hamiltoniaanse formalismen:

1. Oneindig dimensionaliteit: Fysieke toestanden worden geparametriseerd door randvelden in plaats van discrete getallen, waardoor de Hamilton principe-functionaal een functionaal is in plaats van een functie.
2. Degeneratie en Symmetrie: Lagrangians in theorieën zoals de Algemene Relativiteitstheorie en Elektromagnetisme hangen vaak af van het asaymmetrische deel van de afgeleiden (kromming), wat een standaard Legendre-transformatie verhindert. Bovendien leiden de ijkersymmetrieën tot "overbepaaldheid", waarbij het Cauchy-probleem slecht gesteld is zonder de initiële condities te beperken tot een specifieke deelverzameling (constraints).

Het doel is om het Hamiltoniaanse formalisme te herzien vanuit een fundamenteel geometrisch perspectief om verschillende frameworks te vergelijken, covariantie te behouden en de oplossingsruimte (faseruimte) van een theorie te karakteriseren zonder afhankelijk te zijn van specifieke functionele ruimtes.

Methodologie
De auteurs hanteren een geometrische, bundel-theoretische benadering van de variationele calculus, waarbij zij functionaliteit vermijden ten gunste van kaarten tussen eindige-dimensionale manifolds (bundels).

1. Geometrische Opzet:

   • Veldentheorieën worden gemodelleerd op een configuratiebundel $[C \to M]$.
   • Dynamica worden gedefinieerd op jet-prolongaties $J^kC$, die partiële afgeleiden van secties (velden) accounten.
   • Het variatiemodel wordt geformuleerd met behulp van globale bundelkaarten, specifeert de Euler-Lagrange operator $E$ en de randterm $F$ afgeleid van de eerste variatieformule.

2. Legendre-afbeelding en Fasebundels:

   • Een Legendre-afbeelding $F: J^1C \to P(C)$ wordt gedefinieerd, die de jet-bundel naar een fasebundel $P(C) = V^*(C) \otimes \Lambda^{m-1}(M)$ mapt, waar impulsen verblijven.
   • In tegenstelling tot bij reguliere mechanica, hoeft deze afbeelding niet omkeerbaar te zijn. Als deze een constante rang heeft, definieert de afbeelding $\Lambda \subset P(C)$ de primaire constraint submanifold.

3. Multisymplectische Geometrie:

   • De auteurs introduceren de multisymplectische bundel $Z(C)$, uitgerust met een canonieke Liouville $m$-vorm $\Theta$ en een gesloten, niet-degeneratieve $(m+1)$-vorm $\omega = d\Theta$.
   • Zij definiëren de Poincaré-Cartan vorm $\Theta_L$ op de jet-bundel $J^1C$ via de Lagrangian $L$. Deze vorm wordt getoond als de pull-back van de canonieke Liouville-vorm op $Z(C)$ via een afbeelding $\Phi_L$.

4. Hamiltoniaanse Formulering:

   • De dynamica worden geherformuleerd op de constraint-submanifold $\Lambda$ met behulp van een Hamiltoniaanse sectie $\tilde{\sigma}$.
   • Een Helmholtz-Lagrangian $L_H$ wordt geconstrueerd op $J^1(\Lambda)$, waardoor de terugwinning van de Hamilton-vergelijkingen als de Euler-Lagrange-vergelijkingen van deze nieuwe Lagrangian mogelijk wordt. Dit vestigt de equivalentie tussen de Lagrangian en de Hamiltoniaanse beschrijvingen, zelfs in aanwezigheid van degeneratie.

5. Casestudies:
   Het framework wordt toegepast op specifieke theorieën om de behandeling van constraints en symmetrieën te demonstreren:

   • Newtoniaanse Mechanica: De reguliere casus waarbij de Legendre-transformatie omkeerbaar is; de faseruimte is $R \times T^*Q$.
   • Relativistisch Puntdeeltje: Een gedegenereerde casus met herparametrisatie-invariantie. De Hamiltonian verdwijnt identiek ($H \equiv 0$), en de dynamica laten de "energie"-parameter onbeperkt, wat de ijkersymmetrie reflecteert.
   • Klein-Gordon Veld: Een reguliere veldentheorie zonder primaire constraints; het Cauchy-probleem is goed gesteld.
   • Elektromagnetisme: Een gedegenereerde theorie waarbij de impulsen alleen afhangen van de asaymmetrische veldsterkte. Het Hamiltonian-functionaal is onafhankelijk van de temporele component $A_0$, wat leidt tot de Gauss-constraint ($D_a E^a = 0$) als randvoorwaarde.
   • Ashtekar-Barbero-Immirzi (ABI) Zwaartekracht: Het framework wordt toegepast op de first-order Holst-actie. De variatie van de actie levert de Gauss-constraint, de differentiaal (momentum) constraint en de Hamiltonian-constraint direct op uit de randtermen van de Poincaré-Cartan vorm.

Belangrijkste Bijdragen en Resultaten

• Covariante Hamiltoniaanse Framework: Het artikel biedt een rigoureuze geometrische definitie van het Hamiltoniaanse formalisme voor veldentheorieën die de algemene covariantie behoudt. Het definieert de faseruimte als een submanifold van de multisymplectische bundel, wat gedegenereerde dynamica accommodeert zonder de covariantie te breken.
• Unificatie van Formalismen: Door gebruik te maken van de Poincaré-Cartan vorm, demonstreren de auteurs dat de Lagrangian en de Hamiltoniaanse beschrijvingen equivalente formuleringen zijn van dezelfde dynamica. Het Hamilton principe-functionaal wordt direct afgeleid van de randintegraal van de Poincaré-Cartan vorm.
• Afleiding van Constraints: De methode leidt succesvol de constraint-vergelijkingen af (Gauss, momentum en Hamiltonian constraints) als noodzakelijke voorwaarden voor de stationaire Hamilton principe-functionaal, specifiek voortvloeiend uit de randtermen van de variatie.
• Behandeling van Degeneratie: Het framework behandelt expliciet de niet-omkeerbaarheid van de Legendre-transformatie door de faseruimte te beperken tot de afbeelding van de Legendre-afbeelding ($\Lambda$), waarbij deze wordt behandeld als een primaire constraint-oppervlak.

Betekenis en Claims
De auteurs claimen bescheiden dat deze analyse geen nieuwe fysieke constraints introduceert of de fundamentele vergelijkingen van de besproken theorieën wijzigt (consistent met LN3). De betekenis ligt in:

1. Verheldering van de Oplossingsruimte: Het biedt een heldere geometrische karakterisering van fysieke toestanden als randvelden die voldoen aan randvergelijkingen, welke de evolutie (geschiedenis) van het systeem uniek bepalen.
2. Kwantiseringsschema: Vanuit een kwantumperspectief ondersteunt dit een kwantiseringsschema waarbij "pre-kwantum configuraties" (randvelden die de randvergelijkingen voldoen) de objecten zijn die gekwantiseerd worden.
3. Vergelijkend Instrument: Het framework dient als een covariante baseline om verschillende Hamiltoniaanse formalismen en hun structurele eigenschappen te vergelijken zonder de a priori breuk van de algemene covariantie die vaak te zien is bij benaderingen zoals ADM.
4. Toekomstige Richtingen: Het artikel suggereert dat verder onderzoek nodig is om een directe link te leggen tussen deze rand-constraintvergelijkingen en behoudswetten (stromen) op het niveau van de variatie, wat potentieel structuren zoals Bianchi-identiteiten kan generaliseren naar randvergelijkingen.

Het artikel concludeert dat voor Loop Quantum Gravity (LQG), dit framework het begrip van de klassieke faseruimte consolideert voordat men overgaat tot de kwantisering van verbindingen en spin-netwerken.