The trace-free Einstein tensor is not variational for the metric as field variable

O artigo demonstra que o tensor de Einstein sem traço não pode ser derivado de uma ação local, mesmo sem a suposição de invariância por difeomorfismos, quando a métrica (ou sua inversa) é utilizada como variável de campo.

O essencial

Imagine que o universo é um grande palco e a gravidade é o diretor que decide como os atores (a matéria e a energia) se movem. Na física moderna, temos uma "receita" famosa chamada Equações de Einstein para escrever esse roteiro. Essa receita diz que a curvatura do palco (o espaço-tempo) deve ser exatamente igual à quantidade de energia e matéria que está nele.

Agora, alguns físicos pensaram: "E se a gente fizesse uma versão mais 'leve' dessa receita? E se ignorássemos o peso total (o rastro) da energia e focássemos apenas na forma como ela se distribui?"

Essa versão "leve" é chamada de Equações de Einstein sem rastro (trace-free). Elas são interessantes porque, teoricamente, poderiam explicar por que o universo está se expandindo de forma acelerada sem precisar inventar um "número mágico" (a constante cosmológica) desde o início; esse número surgiria naturalmente como uma solução, como um segredo que a matemática revela no final.

O Grande Problema: A Receita que Não Existe

O artigo que você leu, escrito por von Blanckenburg, Giulini e Schwartz, descobre algo surpreendente e um pouco frustrante para quem gosta de construir teorias a partir de princípios fundamentais:

Essas equações "leves" não podem ser derivadas de uma "receita" (uma ação) padrão.

Para entender isso, vamos usar uma analogia culinária:

1. A Ação (A Receita): Na física, para encontrar as leis do movimento, os cientistas geralmente começam com uma "receita" chamada Ação. É como uma lista de ingredientes e instruções. Se você seguir a receita e tentar minimizar o "gasto de energia" (o princípio da ação mínima), as equações de movimento aparecem magicamente.
2. O Teorema do Chefe: O artigo prova que, para as equações de Einstein "sem rastro", não existe uma receita possível que, quando você a segue, gere exatamente essas equações.

A Analogia da Balança Desequilibrada

Imagine que você tem uma balança mágica (o Tensor de Einstein).

• Na física normal, essa balança é perfeita: se você a move, ela sempre se mantém equilibrada de uma forma específica (matematicamente, sua "divergência" é zero). Isso é garantido porque ela vem de uma receita válida.
• O Tensor de Einstein "Sem Rastro" é como uma balança que foi lixada. Ela ainda funciona para medir coisas, mas ela não se equilibra sozinha da mesma maneira. Ela tem um "peso" extra que não desaparece.

O artigo diz: "Se você tentar construir essa balança lixada a partir de uma receita de cozinha (uma ação variacional), você vai falhar. Não importa como você misture os ingredientes ou tente esconder a receita, a balança resultante nunca será exatamente essa versão 'lixada'."

Como eles provaram isso? (O Método do "Espelho")

Os autores usaram uma ferramenta matemática inteligente chamada Método de Vainberg-Tonti. Pense nisso como um "espelho mágico" ou um "detector de receitas".

1. Eles pegaram a equação "sem rastro" e tentaram forçá-la a entrar no espelho para ver qual receita ela geraria.
2. O espelho funcionou, mas o resultado foi zero. A receita que o espelho gerou era uma receita vazia, sem ingredientes.
3. Se você seguir uma receita vazia, você não obtém a equação complexa que quer; você obtém nada.
4. Conclusão: Como a receita gerada pelo espelho não funciona para criar a equação desejada, a equação desejada não pode ter vindo de nenhuma receita real.

Por que isso importa?

Você pode estar pensando: "Ok, então não tem receita. E daí? As equações ainda funcionam?"

• Sim, elas funcionam: Você ainda pode usar as equações para calcular coisas e elas são matematicamente válidas.
• Mas há um limite: Na física, gostamos de teorias que nascem de um princípio fundamental (uma "receita" bonita). Se uma teoria não tem essa base, ela é como um carro que anda, mas ninguém sabe como o motor foi construído. É um pouco "mágico" demais.

O artigo também menciona que, se você mudar as regras do jogo (usando variáveis diferentes ou adicionando campos extras), é possível criar uma receita para essas equações. Mas, se você tentar usar apenas o "tecido do espaço-tempo" (a métrica) como único ingrediente, a receita não existe.

Resumo em uma frase

O artigo mostra que, embora as equações de Einstein "sem rastro" sejam uma ideia interessante e matematicamente possível, elas são como um prato delicioso que não pode ser preparado seguindo nenhuma receita de culinária conhecida; elas simplesmente não nascem de um princípio fundamental de "menor esforço" quando olhamos apenas para o tecido do espaço-tempo.

Resumo técnico

Aqui está um resumo técnico detalhado do artigo "The trace-free Einstein tensor is not variational for the metric as field variable", apresentado em português:

Título do Artigo: O tensor de Einstein sem traço não é variacional para a métrica como variável de campo

Autores: Arian L. von Blanckenburg, Domenico Giulini e Philip K. Schwartz.

---

1. O Problema

O artigo aborda uma questão fundamental na formulação de teorias gravitacionais: a possibilidade de derivar as equações de Einstein sem traço a partir de um princípio variacional local.

As equações de Einstein sem traço são dadas por:
$$R_{\mu\nu} - \frac{1}{n} R g_{\mu\nu} = \kappa \left( T_{\mu\nu} - \frac{1}{n} T g_{\mu\nu} \right)$$
onde $n \geq 3$ é a dimensão do espaço-tempo, $R_{\mu\nu}$ é o tensor de Ricci, $R$ o escalar de Ricci e $T_{\mu\nu}$ o tensor energia-momento.

É bem conhecido que o tensor de Einstein padrão ($G_{\mu\nu}$) é o resultado da variação da ação de Einstein-Hilbert em relação à métrica (ou sua inversa). No entanto, o tensor de Einstein sem traço, definido como $G^{tf}_{\mu\nu} = R_{\mu\nu} - \frac{1}{n} R g_{\mu\nu}$, apresenta uma propriedade peculiar:

• Sob invariância de difeomorfismo, a variação de uma ação local deve ter divergência covariante identicamente nula.
• O tensor de Einstein padrão satisfaz isso (identidade de Bianchi contraída).
• O tensor sem traço, para $n \geq 3$, não tem divergência covariante identicamente nula (a menos que se assuma conservação de energia-momento, o que é uma condição de campo, não uma identidade geométrica).

O problema central investigado é se essa não-variabilidade é uma consequência exclusiva da exigência de invariância de difeomorfismo ou se ela persiste mesmo para ações locais gerais, sem assumir invariância de difeomorfismo.

2. Metodologia

Os autores utilizam métodos do cálculo inverso das variações, especificamente o método de completamento variacional canônico (também conhecido como método de Vainberg-Tonti).

A lógica da metodologia segue os seguintes passos:

1. Definição do Objeto: Considera-se o tensor de Einstein sem traço densitizado ($\tilde{G}^{tf}_{\mu\nu}$), pois a variação de uma ação em relação a um tensor (densidade de peso 0) produz naturalmente uma densidade tensorial (peso 1).
2. Lagrangiano de Vainberg-Tonti: Para uma expressão tensorial $E_A[y^B]$ que depende de um campo $y^B$ e suas derivadas, constrói-se um Lagrangiano escalar associado através de uma integral unidimensional:
   $$L[y^A] := y^B \int_a^1 E_B[u y^A] \, du$$
   onde $a$ é um limite inferior escolhido tal que o termo integrando se anule no limite.
3. Teorema da Completamento Variacional:
   • Se a expressão $E_A$ for localmente variacional (ou seja, se puder ser derivada de alguma ação local), então a variação do Lagrangiano de Vainberg-Tonti associado deve recuperar exatamente a expressão original $E_A$.
   • Contraposição (Teorema 3): Se o Lagrangiano de Vainberg-Tonti existir, mas a variação da ação correspondente produzir um resultado diferente de $E_A$ (por exemplo, zero), então $E_A$ não pode ser localmente variacional.

3. Contribuições Chave e Resultados

Teorema Principal (Teorema 1)

Para $n \geq 3$, o tensor de Einstein sem traço densitizado não pode surgir da variação de qualquer funcional de ação local em relação à métrica inversa ($g^{\mu\nu}$), mesmo sem a suposição de invariância de difeomorfismo.

Demonstração Técnica

Os autores aplicam o método de Vainberg-Tonti ao tensor densitizado $\tilde{G}^{tf}_{\mu\nu}$:

1. Análise de Escala: Eles analisam como o tensor se comporta sob um escalonamento da métrica inversa por um fator $u \in \mathbb{R} \setminus \{0\}$.
   • A métrica $g_{\mu\nu}$ escala com $u^{-1}$.
   • Os símbolos de Christoffel e o tensor de Ricci $R_{\mu\nu}$ são invariantes sob esse escalonamento.
   • O escalar de Ricci $R = g^{\mu\nu}R_{\mu\nu}$ escala com $u$.
   • O fator de densidade $\sqrt{|\det g|}$ escala com $|u|^{-n/2}$.
   • O tensor densitizado resultante escala como: $\tilde{G}^{tf}_{\mu\nu}[u g^{\rho\sigma}] = |u|^{-n/2} \tilde{G}^{tf}_{\mu\nu}[g^{\rho\sigma}]$.
2. Cálculo do Lagrangiano:
   • Para encontrar o limite $a$ onde $u \tilde{G}^{tf}_{\mu\nu}[u g] \to 0$, observa-se que o fator de escala total é $u |u|^{-n/2} = \text{sgn}(u)|u|^{-(n-2)/2}$. Para $n \geq 3$, isso só tende a zero quando $u \to \infty$. Logo, $a = \infty$.
   • O Lagrangiano de Vainberg-Tonti é calculado como:
     $$L = g_{\rho\sigma} \int_{\infty}^1 \tilde{G}^{tf}_{\rho\sigma}[u g] \, du = g_{\rho\sigma} \tilde{G}^{tf}_{\rho\sigma}[g] \int_{\infty}^1 u^{-n/2} \, du$$
   • A integral converge para um valor não nulo, mas o termo pré-fator $g_{\rho\sigma} \tilde{G}^{tf}_{\rho\sigma}$ é identicamente zero por definição (o tensor é sem traço).
   • Portanto, $L = 0$.
3. Conclusão da Prova:
   • Se o Lagrangiano associado é zero, a variação da ação correspondente é zero.
   • Como a variação (zero) não é igual à expressão original (o tensor de Einstein sem traço, que não é zero), conclui-se pelo Teorema 3 que a expressão original não é variacional.

O resultado também se mantém se a métrica $g_{\mu\nu}$ (e não a inversa) for escolhida como variável de campo, com uma análise de escala análoga levando novamente a um Lagrangiano nulo.

4. Significado e Implicações

• Generalização do Resultado: O trabalho remove a restrição de invariância de difeomorfismo que era comum em argumentos anteriores. Mostra que a impossibilidade de formular as equações de Einstein sem traço como equações de Euler-Lagrange para a métrica é uma propriedade intrínseca da estrutura do tensor, independente de simetrias de coordenadas.
• Gravidade Unimodular: O artigo esclarece a relação com a gravidade unimodular. Embora a gravidade unimodular seja frequentemente discutida via princípios variacionais, o artigo confirma que as equações de Einstein sem traço não surgem diretamente como equações de Euler-Lagrange da ação em relação à métrica. Em vez disso, surgem indiretamente: a variação da ação unimodular produz as equações de Einstein completas com uma constante cosmológica que atua como multiplicador de Lagrange. As equações sem traço são uma consequência dessas, mas não a origem variacional direta.
• Alternativas de Formulação: O resultado não invalida as equações de Einstein sem traço como uma teoria física viável. Ele apenas estabelece que, para obter essas equações a partir de um princípio variacional, é necessário:
  1. Introduzir novas variáveis de campo (não apenas a métrica).
  2. Adicionar campos dinâmicos auxiliares.
  3. Reformular a teoria de modo que a métrica não seja a única variável de campo na ação.
     O artigo cita trabalhos recentes [5-7] que construíram tais princípios variacionais usando essas estratégias.

Em resumo, o artigo prova rigorosamente que o tensor de Einstein sem traço, quando tratado como uma função da métrica (ou sua inversa) e suas derivadas, não possui um Lagrangiano local que o gere via cálculo variacional, uma limitação fundamental que persiste mesmo fora do escopo de teorias invariantes por difeomorfismo.