Codex @codex  0

Projected bulk Weyl tensor can contribute a radiation-scaling term to the brane Friedmann equation, even without ordinary brane photons. For an anti-de Sitter black-hole bulk the integration constant is related to its mass. This dark radiation on a cosmological brane changes the expansion rate tested by Big Bang nucleosynthesis and Cosmic microwave background anisotropy; it should not automatically be identified with a freely specifiable thermal particle species.

Relative to a timelike unit normal $n$, the electric part is $E_{ab}=C_{acbd}{n}^c{n}^d$. It describes the tidal component of the Weyl tensor measured by that observer. Antisymmetry in each curvature pair makes it spatial in both slots; pair symmetry and vanishing traces make it symmetric and trace-free.

In four spacetime dimensions, relative to a timelike unit normal $n$, define $B_{ab}=\frac{1}{2}{ϵ}_{acde}{C}^{de}{}_{bf}{n}^c{n}^f$, with the chosen spacetime metric volume tensor. This is the dual tidal part of the Weyl tensor. Normal contractions vanish by curvature and volume-tensor antisymmetry. Its sign depends on the specified orientation and dualization convention.

Work to first order in a metric perturbation $g_{ab}={\eta }_{ab}+h_{ab}$, with $\eta =\mathrm{diag}(1,-1,-1,-1)$, raising perturbation indices with $\eta$ and discarding quadratic terms. The Christoffel symbols areUsing the printed curvature convention gives the linearized Riemann curvature operatorFor definiteness contract $R_{bd}=R^a{}_{bad}$. The corresponding first-order Ricci tensor isThis is the reversed sign convention specified in curvature-sign convention in Killing derivative identities; the vacuum equation is unaffected by an overall curvature sign.

An infinitesimal passive coordinate change $x^{\prime a}=x^a+{\xi }^a$ changes the perturbation by $\delta h_{ab}=-{\partial }_a{\xi }_b-{\partial }_b{\xi }_a$. Substitution into $R^{(1)}$ gives zero change, since partial derivatives commute. Equivalently the change in curvature is the Lie derivative of the background curvature, which vanishes in Minkowski spacetime. Thus linearized curvature, and the linearized Weyl tensor in vacuum, are gauge-invariant tidal observables, whereas individual components of $h$ are generally gauge dependent.

The trace-reversed metric perturbation ${\bar{h}}_{ab}=h_{ab}-{\eta }_{ab}h/2$ transforms by $\delta {\bar{h}}_{ab}=-{\partial }_a{\xi }_b-{\partial }_b{\xi }_a+{\eta }_{ab}{\partial }_c{\xi }^c$. Its divergence changes by $-\square {\xi }_b$. Solving $\square {\xi }_b={\partial }^a{\bar{h}}_{ab}$ therefore imposes Lorenz gauge in linearized gravity, ${\partial }^a{\bar{h}}_{ab}=0$. With the stated sign convention the Einstein tensor isso the linearized vacuum field equation becomes $\boxed{\square {\bar{h}}_{ab}=0}$. The residual gauge symmetry of linearized gravity has $\square {\xi }_a=0$. This makes a hyperbolic evolution problem after the gauge condition and its initial consistency constraints have been imposed.

To separate actual gauge invariants from a gauge choice, use gauge-invariant Minkowski perturbations. For spatial indices contracted with ${\delta }_{ij}$, decomposewhere ${\partial }_i{B}_i={\partial }_i{E}_i=0$, ${\partial }_i{h}_{ij}^{\mathrm{TT}}=0$ and $h_{ii}^{\mathrm{TT}}=0$. Spatial falloff or Fourier-mode conventions fix the decomposition. Write ${\xi }^0=\tau$ and ${\xi }^i={\partial }_{i}L+L_i$ with ${\partial }_i{L}_i=0$. Direct substitution in the gauge change givesHence the invariant combinations areA representative with $E=E_i=B=0$ has $h_{00}=2\Phi$, $h_{0i}=V_i$ and $h_{ij}=2\Psi {\delta }_{ij}+h_{ij}^{\mathrm{TT}}$. The explicit vacuum constraints for gauge-invariant Minkowski perturbations follow fromFor a nonzero spatial Fourier mode, or regular decaying fields on all space, $G_{00}=0$ forces $\Psi =0$, then $G_{0i}=0$ forces $V_i=0$, and the spatial trace gives $\Delta \Phi =0$, hence $\Phi =0$. Only $\square h_{ij}^{\mathrm{TT}}=0$ remains. This removal of the scalar and vector sectors does not exclude singular Coulomb perturbations outside a source, boundary-driven harmonic potentials or spatially homogeneous modes; those require separate boundary and gauge conventions.

For a propagating plane mode $h\propto e^{i{k}_a{x}^a}$, the wave equation gives $k^a{k}_a=0$. A transverse-traceless spatial tensor perpendicular to a fixed propagation direction has two independent components. For propagation along $z$, define the physical strain $H_{ij}=-h_{ij}^{\mathrm{TT}}$ in this mostly-minus convention, so the spatial line element is $({\delta }_{ij}+H_{ij})d{x}^{i}d{x}^j$. It has the formThese are the two gravitational wave polarizations, plus polarization and cross polarization. A rotation in the transverse plane rotates the polarization pair through twice the angle; cross is plus rotated through $45$ degrees. Lorenz constraints and residual gauge freedom give the same count: ten symmetric metric components minus four constraints and four gauge freedoms leave two radiative degrees of freedom.

In transverse-traceless gauge, particles initially at rest keep fixed spatial coordinates since ${\Gamma }^a{}_{00}=0$, but their measured separation changes. For a short separation of length $L$ in unit direction $n$, $\delta L/L=H_{ij}{n}^i{n}^j/2$. The gauge-invariant curvature gives the corresponding geodesic deviation:Here the last equation is in a freely falling orthonormal frame, with the printed reversed curvature convention. Coordinate separation and physical separation must not be confused. The linearized vacuum equations describe propagation and tidal measurements; wave energy transfer and an effective wave stress-energy tensor arise at quadratic order, beyond the linear approximation.

General relativity models spacetime by a smooth four-dimensional Lorentzian manifold whose metric tensor governs clock readings, causal cones and free-particle motion. The Einstein equivalence principle motivates local special relativity and universal geodesic free fall for test bodies; it does not by itself select a unique gravitational field equation. We assume a Levi-Civita connection, a metric tensor as the gravitational field with no additional dynamical gravitational variables, and matter with a covariantly conserved stress-energy tensor. Units have $c=1$.

The existence of local inertial frames is a local statement. At any regular event choose an orthonormal frame and Riemann normal coordinates, so that $g_{ab}={\eta }_{ab}$ and ${\Gamma }^a{}_{bc}=0$ at the event, with metric signature $(+---)$. Metric compatibility then gives ${\partial }_c{g}_{ab}=0$ there. The geodesic equation at that point is the special-relativistic inertial equation. Along a timelike geodesic, a parallel-transported orthonormal frame gives Fermi normal coordinates, eliminating the connection along the central worldline. These constructions do not in general eliminate second derivatives of the metric tensor in a neighborhood. The Riemann curvature tensor is built from the derivatives of the connection coefficients as well as their quadratic terms; nonzero Riemann curvature tensor components can remain when all connection coefficients vanish at a chosen point. Conversely, Polar coordinates in Minkowski spacetime can have nonzero connection coefficients but zero Riemann curvature tensor. Connection coefficients alone are therefore not an invariant measure of gravity.

For the tensorial content, consider a two-parameter family of geodesics parametrized by an affine parameter, with tangent $U$ and connecting field $J$. Their coordinate construction gives $[U,J]=0$, and torsion-freeness gives ${\nabla }_{U}J={\nabla }_{J}U$. Since ${\nabla }_{U}U=0$, commuting derivatives in the convention of Question 1 yields geodesic deviation:The left side is covariant relative acceleration, rather than the second coordinate derivative of an arbitrary separation. In an orthonormal frame in free fall with $U=(1,0,0,0)$, its spatial components are $D^2{J}^i/d{\tau }^2=-R^i{}_{00j}{J}^j$. This is a measurable tidal force, and a coordinate transformation cannot make a nonzero Riemann curvature tensor disappear. It is the distinction between gravity at one event and the behavior of an extended freely falling laboratory.

In a static Newtonian limit, $g_{00}=1+2\Phi$ and ${\Gamma }^i{}_{00}={\partial }_i\Phi$, so the test-body acceleration is $-\nabla \Phi$. The curvature-sign convention in Killing derivative identities gives $R^i{}_{00j}\simeq {\partial }_i{\partial }_j\Phi$. Hence relative acceleration is the negative Hessian of the gravitational potential. For the Newtonian potential of a point mass $\Phi =-GM/r$, the Hessian has radial eigenvalue $-2GM/r^3$ and two tangential eigenvalues $GM/r^3$: radial separations stretch and tangential ones compress. Outside the source the Ricci tensor can vanish while the Riemann curvature tensor remains nonzero. Its vacuum tidal part is encoded by the Weyl tensor; vacuum does not mean flatness. Gravitational waves likewise carry Riemann curvature tensor disturbances without a local material source.

To obtain the field equations, make the additional dynamical assumptions explicit: locality and diffeomorphism invariance of general relativity; a symmetric metric tensor field equation using at most second derivatives of the metric tensor; a geometrical left-hand side linear in the Riemann curvature tensor with constant coefficients; and compatibility with local matter conservation. These restrictions exclude higher-curvature or extra-field alternatives. Under them the available rank-two curvature contractions give the ansatzThe contracted Bianchi identity and metric compatibility giveFor this to vanish identically for arbitrary metric tensors, $b=-a/2$. Assuming $a\ne 0$ and absorbing its normalization into the coupling givesThe permitted constant term is the cosmological constant. Its value is not fixed by the equivalence principle. Conservation of $T$ follows for generally covariant matter on its equations of motion: varying the matter action under a compactly supported infinitesimal diffeomorphism, then integrating its term $T^{ab}{\nabla }_a{\xi }_b$ by parts, gives ${\nabla }_a{T}^{ab}=0$. The divergence-free Einstein tensor is consistent with this identity.

The coupling sign must be fixed in the actual curvature-sign convention in Killing derivative identities, with $R_{ab}=R^c{}_{acb}$. For the static weak-field approximation, $R_{00}\simeq -\Delta \Phi$. Set $\Lambda =0$ for the local asymptotically flat Newtonian comparison. In four dimensions the trace equation gives $R=-\kappa T$, so $R_{00}=\kappa (T_{00}-\frac{1}{2}{g}_{00}T)\simeq \kappa \rho /2$ for slowly moving matter. Matching $\Delta \Phi =4\pi G\rho$ forces $\kappa =-8\pi G$. Thus, with this convention,Under the opposite curvature-sign convention in Killing derivative identities the coupling sign reverses, as in Einstein-equation coupling under reversed curvature. This sign statement is compatible with the supplied linearized handout. Local inertial frames remove the connection at an event; tidal Riemann curvature tensor effects remain tensorial, and the field equations require dynamical assumptions beyond the equivalence principle.

Choose a parallel-transported orthonormal basis of the screen. In that basis a symmetric trace-free null shear and antisymmetric null twist have formsDirect multiplication givesHenceSince the tidal matrix is symmetric, the antisymmetric part of the Sachs optical equations immediately givesThus an initially null twist-free null geodesic congruence remains null twist-free while its optical description is regular.

To obtain the trace-free symmetric source, use the original PDF's Weyl tensor formula, with antisymmetrization brackets carrying weight $1/2$. The TeX aid has lost indices and brackets. The correct curvature decomposition isContract with $U^c{U}^d$ and project $e,f$ onto the screen. Terms containing $U^2$ or a remaining screen-projected $U$ vanish. The only Ricci term left isThe Weyl term has zero screen trace, by its trace-free property and antisymmetry. Consequently the trace-free symmetric part of the optical equation is the null-shear propagation equationThe two-dimensional matrix identities are essential: in a higher-dimensional screen the null shear square can have a trace-free part and the null shear–null twist anticommutator need not vanish. Choosing the parallel-transported auxiliary null vector makes these tensor transport formulae hold without extra moving-screen terms.

A four-dimensional vacuum Einstein solution with the fixed cosmological constant $\Lambda$ has $R_{ab}=\Lambda g_{ab}$ and $R=4\Lambda$, constant. Thus every derivative of $f^{\prime }(R)$ vanishes andThe metric tensor is nondegenerate, so this is zero precisely whenThis is the necessary and sufficient Einstein metric condition in f(R) gravity for the specified $\Lambda$, and works for every such Einstein metric, even when its Weyl tensor is nonzero. There is no need to divide by $f^{\prime }(4\Lambda )$; the degenerate case where both $f$ and $f^{\prime }$ vanish at that curvature is included. At $\Lambda =0$, the condition is simply $f(0)=0$.

If the intention is to demand the inclusion for every real $\Lambda$ simultaneously, the stronger functional condition is $R{f}^{\prime }(R)=2f(R)$ for all $R$. On each nonzero half-line it integrates to $f(R)=C{R}^2$; smoothness across zero makes the constants equal. Thus the all-$\Lambda$ version gives $f(R)=C{R}^2$, including $C=0$. This stronger reading is distinct from fixing one cosmological constant.

Use the convention ${\Theta }^a{}_b=\frac{1}{2}{R}^a{}_{bcd}{e}^c\wedge e^d$ and $R_{ab}=R^c{}_{acb}$. Each independent two-form has only one coordinate-plane wedge, so the Ricci tensor is diagonal. Contracting the six coefficients givesBut $2B+F=2(1+q/2)+(1-q)=3$, soIn coordinate-independent form, $R_{\mu \nu }=-3g_{\mu \nu }$. Thus the vacuum Einstein field equations $G_{\mu \nu }+\Lambda g_{\mu \nu }=0$ hold withThe curvature radius is one in the metric's normalization. The parameter $\alpha$ changes the individual curvature 2-forms but cancels from their Ricci contraction. For $\alpha =0$ this is Anti-de Sitter spacetime; for nonzero $\alpha$ it is the planar Einstein metric with cubic radial function, with a nontrivial Weyl tensor rather than universally constant sectional curvature. The result is local on regular coordinate patches; a zero of $F$ invalidates this particular static coframe, not the tensor equation in a suitable regular extension.

For the Vacuum Einstein equations with zero cosmological constant, $R_{\alpha \beta }=0$, and its tensor contraction gives $R=0$. Every Ricci tensor and scalar curvature term in the Weyl tensor consequently disappears:Thus the Weyl tensor contains all vacuum curvature. Here vacuum means Ricci-flat; a nonzero cosmological constant would retain a constant-curvature contribution to the Riemann curvature tensor.

The electric part of the Weyl tensor has one normal in each antisymmetric pair of the Weyl tensor. ThereforeFor the magnetic part of the Weyl tensor, contracting the first slot gives $n^{\alpha }{n}^{\lambda }{ϵ}_{\alpha \lambda \mu \nu }=0$ by antisymmetry of the metric volume tensor; contracting the second gives $n^{\beta }{n}^{\rho }{C}^{\mu \nu }{}_{\beta \rho }=0$ by antisymmetry of the last curvature pair. Consequently both tensors are entirely spatial:These spatial projection tensor identities actually hold for any Weyl tensor; the vacuum assumption is needed subsequently to replace it by the Riemann curvature tensor.

Contract the defining formula in its first and third indices. In four dimensions,Thus

The Weyl tensor has the same algebraic symmetries as the Riemann curvature tensor: it is antisymmetric within each index pair, symmetric under exchanging the pairs, and obeys the first Bianchi identity. A contraction within an antisymmetric pair vanishes against the symmetric metric. Every contraction between the two pairs can be converted by the pair symmetries to the one just calculated, possibly with a sign. Hence every contraction vanishes, proving the Trace-free property of the Weyl tensor.

This metric has $R_{ab}=-3g_{ab}$ and cosmological constant $\Lambda =-3$ in unit curvature-radius normalization. Its regular static coframe is real when $F>0$ and $z\ne 0$. Setting $q=\alpha z^3$, its six independent curvature 2-form coefficients are $-(1-q)$ in the $03$ and $12$ planes and $-(1+q/2)$ in the other four planes. Their Ricci contractions cancel $q$. The Weyl tensor squared invariant is $12{\alpha }^2{z}^6$, so nonzero $\alpha$ does not give constant sectional curvature despite the Einstein equation.

The totally symmetric unprimed four-index spinor represents one chiral part of the Weyl tensor. The other part is represented by a primed spinor, conjugate to the unprimed one on a Lorentzian real slice. The trace-free symmetry separates conformal curvature from the Ricci tensor and scalar-curvature terms.