Consistent Canonical Quantization of Gravity: Recovery of Classical GR from BRST-invariant Coherent States

Resumo Técnico: Quantização Canônica Consistente da Gravidade: Recuperação da RG Clássica a partir de Estados Coerentes BRST-invariantes

Problema
O artigo aborda as dificuldades persistentes na quantização canônica da Relatividade Geral (RG), especificamente o "problema do tempo" e o aparente desaparecimento do Hamiltoniano em estados físicos. Na abordagem canônica tradicional (como a quantização de Wheeler-DeWitt), a restrição do Hamiltoniano $\hat{H}|\text{phys}\rangle = 0$ implica que os estados físicos são estáticos, o que aparentemente impede a evolução temporal não trivial e a recuperação da dinâmica clássica. Além disso, tratamentos semiclássicos padrão, que quantizam campos sobre backgrounds clássicos fixos, falham quando a retroação quântica (back-reaction) torna-se significativa (por exemplo, em física de buracos negros ou cosmologia). Os autores buscam uma quantização canônica consistente da RG como uma teoria de campo efetiva de baixa energia que recupere a dinâmica da RG clássica, incluindo a evolução temporal, sem depender de um background clássico pré-existente.

Metodologia
Os autores empregam um arcabouço de quantização canônica BRST-invariante, distinto da abordagem Wheeler-DeWitt. A metodologia procede através dos seguintes passos:

1. Seleção do Vácuo e Fixação de Gauge: A teoria é quantizada de uma vez por todas em torno do vácuo de Minkowski ($\eta_{\mu\nu}$). Diferente de abordagens que tratam o background como um input clássico, os autores postulam que o vácuo de Minkowski é o único candidato consistente para o estado de vácuo da teoria. A quantização é realizada utilizando o Lagrangiano BRST-invariante, que inclui o termo de Einstein-Hilbert, termos de fixação de gauge (introduzindo um campo auxiliar $b_\mu$) e termos de fantasma de Faddeev-Popov ($c_\mu, \bar{c}_\mu$).
2. Formalismo Canônico: Os autores utilizam o formalismo ADM, mas redefinem as variáveis canônicas para incluir as componentes temporais da métrica ($A_\mu \equiv \sqrt{-g}g_{0\mu}$) e a métrica espacial $\gamma_{ij}$. A introdução do campo auxiliar $b_\mu$ garante que as componentes temporais adquiram momentos conjugados canônicos, resolvendo problemas onde as derivadas temporais estão ausentes na formulação invariante de gauge.
3. Carga BRST e Estados Físicos: O espaço de Hilbert físico é definido como o conjunto de estados anulados pela carga BRST ($\hat{Q}|\text{phys}\rangle = 0$) com número de fantasma nulo. Isso substitui a imposição ingênua das restrições $\hat{H}|\text{phys}\rangle = 0$ e $\hat{P}_i|\text{phys}\rangle = 0$ diretamente sobre os vetores de estado.
4. Estados Coerentes como Backgrounds: Geometrias espaciais clássicas (por exemplo, backgrounds cosmológicos ou de buracos negros) não são tratadas como backgrounds fixos, mas como estados coerentes BRST-invariantes construídos sobre o vácuo de Minkowski.
5. Reparametrização: Os autores analisam reparametrizações de coordenadas (por exemplo, de Minkowski para Rindler ou FLRW) ajustando as condições de fixação de gauge para garantir que o valor de expectativa de um ponto da métrica mantenha a forma clássica desejada.

Principais Contribuições e Resultados

• Recuperação da Dinâmica Clássica: O artigo demonstra que as propriedades clássicas da RG, incluindo o desaparecimento do Hamiltoniano de bulk (modulo contribuições de borda) e a existência de evolução temporal, são recuperadas como valores de expectativa em estados físicos apropriados. Especificamente, embora o operador $\hat{H}$ não necessariamente anule os estados físicos (ao contrário da quantização de restrição ingênua), seu valor de expectativa $\langle \text{phys} | \hat{H} | \text{phys} \rangle$ desaparece no limite clássico ($\hbar \to 0$) para estados que satisfazem as restrições.
• Evolução Temporal Não Trivial: Crucialmente, o arcabouço BRST permite a evolução temporal não trivial de funções de correlação. As restrições são realizadas dinamicamente entre estados físicos (analogamente à condição de Gupta-Bleuler em QED) em vez de como equações de operador que anulam o estado. Isso permite que $\partial_t \langle \hat{\Pi}_{mn} \rangle \neq 0$, recuperando as equações de Einstein clássicas para as funções de um ponto da métrica.
• Consistência da Matriz S: Os autores estabelecem uma correspondência entre a matriz S de baixa energia de gravitons e o formalismo Hamiltoniano canônico. Eles mostram que a ação efetiva clássica para fontes é recuperada a partir do valor de expectativa do operador da matriz S sobre estados coerentes. Isso valida a existência de um fluxo Hamiltoniano bem definido consistente com a teoria de espalhamento de gravitons.
• Independência de Background via Estados Coerentes: O arcabouço trata backgrounds não triviais (como de Sitter ou FLRW) como estados coerentes do campo gravitacional quantizado. Isso resolve a questão da "independência de background" ao quantizar a teoria sobre um vácuo fixo (Minkowski) e gerar outros backgrounds como estados quânticos, em vez de quantizar sobre um background curvo pré-existente.
• Sensibilidade ao Cutoff e Energia de Vácuo: A quantização sobre o vácuo exato de Minkowski impõe uma condição de consistência de que a energia de vácuo $\Lambda$ deve ser exatamente zero. Uma mudança para vacuas de de Sitter ou Anti-de Sitter (AdS) tornaria o esquema autocontraditório. Isso se alinha com argumentos de matriz S que excluem vacuas de de Sitter eternos.
• Motivação para Supersimetria: O artigo argumenta que o requisito de invariância de Poincaré exata do vácuo de Minkowski (necessária para a consistência da quantização e da matriz S) fornece uma forte motivação para a supersimetria espontaneamente quebrada. Especificamente, a supersimetria é necessária para evitar a violação da invariância de Poincaré por instantons gravitacionais (como instantons de Eguchi-Hanson), que de outra forma gerariam um continuum de estados de de Sitter.

Significância e Alegações
Os autores afirmam que este trabalho fornece uma quantização canônica consistente da RG como uma teoria de campo efetiva que recupera com sucesso a dinâmica da RG clássica, incluindo a evolução temporal, que é frequentemente obscurecida em outras abordagens. Ao tratar backgrounds clássicos como estados coerentes do campo quantizado, o arcabouço oferece uma descrição unificada onde a "democracia" da RG (tratar qualquer métrica como um vácuo válido) emerge como uma propriedade dos estados coerentes no limite apropriado, em vez de um recurso fundamental do procedimento de quantização em si.

O artigo afirma que esta abordagem revela características invisíveis em tratamentos semiclássicos, como o "tempo de quebra quântica" (quantum break-time) do espaço de de Sitter, implicando que o de Sitter eterno não é um vácuo válido da gravidade quântica. Além disso, o arcabouço fornece uma base teórica para a necessidade de supersimetria para estabilizar o vácuo de Minkowski contra violações não perturbativas da simetria de Poincaré, sugerindo que a teoria efetiva de baixa energia abaixo da escala de massa do gravitino é a gravidade de Einstein com um vácuo exato invariante de Poincaré. O trabalho é apresentado como uma motivação para a supersimetria derivada dos requisitos de consistência da gravidade quântica canônica, em vez de uma proposta experimental.