Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-69/3/ii/solution

For and , the physical exterior starts at . Throughout it, , so the putative zero of is not in the exterior and no regular horizon shields the curvature singularity. The normal to has positive limiting squared norm , identifying a timelike singular boundary. Outgoing radial null geodesics obey and escape from arbitrarily close to that boundary. Hence
At , the singular boundary coincides with and is null. There is no regular shielding horizon of positive area; this marginal singular extremal case must be separated from both the regular black hole and the supercritical timelike naked singularity. If “naked” is used simply to mean unshielded by a regular horizon, equality belongs on that side of the distinction, but its causal boundary is different.
The usual positive-mass restriction matters. For , at every positive radius and there is no positive-radius horizon; the central zero-area boundary at is singular and naked. For its angular sectional curvature is , which diverges there. For , with , and the angular sectional curvature also diverges as . The displayed family is undefined at with nonzero ; its uncharged zero-mass limit is flat.

New to topics? Read the docs here!