Reconstructing the Goldberg-Palatini Action from Noether Identities

Resumo Técnico: Reconstrução da Ação de Goldberg–Palatini a partir de Identidades de Noether

Enunciado do Problema
O artigo aborda até que ponto a dinâmica gravitacional pode ser recuperada unicamente a partir da consistência de um campo massless (sem massa) de spin dois interagente, especificamente dentro de um formalismo de primeira ordem. Embora o método de "autocoplamento" (Feynman, Deser) reconstrua com sucesso a Relatividade Geral ao acoplar iterativamente o campo ao seu próprio tensor de energia-momento, este método introduz ambiguidades quanto à escolha do tensor de energia-momento e requer o tratamento de expansões infinitas na formulação métrica. Os autores buscam uma formulação onde as restrições impostas pela simetria de calibre (invariância por difeomorfismos) sejam examinadas diretamente via o segundo teorema de Noether, evitando a construção explícita de um tensor de energia-momento e determinando a ação de forma única dentro de uma classe específica de interações polinomiais.

Metodologia
Os autores empregam uma estratégia que inverte o cálculo padrão: em vez de derivar identidades de Noether a partir de uma ação conhecida, eles utilizam as identidades associadas a leis de transformação prescritas para determinar os coeficientes de interação desconhecidos de uma ação polinomial local.

1. Variáveis e Transformações: Os campos independentes são definidos como:

   • $\phi_{\mu\nu}$: Uma perturbação simétrica da densidade métrica contravariante.
   • $G^\lambda_{\mu\nu}$: Uma conexão afim ajustada pelo traço (variável de Palatini), tratada como um campo independente.
   • As leis de transformação sob difeomorfismos infinitesimais são prescritas, divididas em uma parte independente do campo $\delta^{(0)}$ e uma parte linear em relação ao campo $\kappa \delta^{(1)}$.

2. Análise Dimensional e Restrição de Setor:

   • Assume-se que a ação é um polinômio local em $\phi$ e $G$, com a constante de acoplamento gravitacional $\kappa$ como a única constante dimensional.
   • Uma difeomorfismo específico, uma dilatação de coordenadas ($x^\mu \to (1-\kappa\epsilon)x^\mu$), é aplicado. Ao analisar os pesos de escala dos campos e das derivadas, os autores demonstram que, para dimensões $d > 2$, qualquer tal ação polinomial deve terminar, no máximo, em ordem cúbica.
   • Crucialmente, esta análise prova que o único termo cúbico permitido é um vértice sem derivadas da forma $\phi GG$. Termos como $\phi\phi\phi$ ou $\phi\phi G$ são excluídos pela simetria de dilatação.

3. Expansão da Base Tensorial:

   • Os autores constroem um ansatz geral para a ação até ordem cúbica, expandindo os núcleos de interação ($K_{\phi\phi}, K_{\phi G}, K_{GG}, K_{\phi GG}$) em bases de tensores construídos a partir da métrica plana $\eta_{\mu\nu}$ e momentos.
   • Para $d \ge 4$, isso resulta em um sistema de 31 coeficientes desconhecidos.

4. Restrições das Identidades de Noether:

   • As identidades de Noether (fora da casca/off-shell) são impostas ordem por ordem nos campos. Estas identidades relacionam os núcleos dos setores quadrático e cúbico.
   • As identidades são decompostas em setores de campos específicos ($\phi\phi$, $\phi G$, $GG$, $\phi GG$) e projetadas sobre bases tensoriais para gerar um sistema de equações algébricas lineares.
   • O sistema é resolvido simbolicamente, eliminando coeficientes passo a passo.

Resultados Principais

• Unicidade da Ação: A imposição das identidades de Noether reduz os 31 coeficientes livres a uma única constante de normalização global. A solução é única dentro da classe especificada de ações polinomiais.
• Recuperação de Goldberg–Palatini: A ação resultante é identificada como a ação de Goldberg–Palatini (equivalente à ação de Einstein-Hilbert de primeira ordem), escrita como:
  $$S = \int d^dx \left[ -G^\lambda_{\mu\nu}\partial_\lambda\phi^{\mu\nu} + (\eta + \kappa\phi)^{\mu\nu} \left( -\text{tr}(G_\mu G_\nu) + \frac{1}{d-1}g_\mu g_\nu \right) \right]$$
• Vanecimento do Núcleo $\phi\phi$: As identidades forçam o núcleo quadrático puramente métrico ($K_{\phi\phi}$) a desaparecer. Isso implica que a dinâmica das perturbações métricas é carregada inteiramente pelo seu acoplamento com a conexão, em vez de por um termo cinético Fierz-Pauli autônomo.
• Redução para a Formulação Métrica: Como a equação de movimento para a conexão $G$ é algébrica, ela pode ser eliminada exatamente. Isso recupera a completa ação de Einstein-Hilbert de segunda ordem em termos da densidade métrica, incluindo o conjunto infinito de vértices de gravitons. Os termos quadráticos e cúbicos desta expansão são mostrados para coincidir com resultados existentes na literatura (Capper, Leibbrandt e Ramón Medrano) até termos de derivada total.

Significância e Alegações
O artigo afirma fornecer uma derivação direta da ação gravitacional de primeira ordem sem as ambiguidades associadas à abordagem de autocoplamento (especificamente, a escolha do tensor de energia-momento). A significância reside em:

1. Imposição Direta de Simetria: A construção baseia-se unicamente nas identidades de Noether off-shell das transformações prescritas, mantendo o dado geométrico dentro das próprias leis de transformação.
2. Determinação Finita: Ao utilizar variáveis de primeira ordem, o problema de reconstruir a ação não linear é reduzido a um sistema finito de restrições lineares sobre coeficientes tensoriais, evitando a expansão infinita típica das formulações métricas.
3. Derivação da Terminação: A terminação da ação em ordem cúbica é mostrada como uma consequência necessária da polinomialidade e da simetria de dilatação, em vez de uma suposição.
4. Escopo e Limitações: O resultado de unicidade é válido para $d \ge 4$ e para ações polinomiais nos campos com a atribuição específica de potência de acoplamento. Os autores afirmam explicitamente que o resultado não pretende que a invariância por difeomorfismo selecione sozinha a gravidade de Einstein entre todas as teorias gravitacionais locais (por exemplo, com termos de derivada superior ou diferentes atribuições de acoplamento), mas sim que ela seleciona unicamente a ação de Goldberg–Palatini dentro da classe polinomial definida. A construção é clássica; a equivalência quântica além do nível de árvore não é abordada.