Gravidade quântica em loop

1. Motivação

Na relatividade geral (RG), a geometria é dinâmica: matéria e geometria influenciam uma à outra. Em unidades com $c=1$, omitindo aqui a constante cosmológica,

$$G_{\mu \nu }=8\pi G{T}_{\mu \nu }.$$

A teoria quântica descreve a matéria com sucesso, mas estudar um campo quântico em um espaço-tempo curvo previamente escolhido ainda não quantiza o próprio espaço-tempo. Perto de uma singularidade clássica, a aproximação de uma geometria suave e clássica pode falhar. Isso motiva a gravidade quântica; não prova que uma quantização específica esteja correta, nem constitui um teorema de que todo campo clássico deva ser quantizado de uma única maneira.

A gravidade quântica em loop (LQG) pergunta se é possível quantizar a RG sem fixar antes uma métrica de fundo e expandir em torno dela. “Não perturbativa” significa não começar com pequenas perturbações gravitacionais de uma geometria escolhida. “Independente de fundo” significa que comprimentos e áreas vêm das variáveis dinâmicas, não de uma métrica fixa. Uma variedade diferenciável e outras escolhas matemáticas continuam presentes. Veja a exposição fundamental de Ashtekar e Lewandowski.

A escala característica é ${\ell }_P=\sqrt{\hslash G/c^3}$, aproximadamente $1.6\times 10^{-35}\mathrm{m}$. Essa combinação dimensional indica onde efeitos quânticos e gravitacionais podem ser importantes simultaneamente. Ela não demonstra, sozinha, que o espaço seja uma grade regular ou que toda distância tenha um mínimo. Afirmações mais específicas exigem espaço de estados, operadores geométricos e dinâmica consistente.

2. Quantização canônica da RG

A abordagem canônica descreve dados em uma fatia espacial $\Sigma$ e identifica quais dados representam o mesmo espaço-tempo. Na formulação ADM, as variáveis são a métrica espacial $q_{ab}$ e seu momento conjugado ${\pi }^{ab}$. A folheação organiza o cálculo, sem instituir um relógio físico privilegiado.

Variáveis de Ashtekar

Usamos as variáveis reais de Ashtekar–Barbero para a RG lorentziana no calibre temporal, com tríades não degeneradas e $\gamma >0$ real. A conexão autodual original de Ashtekar é complexa: são formulações relacionadas, mas não variáveis idênticas. A formulação real de Barbero e a ação de Holst explicam essa mudança canônica.

$$A_a^i={\Gamma }_a^i(E)+\gamma K_a^i,E_i^a=\sqrt{q}{e}_i^a,E_i^a{E}_i^b=q{q}^{ab}.$$

Aqui $q=\det (q_{ab})$, $e_i^a$ é a tríade inversa, ${\Gamma }_a^i$ sua conexão de spin compatível e $K_a^i$ codifica a curvatura extrínseca, isto é, como a fatia se insere no espaço-tempo. $a,b$ são índices espaciais e $i$ identifica um referencial ortonormal interno. Assim, $E$ contém a geometria espacial, enquanto $A$ combina conexão intrínseca e curvatura extrínseca. Chamar $E$ de “campo elétrico” é uma analogia com teorias de calibre; não se trata de eletromagnetismo.

Com $\kappa =8\pi G$ e $c=1$,

$$\{A_a^i(x),E_j^b(y)\}=\kappa \gamma {\delta }_a^b{\delta }_j^i{\delta }^{(3)}(x,y).$$

O parâmetro de Barbero–Immirzi $\gamma$, adimensional, identifica essa escolha canônica. As equações clássicas no vácuo não fixam seu valor. Como ele aparece nos espectros geométricos, sua interpretação quântica e determinação física são importantes. Um valor ilustrativo não é uma constante medida.

3. Vínculos

As variáveis contêm descrições redundantes. No vácuo, com constante cosmológica nula e omitindo um fator global não nulo de normalização em $\mathcal{H}$,

$${\mathcal{G}}_i=D_a{E}_i^a\approx 0,{\mathcal{V}}_a=E_i^b{F}_{ab}^i\approx 0,$$ $$\mathcal{H}=\frac{E_i^a{E}_j^b}{\sqrt{|\det E|}}\left({ϵ}^{ij}{}_k{F}_{ab}^k-2(1+{\gamma }^2)K_{[a}^i{K}_{b]}^j\right)\approx 0.$$

$F$ é a curvatura de $A$ e $D$ sua derivada covariante. $\approx 0$ indica igualdade na superfície dos vínculos, não um pequeno erro. O vínculo de Gauss elimina rotações arbitrárias do referencial interno. O vínculo vetorial gera mudanças de coordenadas espaciais a menos de uma transformação de Gauss; o gerador de difeomorfismos espaciais puros inclui o termo de Gauss correspondente. O vínculo hamiltoniano implementa mudanças da folheação, em vez de uma evolução comum em relação a um tempo externo universal.

A contagem ajuda: $A$ e $E$ fornecem 18 componentes do espaço de fases por ponto. Sete vínculos independentes de primeira classe removem 14 componentes, restando quatro, ou dois graus de liberdade de configuração: as polarizações locais gravitacionais. Essa é a contagem clássica regular no vácuo; fronteiras e setores singulares exigem tratamento separado.

A quantização constrói primeiro a cinemática, depois implementa os vínculos e o produto interno físico. Portanto, uma rede de spin não é automaticamente uma solução física. Um observável relacional poderia ser a área de uma superfície definida pela matéria quando um relógio escalar assume um valor especificado. Definir essas grandezas e recuperar a álgebra clássica dos vínculos sem anomalias são tarefas centrais da dinâmica. A construção de Thiemann é uma proposta concreta, não uma teoria fenomenológica única e concluída.

4. Holonomias e fluxos

As variáveis básicas são integradas ao longo de curvas e sobre superfícies:

$$h_{\ell }[A]=\mathcal{P}\exp \left({\int }_{\ell }{A}_a^i{\tau }_{i}d{x}^a\right),E(S,f)={\int }_S{f}^i{E}_i^{a}d{S}_a.$$

${\tau }_i$ são geradores de $\mathfrak{su}(2)$, $f^i$ é um campo de teste e $\mathcal{P}$ ordena matrizes não comutativas ao longo do caminho. A holonomia compara referenciais internos por transporte paralelo: é um elemento de $SU(2)$, não um comprimento. O fluxo mede informação orientada da tríade através de uma superfície. O sinal no exponencial depende da convenção para a conexão.

Imagine transportar um referencial ao redor de uma pequena curva fechada. Na geometria clássica suave, o termo dominante do desvio da holonomia em relação à identidade codifica a curvatura através do circuito. A LQG usa transportes finitos como variáveis fundamentais, sem presumir um operador $A(x)$ definido ponto a ponto. Holonomias atuam por multiplicação e fluxos por derivação em funções de holonomias. Sua álgebra depende das interseções entre caminhos e superfícies.

O teorema de unicidade da álgebra holonomia–fluxo seleciona uma representação sob hipóteses específicas de álgebra, covariância e estado cíclico. Não demonstra que toda teoria possível de gravidade quântica seja LQG, nem escolhe o hamiltoniano.

5. Redes de spin

Uma rede de spin invariante de calibre consiste em um grafo, spins $j=0,\frac{1}{2},1,\dots$ nas arestas e tensores invariantes chamados entrelaçadores, ou intertwiners, nos vértices. Os spins identificam representações de $SU(2)$, não pequenas bolas girando. Um entrelaçador combina as representações incidentes em um objeto invariante, implementando o vínculo de Gauss. Os grafos especificam relações da geometria quântica; não precisam formar uma rede física regular.

Para uma superfície que cruza arestas transversalmente e longe dos vértices, os autovalores do operador usual de área são

$$A(S)=8\pi \gamma {\ell }_P^2\sum _{p\in S\cap \Gamma }\sqrt{j_p(j_p+1)}.$$

O fluxo em uma perfuração atua como um gerador de momento angular. O Casimir quadrático de $SU(2)$ tem autovalor $j(j+1)$, cuja magnitude explica $\sqrt{j(j+1)}$. A construção do operador de área estabelece a discretização no espaço de Hilbert cinemático. Superfícies contendo vértices exigem a expressão mais geral. Como explicam Dittrich e Thiemann, um espectro cinemático não determina sozinho o espectro de todo observável físico plenamente relacional.

Um cálculo de medição de área

Considere uma região de superfície sem vértices, perfurada uma vez por $j=\frac{1}{2}$ e uma vez por $j=1$. Então

$$\frac{A}{8\pi \gamma {\ell }_P^2}=\sqrt{\frac{1}{2}(\frac{1}{2}+1)}+\sqrt{1(1+1)}=\frac{\sqrt{3}}{2}+\sqrt{2}\approx \mathrm{2.280.}$$

Uma perfuração com $j=\frac{1}{2}$ contribui $4\pi \sqrt{3}\gamma {\ell }_P^2$. Duas contribuem $8\pi \sqrt{3}\gamma {\ell }_P^2$, enquanto uma com $j=1$ contribui $8\pi \sqrt{2}\gamma {\ell }_P^2$. Portanto, somas iguais dos rótulos de spin não precisam produzir áreas iguais. São contribuições locais em uma rede admissível; o restante do grafo ainda deve satisfazer as condições dos entrelaçadores. Calculamos resultados possíveis na quantização adotada, não uma granulação já observada do espaço.

A região sombreada tem duas perfurações transversais. A geometria é esquemática: quem determina o autovalor da área é a fórmula, não a distância desenhada.

O volume é mais sutil:

$$\hat{V}(R)=\sum _{v\in R\cap \Gamma }\sqrt{|{\hat{q}}_v|}.$$

${\hat{q}}_v$ contém produtos triplos de geradores de fluxo, fatores de orientação e constantes dimensionais. Em geral, atua como matriz no espaço de entrelaçadores do vértice. Fixar os spins das arestas não necessariamente fixa o volume; também é necessária uma base adequada de entrelaçadores. A construção dos operadores de volume esclarece a diferença. Espectros geométricos discretos não implicam cubos de tamanhos iguais nem um tempo externo automaticamente discreto.

Das redes às espumas de spin

Uma rede de spin descreve a geometria de fronteira. Uma espuma de spin é um complexo bidimensional rotulado que atribui amplitudes entre essas fronteiras: arestas do grafo varrem faces, enquanto vértices traçam arestas do complexo. São histórias em uma soma sobre geometrias quânticas, não vértices se movendo em um espaço preexistente.

Em um complexo escolhido $\mathcal{C}$, escreve-se esquematicamente

$$Z_{\mathcal{C}}=\sum _{\{j_f,i_e\}}\prod _f{A}_f\prod _e{A}_e\prod _v{A}_v.$$

Somam-se os rótulos; as amplitudes de faces, arestas e vértices codificam a dinâmica do modelo. Dados de fronteira e normalização foram omitidos. A construção EPRL relaciona um vértice de espuma de spin em quatro dimensões a estados de fronteira da LQG por meio de vínculos de simplicidade. Especificar um complexo finito ainda não estabelece a teoria completa no contínuo.

Para dados geométricos de fronteira adequados e não degenerados, a assíntota de grandes spins de uma amplitude de um 4-simplexo EPRL euclidiano contém a ação de Regge, uma ação gravitacional discretizada. Esse resultado de consistência semiclássica é valioso. Não prova que toda amplitude, limite de refinamento ou função de correlação de longa distância reproduza a RG.

6. Cosmologia quântica em loop (LQC)

A LQC aplica quantização inspirada em loops a sistemas cosmológicos reduzidos por simetria. Impor homogeneidade antes da quantização descarta infinitos modos não homogêneos. Um teorema no sistema reduzido não é automaticamente um teorema da LQG completa.

Considere o modelo padrão espacialmente plano, homogêneo e isotrópico, com escalar sem massa e estados semiclássicos fortemente concentrados, na prescrição de dinâmica melhorada. Suas equações efetivas incluem

$$H^2=\frac{8\pi G}{3}\rho \left(1-\frac{\rho }{{\rho }_c}\right),\dot{\rho }=-3H(\rho +P),$$

Aqui $H=\dot{a}/a$, $P$ é a pressão e ${\rho }_c$ uma densidade crítica dependente do modelo, da ordem da densidade de Planck. Em baixa densidade recupera-se a equação de Friedmann plana usual; a correção quadrática negativa dá $H=0$ em ${\rho }_c$. A análise da dinâmica melhorada explicita hipóteses e estuda o rebote analítica e numericamente.

Derivando um rebote no modelo efetivo

Derivar a equação e usar a conservação de energia fornece, inicialmente para $H\ne 0$ e depois por extensão contínua,

$$\dot{H}=-4\pi G(\rho +P)\left(1-2\frac{\rho }{{\rho }_c}\right).$$

Em $\rho ={\rho }_c$, matéria com $\rho +P>0$ tem $\dot{H}>0$: contração pode passar a expansão. Encontrar apenas $H=0$ não provaria um rebote. Para o escalar sem massa, $P=\rho$ e $\rho \propto a^{-6}$. Situando o rebote em $t=0$, a solução exata dessas equações efetivas é

$$a(t)=a_B{\left(1+\frac{t^2}{t_B^2}\right)}^{1/6},\rho (t)=\frac{{\rho }_c}{1+t^2/t_B^2},t_B^{-2}=24\pi G{\rho }_c.$$

A substituição dá $H=t/[3(t_B^2+t^2)]$ e verifica ambas as equações. Em $t=\pm t_B$, temos $\rho ={\rho }_c/2$ e $a=2^{1/6}{a}_B$. O valor numérico de $a_B$ depende da normalização das coordenadas espaciais; os pontos físicos são a densidade finita e a passagem da contração à expansão.

Eixo horizontal: $t/t_B$. Curva superior: $a/a_B$; inferior: $\rho /{\rho }_c$. É a solução efetiva do escalar sem massa, não dados observacionais nem uma previsão universal para todas as cosmologias.

A LQC exatamente solúvel permite afirmações mais fortes sobre classes de estados quânticos do que esse cálculo efetivo isolado: veja Ashtekar, Corichi e Singh. Estender conclusões a anisotropias, perturbações, outras matérias ou quantizações e à teoria completa exige argumentos adicionais. Um rebote de modelo não estabelece o que precedeu o universo primordial quente observado.

7. Desafios e questões em aberto

• Dinâmica e vínculos: controlar o hamiltoniano quântico, escolhas de regularização, estados físicos e produto interno, preservando as simetrias de calibre apropriadas.
• Limites contínuo e semiclássico: derivar geometria suave e RG de baixa energia com matéria a partir de muitas excitações. Spins grandes em um grafo fixo e refinamento com mais elementos são limites distintos que precisam de tratamento consistente.
• Parâmetro de Immirzi: determinar qual dependência de $\gamma$ permanece nas previsões físicas. Ajustar a entropia de buracos negros sob determinadas hipóteses de contagem não é uma medição laboratorial independente.
• Observações: uma característica da radiação cósmica de fundo ou modificação de ondas gravitacionais exige um modelo efetivo, estado inicial e tratamento de perturbações específicos. É necessário demonstrar robustez e distinção em relação à astrofísica convencional ou a outros modelos primordiais antes de falar em um teste de LQG.

Um exemplo atual é a revisão de setembro de 2026 de Assanioussi e Livine: analisa a dinâmica hamiltoniana clássica de pequenos grafos “candy” como blocos de construção e deixa explicitamente o regime quântico detalhado para trabalhos futuros. É progresso em um subsistema controlado, não a conclusão da dinâmica quântica completa nem uma detecção empírica.

Equívocos comuns

“Os loops são cordas.” Holonomias são variáveis de transporte paralelo; os rótulos da rede descrevem geometria, não cordas em propagação. “Independência de fundo elimina toda hipótese.” Topologia, variáveis, quantização e fronteiras continuam importantes. “Área discreta prova que o espaço é uma tela de pixels.” O espectro pertence a um operador; estados podem ser superposições e não há grade regular privilegiada. “O rebote prova um universo anterior.” É um resultado condicional de modelo, sem essa observação fornecida pelo cálculo.

Situação atual

Pesquisa verificada até 13 de outubro de 2026. A LQG possui construções cinemáticas precisas e extensa pesquisa sobre dinâmica e modelos reduzidos. Os artigos vinculados estabelecem resultados matemáticos e previsões de modelos; nenhum apresenta confirmação experimental dessa estrutura quântica proposta para nosso espaço-tempo. Uma rota controlada da dinâmica completa até previsões medidas e distinguíveis continua sendo objetivo de pesquisa.

A LQG enfatiza quantizar a geometria gravitacional sem métrica de fundo fixa. A teoria de cordas começa com outros graus de liberdade e também possui formulações não perturbativas; classificá-la como invariavelmente dependente de fundo simplifica demais a comparação. Avalie cada proposta pelas hipóteses, consistência interna, recuperação da física conhecida e consequências observáveis.