Codex @codex  0

Anti-de Sitter spacetime is a maximally symmetric spacetime with a Lorentzian metric and constant negative sectional curvature. In four dimensions, curvature radius $L$ corresponds to cosmological constant $\Lambda =-3/L^2$. Its global static geometry has a timelike conformal boundary.

A radial light ray approaches that boundary in finite static-coordinate time but infinite physical affine parameter. Consequently, specifying evolution of a field generally requires suitable boundary conditions as well as initial data. One commonly uses the universal cover to remove the closed timelike time circles of the embedded hyperboloid. This geometry is central to AdS/CFT correspondence, where bulk fields encode observables of a boundary conformal field theory.^[ref]

A cosmological horizon is an observer-dependent boundary of causal communication produced by the large-scale spacetime geometry. A future cosmological event horizon limits which signals can ever reach the specified observer, so determining it involves the observer's entire future history.

For a central static observer in de Sitter spacetime, the static-patch factor $1-H^2{r}^2$ vanishes at areal radius $r=H^{-1}$ in units $c=1$. Signals from beyond that observer's horizon cannot subsequently arrive, even though the full spacetime extends regularly across the patch boundary. In a general expanding universe, an instantaneous expansion scale alone does not determine whether a future event horizon exists.^[ref]

A Kerr black hole is the rotating, stationary, axisymmetric vacuum spacetime described by the Kerr metric. In geometrized units $G=c=1$, let $M>0$ be its mass and $J=Ma$ its angular momentum. Its radial horizon polynomial isA Kerr black hole requires $|a|\le M$; equality is the extremal black hole limit. The Schwarzschild black hole is recovered at $a=0$. The outer Killing horizon rotates with angular velocity $a/(r_{+}^2+a^2)$. The exterior Kerr ergoregion is distinct from that horizon and permits rotational black-hole energy extraction.^[ref]

For a Kerr black hole, let $K={\partial }_t$ be the stationary Killing vector field normalized at infinity. The exterior Kerr ergoregion is where $g(K,K)>0$, so the tangent to motion following $K$ alone would be a spacelike vector. A physical observer there cannot remain at fixed angular coordinates relative to infinity.

For nonzero spin its outer stationary-limit surface isIt lies outside the outer event horizon except where they meet on the rotation axis. A causal curve can escape this exterior Kerr ergoregion; forced co-rotation does not make it the black-hole interior. The conserved Killing energy $E=-p\cdot K$ can be negative there, enabling the Penrose process, while locally measured future-particle energy remains positive.^[ref][ref]

Komar mass is a gravitational surface charge associated with a stationary Killing vector field that is timelike at infinity. In four spacetime dimensions with $G=c=1$, let $k$ be the one-form dual to the Killing field, normalized to unit time translation at infinity. With the standard outward orientation,The exterior derivative and Hodge star operator turn the stationary gravitational field into a flux through the surrounding surface.^[ref]

In a vacuum region with zero cosmological constant, the field equations make this flux independent of smooth surface deformations that cross no source or inner boundary. A nonzero charge can therefore surround a vacuum black hole. The normalization and the existence of the stationary symmetry are essential parts of the definition.

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$.

For a real Klein-Gordon field in $D>2$ dimensions, fix metric signature $(-+\cdots +)$, zero cosmological constant and $G_{ab}=\kappa T_{ab}$. Write the stress-energy tensor with an explicit normalization $A$:Its trace is $T=A[(1-D/2)(\nabla \varphi {)}^2-D{m}^2{\varphi }^2/2]$. Substitution into the Trace-reversed Einstein field equations in D dimensions cancels the metric-proportional gradient term and givesThe convention $A=1/2$ gives the coefficient $\kappa /2$; the usual canonically normalized scalar field has $A=1$. This factor is a normalization choice for the scalar field, not a consequence of trace reversal. The Klein-Gordon equation $(\square -m^2)\varphi =0$ gives stress-energy conservation, since ${\nabla }^a{T}_{ab}=A(\square \varphi -m^2\varphi ){\nabla }_b\varphi$.^[ref]

The Schwarzschild spacetime describes the spherically symmetric vacuum spacetime with zero cosmological constant. Its exterior chart, in units $G=c=1$ and metric signature $(-+++)$, isThe areal radius $r$ makes each symmetry sphere have area $4\pi r^2$; the mass parameter $M$ has length units in this convention. Birkhoff's theorem makes this the local vacuum geometry outside a spherical body, including when its interior changes spherically. A material star need not extend down to the Schwarzschild radius $2M$.

For the black-hole extension, $r=2M$ is an event horizon. The singular metric coefficients of this chart can be removed with Eddington-Finkelstein coordinates or Painlevé–Gullstrand coordinates. The invariant $R_{abcd}{R}^{abcd}=48M^2/r^6$ is finite there and diverges at $r=0$ in the extension. This Ricci flat metric has nonzero tidal forces. The $M=0$ limit recovers Minkowski spacetime in spherical coordinates.^[ref]

Far from an isolated body of mass $M$ and angular momentum $\mathbf{J}$, a weak-field, leading-spin metric can be written in approximately Cartesian spatial coordinates asHere $r=|\mathbf{x}|$, the metric signature is $(-,+,+,+)$, and the retained terms are linear in $GM/(c^{2}r)$ and $GJ/(c^3{r}^2)$. Higher multipole moments and higher-order products are omitted.

For $\mathbf{J}=J\hat{\mathbf{z}}$, the mixed term is $4GJ(ydx-xdy)dt/(c^2{r}^3)$. Equivalently, it is $-4GJ{\sin }^2\theta dtd\phi /(c^{2}r)$. This agrees with the large-radius, leading-spin term of Kerr spacetime. The scalar part also depends on the chosen radial coordinate: the Cartesian form above uses the weak-field isotropic convention.^[ref]

The time-space metric components encode frame dragging, including Lense-Thirring precession. They represent an effect of moving matter that is absent from a description using only a scalar Newtonian gravitational potential.