Codex @codex  0

Use metric signature $-+++$ and transverse-traceless gauge, $g_{ij}={\delta }_{ij}+h_{ij}^{\mathrm{TT}}$. To resolve the source's origin ambiguity, put the detector centre at $z=0$ and the source centre at $z=-r_0$, so the gravitational wave travels in the positive $z$ direction. Reversing that direction replaces $z$ by $-z$. Work in the weak-field approximation, with $\omega l\ll c$, $r_0\gg l,c/\omega$, and detector size $a\ll c/\omega ,r_0$. The radiation reaction is neglected, so the rod maintains the prescribed steady motion.

At the retarded source time $u=t-(r_0+z)/c$, take the source positions as ${\mathbf{x}}_{\pm }=\pm l(\cos (\omega u+\beta ),\sin (\omega u+\beta ),0)$. The arbitrary constant $\beta$ specifies the initial source phase. The second mass moment tensor $I_{ij}={\sum }_{A}M{x}_{Ai}{x}_{Aj}$ obeysThe quadrupole formula $h_{ij}^{\mathrm{TT}}=2G{\ddot{I}}_{ij}^{\mathrm{TT}}/(c^4{r}_0)$ projects away the transverse trace, which is already constant here. Differentiating twice therefore givesAll time and longitudinal metric perturbation components vanish in transverse-traceless gauge. The gravitational-wave frequency is $2\omega$ in angular units; $M$ is each source mass, not their sum, and the detector mass $m$ does not enter the strain. The plane wave approximation holds the amplitude fixed at $r_0$; retaining spherical spreading replaces its denominator by $r_0+z$ near the axis. The retarded quadrupole formula and the distinction between source and wave frequency are derived in ^[ref].

Displacement must be specified relative to an observer. In transverse-traceless gauge the free particles can have fixed coordinates, while their measured proper lengths oscillate. In a local, freely falling orthonormal frame, the geodesic deviation equation for an initial separation $\mathbf{X}=(X,Y,0)$ is, to first order in $H$,Its general solution with physical displacement $\mathbf{\xi }(0)=0$ and initial physical velocity $\mathbf{V}$ isThe source has been running indefinitely, so there is no wave-free initial state. Its initial conditions for an eternal monochromatic gravitational wave need more than positions to fix $\mathbf{V}$. The usual bounded, periodic response selects $V_i={\dot{h}}_{ij}(0,0)X^j/2$; if the particles instead start at physical rest at $t=0$, set $V_i=0$ and retain the linear term. Both solve the same linear geodesic deviation problem. The distinction between fixed TT coordinates and measured separation is explained in ^[ref].

Choose $\beta$ so the wave phase at the detector is $\Phi (t,0)=2\omega t$. For the bounded response the four initial placements then giveThese are displacements from the specified positions at $t=0$; positions are $\mathbf{X}+\mathbf{\xi }$. Equivalently, relative to mean positions the usual oscillatory displacement is ${\mathbf{\xi }}_{\mathrm{osc}}=h\mathbf{X}/2$ to first order. The response repeats after $\pi /\omega$.

Both plus polarization and cross polarization occur with equal amplitude and a quarter-cycle phase difference. Their superposition is circular gravitational-wave polarization, with handedness reversed when the viewing direction or source rotation is reversed. The principal stretching axis turns through half the wave phase. There is no leading longitudinal motion.

For $0<Q^2<M^2$ there are two distinct positive roots:Both roots are coordinate singularities of the static chart. In the standard extension, $r_{+}$ is the outer event horizon and $r_{-}$ is an inner Cauchy horizon. The curvature singularity is $r=0$. Between the horizons $F<0$, so the radial direction is timelike; for $0<r<r_{-}$, $F>0$ again and the central curvature singularity is timelike. These are the three radial regions of the global structure of a charged spherical black hole.^[ref]

For completeness, if $Q=0$ and $M>0$, the Schwarzschild spacetime limit has just the positive horizon $r=2M$ and a spacelike curvature singularity at $r=0$; the formal root $r_{-}=0$ of $r^{2}F$ is not a regular inner horizon. If $M=Q=0$, the metric tensor is flat and the radial origin is regular in Cartesian coordinates.

A regular hypersurface $f=0$, with $df\ne 0$, is a null hypersurface if its normal covector has zero squared norm:Its normal vector is then also tangent to the hypersurface; the induced metric tensor is degenerate.

For the Kerr metric the normal to a constant-$r$ surface has squared normFor $0<a<M$ the two roots are positive and distinct. To verify that they are genuine regular null hypersurfaces, rather than trusting singular Boyer-Lindquist coordinates, introduce ingoing Kerr coordinatesSubstitution givesThere are no ${\Delta }^{-1}$ terms. At either root $\Sigma >0$, and the determinant is $-{\Sigma }^2{\sin }^2\theta$ away from the angular coordinate poles. Thus the metric tensor extends smoothly across each root. The raised normal on either surface isThis is a nonzero null Killing vector field normal to the surface. Both surfaces are Killing horizons, with horizon angular velocities ${\Omega }_{\pm }$.

The event-horizon terminology in the paper needs qualification. In the usual asymptotically flat Kerr black hole extension, relative to a chosen exterior's future null infinity, the future branch of $r=r_{+}$ is the event horizon, the boundary $\partial J^{-}({\mathcal{I}}^{+})$. In the intervening black-hole region $\Delta <0$, the coordinate $r$ has timelike gradient and future-directed curves move toward smaller $r$; they cannot return across the outer boundary to that exterior. The inner surface $r=r_{-}$ is a Cauchy horizon, not a second event horizon for the same asymptotic end. Nullness is a local property; identifying an event horizon additionally requires this global causal structure.^[ref]

The allowed endpoint $a=0$ provides an especially concrete counterexample to the unrestricted description of both roots. The Kerr metric then becomes Schwarzschild spacetime, $r_{+}=2M$ is its regular event horizon, but $r_{-}=0$ is a curvature singularity:It is not a regular inner null hypersurface. Thus the two-horizon calculation above assumes $0<a<M$.

The phrase equivalence principle covers several related claims. The weak equivalence principle concerns the universality of free fall for test particles of negligible self-gravity, with the same initial conditions and no relevant nongravitational forces. In a Newtonian notation,Composition-independent motion requires the ratio of passive gravitational mass to inertial mass to be universal. Its common value can then be absorbed into the normalization of $\mathbf{g}$; the empirical assertion is universality, not the numerical convention used to express the ratio.

The Einstein equivalence principle includes that universality and extends the claim to local nongravitational experiments through local Lorentz invariance and local position invariance. A sufficiently small freely falling laboratory should recover the nongravitational laws of special relativity. The strong equivalence principle extends the scope to local gravitational experiments and bodies with appreciable gravitational self-energy. An experiment establishing one part of the weak statement does not automatically establish these stronger claims.

The motivating elevator comparison makes both the power and the limitation clear. Release a small object in a freely falling cabin. The cabin and object share the local free fall, so the object initially floats relative to the cabin. In a cabin supported against gravity, a released object instead accelerates relative to the floor, as it does in a suitably accelerated cabin in flat spacetime. This suggested replacing a universal gravitational force by geometric inertial motion. It does not identify a finite planetary gravitational field with an accelerated frame everywhere: separated falling objects can have a measurable relative acceleration.

In general relativity, the precise local geometric statement is that one can choose normal coordinates at an event $p$ withThis eliminates the connection contribution to the geodesic equation at that point. It does not generally set the Riemann curvature tensor to zero. In normal coordinates the first metric corrections away from $p$ are quadratic in the coordinate separation, and geodesic deviation measures the associated tidal forces. Equivalence is a local approximation for finite experiments whose extent and duration make these corrections negligible; it is not an assertion that curvature has been transformed away.^[ref]

There are direct experimental consequences beyond the elevator thought experiment. An Eötvös experiment compares bodies of different composition on a torsion balance, using a differential signal to test the universality of gravitational acceleration. MICROSCOPE performed an analogous test in orbit using electrostatic control of titanium-alloy and platinum-alloy test masses. Its first published result in 2017 constrained their differential free fall; this was already available before the examination. It tested a specific weak-equivalence prediction, not every possible gravitational law.^[ref] Comparisons of different atomic clocks can instead test local position invariance, including the expected gravitational redshift. These measurements constrain related but distinct parts of the framework.

The principle remains important as a restriction on how matter couples to gravity and as an organizing guide for experimental tests. It does not, on its own, derive the Einstein field equations. Universally coupling matter to a metric tensor still leaves choices for that metric's action; the equivalence principle does not uniquely fix field equations. For example, a metric gravitational action containing a scalar curvature squared term can retain the same minimal matter coupling while changing the gravitational dynamics. Selecting the Einstein-Hilbert action requires further dynamical assumptions and empirical success. The present role of the principle is consequently precise and limited: it supports local relativistic physics and universal matter coupling, while curvature, gravitational field equations and their quantitative predictions remain additional content.

Use $c=1$ and the mostly-plus Minkowski metric fixed in part a. The electromagnetic four-potential and its covariant form areDefine the electromagnetic field tensor by $F_{\mu \nu }={\partial }_{\mu }{A}_{\nu }-{\partial }_{\nu }{A}_{\mu }$. Since $\mathbf{E}=-\nabla \varphi -{\partial }_t\mathbf{A}$ and $\mathbf{B}=\nabla \times \mathbf{A}$,Raising both indices changes the signs of its time-space entries. The lower-index signs agree with ^[ref]; the signature and index placement must be kept consistent.

For a passive boost to a frame moving with $v\hat{\mathbf{x}}$, transform the tensor asFor example, $F^{\prime 02}=\gamma F^{02}-\gamma v{F}^{12}=\gamma (E_y-v{B}_z)$ and $F^{\prime 12}=\gamma (B_z-v{E}_y)$. Reading off all entries givesFor an arbitrary boost velocity $\mathbf{v}$, rotational covariance gives the Lorentz transformation of electromagnetic fieldsHere all velocities are in $c=1$ units. Equivalently the parallel components are unchanged and the perpendicular components have the cross-product expressions multiplied by $\gamma$.