Gauss-Bonnet lensing of spinning massive particles in static spherically symmetric spacetimes

This paper extends the finite-distance Gauss-Bonnet lensing framework to spinning massive particles in static spherically symmetric spacetimes by reformulating the Mathisson-Papapetrou-Dixon dynamics to include a spin-dependent boundary functional, thereby deriving a generalized deflection identity and providing a weak-field recipe to compute leading spin corrections for Schwarzschild, Reissner-Nordström, and Kottler geometries.

The Gist

Imagine you are trying to predict how a ball will curve as it rolls past a massive mountain. In the world of Einstein's gravity, space itself is like a trampoline that dips down around heavy objects. Usually, we think of light or particles as following the straightest possible path (a "geodesic") on this curved trampoline.

But what happens if that ball isn't just a simple rock, but a spinning top?

This paper by Reggie Pantig and Ali Övgün tackles exactly that question. They developed a new mathematical "recipe" to calculate how much a spinning particle bends when it passes a massive object (like a black hole), especially when the source and the observer are at a specific, finite distance, not infinitely far away.

Here is the breakdown using simple analogies:

1. The Old Map vs. The New Map

The Old Way (Li et al.):
Previous scientists used a clever trick called the Gauss-Bonnet Theorem. Imagine the path of a particle as a line drawn on a curved piece of paper (the "Jacobi manifold"). If the particle is just a normal rock, it follows a perfectly straight line on that curved paper. The scientists could calculate the total bending by measuring the "curvature" of the paper itself. They used a circular boundary (like drawing a circle around the mountain) to make the math easy.

The New Problem (The Spinning Top):
When the particle spins, it interacts with the curvature of space in a weird way. It's like a spinning top that doesn't just roll; it wobbles. Because of this wobble (spin-curvature coupling), the particle's path is no longer a "straight line" on the curved paper. It's a crooked line.

• The Issue: The old math assumed the line was straight. If you try to use the old map for a wobbly path, your calculation is wrong.

2. The Solution: Adding a "Wobble Fee"

The authors realized they couldn't throw away the old, efficient map. Instead, they kept the main part of the calculation (the curvature of the paper) but added a new correction term.

Think of it like this:

• The Paper Curvature: This is the "standard gravity" bending caused by the mass of the black hole.
• The Wobble Fee: This is the extra bending caused specifically because the particle is spinning.

They derived a formula where the total bending angle is:

Total Bend = (Standard Curve of Space) + (The "Wobble" Correction)

The "Wobble Correction" is calculated by measuring how much the spinning particle's path deviates from a perfect straight line on that curved paper.

3. The "Circular Orbit" Trick

One of the paper's biggest wins is that they didn't have to throw away the "circular orbit" trick that made the old math so fast.

• Analogy: Imagine you are walking around a mountain. The old method said, "Let's pretend the path is a perfect circle at the bottom to make the math easy."
• The Innovation: Even though the spinning particle takes a weird, wobbly path, the authors showed you can still use that perfect circle at the bottom as a reference point. The "wobble" is isolated into a single, separate calculation at the end. This keeps the math fast and clean, even for complex spinning particles.

4. Testing the Recipe

To prove their new recipe works, they tested it on three famous "mountains" (spacetime geometries):

1. Schwarzschild (A simple, uncharged black hole):

   • They checked that if the spin is zero, their formula turns back into the old, correct formula.
   • They calculated exactly how much a spinning particle bends differently than a non-spinning one. It turns out, if the spin is aligned with the orbit, it bends one way; if it's anti-aligned, it bends the other way.

2. Reissner-Nordström (A charged black hole):

   • They added electric charge to the mix. The formula successfully showed how the charge changes the "wobble" effect.

3. Kottler (A black hole in an expanding universe with a Cosmological Constant, $\Lambda$):

   • The Surprise: They found something fascinating about the "Cosmological Constant" (the energy of empty space).
   • The Result: The constant expansion of the universe does not directly push or pull on the spinning particle's "wobble" (the force). However, it does change the shape of the "map" (the Jacobi metric) itself.
   • Metaphor: Imagine the spinning top is on a rubber sheet. The expansion of the universe doesn't push the top directly, but it stretches the rubber sheet underneath it. So, even though the push is zero, the path the top takes changes because the floor it's walking on has stretched.

Why Does This Matter?

• Realism: Real astrophysical objects (like neutron stars or black holes) often have spin. Ignoring spin is like ignoring the wind when predicting a sailboat's path.
• Precision: As our telescopes (like the Event Horizon Telescope) get better, we need to know exactly how light and matter bend near black holes to understand what we are seeing.
• Universality: This new "recipe" works for any static, spherical black hole, making it a powerful tool for future discoveries.

In a nutshell: The authors took a beautiful, efficient mathematical tool used for simple particles, realized it broke for spinning particles, and fixed it by adding a specific "spin correction" term. They proved that even with the wobble, the old shortcuts still work, and they showed exactly how the universe's expansion subtly influences spinning particles, even if it doesn't push them directly.

Technical Summary

1. Problem Statement

Gravitational lensing of massive particles is a key observable in relativistic astrophysics. While the Gauss-Bonnet Theorem (GBT) applied to the Jacobi metric has been successfully used to calculate finite-distance deflection angles for spinless massive particles (following the work of Li et al.), a significant gap exists for particles with intrinsic spin.

• The Core Obstruction: In the Mathisson-Papapetrou-Dixon (MPD) framework, spin-curvature coupling causes a spinning particle's trajectory to deviate from a geodesic. Consequently, the spatial ray is not a geodesic of the Jacobi manifold.
• The Challenge: The standard GBT lensing formalism relies on the boundary curve (the particle ray) being a geodesic to simplify the boundary integral. When the ray is non-geodesic, the standard construction fails, and the deflection angle cannot be computed using the existing "Li et al." recipe without modification.
• Goal: To extend the finite-distance Jacobi-metric GBT framework to accommodate spinning massive particles, deriving a consistent deflection formula that accounts for the non-geodesic nature of the spin-induced trajectory.

2. Methodology

The authors employ a multi-step theoretical and perturbative approach:

A. Theoretical Framework

1. Jacobi Metric for Massive Particles: They utilize the Jacobi metric $d\ell_J^2$, which maps the timelike geodesics of a fixed energy $E$ in a static spherically symmetric (SSS) spacetime to geodesics in a 2D Riemannian manifold.
2. MPD Dynamics: They model the spinning particle using the Mathisson-Papapetrou-Dixon (MPD) equations at the pole-dipole order.
   • Spin Supplementary Condition (SSC): They adopt the Tulczyjew-Dixon (TD) condition ($p_\mu S^{\mu\nu} = 0$), which ensures the conservation of mass and spin magnitude and provides a clean momentum-velocity relation ($p^\mu = m u^\mu + O(s^2)$).
   • Planar Reduction: They restrict the analysis to the aligned-spin sector, where the spin vector is parallel or anti-parallel to the orbital angular momentum, ensuring the motion remains confined to the equatorial plane.

B. Geometric Reformulation (The Core Innovation)

The authors reformulate the GBT application to handle a non-geodesic boundary:

• Domain Definition: They define a lensing domain $D$ bounded by:
  1. The physical spinning particle ray $\gamma_s$ (connecting source $S$ to receiver $R$).
  2. An auxiliary circular orbit $\gamma_{co}$ at radius $r_{co}$.
  3. Two radial segments connecting $S$ and $R$ to $\gamma_{co}$.
• Boundary Conditions:
  • The circular orbit $\gamma_{co}$ is chosen to be a Jacobi geodesic ($\kappa_g(\gamma_{co}) = 0$), preserving the simplification used by Li et al.
  • The physical ray $\gamma_s$ is non-geodesic ($\kappa_g(\gamma_s) \neq 0$) due to the MPD force.
• Modified GBT: Applying the Gauss-Bonnet theorem to this domain yields a deflection angle $\alpha$ containing an extra term:
  $$\alpha = \iint_D K dS + \int_{\gamma_s} \kappa_g d\sigma + \phi_{RS}$$
  Here, $\int_{\gamma_s} \kappa_g d\sigma$ is the new boundary functional representing the accumulated geodesic curvature of the spinning ray.

C. Computational Strategy (Weak-Field Recipe)

To make the result practical, they derive a "bridge" between the MPD force and the geometric curvature:

1. Geodesic Curvature from MPD: They express the geodesic curvature $\kappa_g$ of the ray in the Jacobi manifold directly in terms of the MPD spin-curvature force ($f^\mu = -\frac{1}{2} R^\mu_{\nu\alpha\beta} u^\nu S^{\alpha\beta}$).
2. Perturbative Expansion: They perform a systematic expansion in small parameters:
   • Weak field: $M/b \ll 1$, $Q^2/b^2 \ll 1$, $|\Lambda|b^2 \ll 1$.
   • Linear spin: $s/(mb) \ll 1$.
   • They retain terms linear in spin ($O(s)$) and neglect $O(s^2)$.
3. Implementation: The spin correction is calculated by integrating the MPD acceleration projected onto the Jacobi geometry along the unperturbed (straight-line) trajectory.

3. Key Contributions

1. Spin-Generalized Deflection Formula: Derivation of a master formula for the finite-distance deflection angle of a spinning massive particle in any SSS spacetime. The formula separates the standard surface integral (Gaussian curvature) from a new boundary integral (geodesic curvature of the non-geodesic ray).
2. Compatibility with Li's Method: Proof that Li et al.'s "circular-orbit boundary" trick remains valid even for spinning particles. The surface integral still collapses to a 1D integral along the physical ray, isolating all spin effects into the single boundary term.
3. MPD-to-GBT Bridge: Development of a direct computational link allowing the geodesic curvature integral to be evaluated using the MPD force law, avoiding the need to solve complex non-geodesic orbit equations explicitly.
4. Finite-Distance Formalism: Extension of these results to finite source and receiver distances, avoiding reliance on asymptotic infinity (crucial for non-asymptotically flat spacetimes like de Sitter).

4. Results and Applications

The authors apply their master formula to three specific spacetimes:

A. Schwarzschild Spacetime

• Validation: The spinless limit reproduces the standard Li et al. finite-distance deflection.
• Spin Correction: The leading-order spin correction scales as $\alpha^{(s)} \propto \frac{M s}{m b^2}$.
• Sign Dependence: The correction flips sign depending on whether the spin is aligned ($\sigma = +1$) or anti-aligned ($\sigma = -1$) with the orbital angular momentum.
• Asymptotic Limit: In the limit $r \to \infty$, the result matches independent MPD scattering calculations (e.g., for Kerr black holes with $a \to 0$).

B. Reissner-Nordström (RN) Spacetime

• Charge Dependence: The spin correction includes terms dependent on the electric charge $Q$.
• Result: The correction scales as $\frac{M s}{m b^2}$ (mass term) and $\frac{Q^2 s}{m b^3}$ (charge term). The charge term introduces a distinct scaling behavior compared to the Schwarzschild case.

C. Kottler (Schwarzschild-de Sitter) Spacetime

• Cosmological Constant ($\Lambda$) Role: This is a critical finding.
  • Direct Force: Under the Tulczyjew-Dixon SSC, the constant-curvature part of the Riemann tensor (associated with $\Lambda$) does not generate a linear-in-spin MPD force. The force is sourced entirely by the Weyl curvature (mass $M$).
  • Geometric Effect: However, $\Lambda$ does appear in the final deflection angle. It enters through the Jacobi metric prefactor (the conformal factor $F(r)$) which weights the boundary integral.
• Result: The spin correction acquires an explicit $\Lambda$-dependence at finite distance, scaling as $\Lambda \frac{M s}{m v}$. This demonstrates that even if the local force is unaffected by $\Lambda$, the global geometric measure of the deflection is modified.

5. Significance

• Theoretical Robustness: The paper resolves a fundamental inconsistency in applying geometric lensing methods to spinning bodies, providing a rigorous, coordinate-invariant framework.
• Observational Relevance: As gravitational wave astronomy and black hole imaging (EHT) advance, understanding the propagation of massive particles (e.g., neutrinos, dark matter candidates, or high-energy cosmic rays) with spin is becoming increasingly relevant.
• Finite-Distance Utility: By maintaining the finite-distance formulation, the results are applicable to non-asymptotically flat spacetimes (like de Sitter), which are essential for cosmological lensing scenarios.
• Computational Efficiency: The "implementation-ready" recipe allows researchers to compute spin corrections for any SSS metric without solving full non-geodesic equations, simply by integrating the MPD force against the Jacobi geometry.

In summary, this work successfully synthesizes the geometric Gauss-Bonnet approach with the dynamical MPD equations, offering a powerful new tool for analyzing the lensing of spinning matter in strong gravitational fields.