Covariant variation for point-particle Lagrangians

Sintesi Tecnica: Variazione Covariante per Lagrangiani di Particelle Puntiformi

Enunciato del Problema
Le particelle di prova prive di struttura seguono le geodetiche nella relatività generale, ma i corpi estesi con struttura interna (come lo spin) deviano dal moto geodetico. I corpi massivi rotanti sono descritti dalle equazioni di Mathisson–Papapetrou–Dixon (MPD), derivate da un'espansione multipolare del tensore energia-impulso. Allo stesso modo, la correzione di primo ordine all'approssimazione eikonale per la propagazione delle onde elettromagnetiche può essere modellata come il moto non geodetico di particelle nulle rotanti. Sebbene i Lagrangiani efficaci di particelle puntiformi possano riprodurre queste equazioni del moto, la loro formulazione variazionale presenta significative sfide tecniche. Le variabili dinamiche rilevanti sono definite su uno spaziotempo curvo e coinvolgono gradi di libertà interni vincolati (ad esempio, tetradi o tensori di spin). Le tecniche variazionali standard spesso diventano ingombranti e oscurano la covarianza, portando a inconsistenze nella letteratura riguardante la struttura variazionale di questi modelli.

Metodologia
Gli autori adottano ed estendono il formalismo della variazione covariante di DeWitt per affrontare queste difficoltà. L'innovazione metodologica centrale è la distinzione esplicita tra diversi tipi di variazioni e la costruzione delle loro corrispondenti estensioni covarianti. Il framework distingue tra:

1. Campi spaziotemporali ($\phi(x)$), definiti sul manifold.
2. Tensori sulla linea di universo ($\psi(x(\tau), \tau)$), definiti solo lungo la traiettoria (ad esempio, vettori tangente, tetradi).

Gli autori definiscono quattro variazioni elementari:

• Variazione nello stesso punto ($\delta$): la differenza tra campi nello stesso punto di coordinate.
• Variazione di spostamento ($\delta_1$): il cambiamento dovuto allo spostamento del punto di coordinate.
• Variazione totale ($\delta_2$): l'effetto combinato di spostamento e trasformazione tensoriale.
• Variazione di trasporto parallelo ($\delta_\parallel$): il cambiamento richiesto per confrontare tensori in punti diversi tramite trasporto parallelo.

Da queste, gli autori costruiscono variazioni covarianti ($\Delta_1$ e $\Delta_2$) confrontando le variazioni elementari rispetto al trasporto parallelo. Crucialmente, introducono una variazione di spostamento estesa ($\hat{\delta}_1$) e una variazione covariante estesa ($\hat{\Delta}$). Questa estensione permette la variazione indipendente dei tensori sulla linea di universo (come il frame interno di una particella rotante) mantenendo fissa la traiettoria della linea di universo, separando la variazione indotta dalle diffeomorfismi spaziotemporali dalla variazione dei gradi di libertà interni.

Il formalismo è applicato a:

1. Particelle puntiformi senza spin.
2. Particelle rotanti massive (derivando le equazioni MPD).
3. Particelle nulle rotanti (raggi di luce post-eikonali).

Contributi Chiave e Risultati

1. Chiarificazione dei Tipi di Variazione: Il documento categorizza sistematicamente le variazioni, dimostrando che $\Delta_1$ è lo spostamento covariante naturale per i campi spaziotemporali (mantenendo il metrico inerte), mentre $\Delta_2$ è legato all'azione totale della diffeomorfismo ed è appropriata per identificare le simmetrie di Killing. La variazione estesa $\hat{\Delta}$ è mostrata essere necessaria per gestire i tensori indipendenti sulla linea di universo.

2. Derivazione delle Equazioni MPD: Applicando questo framework alle particelle rotanti massive, gli autori derivano le equazioni MPD e le associate leggi di conservazione in una forma manifestamente covariante.

   • Modellano lo spin utilizzando un frame ortonormale $\{e^\mu_A\}$ e costruiscono un Lagrangiano dipendente dagli invarianti scalari del vettore tangente $l^\mu$ e della velocità angolare del frame $\Omega_{\mu\nu}$.
   • Variando il Lagrangiano rispetto allo spostamento della linea di universo e alla rotazione indipendente del frame, recuperano l'equazione del momento $\nabla_\tau p_\mu = -\frac{1}{2}R_{\mu\nu\rho\sigma}l^\nu S^{\rho\sigma}$ e l'equazione di evoluzione dello spin $\nabla_\tau S_{\mu\nu} = p_\mu l_\nu - p_\nu l_\mu$.
   • Derivano la carica conservata associata a un vettore di Killing $\xi$ come $Q_\xi = p_\mu \xi^\mu + \frac{1}{2}S_{\mu\nu}\nabla_\mu \xi^\nu$.

3. Lagrangiano per i Raggi di Luce Post-Eikonali: Gli autori costruiscono un semplice Lagrangiano locale sulla linea di universo per particelle nulle le cui traiettorie descrivono raggi di luce nell'approssimazione post-eikonale (inclusi i termini di correzione dipendenti dalla polarizzazione).

   • Il Lagrangiano consiste in un termine cinetico $L_{kin} = \omega(k_\mu l^\mu - \frac{e}{2}k_\mu k^\mu)$ e un termine di accoppiamento spin-orbita $L_{spin} = Ca$, dove $a$ rappresenta la velocità angolare del piano di polarizzazione trasversale.
   • Impostando il coefficiente $C = -\sigma$ (dove $\sigma = \pm 1$ è l'elicità) e imponendo i vincoli per soddisfare le condizioni di propagazione del tetrade di Newman–Penrose, le equazioni di Euler–Lagrange riproducono l'equazione della traiettoria $\nabla_\tau l^\mu = -\frac{\sigma}{\omega} R^\mu_{\nu\alpha\beta} l^\nu e^\alpha_{(2)} e^\beta_{(3)}$.
   • Il tensore di spin risultante è puramente trasversale e fissato dall'elicità, distinguendo questo modello dai generici sistemi MPD con gradi di libertà di spin indipendenti.

Significatività
Il documento afferma che la sua principale significatività risiede nel fornire un calcolo variazionale sistematico e covariante per i modelli efficaci di particelle puntiformi in uno spaziotempo curvo. Distinguendo tra variazioni di campi spaziotemporali, variazioni indotte dalle simmetrie spaziotemporali e variazioni indipendenti dei gradi di libertà interni della linea di universo, il framework:

• Semplifica la derivazione delle equazioni del moto e delle leggi di conservazione per sistemi complessi come corpi rotanti e luce polarizzata.
• Chiarisce l'origine geometrica delle forze di curvatura e delle equazioni di trasporto dello spin.
• Offre un linguaggio unificato per trattare il moto geodetico, la dinamica MPD e la propagazione della luce corretta dalla polarizzazione come problemi variazionali sulla linea di universo.

Gli autori notano che questo approccio è particolarmente utile per derivare potenziali presimpletici e quantità conservate (incluse quelle legate a simmetrie nascoste come i tensori di Killing–Yano) per i modelli di raggi efficaci derivanti da espansioni ad alta frequenza delle equazioni di campo. Suggeriscono che questo formalismo può essere esteso a ordini superiori nell'espansione $1/\omega$ e ad altri campi, come i pacchetti d'onda gravitazionali e di Dirac, per investigare ulteriormente l'universalità degli effetti di accoppiamento spin-curvatura.