Inertial forces and the foundations of optical geometry

TL;DR

This paper develops a covariant formalism for inertial forces in General Relativity based on a general timelike congruence, explores conformal rescalings, and introduces a novel spatial curvature measure linked to optical geometry.

Contribution

It introduces a new spatial curvature prescription and generalizes inertial force formalism, connecting it to optical geometry and Fermat's principle in a covariant framework.

Findings

A novel spatial curvature measure differing from standard projected curvature.

Geodesic photons follow spatially straight lines in the new curvature measure.

The inertial force equation resembles Newtonian form when shear vanishes.

Abstract

Assuming a general timelike congruence of worldlines as a reference frame, we derive a covariant general formalism of inertial forces in General Relativity. Inspired by the works of Abramowicz et. al. (see e.g. Abramowicz and Lasota, Class. Quantum Grav. 14 (1997) A23), we also study conformal rescalings of spacetime and investigate how these affect the inertial force formalism. While many ways of describing spatial curvature of a trajectory has been discussed in papers prior to this, one particular prescription (which differs from the standard projected curvature when the reference is shearing) appears novel. For the particular case of a hypersurface-forming congruence, using a suitable rescaling of spacetime, we show that a geodesic photon is always following a line that is spatially straight with respect to the new curvature measure. This fact is intimately connected to Fermat's principle, and allows for a certain generalization of the optical geometry as will be further pursued in a companion paper (Jonsson and Westman, Class. Quantum Grav. 23 (2006) 61). For the particular case when the shear-tensor vanishes, we present the inertial force equation in three-dimensional form (using the bold face vector notation), and note how similar it is to its Newtonian counterpart. From the spatial curvature measures that we introduce, we derive corresponding covariant differentiations of a vector defined along a spacetime trajectory. This allows us to connect the formalism of this paper to that of Jantzen et. al. (see e.g. Bini et. al., Int. J. Mod. Phys. D 6 (1997) 143).