Penrose Diagrams

Research Depth 119 in the knowledge graph I know this Set as goal
Unlocks 1 downstream topic
penrose-diagram conformal-compactification causal-structure carter-penrose infinity

Core Idea

Penrose diagrams (Carter-Penrose diagrams) are conformal spacetime diagrams that map the entire spacetime — including points at infinity — onto a finite region while preserving the causal structure (light cones at 45 degrees everywhere). They are constructed by a conformal transformation g_μν → Ω²g_μν that compresses infinite distances to finite coordinate ranges, bringing spatial infinity (i⁰), past/future null infinity (J⁻/J⁺), and past/future timelike infinity (i⁻/i⁺) to the boundary of the diagram. Light rays always travel at 45 degrees, timelike curves travel at less than 45 degrees from vertical, and spacelike curves at more than 45 degrees. Penrose diagrams make the global causal structure transparent: event horizons, the black hole interior, white holes, the causal disconnection of separate regions, and the structure of cosmological spacetimes are all immediately visible.

Explainer

Ordinary spacetime diagrams have a fundamental limitation: infinity is infinitely far away, so the global causal structure of a spacetime cannot be displayed on a finite diagram. Penrose diagrams solve this by applying a conformal transformation that compresses infinite distances to finite coordinate ranges while preserving the light-cone structure. The idea is to replace the physical metric g_μν with a conformally related metric g̃_μν = Ω²g_μν, where Ω(x) is a positive function that goes to zero at the boundary (at "infinity"). Since ds² = 0 if and only if ds̃² = Ω²ds² = 0, null curves in the original spacetime remain null in the conformally rescaled spacetime. Light rays therefore travel at 45 degrees on the Penrose diagram, just as on a Minkowski spacetime diagram, and the causal relationships between events are immediately readable from the diagram.

For Minkowski spacetime, the Penrose diagram is a diamond (or triangle, if spherical symmetry is used to suppress angular dimensions). The boundary of the diamond represents "infinity" in five distinct senses: future timelike infinity i⁺ (top vertex, where massive particles end up if they travel forever), past timelike infinity i⁻ (bottom vertex), spatial infinity i⁰ (right vertex, infinitely far away in space), future null infinity J⁺ (upper-right edge, where outgoing light rays arrive), and past null infinity J⁻ (lower-right edge, where incoming light rays originate). Every point in the interior of the diamond represents a two-sphere's worth of events (the angular dimensions are suppressed), and every causal relationship in the entire infinite Minkowski spacetime is captured in this finite diagram.

The Penrose diagram for the maximally extended Schwarzschild black hole is one of the most illuminating diagrams in physics. It consists of four triangular regions arranged in a square pattern: region I (the exterior we live in), region II (the black hole interior, bounded above by the spacelike singularity at r = 0), region III (a second asymptotically flat exterior), and region IV (the white hole interior, bounded below by a past singularity). The event horizon appears as a pair of diagonal null lines (45-degree lines) separating these regions. From the diagram, it is immediately clear that no causal curve from region II can reach region I (the definition of the event horizon), that every future-directed curve in region II hits the singularity (because it is a horizontal line at the top, and you cannot avoid moving upward on the diagram), and that no causal curve can travel from region I to region III (the wormhole is non-traversable).

For a realistic black hole formed by gravitational collapse, the Penrose diagram is modified: the left half of the Schwarzschild diagram (regions III and IV) is replaced by the interior of the collapsing star, which is not vacuum. Only regions I and II survive. The star's surface appears as a timelike curve that starts in the lower part of the diagram (before collapse) and eventually crosses the horizon into region II. This modification makes physically clear what the maximal extension obscures: white holes and parallel universes are mathematical artifacts of the eternal vacuum solution, not features of real black holes. Penrose diagrams for other spacetimes — Reissner-Nordstrom (charged), Kerr (rotating), de Sitter (cosmological constant), and Friedmann cosmological models — each have distinctive shapes that immediately communicate their causal structure, making these diagrams an indispensable tool in general relativity.

Practice Questions 4 questions

Prerequisite Chain

Counting to 10Counting to 20Understanding ZeroThe Number ZeroCounting to FiveOne-to-One CorrespondenceCombining Small Groups Within 5Addition Within 10Addition Within 20Two-Digit Addition Without RegroupingTwo-Digit Addition with RegroupingAddition Within 100Repeated Addition as MultiplicationMultiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Two-Digit by One-Digit DivisionDivision with RemaindersRemainders and Quotients in DivisionDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueReading and Writing DecimalsComparing and Ordering DecimalsAdding and Subtracting DecimalsMultiplying DecimalsDividing DecimalsDividing FractionsMixed Number ArithmeticOrder of OperationsInteger Order of OperationsVariable ExpressionsCombining Like TermsOne-Step EquationsTwo-Step EquationsSolving Multi-Step EquationsEquations with Variables on Both SidesAngle Pairs: Complementary, Supplementary, and VerticalParallel Lines and TransversalsCorresponding AnglesAlternate Interior AnglesTriangle Angle Sum TheoremExterior Angle TheoremTriangle Inequality TheoremSimilar Triangles: AA SimilaritySimilar Triangles: SSS and SAS SimilarityProportions in Similar TrianglesRight Triangle Trigonometry IntroductionTrigonometric Ratios ReviewRadian MeasureConverting Between Degrees and RadiansThe Unit CircleGraphing Sine and CosineGraphing Tangent and Reciprocal Trigonometric FunctionsDerivatives of Trigonometric FunctionsAntiderivativesIterated Integrals and Fubini's TheoremDouble Integrals in Cartesian CoordinatesDouble Integrals over Rectangular RegionsDouble Integrals in Polar CoordinatesDouble Integrals: Definition and SetupIterated Integrals and Fubini's TheoremDouble Integrals over Rectangular RegionsDouble Integrals over General RegionsApplications of Double Integrals: Area, Mass, and MomentsTriple Integrals in Cartesian CoordinatesTriple Integrals in Cylindrical and Spherical CoordinatesChange of Variables and the Jacobian DeterminantApplications of Triple Integrals: Volume and MassVector Fields and Their RepresentationsLine Integrals of Vector FieldsGreen's TheoremSurface Integrals and Flux of Vector FieldsSurface Integrals and Flux of Vector FieldsDivergence Theorem: Flux and OutflowDivergence TheoremElectric FluxGauss's LawConductors in Electrostatic EquilibriumCapacitance and CapacitorsDielectricsDielectric Constant and Relative PermittivityElectric Field Inside Dielectric MaterialsDielectric Materials and PolarizationDielectric Susceptibility and PermittivityEnergy Density in Electric FieldsElectric Current and Current DensityElectrical Resistance and ResistivityOhm's Law and Circuit ElementsElectromotive Force (EMF) and BatteriesKirchhoff's Circuit Laws: Voltage and CurrentDC Circuit Network Analysis MethodsTransient Response in RC CircuitsRC CircuitsLC and RLC CircuitsAC Circuits: FundamentalsImpedance and ReactanceAC Power and ResonanceElectromagnetic WavesPostulates of Special RelativitySpacetime Diagrams and Minkowski GeometryCurved Spacetime and the Metric TensorTensor Calculus in General RelativityChristoffel SymbolsThe Riemann Curvature TensorRicci Tensor and Scalar CurvatureEinstein Field EquationsThe Schwarzschild SolutionBlack Holes (Schwarzschild)Penrose Diagrams

Longest path: 120 steps · 675 total prerequisite topics

Prerequisites (2)

Leads To (1)