Separability of the motion of spinning test particles in curved space-time

Resumen Técnico: Separabilidad del Movimiento de Partículas de Prueba con Espín en Espacio-tiempos Curvos

Planteamiento del Problema
El movimiento de cuerpos de prueba con espín en espaciotiempos curvos es un problema fundamental en la mecánica relativista, con aplicaciones críticas en el modelado de inspirales de masa extrema (EMRIs) de objetos compactos rotatorios para futuros detectores de ondas gravitacionales espaciales como LISA. Mientras que el movimiento geodésico en espaciotiempos de agujeros negros es separable e integrable debido a simetrías ocultas (tensores de Killing-Yano, el caso es que la introducción del espín rompe genéricamente esta separabilidad. Además, la definición del centro de masas de un cuerpo con espín introduce ambigüedades relativistas, lo que requiere una elección de la condición de suplemento de espín (SSC). Esta elección corresponde al contraparte clásica de la localización de Newton-Wigner y sustenta las variables del espacio de fases utilizadas en el modelado de binarias de relación de masa comparable. El desafío central abordado es determinar bajo qué condiciones la dinámica de una partícula con espín permanece separable en presencia del acoplamiento espín-curvatura.

Metodología
Los autores reformulan la dinámica lineal en espín de un cuerpo con espín como un sistema hamiltoniano restringido dentro de un marco de tetrad basado en el espacio de fases.

1. Formalismo Canónico: Partiendo de la acción canónica para un cuerpo con espín, los autores introducen una función generatriz para transformar desde un marco de fondo hacia un marco genérico dependiente del espacio de fases. Esta transformación generaliza las variables de Newton-Wigner y permite que la SSC sea tratada como una simple restricción de Dirac.
2. Tetrades Adaptados a la Línea de Mundo: Se elige un tetrad específico donde la pata de tipo tiempo se alinea con la cuatro-velocidad (o momento) de la partícula. En este marco, la SSC de Tulczyjew-Dixon ($S_{\mu\nu}P^\nu = 0$) se simplifica a $S_{0B} = 0$, permitiendo una reducción directa del espacio de fases mediante corchetes de Dirac.
3. Análisis de Hamilton-Jacobi (HJ): Los autores formulan la ecuación HJ válida hasta el primer orden en espín. Investigan las condiciones bajo las cuales esta ecuación admite una solución separable.
4. Análisis de Transporte Paralelo: La separabilidad de la ecuación HJ está vinculada a la separabilidad del transporte paralelo de vectores a lo largo de las geodésicas de fondo. Los autores definen el transporte paralelo "toroidalmente reducible" (donde las matrices de precesión en diferentes tiempos conmutan) y el transporte paralelo "separable" (donde las ecuaciones de transporte pueden desacoplarse en integrales independientes sobre las coordenadas de separación).

Contribuciones Clave y Resultados
El artículo establece un teorema riguroso que conecta la separabilidad del movimiento geodésico, la separabilidad del transporte paralelo y la separabilidad de la ecuación de Hamilton-Jacobi para la partícula con espín:

• Teorema Principal: Si el movimiento geodésico en un espaciotiempo es separable y el transporte paralelo de vectores a lo largo de dichas geodésicas es también separable (específicamente, toroidalmente reducible y expresable como una suma de cuadraturas independientes), entonces la ecuación de Hamilton-Jacobi para una partícula de prueba con espín es separable hasta el primer orden en espín.
• Reducción del Espacio de Fases: Los autores demuestran que, en un marco no-mínimo adecuado, los grados de libertad del espín se desacoplan del sector orbital en la ecuación HJ perturbativa. El sector del espín depende únicamente de un conjunto de integrales de movimiento correspondientes a las proyecciones del tensor de espín sobre los planos invariantes del transporte paralelo.
• Soluciones Explícitas: El formalismo se ilustra en tres familias distintas de espaciotiempos:
  1. Agujeros Negros Kerr-NUT-(A)dS: Utilizando un tetrad adaptado a la línea de mundo derivado del tensor de Killing-Yano (generalizando el tetrad de Marck), los autores muestran que el transporte paralelo es separable. La solución perturbativa para la función característica $W$ se construye como $W = W^{(g)} + W^{(1)}$, donde $W^{(1)}$ involucra un ángulo de precesión $\psi$ que es una suma de integrales sobre las coordenadas radiales y angulares.
  2. Ondas Gravitacionales Planas: En coordenadas de Rosen, el movimiento geodésico y el transporte paralelo son mostrados como separables. La matriz de precesión depende únicamente del parámetro afín, lo que conduce a una cuadratura simple para la corrección de espín.
  3. Cosmologías FLRW: En espaciotiempos de Friedmann-Lemaître-Robertson-Walker, los autores construyen un tetrad adaptado que es transportado paralelamente de forma idéntica (la matriz de transporte se anula). En consecuencia, el sector del espín se desacopla completamente, y la línea de mundo no recibe ninguna corrección $O(S)$ en estas variables específicas de espacio de fases.

Significancia
El artículo afirma que este trabajo proporciona un marco general para comprender cuándo la dinámica de partículas con espín permanece integrable. Al construir explícitamente las variables del espacio de fases (relaciones 8–10) que hacen que la ecuación HJ sea separable, los autores resuelven problemas previos de divergencias en soluciones perturbativas encontradas en tratamientos anteriores de el espacio-tiempo de Kerr (donde se usaron tetrades "coincidentes"). Los resultados aclaran que la separabilidad del movimiento de la partícula con espín no es un accidente de métricas específicas, sino una consecuencia directa de la separabilidad de la geometría del transporte paralelo subyacente. Este formalismo sienta las bases para modelar binarias con espín en espaciotiempos de agujeros negros de mayor dimensión, como se detalla en un artículo complementario, y ofrece un método robusto para calcular flujos de ondas gravitacionales y acciones sin la necesidad de argumentos sutiles de continuación analítica.