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

Resumen Técnico: Clasificación de Bilineares de Masa del Gravitino mediante Polinomios Exteriores

Planteamiento del Problema
El artículo aborda una confusión entre dos cuestiones algebraicas distintas relativas a los términos de masa de un espinor-vectorial de Majorana de cuatro dimensiones (el gravitino, $\psi_\mu$).

1. La Cuestión No Restringida: ¿Cuáles son todos los bilineares locales, sin derivadas, de un espinor-vectorial general? Este marco permite el uso de co-marcos inversos, productos interiores, duales de Hodge y contracciones directas de índices vectoriales.
2. La Cuestión Restringida: ¿Cuáles son los cuatro-formas bilineares disponibles estrictamente dentro del álgebra de Cartan de primer orden generada polinómicamente por la co-marco $e^a$ y el uno-forma del gravitino $\psi$ bajo el producto de cuña (wedge) y multiplicación de Clifford? Este marco excluye explícitamente los co-marcos inversos, los productos interiores y las contracciones directas de índices exteriores.

Los autores argumentan que, si bien el sector no restringido (Pregunta 1) no selecciona de forma única el operador de masa convencional de Rarita–Schwinger debido a la existencia de estructuras independientes de paridad par (específicamente el escalar $\bar{\psi}_a \psi^a$ y la traza de gamma $(\bar{\psi}_a \gamma^a)(\gamma_b \psi^b)$), una clasificación restringida emerge cuando se limita al sector de polinomios exteriores (Pregunta 2). Específicamente, el artículo demuestra que, mientras el álgebra no restringida permite múltiples estructuras independientes, el álgebra restringida produce un espacio de dos dimensiones de candidatos que, tras imponer condiciones de paridad y realidad, se reduce a la línea unidimensional correspondiente al término de masa convencional de Rarita–Schwinger. Además, el artículo busca aclarar cómo las medidas de superspacio y los operadores de cambio de imagen (PCOs) proyectan estos super-formas a acciones de componentes, corrigiendo una afirmación previa de los autores respecto a fibras $C^{0|1}$ reducidas.

Metodología
El análisis procede mediante una clasificación algebraica rigurosa y una proyección geométrica:

• Clasificación Algebraica: Los autores definen dos álgebras: $A_{\text{full}}$ (no restringida) y $A_\wedge$ (polinomio exterior). Analizan el espacio de mapas equivariantes de Lorentz desde el módulo bivector $\Lambda^2 V$ hacia el álgebra de endomorfismos del módulo espinorial.
• Convenciones: El trabajo utiliza convenciones específicas para orientación, símbolos epsilon, álgebras de Clifford y productos graduados (distinguiendo entre grado de la forma y paridad de Grassmann). Crucialmente, establecen que dos uno-formas fermiónicas conmutan bajo gradación total, evitando que los cuatro-formas candidatos se anulen identicamente.
• Proyección de Superspacio: El artículo emplea el lenguaje de formas integrales y dualidad de Poincaré. Utiliza un Operador de Cambio de Imagen (PCO), representado como una cuatro-forma integral cerrada $Y^{(0|4)}$, para proyectar un lagrangiano de super-cuatro-forma sobre el cuerpo bosónico del superspacio.
• Cálculo Explícito: Se realiza un cálculo local en un parche de coordenadas de Wess–Zumino para demostrar la extracción del término de masa de componentes del super-forma.

Contribuciones Clave y Resultados

1. No Unicidad en el Sector No Restringido:
   En el sector algebraico completo ($A_{\text{full}}$), el espacio de paridad par de bilineares sin derivadas es bidimensional, generado por $\bar{\psi}_a \psi^a$ y $(\bar{\psi}_a \gamma^a)(\gamma_b \psi^b)$. La contracción de Rarita–Schwinger $\bar{\psi}_a \gamma^{ab} \psi_b$ es simplemente la diferencia entre estas dos estructuras independientes. Por lo tanto, la covarianza de Lorentz y la paridad por sí solas no seleccionan de forma única el operador de masa de Rarita–Schwinger sin aportes físicos adicionales (términos cinéticos, restricciones o supersimetría).

2. Clasificación Restringida en el Sector de Polinomios Exteriores:
   En el álgebra restringida $A_\wedge$, donde los co-marcos inversos y los productos interiores están prohibidos, la clasificación arroja un espacio vectorial real de dos dimensiones de cuatro-formas locales, sin derivadas, cuadráticas en $\psi$ y que contienen exactamente dos co-marcos. Este espacio está generado por:
   $$B_- = \bar{\psi} \wedge \gamma^{(2)} \wedge \psi$$
   $$B_+ = \bar{\psi} \wedge \gamma_5 \gamma^{(2)} \wedge \psi$$
   donde $\gamma^{(2)} = \frac{1}{2}\gamma_{ab} e^a \wedge e^b$. El artículo aclara que este espacio bidimensional representa el conjunto completo de candidatos antes de aplicar las condiciones físicas; la unicidad del término de masa no es inherente al sector algebraico por sí solo, sino que emerge solo tras imponer condiciones de paridad par y de acción real.

3. Selección del Término de Masa Físico:
   Al imponer las condiciones de paridad par y de acción real, el sector de masa física de Rarita–Schwinger se reduce a una línea de una dimensión. Los autores derivan la identidad explícita de forma-a-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$$
   Esto establece que el término de masa convencional corresponde al representante de paridad par $B_+$ dentro del álgebra restringida, mientras que $B_-$ corresponde al dual de paridad impar.

4. Proyección de Superspacio y Corrección de Afirmaciones Previas:
   El artículo sustituye un preprint anterior (arXiv:2601.12537) que proponía una fibra $C^{0|1}$ reducida y que la forma $\theta d\theta$ podía seleccionar la estructura de Rarita–Schwinger. Los autores demuestran que este argumento falla porque:

   • $\theta$ es un escalar y carece de los necesarios índices de Lorentz y de uno-forma.
   • $\theta d\theta$ es un uno-forma superordinario, no una forma integral con el número de imagen requerido.
   • $d\theta$ es conmutante, lo que impide la estructura algebraica necesaria.

   En su lugar, el artículo proporciona una proyección local válida utilizando un PCO $Y^{(0|4)}$ (por ejemplo, $\theta^2 \bar{\theta}^2 \delta^2(d\theta) \delta^2(d\bar{\theta})$). Esta proyección extrae el componente de cuerpo de la super-cuatro-forma de masa, confirmando que la estructura del tensor de Clifford es intrínseca a la super-lagrangiana y no es generada por la medida de integración.

Significado y Reivindicaciones
El artículo afirma proporcionar una clasificación rigurosa del sector de Cartan de polinomios de cuña para los términos de masa del gravitino, distinta de un teorema de unicidad general para todos los operadores de espinor-vectorial.

• Clarificación de la Unicidad: Los autores enfatizan que el término de masa de Rarita–Schwinger no es único en el sentido algebraico general, ni es único en el sentido algebraico restringido antes de la selección de paridad. Su selección en la supergravedad surge de la interacción entre el operador cinético, las restricciones de supersimetría local y la estructura específica del mecanismo de super-Higgs o la completitud de AdS. La "unicidad" es el resultado de la combinación del sector restringido con las condiciones de paridad y realidad, no del sector algebraico por sí solo.
• Precisión Geométrica: El trabajo clarifica el origen geométrico del término de masa dentro del formalismo de primer orden, mostrando que es el elemento de paridad par único en el álgebra de polinomios exteriores restringida después de aplicadas las condiciones físicas.
• Consistencia de Superspacio: Al corregir el argumento anterior de $C^{0|1}$, el artículo establece que la proyección desde el superspacio a los componentes depende de las formas integrales y los PCOs, los cuales extraen datos geométicos existentes en lugar de construir la estructura del tensor o la escala de masa.

El artículo concluye que el estándar de contracción de masa de Rarita–Schwinger ocupa dos entornos matemáticos diferentes: una posición no única en el álgebra no restringida y una posición de dos dimensiones en el álgebra restringida (que se reduce a una línea física única solo después de que la paridad y la realidad son impuestas), con la selección física final determinada por la dinámica completa de la supergravedad (términos cinéticos, restricciones y campos de fondo).