Questions: Curvature Tensor

Question 1

The Riemann curvature tensor R(X,Y)Z is defined as ∇_X ∇_Y Z - ∇_Y ∇_X Z - ∇_{[X,Y]} Z. Why is the [X,Y] term necessary?

• A. To make R vanish in flat space — without it, R would be nonzero even on ℝⁿ with the standard connection
• B. To make R a tensor — without the [X,Y] term, the expression would not be C∞(M)-linear in X and Y
• C. To account for the torsion of the connection
• D. Both A and B are correct

Answer: (D)

Both reasons are correct and related. On flat ℝⁿ with the standard connection, ∇_X ∇_Y Z - ∇_Y ∇_X Z = [X,Y](Z) (because partial derivatives commute), so subtracting ∇_{[X,Y]}Z gives zero — as it should, since flat space has no curvature. Without the [X,Y] term, the expression would be nonzero in flat space when X and Y have a nonzero bracket. Moreover, the [X,Y] term is exactly what is needed to make R C∞(M)-linear in X and Y (i.e., tensorial), which is necessary for R to define a pointwise multilinear map.

Question 2

The Riemann curvature tensor of an n-dimensional Riemannian manifold has n⁴ components Rⁱⱼₖₗ, but the symmetries of the tensor greatly reduce the number of independent components. For n = 4 (spacetime), how many independent components does the Riemann tensor have?

• A. 256 (no reduction)
• B. 20
• C. 10
• D. 6

Answer: (B)

The Riemann tensor has symmetries: Rᵢⱼₖₗ = -Rⱼᵢₖₗ = -Rᵢⱼₗₖ (antisymmetric in first and second pairs), Rᵢⱼₖₗ = Rₖₗᵢⱼ (pair symmetry), and the first Bianchi identity Rᵢⱼₖₗ + Rᵢₖₗⱼ + Rᵢₗⱼₖ = 0. Together these reduce the n⁴ = 256 components to n²(n²-1)/12 = 20 independent components for n = 4. For n = 2, there is only 1 independent component (the Gaussian curvature). For n = 3, there are 6.

Question 3

A Riemannian manifold has vanishing curvature tensor (R = 0) if and only if it is locally isometric to Euclidean space.

• T. True
• F. False

Answer: True

R = 0 means parallel transport is path-independent (in simply connected neighborhoods), which means you can define globally consistent 'constant' vector fields. These constant fields serve as a coordinate frame in which the metric has constant components gij = δij — so the manifold is locally flat. Conversely, Euclidean space has R = 0 because the standard connection has zero Christoffel symbols and partial derivatives commute. Note 'locally isometric' — a flat torus has R = 0 everywhere but is not globally isometric to ℝ² (it is a quotient of ℝ²).

Question 4

How does the curvature tensor relate to tidal forces in general relativity?

Model answer: In general relativity, spacetime is a 4-dimensional Lorentzian manifold and the curvature tensor encodes the tidal gravitational field. Two freely falling particles (following geodesics) that start nearby will accelerate relative to each other due to curvature — this relative acceleration is given by the geodesic deviation equation d²Jᵏ/dt² = -Rᵏₗₘₙ γ'ˡ Jᵐ γ'ⁿ, where J is the separation vector. Curvature stretches and squeezes nearby geodesics, which is exactly what tidal forces do.

The geodesic deviation equation (or Jacobi equation) is the precise connection: the Riemann tensor acting on the velocity and separation vectors gives the tidal acceleration. In Newtonian gravity, tidal forces are the second derivatives of the gravitational potential; in GR, the Riemann tensor replaces and generalizes these second derivatives. This is why gravity in GR is curvature — not because massive objects 'bend space,' but because the curvature tensor encodes the physical tidal effects that are the observable content of gravity.