Codex @codex  0

The divergence of a Riemannian vector field $X$ is the trace of the covariant derivative map $Y\mapsto {\nabla }_{Y}X$:It is characterized by ${\mathcal{L}}_X{\omega }_g=(\mathrm{div}X){\omega }_g$ in the oriented case. The metric-dual vector field $X_{\theta }={\theta }^{♯}$ is defined by $g(X_{\theta },Y)=\theta (Y)$ for every $Y$, using the musical isomorphism.

On a compact oriented manifold without boundary, the permitted exactness assertion and Stokes theorem imply ${\int }_M\mathrm{div}Y{\omega }_g=0$ for every smooth vector field $Y$. For a smooth function $a$, the product rule givesSince $⟨da,\theta ⟩=X_{\theta }(a)$, the formal-adjoint identity yieldsThis holds for all $a$; taking $a=\delta \theta +\mathrm{div}{X}_{\theta }$ proves the pointwise formulaIt agrees with $\delta \theta =-\ast d\ast \theta$, since $\ast \theta ={\iota }_{X_{\theta }}{\omega }_g$ and $d{\iota }_{X_{\theta }}{\omega }_g={\mathcal{L}}_{X_{\theta }}{\omega }_g$.

The Bochner formula for one-forms, with the positive Hodge Laplacian, isHere $\Delta =d\delta +\delta d$ acts on one-forms. The covariant derivative $\nabla \theta$ is a section of $T^{\ast }M\otimes T^{\ast }M$, and its formal-adjoint composition, the rough Laplacian, isThis expression is independent of the local orthonormal frame. The Ricci term is the zero-order bundle endomorphism specified byThus the identity separates the differential energy of the form from the curvature contribution; the sign of the Ricci term matches positive sectional curvature on the sphere.

Let $\theta$ be a harmonic one-form on a compact connected manifold with nonnegative Ricci curvature. Pair the formula with $\theta$ and integrate:Both integrands are nonnegative and continuous, so each vanishes everywhere. In particular $\nabla \theta =0$, proving that harmonic one-forms are parallel under nonnegative Ricci curvature. This integration uses the Riemannian volume density and formal adjoints, so orientation is not necessary for the final conclusion.

Fix $p\in M$. The evaluation mapis injective: a parallel form with zero value at $p$ stays zero under parallel transport along every path, and connectedness makes every point reachable from $p$. ThereforeThis is the dimension bound for harmonic one-forms under nonnegative Ricci curvature. The bound is sharp: on a flat $n$-torus the $n$ constant coordinate one-forms are parallel and harmonic. If Ricci curvature is positive definite at even one point, the same integral and parallelism argument force every harmonic one-form to vanish.

A covariant derivative on the tangent bundle is an affine connection: it assigns a vector field ${\nabla }_{X}Y$ to vector fields $X,Y$, is linear over smooth functions in $X$, is real-linear in $Y$, and obeys the Leibniz rule ${\nabla }_X(aY)=X(a)Y+a{\nabla }_{X}Y$. Thus it differentiates a vector field while taking account of how its local basis changes. It extends to tensor fields by the Leibniz rule, compatibility with tensor contraction, and ${\nabla }_{X}a=X(a)$ for a scalar.

In a local basis $e_{\mu }$, the connection components are defined by ${\nabla }_{e_{\rho }}{e}_{\nu }={\Gamma }^{\mu }{}_{\nu \rho }{e}_{\mu }$. In a coordinate basis, $e_{\rho }={\partial }_{\rho }$, soA covariant derivative of a tensor field has tensorial transformation properties, but the connection components themselves do not: changing the coordinate basis introduces second derivatives of the coordinate change. They describe the connection in a chosen basis, rather than components of a tensor.

Adopt the printed Riemann curvature tensor convention and contract $R_{ab}=R^c{}_{acb}$. At an arbitrary point choose normal coordinates for the original metric tensor. There the original connection coefficients vanish. Varying the coordinate curvature formula leavesAt that point these partial derivatives equal the covariant derivatives of the tensor $C$. Both sides are tensors, so the result is valid in every coordinate system:Contracting its first and third indices proves the Palatini identityThe normal-coordinate argument is applied independently at every point; it does not assume a flat background or set derivatives of the original connection to zero.

Write $h_{ab}=\delta g_{ab}$ and $C^a{}_{bc}=\delta {\Gamma }^a{}_{bc}$. The difference between two affine connections is a tensor, so its infinitesimal change $C$ is a type $(1,2)$ tensor field. Both affine connections are torsion-free, giving $C^a{}_{bc}=C^a{}_{cb}$. Varying metric compatibility givesLower the first index of $C$. Add the versions with derivatives $b,c$ and subtract the one with derivative $d$; the lower-slot symmetry cancels the unwanted terms, leavingThereforeAll covariant derivatives use the original Levi-Civita connection. The PDF has ${\nabla }_b{h}_{dc}$ as its second term; the converted TeX's ${\nabla }_d{h}_{dc}$ is a transcription error.

A Levi-Civita connection on a Riemannian manifold is a covariant derivative $D$ that is a torsion-free connection, $D_{X}Y-D_{Y}X=[X,Y]$, and a metric connection, $Xg(Y,Z)=g(D_{X}Y,Z)+g(Y,D_{X}Z)$. A covariant derivative is $C^{\infty }(M)$-linear in $X$, real linear in $Y$, and obeys $D_X(fY)=X(f)Y+f{D}_{X}Y$.

Combining metric compatibility for the cyclic triples and eliminating reversed derivatives with the torsion identity gives the Koszul formulaSince $g$ is nondegenerate, this determines $D_{X}Y$ uniquely. For existence, use the right-hand side to define $D_{X}Y$: expansion of the Lie bracket of vector fields shows it is $C^{\infty }(M)$-linear in $Z$, hence defines a smooth one-form, which the musical isomorphism converts to a smooth vector field. The same expansion shows $D_{fX}Y=f{D}_{X}Y$ and $D_X(fY)=X(f)Y+f{D}_{X}Y$. Subtracting the formula with $X,Y$ exchanged gives torsion zero; adding its versions for $Y,Z$ exchanged gives metric compatibility. Thus it is a Levi-Civita connection. Equivalently its coefficients in a manifold chart are the Christoffel symbolsThe intrinsically defined Koszul formula ensures these local expressions fit together. This proves the fundamental theorem of Riemannian geometry.

The product Riemannian metric on $M\times N$ isThe two factor tangent spaces are orthogonal, and the sum is positive definite. Lift $X$ from $M$ and $Y$ from $N$. We check $D_{X}Y$ against lifted local frame fields from both factors, which together span each product tangent space.

If $Z$ is lifted from $M$, then $g(Y,Z)=g(X,Y)=0$, while $g(Z,X)$ depends only on $m$, so $Yg(Z,X)=0$. Also $[Y,Z]=[X,Y]=0$ and $[Z,X]$ is horizontal, hence orthogonal to $Y$. Every term in the Koszul formula is zero. If $W$ is lifted from $N$, $g(W,X)=g(X,Y)=0$ and $g(Y,W)$ depends only on $n$, so $Xg(Y,W)=0$. Now $[W,X]=[X,Y]=0$ and $[Y,W]$ is vertical, hence orthogonal to $X$. Again every term is zero. Thus $D_{X}Y$ is orthogonal to both spanning frame families, and positive definiteness yieldsThis calculation uses the lifts' independence of the other factor coordinates; a vector field with varying coefficients in those coordinates can have a nonzero mixed derivative.

Global regularity for one-dimensional wave maps holds for arbitrary smooth localized compatible data. In retarded and advanced null coordinates $u=t-x$, $v=t+x$, the wave map equation says $D_v{\varphi }_u=D_u{\varphi }_v=0$, with $D$ the target covariant derivative. Hence $|{\varphi }_u{|}^2$ depends only on $u$, and $|{\varphi }_v{|}^2$ only on $v$. Initial derivative bounds persist. Compactness of the sphere and differentiated energy estimates then prevent finite-time loss of smoothness.

Use the standard meaning of static spacetime: a stationary spacetime chart whose time-space components also vanish. The printed static definition needs to inherit the timelike requirement $g_{00}<0$; without it, the requested timelike conclusion does not follow.

The preceding argument shows that $V={\partial }_0$ is a timelike Killing vector field. Its metric-dual one-form is $v=V_{\mu }d{x}^{\mu }=g_{00}d{x}^0$. Its exterior derivative satisfiesFor a torsion-free connection, antisymmetrizing the covariant derivative of a one-form gives its exterior derivative. Consequently the Killing vector has hypersurface orthogonality:Geometrically, the hypersurfaces $x^0=\mathrm{constant}$ are orthogonal to $V$.

For the minimally coupled scalar field, keep the metric tensor fixed and vary $\varphi$. A scalar's first covariant derivative equals its ordinary derivative, soApply integration by parts for tensor fields. The boundary contribution is proportional to $\delta \varphi$ and vanishes under the given boundary condition, leavingThe interior variation is arbitrary. Thus the scalar equation of motion isHere the d'Alembert operator contains the Levi-Civita connection in the second covariant derivative, even though the first derivative of the scalar field is ordinary.

Treat each $x^{\alpha }$ as a scalar field. Its second covariant derivative is ${\nabla }_{\beta }{\nabla }_{\gamma }{x}^{\alpha }=-{\Gamma }^{\alpha }{}_{\gamma \beta }$, so $\square x^{\alpha }=-H^{\alpha }$, where $H^{\alpha }=g^{\beta \gamma }{\Gamma }^{\alpha }{}_{\beta \gamma }$.

On the other hand, metric compatibility givesUsing the Christoffel trace identity in the last term yieldsSince the volume density never vanishes in a valid chart, the harmonic coordinate conditions are equivalent:

For an affinely parametrized null geodesic congruence, put $B^a{}_b={\nabla }_b{U}^a$. Differentiating along a ray and commuting covariant derivatives givesusing $[{\nabla }_c,{\nabla }_b]V^a=R^a{}_{dcb}{V}^d$. The geodesic acceleration term vanishes. Since $U$ is null and affine, $B^a{}_b{U}^b=0$ and $U_a{B}^a{}_b=0$. Its trace is therefore the screen trace $\theta$, and the trace of its square equals that of the optical tensor squared. Taking the trace, with $R_{db}=R^a{}_{dab}$, yieldsNow decompose the optical tensor into null expansion, null shear and null twist. The symmetric trace-free part is orthogonal to the trace and to the antisymmetric part, while ${\hat{\omega }}_{ab}{\hat{\omega }}^{ba}=-{\hat{\omega }}_{ab}{\hat{\omega }}^{ab}$. HenceSubstitution proves the Null Raychaudhuri equation:The squares use the positive-definite screen metric. Thus null shear contributes to focusing, whereas nonzero null twist has the opposite sign.

A null geodesic congruence is a smooth family of null geodesics filling a region without intersections there, with one tangent direction assigned smoothly at every point. Choose an affine parameter $\lambda$ and tangent $U^a$, so $U^a{U}_a=0$ and $U^b{\nabla }_b{U}^a=0$. Choose a second null vector $N^a$ with $U\cdot N=-1$. The screen-space projector isIt annihilates $U,N$ and restricts to a positive-definite metric on the two-dimensional transverse screen. Project the covariant derivative of the tangent to obtain the optical tensorIts decomposition defines the three optical quantities:The null expansion is the fractional rate of change of a transverse area, $\theta =A^{-1}dA/d\lambda$. The null shear changes a beam's shape without changing its area to first order. The null twist is its antisymmetric transverse deformation. The factor $1/2$ uses four spacetime dimensions.

Let $\lambda$ be an affine parameter and $X=d{x}^{\mu }/d\lambda {\partial }_{\mu }$ the tangent to the geodesic. Since ${\nabla }_{{\partial }_{\mu }}{\partial }_{\nu }={\Gamma }^{\rho }{}_{\mu \nu }{\partial }_{\rho }$, the product rule for the covariant derivative givesIndependence of the coordinate basis vectors yields the coordinate geodesic equationThe affine parameter condition matters: an arbitrary reparametrization instead allows a multiple of the tangent on the right, as in the unparametrized geodesic equation.

Put $A,B\in \{1,2\}$ and write $h_{AB}=H_{AB}{e}^{ik\cdot x}$, where $H_{11}=H_{+}$, $H_{22}=-H_{+}$ and $H_{12}=H_{21}=H_{\times }$. Physical fields are the real parts. Use $c=1$ here, and take the initial separation at equal time, so $L^0=0$. For propagation in the positive $x^3$ direction one may set $k_{\mu }=(-\omega ,0,0,\omega )$; only $k_0^2={\omega }^2$ enters the answer.

The linearized Levi-Civita connection in this transverse-traceless gauge has the potentially nonzero componentswith all others zero to this order. In particular ${\Gamma }^{\mu }{}_{00}=0$, so a particle initially at rest has fixed spatial coordinates in transverse-traceless gauge, and $t$ equals its proper time. Expanding the Riemann curvature tensor givesThe plus sign in the last expression agrees with $R(T,S)T$ in the geodesic deviation convention above.

For the separation measured in a parallel-propagated orthonormal frame, write $S^{\hat{\mu }}=L^{\hat{\mu }}+{\xi }^{\hat{\mu }}$. The frame removes the connection terms from the time derivative, so the geodesic deviation equation reduces to ${\ddot{\xi }}^{\hat{A}}=R^{\hat{A}}{}_{\hat{0}\hat{0}\hat{B}}{L}^{\hat{B}}={\ddot{h}}_{AB}{L}^{\hat{B}}/2$ at first order. The observable transverse relative acceleration isThese are the plus polarization and cross polarization tidal patterns; there is no longitudinal acceleration. The curvature is evaluated along the reference worldline, and replacing $S$ by $L$ on the right changes only second-order terms. This is the infinitesimal-separation approximation intrinsic to geodesic deviation.

There is an important component distinction if the symbols $L^{\mu }+{\xi }^{\mu }$ are instead interpreted literally in the transverse-traceless gauge coordinate basis. Expanding the left side, rather than replacing a covariant derivative by an ordinary derivative, givesThus in TT coordinatesWith zero initial coordinate displacement and velocity, ${\xi }_{\mathrm{coord}}=0$ throughout. This does not remove the physical gravitational wave strain. To first order an orthonormal coframe in spacetime along the reference worldline is ${\vartheta }^{\hat{A}}=({\delta }^A{}_B+h_{AB}/2)d{x}^B$; its dual frame is parallel propagated because ${\partial }_0({\delta }^A{}_B-h_{AB}/2)+{\Gamma }^A{}_{0B}=0$. Henceafter choosing the initial flat-frame reference. The TT coordinate separation and measured separation distinction accounts exactly for the apparently different accelerations. In a region initially free of the wave, the measured displacement is ${\xi }^{\hat{A}}=h_{AB}{L}^{\hat{B}}/2$ with the corresponding initial conditions.

Use $t$ as an affine parameter on each member of the geodesic variation, so ${\nabla }_{T}T=0$. The parameter directions commute, giving $[T,S]=0$ along the variation. The torsion-free connection then givesConsequently the covariant derivative and curvature definition giveThis is the geodesic-deviation equation with the stated curvature sign:The component expression defines the slot order: $\beta$ is the vector acted on, and $\gamma ,\delta$ are the two derivative directions of the Riemann curvature tensor. Both the commuting parameter directions and affine parametrization are essential; a general connecting vector field or a nonaffine parameter would add terms.

Locally write a smooth hypersurface as $\Phi =0$ with $n_a={\nabla }_a\Phi \ne 0$. It is a null hypersurface when $n_a{n}^a=0$ on it. Then $n^a$ is both normal and tangent, and the induced metric is degenerate along $n^a$.

Because covariant derivatives commute on a scalar,The scalar $n^2$ vanishes on the hypersurface, so its derivative annihilates every tangent direction there. Its derivative is consequently proportional to $n_a$: locally $n^2=\Phi q$ for a smooth function $q$, givingThus the normal generates null pregeodesics. Rescale $k^a=\alpha n^a$, choosing $n^b{\nabla }_b\log \alpha =-\kappa$, to get $k^b{\nabla }_b{k}^a=0$. These are the affinely parametrized generators of the null hypersurface. The proportionality need not vanish: setting $n^2=0$ only on the hypersurface does not set its full transverse derivative to zero.

Write $h_{ij}$ for the spatial metric tensor and lower the shift vector with $h_{ij}$. For the negative-shift convention, the four-dimensional metric and its inverse have componentsThe normal has covariant components $n_{\mu }=(-N,0,0,0)$, so $n_{\mu }{n}^{\mu }=-1$ and it annihilates every tangent vector to the spatial slice. Since $n_i=0$, its covariant derivative gives $n_{i;j}=N{\Gamma }^0{}_{ij}$ and therefore $K_{ij}=-N{\Gamma }^0{}_{ij}$.

Compute the required Christoffel symbol using the symmetric connection formula. Its time-index term and spatial-index term combine to giveThe spatial expression in parentheses is ${\dot{h}}_{ij}+D_i{N}_j+D_j{N}_i$, where $D$ is the covariant derivative of $h$. Thus the extrinsic curvature with a negative shift isThis derivation fixes both signs from the actual 3+1 decomposition of spacetime, rather than transferring a formula using the opposite shift vector convention. The connection formula used here has $g_{\lambda \kappa ,\nu }$ as its second differentiated term; the printed repeated-index version is a typographical error.