Covariant variation for point-particle Lagrangians

Resumen Técnico: Variación Covariante para Lagrangianos de Partículas Puntuales

Planteamiento del Problema
Las partículas de prueba sin estructura siguen geodésicas en la relatividad general, pero los cuerpos extendidos con estructura interna (como el espín) se desvían del movimiento geodésico. Los cuerpos masivos con espín se describen mediante las ecuaciones de Mathisson–Papapetrou–Dixon (MPD), derivadas de una expansión multipolar del tensor de energía-impulso. Del mismo modo, la corrección de primer orden a la aproximación eiconal para la propagación de ondas electromagnéticas puede modelarse como el movimiento no geodésico de partículas nulas con espín. Aunque los lagrangianos de partículas puntuales efectivos pueden reproducir estas ecuaciones de movimiento, su formulación variacional presenta desafíos técnicos significativos. Las variables dinámicas relevantes están definidas en un espacio-tiempo curvo y conllevan grados de libertad internos restringidos (por ejemplo, tetrados o tensores de espín). Las técnicas variacionales estándar suelen volverse engorrosas y oscurecer la covarianza, lo que conduce a inconsistencias en la literatura respecto a la estructura variacional de estos modelos.

Metodología
Los autores adoptan y extienden el formalismo de variación covariante de DeWitt para abordar estas dificultades. La innovación metodológica central es la distinción explícita entre varios tipos de variaciones y la construcción de sus correspondientes extensiones covariantes. El marco distingue entre:

1. Campos en el espacio-tiempo ($\phi(x)$), definidos en la variedad.
2. Tensores de la línea de mundo ($\psi(x(\tau), \tau)$), definidos solo a lo largo de la trayectoria (por ejemplo, vectores tangentes, tetrados).

Los autores definen cuatro variaciones elementales:

• Variación en el mismo punto ($\delta$): la diferencia entre campos en un mismo punto de coordenadas.
• Variación de desplazamiento ($\delta_1$): el cambio debido al desplazamiento del punto de coordenadas.
• Variación total ($\delta_2$): el efecto combinado de desplazamiento y transformación tensorial.
• Variación de transporte paralelo ($\delta_\parallel$): el cambio requerido para comparar tensores en diferentes puntos mediante transporte paralelo.

A partir de estas, los autores construyen variaciones covariantes ($\Delta_1$ y $\Delta_2$) comparando las variaciones elementales contra el transporte paralelo. Crucialmente, introducen una variación de desplazamiento extendida ($\hat{\delta}_1$) y una variación covariante extendida ($\hat{\Delta}$). Esta extensión permite la variación independiente de los tensores de la línea de mundo (como el marco interno de una partícula con espín) mientras se mantiene fija la trayectoria de la línea de mundo, separando la variación inducida por las difeomorfismos del espacio-tiempo de la variación de los grados de libertad internos.

El formalismo se aplica a:

1. Partículas puntuales sin espín.
2. Partículas con espín masivo (derivando las ecuaciones MPD).
3. Partículas nulas con espín (rayos de luz post-eiconales).

Contribuciones Clave y Resultados

1. Clarificación de los Tipos de Variación: El artículo categoriza sistemáticamente las variaciones, demostrando que $\Delta_1$ es el desplazamiento covariante natural para los campos del espacio-tiempo (manteniendo el métrico inerte), mientras que $\Delta_2$ está ligada a la acción de difeomorfismo total y es apropiada para identificar simetrías de Killing. Se muestra que la variación extendida $\hat{\Delta}$ es necesaria para manejar tensores de línea de mundo independientes.

2. Derivación de las Ecuaciones MPD: Aplicando este marco a partículas con espín masivo, los autores derivan las ecuaciones MPD y las ecuaciones de conservación asociadas en una forma manifiestamente covariante.

   • Modelan el espín utilizando un marco ortonormal $\{e^\mu_A\}$ y construyen un lagrangiano dependiente de los invariantes escalares del vector tangente $l^\mu$ y la velocidad angular del marco $\Omega_{\mu\nu}$.
   • Al variar el lagrangiano con respecto al desplazamiento de la línea de mundo y la rotación independiente del marco, recuperan la ecuación de momento $\nabla_\tau p_\mu = -\frac{1}{2}R_{\mu\nu\rho\sigma}l^\nu S^{\rho\sigma}$ y la ecuación de evolución del espín $\nabla_\tau S_{\mu\nu} = p_\mu l_\nu - p_\nu l_\mu$.
   • Derivan la carga conservada asociada a un vector de Killing $\xi$ como $Q_\xi = p_\mu \xi^\mu + \frac{1}{2}S_{\mu\nu}\nabla_\mu \xi^\nu$.

3. Lagrangiano para Rayos de Luz Post-Eiconales: Los autores construyen un lagrangiano de línea de mundo local simple para partículas sin masa cuyas trayectorias describen rayos de luz en la aproximación post-eiconal (incluyendo correcciones dependientes de la polarización).

   • El lagrangiano consiste en un término cinético $L_{kin} = \omega(k_\mu l^\mu - \frac{e}{2}k_\mu k^\mu)$ y un término de acoplamiento espín-órbita $L_{spin} = Ca$, donde $a$ representa la velocidad angular del plano de polarización transversal.
   • Al establecer el coeficiente $C = -\sigma$ (donde $\sigma = \pm 1$ es la helicidad) e imponer restricciones para forzar las condiciones de propagación del tetrado de Newman–Penrose, las ecuaciones de Euler–Lagrange reproducen la ecuación de trayectoria $\nabla_\tau l^\mu = -\frac{\sigma}{\omega} R^\mu_{\nu\alpha\beta} l^\nu e^\alpha_{(2)} e^\beta_{(3)}$.
   • El tensor de espín resultante es puramente transversal y está fijado por la helicidad, lo que distingue este modelo de los sistemas MPD genéricos con grados de libertad de espín independientes.

Significancia
El artículo afirma que su principal significancia radica en proporcionar un cálculo variacional sistemático y covariante para modelos de partículas puntuales efectivos en el espacio-tiempo curvo. Al distinguir entre variaciones de campos espaciotemporales, variaciones inducidas por simetrías espaciotemporales y variaciones independientes de los grados de libertad internos de la línea de mundo, el marco:

• Simplifica la derivación de las ecuaciones de movimiento y las leyes de conservación para sistemas complejos como cuerpos con espín y luz polarizada.
• Clarifica el origen geométrico de las fuerzas de curvatura y las ecuaciones de transporte de espín.
• Ofrece un lenguaje unificado para tratar el movimiento geodésico, la dinámica MPD y la propagación de luz corregida por polarización como problemas variacionales de línea de mundo.

Los autores señalan que este enfoque es particularmente útil para derivar potenciales presimplécticos y cantidades conservadas (incluyendo aquellas relacionadas con simetrías ocultas como los tensores de Killing–Yano) para modelos de rayos efectivos que surgen de expansiones de alta frecuencia de las ecuaciones de campo. Sugieren que este formalismo puede extenderse a órdenes superiores en la expansión $1/\omega$ y a otros campos, como los paquetes de ondas gravitacionales y de Dirac, para investigar más a fondo la universalidad de los efectos de acoplamiento espín-curvatura.