Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 58 4 Solution Created 2026-10-03 Updated 2026-10-14
Work on a regular patch with a smooth nonzero conformal factor. Its sign is constant there, so replace it by if necessary and assume . Put , and let all partial derivatives, index raising on , and the operators in the following formulas use the flat Cartesian metric . The orthonormal coframe hasThe proposed connection 1-forms reduce toLowering the first frame index with 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 , with , 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 , hence the same expression with the overall factor . This distinction is important when contracting the Riemann curvature tensor.
Contract with . In four dimensions the Ricci tensor becomes , 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 :Substitution into the Ricci tensor and Ricci scalar givesFor example, the coordinate radial eigenvalue is , while each of the three tangential eigenvalues is . Their sum vanishes, but none vanishes when . The Vacuum Einstein equations with zero cosmological constant require and hence . The metric is scalar-flat but not a vacuum solution for any nonzero ; only gives flat vacuum space. A nonzero cosmological constant does not rescue it: its trace would force , so would first force .
The smooth wormhole interpretation uses ; is another asymptotically flat end, not an included origin, as inversion shows. For , the conformal factor vanishes at , 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.