Structural Origin of the Gravitino Mass Term: Geometric and Supergravity Perspectives

Resumo Técnico: Classificação de Polinômios Exteriores de Bilineares de Massa de Gravitino

Enunciado do Problema
O artigo aborda uma confluência de duas questões algébicas distintas relativas aos termos de massa de um Majorana vetor-espinor de quatro dimensões (o gravitino, $\psi_\mu$).

1. A Questão Não Restrita: Quais são todos os bilineares locais, sem derivadas, de um vetor-espinor geral? Este arcabouço permite o uso de coframes inversos, produtos interiores, duais de Hodge e contrações diretas de índices vetoriais.
2. A Questão Restrita: Quais são os quatro-formas bilineares disponíveis estritamente dentro da álgebra de Cartan de primeira ordem gerada polinomialmente pelo coframe $e^a$ e pelo um-forma do gravitino $\psi$ sob multiplicação de cunha (wedge) e Clifford? Este arcabouço exclui explicitamente coframes inversos, produtos interiores ou contrações diretas de índices exteriores.

Os autores argumentam que, embora o setor não restrito (Questão 1) não selecione unicamente o operador de massa convencional de Rarita–Schwinger devido à existência de estruturas independentes de paridade par (especificamente o escalar $\bar{\psi}_a \psi^a$ e o traço-gamma $(\bar{\psi}_a \gamma^a)(\gamma_b \psi^b)$), uma classificação restrita emerge quando limitada ao setor de polinômio exterior (Questão 2). Especificamente, o artigo demonstra que, enquanto a álgebra não restrita permite múltiplas estruturas independentes, a álgebra restrita produz um espaço bidimensional de candidatos que, após a imposição de condições de paridade e realidade, reduz-se à linha unidimensional correspondente ao termo de massa convencional de Rarita–Schwinger. Além disso, o artigo busca esclarecer como as medidas de superspace e os operadores de mudança de imagem (PCOs) projetam esses super-formas para ações de componentes, corrigindo uma afirmação anterior dos autores sobre fibras $C^{0|1}$ reduzidas.

Metodologia
A análise procede através de uma classificação algébrica rigorosa e uma projeção geométrica:

• Classificação Algébrica: Os autores definem duas álgebras: $A_{\text{full}}$ (não restrita) e $A_\wedge$ (polinômio exterior). Eles analisam o espaço de aplicações equivariantes de Lorentz do módulo bivetor $\Lambda^2 V$ para a álgebra de endomorfismos do módulo espinorial.
• Convenções: O trabalho utiliza convenções específicas para orientação, símbolos epsilon, álgebras de Clifford e produtos graduados (distinguindo entre grau de forma e paridade de Grassmann). Crucialmente, eles estabelecem que dois um-formas fermiônicos comutam sob graduação total, impedindo que candidatos a quatro-formas desapareçam identicamente.
• Projeção de Superspace: O artigo emprega a linguagem de formas integrais e dualidade de Poincaré. Utiliza um Operador de Mudança de Imagem (PCO), representado como uma forma integral fechada $Y^{(0|4)}$, para projetar um super-quatro-forma de Lagrangiana sobre o corpo bosônico do superspace.
• Cálculo Explícito: Um cálculo local é realizado em um patch de coordenadas de Wess–Zumino para demonstrar a extração do termo de massa de componentes da super-forma.

Principais Contribuições e Resultados

1. Não-Unicidade no Setor Não Restrito:
   No setor algébrico total ($A_{\text{full}}$), o espaço de paridade par de bilineares sem derivadas é bidimensional, gerado por $\bar{\psi}_a \psi^a$ e $(\bar{\psi}_a \gamma^a)(\gamma_b \psi^b)$. A contração de Rarita–Schwinger $\bar{\psi}_a \gamma^{ab} \psi_b$ é meramente a diferença entre essas duas estruturas independentes. Assim, a covariância de Lorentz e a paridade sozinhas não selecionam unicamente o operador de massa de Rarita–Schwinger sem entradas físicas adicionais (termos cinéticos, restrições ou supersimetria).

2. Classificação Restrita no Setor de Polinômio Exterior:
   Na álgebra restrita $A_\wedge$, onde coframes inversos e produtos interiores são proibidos, a classificação resulta em um espaço vetorial real bidimensional de quatro-formas locais, sem derivadas, Lorentz-equivariantes, quadráticas em $\psi$ e contendo exatamente dois coframes. Este espaço é gerado por:
   $$B_- = \bar{\psi} \wedge \gamma^{(2)} \wedge \psi$$
   $$B_+ = \bar{\psi} \wedge \gamma_5 \gamma^{(2)} \wedge \psi$$
   onde $\gamma^{(2)} = \frac{1}{2}\gamma_{ab} e^a \wedge e^b$. O artigo esclarece que este espaço bidimensional representa o conjunto completo de candidatos antes que as restrições físicas sejam aplicadas; a unicidade do termo de massa não é inerente ao setor algébrico sozinho, mas emerge apenas após a imposição de condições de paridade par e de ação real.

3. Seleção do Termo de Massa Físico:
   Ao impor as condições de paridade par e de ação real, o setor de massa física de Rarita–Schwinger reduz-se a uma linha unidimensional. Os autores derivam a identidade explícita forma-para-componente:
   $$\frac{im}{2} \bar{\psi} \wedge \gamma_5 \gamma^{(2)} \wedge \psi = -\frac{m}{2} \bar{\psi}_a \gamma^{ab} \psi_b \, \text{vol}_4$$
   Isso estabelece que o termo de massa convencional corresponde ao representante de paridade par $B_+$ dentro da álgebra restrita, enquanto $B_-$ corresponde ao dual de paridade ímpar.

4. Projeção de Superspace e Correção de Alegações Anteriores:
   O artigo substitui um preprint anterior (arXiv:2601.12537) que propunha uma fibra $C^{0|1}$ reduzida e que a forma $\theta d\theta$ poderia selecionar a estrutura de Rarita–Schwinger. Os autores demonstram que este argumento falha porque:

   • $\theta$ é um escalar e carece dos necessários índices de Lorentz e de um-forma.
   • $\theta d\theta$ é um super-um-forma ordinário, não uma forma integral com o número de imagem necessário.
   • $d\theta$ é comutativo, impedindo a estrutura algébrica necessária.

   Em vez disso, o artigo fornece uma projeção local válida usando um PCO $Y^{(0|4)}$ (por exemplo, $\theta^2 \bar{\theta}^2 \delta^2(d\theta) \delta^2(d\bar{\theta})$). Esta projeção extrai o componente corpo da super-quatro-forma de massa, confirmando que a estrutura do tensor de Clifford é intrínseca à super-Lagrangiana e não gerada pela medida de integração.

Significância e Alegações
O artigo afirma fornecer uma classificação rigorosa do setor de Cartan de polinômio de cunha para termos de massa de gravitino, distinta de um teorema de unicidade geral para todos os operadores de vetor-espinor.

• Esclarecimento da Unicidade: Os autores enfatizam que o termo de massa de Rarita–Schwinger não é único no sentido algébrico geral, nem é único no sentido algébrico restrito antes da seleção de paridade. Sua seleção na supergravidade surge da interação entre o operador cinético, as restrições de supersimetria local e a estrutura específica do mecanismo de super-Higgs ou completamento de AdS. A "unicidade" é um resultado do setor restrito combinado com as condições de paridade e realidade, não do setor algébrico isoladamente.
• Precisão Geométrica: O trabalho esclarece a origem geométrica do termo de massa dentro do formalismo de primeira ordem, mostrando que ele é o elemento único de paridade par no álgebra de polinômio exterior restrita após as restrições físicas serem aplicadas.
• Consistência de Superspace: Ao corrigir o argumento $C^{0|1}$ anterior, o artigo estabelece que a projeção de superspace para componentes depende de formas integrais e PCOs, que extraem dados geométricos existentes em vez de construir a estrutura tensorial ou a escala de massa.

O artigo conclui que a contração padrão de massa de Rarita–Schwinger ocupa dois ambientes matemáticos diferentes: uma posição não única na álgebra não restrita e uma posição bidimensional na álgebra restrita (que se reduz a uma linha física única apenas após a imposição de paridade e realidade), com a seleção física final sendo determinada pela dinâmica completa da supergravidade (termos cinéticos, restrições e campos de fundo).