← The Shadow of Existence

P2

The Schwarzschild and de Sitter circle

the intrinsic geometry of one homogeneous ring—the event horizon and the curvature singularity at r=0 its two poles, run through by a single continuation

Open the typeset PDF

Abstract

This paper exhibits one homogeneous circle whose two poles are the event horizon and the curvature singularity at r=0, run through by a single analytic continuationL7, and read entirely from within the Schwarzschild geometry. The Schwarzschild interior, written in Lemaître–Tolman cycloid coordinates [Tolman1934, Bondi1947], has areal radius r(z) = M(1+ cos z) for z ∈[0,π], taking the horizon value r=2M at z=0 and the standard “singularity” value r=0 at z=π. This same cycloid is, term for term, the scale factor of a closed Friedmann cosmology: the black-hole interior and a closed universe are one curve—the classical seed, present already in bare Schwarzschild, of the collapse–cosmology identity this sequence makes exact. And the curve only ever decelerates: the radial acceleration along the infalling worldline is -M/r2, Newtonian free fall, negative at every radius, so the cycloid has no turning point of its rate. The turn belongs to a positive cosmological constant, not to the collapse, and appears only when this circle is carried to Λgt;0 [JanzenSlicing]. We observe that the two endpoints are analytic critical points of r(z) of identical character: dr/dz = 0 at both, d2r/dz2 = ±M alternately, and r(z) is everywhere C smooth as a function of . The maximal analytic extension of the cycloid arc is a single analytic curve—hyperbola, circle, hyperbola—in which each critical point opens, by continuation of into the complex plane, into a two-branch hyperbolic arm: z ↦±iρ at z=0 produces two isometric asymptotically flat exteriors at r gt;2M, and z ↦π±iρ' at z=π produces two asymptotically flat regions at r lt;0. The four regions at r ≥0 (the two exteriors and the two interior arcs) are precisely the maximal Kruskal–Szekeres extension, which terminates at r=0; the two regions at r lt;0 are the continuation through z=π that Kruskal never reaches, because it treats r=0 as a boundary rather than a critical point one continues through. We show that the Kretschmann scalar's divergence at r=0 is generated by the chain rule applied to the composition 48M2/r(z)6 at a non-degenerate critical point of r(z), and is therefore the curvature scalar of the Schwarzschild perspectival metric—the metric as a tensor field over the parameter , real as that metric's—rather than an invariant of the underlying smooth manifold parametrised by , which carries none that diverges. The standard asymmetric classification of the horizon as a “removable coordinate singularity” and r=0 as a “true curvature singularity” is not forced by the analytic structure of r(z): the two critical points are the same kind of object, and the standard classification commits a single category error twice. We identify both critical points as metric singularities of one genus—the horizon the finite-curvature species the companion paper [JanzenBHcausality] establishes for the event horizon, r=0 the conjugate infinite-curvature species—distinguished only by curvature, which is to say only at second order: the two are identical through first order and parted only there, being the two -poles of one homogeneous circle, so the asymmetry lies entirely in which value the chart's origin assigns each (2M versus 0), not in the curve. The standard reading draws an inference: because the curvature diverges at r=0, no continuation through it exists, so r=0 is an inextendible boundary. The cycloid is a counterexample to that inference: the same analytic continuation that the standard treatment accepts as removing the horizon at z=0 passes smoothly through z=π into the r lt;0 arm, so the cycloid curve passes through r=0 by the same step that carries through the horizon. The inference standardly drawn from the curvature divergence—that r=0 is an inextendible boundary at which the construction must stop—therefore fails; what is left standing is the rigorous, curvature-independent C0-inextendibility of r=0 established by Sbierski [sbierski2018], which the present continuation of the curve leaves untouched, and what the continued curve passes into is set out in Section 8. The discussion places the construction in a wider setting: the single horizon exhibited here is the Λ→0 degeneration of a root triple, so that horizon multiplicity is a reading of the cosmological constant, and the one circle carries both a Schwarzschild and a de Sitter reading [JanzenSlicing]. What the continued curve passes into is set out in Section 8: the point the standard reading treats as the terminus of the description is the one the companion papers' subject matter is organised around.

Introduction

The maximal analytic extension of the Schwarzschild solution, formulated by Synge [synge1950] and developed by Kruskal [kruskal1960] and Szekeres [szekeres1960], partitions the manifold into four regions joined at a bifurcation 2-sphere. Two are asymptotically flat exteriors and two are bounded by spacelike curvature singularities. The standard treatment classifies the horizon at r=2M as a removable coordinate singularity of the Schwarzschild chart, removed in coordinate systems—Kruskal–Szekeres, Eddington–Finkelstein, Lemaître—that extend smoothly through it. The curvature singularity at r=0 is classified as a true singularity on the grounds that the Kretschmann scalar K = RabcdRabcd = 48M2/r6 [Kretschmann1915] diverges there in every chart, and the manifold is therefore geodesically incomplete in a way that cannot be repaired by coordinate change. We will show this classification to be untenable: the horizon and r=0 are the same kind of object—two metric singularities of the Schwarzschild geometry—and the asymmetric standard reading misclassifies one of them.

This article re-examines that classification from the standpoint of the Lemaître–Tolman cycloid parametrisation of the Schwarzschild interior [lemaitre1933, Tolman1934]. In these coordinates the areal radius is given by

r(z) = M(1 + cos z),z ∈[0,π],
(1)

running from r=2M at z=0 (the horizon) to r=0 at z=π (the standard singularity). The function r(z) is C smooth on R, and its endpoints in ((1)) are non-degenerate critical points: dr/dz vanishes at both, with d2r/dz2 = -M at z=0 and d2r/dz2 = +M at z=π. The two endpoints are, on the underlying smooth function r(z), of identical analytic character. They are the two extrema of a smooth even function on the circle z ∈R/2πZ—equivalently, since r-M=M cos z obeys r”=-(r-M), the two -poles of the geometric circle (r-M)2+s2=M2 that the interior arc projects. Their identical character is then not a coincidence of r(z) but the homogeneity of that circle, which has no distinguished point. And that circle is a phase portrait as well as a figure: r”=-(r-M) is the harmonic oscillator in the displacement r-M, so with s=dr/dz the locus (r-M)2+s2=M2 is its orbit in phase space and 12 s2+ 12(r-M)2=M2/2 its conserved energy. The two critical points are the orbit's two turning points—the places the momentum vanishes—and a periodic orbit of one degree of freedom has exactly two, interchanged by the time reversal z↦-z that the evenness of r(z) expresses. So the homogeneity invoked here is the homogeneity of a level set of a conserved quantity, which is why no point of it is distinguishedL14. That circle is a Thales circle on the segment [0,2M]—centre (M,0) and radius , so every point of it subtends the segment at a right angle, and the two endpoints of the arc are exactly the two ends of its diameter. So Thales' theorem is why the critical points sit where they do: they are the diameter's ends, and a diameter has no preferred endL1. The sole asymmetry between the two poles is which value the chart's origin assigns each, and the curvature, a function of that value, is what reads it.

We show that this analytic symmetry has a structural consequence. The maximal analytic extension is a single analytic curve—hyperbola, circle, hyperbola—obtained by continuing into the complex plane at each critical point. At z=0 the two branches z ↦±iρ both give r = M(1+ cosh ρ) ∈(2M,∞) (since cosh is even), producing two isometric asymptotically flat exteriors that meet at the bifurcation 2-sphere at r=2M. At z=π the two branches z ↦π±iρ' both give r = M(1- cosh ρ') ∈(-∞,0), producing two regions on r lt;0. Combined with the time-parity choice that distinguishes the black-hole and white-hole interior arcs, the curve carries six pieces in the Schwarzschild chart: the two interior arcs, the two r gt;2M exteriors of the front seam, and the two r lt;0 regions of the back seam. The four pieces at r ≥0—two exteriors and two interiors, meeting at the bifurcation sphere and terminating at r=0—are precisely the maximal Kruskal–Szekeres extension. The two pieces at r lt;0 are the continuation through the conjugate critical point z=π, beyond where Kruskal terminates: Kruskal draws the curve up to the r=0 turn and stops, treating it as a boundary, and never draws the second hyperbolic arm. The apparent fragmentation into separate “regions” is an artefact of the Cartesian (r,t) chart, whose coordinates degenerate at the two critical points and so cut the single curve into patches at exactly the turns.

The Kretschmann scalar's divergence at r=0 is, in this framing, a chain-rule artefact. The composition K(z) = 48M2/r(z)6 = 48/[M4(1+ cos z)6] has a twelfth-order pole at z=π, generated by the second-order vanishing of r(z) there. It is the curvature scalar of the Schwarzschild perspectival metric—the metric as a tensor field over the parameter —real as that metric's and marking a genuine curvature singularity; that it tracks the chart's labelling is established directly, under the opposite labelling it would land at the horizon instead. What it is not is an invariant of the underlying smooth manifold on which is the natural coordinate: no coordinate-independent invariant constructed from the smooth structure r(z) itself diverges at z=π.

This falsifies the inextendibility inference on which the standard classification rests. The standard reading takes the curvature divergence at r=0 to entail an inextendible boundary—that no continuation through it exists. The cycloid is a counterexample to that entailment, and a single counterexample refutes a universal. The continuation z ↦π+ iρ' carries the smooth curve through z=π into the r lt;0 arm, by the same analytic operation the standard treatment already accepts at z=0 as removing the horizon. So the curve passes through r=0, and the inference from the divergence to an inextendible boundary—an absolute terminus admitting no continuation—does not hold. This conclusion does not depend on any ontological preference, and in particular it does not require deciding whether the residual Kretschmann divergence is a feature of the geometry or of the chart—a separable question, developed in the companion slicing paper [JanzenSlicing], which supplies the geometric account on which the r lt;0 arm and the asymmetric labelling rest. What the present paper establishes, independently of that question, is that the inextendibility inference of the standard classification—from the curvature divergence to an inextendible boundary—is false.

This paper is the second of a sequence. The companion [JanzenBHcausality] establishes that the event horizon, far from being a mere removable coordinate singularity, is itself a metric singularity of the geometry. The present paper establishes that the curve continues through r=0 by the same continuation that the standard treatment accepts at the horizon, so the inference from the curvature divergence to an inextendible boundary fails there—the curvature singularity itself remaining real. The two papers attack the standard horizon/singularity asymmetry from both ends at once: Paper 1 shows the “removable” horizon is itself a metric singularity, and the present paper shows that the “non-removable” singularity's standard support—the inference from the curvature divergence to an inextendible boundary—fails. The two grounds on which the standard classification rests its asymmetry thus both give way. What this leaves standing is the rigorous, curvature-independent inextendibility of r=0 established by Sbierski [sbierski2018]; whether that surviving asymmetry is a feature of the geometry or of the chart is a further step, taken up in the companion slicing paper [JanzenSlicing], which supplies the geometric account of what produces the asymmetric labelling and of what the r lt;0 arm is. Nothing below depends on it. One classical reading of the cycloid belongs here, however, because it needs nothing beyond the curve just written down and it is where the sequence's central identity is already visible in bare Schwarzschild. The interior's areal radius r(z)=M(1+ cos z) is, term for term, the scale factor of a closed Friedmann–Lemaître dust cosmology, a(η)= am2(1+ cos η): the collapse of a black-hole interior and the life of a closed cosmos trace one and the same curve—the Oppenheimer–Snyder identity [Oppenheimer1939b], read here at the level of the vacuum areal radius rather than a matched dust ball. They are not analogues but one geometric object seen twice. What the continuation through the second critical point does to that identity—where the curve goes once it passes r=0, and what the single horizon exhibited here becomes when Λgt;0—is taken up in Section 8, after the falsification, which needs none of it and rests on the analytic structure of r(z) alone.

The paper proceeds as follows. Section 1 reviews the cycloid parametrisation of the Schwarzschild interior and derives the metric coefficients. Section 2 examines the analytic structure of r(z) at the two critical points. Section 3 constructs the analytic continuations at z=0 and z=π, with both branches at each critical point. Section 4 assembles the single curve into the Schwarzschild chart's patches and identifies the four r ≥0 pieces as the Kruskal–Szekeres extension and the two r lt;0 pieces as the back-seam continuation beyond it. Section 5 analyses the Kretschmann scalar in -coordinates and identifies the divergence at r=0 as a chain-rule artefact. Section 6 identifies both critical points as metric singularities of the Schwarzschild geometry. Section 7 sets out what the construction establishes and what it leaves open. Section 8 discusses implications for the singularity theorems (including the curvature-independent inextendibility of Sbierski [sbierski2018], which stands) and for the physical interpretation of black-hole geometry, and closes by placing the construction in its wider setting: the single horizon as the Λ→0 degeneration of a root triple (§8), the cycloid as the w=0 equatorial member of the Schwarzschild–de Sitter slicing family, and—in §8—what the second critical point becomes once Λgt;0: not a technicality left to the next paper, but the object the sequence is organised around.

The cycloid parametrisation of the Schwarzschild interior

The Schwarzschild line element in standard coordinates is

ds2 = - (1 - 2M/r)dt2 + (1 - 2M/r)-1 dr2 + r22,
(2)

where 2 = dθ2 + sin2θdφ2 is the standard line element on the unit 2-sphere. For r lt; 2M the factor (1 - 2M/r) is negative, the coordinates and exchange roles, and becomes a timelike coordinate.

Proposition 1 — Lemaître--Tolman cycloid form. Within the Schwarzschild interior r ∈(0,2M), the radial proper-time parameter τ along a radial timelike geodesic satisfies
r(η) = M(1 + cos η),τ(η) = M(η+ sin η),
for η∈[0,π], with η= 0 corresponding to the horizon r = 2M and η= π corresponding to r=0. The proper-time interval from horizon to r=0 is τ(π) - τ(0) = Mπ.P2R1
Proof. Along a radially infalling timelike geodesic in the Schwarzschild interior with vanishing angular momentum, the proper-time element satisfies
2 = dr2/2M/r - 1 = r/2M - r dr2.
Substituting r = M(1+ cos η), so that 2M - r = M(1 - cos η) = 2M sin2(η/2) and r = 2M cos2(η/2), and dr = -M sin ηdη:
2 amp;= 2M cos2(η/2)/2M sin2(η/2) ·M2 sin2ηdη2 \ amp;=2(η/2) ·M2 ·4 sin2(η/2) cos2(η/2) dη2 \ amp;= 4M2 cos4(η/2) dη2.
Taking the positive square root,
dτ= 2M cos2(η/2) dη= M(1 + cos η) dη,
which integrates to τ(η) = M(η+ sin η) with τ(0) = 0. The total proper time is τ(π) = Mπ.
Remark 1. The parametrisation ((3)) describes a cycloid: the trajectory traced by a point on the rim of a circle of radius as the circle rolls along a straight line. The Schwarzschild interior is the cycloidal motion of a radially infalling test particle as parametrised by the rolling angle η, with the proper time τ being the arc length along the cycloid. The same cycloid is the recollapse curve of a closed matter cosmology: the closed dust Friedmann universe has scale factor a(η)= am2(1+ cos η) and cosmic time t(η)= am2(η+ sin η), the identical curve under M↔am/2—the Oppenheimer–Snyder identity that homogeneous dust collapse traces the interior of a closed Friedmann universe. The Schwarzschild interior and a closed cosmology are thus one curve already at the level of the areal radius, and already at Λ=0.

The full interior metric in cycloid coordinates

The cycloid parametrises a single radial geodesic. To obtain the full interior metric we retain the angular 2-sphere and the Schwarzschild time coordinate (which is spacelike in the interior), and we use η as the independent radial-temporal coordinate.

Lemma 1. In coordinates (η,t,θ,φ), the Schwarzschild interior metric isP2R6
ds2int = -dτ2 + tan2(η/2) dt2 + M2(1+ cos η)22,
where τ= M(η+ sin η), and equivalently
ds2int = -4M2 cos4(η/2) dη2 + tan2(η/2) dt2 + M2(1+ cos η)22.
Proof. In the interior, the Schwarzschild metric components are
gtt amp;= -(1 - 2M/r) = 2M/r - 1 = 2M - r/r = 2M sin2(η/2)/2M cos2(η/2) = tan2(η/2),\ grr amp;= (1 - 2M/r)-1 = -r/2M - r = -2(η/2).
The radial coefficient gives, after substituting dr = -M sin ηdη,
grr dr2 = -2(η/2) ·M2 sin2ηdη2 = -4M2 cos4(η/2) dη2 = -dτ2,
by the calculation in Proposition 1. The angular coefficient is r2 = M2(1+ cos η)2. Assembling,
ds2 = gtt dt2 + grr dr2 + r22 = tan2(η/2) dt2 - dτ2 + M2(1+ cos η)22,
which is ((7)).

In the form ((7)), the timelike character of η inside the horizon is manifest—2 enters with a negative coefficient, while dt2 enters with a positive (spacelike) coefficient.

The two critical points of r(z)

We now move to the central observation of the paper. Let us extend the parameter range from η∈[0,π] to z ∈R and treat

r(z) = M(1 + cos z)
(3)

as a smooth function on the real line (or, equivalently, on the circle R/2πZ, since is -periodic).

Proposition 2 — Symmetric critical points. The function r(z) = M(1+ cos z) has critical points precisely at z ∈πZ, all of which are non-degenerate. At z = 2kπ (k integer), r = 2M and d2r/dz2 = -M (local maximum). At z = (2k+1)π, r = 0 and d2r/dz2 = +M (local minimum).
Proof. Direct differentiation: dr/dz = -M sin z, vanishing precisely at z ∈πZ. The second derivative d2r/dz2 = -M cos z equals -M at z = 2kπ and +M at z = (2k+1)π, both nonzero. By MorseL4's lemma [Milnor1963], both are non-degenerate critical points, the former a local maximum (where r = 2M) and the latter a local minimum (where r=0).

The two endpoints of the cycloid interior, z=0 and z=π, are therefore extrema of r(z) of identical analytic type up to the sign of the second derivative. Each is a smooth non-degenerate critical point of a C function on a smooth one-dimensional manifold.

This identity is not a coincidence of the particular function M(1+ cos z); it is forced by the geometry of the arc. Since r-M = M cos z obeys r” = -(r-M)—simple harmonic motion about r=M—the interior arc is the projection onto the -axis of uniform motion on the circle (r-M)2 + s2 = M2, with conjugate s = M sin z (the circle of the hyperbola–circle–hyperbola completion of Section 3, the conjugate going imaginary to give the exterior arms). The two critical points z=0,π are the two points at which this circle crosses the -axis—its -poles, at r=2M and r=0. At a pole the tangent to the circle is orthogonal to the -axis, so dr/dz vanishes there of necessity, not by computation; and the circle is homogeneous—it has no distinguished point—so its two -poles are one point seen twice, exchanged by reflection through its centre. The identical analytic character of the two critical points is the homogeneity of the circle. The sole asymmetry between them is extrinsic: which value the chart's origin assigns each pole, 2M against 0—and, as Remark 1 records and Section 5 makes precise, the curvature, a function of that value, is the quantity that reads it.

Remark 2. Although the underlying function r(z) treats z=0 and z=π symmetrically, the standard Schwarzschild chart treats them asymmetrically: at z=0 the chart's coordinate value is 2M, while at z=π the chart's coordinate value is 0. This asymmetric labelling has structural consequences for invariants computed as functions of . The Kretschmann scalar K(r) = 48M2/r6 takes the finite value K = 3/(4M4) at z=0 but diverges as r →0 at z=π. The divergence is generated by the chart's labelling, not by the underlying smooth structure of r(z), as we make precise in Section 5.

Analytic continuation through both critical points

The cycloid arc z ∈[0,π] admits analytic continuation through each of its critical-point endpoints. We carry out the continuations symmetrically.

Continuation at z=0: Region I

Set z = iρ for ρ∈(0,∞) real. Then

r(iρ) = M(1 + cos (iρ)) = M(1 + cosh ρ),
(4)

which takes values r ∈(2M,∞) as ρ ranges over (0,∞), with the boundary value r = 2M recovered at ρ= 0 matching the interior endpoint.

Proposition 3. Under the analytic continuation z = iρ, the metric ((8)) becomes
ds2I = - tanh2(ρ/2) dt2 + 4M2 cosh4(ρ/2) dρ2 + M2(1 + cosh ρ)22,
which agrees with the Schwarzschild exterior metric for r ∈(2M,∞) under the identification r = M(1+ cosh ρ).
Proof. Under z = iρ, dz = i dρ and dz2 = -dρ2. The trigonometric functions become hyperbolic:
cos z amp;↦ cosh ρ,\ sin z amp;↦i sinh ρ,\ tan (z/2) amp;↦i tanh (ρ/2),\ cos (z/2) amp;↦ cosh (ρ/2).
The interior metric ((8)) transforms component by component:
-4M2 cos4(η/2) dη2 amp;↦-4M2 cosh4(ρ/2) ·(-dρ2) = +4M2 cosh4(ρ/2) dρ2,\ tan2(η/2) dt2 amp;↦(i tanh (ρ/2))2 dt2 = - tanh2(ρ/2) dt2,\ M2(1+ cos η)22 amp;↦M2(1+ cosh ρ)22.
Assembling,
ds2I = +4M2 cosh4(ρ/2) dρ2 - tanh2(ρ/2) dt2 + M2(1+ cosh ρ)22,
which is ((14)). The signature has flipped: dt2 now enters with a negative coefficient (timelike) and the radial coefficient is positive (spacelike), as required for the exterior. To verify agreement with the Schwarzschild exterior, identify r = M(1+ cosh ρ), so r - 2M = M( cosh ρ- 1) = 2M sinh2(ρ/2) and r = 2M cosh2(ρ/2), giving
1 - 2M/r = 1 - 2M/2M cosh2(ρ/2) = 1 - 1/ cosh2(ρ/2) = tanh2(ρ/2),
so the time coefficient matches: gtt = -(1 - 2M/r) = - tanh2(ρ/2). For the radial coefficient, dr = M sinh ρdρ= 2M sinh (ρ/2) cosh (ρ/2) dρ, so
dr2/1 - 2M/r = 4M2 sinh2(ρ/2) cosh2(ρ/2) dρ2/ tanh2(ρ/2) = 4M2 cosh4(ρ/2) dρ2,
matching ((14)). The angular term is direct: r2 = M2(1+ cosh ρ)2.P2R4

This recovers the right-exterior Region I of the Kruskal–Szekeres extension by an explicit substitution applied to the interior metric. The substitution z = iρ is the Wick rotation that converts the circular trigonometric functions of the interior into the hyperbolic functions of the exterior.

Continuation at z=π: the back-seam continuation onto r lt;0

By symmetry, we now apply the analytic continuation at the other critical point. Set z = π+ iρ' for ρ' ∈(0,∞). Then

r(π+ iρ') = M(1 + cos (π+ iρ')) = M(1 - cos (iρ')) = M(1 - cosh ρ'),
(5)

which takes values r ∈(-∞,0) as ρ' ranges over (0,∞), with the boundary value r=0 recovered at ρ'=0 matching the interior endpoint at z = π.

Proposition 4. Under the analytic continuation z = π+ iρ', the metric ((8)) becomes
ds2back = -2(ρ'/2) dt2 + 4M2 sinh4(ρ'/2) dρ'2 + M2(1 - cosh ρ')22,
which agrees with the Schwarzschild form for r ∈(-∞,0) under the identification r = M(1- cosh ρ').
Proof. Under z = π+ iρ', dz = i dρ' and dz2 = -dρ'2. The trigonometric functions transform as
cos (π+ iρ') amp;= - cos (iρ') = - cosh ρ',\ sin (π+ iρ') amp;= - sin (iρ') = -i sinh ρ',\ tan ((π+ iρ')/2) amp;= tan (π/2 + iρ'/2) = - (iρ'/2) = i (ρ'/2),\ cos ((π+ iρ')/2) amp;= cos (π/2 + iρ'/2) = - sin (iρ'/2) = -i sinh (ρ'/2).
Substituting into ((8)):
-4M2 cos4(η/2) dη2 amp;↦-4M2 ·(-i sinh (ρ'/2))4 ·(-dρ'2) = +4M2 sinh4(ρ'/2) dρ'2,\ tan2(η/2) dt2 amp;↦(i (ρ'/2))2 dt2 = -2(ρ'/2) dt2,\ M2(1+ cos η)22 amp;↦M2(1- cosh ρ')22.
Assembling gives ((21)). For the identification with Schwarzschild in the r lt; 0 branch: with r = M(1- cosh ρ'), r lt; 0 for ρ' gt; 0, and
1 - 2M/r = 1 - 2M/M(1- cosh ρ') = 1 - 2/1- cosh ρ' = (1 - cosh ρ') - 2/1 - cosh ρ' = -1 - cosh ρ'/1 - cosh ρ' = 1 + cosh ρ'/ cosh ρ' - 1 =2(ρ'/2),
where in the last step we used 1+ cosh ρ' = 2 cosh2(ρ'/2) and cosh ρ' - 1 = 2 sinh2(ρ'/2). So gtt = -(1-2M/r) = -2(ρ'/2), matching the result of the analytic continuation.

The structural similarity between Propositions 3 and 4 is exact. At both critical points of r(z), the same analytic operation z ↦z* + iρ (with z* ∈{0,π}) produces an asymptotically flat region whose metric is the standard Schwarzschild form. The roles of hyperbolic sine and cosine are exchanged between the two seams, but the analytic structure is identical.

Each critical point carries a second branch. At z=0, the conjugate continuation z ↦-iρ gives r = M(1+ cosh ρ) ∈(2M,∞) again, since cosh is even; it yields a second copy of the exterior ((14)), isometric to the first and causally disconnected from it across the bifurcation 2-sphere at r=2M. The front seam at z=0 thus opens into two exteriors at r gt;2M. At z=π, the conjugate continuation z ↦π- iρ' likewise gives r = M(1- cosh ρ') ∈(-∞,0), a second region on r lt;0. On the back seam f = 1 - 2M/r =2(ρ'/2) gt; 1 for all ρ' gt;0, so has no zero on r lt;0: the back-seam regions contain no horizon, and are static and asymptotically flat as r →-∞. The back seam at z=π thus opens into two regions at r lt;0, both horizonless.

One curve, two seams: Kruskal as the front, and the back-seam pair beyond it

The cycloid arc z ∈[0,π] admits a second parity choice that we have so far suppressed: the time-reversal η↦-η, which corresponds to running the cycloid backwards (the white-hole branch of the interior). Together with the two-branch continuation at each critical point, this completes the single analytic curve and its image in the Schwarzschild chart.

Proposition 5. The maximal analytic completion of the cycloid is a single analytic curve—hyperbola, circle, hyperbola—with two non-degenerate critical points, at z=0 (r=2M) and z=π (r=0). In the Schwarzschild (r,t) chart, whose coordinates degenerate at the two critical points, the curve is drawn as six patches: The four patches at r ≥0—the two interiors and the two r gt;2M exteriors—meet at the bifurcation 2-sphere and terminate at r=0; they are precisely the maximal Kruskal–Szekeres extension. The two patches at r lt;0 are the continuation through the conjugate critical point z=π. The Kruskal–Szekeres extension does not contain them: it draws the curve up to the r=0 turn and stops there, treating r=0 as a boundary rather than a critical point one continues through.
Proof. [Sketch] The metric on each patch was computed in Lemma 1 (the interior arcs, with η∈(0,π) and its time-reversal), Proposition 3 (the r gt;2M exteriors, both branches z = ±iρ giving the same since cosh is even), and Proposition 4 (the r lt;0 regions, both branches z = π±iρ'). The white-hole interior is obtained from the black-hole interior by η↦-η; the metric is identical in form because ((8)) is invariant under η↦-η (the only odd-power dependence on η is in , which appears squared). The four r ≥0 patches meet at the bifurcation 2-sphere z=0: the two interiors and the two exteriors join there in the standard Kruskal–Szekeres X-pattern, and each is matched to the Schwarzschild form in its domain of by Lemma 1 and Proposition 3. This subset is in bijection with the maximal Kruskal–Szekeres extension, which terminates at r=0. The two r lt;0 patches are the continuation through the second critical point z=π, matched to the Schwarzschild form for r lt;0 by Proposition 4; they lie beyond the Kruskal extension, and their geometric identity—the backward radial direction, the negative root of the horizon cubic—is established in the companion slicing paper [JanzenSlicing].

The Kretschmann scalar as a chain-rule artefact

The Kretschmann scalar of the Schwarzschild metric is K = RabcdRabcd = 48M2/r6, which is a scalar invariant under coordinate transformations of the Schwarzschild chart. At the horizon r = 2M it takes the finite value K = 3/(4M4), in agreement with the horizon being a coordinate singularity. At r = 0 it diverges, in agreement with the standard classification of r = 0 as a curvature singularity.

That this divergence is an artefact of the chart rather than of the manifold was conjectured fourteen years before it could be shown: the essay that first developed this cosmology proposed that “the singularity at r=0 … is not a real physical singularity, but the artifact of a derivative metric that must be ill-defined there”, and could offer for it only the reason that space ought to carry a finite radius on the fundamental metric [JanzenFQXi2012]. What follows is the demonstration. Our cycloid construction parametrises the Schwarzschild manifold by the smooth coordinate , with a smooth function of . Expressed as a function of , the Kretschmann scalar becomes

K(z) = 48 M2/r(z)6 = 48 M2/M6(1+ cos z)6 = 48/M4 (1+ cos z)6.
(6)
Proposition 6. Expressed as a function of , the Kretschmann scalar K(z) has a twelfth-order pole at z = π and remains bounded at z = 0.P2R3 The pole at z = π is generated by the chain rule applied to the composition ((25)) at a non-degenerate critical point of r(z).
Proof. At z = 0, r(0) = 2M and K(0) = 48/(M4 ·26) = 3/(4M4), finite. At z = π, r(π) = 0. Near z = π, set ε= π- z, small. Then 1 + cos z = 1 - cos ε= ε2/2 - ε4/24 + O(ε6). So
(1+ cos z)6 = (ε2/2)6 (1 + O(ε2)) = ε12/64 ·(1 + O(ε2)),
and
K(z) = 48M4 ·ε12/64 ·(1 + O(ε2)) = 3072M4 ε12 + O(ε-10),
a twelfth-order pole at z = π. The pole order is determined by the chain rule: r(z) vanishes to second order at z = π (r ∼Mε2/2), and K ∝r-6, so diverges as ε-12. The pole order matches the product of the multiplicity of the critical point of r(z) (order 2) and the power of in the denominator of (power 6).
Corollary 1. By the same chain-rule analysis applied at z = 0, the Kretschmann scalar would diverge if r(0) were 0 instead of 2M. The finiteness of K(0) = 3/(4M4) is a consequence of the chart's particular labelling of the maximum- critical point as r = 2M rather than r = 0. Specifically: had the Schwarzschild chart labelled the horizon-critical-point as r = 0 instead of as r = 2M, the Kretschmann scalar 48M2/r6 would diverge at the horizon, and the standard classification would call it a true curvature singularity. This labelling is fixed by the physical interpretation of as the areal radius of the angular 2-sphere, which takes finite value 2M at the horizon and zero at the conjugate critical point. The labelling is therefore part of the perspectival construction of the Schwarzschild chart, not an intrinsic feature of the underlying analytic structure of r(z).
Remark 3. The 1/r6 Kretschmann divergence at z = π is generated by the chain rule applied to the composition 48M2/r(z)6 at the second-order vanishing of there; it is the curvature scalar of the Schwarzschild perspectival metric—the metric as a tensor field over the parameter —read as a function on the -parametrised manifold. That this particular divergence tracks the chart's labelling is established directly: under the opposite labelling it would land at the horizon, and the Kruskal–Szekeres chart's natural curvature scalars are likewise finite at the bifurcation 2-sphere (z = 0) and divergent at z = π, for the same chain-rule reason. The underlying smooth structure parametrised by carries no divergent invariant of its own: the divergence is the perspectival metric's, real as that metric's, generated where the chart labels the critical point r=0. What is not settled by this bookkeeping is the ontological reading of that real divergence—whether it is taken as a feature of the geometry, the perspectival metric being fundamental, or as a feature of the perspectival chart, the smooth structure being fundamental. The divergence is coordinate-independent, which may seem to make the question moot; that the invariance is nonetheless consistent with the perspectival reading is the ontological matter taken up in Section 7, and not decided here.

The two critical points are the two metric singularities of Schwarzschild

The chain-rule analysis of Section 5 shows that the divergence at r=0 is generated by the chart's labelling of one critical point. We now name the structure this reveals, because it is the structure that governs the interpretation of the whole construction. Each of the two critical points of r(z) is a metric singularity: a single place at which the metric collapses to zero separation, drawn by the -chart as an extended locus. The notion is made precise, in its finite-curvature form, and shown to be a feature of standard general relativity rather than of any particular interpretation, in the companion paper on the causal occurrence of black holes [JanzenBHcausality]: two events that are null-separated and share a single invariant spatial location have vanishing temporal separation as well, by the difference-structure of the Lorentzian line element, and are therefore metrically coincident while remaining topologically distinct and causally ordered. The future event horizon is shown there to be exactly such a locus—a place of infinitely many distinct, causally ordered, metrically coincident events, every horizon-crossing event occurring at the one areal radius r=2M. That is the finite-curvature species; the conjugate point is the other.

The cycloid construction makes plain that the conjugate critical point is a metric singularity also, of the same genus as the horizon—the same structure on the one underlying curve, the symmetry of Proposition 2, now named. What separates them is curvature, and the separation is definite. The horizon is the critical point worldlines pass through: infinitely many distinct, causally ordered events tied together there at zero separation, the manifold place intact—the finite-curvature metric singularity the companion paper [JanzenBHcausality] makes precise. r=0 is the critical point worldlines end at: the endpoint of the infalling family, at which the constructed manifold is legitimately singular—the curvature diverges, and the worldlines reach a terminus rather than crossing one. This is the infinite-curvature metric singularity. The two are metric singularities of one genus—each a place at which the metric assigns no separation, drawn from the same critical point of the one curve—and they differ in just this: the horizon is the place infinitely many worldlines pass through, r=0 the place they end. That is the whole of the finite-versus-infinite distinction.

The separation can be located exactly, and locating it disposes of a tempting overstatement. The two critical points are not identical as metrics: a metric fixes not only the interval but, through its second derivatives, the curvature, and the curvature differs. What is identical, and what is not, sorts cleanly by derivative order. At zeroth order—the interval, the genus—both collapse the ruler to zero separation; as metric singularities they are alike. At first order there is nothing to tell them apart: the lowest scalar invariant of a metric is the Ricci scalar, second order in the metric, so no first-order invariant exists to carry a distinction; the connection is gauge, removable in normal coordinates; and the -chart degenerates at both critical points, symmetrically (Section 4). The first invariant that separates them is the curvature itself, second order—finite at r=2M, divergent at r=0. So the pair is identical through first order and parts only at the second: the distinction is sourced at zeroth order, in the single value the chart assigns each pole (2M against 0), and lands at second order, because the curvature is the lowest invariant there is and the one that depends on that value, through K = 48M2/r6. “Distinguished only by curvature” is therefore “distinguished only at second order”—the two coincident through every order beneath it, and the chart's choice of origin, read by the curvature, the whole of what sets them apart.

A reader who tests this identity against the full interior metric ((7)) will find the two points behaving in opposite ways and might take that opposition for a difference in kind; it is not, and seeing why is the content of “distinguished only by curvature.” At the horizon the collapse is the one the companion paper [JanzenBHcausality] makes precise—along the null generator, gtt= tan2(η/2)→0, separation vanishing along the generator while the angular 2-sphere stays finite (areal radius 2M, area 16πM2) and orthogonal to it. At r=0 the collapse is angular: the 2-sphere's radius runs to zero, every direction of approach crushed onto the one place, while the spacelike coefficient gtt→∞ runs the other way. The collapse has moved from one sector of the metric to the other, and for one reason: each of these behaviours—gtt→0 against →∞, the 2-sphere finite against vanishing, the curvature finite against divergent—is a function of the single areal-radius value the chart assigns the critical point, 2M against 0, with K=48M2/r6 the invariant that indexes it. The opposition in the full metric is therefore the finite-versus-infinite-curvature distinction displaying itself, not a second distinction beside it—the signature of the identity, not its refutation.

Why r=0 is the end and the horizon the crossing—why the sweep is forced to pivot on the one and not the other—is the cascade the companion slicing paper [JanzenSlicing] exhibits, following from the single symmetry break of locating the hole.

The identification survives the recovery of the spatial geometry

This identification is preserved when the full spatial geometry is recovered from the radial curve, and that is worth stating explicitly, because it is where the standard picture quietly goes wrong. The geometry is built from the radial curve by sweeping it through the angular symmetries of the 2-sphere—the 2 directions of the line element. The sweep multiplies the points: a single radial event at a critical point becomes a whole 2-sphere's worth of events in the swept geometry. But it does not turn either critical point into an ordinary point of space; which sector carries the collapse differs between the two. At the horizon the swept 2-sphere is ordinary—areal radius 2M, area 16πM2—and events at one critical point but different angular position are genuinely spacelike-separated across it, exactly as in the companion paper [JanzenBHcausality]; what the sweep leaves untouched is the collapse along the generator, where events at one (θ,φ) remain at zero radial, temporal, and spacetime separation, because zero separation carried around the orthogonal angular symmetry is still zero along the generator. At r=0 it is the swept sphere itself that degenerates: its areal radius is zero, the angular directions crushed together rather than spread into an ordinary sphere, so the collapse to zero separation lives in the angular sector, while the radial–temporal coefficient gtt diverges instead. In both the sweep adds no separation where the metric assigns none—along the generator at the horizon, across the angular sphere at r=0—and leaves the metric singularity intact. Consequently neither critical point becomes an ordinary point of space under the sweep. The horizon does not become a sphere of normal radius enclosing a normal interior, and r=0 does not become a normal centre at which space tears. The horizon remains the finite-curvature metric singularity—a single metric place of infinitely many distinct, causally ordered, metrically coincident events, which worldlines cross; r=0 remains the infinite-curvature one—the endpoint at which the infalling worldlines terminate and the curvature diverges. The sweep preserves what each is; it makes neither an ordinary point. One property of the second is worth separating from its curvature, because the classification sorts by curvature at the locus and cannot see it. Read at fixed the divergence carries the mass: K=48M2/r6+24/α4. Read instead along the marginally-bound infalling geodesic, as a function of the faller's own proper time, it does not. On r(τ)=(2Mα2)1/3 sinh2/3(3τ/2α) the cube of the amplitude cancels the M2 exactly, leaving K=12 [2+ sinh-4(3τ/2α)]/α4, with no anywhere and K→(64/27)τ-4 at the approach—the matter-dominated Friedmann value, and the same history for every progenitor. The radial tidal component behaves likewise, →-4/9τ2, and is likewise -freeP2R8. So what distinguishes this locus is not the size of its curvature but the universality of the approach to it: every progenitor, whatever its mass, spends its last proper interval in the same curvature history, so nothing of the parent survives in the approach to distinguish one such ending from another. The classification's axis is curvature at the locus; this is a second axis, and the companion papers' scale-freeness is a statement on it. The geometric origin of the chart's asymmetric pivot—why the sweep happens about one critical point rather than respecting the symmetry of the underlying construction—is developed in the companion paper on the SdS slicing curve [JanzenSlicing], where it is exhibited explicitly: viewing the hole from outside, in the timelike orientation, the Schwarzschild vantage cannot sweep the symmetric manifold about its own axis of symmetry and is forced to pivot on the off-axis manifold point r=0, which the sweep thereby makes the centre of radial infall—the endpoint of the infalling family. Locating the hole is the one symmetry break; the pivot onto r=0, and the divergence that is its shadow, are the cascade it forces.

Why the chart draws a place as a line

The reason these metric singularities are persistently misread is that the charts in which the geometry is usually drawn render them in a particular, familiar, and misleading way. A chart such as the Eddington–Finkelstein diagram parametrises approaches to a metric singularity by a coordinate that remains well defined in a neighbourhood but degenerates at the singularity itself, and so draws the single metric place spread out as an extended line—the vertical line at r=2M in the standard diagram.

This is the same projective mechanism by which a Mercator map draws the North Pole. The pole is a single point of the sphere; the map parametrises approaches to it by longitude, which is well defined everywhere except at the pole, and so the single point is drawn as the entire top edge of the map. A reader fluent in map projections knows to read that edge back as a point—change to a chart centred on the pole and the line collapses to the point it always was. The pole is a coordinate singularity: the spreading is an artefact of the projection, and the underlying object is an ordinary point.

The line at r=2M is drawn by the same projective mechanism, but the object being spread out is not an ordinary point. It is a metric singularity: a place where the geometry itself has collapsed the separation between infinitely many distinct events. Reading the line back does not yield an ordinary point that a better chart would reveal; no chart removes it, because the collapse is in the metric, not in the projection. The visual appearance is identical to the Mercator pole—a place drawn as a line—but the reason for the appearance is the opposite: at the pole the chart manufactures an extension that is not there, while at r=2M the chart spreads out a metric collapse that is. The same holds at r=0, with the collapse in a different sector: it too is a metric singularity no chart removes, but where the line at r=2M is the collapsed generator drawn out along time, the extended locus at r=0 is the spacelike direction along which the interior separation diverges (the obstruction Sbierski [sbierski2018] makes precise), and the metric collapse is the angular 2-sphere orthogonal to it, of zero radius at every point of the locus.

The standard classification commits a single error twice over. It reads the line at r=2M as a Mercator pole—a coordinate singularity, “removable,” an artefact the right chart dispels—and it reads the locus at r=0 as evidence that the manifold tears, a “true curvature singularity.” But the two are the same kind of object: two metric singularities, drawn spread out by charts whose coordinates degenerate at them, distinguished only by the -value the chart assigns and by the chain-rule consequence (Section 5) that this labelling has for the Kretschmann scalar. The asymmetry of the standard classification is the asymmetry of the labelling, not of the geometry.

Construction, not error

It would misread the foregoing to conclude that the swept Schwarzschild geometry is simply a mistake. The construction—taking the radial curve and sweeping it to recover a spatial geometry—is the legitimate and indeed the natural way to chart the geometry from a given vantage, and the result agrees with the standard geometry on every observable in the exterior region r ≥2M. What the analysis identifies is not an illegitimate operation but a misreading of its product: the treatment of features that the construction manufactures—the asymmetric labelling, and with it the curvature singularity at r=0—as features of the geometry rather than of the chart. The construction is faithful as a description from its vantage; the error is ontological, the promotion of a charting artefact to a fact about what the geometry contains.

We note, and do not resolve here, that this is also where the construction becomes most interesting rather than least. That two analytically identical metric singularities are charted into a sharply asymmetric pair—one passed through smoothly, one ringed with a divergent curvature invariant and a chain of associated physical puzzles—is not a defect to be discarded but a structural fact to be understood: the geometry of the chart, and of the symmetry-reduction implicit in sweeping an asymmetric radial profile about one of its endpoints, is doing work that the symmetric underlying structure alone does not display. Whether that work is purely an artefact of the vantage, or whether the vantage-dependence itself encodes something physical about how such geometries are observed, is a question this construction raises and leaves open. It is, we suggest, the more productive question than the one the standard classification forecloses by reading the asymmetry as given.

Ontological framing: chart and manifold

The construction in Sections 15 can be read in two ways.

The standard reading

On the standard reading, the Schwarzschild manifold is the fundamental object. It is the maximal analytic extension of the Schwarzschild solution to the vacuum Einstein equations, characterised intrinsically by its geometry without reference to any embedding or perspectival construction. The cycloid parametrisation is a useful coordinate chart but does not change the underlying geometry: the curvature singularity at r = 0 is a feature of the manifold, the geodesic incompleteness there is real, and the manifold has four regions joined at the bifurcation 2-sphere with two distinct singular endpoints (future and past).

The Kretschmann scalar's divergence at r = 0 supports this reading: it is a coordinate-invariant scalar, and its divergence is a coordinate-invariant statement about the curvature of the underlying geometry. The asymmetric classification of the horizon (removable coordinate singularity) and r = 0 (true curvature singularity) is then justified by the coordinate-invariance of the latter.

The perspectival reading

This reading makes a specific and old move, and the present paper makes it bespoke, reaching it on its own and owing the corpus's later general treatment nothing. To read an appearance as the projection of an underlying object, and to infer the object that casts it rather than take the appearance for the thing, is the inference by which the retrograde planetary loops were read as the parallax of the Earth's own motion; the companion foundation sets that inference out in general, with the constraint that makes it a method and not a licence—that an admissible underlying object must explain the appearance, not merely reproduce it [JanzenShadowExistence]. The present paper reaches its own instance on the analytic structure of r(z) and the companion metric-singularity result [JanzenBHcausality] alone, and stands complete without that general treatment. That independence is the point rather than a gap: an instance derived without the method that would later license it is a worked case on which that method's own claim to track the world can rest without circularity—the same non-leaning relation by which the metric-singularity and empirical-forcing keystones, each reached without the other, converge as evidence and not construction [JanzenBHcausality, JanzenModernParallax].

Nor is the perspectival reading the only place the paper runs that discipline on its own. The falsification is its purest instance—the puzzle that r=0 is an inextendible boundary dissolves not by any ontological preference but by the continuation that carries the curve through it, a puzzle undone by identifying what the point is, on the analytic structure alone. The Mercator comparison of Section 6 is the same discipline sharpened to a case worth marking: two appearances identical in form—a place drawn as a line—cast by opposite structures, a coordinate artefact the chart manufactures against a metric collapse it merely spreads, told apart only by exhibiting the projection each arises under. And the ontological error the construction takes care not to commit—promoting its manufactured asymmetry to a fact about the geometry (Section 6)—is the reification that same discipline forbids, here caught in the chart's product where the companion catches it in a verb tense [JanzenBHcausality]. Each is reached on the construction alone; that independence is again what lets the general account draw on it.

On an alternative reading, the smooth manifold parametrised by is the fundamental object, and the Schwarzschild chart—the assignment of areal radii , time coordinates , and the metric tensor expressed in (r,t)—is a perspectival construction built on top of it. The cycloid relation r(z) = M(1+ cos z) is the map from the fundamental coordinate to the perspectival coordinate ; this map has two non-degenerate critical points, at which the perspectival chart degenerates and the perspectival metric has component divergences.

On this reading:

What is established, and what remains a choice

It is important to separate what the construction establishes outright from what it leaves as a choice of reading, because the two have been run together in the literature and the conflation is what makes the result look weaker, or more contestable, than it is.

What is established, independently of any ontological reading, is the falsification of the inextendibility inference—the step from the curvature divergence at r=0 to the conclusion that no continuation through it exists. The standard classification draws that inference: because the Kretschmann scalar diverges at r=0, the maximal extension is held to terminate there, an absolute boundary the construction cannot pass. The cycloid refutes the inference directly. The continuation z ↦π+ iρ' carries the smooth curve through z=π into the r lt;0 arm, by the same analytic operation that the standard treatment itself accepts at z=0 as removing the apparent singularity of the horizon. A single such continuation is a counterexample to the universal claim that none exists. What it establishes, independently of which manifold one regards as fundamental, is precise and bounded: r=0 is a non-degenerate critical point of a smooth curve that the construction passes through, not a boundary at which the curve stops, and the inference from the Kretschmann divergence to an absolute terminus admitting no continuation therefore fails. Two readings of this remain, and the construction does not by itself choose between them. On the standard reading, where the metric and its manifold are fundamental, the divergence at z=π is genuine, no regular Lorentzian extension crosses it, and the r lt;0 arm is a separate region reached only by continuing the coordinate expressions across a singular junction; the curve is extendible, the spacetime is not. On the perspectival reading, where the smooth -manifold is fundamental and the divergence is a feature of the perspectival chart, the same continuation is a genuine extension of the spacetime. The ontology-independent content is thus the extendibility of the curve and the failure of the divergence-to-terminus inference; what the curve passes into is set out in Section 8. Either way, the residual Kretschmann divergence is neither asserted nor required to be unreal.

What remains a choice is the ontological status of that residual divergence—whether K →∞ at z=π is a feature of the geometry or an artefact of the perspectival chart. The two readings of Sections 7 agree on every observable consequence in r ≥2M and agree that the curve continues through z=π; they differ only on whether the smooth -curve or the Schwarzschild -chart is taken as fundamental, and hence on whether the chart-relative divergence is read as geometry or as projection. The cycloid construction does not, in isolation, force that choice. What breaks the symmetry between the readings is supplied elsewhere: Section 6 identifies both critical points as metric singularities of one genus—the horizon the finite-curvature species the companion paper establishes on independent grounds for the event horizon [JanzenBHcausality], r=0 the conjugate infinite-curvature species—and the companion slicing paper [JanzenSlicing] exhibits the geometric mechanism—the off-centre sweep about a chart-labelled r=0 that is not the manifold's symmetry axis—that manufactures the asymmetric labelling and the divergence with it. Given those, the perspectival reading does explanatory work the standard reading cannot: it accounts for why the chart labels the two analytically identical critical points asymmetrically, where the standard reading must posit that asymmetry as a brute fact. That a reading deriving what its rival must posit as brute fact is the one to prefer is not informal taste but the inference-to-the-best-explanation the sciences run on, which the companion foundation later develops as a grounded discipline of theory choice [JanzenShadowExistence]; the present paper draws that inference on its own, as one instance of the discipline rather than by leaning on it, and it is in any case no part of the falsification, which stands on the extendibility alone.

The objection that survives this split has a definite form: the Kretschmann scalar is coordinate-independent, so its divergence as r →0 resists relabelling. It does—as the curvature of the perspectival metric. The companion slicing paper [JanzenSlicing] cashes the rest: the mass that metric carries is itself a feature of the slicing, so the divergence belongs to the perspectival construction and not to the manifold it slices. The objection's force rests on treating the perspectival metric as fundamental—the very point the construction puts at issue.

This separation should not be overstated in either direction. The swept Schwarzschild construction is not an illegitimate operation; it is the correct description of the geometry as charted from a particular vantage, and it agrees with the standard geometry on every observable in r ≥2M. The falsification does not claim that general relativity is wrong, nor that the Kretschmann divergence is a computational mistake; it claims only that the inference standardly drawn—from the curvature divergence at r=0 to the conclusion that the construction admits no regular continuation through it—is false, because a regular continuation of the curve exists. What that continuation passes into, and what the second critical point carries once Λgt;0, is set out in Section 8. The further question the circle frames—whether the smooth -curve should be elevated to the status of the fundamental object, or treated as one privileged description among the perspectival charts—is not settled by the circle alone, and the companions answer it by supplying a third object neither horn names. The fundamental object is the de Sitter substrate: a real manifold whose Lorentzian signature is intrinsic to its positive curvature, of which the -curve is a curve and the -chart a chart [JanzenSlicing, JanzenGeometricCore]. The selection is not a preference but a consequence of the discipline of theory choice [JanzenShadowExistence]: a structure carrying an unforced modulus answers “what is the world?” with a family rather than a world, and the maximally symmetric structure is the unique one requiring its configuration from its own form—which the circle, being one curve on that manifold, could not have decided either way.

We note, further, that the perspectival reading has structural appeal beyond this explanatory asymmetry. It places the horizon and the curvature singularity on equal footing as features of one and the same construction, and it identifies the maximal Schwarzschild manifold as a smooth submanifold of a larger smooth object (the analytic completion of the cycloid curve), rather than as a manifold-with-boundary requiring exotic mathematical treatment.

Discussion

Implications for the singularity theorems

The Penrose–Hawking singularity theorems [penrose1965, hawking1970] establish geodesic incompleteness for certain spacetimes under stated assumptions about causal structure, energy conditions, and trapped-surface formation. The theorems establish that the infalling worldline ends at r=0 in finite affine parameter, and the cycloid construction does not dispute this. What it adds is that the curve of which that worldline is the timelike reading continues through the critical point in the -coordinate, into the r lt;0 arm—so the incompleteness the theorems detect is real, while the inference standardly drawn from it, that r=0 is an inextendible boundary, does not follow. Whether the incompleteness reflects a pathology of the geometry or a feature of the perspectival construction the theorems do not, in their standard formulation, distinguish.

This does not falsify the singularity theorems but qualifies what they have actually established, and for the Schwarzschild case the qualification is forced rather than optional. What the symmetric analytic continuation undercuts is the inference to the inextendibility of r=0, not its singularity: a smooth continuation of the construction through z=π exists, so the inference ordinarily drawn—that the Schwarzschild r=0 is an inextendible boundary, an absolute terminus admitting no continuation—has an explicit counterexample and cannot be sustained on the strength of the Kretschmann divergence alone. The singularity itself is not thereby removed: the worldline ends at r=0 and the curvature diverges there. Whether that divergence is a feature of the geometry or of the perspectival construction—and so whether general relativity, correctly read, predicts a genuine curvature singularity in the infaller's future at all—is the ontological question of Section 7 and the companion slicing paper [JanzenSlicing], not one the cycloid settles. What the cycloid settles is the curvature-divergence inference to inextendibility; what the theorems detect for Schwarzschild is a non-degenerate critical point of the areal radius, of the same analytic type as the horizon, at which the infalling worldline ends.

The inextendibility of the maximal analytic Schwarzschild spacetime has, moreover, been established rigorously and at low regularity by Sbierski [sbierski2018], who proved it C0-inextendible—inextendible even as a Lorentzian manifold with a merely continuous metric—by causal-geometric (Lorentzian-diameter) arguments that do not invoke the curvature divergence at all. This both confirms and bounds the present point: what the cycloid refutes is the curvature-divergence inference to inextendibility, and a continuation of the curve through z=π is not a C0 extension of the Schwarzschild Lorentzian manifold across r=0, so Sbierski's theorem is left untouched. Sbierski's theorem concerns the maximal analytic Schwarzschild spacetime—the Λ=0 object—and the wider construction does not contain it: for Λgt;0 the structure function carries a horizon cubic, and the single horizon exhibited here is that triple's Λ→0 degeneration (§8). What the geometry does at r=0 once Λgt;0 is taken up by the companions, which carry the continuation there and close the curve [JanzenSlicing, JanzenCRframework]. The theorem stands on its own object, and nothing here is asked of it.

The same reframing extends to other classical singularity results, and the companions carry it through. The Reissner–Nordström singularity's discrete-symmetry reading is exact on the charged cut—charge -even, mass -odd [JanzenSlicing]—and the rotating and charged black holes are reached as slicings of the de Sitter substrate: Kerr–de Sitter and Kerr–Newman–de Sitter as rotating cuts with angular momentum carried by the shift, and the Friedmann–Robertson–Walker initial singularity as the degenerate Nariai member of the same moduli family [JanzenRange]. None of these is an open case; the operator's boundary is the loss of continuous symmetry—the wall—which the programme names and passes [JanzenRange].

Black-hole physics

The corrected picture shifts the physical interpretation of black holes in specific ways. The first point below follows from the extendibility result alone; the remainder follow if the perspectival reading is adopted:

  1. The infalling worldline reaches r=0 in finite proper time (τ= Mπ from horizon-crossing) and ends there: r=0 is the endpoint of the infalling family, an infinite-curvature metric singularity at which the constructed manifold is legitimately singular. What it is not is the absolute terminus the standard reading takes it for—the construction continues through z=π into the r lt;0 arm by the same continuation that carries through the horizon. The swept worldline ends at the singular endpoint; the underlying curve passes through it. The singularity is real; the inextendibility inferred from it does not follow.
  2. The standard “information paradox” associated with infalling matter reaching a singularity does not arise. It is dissolved at its root in the companion causality paper—no completed horizon forms, so there is no evaporation to carry the loss and no hidden interior sector to trace over, the realised spacetime remaining globally hyperbolic and its evolution unitary [JanzenBHcausality]. Information that crosses the horizon in finite proper time of the infaller also crosses the critical point z=π in finite proper time and continues into the r lt;0 back-seam arm; that continuation is what the finite-time crossing passes into (§8), on one globally connected manifold.
  3. The r lt;0 back-seam arm, on the perspectival reading, is not a “parallel universe” in the sense of being causally disconnected from the exterior. It is the analytic continuation of the curve through the second critical point. The causal structure of the maximal extension is determined by the smooth manifold, and the back-seam arm is part of the same manifold as the interiors and the r gt;2M exteriors.
  4. The thermodynamic features of black holes (Hawking radiation, the area law, the holographic correspondence) are typically derived from semiclassical analysis in the exterior, with boundary conditions imposed at the horizon. On this reading the horizon is a chart-failure of the same structural type as the r=0 chart-failure, not a privileged surface—and the companion causality paper shows the specific mechanism of horizon-induced Hawking radiation has no realised background, the Bogoliubov transformation between in- and out-vacua having no completed horizon to be computed across [JanzenBHcausality]. The horizon-induced thermodynamic accounts therefore rest on a surface the realised spacetime does not contain; horizon-independent local processes are untouched, exactly as the causality paper marks there.

Limitations and open questions

The cycloid form ((3)) here is specific to vacuum Schwarzschild; carrying it to Reissner–Nordström, Kerr, and Schwarzschild–de Sitter would require generalising the cycloid to additional parameters (charge, angular momentum, cosmological constant). The geometries, however, are companion results in hand, not open problems. Schwarzschild–de Sitter is generalised in the companion slicing paper [JanzenSlicing], where the present cycloid appears as one member of a family and carries, besides the Schwarzschild reading developed here, a conjugate de Sitter reading related to it by an involution. The charged and rotating members are reached in a further companion [JanzenRange], by a different construction rather than a generalised cycloid. What is Schwarzschild-specific is the cycloid form, not the reach.

The ontological framing of Section 7 is presented as an alternative to the standard reading rather than as a derivation that forces the alternative. This limitation attaches to the ontological claim only, not to the falsification: that the curve continues through the critical point—so that r=0 is not an absolute terminus and the inference from the Kretschmann divergence to inextendibility fails—is established outright by the construction and does not depend on which manifold is taken as fundamental. (What the curve passes into, and what the second critical point carries once it is there, is set out in Section 8.) What the structural symmetry between the two critical points does not by itself establish is the stronger ontological claim that the underlying -manifold is more fundamental than the -chart; it establishes that the asymmetric standard classification is not forced by the analytic structure, and that the inextendibility leg of that classification is false. Stronger justification for elevating the -manifold would require either: (a) a derivation of the Schwarzschild metric from a more fundamental geometric structure on which the cycloid curve is a natural curve; or (b) an empirical or theoretical consideration that distinguishes the two readings observationally. Condition (a) is supplied by the companions: the slicing paper derives the Schwarzschild–de Sitter family as the slicings of a de Sitter substrate and identifies the present cycloid as the swing-zero member of that family—a natural curve on the more fundamental structure [JanzenSlicing]—and the operator paper obtains the vacuum sector not by matching but as the kernel of the map from cut to stress-energy [JanzenOperator]. Condition (b) is the standing structural test the sequence keeps open, that no event horizon completes at finite exterior time [JanzenBHcausality]. The elevation is therefore not left hanging on the circle; the circle simply is not what settles it.

The complex parameter admits a third axis: z ∈C generically—which raises, but does not leave open, whether generic complex paths carry additional physical structure. They do not, and the reason is the construction's own. A continuation is physical exactly when it lands on a real region of the geometry: the geometry is everywhere real and the imaginary variable is an instrument reaching its real regions and no more [JanzenSlicing, JanzenGeometricCore]. The real-landing continuations are the seam-specific ones the construction uses— real (the cycloid arc), z = ±iρ (the front-seam r gt;2M), and z = π±iρ' (the back-seam r lt;0)—identified on the de Sitter substrate as the RiemannianLorentzian and backward-radial continuations of one closed slicing curve [JanzenSlicing], and the substrate's real regions they reach—exterior, interior, the conjugate r lt;0 branch, and the de Sitter piece—are the whole of the geometry. Generic complex paths terminating on none of them are points of the complexified coordinate, carrying no geometry and hence no physical structure. The third axis is therefore resolved, not open: its physical content is exhausted by the real-landing continuations already in hand. That the list is exhaustive is not an enumeration but a two-line computation, and the count it returns is the circle's own. Writing z=a+ib, the cycloid gives Imr = -M sin a sinh b: a product, so Imr=0 if and only if b=0 or a∈πZ, and -periodicity collapses the second alternative to a=0 and a=π. There are therefore exactly three real-landing axes and there is no fourth. On them τ is real, purely imaginary, and purely imaginary about τ=Mπ respectively—Lorentzian on the arc and Riemannian on the two seams, which is what makes the imaginary axes physical rather than formal—and the three ranges 0≤r≤2M, r≥2M and r≤0 partition the real radius line, so the three exhaust the geometry and not merely the reality condition. And the two seam axes do not stand at arbitrary places. The parametrisation carries the reflection z↦-z, under which is even and τ is odd; its fixed points on the circle are z=0 and z=π, where r=2M and r=0—the event horizon and the curvature singularity, which are this paper's two poles. The number of continuations beyond the real one is thus | Fix(z↦-z)|=2: not a fact about the cosine but the circle counting its own polesP2R7.

The single horizon as the Λ→0 limit of a root triple

The horizon exhibited here is, in the wider construction, one of three. The companion slicing paper carries the cycloid construction to Schwarzschild–de Sitter, where the structure function f=1-2M/r-r22 replaces Schwarzschild's single horizon with a horizon cubic of three roots [JanzenSlicing]. In the Schwarzschild limit Λ→0 (α→∞) that cubic degenerates: two of its roots—the cosmological horizon and its backward-radial partner—run off to infinity, leaving exactly the single finite horizon the cycloid exhibitsP2R5, with the conjugate point at r=0 persisting throughout as the second critical point. The horizon multiplicity is thus a reading of the cosmological constant: one horizon for Λ=0, three for Λgt;0, the two additional roots present precisely because the substrate the construction rests on is de Sitter and not flat. That triple carries structure beyond the horizon count, and the companions read a good deal off it [JanzenBoundary, JanzenMatter]; what belongs here is only that the extra roots exist because Λgt;0, and that the circle exhibited above is the one they sit on. And that ring is the one on which the whole excursion takes place. The companion framework's closed contour—the cosmogenetic bead—runs on precisely these roots [JanzenCRframework]: the back seam at r=-2α/√3 and the front seam at r=+α/√3 are the cubic's roots met at the two ends of one lap, and are one point of the underlying geometry, since in the phase =2πr/√3α the roots sit at +120, 0 and -240 and the outer two differ by a full turn. Between them the contour passes the comoving turnaround, the imaginary-time lift, and—at the conjugate critical point this paper carries throughout, r=0—the branch point at which a collapse becomes a cosmology. The second critical point of the cycloid is therefore not merely a place the curve passes through smoothly; it is where the beginning happens, and the smoothness established here is what permits the passage. The horizon and r=0, the two poles of the homogeneous ring, are the two ends and the midpoint of the one excursion.

The structure function's values carry a second triple, independent of its roots and worth recording beside them. On the forced (Nariai) member the marginal congruence satisfies (dr/d τ)2=1-f, and the excursion's three critical loci sit at three equally spaced values of : the seam at f=0, where dr/d τ=±1 is real; the turnaround at f=1, where it vanishes; and the interior Euclidean null at f=2, where it is ±i and the lift's own parameter carries unit speed [JanzenCRframework]. So 1-f∈{+1,0,-1} across the excursion: the three critical loci are the three causal characters: the root triple grades position on the ring, and these values grade causal character along it. Whether the two triples are one structure is not claimed here: no derivation producing {0,1,2} from a single condition has been exhibited, and until one is, the coincidence of the two counts is a coincidence of counts.

The same invariant, read along the cosmological branch rather than the interior, scales differently in the mass, and the difference is instructive. On the bead's outward law [JanzenCRframework] the areal radius carries r∝M1/3 rather than the cycloid's r∝M, so that K=48M2/r6=64/27s4 near the origin: free of the mass and of α alike. The cancellation is the amplitude's exponent and nothing else—6× 13=2 exactly—so that at a given proper interval from the origin the curvature is the same for every progenitor mass, while at a given cycloid phase it goes as M-4. P2R2 The scope of that statement is worth marking, because the object is this paper's perspectival scalar and not the curvature of the geometry the bead rides. On the Nariai cut itself the full invariant is K=48M2/r6+24/α4=(12/α4) ( sinh-4(3 τ/2α)+2), in which the mass cancels identically rather than only in the limit—the sharper form, established with the conjugation vertex it belongs to [JanzenBoundary]. The two agree where they meet: the background term 24/α4 is finite while the first diverges, so the near-origin limit is the 64/27s4 above. What is α-free is therefore the divergent part read through the perspectival scalar, not the geometry's own curvature, which carries 24/α4 and is manifestly α-dependent.

The cycloid itself establishes only that the extra roots are the ones the cosmological constant supplies; the readings built on them are the companions', drawn here to the built and located weight they carry.

The asymptotic machinery marks the same boundary from the other side. In the Schwarzschild reading this paper works, the ADM mass is well defined and returns the mass parameter: spatial infinity and a global timelike Killing vector are both available. Neither survives the move to Schwarzschild–de Sitter, where a conserved charge is widely held not to be well defined and the candidate constructions disagree on the value [JanzenSlicing]. That is not a technical shortfall of the de Sitter case but the same perspectival point in another register: the constructions differ over how to subtract a de Sitter background, and in the wider construction there is no background to subtract.

This one circle is the analytic object that binds the two readings the wider construction turns on. Read as the static interior it is the collapsing hole—the Schwarzschild vantage, the matter falling on its own leaf; carried to the de Sitter substrate and read outward through the timelike vantage it is the expanding cosmology, whose rate the geometry alone sets, the framework's reassignment installing the Nariai member at which two roots of the Λgt;0 triple merge [JanzenSlicing]. These are two vantages on one curve, not two geometries; and the companion framework's central theorem—that the cycloid, carried to Λgt;0 and closed through the seam and through r=0, is a single closed excursion of which the circle exhibited here is the Schwarzschild-limit seed—is what carries the one reading into the other [JanzenCRframework]. The turning points are distinct but not apart: the throat at size α, the branch point at r=0 the curve passes through, the merged horizon at α/√3 that seeds the Nariai cosmology, and the backward-radial root at -2α/√3 on which the lap closes, are turning points of one continuous lap—a single closed bead the signed areal radius traverses (the collapse ruling in, around the throat, through r=0 onto the conjugate branch, out to close on the backward-radial root), not separately-destined crossings. These signs are one vantage's, and the enumeration must not privilege them: the three horizon roots sum to zero, so they are two of one sign and one of the other, and the backward-radial reflection (r↦-r, 2M↦-2M) carries the whole set to its conjugate reading—the merged horizon to -α/√3, the closing root to +2α/√3—exchanging the two vantages as a set and singling out no sign [JanzenSlicing]. They are held apart only by radius—α the size of the substrate throat, α/√3 a merged-horizon areal radius, 2α/√3 the backward-radial closing root, quantities never to be conflated—and it is a single homogeneous circle whose poles and throat they are, read from within, the object the whole layered reading is laid out around.

What the second critical point opens onto

The two critical points are the same kind of object, and the sequence this paper opens is, in a precise sense, about the second one. It is worth setting down what r=0 becomes once the construction is carried to the substrate, because the standard verdict there—the end of the world, the place the description stops—is close to the opposite of what the companions find.

On the de Sitter geometry the companion slicing paper builds, the signed areal radius passes through zero at an ordinary point of one smooth manifold: the vanishing is of a chart function and not of the geometry—the origin of polar coordinates, on a plane that does not notice—so the curve laps through onto the conjugate branch and closes [JanzenSlicing]. The companion framework paper establishes that closure as a theorem, of which the circle exhibited here is the Λ→0 seed [JanzenCRframework].

What that point then carries is the sequence's subject matter, and it is a long list: the sign of the areal radius is read there as a matter/antimatter register [JanzenGroupoid, JanzenAlgebroid]; the crossing at r=0 is where the discrete charge-conjugation structure and the account of the beginning meet [JanzenBoundary]; the fermion generations are counted by structures anchored to it [JanzenMatter]; and the r=0 that the comoving chart reports at the beginning is the same chart artefact dressed with mass [JanzenOperator]. Those are the companions' results, argued there and not here, and the present paper neither uses nor supports them. They are named for one reason: to say what the second critical point turns out to be, having been shown here to be a point the construction passes through rather than the place it stops.

The geometric structure of the second critical point is not exhausted by that list, and the sequence does not claim it is. What the sequence claims is that the point the standard reading treats as the terminus of the description is the one its own subject matter is organised around.

Conclusion

We have shown that the maximally extended Schwarzschild geometry admits a parametrisation by a single smooth coordinate , with the areal radius given by the cycloid r(z) = M(1+ cos z). The two endpoints of the interior cycloid arc, conventionally identified as the horizon (r = 2M, at z = 0) and the curvature singularity (r = 0, at z = π), are non-degenerate critical points of r(z) of identical analytic character. Analytic continuation through the two critical points, with both branches at each, produces a single curve—hyperbola, circle, hyperbola—whose four pieces at r ≥0 are the maximal Kruskal–Szekeres extension, terminating at r=0, and whose two pieces at r lt;0 are the back-seam continuation through z=π, beyond where Kruskal stops. The Kretschmann scalar's divergence at r = 0 is generated by the chain rule—the second-order vanishing of r(z) at z = π composed with the singular function 48M2/r6—and tracks the chart's labelling of the conjugate critical point as r = 0. The underlying smooth structure carries no divergent invariant of its own; the divergence is the perspectival Schwarzschild metric's, real as such. Whether that real divergence is read as a feature of the geometry or of the perspectival chart is the ontological question of Section 7, not decided here.

The primary consequence is the falsification of an inference. The standard classification takes the curvature divergence at r=0 to entail an inextendible boundary, removable in no chart; the cycloid is a counterexample to that entailment, because the same analytic continuation that the standard treatment accepts as removing the horizon at z=0 carries the curve smoothly through z=π. A single counterexample refutes the universal, and it does so independently of any ontological preference: r=0 is a critical point the construction passes through, not a boundary at which it stops. Whether the residual Kretschmann divergence is read as a feature of the geometry or of the perspectival chart is a separate question, which the construction does not force and which the companion slicing paper takes up. This paper is the second of a sequence: the companion [JanzenBHcausality] establishes that the event horizon is itself a metric singularity, and the present paper establishes that the curve passes through r=0 by the same continuation, so the curvature-divergence inference to an inextendible boundary fails there as the removability of the horizon fails at z=0—the two grounds on which the standard classification rests its horizon/singularity asymmetry both give way. What is not thereby removed is r=0's inextendibility on the independent, curvature-free grounds Sbierski establishes [sbierski2018]; whether the asymmetry that survives there is a feature of the geometry or of the perspectival chart is the step the companion slicing paper [JanzenSlicing] takes up, and finds perspectival—the divergence a property of the areal coordinate, not of the substrate, which is C across the locus the chart labels r=0; the asymmetric labelling itself manufactured by the off-axis pivot the exterior vantage is forced onto. Read forward on that perspectival reading, the passage the present paper opens is the seam of a cosmogenesis: the framework's central theorem carries the collapse through it into an expanding cosmology, and the primordial light-element abundances that history produces are computed in the companion cosmogenesis paper [JanzenCosmogenesis]. The present paper supplies only the geometric step—that the inextendibility inference fails at r=0—on which that forward reading stands.