On interacting non-Abelian antisymmetric tensor field models

Resumo Técnico: Modelos de Campos Tensoriais Antissimétricos Não-Abelianos Interagentes

Definição do Problema
Campos tensoriais antissimétricos (p-formas) são componentes fundamentais em teorias de supercordas/branas e supergravidade, caracterizados por estruturas de calibre (gauge) complexas e redutíveis. Embora modelos livres de p-formas sejam bem compreendidos como teorias de calibre redutíveis (com estágios de redutibilidade dependentes da classe da forma), a estrutura de calibre de modelos tensoriais não-abelianos interagentes permanece uma questão em aberto. Teoremas de impossibilidade (no-go theorems) padrão sugerem que deformações locais não-abelianas de transformações de calibre de p-formas livres são impossíveis sem a introdução de campos extras. No entanto, existem modelos envolvendo tensores não-abelianos interagindo com campos de Yang-Mills em contextos específicos (por exemplo, supergravidades acopladas, reduções dimensionais). O principal desafio abordado neste trabalho é determinar as propriedades de redutibilidade das transformações de calibre nestes modelos de tensores não-abelianos interagentes, especificamente aqueles obtidos via redução dimensional em uma variedade de grupo. Não está claro se a introdução de interações e termos de massa altera os estágios de redutibilidade encontrados em seus equivalentes livres.

Metodologia
Os autores empregam um procedimento de redução dimensional em uma variedade de grupo para gerar modelos tensoriais não-abelianos interagentes a partir de formas abelianas de classe superior livres acopladas à gravidade.

1. Prescrição de Redução: Partindo de um campo $p$-forma Abeliano livre $C_{M_1...M_p}$ em $D$ dimensões acoplado à gravidade, as coordenadas são divididas em $x^\mu$ (espaço-tempo) e $y^a$ (variedade de grupo compacta $G$). A métrica e os campos são parametrizados usando vetores de Killing $e^a_{\bar{a}}(y)$ do grupo $G$, introduzindo um parâmetro dimensional $\kappa$ relacionado ao tamanho da variedade, que atua como a constante de acoplamento.
2. Redefinição de Campo: Os campos originais $C$ são redefinidos em novos campos $B$ (e parâmetros $\Lambda$) usando o vielbein da métrica reduzida. Esta transformação garante que os novos campos transformem-se de forma covariante sob a simetria Yang-Mills induzida, removendo termos não-homogêneos envolvendo derivadas dos parâmetros de calibre.
3. Análise Algébrica: Os autores calculam explicitamente os comutadores das transformações de calibre para os campos reduzidos. Eles identificam a estrutura do álgebra não-abeliana e buscam por transformações "triviais" — conjuntos de parâmetros para os quais a variação de calibre de todos os campos desaparece identicamente.
4. Verificação de Redutibilidade Recursiva: Ao encontrar os parâmetros que geram transformações triviais, os autores determinam o estágio de redutibilidade. Eles verificam se esses próprios parâmetros de transformação possuem redundâncias de calibre (redutibilidade de estágio superior), comparando os resultados contra a redutibilidade conhecida das teorias abelianas livres.

Contribuições Principais e Resultados
O artigo analisa modelos derivados da redução dimensional de 3-formas, 4-formas e p-formas gerais.

• Modelo de 3-Forma (Seção 2):

  • A redução de uma 3-forma livre produz um sistema contendo um campo Yang-Mills, um 2-forma, um 1-forma e um escalar, todos transformando-se sob uma álgebra não-abeliana.
  • As transformações de calibre mostram ser redutíveis de primeiro estágio para o setor não-abeliano. As transformações triviais são geradas por parâmetros $\omega_{\bar{a}}$ e $\zeta_\mu$, que satisfazem relações específicas envolvendo a intensidade de campo e constantes de estrutura.
  • O estágio de redutibilidade coincide com o da 3-forma Abeliana livre (que é segunda-estágio redutível no total, com a parte não-abeliana sendo de primeiro estágio).
  • Campos de Stückelberg: A análise identifica campos específicos (por exemplo, $S_{\mu\bar{a}}$) que atuam como campos de Stückelberg. Estes campos sofrem deslocamentos sob transformações de calibre, efetivamente restaurando a simetria de calibre quebrada pelos termos de massa ($\sim \kappa^2$) adquiridos por outros campos tensoriais. Este mecanismo permite que a teoria contorne os teoremas de impossibilidade relativos a deformações não-abelianas.

• Modelo de 4-Forma (Seção 3):

  • A redução de uma 4-forma livre produz um sistema com tensores de classe 4, 3, 2, 1 e 0.
  • As transformações de calibre mostram ser redutíveis de segundo estágio para o setor não-abeliano. As transformações triviais são geradas por parâmetros $\omega_{\mu\bar{a}}$ e $\omega_{\bar{a}\bar{b}}$, que são eles próprios redutíveis.
  • O estágio de redutibilidade novamente coincide com o da 4-forma Abeliana livre (terceiro-estágio redutível no total).

• Modelo de p-Forma Geral (Seção 4):

  • Os resultados são generalizados para uma forma de classe $r+1$ arbitrária.
  • Os autores demonstram que as transformações de calibre do sistema não-abeliano resultante são redutíveis de $p-2$ estágios (correspondendo ao estágio $p-1$ da teoria Abeliana livre, considerando os setores de vetor/escalar).
  • Uma fórmula geral para os parâmetros de transformação trivial é derivada, mostrando que a estrutura de redutibilidade é preservada apesar da presença de termos de massa e interações não-abelianas.
  • O artigo contrasta estes resultados com um modelo não-abeliano específico da literatura [41] que é apenas redutível de primeiro estágio, destacando que o método de redução dimensional preserva a redutibilidade de estágio superior da teoria livre pai.

Significância e Alegações
O artigo afirma que a estrutura de calibre dos modelos de tensores antissimétricos não-abelianos interagentes obtidos via redução dimensional é robusta e retém as propriedades de redutibilidade de seus equivalentes abelianos livres.

• Preservação da Redutibilidade: A introdução de interações e termos de massa via redução dimensional não altera os estágios de redutibilidade. Os modelos interagentes são teorias de calibre redutíveis com a mesma hierarquia de parâmetros de calibre das teorias livres.
• Papel dos Campos de Stückelberg: A existência de campos de Stückelberg é identificada como o mecanismo que reconcilia a presença de termos de massa com a invariância de calibre. Estes campos permitem que a teoria mantenha uma estrutura de calibre consistente, contornando as restrições dos teoremas de impossibilidade que assumem deformações sem massa.
• Implicações de Quantização: Os autores afirmam que estabelecer a estrutura de redutibilidade é um pré-requisito para a quantização consistente destas teorias (por exemplo, via formalismos Batalin-Vilkovisky ou BRST-BFV). Os resultados fornecem a base necessária para construir integrais de caminho e ações efetivas para estas teorias tensoriais não-abelianas.
• Direções Futuras: O artigo sugere que estes métodos podem ser estendidos para ações autoduais, reduções em variedades que não sejam grupos (por exemplo, esferas) e para a construção de versões supersimétricas. Nota-se também o potencial para estudar dualidades no contexto não-abeliano interagente.

O trabalho não propõe novos testes experimentais ou aplicações fenomenológicas específicas, mas foca na consistência teórica e nas propriedades estruturais destas teorias de campo, visando preencher a lacuna no entendimento da estrutura de calibre de p-formas interagentes.