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

Sintesi Tecnica: Separabilità del Moto di Particelle di Prova Rotanti in Spazio-Tempo Curvo

Enunciato del Problema
Il moto di corpi di prova con spin in spazi-tempi curvi è un problema fondamentale della meccanica relativistica, con applicazioni critiche nella modellazione di inspirali a rapporto di massa estremo (EMRI) di oggetti compatti rotanti per futuri rilevatori di onde gravitazionali spaziali come LISA. Mentre il moto geodetico negli spazi-tempi di buchi neri è separabile e integrabile grazie a simmetrie nascoste (tensori di Killing-Yano), l'introduzione dello spin rompe genericamente la separabilità. Inoltre, la definizione del centro di massa di un corpo rotante introduce ambiguità relativistiche, rendendo necessaria la scelta di una condizione di supplemento dello spin (SSC). Questa scelta corrisponde al controparte classica della localizzazione di Newton-Wigner e costituisce la base delle variabili dello spazio delle fasi utilizzate nella modellazione di binarie a rapporto di massa comparabile. La sfida centrale affrontata è determinare in quali condizioni la dinamica di una particella rotante rimanga separabile in presenza di accoppiamento spin-curvatura.

Metodologia
Gli autori riformulano la dinamica lineare nello spin di un corpo rotante come un sistema hamiltoniano vincolato all'interno di un telaio di tetradi dipendente dallo spazio delle fasi e adattato alla linea di universo.

1. Formalismo Canonico: Partendo dall'azione canonica per un corpo rotante, gli autori introducono una funzione generatrice per trasformare da un telaio di fondo a un telaio generico dipendente dallo spazio delle fasi. Questa trasformazione generalizza le variabili di Newton-Wigner e permette di trattare l'SSC come un semplice vincolo di Dirac.
2. Tetradi Adattati alla Linea di Universo: Viene scelto un tetrade specifico in cui la gamba temporale si allinea con la quadrivelocità (o il momento) della particella. In questo telaio, l'SSC di Tulczyjew-Dixon ($S_{\mu\nu}P^\nu = 0$) si semplifica in $S_{0B} = 0$, permettendo una riduzione diretta dello spazio delle fasi tramite i bruschetti di Dirac.
3. Analisi Hamilton-Jacobi (HJ): Gli autori formulano l'equazione HJ valida al primo ordine lineare nello spin. Investigano le condizioni sotto le quali tale equazione ammette una soluzione separabile.
4. Analisi del Trasporto Parallelo: La separabilità dell'equazione HJ è collegata alla separabilità del trasporto parallelo di vettori lungo le geodetiche di fondo. Gli autori definiscono il trasporto parallelo "torus-riducibile" (dove le matrici di precessione a tempi diversi commutano) e il trasporto parallelo "separabile" (dove le equazioni di trasporto possono essere disaccoppiate in integrali indipendenti sulle coordinate di separazione).

Contributi Chiave e Risultati
Il lavoro stabilisce un teorema rigoroso che connette la separabilità del moto geodetico, la separabilità del trasporto parallelo e la separabilità dell'equazione HJ della particella rotante:

• Teorema Principale: Se il moto geodetico in uno spazio-tempo è separabile e il trasporto parallelo di vettori lungo tali geodetiche è anch'esso separabile (specificamente, torus-riducibile e esprimibile come somma di quadrature indipendenti), allora l'equazione Hamilton-Jacobi per una particella di prova è separabile al primo ordine lineare nello spin.
• Riduzione dello Spazio delle Fasi: Gli autori dimostrano che in un modulo di telaio non-minimale, i gradi di libertà dello spin si disaccoppiano dal settore orbitale nell'equazione HJ perturbativa. Il settore dello spin dipende solo da un insieme di integrali di moto corrispondenti alle proiezioni del tensore di spin sui piani invarianti del trasporto parallelo.
• Soluzioni Esplicite: Il formalismo è illustrato in tre distinte famiglie di spazi-tempi:
  1. Buchi Neri Kerr-NUT-(A)dS: Utilizzando un tetrade adattato alla linea di universo derivato dal tensore di Killing-Yano (generalizzando il tetrade di Marck), gli autori mostrano che il trasporto parallelo è separabile. La soluzione perturbativa per la funzione caratteristica $W$ è costruita come $W = W^{(g)} + W^{(1)}$, dove $W^{(1)}$ coinvolge un angolo di precessione $\psi$ che è una somma di integrali sulle coordinate radiali e angolari.
  2. Onde Gravitazionali Piane: In coordinate di Rosen, il moto geodetico e il trasporto parallelo sono mostrati essere separabili. La matrice di precessione dipende solo dal parametro affine, portando a una semplice quadratura per la correzione dello spin.
  3. Cosmologie FLRW: Negli spazi-tempi di Friedmann-Lemaître-Robertson-Walker, gli autori costruiscono un tetrade adattato che è trasportato parallelamente in modo identico (la matrice di trasporto svanisce). Di conseguenza, il settore dello spin si disaccoppia completamente e la linea di universo non riceve alcuna correzione $O(S)$ in queste specifiche variabili dello spazio delle fasi.

Significatività
Il presente lavoro sostiene che questa ricerca fornisce un quadro generale per comprendere quando la dinamica delle particelle rotanti rimane integrabile. Costruendo esplicitamente le variabili dello spazio delle fasi (relazioni 8–10) che rendono separabile l'equazione HJ, gli autori risolvono i problemi precedenti relativi alle divergenze nelle soluzioni perturbative trovate in trattamenti precedenti dello spazio-tempo Kerr (dove venivano usati tetradi "coincidenti"). I risultati chiariscono che la separabilità del moto della particella rotante non è un accidente di metriche specifiche, ma una diretta conseguenza della separabilità della geometria del trasporto parallelo sottostante. Questo formalismo pone le basi per modellare binarie rotanti in spazi-tempi di buchi neri ad alta dimensionalità, come dettagliato in un articolo complementare, e offre un metodo robusto per calcolare i flussi gravitazionali e le azioni senza la necessità di sottili argomenti di continuazione analitica.