Spin-Generalized Deflection Identity Overview

• The spin-generalized deflection identity defines closed-form formulas that isolate spin contributions alongside mass-monopole effects for light, massive, and spinning probes.
• It employs diverse geometrical methods such as Jacobi-Maupertuis metrics, Gauss-Bonnet theorem, and post-Newtonian multipole expansions to model axisymmetric deflections.
• The identity has practical implications in precise astrometry and strong gravitational lensing, particularly in Kerr and Kerr-de Sitter frameworks.

Searching arXiv for the cited papers and related topic to ground the article in current arXiv records. arXiv search query: "spin generalized deflection identity gravitational deflection spin multipoles Jacobi metric" "Spin-generalized deflection identity" (Editor's term) denotes the family of closed-form deflection formulas in which spin dependence is isolated and expressed alongside the mass-monopole contribution for light rays, massive particles, charged probes, and spinning bodies. In the arXiv literature, this structure appears in several mathematically distinct forms: as Gauss-Bonnet relations on optical or Jacobi manifolds, as post-Newtonian multipole expansions for axisymmetric bodies, and as impact-parameter-space eikonal identities for classical impulses and spin kicks. Across these settings, spin enters through frame dragging, source spin multipoles, particle intrinsic spin, or spin-induced quadrupoles, and modifies the deflection by terms with characteristic dependences on $a$, $\hat S_L$, $s$, $C_Q$, or derivatives of the eikonal phase (Li et al., 2019, Zschocke, 2023, Gatica, 2023).

1. Geometric basis of the identity

A central geometric formulation begins from stationary metrics of the form

$$g_{\mu\nu}dx^\mu dx^\nu = g_{tt}dt^2 + 2g_{t\phi}dt\,d\phi + g_{ij}dx^i dx^j,$$

for which the spatial trajectories of relativistic massive particles can be described by a Jacobi-Maupertuis Randers-Finsler metric. In the construction summarized by Li and Jia, the Jacobi line element is

$$ds_J = p_i\,dx^i = \sqrt{\alpha_{ij}dx^i dx^j}+\beta_i dx^i,$$

with

$$\alpha_{ij}=(\mathcal E^2-m^2 g_{tt})\,g_{tt}^{-1}\gamma_{ij},\qquad \beta_i=-\mathcal E\,g_{ti}/g_{tt},$$

and

$\gamma_{ij}=-g_{ij}+g_{ti}g_{tj}/g_{tt}.$

Restricting to the equatorial plane, the deflection angle follows from the Gauss-Bonnet theorem applied to a quadrilateral bounded by the spatial ray, two radial segments, and a large circular arc at infinity. The resulting identity is

$$\hat\alpha=\Psi_R-\Psi_S+(\phi_R-\phi_S) =-\iint_D K\,dS+\int_S^R k_g\,dl,$$

where $K$ is the Gaussian curvature of the two-dimensional Riemannian metric $\hat S_L$0 and $\hat S_L$1 is the geodesic curvature of the particle path in that $\hat S_L$2-space (Li et al., 2019).

An analogous Gauss-Bonnet structure appears in the generalized Gibbons-Werner framework for rotating spacetimes. In Kerr-de Sitter geometry, Huang et al. construct a quadrilateral domain in the two-dimensional Riemannian manifold associated with the Randers optical space and obtain

$\hat S_L$3

Here the finite-distance definition $\hat S_L$4 is built into the cancellation of corner angles and into the treatment of the circular arc and photon path (Huang et al., 11 May 2025).

For spinning extended bodies, the same geometric idea requires an additional refinement. In the Jacobi-metric treatment up to quadrupole order, the physical ray is not a geodesic of the Jacobi manifold. The deflection is therefore written as

$\hat S_L$5

with a nonzero geodesic-curvature contribution generated by the Mathisson-Papapetrou-Dixon dynamics and, at order $\hat S_L$6, by the Dixon-quadrupole coupling to curvature gradients. This corrects the common geodesic picture at the level of the physical trajectory itself (Quyet, 21 Mar 2026).

2. Axisymmetric spin-multipole form for light

In the post-Newtonian treatment of an isolated axisymmetric body at rest, the metric is expanded in harmonic coordinates in terms of STF mass-multipoles $\hat S_L$7 and spin-multipoles $\hat S_L$8. At $\hat S_L$9PN and $s$0PN order, the tangent vector at future infinity takes the form

$s$1

where $s$2 is the incoming direction. The spin-multipole piece is

$s$3

with $s$4 the impact vector (Zschocke, 2023).

Projecting the tangent-vector change into the deflection angle and specializing to axisymmetry, Zschocke obtains a compact spin-multipole identity in which Chebyshev polynomials of the second kind appear explicitly: $s$5 Here $s$6 is the symmetry axis, $s$7 is the zonal-harmonic coefficient, and

$s$8

The appearance of Chebyshev polynomials is not merely formal: it permits strict upper bounds on the total spin-multipole deflection because $s$9 for $C_Q$0 (Zschocke, 2023).

The resulting bound,

$C_Q$1

provides a practical criterion for truncating the multipole series. Numerical estimates reported for the Sun and the giant planets indicate that the first few mass-multipoles with $C_Q$2 and the first few spin-multipoles with $C_Q$3 are sufficient for nano-arcsecond astrometric accuracy, while beyond $C_Q$4 the spin contribution is $C_Q$5 nas (Zschocke, 2023).

3. Rotating spacetimes, finite distance, and strong deflection

For weak deflection by a Kerr lens with source and observer at finite radii $C_Q$6 and $C_Q$7, Li and Jia obtain the closed-form finite-distance deflection angle

$C_Q$8

with

$C_Q$9

$$g_{\mu\nu}dx^\mu dx^\nu = g_{tt}dt^2 + 2g_{t\phi}dt\,d\phi + g_{ij}dx^i dx^j,$$0

Expanding to linear order in $$g_{\mu\nu}dx^\mu dx^\nu = g_{tt}dt^2 + 2g_{t\phi}dt\,d\phi + g_{ij}dx^i dx^j,$$1, $$g_{\mu\nu}dx^\mu dx^\nu = g_{tt}dt^2 + 2g_{t\phi}dt\,d\phi + g_{ij}dx^i dx^j,$$2, and $$g_{\mu\nu}dx^\mu dx^\nu = g_{tt}dt^2 + 2g_{t\phi}dt\,d\phi + g_{ij}dx^i dx^j,$$3 around $$g_{\mu\nu}dx^\mu dx^\nu = g_{tt}dt^2 + 2g_{t\phi}dt\,d\phi + g_{ij}dx^i dx^j,$$4, they identify four contributions: $$g_{\mu\nu}dx^\mu dx^\nu = g_{tt}dt^2 + 2g_{t\phi}dt\,d\phi + g_{ij}dx^i dx^j,$$5 Their comparison for Kerr microlensings and lensing by galaxies shows that the black-hole spin effect is usually a few orders larger than the finite-distance and relativistic-velocity effects, while the relative size of the latter two varies with particle velocity, source or observer distance, and other lensing parameters (Li et al., 2019).

In Kerr-de Sitter spacetime, the generalized Gibbons-Werner method yields a finite-distance light-deflection formula that keeps terms up to $$g_{\mu\nu}dx^\mu dx^\nu = g_{tt}dt^2 + 2g_{t\phi}dt\,d\phi + g_{ij}dx^i dx^j,$$6, $$g_{\mu\nu}dx^\mu dx^\nu = g_{tt}dt^2 + 2g_{t\phi}dt\,d\phi + g_{ij}dx^i dx^j,$$7, $$g_{\mu\nu}dx^\mu dx^\nu = g_{tt}dt^2 + 2g_{t\phi}dt\,d\phi + g_{ij}dx^i dx^j,$$8, and the cross-terms $$g_{\mu\nu}dx^\mu dx^\nu = g_{tt}dt^2 + 2g_{t\phi}dt\,d\phi + g_{ij}dx^i dx^j,$$9, $$ds_J = p_i\,dx^i = \sqrt{\alpha_{ij}dx^i dx^j}+\beta_i dx^i,$$0, and $$ds_J = p_i\,dx^i = \sqrt{\alpha_{ij}dx^i dx^j}+\beta_i dx^i,$$1. The final expression contains, among other terms, the familiar pure spin contribution and new cosmological-spin structure: $$ds_J = p_i\,dx^i = \sqrt{\alpha_{ij}dx^i dx^j}+\beta_i dx^i,$$2 and

$$ds_J = p_i\,dx^i = \sqrt{\alpha_{ij}dx^i dx^j}+\beta_i dx^i,$$3

together with a negative $$ds_J = p_i\,dx^i = \sqrt{\alpha_{ij}dx^i dx^j}+\beta_i dx^i,$$4 term proportional to $$ds_J = p_i\,dx^i = \sqrt{\alpha_{ij}dx^i dx^j}+\beta_i dx^i,$$5. In the infinite-distance limit, the pure spin term reduces to $$ds_J = p_i\,dx^i = \sqrt{\alpha_{ij}dx^i dx^j}+\beta_i dx^i,$$6. Huang et al. also emphasize a discrepancy with Sultana’s $$ds_J = p_i\,dx^i = \sqrt{\alpha_{ij}dx^i dx^j}+\beta_i dx^i,$$7 term: their result reduces to $$ds_J = p_i\,dx^i = \sqrt{\alpha_{ij}dx^i dx^j}+\beta_i dx^i,$$8, rather than $$ds_J = p_i\,dx^i = \sqrt{\alpha_{ij}dx^i dx^j}+\beta_i dx^i,$$9, because they use the total finite-distance deflection $$\alpha_{ij}=(\mathcal E^2-m^2 g_{tt})\,g_{tt}^{-1}\gamma_{ij},\qquad \beta_i=-\mathcal E\,g_{ti}/g_{tt},$$0, not just $$\alpha_{ij}=(\mathcal E^2-m^2 g_{tt})\,g_{tt}^{-1}\gamma_{ij},\qquad \beta_i=-\mathcal E\,g_{ti}/g_{tt},$$1. They further report that for grazing rays near the Sun or for stars orbiting Sgr A*, the difference from Sultana’s expression can reach $$\alpha_{ij}=(\mathcal E^2-m^2 g_{tt})\,g_{tt}^{-1}\gamma_{ij},\qquad \beta_i=-\mathcal E\,g_{ti}/g_{tt},$$2 under the quoted lensing configurations (Huang et al., 11 May 2025).

In the strong-deflection regime for null rays in arbitrary stationary and axisymmetric spacetimes, Duan, Lin, and Jia show that the total bending angle admits the quasi-series

$$\alpha_{ij}=(\mathcal E^2-m^2 g_{tt})\,g_{tt}^{-1}\gamma_{ij},\qquad \beta_i=-\mathcal E\,g_{ti}/g_{tt},$$3

with coefficients depending on the metric at the critical radius and on the finite source and detector distances $$\alpha_{ij}=(\mathcal E^2-m^2 g_{tt})\,g_{tt}^{-1}\gamma_{ij},\qquad \beta_i=-\mathcal E\,g_{ti}/g_{tt},$$4. For Kerr, the leading behavior becomes

$$\alpha_{ij}=(\mathcal E^2-m^2 g_{tt})\,g_{tt}^{-1}\gamma_{ij},\qquad \beta_i=-\mathcal E\,g_{ti}/g_{tt},$$5

In the Schwarzschild limit $$\alpha_{ij}=(\mathcal E^2-m^2 g_{tt})\,g_{tt}^{-1}\gamma_{ij},\qquad \beta_i=-\mathcal E\,g_{ti}/g_{tt},$$6, the strong-deflection coefficients reduce to

$$\alpha_{ij}=(\mathcal E^2-m^2 g_{tt})\,g_{tt}^{-1}\gamma_{ij},\qquad \beta_i=-\mathcal E\,g_{ti}/g_{tt},$$7

reproducing the classical Schwarzschild logarithmic formula (Duan et al., 2023).

4. Massive, charged, and intrinsically spinning probes

For a charged massive particle in Kerr-Newman spacetime, Li and Jia derive the second-order weak-field deflection angle by three equivalent methods: the Randers-Finsler Jacobi geometry, an osculating Riemannian construction with Gauss-Bonnet, and a lifted stationary-spacetime null-geodesic picture. The spin-dependent sector of the final result is

$$\alpha_{ij}=(\mathcal E^2-m^2 g_{tt})\,g_{tt}^{-1}\gamma_{ij},\qquad \beta_i=-\mathcal E\,g_{ti}/g_{tt},$$8

The first term is the usual gravitomagnetic frame-dragging contribution, while the second is a magnetic-dipole term associated with the asymptotic magnetic dipole $$\alpha_{ij}=(\mathcal E^2-m^2 g_{tt})\,g_{tt}^{-1}\gamma_{ij},\qquad \beta_i=-\mathcal E\,g_{ti}/g_{tt},$$9 of the Kerr-Newman source. Grouping them gives

$\gamma_{ij}=-g_{ij}+g_{ti}g_{tj}/g_{tt}.$0

This makes the sign structure explicit: if $\gamma_{ij}=-g_{ij}+g_{ti}g_{tj}/g_{tt}.$1, prograde rays are less deflected and retrograde rays are more deflected; if $\gamma_{ij}=-g_{ij}+g_{ti}g_{tj}/g_{tt}.$2, the sign reverses; and at the critical value $\gamma_{ij}=-g_{ij}+g_{ti}g_{tj}/g_{tt}.$3 the spin contribution vanishes to order $\gamma_{ij}=-g_{ij}+g_{ti}g_{tj}/g_{tt}.$4. The same analysis states that when the electric repulsion dominates, the lens becomes divergent (Li et al., 2021).

For intrinsically spinning test particles in a general stationary-axisymmetric spacetime, Zhang, Fan, and Jia formulate the deflection and travel time as quasi-power-series in the weak-field, finite-distance regime. To linear order in the particle spin-to-mass ratio $\gamma_{ij}=-g_{ij}+g_{ti}g_{tj}/g_{tt}.$5,

$\gamma_{ij}=-g_{ij}+g_{ti}g_{tj}/g_{tt}.$6

Specialized to Kerr, they find that when the spin and orbital angular momenta are parallel, the deflection angle is decreased, and when they are antiparallel, it is increased. They also show that the time delay between signals with opposite spins is proportional to the signal spin at leading order. In the geometric-lensing regime, these delays are proposed as possible probes of the spin-to-mass ratio of neutrinos (Zhang et al., 2022).

The quadrupole extension developed in a Jacobi-metric framework pushes the spin dependence beyond the pole-dipole approximation. There, the MPD equation includes the Dixon-quadrupole term

$\gamma_{ij}=-g_{ij}+g_{ti}g_{tj}/g_{tt}.$7

with spin-induced quadrupole

$\gamma_{ij}=-g_{ij}+g_{ti}g_{tj}/g_{tt}.$8

The resulting non-geodesic force generates a quadrupole correction scaling as

$\gamma_{ij}=-g_{ij}+g_{ti}g_{tj}/g_{tt}.$9

The paper states that $$\hat\alpha=\Psi_R-\Psi_S+(\phi_R-\phi_S) =-\iint_D K\,dS+\int_S^R k_g\,dl,$$0 for a Kerr black hole and $$\hat\alpha=\Psi_R-\Psi_S+(\phi_R-\phi_S) =-\iint_D K\,dS+\int_S^R k_g\,dl,$$1 for neutron stars, and presents the full deflection as the sum of monopole, spin-dipole, and spin-quadrupole pieces under the assumptions of weak field, equatorial motion, Tulczyjew-Dixon supplementary condition, and the test-particle limit (Quyet, 21 Mar 2026).

5. Eikonal and amplitude-based identities

A distinct formulation arises in the impact-parameter representation of scattering amplitudes. In the KMOC-based treatment of spinning observables, the polarization-stripped amplitude $$\hat\alpha=\Psi_R-\Psi_S+(\phi_R-\phi_S) =-\iint_D K\,dS+\int_S^R k_g\,dl,$$2 defines an eikonal phase

$$\hat\alpha=\Psi_R-\Psi_S+(\phi_R-\phi_S) =-\iint_D K\,dS+\int_S^R k_g\,dl,$$3

and the spin dependence of the polarization overlap exponentiates as

$$\hat\alpha=\Psi_R-\Psi_S+(\phi_R-\phi_S) =-\iint_D K\,dS+\int_S^R k_g\,dl,$$4

This introduces the covariant impact parameter

$$\hat\alpha=\Psi_R-\Psi_S+(\phi_R-\phi_S) =-\iint_D K\,dS+\int_S^R k_g\,dl,$$5

so that the eikonal can be written as $$\hat\alpha=\Psi_R-\Psi_S+(\phi_R-\phi_S) =-\iint_D K\,dS+\int_S^R k_g\,dl,$$6. At leading order, the momentum impulse and spin kick are

$$\hat\alpha=\Psi_R-\Psi_S+(\phi_R-\phi_S) =-\iint_D K\,dS+\int_S^R k_g\,dl,$$7

in the classical limit (Gatica, 2023).

At next-to-leading order and linear in spin, the same framework produces compact identities involving derivatives, commutators, and the mixed spin-orbital differential operator

$$\hat\alpha=\Psi_R-\Psi_S+(\phi_R-\phi_S) =-\iint_D K\,dS+\int_S^R k_g\,dl,$$8

with $$\hat\alpha=\Psi_R-\Psi_S+(\phi_R-\phi_S) =-\iint_D K\,dS+\int_S^R k_g\,dl,$$9. The schematic classical form collected in the paper is

$K$0

$K$1

This is a deflection identity in impulse form rather than in angular form, but it plays the same organizational role: spin dependence is isolated as a systematic correction to the orbital deflection law (Gatica, 2023).

Complementing this, the KMOC analysis of next-to-leading-order deflections for spinning particles and Kerr black holes computes classical momentum deflections up to one loop for arbitrary spin orientations. In electrodynamics the one-loop result is organized up to spin$K$2, and in gravity up to spin$K$3. In the probe limit $K$4, the heavy-source spin can be treated to all orders, yielding a resummed Kerr result at $K$5PM order. The tree contribution corresponds to a shift $K$6, while the one-loop terms resolve spin-orbit, spin$K$7, spin$K$8, and spin$K$9 multipole deflections (Menezes et al., 2022).

6. Limiting cases, interpretive issues, and observational relevance

Several limiting cases recur across the literature. In the finite-distance Kerr deflection of massive particles, the limit $\hat S_L$00 suppresses the velocity correction and reproduces the light-deflection result; the limit $\hat S_L$01 removes finite-distance terms and recovers the infinite-distance expression; and the limit $\hat S_L$02 removes frame dragging, leaving Schwarzschild, finite-distance, and velocity corrections (Li et al., 2019). In the strong-deflection formalism, the Kerr result reduces continuously to the standard Schwarzschild logarithmic law as $\hat S_L$03 (Duan et al., 2023). In the Kerr-de Sitter calculation, the infinite-distance limit sends the $\hat S_L$04 term to zero while retaining the familiar $\hat S_L$05 spin contribution (Huang et al., 11 May 2025).

A recurrent interpretive issue concerns what is being treated as geodesic. In optical or Jacobi geometries for light or spinless massive particles, the geodesic picture is sufficient. For spinning particles at pole-dipole and especially quadrupole order, this is no longer exact: the physical trajectory acquires a nonzero geodesic curvature in the auxiliary manifold because of spin-curvature and quadrupole-curvature-gradient couplings (Quyet, 21 Mar 2026). Another issue is definitional rather than dynamical: the Kerr-de Sitter discrepancy in the $\hat S_L$06 term is traced to whether one computes the total finite-distance deflection $\hat S_L$07 or only $\hat S_L$08 (Huang et al., 11 May 2025).

The observational relevance depends strongly on the regime. For spin multipoles of Solar-system bodies, strict bounds identify which multipoles matter at nano-arcsecond precision, and the quoted estimates indicate that only the first few spin-multipoles contribute at the $\hat S_L$09as-nas levels (Zschocke, 2023). For Kerr-de Sitter lensing by the Sun and Sgr A*, the difference between finite-distance treatments can reach $\hat S_L$10 in the scenarios reported by Huang et al., making the spin-dependent $\hat S_L$11-corrections potentially relevant for forthcoming $\hat S_L$12-level astrometry (Huang et al., 11 May 2025). For spinning massive signals, the predicted time delays between opposite spin states are proposed as a possible way to constrain the spin-to-mass ratio of neutrinos (Zhang et al., 2022).

Taken together, these works show that the spin-generalized deflection identity is not a single formula but a class of mathematically parallel identities. In each formulation, the deflection observable is decomposed into a spin-independent base term and explicitly identifiable spin-dependent corrections, with the latter controlled by frame dragging, higher spin multipoles, charge-spin couplings, intrinsic particle spin, spin-induced quadrupoles, or derivatives of an eikonal phase. This suggests a unifying structural principle: once the appropriate auxiliary geometry or impact-parameter phase space is chosen, spin corrections enter as systematically organized deformations of the baseline deflection law (Li et al., 2019, Gatica, 2023).