Reference-renormalized curvature-primitive Gauss-Bonnet formalism for finite-distance weak gravitational lensing in static spherical spacetimes

Abstract: We develop a reference-renormalized (photon-sphere-free) normalization scheme for Gauss-Bonnet gravitational lensing at finite distance in static, spherically symmetric spacetimes. The method treats the curvature primitive used to reduce the Gauss-Bonnet curvature-area integral as a quantity defined only modulo an additive constant (an additive gauge freedom). We fix this gauge by matching to a physically chosen reference optical geometry in an outer regime where the physical geometry approaches that reference, thereby defining a unique renormalized discrepancy primitive $\mathcal{P}_e(r)$ by reference subtraction. The resulting master formula yields the Ishihara-Li finite-distance deflection angle without invoking any circular null orbit, while remaining fully compatible with orbit-normalized prescriptions whenever a suitable photon sphere exists (the two gauges differ only by a constant shift and give identical $α$). In asymptotically flat settings the canonical reference is Minkowski, while in Kottler-type backgrounds the canonical reference is de Sitter within the static patch, making the operational fiducial explicit. We validate the method by reproducing Ishihara's finite-distance weak-deflection formulas for Schwarzschild, Reissner-Nordström, and Kottler spacetimes, including the mixed $r_gΛ$ term in the Kottler case within the static-patch fiducial. We also present a demonstrative example in which orbit normalization is genuinely inapplicable because no circular null orbit exists in the physical optical region (the Janis-Newman-Winicour spacetime for $γ\le \tfrac12$). The result is a unified, geometrically transparent route to finite-distance lensing that preserves compatibility with orbit-normalized prescriptions whenever those apply.

• The paper proposes a reference-renormalized strategy that removes the need for photon spheres in computing finite-distance weak gravitational lensing.
• It leverages a curvature-primitive reduction to transform area integrals into one-dimensional boundary evaluations, simplifying the calculation across spacetimes.
• Validation through Schwarzschild, Reissner–Nordström, and de Sitter examples confirms its consistency with established operational deflection angle formulas.

Reference-Renormalized Curvature-Primitive Gauss-Bonnet Formalism for Finite-Distance Weak Gravitational Lensing

Introduction and Motivation

The paper introduces a reference-renormalized (photon-sphere-free) normalization prescription for the Gauss–Bonnet theorem approach to weak gravitational lensing at finite distances in static, spherically symmetric spacetimes. The work addresses critical deficiencies in classical lensing calculations: prior lensing definitions and computational techniques, particularly those based on Gauss–Bonnet integrals, were often constructed in the context of asymptotically Euclidean backgrounds and frequently assumed the existence of a photon sphere (circular null orbit) for their normalization. For backgrounds that are not asymptotically flat (e.g., with cosmological constant or other global deformations), or for spacetimes lacking a photon sphere, these approaches either become ambiguous or inapplicable.

The finite-distance definition of gravitational lensing—where both the emitter and receiver are located at finite spatial positions—is operationally and observationally essential, especially for realistic astrophysical contexts and for spacetimes like Kottler (Schwarzschild–de Sitter), Janis–Newman–Winicour, or Reissner–Nordström, as well as in the presence of plasma, fields, or alternative gravitational theories.

Theoretical Framework and Formalism

Finite-Distance Lensing and Gauss–Bonnet Approach

The central observable is the finite-distance deflection angle, defined by endpoint local angles measured by static observers, and the accumulated azimuthal separation along the ray:

$\alpha = \Psi_R - \Psi_S + \phi_{RS}$

where $\Psi_{S,R}$ are local direction angles at source and receiver, and $\phi_{RS}$ is the net coordinate angular separation.

The Gauss–Bonnet prescription in optical geometry, originally due to Gibbons–Werner and further developed for finite-distance setups by Ishihara and collaborators, encodes the deflection angle as a sum of intrinsic curvature on the optical manifold and boundary terms:

$$\alpha = -\iint_D K\, dS + \int_{C_\Gamma} \kappa_g\, d\ell + \phi_{RS}$$

where $K$ is the Gaussian curvature of the optical manifold, and the integration is taken over an appropriate domain.

Curvature-Primitive Reduction and the Normalization Problem

Efficient evaluation in static spherically symmetric spacetimes leverages the property that the curvature density can be written as a total radial derivative:

$K(r)\sqrt{\det \bar{g}(r)} = \frac{d}{dr} F(r)$

allowing the area integral to be reduced to a one-dimensional boundary functional (i.e., curvature primitive). This transformation, however, leaves an additive ambiguity—the primitive is defined only up to a constant.

Prior prescriptions, notably those advocated by Li et al., fix this ambiguity by setting the primitive to zero at a circular null orbit ("orbit normalization"). Such a procedure is useless for spacetimes lacking a photon sphere, or where the operational definition of the angle is tied to a background other than Minkowski.

Reference-Renormalized Curvature Primitive

The key innovation of the paper is to fix the additive ambiguity of the curvature primitive by matching to a physically designated reference optical geometry in the regime where the physical geometry approaches the reference. Specifically:

• Asymptotically flat spacetimes: Reference is taken as Minkowski.
• Non-asymptotically flat (e.g. Kottler/Schwarzschild–de Sitter): Reference is de Sitter within the static patch.

The reference-renormalized primitive is defined as

$$\mathcal{P}_e(r) = -\int_r^{r_{\text{ref}}}[\mathcal{D}_{\text{phys}}(u) - \mathcal{D}_{\text{ref}}(u)]\,du$$

where $r_{\text{ref}}$ is the endpoint where the matching is imposed ($r_{\text{ref}} = \infty$ for Minkowski, or the cosmological horizon for Kottler/de Sitter). This prescription is fully independent of the existence of a photon sphere and compatible with orbit normalization, differing from it only by a constant shift.

The resulting photon-sphere-free master formula for the deflection angle reads:

$$\alpha = -\int_{\phi_S}^{\phi_R}\left[ \mathcal{P}_e(r(\phi)) + \mathcal{P}_\text{ref}^*(r(\phi)) \right]\,d\phi + \phi_{RS}$$

where all primitives are reference-endpoint normalized.

Validation: Examples and Numerical Structure

Explicit calculations and comparisons are provided for:

• Schwarzschild: The standard result for finite-distance weak-deflection is reproduced via the reference normalization, with the renormalized primitive yielding the well-known $\Psi_{S,R}$0 result at large distances and providing finite-$\Psi_{S,R}$1 corrections.
• Reissner–Nordström: The formalism straightforwardly produces the leading finite-distance $\Psi_{S,R}$2 correction to the bending angle.
• Kottler/Schwarzschild–de Sitter: The only physically meaningful reference here is de Sitter space, and the formalism naturally includes the celebrated mixed $\Psi_{S,R}$3 term. As shown, this term arises precisely from consistent reference-normalization and appears only after combining (i) the coordinate angular span (projected onto the de Sitter background) and (ii) local endpoint angles.
• Janis–Newman–Winicour spacetime ($\Psi_{S,R}$4): For parameter values with no photon sphere, the orbit normalization is inapplicable, but the reference-normalized primitive is well-defined and enables consistent calculation of finite-distance lensing observables.

In all cases, numerical results are in exact agreement with Ishihara et al.'s operational finite-distance angle formulas (Ishihara et al., 2016) and (Ishihara et al., 2016). The approach also allows clear tracking of kinematic constraints $\Psi_{S,R}$5 for admissibility of the endpoints.

Implications

Theoretical Implications

• Generalization: The framework applies to any static, spherically symmetric spacetime with a well-defined optical geometry and matching reference, regardless of photon sphere structure. This includes modifications from alternative gravitational theories, matter sectors, or global topological/curvature features.
• Background Sensitivity: The lensing observable's dependence on the choice of reference/fiducial geometry is manifest and unavoidable in non-asymptotically flat situations; the method makes such dependence explicit and transparent in all stages, resolving ambiguities often encountered in discussions of cosmological lensing (e.g. the status of the $\Psi_{S,R}$6 term, cf. [Gibbons–Warnick–Werner, (0808.3074)] and [Rindler–Ishak, (0709.2948)]).
• Separation of Gauge and Physics: By recognizing the curvature primitive's additive ambiguity as a gauge, the analysis distinctly separates formalism (gauge-fixing) from geometric or physical content.

Practical Implications and Scope

• Robustness: The photon-sphere-free procedure enables systematic, error-free computation of weak lensing for arbitrary endpoint positions in static, spherically symmetric geometries.
• Methodological Universality: The prescription is compatible with orbit normalization but strictly more general. It applies even if the physical or reference spacetime lacks a distinguished orbit, or if orbit-based normalization is unphysical or misaligned.
• Computational Efficiency: The curvature-primitive reduction, once reference-normalized, permits boundary-only computation without area integrals, facilitating astrophysical or numerical applications and further generalizations (see e.g. continued application to scenarios with plasma, external fields, or non-trivial topologies (Huang, 2 Dec 2025, Huang et al., 11 May 2025)).

Compatibility and Limitations

• The method is mathematically and operationally correct within its regime: finite-distance, single-pass (non-multi-imaged), non-caustic weak lensing in static, spherically symmetric spacetimes with regular optical geometry.
• Strong-deflection (multi-winding, caustics) and beyond-spherical spacetimes require further elaboration, but the renormalization principle remains structurally valid.
• The framework directly interfaces with operational/observational definitions of deflection (as in (Ishihara et al., 2016)), suggesting straightforward pathways for practical lens modeling (e.g., in EHT-relevant regimes).

Conclusion

The reference-renormalized curvature-primitive Gauss–Bonnet formalism constitutes a robust, conceptually clean, and operationally aligned method for computing the finite-distance weak deflection angle in static, spherically symmetric spacetimes, with applicability to both asymptotically flat and non-flat backgrounds. Eliminating the need for photon spheres in normalization, yet remaining compatible with orbit-based results where available, the procedure systematizes lensing calculations and clarifies the geometric underpinning of finite-distance observables. The approach strengthens the connection between topological/geometric methods in lensing and actual observable quantities, enhancing the toolkit for precision gravitational lensing in both standard and exotic regimes.

Future developments may include generalizations to stationary (axisymmetric) and non-static spacetimes, direct applications to numerical relativity scenarios, and interface with plasma/field-dominated optical geometries—directions already being explored in the literature (Huang, 2 Dec 2025, Lu et al., 1 Apr 2025, Soares et al., 9 Mar 2025).