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

Technische Samenvatting: Scheidbaarheid van de Beweging van Draaiende Testdeeltjes in Gekromde Ruimtetijd

Probleemstelling
De beweging van draaiende testlichamen in gekromde ruimtetijden is een fundamenteel probleem in de relativistische mechanica, met cruciale toepassingen voor het modelleren van extreme-massa-verhouding inspiralen (EMRIs) van roterende compacte objecten voor toekomstige ruimtegebaseerde zwaartekrachtgolfdetectoren zoals LISA. Terwijl geodeetse beweging in zwarte gat-ruimtetijden scheidbaar en integreerbaar is vanwege verborgen symmetrieën (Killing-Yano tensoren), doorbreekt de introductie van spin generiek deze scheidbaarheid. Bovendien introduceert de definitie van het zwaartepunt van een draaiend lichaam relativistische ambiguïteiten, wat een keuze van een spin supplementaire conditie (SSC) noodzakelijk maakt. Deze keuze komt overeen met het klassieke tegenhanger van de Newton-Wigner lokalisatie en vormt de basis voor de fase-ruimte variabelen die worden gebruikt bij modellering van binaire systemen met een vergelijkbare massa-verhouding. De centrale uitdaging die wordt aangepakt, is bepalen onder welke voorwaarden de dynamica van een draaiend deeltje scheidbaar blijft in aanwezigheid van spin-kromming-koppeling.

Methodologie
De auteurs herformuleren de lineair-in-spin dynamica van een draaiend lichaam als een geconstrueerd Hamiltoniaans systeem binnen een wereldlijn-geadapteerd, fase-ruimte-afhankelijk tetrad-raamwerk.

1. Canonieke Formalisme: Vertrekkend vanuit de canonieke actie voor een draaiend lichaam, introduceren de auteurs een genererende functie om te transformeren van een achtergrondraam naar een generiek, fase-ruimte-afhankelijk raamwerk. Deze transformatie generaliseert de Newton-Wigner variabelen en maakt het mogelijk om de SSC te behandelen als een eenvoudige Dirac-constraint.
2. Wereldlijn-Geadapteerde Tetraden: Een specifiek tetrad wordt gekozen waarbij het tijdachtige been uitgelijnd is met de vier-snelheid (of impuls) van het deeltje. In dit raamwerk vereenvoudigt de Tulczyjew-Dixon SSC ($S_{\mu\nu}P^\nu = 0$) tot $S_{0B} = 0$, wat een eenvoudige reductie van de fase-ruimte mogelijk maakt met behulp van Dirac-brackets.
3. Hamilton-Jacobi (HJ) Analyse: De auteurs formuleren de HJ-vergelijking die geldig is tot de eerste orde in spin. Zij onderzoeken de voorwaarden waaronder deze vergelijking een scheidbare oplossing toelaat.
4. Parallel Transport Analyse: De scheidbaarheid van de HJ-vergelijking is gekoppeld aan de scheidbaarheid van het parallel transport van vectoren langs de achtergrondgeodeten. De auteurs definiëren "torus-reduceerbaar" parallel transport (waarbij precessiematrices op verschillende tijdstippen commuteren) en "scheidbaar" parallel transport (waarbij de transportvergelijkingen kunnen worden ontkoppeld in onafhankelijke integralen over scheidingscoördinaten).

Belangrijkste Bijdragen en Resultaten
Het artikel stelt een rigoureus theorema vast dat de scheidbaarheid van geodeetse beweging, de scheidbaarheid van parallel transport en de scheidbaarheid van de HJ-vergelijking voor een draaiend testdeeltje met elkaar verbindt:

• Hoofdtheorema: Als de geodeetse beweging in een ruimtetijd scheidbaar is en het parallel transport van vectoren langs deze geodeten ook scheidbaar is (specifiek torus-reduceerbaar en uitdrukbaar als een som van onafhankelijke quadraturen), dan is de Hamilton-Jacobi vergelijking voor een draaiend testdeeltje scheidbaar tot de eerste orde in spin.
• Fase-Ruimte Reductie: De auteurs demonstreren dat in een geschikt niet-minimaal raamwerk de spin-vrijheidsgraden ontkoppelen van de baan-sector in de perturbatieve HJ-vergelijking. De spin-sector hangt alleen af van een set behouden grootheden die overeenkomen met de projecties van de spitensor op de invariante vlakken van het parallel transport.
• Expliciete Oplossingen: Het formalisme wordt geïllustreerd in drie verschillende families van ruimtetijden:
  1. Kerr-NUT-(A)dS Zwarte Gaten: Door gebruik te maken van een wereldlijn-geadapteerd tetrad afgeleid van de Killing-Yano tensor (een generalisatie van het Marck-tetrad), tonen de auteurs aan dat het parallel transport scheidbaar is. De perturbatieve oplossing voor de karakteristieke functie $W$ wordt geconstrueerd als $W = W^{(g)} + W^{(1)}$, waarbij $W^{(1)}$ een precessiehoek $\psi$ bevat die een som is van integralen over de radiale en hoekcoördinaten.
  2. Gravitatie-vlakgolven: In Rosen-coördinaten worden de geodeetse beweging en het parallel transport als scheidbaar aangetoond. De precessiematrix hangt alleen af van de affiene parameter, wat leidt tot een eenvoudige quadratuur voor de spin-correctie.
  3. FLRW Kosmologieën: In Friedmann-Lemaître-Robertson-Walker ruimtetijden construeren de auteurs een aangepast tetrad dat identiek parallel getransporteerd wordt (de transportmatrix verdwijnt). Bijgevolg ontkoppelt de spin-sector volledig en ontvangt de wereldlijn geen $O(S)$ correctie in deze specifieke fase-ruimte variabelen.

Betekenis
Het artikel beweert dat dit werk een algemeen kader biedt voor het begrijpen van wanneer de dynamica van draaiende deeltjes integraal blijft. Door expliciet de fase-ruimte variabelen te construeren (relaties 8–10) die de HJ-vergelijking scheidbaar maken, lossen de auteurs eerdere problemen op met divergenties in perturbatieve oplossingen gevonden in eerdere behandelingen van de Kerr-ruimtetijd (waar "toevallige" tetraden werden gebruikt). De resultaten verhelderen dat de scheidbaarheid van de beweging van het draaiende deeltje geen toeval is van specifieke metrieken, maar een direct gevolg is van de scheidbaarheid van de onderliggende geometrie van het parallel transport. Dit formalisme legt de basis voor het modelleren van draaiende binaire systemen in hogere-dimensie zwarte gat-ruimtetijden, zoals gedetailleerd in een begeleidend artikel, en biedt een robuuste methode voor het berekenen van zwaartekrachtgolffluxen en acties zonder de noodzaak van subtiele analytische continuatie-argumenten.