Conformal completion Created 2026-09-24 Updated 2026-10-13
A conformal completion embeds a physical spacetime into a manifold with boundary carrying a regular metric . Infinity is represented by with ; the causal character of each boundary component is determined by .
This spacetime boundary construction is a conformal compactification, not an arbitrary topological compactification.
The conformal time satisfies and . Multiplying the physical metric by gives a finite conformal compactification with periodic spatial coordinate. Its past and future conformal boundaries are spacelike circles. Null geodesics have slopes .
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 73 4 Solution Created 2026-10-03 Updated 2026-10-14
Take and use . The case is flat spacetime and is not a black hole. In the nontrivial extremal Reissner-Nordstrom metric,The horizon is a double zero at , with surface gravity . The function is positive on both sides of the horizon. Thus the intermediate nonstatic region of a nonextremal charged hole disappears; one must not draw that region as a strip of nonzero width in the extremal Penrose diagram.
To construct the Penrose diagram, first integrate the radial tortoise coordinate:The additive constant has been chosen so that in the inner block. In the exterior, at and at infinity. In the inner static region , it increases from to . Set and . The radial metric is , so its radial null directions are and .
Compactify each static block usingThis conformal compactification puts radial null geodesics at degrees. The exterior is a diamond: its right-hand edges are past and future null infinity, while its left-hand edges are the past and future degenerate horizons. At the left vertex, finite static and give , . This is an end of the infinite spatial throat, not a regular bifurcation surface where the two horizon branches meet. A degenerate Killing horizon has no such bifurcation sphere. The inner block occupies the half-diamond , because there. Its vertical edge is the timelike curvature singularity ; its two diagonal edges are the two horizon branches at . Its outer vertex likewise represents an excluded infinite-throat end.
The static-coordinate compactification identifies the blocks but does not by itself establish the smooth horizon extension. For that, use Ingoing Eddington-Finkelstein coordinates on the future horizon:Its radial determinant is , so it is nonsingular at . Glue the exterior future edge, with finite, to the inner past edge, with the same finite . The outgoing coordinate similarly gives and extends the other horizon branch. Continue adjoining these regular blocks across every extendible null edge. The construction repeats indefinitely to the future and past, producing the maximal analytic diagram with infinitely many asymptotic exterior regions and inner static regions bounded by timelike singularities. Horizons are null edges, never the excluded throat vertices. Identical edges in different copies must be glued with their time orientations preserved; they are not all the same exterior infinity.
Exterior and inner Penrose building blocks of an extremal charged black hole; the marked edges glue in ingoing coordinates and open circles are excluded throat ends
. Details. The figure shows the two building blocks, rather than compressing the whole infinite extension into a misleading finite diagram. The red edges glue across a future horizon at finite advanced time. Outgoing coordinates extend the next edge to another exterior copy. The thin diagonal lines illustrate the radial light-cone directions.
For spatially conformally flat coordinates, compare the radial and angular parts of with . The angular coefficient requires , and the radial coefficient then gives, in the exterior,Choose the integration constant to make and at infinity. In Cartesian coordinates , , , put . The Extremal Reissner-Nordstrom isotropic coordinates giveThese coordinates have and describe the exterior only. The locus is the limit , not an ordinary point included in this chart. An independent inner chart is obtained with , , giving and ; it must be attached using the regular null coordinates, not by continuing the exterior radial coordinate through a Cartesian origin.
The infinite proper distance is real. Along a constant- exterior radius,It is a property of a static spacelike slice. It does not bound the proper time of a freely falling observer. Indeed, a neutral radial timelike geodesic has conserved energy per unit rest mass and normalization , givingAt the horizon , so the remaining proper time is finite. Moreover,The observer crosses the regular future horizon with finite and finite proper time. This is the Extremal Reissner-Nordstrom causal crossing, which the singular static time coordinate conceals.
There is also a direct causal test for the event horizon. Inside the future horizon, outgoing radial null curves in the ingoing chart satisfy . To reach from below they would requireNear the horizon, . A future timelike or nonradial null curve cannot increase faster than the outgoing radial null curve, since and imply after dropping the nonnegative angular term. Hence a signal that crossed inward cannot return to the original exterior's future null infinity. Curves can encounter other blocks in the maximal analytic extension, but their infinities are not the original observer's infinity. Relative to that asymptotic end, is the boundary of the causal past of future null infinity: it is an event horizon.
Finally, the Reissner-Nordstrom trapped spheres test explains why the proposed observation is unsurprising. Normalize future radial null normals by , , with . The round-sphere null expansions areThere is no region of strictly future-trapped round spheres, while the horizon spheres are marginal with . Absence of those particular trapped surfaces does not imply absence of an event horizon. The geometry has a nonzero horizon area and a genuine timelike singularity at in its extension. The infinite static throat does not remove the black hole: infall crosses its horizon in finite proper time, and no signal returns to the same exterior infinity.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 60 4 Solution Created 2026-10-03 Updated 2026-10-14
The physical spherical coordinates cover , , , and with periodic identification. The center and the polar axes are the usual coordinate singularities, rather than physical curvature singularities; a regular polar chart restricts and . For the null coordinates,Thus the physical metric tensor isThe conformal transformation followed by , gives , , andConsequently . Finally , converts to , yieldingThe ranges must retain their joint constraints:Equivalently, and , with . The angles retain their original ranges and identifications. Extending to negative values would double-count the radial polar geometry. The conformal factor isThe unphysical metric tensor extends onto the Einstein static universe, while physical Minkowski spacetime occupies the triangular region in its radial Penrose diagram. The edge is the regular center and belongs to the physical region away from its endpoints.
The conformal boundary consists of the following infinities. Future null infinity has , hence with , and corresponds to finite with . Past null infinity has , hence , and corresponds to finite with . Future timelike infinity is , past timelike infinity is , and spacelike infinity is . Although angles label points on null infinity, their two-spheres collapse at these three endpoint locations in the compactified picture.
The radial Minkowski conformal diagram and the endpoints of timelike, null and spacelike geodesics
. Details. For the geodesic endpoints in Minkowski conformal compactification, one can check the limits directly. A timelike inertial trajectory is with . At both and tend to , so and the trajectory ends at future timelike infinity. At both tend to , giving past timelike infinity. This includes a stationary inertial worldline with bounded .
For a null inertial trajectory, . As , , so has a finite limit while ; its future endpoint lies on future null infinity. As , , giving a finite limiting and , hence a past endpoint on past null infinity. Radial null geodesic paths have constant. A ray passing through the center changes its angular direction; in the angle-suppressed radial diagram it reflects at rather than terminating there.
A spacelike geodesic is also a straight line, now parametrized so that . At either end, asymptotically, , , and the endpoint is spacelike infinity. A radial spacelike line at has two opposite-angle halves which project onto the same horizontal interval in the diagram.
The conformal compactification endpoints occur at finite but at infinite physical proper time or affine parameter; Minkowski spacetime is geodesically complete. The conformal preservation of null geodesic paths does not preserve an affine parameter: if is physically affine, an unphysical affine parameter satisfies up to a constant. Along a complete null ray this can have a finite integral at infinity. Timelike and spacelike physical geodesic paths are not generally geodesics of the rescaled metric tensor, so their drawn curves must not be interpreted as freely falling unphysical observers.
Finally, every physical event can send an outgoing null ray to future null infinity, so is all of Minkowski spacetime. Its black-hole region and intrinsic event horizon are empty. The null edges in the diagram are infinity, not horizons concealing part of the physical manifold. Complete inertial observers likewise have no observer event horizon. Accelerated observers restricted to a Rindler wedge can have a Rindler horizon, but that is observer-dependent and does not contradict the horizon-free Minkowski spacetime. The conformal diagram compactifies infinity; it does not introduce a physical horizon.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 62 1 Solution Created 2026-10-03 Updated 2026-10-14
Use geometrized units and positive mass . The Schwarzschild metric initially describes an exterior region, not the whole black hole:Here is the areal radius and is Schwarzschild time, normalized at infinity. We must distinguish a removable coordinate singularity from a genuine curvature singularity. The Kretschmann scalar isIt is finite at and diverges at . Thus can be crossed in a better chart, whereas cannot be made a regular point by changing the coordinate chart.
First integrate the Schwarzschild tortoise coordinate:The radial metric becomes . Set ; the Ingoing Eddington-Finkelstein coordinates giveThe radial block has determinant minus one and smooth coefficients at , so it extends through the future Schwarzschild event horizon. Its ingoing radial null geodesics have constant , while the outgoing radial null geodesics obey . In the future interior both future-directed radial null families decrease ; is therefore an unavoidable future boundary for causal motion there. The outgoing chart similarly gives , extending through the past horizon. A single one of these null charts does not display both horizons or the entire extension.
To regularize both horizons together, introduce Kruskal–Szekeres coordinates in the original exterior:ThenFor the right side defining decreases monotonically from one to minus infinity. In fact its derivative is . Thus it determines a unique smooth wherever , including . At the radial metric coefficient is finite and nonzero, proving actual regularity of both horizons and their intersection, rather than merely relabelling the old coordinate divergence. Allowing all real with produces the simply connected maximal analytic extension, the Kruskal spacetime.
There are four regions of the Kruskal spacetime. The original exterior is ; a second asymptotically flat exterior is . The future black hole has and ; the past white hole has and the same range of areal radius. The horizon branches are and . Their intersection is a regular bifurcation surface, a two-sphere of radius , not the centre of the spacetime. Each point of the radial diagram represents a symmetry two-sphere.
Put and . Radial null geodesics have slopes , and the curvature singularities haveThe upper branch is the future spacelike Schwarzschild singularity; the lower branch is the white hole past singularity. The Killing vector field extends as . It is future directed in the original exterior and past directed in the other exterior for the chosen global time orientation; inside, this stationary vector is spacelike. In the future interior, is a time coordinate decreasing toward the singularity. For example, a radial infaller of unit specific Killing energy obeys and reaches from the horizon in finite proper time . The curvature divergence and this geodesic endpoint show why the extension stops there.
For the global causal picture, compactify the null coordinates using , and let , . The conformal compactification rescales the metric to remove the coordinate factors from the radial metric while preserving its null directions. Since gives on the two singular branches, they become the horizontal lines . The resulting Penrose diagram displays the two exteriors, each with its own past null infinity, future null infinity and spatial infinity, plus the future and past interiors. The singularities are spacelike boundaries; the horizons are interior null surfaces. Future event horizons separate events that can escape to an exterior's future null infinity from events in the black-hole interior.
Kruskal and compactified diagrams of the maximal Schwarzschild extension, showing both exteriors, horizons and spacelike singularities
. Details. The time-symmetric spatial slice has a bridge between the exteriors, but it is not a traversable passage. Future-directed causal curves have nondecreasing and . Moving from the right exterior to the left would require to decrease from positive to negative; the reverse passage would require to decrease. Both are impossible. This proves the non-traversability of the Schwarzschild bridge. The complete eternal vacuum extension has two exteriors, a black hole and a white hole; it has no causal route between its exteriors. A black hole made by stellar collapse is a different global spacetime: its matter-filled past replaces the white hole region, and it normally has only one exterior. The vacuum extension constructed here should not be mistaken for the collapse history of a single star.
With electric charge, spherical electrovacuum instead gives the Reissner-Nordstrom metric, in an electromagnetic normalization absorbing the charge conversion constants:For , there are two simple horizons. Outside the metric is static; between and , and is timelike. Inside , again, so is spacelike and the singularity is timelike. The outer horizon is the event horizon; the inner horizon is a Cauchy horizon. The same logarithmic tortoise-coordinate and exponential-null-coordinate method crosses each simple horizon locally, but one exponential scale does not regularize both simultaneously: their surface gravities have different magnitudes,Continuing the exact metric through successive inner horizons produces repeated blocks with further exteriors, and evolution beyond a Cauchy horizon is not uniquely fixed by data on the original Cauchy hypersurface. The timelike singularity can be avoided by some trajectories in this ideal extension, unlike the unavoidable spacelike singularity of the future Schwarzschild spacetime interior. However, the enormous inner-horizon blueshift makes this exact continuation unstable: perturbations can cause mass inflation. This is an important qualification on the global structure of a charged spherical black hole.
At the two horizons coalesce, and surface gravity is zero. The horizon is a degenerate Killing horizon, the tortoise-coordinate divergence becomes a pole and the ordinary nondegenerate Kruskal spacetime construction must be replaced. The exterior develops an infinitely long spatial throat and the formal Hawking temperature vanishes. For , no real zero of remains: the electrovacuum solution has a naked singularity, not a black hole. Consequently arbitrarily allowing charge changes the causal structure, not just the horizon radius.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 63 4 Solution Created 2026-10-03 Updated 2026-10-14
For the full unit-radius two-dimensional de Sitter spacetime, the coordinate ranges areOne can use with endpoints identified. If the identification is omitted, the same line element describes the universal covering spacetime instead. The periodicity follows from the hyperboloid embeddingThe induced ambient Minkowski metric is precisely the given Lorentzian metric.
Using an affine parameter , the geodesic Lagrangian is . The nonzero Christoffel symbols areThus the geodesic equations and their first integrals areHere for unit-speed timelike geodesics, for null geodesics and for unit-speed spacelike geodesics. The conserved is the geodesic conserved quantity from a Killing vector for the angular symmetry.
All geodesics of two-dimensional de Sitter spacetime can be written especially simply in the embedding. If is the initial point and the initial tangent, with , , , the geodesic has normal ambient acceleration . ThereforeThese curves stay in the two-plane spanned by and , preserve both constraints and have no tangential acceleration. They consequently solve the geodesic equation and exhaust all initial directions.
An isometry can move the chosen point to , namely . For future-directed timelike geodesics take , obtainingThe continuous angular branch has , and every real gives a distinct timelike direction. The two null geodesics have andFor spacelike geodesics take , givingThey are closed with period in affine arclength and . In particular, is the equatorial geodesic . These three families, with reversals of parametrization allowed, are the requested complete set through the chosen point.
The conformal time substitution givesHenceMultiplying by gives the regular conformal cylinder of two-dimensional de Sitter spacetime. Adding completes the conformal compactification; both boundary circles are spacelike. Null geodesics are straight lines through the origin. The other families have the useful diagram equationsThe image sketches representative directions from each family; the formulas allow all intermediate directions.
Geodesics through one point and observer horizons on the two-dimensional de Sitter conformal cylinder
. Details. For the complete observer , let be the shortest angular distance on the circle. Since light travels one unit of angular distance per unit conformal time, an event at can signal to the observer at some finite future time precisely whenEquality defines its future observer event horizon. Likewise an event can receive a signal emitted by the observer precisely whenand equality defines the past horizon. In the lift , their branches are and . The common communication region is the diamond , the observer's static patch of de Sitter spacetime. These are the observer horizons in two-dimensional de Sitter spacetime. Every complete timelike observer has analogous horizons after a de Sitter isometry; they depend on the observer, rather than enclosing an intrinsic black-hole region.
Despite these horizons, each constant- circle is a Cauchy hypersurface of the full spacetime: any inextendible causal curve crosses it exactly once. The global spacetime is therefore globally hyperbolic and has no Cauchy horizons. The conformal boundaries lie at infinite proper time for complete timelike geodesics and infinite affine distance for complete null geodesics, so their finite height in the diagram is not a physical incompleteness.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 59 4 Solution Created 2026-10-03 Updated 2026-10-14
The starting point is the Grassmannian of complex two-planes . Choose a basis and form the simple bivector . A change of basis multiplies by a nonzero determinant, so its projective class is independent of that choice. The Plücker embedding is thereforeIt is injective because . In a basis of , its six homogeneous coordinates satisfyThis is the condition . Conversely, a nonzero antisymmetric matrix satisfying it has Pfaffian zero, hence rank at most two; its nonzero rank is even, so it has rank two and is a simple bivector. Therefore the equation characterizes the image, the Klein quadric . Its gradient cannot vanish at a projective point, since its six partial derivatives are the six coordinates up to permutation and sign. Thus is smooth and has complex dimension four, agreeing with .
The Klein quadric is the complexified compactified Minkowski space of the twistor correspondence. A volume form on turns into a scalar symmetric bilinear form . It is zero exactly when the two underlying two-planes have nontrivial intersection: the four spanning vectors are then linearly dependent. In projective twistor space this says that the two twistor lines meet. In the affine graph chart supplied by the twistor incidence relation, it is , so it is precisely null separation.
This also determines a conformal geometry on . At , the tangent space is for . The restriction of descends to a nondegenerate quadratic form on this four-dimensional quotient. Rescaling the representative changes the identification by a scalar, so its invariant content is a conformal class. In a graph chart its null tangent vectors are the rank-one matrices in , equivalently .
The compact complex geometry does not yet specify a real spacetime. The Lorentzian slice comes from the twistor Hermitian form of signature : real points are maximal totally isotropic two-planes. In the incidence chart, isotropy of is equivalent to , the usual real Minkowski condition. Its twistor lines lie wholly in projective null twistor space. Diagonalizing as positive and negative two-dimensional blocks also gives a useful global description: an isotropic two-plane projects isomorphically to the positive block, so it is a graph , and isotropy is . The real compact space is therefore , equivalently .
The same result is especially transparent in coordinates of the Plücker embedding after a complex linear change of coordinates on . The real Lorentzian cone has equationIts nonzero real generators represent points. Normalize the lengths of its positive and negative parts to one; real projectivization identifies their simultaneous antipodes. ConsequentlyThis is the Projective Minkowski compactification. Its universal cover is , with deck generator , so its fundamental group is . The projective version includes periodic identifications; an unwrapped Einstein-cylinder or Penrose diagram description uses the appropriate cover and affine domain instead.
For example, use homogeneous cone coordinates with quadratic equation . The affine patch sets and then . The complement is the null cone at infinity. It is much larger than a single point: different null directions retain different limits there.
For the Euclidean slice, choose an antilinear quaternionic structure on a complex vector space on twistor space, for exampleThe Euclidean reality structure on twistor space selects -invariant complex two-planes. Such a plane is a quaternionic line in , givingThere are no fixed projective twistors for : if , applying again would give . Every projective twistor instead lies on the unique invariant line . Thus the Euclidean correspondence becomes a fibration with fiber , in contrast to the Lorentzian correspondence where only null twistors represent real null geodesics. Distinct Euclidean real points have disjoint twistor lines, since the line through any and is unique. This reflects the absence of nonzero real null vectors for a positive-definite metric.
On the Klein quadric the Euclidean real cone has signature ; normalize its timelike coordinate to one and obtain the unit sphere . Its affine Euclidean chart omits one point. Inverse stereographic projection explicitly gives the round conformal metricwhich extends smoothly across that point. This proves the one-point conformal compactification of Euclidean space. The distinction between the Lorentzian Hermitian and Euclidean quaternionic reality structures is also described in Adamo's lectures on twistor theory; the global statements here follow from the explicit models just derived.
Finally, Wick rotation compares affine real slices through their complexification. Locally it changes to , the negative of the Euclidean metric; the overall sign does not change its null cone in the complexified setting. It does not identify the two real conformal compactifications globally. The Lorentzian projective space has fundamental group , while is simply connected. Its causal universal cover is noncompact, so passing to that cover does not repair the mismatch with the compact Euclidean sphere.
There is also a direct algebraic obstruction. In the homogeneous coordinates above the affine Wick substitution extends only as the rational mapSubstitution verifies that the image satisfies the same complex quadric equation. For and it collapses the point to , while at some infinity points every output coordinate vanishes. In particular it is indeterminate at . This is a genuine failure of holomorphic extension: the affine paths and , as , both tend to that input point. Their Wick images tend respectively to and , which are distinct points of the complex quadric.
Thus the answer to the global compatibility question is no: ordinary affine Wick rotation is a local analytic continuation, not a globally regular invertible map of the conformally compactified real spacetimes. The global obstruction to Wick rotation of conformal compactifications does not prevent both real slices from being studied inside the same smooth complex Klein quadric.
Schwarzschild conformal compactification 2026-10-14
For the Kruskal–Szekeres coordinates of a positive-mass Schwarzschild spacetime, . The displayed conformal compactification makes radial null geodesics lines of slope . The Killing horizons are , and the spacelike curvature singularities lie at , with . Two asymptotically flat exterior regions each have past null infinity, null infinity to the future, timelike infinity and spacelike infinity. The two exterior regions cannot communicate by any causal curve; future-directed curves that cross a future horizon instead end at the black-hole singularity.



