Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Newton-Cartan

Confirmed & Polished Summary of Type-I Newton–Cartan (NC)

Common to both NC and GR

Visualization of NC spacetime
Absolute time slices are perfectly flat Euclidean 3-spaces (flat sheets of paper stacked along absolute time).
The metrics τμ\tau_\mu and hμνh^{\mu\nu} tell you how to measure time between sheets and distances/angles on each sheet.
They are not enough to decide how free particles move from one sheet to the next — that is the job of the independent connection.
When gravity is present the connection bends the free-fall trajectories, so the spacetime is curved (non-zero Riemann tensor of the connection) even though every individual spatial sheet remains flat and time is absolute.

The free connection components

Rotating Earth example
In Earth-fixed coordinates both NC and GR have non-zero Γ0ji\Gamma^i_{0j}.
Most of this is a pure coordinate effect of using a rotating frame.

Axioms of classical Type-I NC

In the non-rotating frame given by A2 the only free connection components left are Γ00i\Gamma^i_{00}, which are completely determined by A3.

Crucial point (difference from GR)
The field equation A3 determines only the connection.
It does not determine or curve the metrics.
The metrics coming from A1 remain absolutely flat for all time; they are fixed background structures.
Gravity curves only the independent connection that is compatible with those flat metrics.


This is precisely how classical Newtonian gravity is geometrised in a fully covariant, coordinate-independent way while remaining 100 % equivalent to the original theory.

Newton-Cartan using a regulator metric

The regulator metric can be constructed entirely within Type-I Newton–Cartan theory. It is an auxiliary computational device, not a physical metric and not a solution of Einstein’s equation. The logical order is:

  1. specify the absolute Newton–Cartan structures;

  2. use the Newton–Cartan field equation to solve for the connection;

  3. package that already-known connection into a non-degenerate metric whose Levi-Civita connection is easy to compute.

1. Solve the Newton-Cartan field equation

The absolute structures τμ\tau_\mu and hμνh^{\mu\nu} are fixed by A1; they are not determined by the field equation. Choose adapted Cartesian coordinates for these flat structures,

τ=dt,hij=δij,\tau=\mathrm{d}t, \qquad h^{ij}=\delta^{ij},

and use the global non-rotating frame guaranteed by the Trautman condition. Metric compatibility and Trautman then reduce the undetermined part of the connection to

Γ00i=iΦ,Γ0ji=0.\Gamma^i_{00}=\partial^i\Phi, \qquad \Gamma^i_{0j}=0.

For this connection the only non-zero component of the Ricci tensor is

R00=iΓ00i=δijijΦ=2Φ.R_{00} = \partial_i\Gamma^i_{00} = \delta^{ij}\partial_i\partial_j\Phi = \nabla^2\Phi.

Consequently, the Newton–Cartan field equation

Rμν=4πGρτμτνR_{\mu\nu} = 4\pi G\rho\,\tau_\mu\tau_\nu

is precisely Poisson’s equation,

2Φ=4πGρ.\nabla^2\Phi=4\pi G\rho.

Time acts only as a parameter in this elliptic equation. For an isolated source, imposing Φ0\Phi\to0 at spatial infinity gives

Φ(t,x)=GR3ρ(t,x)xxd3x.\Phi(t,\mathbf{x}) = -G\int_{\mathbb{R}^3} \frac{\rho(t,\mathbf{x}')}{|\mathbf{x}-\mathbf{x}'|} \,\mathrm{d}^3x'.

More general boundary conditions determine the corresponding harmonic contribution. Thus the source and boundary data determine Φ\Phi, and hence the free connection component Γ00i\Gamma^i_{00}. They do not determine τμ\tau_\mu or hμνh^{\mu\nu}; those were supplied as absolute background structures.

2. Assemble the regulator metric

After solving for Φ\Phi, choose the covariant spatial representative hμνh_{\mu\nu} associated with the adapted frame:

hij=δij,h00=h0i=0.h_{ij}=\delta_{ij}, \qquad h_{00}=h_{0i}=0.

Now define, for a formal parameter cc,

gμν(c)=hμν(c2+2Φ)τμτν.g^{(c)}_{\mu\nu} = h_{\mu\nu} - \bigl(c^2+2\Phi\bigr)\tau_\mu\tau_\nu.

Equivalently,

dsc2=(c2+2Φ(t,x))dt2+δijdxidxj.\mathrm{d}s_c^2 = -\bigl(c^2+2\Phi(t,\mathbf{x})\bigr)\,\mathrm{d}t^2 + \delta_{ij}\,\mathrm{d}x^i\mathrm{d}x^j.

This formula is not guessed from GR. Its 2Φτμτν-2\Phi\,\tau_\mu\tau_\nu term is chosen so that the Levi-Civita formula gives the Newton–Cartan component Γ00i=iΦ\Gamma^i_{00}=\partial^i\Phi with the desired sign. The regulator metric is therefore assembled from:

In this qualified sense, the Newton–Cartan field equation determines the gravitational part of the regulator metric. It does not determine the complete metric by itself, because its absolute temporal and spatial parts remain prescribed background data.

3. Verify that it reproduces the Newton-Cartan connection

The inverse regulator metric in adapted coordinates is

g(c)00=1c2+2Φ,g(c)0i=0,g(c)ij=δij.g_{(c)}^{00} = -\frac{1}{c^2+2\Phi}, \qquad g_{(c)}^{0i}=0, \qquad g_{(c)}^{ij}=\delta^{ij}.

Its Levi-Civita connection has

Γ00i[g(c)]=12δijjg00(c)=iΦ\Gamma^i_{00}\bigl[g^{(c)}\bigr] = -\frac{1}{2}\delta^{ij}\partial_j g^{(c)}_{00} = \partial^i\Phi

exactly, for every value of cc. The additional components are

Γ0i0[g(c)]=iΦc2+2Φ,Γ000[g(c)]=tΦc2+2Φ,\Gamma^0_{0i}\bigl[g^{(c)}\bigr] = \frac{\partial_i\Phi}{c^2+2\Phi}, \qquad \Gamma^0_{00}\bigl[g^{(c)}\bigr] = \frac{\partial_t\Phi}{c^2+2\Phi},

and therefore vanish as formal powers of c2c^{-2}. Thus

limcΓμνλ[g(c)]=Γμνλ[NC].\lim_{c\to\infty} \Gamma^\lambda_{\mu\nu}\bigl[g^{(c)}\bigr] = \Gamma^\lambda_{\mu\nu}\bigl[\mathrm{NC}\bigr].

The limit only removes the extra components introduced by making the degenerate Newton–Cartan structures artificially non-degenerate. It is not a non-relativistic limit of a GR solution.

4. Precise status of the construction

The finite-cc metric has no physical status in this use of the device. One does not impose Einstein’s equation on it, interpret its light cones, or regard its finite-cc curvature as gravitational physics. Only the limiting connection is retained.

The regulator is also not unique. Terms of order c2c^{-2} may be added without changing the limiting Newton–Cartan connection. Therefore the field equation plus the absolute structures determines a convenient regulator representative, not a unique physical metric.

Input or operationStatus in Newton–Cartan theory
τμ\tau_\mu, hμνh^{\mu\nu}Fixed absolute structures
ρ\rho and boundary conditionsPhysical source data
2Φ=4πGρ\nabla^2\Phi=4\pi G\rhoField equation determining the free connection
gμν(c)=hμν(c2+2Φ)τμτνg^{(c)}_{\mu\nu}=h_{\mu\nu}-(c^2+2\Phi)\tau_\mu\tau_\nuAuxiliary packaging of the result
cc\to\inftyFormal removal of regulator artifacts

Thus the construction remains firmly inside Type-I Newton–Cartan theory: the field equation first determines the gravitational connection, and the regulator metric is built afterwards as a convenient way to reproduce that connection using the Levi-Civita formula.

A test planet orbiting a point-mass Sun

We now apply the same pipeline in Newton–Cartan theory and GR:

  1. specify the source, boundary data, and any independent gravitational data;

  2. identify the symmetry class of the desired solution;

  3. choose coordinates adapted to those symmetries, fixing only coordinate freedom;

  4. solve the reduced field equations for the remaining unknown functions;

  5. compute the connection and solve the planet’s geodesic equation.

In both theories the final equation of motion is

d2xμdλ2+Γαβμdxαdλdxβdλ=0.\frac{\mathrm{d}^2x^\mu}{\mathrm{d}\lambda^2} + \Gamma^\mu_{\alpha\beta} \frac{\mathrm{d}x^\alpha}{\mathrm{d}\lambda} \frac{\mathrm{d}x^\beta}{\mathrm{d}\lambda} =0.

The Sun is an isolated, time-independent, non-rotating, spherically symmetric body of total mass MM. We idealize its exterior by taking its radius to zero. The planet is a point mass mm in the limit m/M0m/M\to0, so it does not modify the Sun’s field. This is therefore the test-mass limit, not the full two-body problem. Spherical symmetry supplies a distinguished center and lets us choose the orbital plane to be θ=π/2\theta=\pi/2.

To avoid confusing two different roles, CC will denote the formal Newton–Cartan regulator, while cc denotes the physical speed of light in GR.

What is assumed, determined, and chosen?

A coordinate system is never additional physical data. Covariant field equations determine a geometry only up to coordinate transformations, so an explicit calculation must fix that freedom. A symmetry-adapted ansatz performs two logically distinct operations:

  1. requiring the solution to possess certain symmetries restricts the physical solution class;

  2. choosing coordinates adapted to those symmetries fixes gauge within that class.

The first operation is not, in general, a consequence of the field equation alone. If the complete source, boundary, and initial data are invariant under a group and the corresponding solution is unique, then the solution inherits that symmetry. This argument applies directly to the Newtonian Poisson problem below. For the well-posed GR initial-value problem, complete initial data determine the spacetime geometry uniquely only up to diffeomorphism. A mass and asymptotic flatness do not constitute complete initial data and do not exclude independent gravitational radiation. One must also provide suitable initial data or restrict attention to the spherically symmetric sector. Birkhoff’s theorem then says that every spherically symmetric vacuum exterior is locally Schwarzschild, and hence is automatically static.

Thus neither calculation obtains spherical symmetry merely by writing spherical coordinates. Spherical symmetry characterizes the physical problem; the coordinates are chosen afterwards to represent that symmetry economically.

1. Newton-Cartan theory

Absolute structure, source, and coordinate gauge

Let δh\delta_h denote the delta distribution with respect to the Euclidean spatial volume element. The point-mass density is

ρ=Mδh.\rho=M\delta_h.

Newton–Cartan theory also supplies the absolute clock and flat Euclidean spatial geometry as fixed background structures. Choose time-independent spherical coordinates adapted to them:

τ=dt,hμν=diag(0,1,1r2,1r2sin2θ).\tau=\mathrm{d}t, \qquad h^{\mu\nu} = \operatorname{diag} \left( 0,\, 1,\, \frac{1}{r^2},\, \frac{1}{r^2\sin^2\theta} \right).

In these coordinates,

δh=δ(r)4πr2,δhr2sinθdrdθdϕ=1.\delta_h=\frac{\delta(r)}{4\pi r^2}, \qquad \int \delta_h\,r^2\sin\theta\, \mathrm{d}r\,\mathrm{d}\theta\,\mathrm{d}\phi=1.

This is only a coordinate choice on the prescribed flat spatial geometry. It does not assume that gravity curves space in a particular way. The source, the condition Φ0\Phi\to0 at spatial infinity, and the flat background are rotationally invariant. Uniqueness of the Poisson problem therefore implies that Φ\Phi is rotationally invariant, so Φ=Φ(r)\Phi=\Phi(r).

Reduced field equation

In the global non-rotating frame guaranteed by the Trautman condition, the undetermined gravitational connection is

Γtti=DiΦ,\Gamma^i_{tt}=D^i\Phi,

where DiD_i is the covariant derivative of the flat spatial metric. The Newton–Cartan field equation becomes the coordinate-invariant Poisson equation

DiDiΦ=4πGρ.D_iD^i\Phi=4\pi G\rho.

For a radial scalar in the spherical coordinates above,

1r2ddr(r2dΦdr)=0,r>0.\frac{1}{r^2} \frac{\mathrm{d}}{\mathrm{d}r} \left( r^2\frac{\mathrm{d}\Phi}{\mathrm{d}r} \right) = 0, \qquad r>0.

Hence Φ=A+B/r\Phi=A+B/r. The boundary condition at infinity sets A=0A=0, while integrating the field equation over a small ball containing the source gives

4πr2dΦdr=4πGM.4\pi r^2\frac{\mathrm{d}\Phi}{\mathrm{d}r}=4\pi GM.

Therefore

Φ(r)=GMr.\Phi(r)=-\frac{GM}{r}.

The source normalization and boundary condition have now fixed the solution completely. In these coordinates its radial gravitational component is

Γttr=rΦ=GMr2.\Gamma^r_{tt} = \partial_r\Phi = \frac{GM}{r^2}.

Metric structure and connection

Package the result into the auxiliary metric

dsC2=(C22GMr)dt2+dr2+r2dϕ2\mathrm{d}s_C^2 = -\left(C^2-\frac{2GM}{r}\right)\mathrm{d}t^2 + \mathrm{d}r^2 + r^2\mathrm{d}\phi^2

on the orbital plane. Its Levi-Civita connection has the components that survive as CC\to\infty,

Γttr=GMr2,Γϕϕr=r,Γrϕϕ=Γϕrϕ=1r.\Gamma^r_{tt}=\frac{GM}{r^2}, \qquad \Gamma^r_{\phi\phi}=-r, \qquad \Gamma^\phi_{r\phi} = \Gamma^\phi_{\phi r} = \frac{1}{r}.

The first component is gravitational; the last two are the ordinary flat-space polar-coordinate connection.

Geodesic and orbit

In the regulator limit, the time geodesic equation gives d2t/dλ2=0\mathrm{d}^2t/\mathrm{d}\lambda^2=0, so we may use absolute time tt as the affine parameter. The spatial geodesic equations are

r¨rϕ˙2+GMr2=0,\ddot r-r\dot\phi^2+\frac{GM}{r^2}=0,
ϕ¨+2rr˙ϕ˙=0,\ddot\phi+\frac{2}{r}\dot r\dot\phi=0,

where dots denote derivatives with respect to tt. The angular equation integrates to the conserved specific angular momentum

=r2ϕ˙.\ell=r^2\dot\phi.

Set u(ϕ)=1/ru(\phi)=1/r. Eliminating tt from the radial equation gives the Binet equation

d2udϕ2+u=GM2.\frac{\mathrm{d}^2u}{\mathrm{d}\phi^2} + u = \frac{GM}{\ell^2}.

Its bound-orbit solution is

u(ϕ)=GM2[1+ecos(ϕϕ0)],u(\phi) = \frac{GM}{\ell^2} \left[ 1+e\cos(\phi-\phi_0) \right],

or

r(ϕ)=p1+ecos(ϕϕ0),p=2GM=a(1e2).r(\phi) = \frac{p} {1+e\cos(\phi-\phi_0)}, \qquad p=\frac{\ell^2}{GM}=a(1-e^2).

The orbit is a closed ellipse with the Sun at one focus. Its period obeys

T2=4π2GMa3.T^2=\frac{4\pi^2}{GM}a^3.

2. General relativity

Source, symmetry, and coordinate gauge

The GR field equation is

Gμν=8πGc4Tμν.G_{\mu\nu} = \frac{8\pi G}{c^4}T_{\mu\nu}.

Outside the Sun, Tμν=0T_{\mu\nu}=0. Unlike the Newton–Cartan Poisson equation, Einstein’s equation has independent gravitational degrees of freedom, so the mass alone does not select one spacetime. In Newton–Cartan theory, once ρ\rho and the spatial boundary condition are specified, Poisson’s equation uniquely determines Φ\Phi; there is no source-free gravitational radiation carrying additional information. In GR, by contrast, the same matter source and total mass can coexist with different incoming or outgoing gravitational-wave configurations. These configurations solve the vacuum Einstein equation outside the source but describe different spacetimes. One must therefore specify gravitational initial data in addition to the matter source, or restrict the solution class so that this freedom is absent. We choose the latter option by requiring a spherically symmetric exterior. Spherical symmetry excludes gravitational waves, and Birkhoff’s theorem then implies that the vacuum exterior is static and locally Schwarzschild.

Use coordinates adapted to the resulting time-translation and rotation symmetries. Choose rr to be the areal radius, so every symmetry sphere has area 4πr24\pi r^2, and normalize tt to the proper time of stationary observers at infinity. The most general metric after these gauge choices is

ds2=A(r)c2dt2+B(r)dr2+r2(dθ2+sin2θdϕ2).\mathrm{d}s^2 = -A(r)c^2\mathrm{d}t^2 + B(r)\mathrm{d}r^2 + r^2 \left( \mathrm{d}\theta^2+\sin^2\theta\,\mathrm{d}\phi^2 \right).

The functions AA and BB have not been guessed. They represent all metric freedom left after imposing spherical symmetry, staticity, and the stated coordinate gauge.

Reduced field equation

For r>0r>0, the independent vacuum Einstein equations reduce to

ddr[r(11B)]=0,AA=B1r.\frac{\mathrm{d}}{\mathrm{d}r} \left[ r\left(1-\frac{1}{B}\right) \right] =0, \qquad \frac{A'}{A}=\frac{B-1}{r}.

Their general solution is

B(r)=11rs/r,A(r)=K(1rsr).B(r)=\frac{1}{1-r_s/r}, \qquad A(r)=K\left(1-\frac{r_s}{r}\right).

Asymptotic flatness with the chosen normalization of tt gives K=1K=1. Matching to a spherical interior, or equivalently identifying the Arnowitt–Deser–Misner (ADM) mass measured at infinity, gives

rs=2GMc2.r_s=\frac{2GM}{c^2}.

Metric structure and connection

The resulting physical spacetime metric is the Schwarzschild metric. On the orbital plane,

ds2=f(r)c2dt2+dr2f(r)+r2dϕ2,f(r)=12GMc2r.\mathrm{d}s^2 = -f(r)c^2\mathrm{d}t^2 + \frac{\mathrm{d}r^2}{f(r)} + r^2\mathrm{d}\phi^2, \qquad f(r)=1-\frac{2GM}{c^2r}.

Here this is the physical spacetime metric, not a regulator. The point-mass language means that we retain this exterior solution down to r=0r=0; it is not necessary to insert a three-dimensional delta function directly into the nonlinear vacuum calculation.

The relevant Levi-Civita components are

Γttr=f(r)GMr2,Γrrr=GMc2r2f(r),\Gamma^r_{tt} = f(r)\frac{GM}{r^2}, \qquad \Gamma^r_{rr} = -\frac{GM}{c^2r^2f(r)},
Γϕϕr=f(r)r,Γrϕϕ=Γϕrϕ=1r,Γtrt=Γrtt=GMc2r2f(r).\Gamma^r_{\phi\phi} = -f(r)r, \qquad \Gamma^\phi_{r\phi} = \Gamma^\phi_{\phi r} = \frac{1}{r}, \qquad \Gamma^t_{tr} = \Gamma^t_{rt} = \frac{GM}{c^2r^2f(r)}.

Geodesic and orbit

Insert this connection into the same affine geodesic equation used above. Let τp\tau_p be the planet’s proper time, and let dots in this subsection denote derivatives with respect to τp\tau_p. The Killing symmetries give two conserved quantities per unit planet mass:

ε=f(r)c2t˙,=r2ϕ˙.\varepsilon = f(r)c^2\dot t, \qquad \ell = r^2\dot\phi.

The timelike normalization

gμνx˙μx˙ν=c2g_{\mu\nu}\dot x^\mu\dot x^\nu=-c^2

then gives the radial first integral

r˙2=ε2c2f(r)(c2+2r2).\dot r^2 = \frac{\varepsilon^2}{c^2} - f(r) \left( c^2+\frac{\ell^2}{r^2} \right).

Again set u(ϕ)=1/ru(\phi)=1/r and use ϕ˙=/r2\dot\phi=\ell/r^2. Differentiating the radial first integral produces the exact Schwarzschild orbit equation

d2udϕ2+u=GM2+3GMc2u2.\frac{\mathrm{d}^2u}{\mathrm{d}\phi^2} + u = \frac{GM}{\ell^2} + \frac{3GM}{c^2}u^2.

The first two terms are exactly the Newton–Cartan Binet equation. The additional term,

3GMc2u2,\frac{3GM}{c^2}u^2,

comes from the Schwarzschild metric and prevents a generic bound orbit from closing. To first order in GM/(c2p)GM/(c^2p), the perihelion advance per radial period is

Δϕ=6πGMc2p=6πGMc2a(1e2).\Delta\phi = \frac{6\pi GM}{c^2p} = \frac{6\pi GM}{c^2a(1-e^2)}.

Thus the relativistic orbit is approximately

r(ϕ)p1+ecos[(13GMc2p)(ϕϕ0)].r(\phi) \approx \frac{p} { 1+e\cos\left[ \left( 1-\frac{3GM}{c^2p} \right) (\phi-\phi_0) \right] }.

3. The common pipeline

StageNewton–CartanGeneral relativity
Fixed geometric dataAbsolute clock and flat spatial metric (τμ,hμν)(\tau_\mu,h^{\mu\nu})Differentiable manifold; no fixed metric
Physical dataρ=Mδh\rho=M\delta_h, isolated boundary conditionSpherical isolated body with total mass MM; vacuum exterior
Symmetry inputStatic and spherical; also follows from uniqueness of the Poisson problemSpherical exterior; Birkhoff’s theorem then implies staticity
Coordinate gaugeAdapted time and ordinary spherical coordinates on Euclidean spaceKilling time and areal radius
Field equationRμν=4πGρτμτνR_{\mu\nu}=4\pi G\rho\,\tau_\mu\tau_\nuGμν=8πGTμν/c4G_{\mu\nu}=8\pi G T_{\mu\nu}/c^4
Reduced unknownsOne radial potential Φ(r)\Phi(r)Two radial metric functions A(r),B(r)A(r),B(r)
Metric structureFixed τμ,hμν\tau_\mu,h^{\mu\nu} plus the solved connection, optionally packaged in gμν(C)g^{(C)}_{\mu\nu}Dynamical Schwarzschild metric gμνg_{\mu\nu}
ConnectionCompatible NC connection, or limCΓ[g(C)]\lim_{C\to\infty}\Gamma[g^{(C)}]Levi-Civita connection Γ[g]\Gamma[g]
MotionAffine geodesic equationAffine geodesic equation
Polar orbitu+u=GM/2u''+u=GM/\ell^2u+u=GM/2+3GMu2/c2u''+u=GM/\ell^2+3GMu^2/c^2
Bound-orbit resultClosed ellipsePrecessing ellipse

The machinery after the geometry is obtained is the same: form the connection and solve the geodesic equation. The theories differ both in what the field equation determines and in what data are needed for uniqueness. Newton–Cartan theory keeps its degenerate temporal and spatial metrics fixed; its elliptic field equation, source, and spatial boundary condition determine the remaining connection. GR solves for a non-degenerate spacetime metric and normally requires gravitational initial data in addition to matter data. In the spherically symmetric vacuum sector, Birkhoff’s theorem collapses that freedom, and the mass and asymptotic normalization determine the Schwarzschild geometry up to coordinates.

A test particle viewed from a rotating disk

We now consider a different example: a source-free test particle described entirely in coordinates attached to a rotating disk. The disk is only a reference system. It has no mass, produces no gravitational field, and does not represent a rotating material source. Consequently, the GR solution is flat spacetime written in a rotating gauge, not the Kerr metric.

This distinction is essential. Rotation of the coordinates changes the metric components and connection coefficients, producing fictitious forces in the geodesic equation, but it does not generate curvature. We will not write an equation of motion in a non-rotating frame and transform it. Instead we specify the rotating geometry directly, verify the tensor field equations in these coordinates, calculate its connection, and write its geodesics.

1. Specify the disk-fixed coordinates intrinsically

Let

xμ=(t,x,y,z)x^\mu=(t,x,y,z)

be coordinates fixed to the disk: a point painted on the disk has constant (x,y,z)(x,y,z). The disk rotates about the zz axis with angular velocity

Ω(t)=ω(t)z^.\boldsymbol{\Omega}(t)=\omega(t)\,\hat{\mathbf{z}}.

Define the rotational shift vector

β=Ω×r=(ωy,ωx,0),r=(x,y,z).\boldsymbol{\beta} = \boldsymbol{\Omega}\times\mathbf{r} = (-\omega y,\omega x,0), \qquad \mathbf{r}=(x,y,z).

This specifies the rotating observer congruence directly. In an ADM description, choose flat spatial slices, lapse kk, and this shift. Equivalently, introduce the coframe

kdt,dr+βdt.k\,\mathrm{d}t, \qquad \mathrm{d}\mathbf{r} + \boldsymbol{\beta}\,\mathrm{d}t.

For a constant ω\omega, the congruence describes a uniformly rotating disk. We temporarily allow ω(t)\omega(t) so that the Euler term is also visible; setting ω˙=0\dot\omega=0 gives the rigid, uniformly rotating example.

For either the formal Newton–Cartan regulator speed CC or the physical GR speed cc, the corresponding line element has the common form

dsk2=k2dt2+dr+βdt2,\mathrm{d}s_k^2 = -k^2\mathrm{d}t^2 + \left| \mathrm{d}\mathbf{r} + \boldsymbol{\beta}\,\mathrm{d}t \right|^2,

or explicitly,

dsk2=[k2ω2(x2+y2)]dt2+dx2+dy2+dz22ωydxdt+2ωxdydt.\begin{aligned} \mathrm{d}s_k^2 ={}& -\left[ k^2-\omega^2(x^2+y^2) \right]\mathrm{d}t^2 + \mathrm{d}x^2+\mathrm{d}y^2+\mathrm{d}z^2 \\ & -2\omega y\,\mathrm{d}x\,\mathrm{d}t + 2\omega x\,\mathrm{d}y\,\mathrm{d}t. \end{aligned}

No other coordinate system is needed to define this metric. The shift is part of the coordinate gauge: it says that the coordinate worldlines are the rotating observers.

2. Calculate the connection directly

The Levi-Civita formula applied to the metric above gives the following non-zero coefficients:

Γttx=ω2xω˙y,Γtty=ω2y+ω˙x,\Gamma^x_{tt} = -\omega^2x-\dot\omega y, \qquad \Gamma^y_{tt} = -\omega^2y+\dot\omega x,
Γtyx=Γytx=ω,Γtxy=Γxty=ω.\Gamma^x_{ty} = \Gamma^x_{yt} = -\omega, \qquad \Gamma^y_{tx} = \Gamma^y_{xt} = \omega.

All coefficients with an upper tt index vanish. In vector notation, the spatial coefficients are

Γtti=[Ω˙×r+Ω×(Ω×r)]i,Γtjivj=(Ω×v)i.\Gamma^i_{tt} = \left[ \dot{\boldsymbol{\Omega}}\times\mathbf{r} + \boldsymbol{\Omega}\times \left( \boldsymbol{\Omega}\times\mathbf{r} \right) \right]^i, \qquad \Gamma^i_{tj}v^j = \left( \boldsymbol{\Omega}\times\mathbf{v} \right)^i.

These expressions are independent of kk. Direct substitution into the Riemann tensor gives

Rρσμν=0.R^\rho{}_{\sigma\mu\nu}=0.

Thus the connection is non-zero but flat. Its coefficients describe the acceleration and rotation of the coordinate grid, not a gravitational field.

3. Newton-Cartan theory

There is no mass source:

ρ=0.\rho=0.

The fixed Newton–Cartan structures in the disk coordinates are

τ=dt,hμν=diag(0,1,1,1).\tau=\mathrm{d}t, \qquad h^{\mu\nu} = \operatorname{diag}(0,1,1,1).

The connection calculated above is compatible with these structures. Because its Riemann tensor vanishes, it satisfies both the vacuum field equation and the Trautman condition directly in the rotating coordinates:

Rμν=0=4πGρτμτν,R[ab]cd=0.R_{\mu\nu} = 0 = 4\pi G\rho\,\tau_\mu\tau_\nu, \qquad R^{[ab]}{}_{cd}=0.

The field equation does not determine ω\omega. That function specifies the chosen rotating observer congruence and is therefore coordinate gauge, not source data.

When the coordinate form of Poisson’s equation fails

Newton–Cartan theory has a physical absolute time, represented by the one-form τ\tau. Nevertheless, the coordinate called “time” need not coincide with it. A useful visualization is a continuous version of time zones. Let TT denote absolute time and assign clocks the displayed coordinate time

q0=T+κX.q^0=T+\kappa X.

Clocks at different positions have different offsets but run at the same rate. Two events with the same TT are physically simultaneous, yet their displayed values differ by

Δq0=κΔX.\Delta q^0=\kappa\,\Delta X.

Conversely, a collection of events with the same displayed time q0q^0 contains different absolute times,

T=q0κX.T=q^0-\kappa X.

This resembles describing Earth “at 12:00 local time everywhere”: the description combines events occurring at different UTC times. Geometrically, the hypersurfaces q0=constantq^0=\text{constant} are tilted relative to the absolute simultaneity hypersurfaces T=constantT=\text{constant}.

Ordinary Newtonian calculations almost always use adapted coordinates, in which the coordinate-time slices are the absolute-time slices. Allowing non-adapted coordinates does not remove or relativize absolute time: τ\tau still identifies it. The purpose is instead passive coordinate covariance. There are four reasons to require the Newton–Cartan equations to work in such coordinates:

  1. Physical laws must not depend on clock labels. Changing position-dependent clock offsets or other bookkeeping conventions must not change the gravitational field.

  2. The physical time structure must be separated from notation. Absolute time is the geometric one-form τ\tau, not whichever coordinate happens to be called x0x^0.

  3. Coordinate artifacts must not become apparent sources. Mixed time-space derivatives introduced by a synchronization convention must not be mistaken for additional mass or curvature.

  4. Arbitrary charts must be usable directly. Overlapping chart patches or computational grids need not first be converted into one global adapted coordinate system.

The four-dimensional field equation accomplishes this by containing the absolute clock as a tensor field:

Rμν=4πGρτμτν.R_{\mu\nu} = 4\pi G\rho\,\tau_\mu\tau_\nu.

In adapted coordinates,

τμ=(1,0,0,0),\tau_\mu=(1,0,0,0),

so the only sourced component is R00=4πGρR_{00}=4\pi G\rho. After a general coordinate transformation, τμ\tau_\mu may have several non-zero components. The right-hand side then transforms with it and identifies which combination of coordinate directions is temporal. Its kernel,

kerτ={Xμ:τμXμ=0},\ker\tau = \left\{ X^\mu:\tau_\mu X^\mu=0 \right\},

identifies the physical spatial directions independently of the coordinate labels. The Ricci tensor on the left transforms in exactly the same way, so the equation continues to match curvature to mass in every chart.

This is the precise sense in which the tensor equation carries the absolute clock explicitly: one never has to infer physical time from the name or position of a coordinate. Non-adapted coordinates add no new physics and are usually less convenient, but they test whether the formulation describes Newton–Cartan geometry rather than one privileged coordinate system.

The rotating coordinates above remain adapted to absolute time because τ=dt\tau=\mathrm dt. Consequently, the physical values

Φ=0,ρ=0\Phi=0, \qquad \rho=0

still satisfy DiDiΦ=4πGρD_iD^i\Phi=4\pi G\rho. To see a genuine limitation of that three-dimensional notation, consider coordinates that are not adapted to the absolute-time foliation.

Begin in adapted Cartesian coordinates with

Φ(t,r)=a(t)(x2+y2+z2),4πGρ(t)=6a(t).\Phi(t,\mathbf r) = a(t)(x^2+y^2+z^2), \qquad 4\pi G\rho(t)=6a(t).

On every absolute-time slice,

DiDiΦ=δijijΦ=6a(t)=4πGρ.D_iD^i\Phi = \delta^{ij}\partial_i\partial_j\Phi = 6a(t) = 4\pi G\rho.

Now introduce coordinates that mix time and space:

t=t+κx,x=x,y=y,z=z,t'=t+\kappa x, \qquad x'=x, \qquad y'=y, \qquad z'=z,

where κ\kappa has units of inverse velocity. Since Φ\Phi and ρ\rho are scalars,

Φ(t,r)=a(tκx)(x2+y2+z2),\Phi'(t',\mathbf r') = a(t'-\kappa x') \left( x'^2+y'^2+z'^2 \right),
4πGρ(t,r)=6a(tκx).4\pi G\rho'(t',\mathbf r') = 6a(t'-\kappa x').

If one incorrectly treats tt' as absolute time and applies the ordinary spatial Laplacian while holding tt' fixed, the result is

δijijΦ=6a4κxa+κ2r2a,\delta^{ij} \partial'_i\partial'_j\Phi' = 6a - 4\kappa x'a' + \kappa^2r'^2a'',

which is generally not equal to 4πGρ=6a4\pi G\rho'=6a. Here aa, aa', and aa'' are evaluated at tκxt'-\kappa x'.

The failure occurs because the hypersurfaces t=constantt'=\text{constant} are not the absolute-time slices:

τ=dt=dtκdx.\tau = \mathrm dt = \mathrm dt' - \kappa\,\mathrm dx'.

Thus the three coordinate directions labelled by ii are not tangent to kerτ\ker\tau, and δijij\delta^{ij}\partial'_i\partial'_j at fixed tt' is not the intrinsic spatial operator DiDiD_iD^i. The fundamental equation

Rμν=4πGρτμτνR_{\mu\nu} = 4\pi G\rho\,\tau_\mu\tau_\nu

continues to hold without modification. Therefore the formula DiDiΦ=4πGρD_iD^i\Phi=4\pi G\rho is coordinate independent only when DiD_i genuinely denotes differentiation within the absolute spatial slices; it is not obtained in arbitrary spacetime coordinates by simply calling the three non-time coordinate indices “spatial.”

Example with two overlapping non-adapted charts

The same issue becomes unavoidable when a solution is supplied on an atlas whose transition functions mix temporal and spatial coordinate labels. Cover a region by two charts UU and VV. On UU, use

qU0=t+κx,qU1=x,qU2=y,qU3=z.q_U^0=t+\kappa x, \qquad q_U^1=x, \qquad q_U^2=y, \qquad q_U^3=z.

On VV, use

qV0=t+κy,qV1=x,qV2=y,qV3=z.q_V^0=t+\kappa y, \qquad q_V^1=x, \qquad q_V^2=y, \qquad q_V^3=z.

On the overlap UVU\cap V, the transition map includes

qV0=qU0+κ(qU2qU1),q_V^0 = q_U^0 + \kappa \left( q_U^2-q_U^1 \right),

so the coordinate called “time” in one chart depends on both temporal and spatial coordinates in the other. The absolute clock has the consistent representations

τ=dqU0κdqU1=dqV0κdqV2.\tau = \mathrm dq_U^0-\kappa\,\mathrm dq_U^1 = \mathrm dq_V^0-\kappa\,\mathrm dq_V^2.

Return to the local solution used above,

Φ=a(t)r2,4πGρ=6a(t).\Phi=a(t)r^2, \qquad 4\pi G\rho=6a(t).

In chart UU, let

s=qU0κqU1=t.s=q_U^0-\kappa q_U^1=t.

If the three indices 1,2,31,2,3 are incorrectly treated as spatial directions at fixed qU0q_U^0, their ordinary Laplacian gives

LU=A=132Φ(qUA)2=6a(s)4κqU1a(s)+κ2r2a(s).L_U = \sum_{A=1}^3 \frac{\partial^2\Phi}{\partial(q_U^A)^2} = 6a(s) - 4\kappa q_U^1a'(s) + \kappa^2r^2a''(s).

In chart VV, the same incorrect prescription gives

LV=A=132Φ(qVA)2=6a(s)4κqV2a(s)+κ2r2a(s).L_V = \sum_{A=1}^3 \frac{\partial^2\Phi}{\partial(q_V^A)^2} = 6a(s) - 4\kappa q_V^2a'(s) + \kappa^2r^2a''(s).

On the overlap these expressions generally differ:

LULV=4κ(xy)a(t),L_U-L_V = -4\kappa(x-y)a'(t),

and neither is generally equal to

4πGρ=6a(t).4\pi G\rho=6a(t).

Thus the naïve three-coordinate Poisson equation does not even patch consistently between UU and VV. It is not sufficient to describe the solution in this atlas.

The tensor equation does patch consistently. In chart UU its source side contains

τμ(U)=(1,κ,0,0),\tau_\mu^{(U)} = (1,-\kappa,0,0),

and hence, for example,

R00(U)=4πGρ,R01(U)=4πGρκ,R11(U)=4πGρκ2.R_{00}^{(U)}=4\pi G\rho, \qquad R_{01}^{(U)}=-4\pi G\rho\,\kappa, \qquad R_{11}^{(U)}=4\pi G\rho\,\kappa^2.

In chart VV,

τμ(V)=(1,0,κ,0),\tau_\mu^{(V)} = (1,0,-\kappa,0),

so the corresponding non-zero mixed spatial components occur in the 02 and 22 positions instead. The transition map transforms these two sets of components into one another exactly because both are representations of

Rμν=4πGρτμτν.R_{\mu\nu} = 4\pi G\rho\,\tau_\mu\tau_\nu.

Therefore, if one chooses to work directly in the supplied charts without reconstructing an adapted time coordinate, the four-dimensional tensor equation is necessary. It carries both the absolute clock and the curvature information required to glue the local descriptions together.

Regulator metric and equations of motion

To obtain the connection using the regulator construction, take

dsC2=C2dt2+dr+Ω×rdt2.\mathrm{d}s_C^2 = -C^2\mathrm{d}t^2 + \left| \mathrm{d}\mathbf{r} + \boldsymbol{\Omega}\times\mathbf{r}\,\mathrm{d}t \right|^2.

Its relevant Christoffel symbols are independent of CC, while all unwanted regulator components vanish identically. The formal limit therefore gives exactly the flat Newton–Cartan connection above:

Γμνλ[NC]=limCΓμνλ[g(C)].\Gamma^\lambda_{\mu\nu}[\mathrm{NC}] = \lim_{C\to\infty} \Gamma^\lambda_{\mu\nu}[g^{(C)}].

Since Γμνt=0\Gamma^t_{\mu\nu}=0, the time component of the affine geodesic equation is

d2tdλ2=0.\frac{\mathrm{d}^2t}{\mathrm{d}\lambda^2}=0.

We may therefore use absolute time tt as the affine parameter. The spatial equations are

r¨=2Ω×r˙Ω×(Ω×r)Ω˙×r.\boxed{ \ddot{\mathbf{r}} = -2\boldsymbol{\Omega}\times\dot{\mathbf{r}} - \boldsymbol{\Omega}\times \left( \boldsymbol{\Omega}\times\mathbf{r} \right) - \dot{\boldsymbol{\Omega}}\times\mathbf{r} }.

The three terms are, respectively, the Coriolis, centrifugal, and Euler accelerations. In components,

x¨=ω2x+2ωy˙+ω˙y,\ddot x = \omega^2x+2\omega\dot y+\dot\omega y,
y¨=ω2y2ωx˙ω˙x,z¨=0.\ddot y = \omega^2y-2\omega\dot x-\dot\omega x, \qquad \ddot z=0.

For a uniformly rotating disk, ω˙=0\dot\omega=0, so only the Coriolis and centrifugal terms remain. There is no translational fictitious force because the disk’s origin was chosen not to accelerate.

4. General relativity

There is likewise no stress-energy source:

Tμν=0.T_{\mu\nu}=0.

We also specify that there is no source-free gravitational radiation: the initial geometry is flat. The exact physical metric in the disk-fixed coordinates is

ds2=c2dt2+dr+Ω×rdt2.\mathrm{d}s^2 = -c^2\mathrm{d}t^2 + \left| \mathrm{d}\mathbf{r} + \boldsymbol{\Omega}\times\mathbf{r}\,\mathrm{d}t \right|^2.

Because its full Riemann tensor vanishes, it solves the vacuum Einstein equation directly:

Gμν=0.G_{\mu\nu}=0.

The rotating observers, whose spatial coordinates are constant, are timelike only where

x2+y2<c2ω2.x^2+y^2<\frac{c^2}{\omega^2}.

The surface x2+y2=c2/ω2x^2+y^2=c^2/\omega^2 is the light cylinder of the rotating congruence. This restriction has no Newton–Cartan analogue.

The finite-cc metric has exactly the same connection coefficients listed above. Since Γμνt=0\Gamma^t_{\mu\nu}=0, tt is again an affine parameter along every geodesic, up to a constant rescaling. Consequently, the exact GR coordinate equations for a freely falling test particle are

r¨=2Ω×r˙Ω×(Ω×r)Ω˙×r.\boxed{ \ddot{\mathbf{r}} = -2\boldsymbol{\Omega}\times\dot{\mathbf{r}} - \boldsymbol{\Omega}\times \left( \boldsymbol{\Omega}\times\mathbf{r} \right) - \dot{\boldsymbol{\Omega}}\times\mathbf{r} }.

This equality with the Newton–Cartan coordinate equations is exact, not a low-velocity approximation. The relativistic difference lies in the metric’s causal and clock structure. Along a timelike trajectory,

dτ=dt1r˙+Ω×r2c2,\mathrm{d}\tau = \mathrm{d}t \sqrt{ 1 - \frac{ \left| \dot{\mathbf{r}} + \boldsymbol{\Omega}\times\mathbf{r} \right|^2 }{c^2} },

so a physical test particle must satisfy

r˙+Ω×r<c.\left| \dot{\mathbf{r}} + \boldsymbol{\Omega}\times\mathbf{r} \right|<c.

5. What the field equations did and did not determine

StageNewton–CartanGeneral relativity
Sourceρ=0\rho=0Tμν=0T_{\mu\nu}=0
Independent gravitational dataNo Newtonian potential at the boundaryFlat initial geometry; no gravitational radiation
Rotating coordinate gaugeShift β=Ω×r\boldsymbol{\beta}=\boldsymbol{\Omega}\times\mathbf{r}Same shift
Field equationRμν=0R_{\mu\nu}=0 plus TrautmanGμν=0G_{\mu\nu}=0
CurvatureRρσμν=0R^\rho{}_{\sigma\mu\nu}=0Rρσμν=0R^\rho{}_{\sigma\mu\nu}=0
ConnectionNon-zero in disk coordinatesThe same non-zero coefficients
Coordinate accelerationCoriolis, centrifugal, and Euler termsThe same three terms exactly
Specifically relativistic effectNoneProper-time and light-cylinder restrictions

The field equations determine or constrain the physical geometry; they do not choose the observer. Here the physical solution is flat in both theories, while the disk-fixed lapse and shift specify a rotating coordinate gauge. The fictitious forces arise when the flat connection is expressed in that gauge. They are derived intrinsically from the connection in the disk coordinates, without transforming an equation of motion from any other frame.

A test particle around a rotating spherical Earth

We now combine the previous two examples. The source is an isolated spherical body of radius RR, mass MM, and angular momentum

J=IΩ,\mathbf{J}=I\boldsymbol{\Omega},

where Ω\boldsymbol{\Omega} is constant and defines the rotation axis. We keep II general; for a uniform solid sphere,

I=25MR2.I=\frac{2}{5}MR^2.

We consider only the exterior region r>Rr>R. In Newton–Cartan theory the result is exact. In GR a rotating material body is not exactly spherical, so there is no exact solution characterized only by MM and J\mathbf J. We use the systematic Earth approximation:

The neglected deformation begins at order Ω2\Omega^2, whereas frame dragging is linear in J\mathbf J. This approximation therefore isolates the leading intrinsically relativistic effect of rotation.

We derive the motion in two coordinate systems:

  1. asymptotically non-rotating coordinates, whose axes are fixed relative to distant stars;

  2. Earth-fixed coordinates, in which points painted on the rotating surface have constant spatial coordinates.

The word “global” below refers to the first choice. In GR it means asymptotically non-rotating, not a preferred coordinate system built into the theory.

Define

r=(x,y,z),r=r,n=rr,U(r)=GMr,Φ(r)=U(r).\mathbf r=(x,y,z), \qquad r=|\mathbf r|, \qquad \mathbf n=\frac{\mathbf r}{r}, \qquad U(r)=\frac{GM}{r}, \qquad \Phi(r)=-U(r).

1. Newton-Cartan field in global coordinates

Let the spherical density be ρ(r)\rho(r), with

M=ρd3x.M = \int\rho\,\mathrm d^3x.

Rigid rotation changes the mass current but not the spherical mass density. The classical Newton–Cartan field equation is sourced only by ρ\rho:

Rμν=4πGρτμτν.R_{\mu\nu} = 4\pi G\rho\,\tau_\mu\tau_\nu.

In asymptotically non-rotating spherical coordinates it reduces to

1r2ddr(r2dΦdr)=4πGρ.\frac{1}{r^2} \frac{\mathrm d}{\mathrm dr} \left( r^2\frac{\mathrm d\Phi}{\mathrm dr} \right) = 4\pi G\rho.

For r>Rr>R, the source vanishes. Asymptotic flatness and the total mass fix

Φ(r)=GMr.\Phi(r)=-\frac{GM}{r}.

In global Cartesian coordinates the non-zero gravitational connection is

Γtti=iΦ=GMr3xi.\Gamma^i_{tt} = \partial^i\Phi = \frac{GM}{r^3}x^i.

Equivalently, it is obtained from the regulator metric

dsC2=(C22GMr)dt2+dr2\mathrm ds_C^2 = -\left( C^2-\frac{2GM}{r} \right)\mathrm dt^2 + |\mathrm d\mathbf r|^2

by taking CC\to\infty. Since Γμνt=0\Gamma^t_{\mu\nu}=0, absolute time is an affine parameter. The geodesic equation gives

r¨=GMr3r.\boxed{ \ddot{\mathbf r} = -\frac{GM}{r^3}\mathbf r }.

There is no term involving J\mathbf J. In classical Newtonian gravity, a spherical body’s rotation does not alter its exterior gravitational field.

2. Newton-Cartan field in Earth-fixed coordinates

Now use coordinates fixed to the Earth and specify the rotational shift directly:

β=Ω×r.\boldsymbol{\beta} = \boldsymbol{\Omega}\times\mathbf r.

Because Φ\Phi is spherical and time independent, it has the same function of the Earth-fixed coordinates. The appropriate regulator metric is

dsC2=(C2+2Φ)dt2+dr+Ω×rdt2.\mathrm ds_C^2 = -\left( C^2+2\Phi \right)\mathrm dt^2 + \left| \mathrm d\mathbf r + \boldsymbol{\Omega}\times\mathbf r\,\mathrm dt \right|^2.

This metric is specified directly in the Earth-fixed chart. Its CC\to\infty connection has

Γtti=iΦ+[Ω×(Ω×r)]i,\Gamma^i_{tt} = \partial^i\Phi + \left[ \boldsymbol{\Omega}\times \left( \boldsymbol{\Omega}\times\mathbf r \right) \right]^i,
Γtjivj=(Ω×v)i,Γμνt=0.\Gamma^i_{tj}v^j = \left( \boldsymbol{\Omega}\times\mathbf v \right)^i, \qquad \Gamma^t_{\mu\nu}=0.

The rotation-dependent part of this connection is flat and source independent. The curvature still satisfies

Rμν=4πGρτμτν;R_{\mu\nu} = 4\pi G\rho\,\tau_\mu\tau_\nu;

the fictitious terms do not act as additional mass density. Writing

v=r˙\mathbf v=\dot{\mathbf r}

for the Earth-fixed coordinate velocity, the geodesic equation gives

r¨=GMr3r2Ω×vΩ×(Ω×r).\boxed{ \ddot{\mathbf r} = -\frac{GM}{r^3}\mathbf r - 2\boldsymbol{\Omega}\times\mathbf v - \boldsymbol{\Omega}\times \left( \boldsymbol{\Omega}\times\mathbf r \right) }.

The last two terms are the Coriolis and centrifugal accelerations. No Euler term appears because Ω\boldsymbol{\Omega} is constant, and no translational term appears because the Earth’s center is the coordinate origin.

3. GR field in asymptotically non-rotating coordinates

The GR source contains both energy density and mass current. To leading order,

M=ρd3x,J=r×(ρvsource)d3x.M=\int\rho\,\mathrm d^3x, \qquad \mathbf J = \int \mathbf r\times \left( \rho\mathbf v_{\mathrm{source}} \right) \mathrm d^3x.

In Lorenz gauge, the linearized Einstein equation is

hˉμν=16πGc4Tμν.\Box\bar h_{\mu\nu} = -\frac{16\pi G}{c^4}T_{\mu\nu}.

The TttT_{tt} part produces the monopole potential UU, while the mass-current part TtiT_{ti} produces the gravitomagnetic field determined by J\mathbf J. Solving with asymptotic flatness and no incoming radiation, then including the nonlinear monopole term required at first post-Newtonian order, gives the exterior metric in asymptotically non-rotating harmonic Cartesian coordinates:

ds2=(12Uc2+2U2c4)c2dt2+(1+2Uc2)dr24Gc2r3(J×r)drdt.\begin{aligned} \mathrm ds^2 ={}& -\left( 1-\frac{2U}{c^2}+\frac{2U^2}{c^4} \right)c^2\mathrm dt^2 + \left( 1+\frac{2U}{c^2} \right) |\mathrm d\mathbf r|^2 \\ & -\frac{4G}{c^2r^3} \left( \mathbf J\times\mathbf r \right) \mathbin{\cdot}\mathrm d\mathbf r\,\mathrm dt. \end{aligned}

Terms beyond first post-Newtonian order in the monopole, terms beyond first order in J\mathbf J, mixed higher-order terms proportional to GMJ/c4GMJ/c^4, and source multipoles beyond MM and J\mathbf J are omitted.

Let

u=drdt\mathbf u=\frac{\mathrm d\mathbf r}{\mathrm dt}

be the velocity in these coordinates. Substituting the metric directly into the geodesic equation and consistently expanding gives

r¨=GMr3r+a1PN(r,u)+aLT(r,u),\ddot{\mathbf r} = -\frac{GM}{r^3}\mathbf r + \mathbf a_{\mathrm{1PN}}(\mathbf r,\mathbf u) + \mathbf a_{\mathrm{LT}}(\mathbf r,\mathbf u),

where the first post-Newtonian Schwarzschild correction is

a1PN=GMc2r3[(4GMru2)r+4(ru)u]\boxed{ \mathbf a_{\mathrm{1PN}} = \frac{GM}{c^2r^3} \left[ \left( \frac{4GM}{r}-u^2 \right)\mathbf r + 4(\mathbf r\mathbin{\cdot}\mathbf u)\mathbf u \right] }

and the leading Lense–Thirring acceleration is

aLT=2Gc2r3[J3(Jn)n]×u.\boxed{ \mathbf a_{\mathrm{LT}} = -\frac{2G}{c^2r^3} \left[ \mathbf J - 3(\mathbf J\mathbin{\cdot}\mathbf n)\mathbf n \right] \times\mathbf u }.

Equivalently,

aLT=2Gc2r3[u×J+3(Jn)n×u].\mathbf a_{\mathrm{LT}} = \frac{2G}{c^2r^3} \left[ \mathbf u\times\mathbf J + 3(\mathbf J\mathbin{\cdot}\mathbf n) \mathbf n\times\mathbf u \right].

Unlike the Newtonian exterior field, the global GR connection therefore depends on the source’s angular momentum. This is intrinsic frame dragging: it remains present in asymptotically non-rotating coordinates and cannot be removed globally by choosing axes fixed to distant stars.

4. GR field in Earth-fixed coordinates

Choose the zz axis along both Ω\boldsymbol{\Omega} and J\mathbf J, and define the Earth-fixed shift

β=Ω×r.\boldsymbol{\beta} = \boldsymbol{\Omega}\times\mathbf r.

The alignment JΩ\mathbf J\parallel\boldsymbol{\Omega} makes the spin components time independent in the Earth-fixed chart. Without this alignment, the gravitomagnetic coefficients would depend explicitly on time.

It is convenient to introduce the disk-fixed spatial coframe

ϑ=dr+βdt.\boldsymbol{\vartheta} = \mathrm d\mathbf r + \boldsymbol{\beta}\,\mathrm dt.

The same physical exterior geometry, written directly in the Earth-fixed chart to the stated approximation, is

ds2=(12Uc2+2U2c4)c2dt2+(1+2Uc2)ϑ24Gc2r3(J×r)ϑdt.\begin{aligned} \mathrm ds^2 ={}& -\left( 1-\frac{2U}{c^2}+\frac{2U^2}{c^4} \right)c^2\mathrm dt^2 + \left( 1+\frac{2U}{c^2} \right) |\boldsymbol{\vartheta}|^2 \\ & -\frac{4G}{c^2r^3} \left( \mathbf J\times\mathbf r \right) \mathbin{\cdot}\boldsymbol{\vartheta}\,\mathrm dt. \end{aligned}

This is not obtained by transforming an already-derived equation of motion. It is the weak-field solution expressed using the lapse, spatial metric, and shift of the Earth-fixed coordinate congruence. When M=J=0M=\mathbf J=0, it reduces exactly to the source-free rotating-disk metric. When Ω=0\boldsymbol{\Omega}=0, it reduces to the asymptotically non-rotating metric above.

For a test particle define

v=r˙,u=v+Ω×r.\mathbf v=\dot{\mathbf r}, \qquad \mathbf u = \mathbf v + \boldsymbol{\Omega}\times\mathbf r.

Here v\mathbf v is the Earth-fixed coordinate velocity, while u\mathbf u is the velocity entering the local asymptotically non-rotating gravitational terms. A direct calculation of the Christoffel symbols of the Earth-fixed metric and substitution into the non-affinely parametrized geodesic equation with parameter tt gives

r¨=GMr3r2Ω×vΩ×(Ω×r)+a1PN(r,u)+aLT(r,u).\boxed{ \begin{aligned} \ddot{\mathbf r} ={}& -\frac{GM}{r^3}\mathbf r - 2\boldsymbol{\Omega}\times\mathbf v - \boldsymbol{\Omega}\times \left( \boldsymbol{\Omega}\times\mathbf r \right) \\ & + \mathbf a_{\mathrm{1PN}}(\mathbf r,\mathbf u) + \mathbf a_{\mathrm{LT}}(\mathbf r,\mathbf u). \end{aligned} }

Thus the Earth-fixed GR equation contains four physically distinct contributions:

  1. Newtonian monopole gravity;

  2. coordinate-induced Coriolis and centrifugal accelerations;

  3. the first post-Newtonian correction produced by the mass MM;

  4. intrinsic Lense–Thirring frame dragging produced by J\mathbf J.

The two rotation rates play different roles. The coordinate angular velocity Ω\boldsymbol{\Omega} determines the Earth-fixed observer congruence and produces the fictitious forces. The source angular momentum J=IΩ\mathbf J=I\boldsymbol{\Omega} determines physical spacetime curvature and produces frame dragging. Their directions are aligned in this model, but their effects must not be combined into a single “effective rotation.”

5. Four-way comparison

Theory and coordinatesPhysical gravitational termsCoordinate-induced terms
Newton–Cartan, globalGMr/r3-GM\mathbf r/r^3None
Newton–Cartan, Earth-fixedGMr/r3-GM\mathbf r/r^3Coriolis and centrifugal
GR, asymptotically non-rotatingNewtonian monopole, 1PN monopole, Lense–ThirringNone
GR, Earth-fixedNewtonian monopole, 1PN monopole, Lense–ThirringCoriolis and centrifugal

In Newton–Cartan theory the rotating spherical source and the non-rotating spherical source have the same exterior gravitational field; only the Earth-fixed coordinate connection knows about Ω\boldsymbol{\Omega}. In GR the mass current also sources the metric, so J\mathbf J appears even in asymptotically non-rotating coordinates. Passing to Earth-fixed coordinates adds the same kinematic fictitious forces as before, but it does not remove the intrinsic frame-dragging field.

A ballistic projectile crossing a timezone boundary

We now solve both theories directly in a non-adapted local-time chart. The model is deliberately idealized:

Ignoring the Earth’s rotation isolates the effect of the time coordinate. Rotation, Coriolis acceleration, and frame dragging can be added using the preceding example.

1. Define the local-time coordinates directly

Use one chart

qμ=(q0,x,y,z)q^\mu=(q^0,x,y,z)

throughout the flight region. Let the timezone boundary be centered at x=0x=0 and define the smooth clock offset

σ(x)=Δ2[1+tanh(xw)],\sigma(x) = \frac{\Delta}{2} \left[ 1+\tanh\left(\frac{x}{w}\right) \right],

where ww may be arbitrarily small, for example w=1 mmw=1\ \mathrm{mm}. Thus σ0\sigma\to0 on one side and σΔ\sigma\to\Delta on the other. The one-form measuring physical Newtonian time is prescribed in this chart as

ϑ=dq0dσ=dq0σidxi,σi=iσ.\vartheta = \mathrm dq^0-\mathrm d\sigma = \mathrm dq^0-\sigma_i\,\mathrm dx^i, \qquad \sigma_i=\partial_i\sigma.

This equation defines the synchronization convention directly; no adapted coordinate is introduced. Far from the boundary, dσ=0\mathrm d\sigma=0, so q0q^0 differs between the two zones only by a constant offset. Inside the transition layer, dσ0\mathrm d\sigma\neq0, and the coordinate is non-adapted.

The choice w=1 mmw=1\ \mathrm{mm} is mathematically valid but numerically ill-conditioned: σ|\boldsymbol{\nabla}\sigma| is enormous inside the layer, so individual metric and connection components become correspondingly large even though the geometry remains regular. A wider transition would be preferable for computation. The sharp choice is used only to emphasize that coordinate components can be extreme without changing the physical field.

The physical source is a spherical density ρ(r)\rho(r),

r=x2+y2+z2,M=4π0Rρ(r)r2dr.r=\sqrt{x^2+y^2+z^2}, \qquad M=4\pi\int_0^R\rho(r)r^2\,\mathrm dr.

The source is independent of q0q^0. We impose asymptotic flatness and use the same chart for the field and the projectile.

2. Newton-Cartan field equation in the local-time chart

The absolute clock is

τμdqμ=ϑ,τμ=(1,σi).\tau_\mu\,\mathrm dq^\mu=\vartheta, \qquad \tau_\mu=(1,-\sigma_i).

The flat contravariant spatial metric has components

h00=σ2,h0i=hi0=σi,hij=δij.h^{00}=|\boldsymbol{\nabla}\sigma|^2, \qquad h^{0i}=h^{i0}=\sigma_i, \qquad h^{ij}=\delta^{ij}.

They satisfy

hμντν=0.h^{\mu\nu}\tau_\nu=0.

These are fixed Newton–Cartan structures expressed directly in the supplied coordinates. We now solve for the connection, rather than first constructing spatial derivatives or changing to an adapted chart.

Impose:

μτν=0,μhνρ=0,\nabla_\mu\tau_\nu=0, \qquad \nabla_\mu h^{\nu\rho}=0,

torsion freedom, the Trautman condition, and

Rμν=4πGρτμτν.R_{\mu\nu} = 4\pi G\rho\,\tau_\mu\tau_\nu.

For a static spherical source, the compatible Trautman connection can be parametrized by one unknown radial function Φ(r)\Phi(r). Define

gi=iΦ,S=σigi.g^i=\partial^i\Phi, \qquad S=\sigma_i g^i.

Solving the compatibility equations in the local-time chart gives

Γμνi=giτμτν,\Gamma^i_{\mu\nu} = g^i\tau_\mu\tau_\nu,
Γμν0=Sτμτνδμiδνjσij,σij=ijσ.\Gamma^0_{\mu\nu} = S\tau_\mu\tau_\nu - \delta_\mu^i\delta_\nu^j\sigma_{ij}, \qquad \sigma_{ij}=\partial_i\partial_j\sigma.

These formulas display why the connection cannot be reconstructed from Γ00i\Gamma^i_{00} alone. The synchronization gradient contributes to many components, and a nonlinear timezone profile also contributes through σij\sigma_{ij}.

For example, direct contraction gives

Γμνλτλ=δμiδνjσij=μτν,\Gamma^\lambda_{\mu\nu}\tau_\lambda = -\delta_\mu^i\delta_\nu^j\sigma_{ij} = \partial_\mu\tau_\nu,

which verifies μτν=0\nabla_\mu\tau_\nu=0 in the supplied chart. Substitution into the remaining compatibility and Trautman equations verifies them without introducing another coordinate system.

Calculating the full four-dimensional Ricci tensor from this connection gives

Rμν=(δijijΦ)τμτν.R_{\mu\nu} = \left( \delta^{ij}\partial_i\partial_j\Phi \right) \tau_\mu\tau_\nu.

Substitution into the tensor field equation—not an independently assumed spatial equation—therefore gives

δijijΦ=4πGρ.\delta^{ij}\partial_i\partial_j\Phi = 4\pi G\rho.

For r>Rr>R, all tensor components are solved by

Φ(r)=GMr.\Phi(r)=-\frac{GM}{r}.

The scalar Poisson equation has appeared here only as the single remaining equation after the complete connection and its Ricci tensor were evaluated in the non-adapted chart.

Projectile geodesic and its timestamps

Let λ\lambda be an affine parameter normalized by

τμdqμdλ=1.\tau_\mu \frac{\mathrm dq^\mu}{\mathrm d\lambda} = 1.

This is an invariant normalization; it does not identify q0q^0 with physical elapsed time. Writing dots for derivatives with respect to λ\lambda, the spatial geodesic equations reduce to

r¨=Φ=GMr3r.\boxed{ \ddot{\mathbf r} = -\boldsymbol{\nabla}\Phi = -\frac{GM}{r^3}\mathbf r }.

The time component is already contained in the normalization:

q˙0σix˙i=1.\dot q^0 - \sigma_i\dot x^i = 1.

Since σix˙i=dσ/dλ\sigma_i\dot x^i=\mathrm d\sigma/\mathrm d\lambda,

q0(λ)=λ+σ(r(λ))+constant.q^0(\lambda) = \lambda+\sigma\bigl(\mathbf r(\lambda)\bigr) + \text{constant}.

Consequently,

Δq0=Δλ+σlandingσlaunch.\boxed{ \Delta q^0 = \Delta\lambda + \sigma_{\mathrm{landing}} - \sigma_{\mathrm{launch}} }.

For a complete crossing, the displayed landing time is shifted by one hour in addition to the physical flight time. The tensor geodesic handles this automatically; treating q0q^0 as Newtonian absolute time would not.

3. Newton-Cartan theory using a regulator metric

The preceding derivation solved directly for the independent Newton–Cartan connection. We can instead use a regulator metric to parametrize that connection, making the calculation look much closer to the GR calculation below.

The fixed clock and spatial geometry determine the form of the ansatz:

dsC2=[C2+2Ψ(r)]ϑ2+δijdxidxj,ϑ=dq0dσ.\boxed{ \mathrm ds_C^2 = -\left[ C^2+2\Psi(r) \right]\vartheta^2 + \delta_{ij}\,\mathrm dx^i\mathrm dx^j }, \qquad \vartheta=\mathrm dq^0-\mathrm d\sigma.

The radial function Ψ(r)\Psi(r) is unknown. The terms proportional to C2C^2 and δij\delta_{ij} are not dynamical: they package the prescribed Newton–Cartan clock, spatial metric, and coordinate gauge.

Define

H(r)=C2+2Ψ(r).H(r)=C^2+2\Psi(r).

In the coordinate basis (dq0,dxi)(\mathrm dq^0,\mathrm dx^i), the regulator components are

g00(C)=H,g0i(C)=Hσi,gij(C)=δijHσiσj.g^{(C)}_{00}=-H, \qquad g^{(C)}_{0i}=H\sigma_i, \qquad g^{(C)}_{ij} = \delta_{ij}-H\sigma_i\sigma_j.

Their inverse is

g(C)00=σ21H,g(C)0i=σi,g(C)ij=δij.g_{(C)}^{00} = |\boldsymbol{\nabla}\sigma|^2-\frac{1}{H}, \qquad g_{(C)}^{0i}=\sigma_i, \qquad g_{(C)}^{ij}=\delta^{ij}.

Thus the leading large-CC inverse metric is precisely the fixed degenerate spatial metric:

limCg(C)μν=hμν.\lim_{C\to\infty}g_{(C)}^{\mu\nu} = h^{\mu\nu}.

Let

pi=iΨ,P=σipi.p_i=\partial_i\Psi, \qquad P=\sigma_i p^i.

Substitution into the Levi-Civita formula gives

Γμνi[g(C)]=piτμτν,\Gamma^i_{\mu\nu}[g^{(C)}] = p^i\tau_\mu\tau_\nu,

and

Γμν0[g(C)]=Pτμτνδμiδνjσij+O(C2).\Gamma^0_{\mu\nu}[g^{(C)}] = P\tau_\mu\tau_\nu - \delta_\mu^i\delta_\nu^j\sigma_{ij} + O(C^{-2}).

Therefore

limCΓμνλ[g(C)]\lim_{C\to\infty} \Gamma^\lambda_{\mu\nu}[g^{(C)}]

has exactly the compatible Trautman form found in the direct connection calculation, with Φ\Phi replaced by the still-unknown Ψ\Psi.

We now compute the finite-CC Ricci tensor strictly in the coordinate basis (dq0,dxi)(\mathrm dq^0,\mathrm dx^i). Define

K=δijijΨδijpipjH,K = \delta^{ij}\partial_i\partial_j\Psi - \frac{\delta^{ij}p_i p_j}{H},
Qij=ijΨH+pipjH2.Q_{ij} = -\frac{\partial_i\partial_j\Psi}{H} + \frac{p_i p_j}{H^2}.

Direct substitution of the coordinate-basis Christoffel symbols into the Ricci formula gives

R00[g(C)]=K,\boxed{ R_{00}[g^{(C)}]=K },
R0i[g(C)]=σiK,\boxed{ R_{0i}[g^{(C)}]=-\sigma_iK },
Rij[g(C)]=σiσjK+Qij.\boxed{ R_{ij}[g^{(C)}] = \sigma_i\sigma_jK+Q_{ij} }.

Terms containing σij\sigma_{ij} occur throughout the connection and its derivatives, but cancel in these curvature components. The remaining σi\sigma_i factors are required by the non-adapted coordinate basis and must be retained.

As CC\to\infty,

KδijijΨ,Qij0.K\longrightarrow \delta^{ij}\partial_i\partial_j\Psi, \qquad Q_{ij}\longrightarrow0.

Consequently, the limiting coordinate components are

limCR00=δijijΨ,\lim_{C\to\infty}R_{00} = \delta^{ij}\partial_i\partial_j\Psi,
limCR0i=σiδjkjkΨ,\lim_{C\to\infty}R_{0i} = -\sigma_i \delta^{jk}\partial_j\partial_k\Psi,
limCRij=σiσjδklklΨ.\lim_{C\to\infty}R_{ij} = \sigma_i\sigma_j \delta^{kl}\partial_k\partial_l\Psi.

Using τμ=(1,σi)\tau_\mu=(1,-\sigma_i), these component equations combine as

limCRμν[g(C)]=(δijijΨ)τμτν.\lim_{C\to\infty} R_{\mu\nu}[g^{(C)}] = \left( \delta^{ij}\partial_i\partial_j\Psi \right) \tau_\mu\tau_\nu.

Now impose the Newton–Cartan field equation on the limiting connection:

limCRμν[g(C)]=4πGρτμτν.\lim_{C\to\infty} R_{\mu\nu}[g^{(C)}] = 4\pi G\rho\,\tau_\mu\tau_\nu.

It determines the unknown metric function:

δijijΨ=4πGρ.\delta^{ij}\partial_i\partial_j\Psi = 4\pi G\rho.

For a spherical source this is

1r2ddr(r2dΨdr)=4πGρ(r).\frac{1}{r^2} \frac{\mathrm d}{\mathrm dr} \left( r^2\frac{\mathrm d\Psi}{\mathrm dr} \right) = 4\pi G\rho(r).

In the exterior,

Ψ(r)=A+Br.\Psi(r)=A+\frac{B}{r}.

Asymptotic flatness sets A=0A=0, and matching the total mass fixes B=GMB=-GM. Hence

Ψ(r)=GMr.\boxed{ \Psi(r)=-\frac{GM}{r} }.

The solved regulator metric is therefore

dsC2=(C22GMr)(dq0dσ)2+δijdxidxj.\mathrm ds_C^2 = -\left( C^2-\frac{2GM}{r} \right) \left( \mathrm dq^0-\mathrm d\sigma \right)^2 + \delta_{ij}\,\mathrm dx^i\mathrm dx^j.

Its limiting geodesic equation gives

r¨=GMr3r,q˙0σix˙i=1,\ddot{\mathbf r} = -\frac{GM}{r^3}\mathbf r, \qquad \dot q^0-\sigma_i\dot x^i=1,

and hence the same directly computed timestamp relation,

Δq0=Δλ+σlandingσlaunch.\Delta q^0 = \Delta\lambda + \sigma_{\mathrm{landing}} - \sigma_{\mathrm{launch}}.

The regulator has made the NC calculation structurally parallel to GR: choose a metric ansatz, compute its curvature, and solve for its unknown function. The logical distinction remains that the finite-CC metric is auxiliary. We imposed the Newton–Cartan equation only after taking CC\to\infty; imposing Einstein’s equation on the finite-CC metric would define a different theory.

4. General relativity in the same local-time chart

GR has no prescribed absolute clock. Nevertheless, we can use exactly the same chart and synchronization one-form ϑ\vartheta as coordinate gauge data. Spherical symmetry is physical input, while the following component form fixes the remaining coordinate freedom:

ds2=A(r)c2ϑ2+[δij+(B(r)1)ninj]dxidxj,ni=xir.\mathrm ds^2 = -A(r)c^2\vartheta^2 + \left[ \delta_{ij} + \bigl(B(r)-1\bigr)n_i n_j \right] \mathrm dx^i\mathrm dx^j, \qquad n_i=\frac{x_i}{r}.

The coefficient of the tangential spatial metric is one, so rr is the areal radius. The unknown functions are A(r)A(r) and B(r)B(r). The timezone function σ(x)\sigma(x) is prescribed coordinate gauge, not another gravitational unknown.

Expanding the ansatz entirely in the coordinate basis gives

g00=Ac2,g0i=Ac2σi,g_{00}=-A c^2, \qquad g_{0i}=A c^2\sigma_i,
gij=δij+(B1)ninjAc2σiσj.g_{ij} = \delta_{ij} + \bigl(B-1\bigr)n_i n_j - A c^2\sigma_i\sigma_j.

Outside the Earth,

Tμν=0,Gμν[g]=0.T_{\mu\nu}=0, \qquad G_{\mu\nu}[g]=0.

Define the following radial expressions:

E0=1r2ddr[r(11B)],\mathcal E_0 = \frac{1}{r^2} \frac{\mathrm d}{\mathrm dr} \left[ r\left( 1-\frac{1}{B} \right) \right],
Er=11/Br2+AABr,\mathcal E_r = -\frac{1-1/B}{r^2} + \frac{A'}{ABr},
E=1B[A2A(A)24A2AB4AB+A2ArB2Br].\mathcal E_\perp = \frac{1}{B} \left[ \frac{A''}{2A} - \frac{(A')^2}{4A^2} - \frac{A'B'}{4AB} + \frac{A'}{2Ar} - \frac{B'}{2Br} \right].

Calculating the Einstein tensor directly from the coordinate components gives

G00=Ac2E0,\boxed{ G_{00}=A c^2\mathcal E_0 },
G0i=Ac2σiE0,\boxed{ G_{0i}=-A c^2\sigma_i\mathcal E_0 },
Gij=Ac2σiσjE0+BErninj+E(δijninj).\boxed{ G_{ij} = A c^2\sigma_i\sigma_j\mathcal E_0 + B\mathcal E_r n_i n_j + \mathcal E_\perp \left( \delta_{ij}-n_i n_j \right) }.

Terms containing σij\sigma_{ij} appear at intermediate stages but cancel from the Einstein tensor. The remaining σi\sigma_i factors explicitly show how the tensor equation is represented in the local-time coordinates.

The 00 equation gives E0=0\mathcal E_0=0, and radial projection of the ijij equation gives Er=0\mathcal E_r=0. The tangential equation E=0\mathcal E_\perp=0 then follows from these two equations and the contracted Bianchi identity. The two independent equations are therefore

ddr[r(11B)]=0,AA=B1r.\frac{\mathrm d}{\mathrm dr} \left[ r\left( 1-\frac{1}{B} \right) \right] =0, \qquad \frac{A'}{A} = \frac{B-1}{r}.

Their solution is

B(r)=11rs/r,A(r)=K(1rsr).B(r)=\frac{1}{1-r_s/r}, \qquad A(r)=K\left(1-\frac{r_s}{r}\right).

Asymptotic normalization of the clock rate gives K=1K=1, and matching the mass measured at infinity gives

rs=2GMc2.r_s=\frac{2GM}{c^2}.

Thus the exact exterior solution, obtained directly in the local-time chart, is

ds2=F(r)c2(dq0dσ)2+[δij+(1F(r)1)ninj]dxidxj,\boxed{ \mathrm ds^2 = -F(r)c^2 \left( \mathrm dq^0-\mathrm d\sigma \right)^2 + \left[ \delta_{ij} + \left( \frac{1}{F(r)}-1 \right) n_i n_j \right] \mathrm dx^i\mathrm dx^j },

where

F(r)=12GMc2r.F(r)=1-\frac{2GM}{c^2r}.

No Newton–Cartan clock field was used. The meaning of the coordinates is encoded in the metric’s component form, including its dq0dxi\mathrm dq^0\,\mathrm dx^i cross terms.

Projectile geodesic and its timestamps

Let τp\tau_p be the projectile’s proper time. The metric is independent of q0q^0, so the vector /q0\partial/\partial q^0 is Killing. The conserved energy per unit projectile mass is

ε=ξμdxμdτp=F(r)c2(dq0dτpσidxidτp).\varepsilon = -\xi_\mu \frac{\mathrm dx^\mu}{\mathrm d\tau_p} = F(r)c^2 \left( \frac{\mathrm dq^0}{\mathrm d\tau_p} - \sigma_i\frac{\mathrm dx^i}{\mathrm d\tau_p} \right).

Spherical symmetry also gives a conserved angular momentum. Choose the orbital plane and write

=r2dϕdτp.\ell=r^2\frac{\mathrm d\phi}{\mathrm d\tau_p}.

The timelike normalization

gμνdxμdτpdxνdτp=c2g_{\mu\nu} \frac{\mathrm dx^\mu}{\mathrm d\tau_p} \frac{\mathrm dx^\nu}{\mathrm d\tau_p} = -c^2

then gives

(drdτp)2=ε2c2F(r)(c2+2r2).\left( \frac{\mathrm dr}{\mathrm d\tau_p} \right)^2 = \frac{\varepsilon^2}{c^2} - F(r) \left( c^2+\frac{\ell^2}{r^2} \right).

These equations were obtained from the metric and geodesic equation in the local-time chart. The displayed coordinate time evolves according to

dq0dτp=εF(r)c2+dσdτp.\frac{\mathrm dq^0}{\mathrm d\tau_p} = \frac{\varepsilon}{F(r)c^2} + \frac{\mathrm d\sigma}{\mathrm d\tau_p}.

Therefore

Δq0=launchlandingεF(r)c2dτp+σlandingσlaunch.\boxed{ \Delta q^0 = \int_{\mathrm{launch}}^{\mathrm{landing}} \frac{\varepsilon}{F(r)c^2}\, \mathrm d\tau_p + \sigma_{\mathrm{landing}} - \sigma_{\mathrm{launch}} }.

The first term is the static Schwarzschild coordinate-time lapse associated with the Killing field ξ=/q0\xi=\partial/\partial q^0; its relation to τp\tau_p encodes both gravitational and velocity time dilation. The second term is the one-hour timezone offset.

5. Common direct-coordinate pipeline

StageNC: direct connectionNC: regulator metricGeneral relativity
Supplied chart(q0,x,y,z)(q^0,x,y,z) with offset σ(x)\sigma(x)The same chartThe same chart
Physical sourceρ(r)\rho(r) and total mass MMThe same sourceSpherical body with mass MM; vacuum exterior
Fixed geometric dataτ\tau and hμνh^{\mu\nu}Packaged in the leading terms of gμν(C)g^{(C)}_{\mu\nu}None
Coordinate gaugeComponents of τ,hμν\tau,h^{\mu\nu}ϑ=dq0dσ\vartheta=\mathrm dq^0-\mathrm d\sigma in the ansatzThe same ϑ\vartheta in the physical metric ansatz
UnknownΓμνλ\Gamma^\lambda_{\mu\nu}Ψ(r)\Psi(r) in an auxiliary metricA(r),B(r)A(r),B(r) in the physical metric
Field equationNC Ricci equation plus compatibility and TrautmanNC Ricci equation for limCΓ[g(C)]\lim_{C\to\infty}\Gamma[g^{(C)}]Vacuum Einstein equation
ResultFull NC connectionThe same connectionExact Schwarzschild metric and connection
MotionAffine geodesicThe same affine geodesicProper-time geodesic

In neither theory was an equation of motion written in adapted coordinates and transformed afterwards. The source, coordinate gauge, tensor field equation, connection, and geodesic were all handled in the local-time chart. The difference is that NC supplies τ\tau and the spatial metric as fixed physical structures and solves for the connection, whereas GR has no absolute clock and solves for the spacetime metric itself.

Selecting the dynamics from physical assumptions

Homogeneity, isotropy, and the relativity principle strongly constrain kinematics. Under the usual mild assumptions, the two physical possibilities are Galilean kinematics and Poincaré kinematics. These lead respectively to the degenerate Newtonian metric structure (τμ,hμν)(\tau_\mu,h^{\mu\nu}) and the non-degenerate Lorentzian metric gμνg_{\mu\nu}.

Symmetry alone, however, does not select a unique field equation. Infinitely many Galilean-invariant or Lorentz-invariant equations can be written. To obtain the classical Newton–Cartan and Einstein equations, one must supplement kinematics with assumptions about locality, field content, derivative order, and coupling to matter.

1. Common dynamical assumptions

The following assumptions can be imposed in both kinematic branches:

  1. Universal free fall: all freely falling matter follows one gravitational connection, independently of its composition.

  2. Universal sourcing: gravity couples to the conserved charge associated with the kinematics: mass density in Galilean spacetime and stress-energy in Lorentzian spacetime.

  3. Local covariance: the equations are local and are written entirely in terms of the appropriate geometric structures and matter fields.

  4. Minimal gravitational field content: no additional scalar, vector, or tensor gravitational fields are introduced.

  5. Second-order equations: the field equations contain no more than two derivatives of the gravitational variables.

  6. No additional gravitational scale: higher-derivative corrections and finite-range mass terms are excluded.

  7. Asymptotically flat vacuum: the gravitational field approaches the appropriate flat geometry far from isolated sources.

  8. Empirical normalization: inverse-square and free-fall experiments determine the sign and strength GG of the interaction.

These are simplicity and empirical assumptions, not consequences of spacetime symmetry alone.

2. Galilean kinematics selects Newton-Cartan dynamics

Universal free fall in Galilean spacetime is represented by an instantaneous gravitational potential Φ\Phi entering the connection as

Γ00i=iΦ.\Gamma^i_{00}=\partial^i\Phi.

The equality of inertial, passive gravitational, and active gravitational mass implies that the same mass density ρ\rho which is conserved by matter dynamics also sources Φ\Phi and responds to it.

Now require:

These assumptions determine the field equation directly, without an action principle. Locality and linear superposition require a linear spatial differential operator D\mathcal{D} such that

DΦ=ρ.\mathcal{D}\Phi=\rho.

Spatial homogeneity makes the coefficients of D\mathcal{D} constant. Isotropy excludes a term with one spatial derivative, invariance under ΦΦ+f(t)\Phi\mapsto\Phi+f(t) excludes a zeroth-order term, and the second-order assumption leaves only

D=A2.\mathcal{D}=A\nabla^2.

The inverse-square force law fixes the normalization A=1/(4πG)A=1/(4\pi G), giving

2Φ=4πGρ.\nabla^2\Phi=4\pi G\rho.

Since Γ00i=iΦ\Gamma^i_{00}=\partial^i\Phi, this is the adapted-coordinate form of

Rμν=4πGρτμτν.R_{\mu\nu} = 4\pi G\rho\,\tau_\mu\tau_\nu.

Thus the classical Newton–Cartan field equation is the unique minimal local, linear, second-order equation for an instantaneous universally coupled gravitational potential. Asymptotic flatness removes an otherwise allowed source-independent constant term.

Why the ordinary potential action is not an intrinsic Type-I action

In adapted inertial coordinates one may write the familiar Newtonian potential action

S[Φ]=dtd3x[18πGδijiΦjΦρΦ].S[\Phi] = \int\mathrm{d}t\,\mathrm{d}^3x \left[ -\frac{1}{8\pi G} \delta^{ij}\partial_i\Phi\,\partial_j\Phi - \rho\Phi \right].

Varying Φ\Phi correctly produces

2Φ=4πGρ.\nabla^2\Phi=4\pi G\rho.

This action is useful, but it is not the Newton–Cartan analogue of the Einstein–Hilbert action. It presupposes the absolute clock dt\mathrm{d}t, the Euclidean spatial metric δij\delta^{ij}, the spatial volume element, and an adapted inertial splitting. Only Φ\Phi is varied. Consequently, the action does not derive:

One can dress the potential action in generally covariant notation by inserting fixed background tensors and their volume density. That makes coordinate covariance manifest, but it does not make the action background-independent or turn it into an intrinsic variational principle for (τμ,hμν,Γμνλ)(\tau_\mu,h^{\mu\nu},\Gamma^\lambda_{\mu\nu}).

In the standard minimal Type-I formulation, there is no comparably simple local, diffeomorphism-invariant and locally Galilean-invariant action, using only the Type-I geometric variables with the standard mass-current coupling, whose Euler–Lagrange equations reproduce the complete theory while maintaining dτ=0\mathrm{d}\tau=0. Action formulations generally introduce additional gauge fields, observer or Stückelberg data, Lagrange multipliers, a higher-dimensional Bargmann construction, or the extra fields of Type-II Newton–Cartan geometry.

There is therefore no contradiction between using S[Φ]S[\Phi] to compute Poisson’s equation in a fixed Newtonian frame and saying that pure Type-I Newton–Cartan gravity lacks an intrinsic geometric action of the Einstein–Hilbert kind. The NC uniqueness argument above is an equation-level argument, not an action-level one.

3. Poincare kinematics selects Einstein dynamics

Universal free fall in Lorentzian spacetime identifies the gravitational field with the metric gμνg_{\mu\nu}. Matter couples universally to this metric, and its conserved source is the stress-energy tensor TμνT_{\mu\nu}.

Require a local diffeomorphism-invariant action constructed only from gμνg_{\mu\nu} and producing second-order metric equations. In four dimensions, Lovelock’s theorem implies that, up to boundary and topological terms, the only such gravitational action is

SGR=c316πGd4xg(R2Λ)+Smatter[g,ψ].S_{\mathrm{GR}} = \frac{c^3}{16\pi G} \int\mathrm{d}^4x\,\sqrt{-g}\,(R-2\Lambda) + S_{\mathrm{matter}}[g,\psi].

Varying gμνg_{\mu\nu} gives

Gμν+Λgμν=8πGc4Tμν.G_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4}T_{\mu\nu}.

The contracted Bianchi identity,

μGμν=0,\nabla^\mu G_{\mu\nu}=0,

is consistent with the matter conservation law

μTμν=0.\nabla^\mu T_{\mu\nu}=0.

Asymptotic flatness sets Λ=0\Lambda=0, and the Newtonian weak-field limit fixes the coefficient 8πG/c48\pi G/c^4. The result is Einstein’s equation in its simplest classical form.

There is also a complementary particle-physics derivation. Poincaré symmetry, locality, unitarity, and a single massless spin-2 field first give the linear Fierz–Pauli theory. Decoupling its unphysical polarizations requires a gauge symmetry. Requiring that the spin-2 field couple universally to stress-energy, including its own stress-energy, then iterates the linear theory into the nonlinear Einstein theory at two-derivative order.

4. Unified result

KinematicsMinimal gravitational variableConserved sourceMinimal field equation
GalileanCompatible Newton–Cartan connection Γμνλ\Gamma^\lambda_{\mu\nu}Mass density ρ\rhoRμν=4πGρτμτνR_{\mu\nu}=4\pi G\rho\,\tau_\mu\tau_\nu
PoincaréMassless spin-2 Lorentzian metric gμνg_{\mu\nu}Stress-energy TμνT_{\mu\nu}Gμν=8πGTμν/c4G_{\mu\nu}=8\pi G T_{\mu\nu}/c^4

The parallelism is at the level of kinematics, sources, covariance, and field equations—not at the level of intrinsic action principles. The NC equation is selected directly by its local linear differential structure, whereas the GR equation can additionally be selected by varying a local action for the complete dynamical geometry.

The two classical theories therefore follow from the same general architecture:

kinematic symmetry+universal coupling+locality+minimal field content+second-order dynamics.\text{kinematic symmetry} + \text{universal coupling} + \text{locality} + \text{minimal field content} + \text{second-order dynamics}.

Relaxing these assumptions produces systematic extensions. Higher spatial derivatives, nonlinear potential terms, or propagating fields extend Newton–Cartan gravity; higher-curvature terms, additional fields, or extra dimensions extend GR. In effective-field-theory language, the classical NC and GR equations are the unique leading, lowest-derivative dynamics for their respective kinematic structures, while post-Newtonian and post-GR effects arise from controlled corrections.