Lecture Notes in Loop Quantum Gravity. LN4: Hamiltonian framework

Sintesi Tecnica: Note di Lezione in Gravità Quantistica a Loop, LN4: Framework Hamiltoniano

Problema
Il documento affronta la sfida di stabilire un framework hamiltoniano covariante per le teorie di campo relativistiche, in particolare per quelle con dinamiche degenerate e grandi gruppi di simmetria (come la Relatività Generale e la Gravità Quantistica a Loop). Sebbene l'impostazione Hamilton-Jacobi per la formulazione di Holst della RG sia stata discussa nelle note precedenti (LN3), un metodo covariante generale per definire il formalismo hamiltoniano per le teorie relativistiche rimane oggetto di dibattito.

Gli autori identificano due fonti primarie di difficoltà nei formalismi hamiltoniani delle teorie di campo:

1. Infinite dimensionalità: Gli stati fisici sono parametrizzati da campi di confine piuttosto che da numeri discreti, rendendo il funzionale principale di Hamilton un funzionale anziché una funzione.
2. Degenerazione e Simmetria: I Lagrangiani in teorie come la Relatività Generale e l'Elettromagnetismo spesso dipendono dalla parte antisimmetrica delle derivate (curvatura), impedendo una standard trasformazione di Legendre. Inoltre, le simmetrie di gauge portano a una "sovra-determinazione", in cui il problema di Cauchy è mal posto senza restringere le condizioni iniziali a un sottoinsieme specifico (vincoli).

L'obiettivo è rivedere il formalismo hamiltoniano da una prospettiva geometrica fondamentale per confrontare diversi framework, mantenere la covarianza e caratterizzare lo spazio delle soluzioni (spazio delle fasi) di una teoria senza fare affidamento su specifici spazi funzionali.

Metodologia
Gli autori impiegano un approccio geometrico, basato sulla teoria dei fasci (bundle-theoretic), al calcolo variazionale, evitando l'analisi funzionale a favore di mappe tra varietà finite-dimensional (fasci).

1. Configurazione Geometrica:

   • Le teorie di campo sono modellate su un fascio di configurazione $[C \to M]$.
   • La dinamica è definita su prolungamenti di jet $J^kC$, che tengono conto delle derivate parziali delle sezioni (campi).
   • Il principio variazionale è formulato utilizzando mappe globali di fasci, specificamente l'operatore di Euler-Lagrange $E$ e il termine di confine $F$ derivato dalla formula della prima variazione.

2. Mappa di Legendre e Fasci di Fase:

   • Una mappa di Legendre $F: J^1C \to P(C)$ è definita, che mappa il fascio di jet in un fascio di fase $P(C) = V^*(C) \otimes \Lambda^{m-1}(M)$, dove risiedono i momenti.
   • A differenza della meccanica regolare, questa mappa non è richiesta di essere invertibile. Se possiede un rango costante, la sua immagine $\Lambda \subset P(C)$ definisce il sottoinsieme della varietà del vincolo primario.

3. Geometria Multisimpletica:

   • Gli autori introducono il fascio multisimpletico $Z(C)$, dotato di una forma di Liouville $\Theta$ canonica e di una forma $(m+1)$ chiusa e non degenere $\omega = d\Theta$.
   • Definiscono la forma di Poincaré-Cartan $\Theta_L$ sul jet bundle $J^1C$ tramite il Lagrangiano $L$. Si dimostra che questa forma è il pull-back della forma di Liouville canonica su $Z(C)$ tramite una mappa $\Phi_L$.

4. Formulazione Hamiltoniana:

   • La dinamica viene riformulata sulla sottovarietà del vincolo $\Lambda$ utilizzando una sezione hamiltoniana $\tilde{\sigma}$.
   • Un Lagrangiano di Helmholtz $L_H$ viene costruito su $J^1(\Lambda)$, permettendo il recupero delle equazioni di Hamilton come equazioni di Euler-Lagrange di questo nuovo Lagrangiano. Ciò stabilisce l'equivalenza tra le descrizioni lagrangiana e hamiltoniana anche in presenza di degenerazione.

5. Casi di Studio:
   Il framework viene applicato a specifiche teorie per dimostrare la gestione di vincoli e simmetrie:

   • Meccanica Newtoniana: Il caso regolare in cui la trasformazione di Legendre è invertibile; lo spazio delle fasi è $R \times T^*Q$.
   • Particella Puntiforme Relativistica: Un caso degenero con invarianza di riparametrizzazione. L'Hamiltoniano svanisce identicamente ($H \equiv 0$), e la dinamica lascia il parametro di "energia" non vincolato, riflettendo la simmetria di gauge.
   • Campo Klein-Gordon: Una teoria di campo regolare senza vincoli primari; il problema di Cauchy è ben posto.
   • Elettromagnetismo: Una teoria degenera dove i momenti dipendono solo dalla intensità di campo antisimmetrica. Il funzionale Hamiltoniano è indipendente dalla componente temporale $A_0$, portando al vincolo di Gauss ($D_a E^a = 0$) come condizione di confine.
   • Gravità di Ashtekar-Barbero-Immirzi (ABI): Il framework è applicato alla prima azione di Holst. La variazione dell'azione produce il vincolo di Gauss, il vincolo di diffeomorfismo (momento) e il vincolo hamiltoniano direttamente dai termini di confine della forma di Poincaré-Cartan.

Contributi Chiave e Risultati

• Framework Hamiltoniano Covariante: Il documento fornisce una definizione geometrica rigorosa del formalismo hamiltoniano per le teorie di campo che preserva la generale covarianza. Definisce lo spazio delle fasi come una sottovarietà del fascio multisimpletico, accogliendo dinamiche degenerate senza rompere la covarianza.
• Unificazione dei Formalismi: Utilizzando la forma di Poincaré-Cartan, gli autori dimostrano che le descrizioni lagrangiana e hamiltoniana sono formulazioni equivalenti della stessa dinamica. Il funzionale principale di Hamilton è derivato direttamente dall'integrale di confine della forma di Poincaré-Cartan.
• Derivazione dei Vincoli: Il metodo deriva con successo le equazioni di vincolo (vincoli di Gauss, di momento e hamiltoniano) come condizioni necessarie affinché il funzionale principale di Hamilton sia stazionario, derivando specificamente dai termini di confine della variazione.
• Gestione della Degenerazione: Il framework gestisce esplicitamente la non-invertibilità della trasformazione di Legendre limitando lo spazio delle fasi all'immagine della mappa di Legendre ($\Lambda$), trattandola come una superficie di vincolo primario.

Significato e Rivendicazioni
Gli autori affermano con modestia che questa analisi non introduce nuovi vincoli fisici né altera le equazioni fondamentali delle teorie discusse (coerentemente con LN3). La significatività risiede nel fatto che:

1. Chiarire lo Spazio delle Soluzioni: Offre una chiara caratterizzazione geometrica degli stati fisici come campi di confine che soddisfano specifiche equazioni di confine, le quali determinano unicamente l'evoluzione (storia) del sistema.
2. Schema di Quantizzazione: Da una prospettiva quantistica, ciò supporta uno schema di quantizzazione in cui le "configurazioni pre-quantistiche" (campi di confine che obbediscono alle equazioni di confine) sono gli oggetti da quantizzare.
3. Strumento Comparativo: Il framework serve come base covariante per confrontare diversi formalismi hamiltoniani e le loro proprietà strutturali senza la rottura a priori della covarianza generale spesso vista in approcci come l'ADM.
4. Direzioni Future: Il documento suggerisce che ulteriori indagini siano necessarie per stabilire un legame diretto tra queste equazioni di vincolo di confine e le leggi di conservazione (correnti) a livello variazionale, potenzialmente generalizzando strutture come le identità di Bianchi a equazioni di confine.

Il documento conclude che, per la Gravità Quantistica a Loop (LQG), questo framework consolida la comprensione dello spazio delle fasi classico prima di procedere alla quantizzazione di connessioni e reti di spin.