Local symmetry and the dependence on extended spacetime

Resumo Técnico: Simetria Local e a Dependência do Espaço-Tempo Estendido

Enunciado do Problema
O artigo aborda a formulação de simetrias locais em teorias definidas em espaços-tempos estendidos, especificamente a teoria $E$ (a realização não linear de $E_{11} \otimes_s l_1$) e a teoria de Siegel (Teoria de Campo Duplo). Historicamente, estas teorias basearam-se em "condições de seção" (como a condição fraca $\partial_\Pi \partial^\Pi \cdot = 0$ ou a condição forte $\partial_\Pi \cdot \partial^\Pi \cdot = 0$) para garantir a invariância de calibre e a consistência. Estas condições, motivadas pela condição de nivelamento de string, restringem a dependência dos campos em relação às coordenadas estendidas ($x^\mu, y^\mu$) a ser trivial.

Os autores argumentam que impor tais condições aos campos em si pode ser uma abordagem incorreta. Eles observam que as coordenadas estendidas são cruciais para a invariância de $E_{11}$ e estão associadas a efeitos não perturbativos (sólitons/branas). Além disso, condições de seção fortes genéricas são incomuns na física, e a sua aplicação em contextos como reduções de Scherk-Schwarz levantou dúvidas. O problema central é determinar as condições mínimas necessárias para que a teoria possua uma simetria local sem impor a priori condições restritivas sobre os campos.

Metodologia
Os autores adotam uma abordagem pragmática e conservadora, fazendo as "menores suposições possíveis". Em vez de assumir condições de seção sobre os campos, eles investigam os requisitos para que as equações de movimento linearizadas sejam invariantes sob as propostas transformações locais.

1. Análise Linearizada na Teoria $E$:

   • Eles consideram as equações de movimento linearizadas para o graviton e o campo de três-formas na teoria $E$.
   • Eles constroem as equações de movimento linearizadas mais gerais contendo termos até um nível de derivada específico.
   • Eles computam a variação destas equações sob as transformações locais (derivadas da realização não linear de $E_{11}$).
   • Ao exigir que a variação se anule, eles resolvem para os coeficientes das equações gerais e derivam as restrições necessárias sobre os parâmetros de transformação ($\xi^\mu$ e $\Lambda^{\mu\nu}$).

2. Análise da Teoria de Siegel (Nível Zero):

   • Eles repetem o cálculo para a teoria de Siegel, que corresponde à decomposição de nível zero da teoria $E$ levando à teoria IIA.
   • Eles analisam as equações linearizadas para o graviton, o campo de duas-formas e o dilatão.
   • Eles derivam as condições sobre os parâmetros necessários para que a equação de movimento do dilatão seja invariante, observando que isto leva a uma restrição não linear nos parâmetros.

3. Verificação Teórica de Grupo:

   • Para a teoria de Siegel, eles fornecem uma derivação de teoria de grupo mostrando que as restrições de parâmetros derivadas são invariantes sob a subálgebra invariante da involução de Cartan $SO(D) \otimes SO(D)$.

Principais Contribuições e Resultados

• Restrições de Parâmetros vs. Restrições de Campos: O principal resultado é que a simetria local no regime linearizado não requer condições sobre os campos. Em vez disso, impõe condições diferenciais específicas sobre os parâmetros das transformações locais.

  • Na teoria $E$, a invariância das equações de três-formas e do graviton leva a condições como $\partial_\lambda \partial^\lambda_\nu \{ \dots \} = 0$ (Equação 2.1.10 e 2.3.2). Estas condições determinam a dependência dos parâmetros nas coordenadas de nível superior em termos de seus componentes de nível inferior.
  • Na teoria de Siegel, as condições são mais simples (Equações 3.8–3.11), assumindo a forma $\partial_\lambda \bar{\partial}^\lambda (\dots) = 0$. Estas equações determinam a dependência de $y^\mu$ dos parâmetros $\xi^\mu(x,y)$ e $\Lambda^\mu(x,y)$ em termos de sua dependência de $x^\mu$.

• Distinção das Condições de Seção: Os autores demonstram explicitamente que as condições derivadas para os parâmetros são distintas das condições de seção padrão (Equações 1.1 e 1.2) impostas aos campos.

  • As condições de seção padrão sobre os campos implicam que as derivadas atuando na variação do campo (que envolve derivadas dos parâmetros) devem distribuir-se via regra de Leibniz, frequentemente necessitando que a condição de seção forte se anule.
  • Ao não impor condições sobre os campos, os autores evitam a necessidade da condição de seção forte. As restrições de parâmetros derivadas são suficientes para garantir a invariância.

• Restrição Não Linear do Dilatão: Para a equação do dilatão na teoria de Siegel, os autores descobrem que a invariância sob simetria local requer uma "condição não linear relativamente simples" nos parâmetros (Equação 4.7). Isto apoia a afirmação de que nenhuma condição sobre os campos é necessária, mesmo no regime não linear.

• Fechamento da Álgebra: O artigo refere trabalho anterior (Ref [33]) afirmando que as transformações locais formam uma álgebra fechada se uma condição específica sobre os parâmetros for satisfeita. Os autores sugerem que as suas condições derivadas complementam esta condição de fechamento.

Significância e Alegações
O artigo alega fornecer uma compreensão mais fundamental das simetrias locais em teorias de espaço-tempo estendido. Ao deslocar o fardo da consistência dos campos para os parâmetros de transformação, os autores argumentam que as coordenadas estendidas podem reter seu significado físico (associado a objetos não perturbativos) sem serem trivializadas por condições de seção.

Os autores são modestos quanto ao escopo de suas descobertas, afirmando:

• Eles estabeleceram estes resultados apenas para as equações de movimento linearizadas em níveis baixos.
• Eles ainda não derivaram as condições não lineares completas para a teoria $E$, reconhecendo que encontrar o "bom caminho a seguir" em uma mudança tão radical em relação à física padrão é difícil.
• Eles não propõem novas aplicações ou testes experimentais, mas sim um refinamento teórico das condições de consistência para a teoria $E$ e a teoria de Siegel.

Em resumo, o artigo argumenta que as "condições de seção" universalmente utilizadas na Teoria de Campo Duplo e contextos relacionados podem ser artefatos de impor restrições sobre os campos em vez de parâmetros, e que uma simetria local consistente pode ser alcançada ao restringir a dependência dos parâmetros nas coordenadas estendidas em vez de restringir os próprios campos.