Codex @codex  0

For the orthonormal coframe of a planar warped spacetime, Cartan's first structure equation gives ${\omega }^i{}_3=a{e}^i$ and ${\omega }^3{}_i=-s_{i}a{e}^i$, where $i=0,1,2$ and $(s_0,s_1,s_2)=(-1,1,1)$. All other connection 1-forms vanish. Cartan's second structure equation gives ${\Theta }^i{}_3=-q{e}^i\wedge e^3$ and ${\Theta }^i{}_j=-s_j{a}^2{e}^i\wedge e^j$ for $i\ne j$. Lowering the first index makes both the connection 1-forms and the curvature 2-forms antisymmetric. Contraction yields $R_{00}=q+2a^2$, $R_{11}=R_{22}=-q-2a^2$, and $R_{33}=-3q$.

For $g=-d{t}^2+A(u{)}^{2}d{x}^2+B(u{)}^{2}d{y}^2+d{z}^2$, $u=t-z$, with nowhere-zero smooth $A,B$, take $e^0=dt$, $e^1=Adx$, $e^2=Bdy$, $e^3=dz$, $\ell =du$. In signature $(-,+,+,+)$, Cartan's first structure equation and metric compatibility give the lower-index connection 1-forms ${\omega }_{01}={\omega }_{13}=-(A^{\prime }/A)e^1$ and ${\omega }_{02}={\omega }_{23}=-(B^{\prime }/B)e^2$. Cartan's second structure equation gives ${\Theta }_{01}={\Theta }_{13}=-(A^{\prime \prime }/A)\ell \wedge e^1$ and ${\Theta }_{02}={\Theta }_{23}=-(B^{\prime \prime }/B)\ell \wedge e^2$. All other independent curvature 2-forms vanish: in particular the $12$ component cancels between the time and longitudinal terms. Contracting $R^a{}_{bad}$ yields $\mathrm{Ric}=-(A^{\prime \prime }/A+B^{\prime \prime }/B)du\otimes du$. Thus the Vacuum Einstein equations are $A^{\prime \prime }/A+B^{\prime \prime }/B=0$, while nonzero $A^{\prime \prime }/A=-B^{\prime \prime }/B$ gives opposite transverse tidal curvatures and plus polarization relative to these axes.

Let ${\eta }_{ab}=g(e_a,e_b)$ be the constant diagonal metric matrix in a local pseudo-orthonormal frame, and define ${\theta }_{ab}={\eta }_{ac}{\theta }^c{}_b$. The metric compatibility of the Levi-Civita connection givesThus the lowered connection matrix is antisymmetric, including in indefinite signature. Ordinary matrix antisymmetry of ${\theta }^a{}_b$ itself is not the corresponding assertion in indefinite signature.

Let ${\omega }^a$ be the dual coframe, and write a vector field as $Y=e_b{\omega }^b(Y)$. ThenSubtract the same expression with $X,Y$ exchanged and subtract ${\omega }^a([X,Y])$. By the definition of the exterior derivative, this gives the components of the torsion tensor:The Levi-Civita connection is torsion-free, so Cartan's first structure equation is

Use $R(X,Y)={\nabla }_X{\nabla }_Y-{\nabla }_Y{\nabla }_X-{\nabla }_{[X,Y]}$ and define its matrix of curvature two-forms by $R(X,Y)e_b=e_a{R}^a{}_b(X,Y)$. Applying two covariant derivatives to $e_b$ yieldsThe first three terms are $d{\theta }^a{}_b(X,Y)$ and the last two are $({\theta }^a{}_c\wedge {\theta }^c{}_b)(X,Y)$. Therefore Cartan's second structure equation isThe associated Riemann curvature tensor components satisfy $R^a{}_b=\frac{1}{2}{R}^a{}_{bcd}{\omega }^c\wedge {\omega }^d$ with this convention.

For a position-dependent change of pseudo-orthonormal frame, write the frame row as $E^{\prime }=E\Lambda$, with ${\Lambda }^T\eta \Lambda =\eta$. The dual coframe obeys ${\omega }^{\prime }={\Lambda }^{-1}\omega$. Applying the Leibniz rule to $\nabla (E\Lambda )$ givesThe connection one-form has an inhomogeneous term because differentiating the moving basis produces $d\Lambda$. The curvature two-form instead transforms homogeneously. Indeed, curvature is tensorial in the vector to which it is applied, so $R(X,Y)(E\Lambda )=(R(X,Y)E)\Lambda =E^{\prime }{\Lambda }^{-1}R(X,Y)\Lambda$. ConsequentlyEquivalently, substituting the transformed connection into $d{\theta }^{\prime }+{\theta }^{\prime }\wedge {\theta }^{\prime }$ and using $d{\Lambda }^{-1}=-{\Lambda }^{-1}(d\Lambda ){\Lambda }^{-1}$ cancels all derivative terms and gives the same result. This transformation law holds for a general invertible frame change as well; the orthogonality condition ensures both frames remain pseudo-orthonormal.

An orthonormal coframe writes a metric as $g={\eta }_{ab}{\theta }^a\otimes {\theta }^b$ with constant diagonal signature matrix $\eta$. In Cartan's first structure equation, solveThese are the torsion-free and metric-compatibility conditions and determine the Levi-Civita connection. Then Cartan's second structure equation givesContract $R^a{}_{bad}$ to obtain the Ricci tensor and then contract again for the scalar curvature. This fixes the curvature convention; reversing the definition of the Riemann curvature tensor reverses the resulting curvature signs.

On $z>0$, choose ${\theta }^0=dt/z$, ${\theta }^1=dx/z$, ${\theta }^2=dy/z$, ${\theta }^3=dz/z$, with $\eta =\mathrm{diag}(-1,1,1,1)$. For $a=0,1,2$,A torsion-free metric connection therefore hasFor example, ${\Omega }^a{}_3=-d{\theta }^a=-{\theta }^a\wedge {\theta }^3$, while for $a,b<3$,Metric antisymmetry supplies the remaining components, giving uniformlyThus the metric has constant sectional curvature $-1$. In four dimensions,It is an Einstein manifold, with Einstein constant $-3$ in the stated curvature convention.

These are Poincare coordinates on anti-de Sitter spacetime of unit radius. Constant curvature gives the maximal ten-dimensional local isometry algebra $\mathfrak{so}(3,2)$. This can also be checked directly: set $u=(t,x,y)$, ${\eta }_{ab}=\mathrm{diag}(-1,1,1)$ and $u_a={\eta }_{ab}{u}^b$. The ten independent Killing vector fields areTranslations and Lorentz transformations leave the numerator and $z$ unchanged. A dilation rescales numerator and denominator equally. For $K_a$, direct differentiation gives ${\mathcal{L}}_{K_a}{\eta }^{(4)}=4u_a{\eta }^{(4)}$ and $K_a(z)=2u_{a}z$, so the conformal factor cancels and ${\mathcal{L}}_{K_a}g=0$.

Hence the maximally extended Anti-de Sitter spacetime has connected isometry group locally $S{O}_0(3,2)$, with the appropriate covering group if one unwraps its time coordinate. The displayed coordinates cover only a patch. The ten local generators do not all give globally complete flows preserving that patch; for example special conformal flows can cross its horizon. The manifest complete patch symmetries include the boundary Poincare transformations and positive dilations. This distinguishes local maximal symmetry from the global isometries of a chosen coordinate domain.

An orthonormal coframe is a collection of independent differential forms $E^{\hat{a}}=e^{\hat{a}}{}_{\mu }d{x}^{\mu }$ satisfying $g_{\mu \nu }={\eta }_{\hat{a}\hat{b}}{e}^{\hat{a}}{}_{\mu }{e}^{\hat{b}}{}_{\nu }$, with $\eta =\mathrm{diag}(-1,1,1,1)$. Locally one can diagonalize the metric tensor and rescale the resulting covectors, or use Gram-Schmidt orthogonalization for a symmetric bilinear form, choosing a timelike direction first. The coframe is not unique: a local Lorentz transformation preserves the metric. For the Levi-Civita connection, solve Cartan's first structure equation and metric compatibility together:These determine the connection 1-forms. The antisymmetry applies to the lowered pair of indices; a mixed time-space pair instead has ${\omega }^0{}_i={\omega }^i{}_0$. Next Cartan's second structure equation gives the curvature 2-forms, and reading off their coefficients determines the Riemann curvature tensor:This also states the curvature-sign convention. Contracting gives the Ricci tensor, and its coordinate components are $R_{\mu \nu }=e^{\hat{a}}{}_{\mu }{e}^{\hat{b}}{}_{\nu }{R}_{\hat{a}\hat{b}}$.

On a static patch with $V>0$, chooseWrite $h=\sqrt{V}$, $a=h^{\prime }$, $b=h/r$, and $c=\cot \theta /r$. The exterior derivative givesThe nonzero independent connection 1-forms are consequentlywith ${\omega }^1{}_0={\omega }^0{}_1$, spatial mixed pairs antisymmetric, and the remaining forms zero. For example,Similarly ${\Omega }^0{}_2={\omega }^0{}_1\wedge {\omega }^1{}_2=-ab{E}^0\wedge E^2$, and the angular derivatives in $d{\omega }^1{}_3$ cancel against ${\omega }^1{}_2\wedge {\omega }^2{}_3$. The resulting Cartan curvature forms for a static spherical metric areFor the last entry, $d(-c{E}^3)=E^2\wedge E^3/r^2$ and ${\omega }^2{}_1\wedge {\omega }^1{}_3=-V{E}^2\wedge E^3/r^2$. The remaining curvature 2-forms follow from ${\Omega }_{ab}=-{\Omega }_{ba}$.

Put $A=V^{\prime \prime }/2$, $B=V^{\prime }/(2r)$, and $C=(1-V)/r^2$. Reading the Riemann curvature tensor from the forms and contracting gives the diagonal orthonormal Ricci tensorFor example $R_{00}=R^1{}_{010}+R^2{}_{020}+R^3{}_{030}=A+2B$, while $R_{22}=-B-B+C$. All off-diagonal entries vanish because the curvature 2-forms only involve their own index planes. In the coordinate basis the nonzero components areThe angular Einstein field equations with the negative cosmological constant give $(rV{)}^{\prime }=1+3r^2/l^2$. Integrating introduces one real constant, conventionally written $-2m$:Substitution gives $V^{\prime \prime }/2+V^{\prime }/r=3/l^2$, so the time and radial Einstein field equations hold as well. The solution is the Schwarzschild--anti-de Sitter black hole family, including its zero and negative mass limits.

For $m>0$, $V$ increases strictly from $-\infty$ at $r=0$ to $+\infty$ at infinity. Its unique positive simple zero $r_h$ satisfies $r_h^3+l^2{r}_h=2m{l}^2$. This zero is a coordinate singularity, not a curvature singularity: with the ingoing coordinate $v=t+\int dr/V$, the radial metric is $-Vd{v}^2+2dvdr$ and is regular there. Inside the future black-hole region, $\nabla r={\partial }_v+V{\partial }_r$ is future timelike, so every future-directed causal trajectory decreases $r$ and cannot return to the asymptotic anti-de Sitter boundary. Conversely, every exterior radius admits an outward radial null geodesic reaching that boundary, since ${\int }_r^{\infty }dr/V$ converges. Thus $m>0$ gives an event horizon at the unique positive zero of $V$. Here the event horizon is defined relative to the asymptotic timelike boundary of Anti-de Sitter spacetime. For $m=0$, $V=1+r^2/l^2>0$ and the spacetime is pure Anti-de Sitter spacetime, with no black-hole event horizon. For $m<0$, $V=1+2|m|/r+r^2/l^2>0$, so there is also no event horizon; the mass term produces a naked singularity at $r=0$. The field equation itself does not impose a positive mass integration constant.

Choose a local orthonormal coframe $e^A$ with $g={\eta }_{AB}{e}^A{e}^B$. The Levi-Civita connection is represented by the connection 1-forms satisfyingThe gamma matrices satisfy the Clifford algebra relations $\{{\gamma }^A,{\gamma }^B\}=2{\eta }^{AB}I$. The matrices $\frac{1}{4}[{\gamma }^A,{\gamma }^B]$ represent the infinitesimal orthogonal transformations on spinor fields; lifting the frame connection to this representation defines the spinor covariant derivativeBoth frame indices are summed, so each antisymmetric pair occurs twice. Under a local Lorentz transformation with spin lift $S$, the spin connection transforms as ${\Omega }_{\mu }\mapsto S{\Omega }_{\mu }{S}^{-1}-({\partial }_{\mu }S)S^{-1}$ and $ϵ\mapsto Sϵ$; consequently ${\nabla }_{\mu }ϵ\mapsto S{\nabla }_{\mu }ϵ$. This establishes covariance. Global construction requires a compatible spin structure (and the appropriate orientation and time orientation); the formulas themselves work on a local orthonormal frame patch.

The supplied gamma matrices have squares $-I,I,I$ and anticommute pairwise, so $\eta =\mathrm{diag}(-1,1,1)$. Work on a connected regular patch with $r>0$ and $V\ne 0$. Since the metric depends only on $V^2$, we may use its positive smooth square root $V>0$. TakeTheir exterior derivatives are $d{e}^0=-V^{\prime }{e}^0\wedge e^1$, $d{e}^1=0$, and $d{e}^2=(V/r)e^1\wedge e^2$. Solving Cartan's first structure equation and imposing Lorentzian connection-form antisymmetry givesIn particular ${\omega }_{01}=-V{V}^{\prime }dt$ and ${\omega }_{12}=-Vd\theta$. The parallel spinor equations are thereforeDifferentiate the angular equation with respect to $r$ and use ${\partial }_rϵ=0$. This gives $V^{\prime }{\gamma }^1{\gamma }^2ϵ=0$. Since $({\gamma }^1{\gamma }^2{)}^2=-I$, this matrix is invertible. A parallel spinor that vanishes at any point vanishes everywhere on the connected domain, by uniqueness of parallel transport. Thus a nonzero parallel spinor implies $V^{\prime }=0$ throughout the patch. There are no nonzero parallel spinors unless $V$ is constant. The zero spinor field is always a solution, so “nonzero” is essential in interpreting the printed assertion. A smooth original $V$ of either sign is constant on such a patch exactly when $|V|$ is constant; $V=0$ is excluded because the given metric is not defined there.

Write the constant as $c=|V|>0$, and introduce $T=ct$, $\rho =r/c$, and $\varphi =c\theta$. The metric becomesA circle at small $\rho$ has circumference $cP\rho$ if $\theta$ has period $P$, whereas its proper radius is $\rho$. Smoothness requires circumference divided by radius to tend to $2\pi$, not a multiple of $2\pi$. Conversely, when $cP=2\pi$, the coordinates $X=\rho \cos \varphi$, $Y=\rho \sin \varphi$ exhibit a smooth flat spatial disk. HenceFor a prescribed period $2\pi$, this requires $c=1$; otherwise there is a conical singularity at the apex.

For constant $V=c$, the time and radial equations make the components independent of $t,r$. The angular equation has all solutionswhere ${ϵ}_0$ is an arbitrary constant two-component spinor field and ${\gamma }^1{\gamma }^2=-{\gamma }^0$. There are two independent real solutions for real spinor fields, or two independent complex solutions if complex spinors are used. At the smooth angular period, these polar-frame components change sign. This is exactly the polar-frame parallel spinor transformation under the spin lift of a full rotation: the rotating polar orthonormal frame does not extend through the origin. The spin structure extending over the disk uses this antiperiodic polar trivialization; in a Cartesian orthonormal frame the same parallel spinors have constant components and extend smoothly. Requiring periodic components in the rotating frame would select the other spin structure on the punctured disk, which does not extend over its center.

Work on a regular patch with a smooth nonzero conformal factor. Its sign is constant there, so replace it by $|\Omega |$ if necessary and assume $\Omega >0$. Put $u=\log \Omega$, and let all partial derivatives, index raising on $u_i,{\Omega }_i$, and the operators $\Delta ,|\nabla \cdot {|}^2$ in the following formulas use the flat Cartesian metric $\delta$. The orthonormal coframe $E^i=\Omega d{x}^i$ hasThe proposed connection 1-forms reduce toLowering the first frame index with $\delta$ makes these antisymmetric, which establishes metric compatibility. Moreover,Thus Cartan's first structure equation has zero torsion. Uniqueness of the metric-compatible torsion-free connection identifies these forms as the Levi-Civita connection; this also explains why merely guessing a skew connection would not have sufficed.

To calculate the Riemann curvature tensor, use Cartan's second structure equation. Direct differentiation and multiplication giveIntroduce the Schouten tensor in Cartesian coordinate components,The preceding calculation groups into the curvature 2-formsKeep the convention $R_{ijkl}=g({\partial }_i,R({\partial }_k,{\partial }_l){\partial }_j)$, with $R(X,Y)=[{\nabla }_X,{\nabla }_Y]-{\nabla }_{[X,Y]}$, as in the first solution. Converting frame indices to coordinate indices gives the curvature of a conformally Euclidean metric:These are coordinate components. Components in the dual orthonormal frame are ${\Omega }^{-4}{R}_{ijkl}$, hence the same expression with the overall factor ${\Omega }^{-2}$. This distinction is important when contracting the Riemann curvature tensor.

Contract with $g^{ik}={\Omega }^{-2}{\delta }^{ik}$. In four dimensions the Ricci tensor becomes $R_{jl}=2S_{jl}+{\delta }_{jl}{\sum }_k{S}_{kk}$, and thereforeTaking the remaining metric trace yields the Ricci scalarThe cancellation of the gradient-squared terms in the last expression is special to dimension four.

For the Tolman wormhole, compute on $r>0$:Substitution into the Ricci tensor and Ricci scalar givesFor example, the coordinate radial eigenvalue is $-12\lambda /(r^2+\lambda {)}^2$, while each of the three tangential eigenvalues is $4\lambda /(r^2+\lambda {)}^2$. Their sum vanishes, but none vanishes when $\lambda \ne 0$. The Vacuum Einstein equations with zero cosmological constant require $R_{ij}-\frac{1}{2}R{g}_{ij}=0$ and hence $R_{ij}=0$. The metric is scalar-flat but not a vacuum solution for any nonzero $\lambda$; only $\lambda =0$ gives flat vacuum space. A nonzero cosmological constant does not rescue it: its trace would force $R=4\Lambda$, so $R=0$ would first force $\Lambda =0$.

The smooth wormhole interpretation uses $\lambda >0$; $r=0$ is another asymptotically flat end, not an included origin, as inversion $\rho =\lambda /r$ shows. For $\lambda <0$, the conformal factor vanishes at $r=\sqrt{-\lambda }$, where the metric is degenerate. The local non-vacuum calculation remains valid on each regular region away from that sphere, but such a metric is not a smooth wormhole across it.

Treat the orthonormal coframe in spacetime and the Lorentz connection 1-form as independent variables, with nondegenerate coframe and ${\omega }_{ab}=-{\omega }_{ba}$. Fix the curvature conventionThe second expression is Cartan's first structure equation; the first is Cartan's second structure equation. Use compactly supported variations, or boundary data that make the variation's surface term vanish.

For a connection variation, $\delta R^{ab}=D\delta {\omega }^{ab}$, where $D$ is the covariant exterior derivative. Since $D{ϵ}_{abc}=0$, its graded product rule givesFor a coframe variation, relabeling the dummy indices makes the three variations of the cubic term identical. HenceThe independent variations therefore give ${ϵ}_{abc}{T}^c=0$ and ${ϵ}_{abc}(R^{ab}+3\lambda E^a\wedge E^b)=0$. In three dimensions the alternating symbol identifies an antisymmetric index pair with a single index, so these equations are equivalent toThese are the equations of first-order three-dimensional gravity. The first selects the Levi-Civita connection; the second fixes constant sectional curvature $K=-3\lambda$. The factor of three follows from varying the coefficient exactly as printed.

On a static coordinate patch where $f>0$, choose the Lorentz frame metric ${\eta }_{ab}=\mathrm{diag}(-1,1,1)$ and coframePut $A=f^{\prime }/(2\sqrt{f})$ and $B=\sqrt{f}/r$. Exterior differentiation gives $d{E}^0=-A{E}^0\wedge E^1$, $d{E}^1=0$, and $d{E}^2=B{E}^1\wedge E^2$. Solving the equation of vanishing torsion forms givesHere antisymmetry is in the two raised or two lowered frame indices; mixed time-space components have equal, rather than opposite, signs. This is the Lorentzian connection-form antisymmetry needed to retain the curvature signs.

Using Cartan's second structure equation, the nonzero curvature 2-forms areFor example, $d(A{E}^0)=-(\sqrt{f}{A}^{\prime }+A^2)E^0\wedge E^1=-f^{\prime \prime }{E}^0\wedge E^1/2$, while the $02$ form is the product ${\omega }^0{}_1\wedge {\omega }^{12}=-AB{E}^0\wedge E^2$. Thus the field equations require $f^{\prime \prime }/2=3\lambda$ and $f^{\prime }/(2r)=3\lambda$. Integrating the latter gives $f=C+3\lambda r^2$; the former is then satisfied automatically. The origin condition fixes $C=1$, yieldingAs a sign and normalization check, the Ricci tensor is $R_{\mu \nu }=-6\lambda g_{\mu \nu }$ and the scalar curvature is $R=-18\lambda$. The coframe calculation applies initially in the region with $f>0$; if $\lambda <0$, $f$ vanishes at $r=1/\sqrt{-3\lambda }$, delimiting that static chart without changing the derived function.

The displayed $e^a$ are one-forms, so they form an orthonormal coframe, dual to the orthonormal frame $E_0=A^{-1}{\partial }_t$, $E_1=A^{-1}{\partial }_x$, $E_2=A^{-1}{\partial }_y$, $E_3={\partial }_z$. Use ${\eta }_{ab}=\mathrm{diag}(-1,1,1,1)$ and abbreviateFor $i=0,1,2$, $d{e}^i=a{e}^3\wedge e^i$, while $d{e}^3=0$. The Levi-Civita connection is fixed by Cartan's first structure equation together with Lorentzian connection-form antisymmetry, ${\omega }_{ab}=-{\omega }_{ba}$, where ${\omega }_{ab}={\eta }_{ac}{\omega }^c{}_b$. Its nonzero connection 1-forms areIn particular, the time-index pair has the same sign with one index raised; incorrectly imposing ${\omega }^a{}_b=-{\omega }^b{}_a$ would lose the Lorentzian sign. All diagonal and all other entries vanish.

Apply Cartan's second structure equation. For $i=0,1,2$,For distinct $i,j$ in $\{0,1,2\}$, putting $s_0=-1$ and $s_1=s_2=1$ gives ${\Theta }^i{}_j={\omega }^i{}_3\wedge {\omega }^3{}_j=-s_j{a}^2{e}^i\wedge e^j$. Thus a complete independent set of curvature 2-forms isAll diagonal entries vanish. The remaining entries follow from ${\Theta }_{ab}=-{\Theta }_{ba}$: ${\Theta }^j{}_i=-s_i{s}_j{\Theta }^i{}_j$ for $i,j\le 2$, and ${\Theta }^3{}_i=-s_i{\Theta }^i{}_3$. These relations and the displayed six entries specify all sixteen curvature 2-forms. This computation is Cartan curvature of a planar warped spacetime.