← Back to article

Equation 84 · The Bend an Elevator Cannot Fake

What does this equation mean?

−Γ0λiΓj0λ-\Gamma^i_{0\lambda}\Gamma^\lambda_{j0}

Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.

This mathematical expression combines the displayed quantities; its precise role follows from the surrounding article text. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.

Read it piece by piece

Γ0λi\Gamma^i_{0\lambda}

Symbol Gamma^i_0λ

Gamma0ia^i_0λ is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Understand this part →

Γj0λ\Gamma^\lambda_{j0}

Symbol Gamma^lambda_j0

Gammala^lambdaja_j0 is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Understand this part →

subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

superscript

superscript

A raised number can be a power. When it is a label or bound, it selects a case or the upper limit of a sum; the formula’s structure distinguishes these uses.

Understand this part →

See an illustrated explanation →

How to interpret it

Read this expression with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

What must therefore vanish, identically, is not the slope but the correctly defined curvature-frame component built from it. For any static metric of the form ds2s^2 = -U(x\mathbf x)^2\,dx02x_0^2 + δij\delta_{ij}\,dxix^i dxjx^j — flat spatial slices, all the position dependence carried by U — the only nonzero Christoffel symbols are Γ0i0\Gamma^0_{0i} = ∂i\partial_i ln⁡\ln U = ϕ,i\phi_{,i} and Γ00i\Gamma^i_{00} = U2U^2ϕ,i\phi_{,i} , both following directly from the metric’s definition. Substituting into the Riemann tensor’s defining combination for the mixed component RiR^i{}_{0j0} , every term built from purely spatial Christoffels vanishes because the spatial slices are exactly flat, and the two surviving pieces are…
Read the full surrounding passage
What must therefore vanish, identically, is not the slope but the correctly defined curvature-frame component built from it. For any static metric of the form ds2s^2 = -U(x\mathbf x)^2\,dx02x_0^2 + δij\delta_{ij}\,dxix^i dxjx^j — flat spatial slices, all the position dependence carried by U — the only nonzero Christoffel symbols are Γ0i0\Gamma^0_{0i} = ∂i\partial_i ln⁡\ln U = ϕ,i\phi_{,i} and Γ00i\Gamma^i_{00} = U2U^2ϕ,i\phi_{,i} , both following directly from the metric’s definition. Substituting into the Riemann tensor’s defining combination for the mixed component RiR^i{}_{0j0} , every term built from purely spatial Christoffels vanishes because the spatial slices are exactly flat, and the two surviving pieces are ∂j\partial_jΓ00i\Gamma^i_{00} and -Γ0λi\Gamma^i_{0\lambda}Γj0λ\Gamma^\lambda_{j0} . Expanding ∂j(U2ϕ,i)\partial_j(U^2\phi_{,i}) = U2U^2ϕ,i\phi_{,i}ϕ,j\phi_{,j} + U2U^2ϕ,ij\phi_{,ij} and Γ00i\Gamma^i_{00}Γj00\Gamma^0_{j0} = U2U^2ϕ,i\phi_{,i}ϕ,j\phi_{,j} , the two copies of ϕ,i\phi_{,i}ϕ,j\phi_{,j} cancel exactly, leaving

Read the equation in its article →

Sources cited in the article section

These citations give research context. Read each source to check which claims it supports.

Return to The Bend an Elevator Cannot Fake

See this formula across 1 published context →

Browse the mathematical compendium →