The original spherical coordinates have $t\in \mathbb{R}$, $0\le r<\infty$, $0\le \theta \le \pi$ and $0\le \varphi <2\pi$, with $\varphi$ periodic. The angular coordinates degenerate at the polar axis and all angles identify at $r=0$; a regular spherical chart uses $r>0$, $0<\theta <\pi$ and suitable overlapping angular patches.

The retarded time $u=t-r$ and advanced coordinate $v=t+r$ both range over $\mathbb{R}$, with the joint restriction $u\le v$. Their inverse relations are $t=(u+v)/2$ and $r=(v-u)/2$, soSet $p=\arctan u$, $q=\arctan v$. ThenThe conformal factor is $\Omega =2\cos p\cos q>0$. Since $(\tan q-\tan p)\cos p\cos q=\sin (q-p)$, multiplication by ${\Omega }^2$ givesFinally $T=p+q$ and $R=q-p$ give $4dpdq=d{T}^2-d{R}^2$. HenceThis is a region of the Einstein static universe, with positive time and negative spatial signature. The exact joint coordinate domain isor equivalently $R\ge 0$ and $|T|+R<\pi$. The regular radial chart has $R>0$; $R=0$ is the ordinary centre. The angular ranges are unchanged. It is important not to treat the stated individual ranges of $T,R$ as independent. The inverse map and conformal factor provide a useful check:

The resulting Minkowski conformal compactification has a triangular radial Penrose diagram. The two sloping boundary edges areThese are future null infinity and past null infinity. The three vertices are future timelike infinity $i^{+}=(\pi ,0)$, past timelike infinity $i^{-}=(-\pi ,0)$ and spacelike infinity $i^0=(0,\pi )$. They are ideal boundary points, not events of physical Minkowski spacetime.

For a complete inertial timelike geodesic, $\mathbf{x}=\mathbf{b}+\mathbf{v}t$ with $|\mathbf{v}|<1$. As $t\to +\infty$, both $t-r$ and $t+r$ tend to $+\infty$, so $p,q\to \pi /2$ and the curve ends at $i^{+}$. As $t\to -\infty$, both tend to $-\infty$, giving $i^{-}$. These endpoints occur at infinite physical proper time.

For a complete null geodesic, write $\mathbf{x}=\mathbf{b}+\mathbf{n}t$, $|\mathbf{n}|=1$. To the future, $r=t+\mathbf{n}\cdot \mathbf{b}+O(1/t)$, so $u\to -\mathbf{n}\cdot \mathbf{b}$ is finite and $v\to +\infty$. Thus $q\to \pi /2$ with $p$ finite: the endpoint lies on ${\mathcal{I}}^{+}$. To the past, $v\to -\mathbf{n}\cdot \mathbf{b}$ remains finite while $u\to -\infty$, giving ${\mathcal{I}}^{-}$. Physical affine parameter is infinite at both ends. Along a radial null path, $dT=\pm dR$, so the diagram represents its null directions at $45$ degrees.

For a complete spacelike geodesic, take $t=t_0+a\lambda$, $\mathbf{x}=\mathbf{b}+\mathbf{w}\lambda$ with $|\mathbf{w}|>|a|$. At either end $r>|t|$ asymptotically, so $u\to -\infty$, $v\to +\infty$ and $(T,R)\to (0,\pi )$. Both ends therefore reach $i^0$, again at infinite physical affine parameter. These are the geodesic endpoints in Minkowski conformal compactification.

Only conformal preservation of null geodesic paths is guaranteed. The pictured timelike and spacelike curves are images of physical geodesics, not generally geodesics of the unphysical metric. For a null path, an unphysical affine parameter satisfies $d\tilde{\lambda }/d\lambda \propto {\Omega }^2$. Since $\Omega =O(1/|\lambda |)$ near a generic null-infinity endpoint, the unphysical parameter can converge while the physical parameter diverges. At $i^{\pm }$ and $i^0$, the usual smooth-boundary condition $d\Omega \ne 0$ degenerates; these vertices should not be treated as regular points of null infinity.

Complete Minkowski spacetime has no black-hole event horizon. Every physical event can send an outgoing null signal to ${\mathcal{I}}^{+}$, so the black-hole region $\mathcal{M}\setminus J^{-}({\mathcal{I}}^{+})$ is empty. There is likewise no particle or future event horizon for an eternal inertial observer: any finite event can eventually signal that observer. Null infinity is a conformal boundary, not a physical horizon. Uniformly accelerated observers can have Rindler horizons, but that is an observer-dependent restriction and is not a horizon of the full inertial Minkowski spacetime.

Let ${\gamma }_{\alpha \beta }={\delta }_{\alpha \beta }$ be the positive Euclidean spatial background metric. Write a tensor-sector metric perturbation as $h_{00}=h_{0\alpha }=0$, $h_{\alpha \beta }=-2E_{\alpha \beta }$, with ${\gamma }^{\alpha \beta }{E}_{\alpha \beta }=0$ and ${\partial }^{\alpha }{E}_{\alpha \beta }=0$. Spatial indices here are raised with $\gamma$, and $\square ={\partial }_t^2-\Delta$.

Substitute the linearized Levi-Civita connection into the cover's curvature definition. To first order,In the transverse-traceless tensor sector $h=0$ and ${\partial }^c{h}_{ac}=0$, so $\delta C=0$ andThe tensor part of the Linearized Einstein equations therefore givesIn a calculation strictly confined to the tensor sector, the source on this equation means its tensor projection; it is already trace-free there.

For a generic compact source, trace-free is not the same as transverse-traceless. For example, the static compactly supported spatial stress $T^{ij}={\partial }^i{\partial }^j\chi -{\gamma }^{ij}\Delta \chi$, with smooth compactly supported $\chi$, is divergence-free, but its trace-free part has divergence $2{\partial }^j\Delta \chi /3$, generally nonzero. There is a precise way to reproduce the unprojected trace-free formula used in the question while retaining this distinction. In Lorenz gauge in linearized gravity, the trace-reversed metric perturbation ${\bar{h}}_{ab}=h_{ab}-{\eta }_{ab}h/2$ obeysDefine its spatial trace-free half-strain byThen its wave equation has exactly the displayed trace-free source $\delta {\hat{T}}^{\alpha \beta }=\delta T^{\alpha \beta }-{\gamma }^{\alpha \beta }\delta T^{\mu }{}_{\mu ,\mathrm{spatial}}/3$. The physical tensor radiation is obtained afterwards with the transverse-traceless projector. Without that projection, this $E$ is a Lorenz-gauge trace-free coefficient, not necessarily a transverse tensor mode. At leading far-zone order, the same directional projector is applied to both sides of the quadrupole field formula below.

The flat contracted Bianchi identity implies stress-energy conservation, ${\partial }_b\delta T^{ab}=0$. LetCompact support removes boundary terms. Differentiate and integrate by parts once:A second time derivative, another integration by parts and symmetry of the stress-energy tensor giveTake the spatial trace-free part. The mass quadrupole moment satisfies the stress-energy quadrupole identityInserting this into the assumed leading retarded quadrupole field givesThis is the requested spatial half-strain convention; the measured transverse-traceless strain is $H_{\alpha \beta }^{\mathrm{TT}}=2E_{\alpha \beta }^{\mathrm{TT}}$. The formula selects the retarded source field and does not include an independently added homogeneous gravitational wave. Dropping the source-dependent part of retardation also needs the long-wavelength source approximation, besides $R/r\ll 1$.

For a slowly moving weakly self-gravitating source, the virial theorem or the dynamical balance $v^2/R\sim GM/R^2$ gives $v^2\sim ϵ=GM/R$. A varying nonspherical mass quadrupole moment has characteristic size $M{R}^2$ and dynamical time $\tau \sim R/v$, so $\ddot{Q}\sim M{R}^2/{\tau }^2\sim M{v}^2$. Consequently the quadrupole strain scaling of a weak self-gravitating source isThis is a characteristic scale, not a nonzero lower bound: a stationary or exactly spherical source does not radiate. Slow motion gives $R/\tau \sim \sqrt{ϵ}\ll 1$, justifying the long-wavelength approximation; for a radiation-zone strain one also takes $r\gg \tau$.

The strong equivalence principle asserts universality of free fall, including gravitational self-energy, and local independence of nongravitational and gravitational experiments from a freely falling laboratory's location and velocity. In a sufficiently small local inertial frame, uniform gravitational acceleration is removed and local physics takes its special-relativistic form. The Riemann curvature tensor remains measurable through tidal effects; a finite laboratory is not made exactly flat. Freely falling test bodies follow geodesics, clocks measure proper time, and minimally coupled light follows null geodesics in geometrical optics. Local nongravitational laws retain their special-relativistic form even when different laboratories observe gravitational redshift.

The comma-to-semicolon prescription replaces flat partial derivatives by the Levi-Civita connection, and the Minkowski metric by the curved metric tensor. It implements this local correspondence for minimally coupled matter. However, an identity obtained by commuting partial derivatives need not survive unchanged when they become covariant derivatives.

Raising the indices of the field-strength definition in flat spacetime gives $F^{ab}={\partial }^a{A}^b-{\partial }^b{A}^a$. Substitution into the sourced Maxwell equations yieldsso the first potential equation isPartial derivatives commute, giving the second formNo Lorenz gauge assumption was used.

Apply the comma-to-semicolon prescription before commuting derivatives. The two candidate left-hand sides becomeUse the cover curvature $C$ from Question 1, with $C_{ab}=C^c{}_{acb}$. The vector commutator is $[{\nabla }_c,{\nabla }_d]A^a=-C^a{}_{bcd}{A}^b$. HenceThis is the derivative-order ambiguity in covariant Maxwell potential equations. At a point in Riemann normal coordinates, the connection itself vanishes but its derivatives need not; the strong equivalence principle does not dispose of this curvature term by a coordinate choice.

Covariantizing the antisymmetric field strength and its Maxwell equations directly gives ${\mathcal{P}}_1^a={\mu }_0{J}^a$, orThis formulation has gauge invariance under $A_a\mapsto A_a+{\nabla }_a\chi$, since $F_{ab}$ is unchanged. In contrast, the uncorrected ${\mathcal{P}}_2$ acquires $-C^a{}_b{\nabla }^b\chi$ under that transformation. Thus preserving the original electromagnetic gauge symmetry singles out the directly covariantized Maxwell equations, rather than treating the two potential equations as interchangeable in matter. The equivalence principle alone is not a unique recipe for every possible higher-derivative or curvature coupling.

In a Ricci-flat vacuum spacetime, $C_{ab}=0$, so ${\mathcal{P}}_1={\mathcal{P}}_2$ and this particular ambiguity disappears even though the full Riemann curvature tensor may be nonzero. This uses vacuum with zero cosmological constant; an Einstein vacuum with nonzero cosmological constant is not Ricci flat.

For the terrestrial estimate, the relevant effect is Ricci curvature inside matter, not merely the tidal field outside the Earth. If a typical material density is $\rho \sim 5\mathrm{g}\mathrm{c}{\mathrm{m}}^{-3}$, the Einstein field equations give a characteristic scaleFor a field varying over scale $L$, the derivative terms are $O(A/L^2)$ whereas the disputed term is $O(CA)$. Their relative size is $O(C{L}^2)$: about $10^{-22}$ for a metre-scale experiment. Even substituting the Earth's radius gives onlyA curvature length comparable to $C^{-1/2}\sim 10^{13}\mathrm{cm}$ would be needed for an order-one effect. In principle non-vacuum measurements could distinguish different curvature couplings, but an ordinary terrestrial laboratory has an exceedingly small signal, overwhelmed by its ordinary electromagnetic response to matter. This is a practical scale estimate, not a theorem that an arbitrarily precise experiment is impossible.

Work on a regular level surface, so $d\beta \ne 0$. A nonzero normal covector has the local form $n_a=f{\nabla }_a\beta$. Extend it as a normal to neighbouring level surfaces. Since the Levi-Civita connection is torsion-free,Antisymmetrizing the product with $n_c=f{\beta }_{;c}$ over three indices kills the symmetric second-derivative term and the term containing two copies of $d\beta$. HenceEquivalently $n\wedge dn=0$, the Frobenius theorem condition for hypersurface orthogonality.

For the second covariant derivative of a Killing vector, the curvature sign needs explicit care. Denote the curvature defined on the cover by $C^a{}_{bcd}$, and obtain its other index positions by ordinary raising and lowering with the metric tensor. With $D_{abc}=k_{a;bc}$, the Killing equation gives $D_{abc}=-D_{bac}$, while the supplied Ricci identity givesSuccessive use of these two facts givesSubstitute $D_{acb}=D_{abc}-C_a{}^d{}_{bc}{k}_d$. The curvature symmetries and first Bianchi identity then implyThus the identity consistent with the cover convention isThe plus-sign version is valid for the opposite curvature tensor $\tilde{R}=-C$. With ordinary metric index raising, the printed plus sign and the cover's curvature convention cannot both be used. This is the curvature-sign convention in Killing derivative identities, not a failure of the Killing equation.

An explicit sign check uses $d{s}^2=e^{2x}d{t}^2-d{x}^2-d{y}^2-d{z}^2$ and the timelike Killing vector $k={\partial }_t$. Here $k_t=e^{2x}$, ${\Gamma }^t{}_{tx}=1$ and ${\Gamma }^x{}_{tt}=e^{2x}$. Direct differentiation gives $k_{t;xx}=e^{2x}$, whereas the cover definition gives $C^t{}_{xxt}=-1$ and $C_{txx}{}^d{k}_d=-e^{2x}$. This also verifies the corrected sign without relying on a remembered curvature convention.

To prove the static Killing field is a Ricci eigenvector, use the permitted alternative of adapted coordinates. Hypersurface orthogonality supplies hypersurfaces orthogonal to $k$. Choose spatial coordinates on one such hypersurface and carry them along the flow of the Killing vector, using its flow parameter as $t$. The flow preserves both the metric tensor and $k$, so it preserves orthogonality to $k$. Consequently the mixed metric components vanish, and the Killing equation makes all coefficients independent of $t$:The only nonzero Christoffel symbols involving time can bein particular ${\Gamma }^0{}_{ij}={\Gamma }^i{}_{0j}={\Gamma }^0{}_{00}=0$. In $C_{0i}$, the derivative of the connection trace vanishes because ${\Gamma }^a{}_{0a}=0$; the other derivative is either a time derivative of a static coefficient or a derivative of ${\Gamma }^j{}_{0i}=0$. Every connection-product term contains a vanishing coefficient of these same types. Thus $C_{0i}=0$. The one-form $C_{ab}{k}^b=C_{a0}$ has only a time component, and is proportional to $k_a$. ThereforeChanging the overall curvature sign leaves this zero identity unchanged.

Finally a perfect fluid in signature $(+---)$ has $T_{ab}=(\rho +p)u_a{u}_b-p{g}_{ab}$ and $u^a{u}_a=1$. Contract the Einstein field equations with $k^b$, and antisymmetrize with $k_a$. Terms proportional to $g_{ab}$ disappear, as does the Ricci term just proved. This leavesTwo nonzero timelike vectors cannot be orthogonal: in the fluid's rest local inertial frame, $k\cdot u=k^0\ne 0$. The hypothesis $\rho +p>0$ therefore forces $u_{[a}{k}_{b]}=0$. Choosing $k$ future-directed gives the normalized perfect-fluid alignment in a static spacetime resultThe enthalpy hypothesis matters: when $\rho +p=0$, the stress-energy tensor is proportional to the metric tensor and does not select a velocity.