Lecture Notes in Loop Quantum Gravity. LN4: Hamiltonian framework

Resumo Técnico: Notas de Aula em Gravidade Quântica em Laços, LN4: Estrutura Hamiltoniana

Definição do Problema
O artigo aborda o desafio de estabelecer uma estrutura hamiltoniana covariante para teorias de campos relativísticos, particularmente aquelas com dinâmicas degeneradas e grandes grupos de simetria (como a Relatividade Geral e a Gravidade Quântica em Laços). Embora a configuração de Hamilton-Jacobi para a formulação de Holst da RG tenha sido discutida em notas anteriores (LN3), um método geral e covariante para definir a formalidade hamiltoniana para teorias relativísticas permanece como objeto de debate.

Os autores identificam duas fontes primárias de dificuldade nas formalidades hamiltonianas de teoria de campos:

1. Dimensionalidade Infinita: Os estados físicos são parametrizados por campos de fronteira em vez de números discretos, o que torna o funcional principal de Hamilton um funcional em vez de uma função.
2. Degenerescência e Simetria: Lagrangians em teorias como a Relatividade Geral e o Eletromagnetismo frequentemente dependem da parte antissimétrica das derivadas (curvatura), impedindo uma transformada de Legendre padrão. Além disso, as simetrias de calibre levam à "sobredeterminação", onde o problema de Cauchy é mal posto sem restringir as condições iniciais a um subconjunto específico (restrições).

O objetivo é revisar a formalidade hamiltoniana a partir de uma perspectiva geométrica fundamental para comparar diferentes estruturas, manter a covariância e caracterizar o espaço de soluções (espaço de fase) de uma teoria sem depender de espaços funcionais específicos.

Metodologia
Os autores empregam uma abordagem geométrica, baseada em teoria de fibrados, para o cálculo variacional, evitando a análise funcional em favor de aplicações entre variedades de dimensão finita (fibrados).

1. Configuração Geométrica:

   • As teorias de campo são modeladas em um fibrado de configuração $[C \to M]$.
   • A dinâmica é definida em prolongamentos de jet $J^kC$, que contabilizam as derivadas parciais de seções (campos).
   • O princípio variacional é formulado usando aplicações globais de fibrados, especificamente o operador de Euler-Lagrange $E$ e o termo de fronteira $F$ derivado da fórmula da primeira variação.

2. Aplicação de Legendre e Fibrados de Fase:

   • Uma aplicação de Legendre $F: J^1C \to P(C)$ é definida, mapeando o fibrado de jet para um fibrado de fase $P(C) = V^*(C) \otimes \Lambda^{m-1}(M)$, onde residem os momentos.
   • Ao contrário da mecânica regular, esta aplicação não é exigida a ser invertível. Se possuir posto constante, sua imagem $\Lambda \subset P(C)$ define a subvariedade de restrição primária.

3. Geometria Multissimplética:

   • Os autores introduzem o fibrado multissimplético $Z(C)$, equipado com uma forma de Liouville $m$-forma canônica $\Theta$ e uma $(m+1)$-forma fechada e não degenerada $\omega = d\Theta$.
   • Eles definem a forma de Poincaré-Cartan $\Theta_L$ no fibrado de jet $J^1C$ via o Lagrangian $L$. Mostra-se que esta forma é o pull-back da forma de Liouville canônica em $Z(C)$ via uma aplicação $\Phi_L$.

4. Formalidade Hamiltoniana:

   • A dinâmica é reformulada no subfibrado de restrição $\Lambda$ usando uma seção hamiltoniana $\tilde{\sigma}$.
   • Um Lagrangiano de Helmholtz $L_H$ é construído em $J^1(\Lambda)$, permitindo a recuperação das equações de Hamilton como as equações de Euler-Lagrange deste novo Lagrangian. Isso estabelece a equivalência entre as descrições Lagrangiana e Hamiltoniana mesmo na presença de degenerescência.

5. Estudos de Caso:
   O framework é aplicado a teorias específicas para demonstrar seu tratamento de restrições e simetrias:

   • Mecânica Newtoniana: O caso regular onde a transformada de Legendre é invertível; o espaço de fase é $R \times T^*Q$.
   • Partícula Pontual Relativística: Um caso degenerado com invariância de reparametrização. O Hamiltoniano desaparece identicamente ($H \equiv 0$), e a dinâmica deixa o parâmetro de "energia" não restrito, refletindo a simetria de calibre.
   • Campo Klein-Gordon: Uma teoria de campo regular sem restrições primárias; o problema de Cauchy é bem posto.
   • Eletromagnetismo: Uma teoria degenerada onde os momentos dependem apenas da intensidade de campo antissimétrica. O funcional Hamiltoniano é independente do componente temporal $A_0$, levando à restrição de Gauss ($D_a E^a = 0$) como uma condição de contorno.
   • Gravidade de Ashtekar-Barbero-Immirzi (ABI): O framework é aplicado à ação de Holst de primeira ordem. A variação da ação produz a restrição de Gauss, a restrição de difeomorfismo (momento) e a restrição hamiltoniana diretamente dos termos de fronteira da forma de Poincaré-Cartan.

Contribuições Principais e Resultados

• Estrutura Hamiltoniana Covariante: O artigo fornece uma definição geométrica rigorosa da formalidade hamiltoniana para teorias de campo que preserva a covariância geral. Ele define o espaço de fase como uma subvariedade do fibrado multissimplético, acomodando dinâmicas degeneradas sem quebrar a covariância.
• Unificação de Formalidades: Ao utilizar a forma de Poincaré-Cartan, os autores demonstram que as descrições Lagrangiana e Hamiltoniana são formulações equivalentes da mesma dinâmica. O funcional principal de Hamilton é derivado diretamente da integral de fronteira da forma de Poincaré-Cartan.
• Derivação de Restrições: O método deriva com sucesso as equações de restrição (Gauss, momento e hamiltoniana) como condições necessárias para que o funcional principal de Hamilton seja estacionário, surgindo especificamente dos termos de fronteira da variação.
• Tratamento de Degenerescência: O framework lida explicitamente com a não-invertibilidade da transformada de Legendre ao restringir o espaço de fase à imagem da aplicação de Legendre ($\Lambda$), tratando-o como uma superfície de restrição primária.

Significância e Alegações
Os autores alegam modestamente que esta análise não introduz novas restrições físicas ou altera as equações fundamentais das teorias discutidas (consistente com LN3). A significância reside em:

1. Clarificação do Espaço de Soluções: Oferece uma caracterização geométrica clara dos estados físicos como campos de fronteira que satisfazem equações de fronteira, os quais determinam univocamente a evolução (história) do sistema.
2. Esquema de Quantização: Do ponto de vista quântico, isso apoia um esquema de quantização onde "configurações pré-quânticas" (campos de fronteira obedecendo às equações de fronteira) são os objetos a serem quantizados.
3. Ferramenta Comparativa: O framework serve como uma linha de base covariante para comparar diferentes formalidades hamiltonianas e suas propriedades estruturais sem a quebra a priori da covariância geral, comum em abordagens como a ADM.
4. Direções Futuras: O artigo sugere que investigações adicionais são necessárias para estabelecer um elo direto entre estas equações de restrição de fronteira e leis de conservação (correntes) ao nível variacional, potencialmente generalizando estruturas como as identidades de Bianchi para equações de fronteira.

O artigo conclui que, para a Gravidade Quântica em Laços (LQG), este framework solidifica a compreensão do espaço de fase clássico antes de proceder para a quantização de conexões e redes de spin.