Tensor and Geometry Bridge

Curved-spacetime calculations require more than fluent index algebra. A reader must know which objects are coordinate independent, how differential forms and Lorentzian metrics encode structure, why connection coefficients can be nonzero in flat space, how curvature is detected, and how geodesics and deviation use that curvature. This bridge diagnoses those six capabilities and directs focused review; the full theory remains in Spacetime Geometry.

Required background. Calculus and Linear Algebra for Relativity supplies Jacobians, bilinear forms, differentiation, and eigenstructure. Helpful background. Differential Equations for Relativity supplies second-order systems and linearized evolution.

You should leave able to transform tensors and compute covariant derivatives and curvature in more than one chart, while separating coordinate artifacts from invariant geometry.

Tensor and geometry diagnostic

1. Under $x'^a=x'^a(x)$, write the transformation laws for a vector $V^a$ and covector $\alpha_a$. Show directly that $\alpha_aV^a$ is invariant.
2. Let $\omega=x\,dy-y\,dx$ on the plane. Compute $d\omega$ and $\int_C\omega$ around the unit circle counterclockwise. Check Stokes’ theorem on the enclosed disk.
3. For $g=\operatorname{diag}(-1,1,1,1)$, classify $X=(2,1,1,0)$ and find the spatial speed of its direction relative to the inertial time axis.
4. In polar coordinates on the Euclidean plane, $ds^2=dr^2+r^2d\phi^2$. Compute $\Gamma^r{}_{\phi\phi}$ and $\Gamma^\phi{}_{r\phi}$, then evaluate $\nabla_{\partial_\phi}\partial_\phi$.
5. State the commutator definition of $R^\rho{}_{\sigma\mu\nu}$ used on this site and explain why nonzero Christoffel symbols alone do not establish curvature.
6. If a one-component Jacobi field obeys $J''+KJ=0$ with $J(0)=0$ and $J'(0)=1$, solve for constant $K\gt0$ and identify the first conjugate zero in this model.

Hints and solutions

Hints for 1

Contravariant and covariant slots use inverse Jacobians. Substitute both laws into the contraction and use the chain rule.

Solution to 1

The component laws are

$$V'^a=\frac{\partial x'^a}{\partial x^b}V^b, \qquad \alpha'_a=\frac{\partial x^b}{\partial x'^a}\alpha_b.$$

Therefore

$$\alpha'_aV'^a =\frac{\partial x^b}{\partial x'^a} \frac{\partial x'^a}{\partial x^c}\alpha_bV^c =\delta^b{}_c\alpha_bV^c =\alpha_bV^b.$$

The scalar is unchanged although both component lists change.

Hints for 2

Use $d(f\eta)=df\wedge\eta+f\,d\eta$. On the circle take $x=\cos\phi$, $y=\sin\phi$.

Solution to 2

Because $d(dx)=d(dy)=0$,

$$d\omega=dx\wedge dy-dy\wedge dx=2\,dx\wedge dy.$$

On the unit circle,

$$\omega=\cos\phi(\cos\phi\,d\phi) -\sin\phi(-\sin\phi\,d\phi)=d\phi,$$

so $\int_C\omega=2\pi$. The disk integral is

$$\int_Dd\omega=2\int_Ddx\,dy=2\pi.$$

The signs agree with the counterclockwise boundary orientation.

Hints for 3

Compute $g(X,X)$. For a future timelike direction, divide the spatial magnitude by the time component to obtain its speed in this inertial frame.

Solution to 3

$$g(X,X)=-4+1+1=-2\lt0,$$

so $X$ is timelike and future directed. Its coordinate speed relative to the inertial time axis is

$$v=\frac{\sqrt{1^2+1^2}}{2}=\frac{1}{\sqrt2}\lt1.$$

The classification and subluminal speed agree.

Hints for 4

Only $g_{\phi\phi}=r^2$ varies. Use the Levi-Civita formula and remember that $\partial_\phi$ is a coordinate vector field, not a unit vector.

Solution to 4

The nonzero coefficients needed here are

$$\Gamma^r{}_{\phi\phi}=-\frac12\partial_rg_{\phi\phi}=-r, \qquad \Gamma^\phi{}_{r\phi}=\frac12g^{\phi\phi}\partial_rg_{\phi\phi}=\frac1r.$$

Thus

$$\nabla_{\partial_\phi}\partial_\phi =\Gamma^r{}_{\phi\phi}\partial_r =-r\partial_r.$$

The coordinate basis turns as $\phi$ changes; this nonzero derivative does not imply that the plane is curved.

Hints for 5

Use the commutator on a vector. Christoffel symbols can be set to zero at a point in normal coordinates, while curvature generally cannot.

Solution to 5

The convention is

$$[\nabla_\mu,\nabla_\nu]V^\rho =R^\rho{}_{\sigma\mu\nu}V^\sigma.$$

Connection coefficients are not tensor components: their coordinate transformation law contains an inhomogeneous second-derivative term. Curvature combines derivatives and quadratic connection terms so that those inhomogeneous pieces cancel. Polar coordinates on a flat plane therefore have nonzero $\Gamma^a{}_{bc}$ but zero Riemann tensor.

Hints for 6

The initial value $J(0)=0$ selects a sine solution; $J'(0)=1$ fixes its normalization.

Solution to 6

For $K\gt0$,

$$J(s)=\frac{1}{\sqrt K}\sin(\sqrt K\,s).$$

It has its first positive zero at $s=\pi/\sqrt K$. In a multidimensional geometric problem, a conjugate point requires an appropriate nontrivial Jacobi field and hypotheses along the geodesic; this scalar constant-$K$ model is diagnostic, not a general theorem.

Interpret the result

Match each prompt to a capability: tensors, forms, Lorentzian metrics, covariant derivatives, curvature, and geodesics/Jacobi fields.

• Secure: the construction is correct without confusing components with objects, and each answer includes an invariant or limiting check.
• Uncertain: the object is identified but a formula or sign needs a hint. Review only that topic and retry in a different chart.
• Not yet: contractions fail to transform consistently, $d$ is treated as an ordinary scalar derivative, Christoffel symbols are called curvature, or a coordinate singularity is called a geometric singularity.

Because the six topics are distinct, record the result for each rather than averaging them.

Focused review

• Manifolds and tensors: review Tensor Fields and Natural Operations for charts, tangent and cotangent spaces, pullbacks, and slot-wise transformation.
• Differential forms: review Exterior Algebra and Differential Forms for wedge products, $d^2=0$, pullbacks, orientation, and flux.
• Lorentzian metrics: review Pseudo-Riemannian Metrics and Signature for index movement, causal cones, and signature.
• Connections: review Affine Connections and Covariant Derivatives for the connection’s invariant meaning and its non-tensorial coefficients.
• Curvature: review The Riemann Curvature Tensor and fix signs from the commutator definition rather than memory.
• Geodesics and deviation: review Affine and Variational Geodesics before using completeness, conjugate points, or tidal separation.

These are full treatments. This bridge does not replace their definitions, proofs, or scope conditions.

Transfer task: nonzero connection, zero curvature

For $ds^2=dr^2+r^2d\phi^2$, use the coefficients from question 4 to compute

$$R^r{}_{\phi r\phi} =\partial_r\Gamma^r{}_{\phi\phi} -\partial_\phi\Gamma^r{}_{r\phi} +\Gamma^r{}_{r\lambda}\Gamma^\lambda{}_{\phi\phi} -\Gamma^r{}_{\phi\lambda}\Gamma^\lambda{}_{r\phi}.$$

Then write the radial geodesic equations for a curve with constant $\phi$ and explain the geometric lesson.

Hint 1

Besides $\Gamma^r{}_{\phi\phi}=-r$ and $\Gamma^\phi{}_{r\phi}=1/r$, all coefficients appearing in the first two product terms vanish or reduce immediately.

Hint 2

For $\dot\phi=0$, substitute directly into $\ddot x^a+\Gamma^a{}_{bc}\dot x^b\dot x^c=0$.

Solution

The derivative term is $\partial_r\Gamma^r{}_{\phi\phi}=-1$. The only nonzero quadratic contribution is

$$-\Gamma^r{}_{\phi\phi}\Gamma^\phi{}_{r\phi} =-(-r)\frac1r=+1.$$

Hence $R^r{}_{\phi r\phi}=0$. For $\phi=\phi_0$ constant, the geodesic equations reduce to

$$\ddot r=0, \qquad \ddot\phi=0,$$

so $r(s)=as+b$ traces a straight radial line. The connection is nonzero because the polar basis changes; the curvature vanishes because parallel transport around infinitesimal loops has no invariant defect. This is precisely the distinction between coordinate effects and geometry that must survive in curved-spacetime calculations.

Common errors

• Mixing active changes of a field with passive changes of its component description.
• Using a coordinate basis as if it were orthonormal; $\partial_\phi$ has norm $r$, not one.
• Declaring curvature from a nonzero connection coefficient or declaring flatness because coefficients vanish at one point.
• Treating a zero of one Jacobi component as a general conjugate-point proof.

Return to your route

After reviewing the specific geometric topics and completing the transfer task, return to the Graduate General Relativity Self-Study Path, Quantum Fields in Curved Spacetime, or the First Graduate General Relativity course, according to the route that sent you here.