The Horizon Conjugation

Theorem 1 (Horizon Conjugation). The event horizon is the macroscopic expression of the σ-boundary. The σ-involution, restricted to the horizon, implements CPT conjugation (up to spatial rotation about the radial axis).

Specifically: σ̂ = J, where J is the Tomita–Takesaki modular conjugation of the exterior algebra in the Hartle–Hawking vacuum, and J = CPT by the Bisognano–Wichmann theorem and its curved-spacetime generalisations (Sewell 1982, Summers–Verch).

The proof has two parts. Part A shows the σ-boundary coincides with the event horizon. Part B shows σ̂ = CPT there.

Between them, §4.2 addresses a critical geometric subtlety: the Bisognano–Wichmann theorem operates on the maximally extended four-region Kruskal geometry, but the axioms restrict the manifold to two sectors.

This restriction is proved (Proposition 0). Its consequence for the commutant identification (Corollary) is a structural reading the axioms motivate, not a result delivered by the imported modular theory — standard theory maps a wedge to its causal complement (the opposite exterior), and the identification of the interior as the commutant is asserted on the two-sector topology, not derived from Sewell. This is the open step KS-46B holds (ADDRESSED, not closed).

4.1 — Part A: The σ-boundary is the event horizon

(A1) On the manifold (AP20, AS = manifold), the two sectors ℒ and 𝒫 must be expressed as two regions. The boundary between them is the σ-boundary: the surface where the sector character changes.

(A2) AP17 identifies the sector characters: ℒ is the 1-condition (propagation — signals can escape to arbitrary distance). 𝒫 is the 0-condition (fold — Axiom C forces compactification; signals cannot escape).

(A3) Axiom C imposes a finite propagation bound c. This creates the causal structure of the manifold (AP05, AP08). In particular, it creates surfaces beyond which no signal can propagate outward.

In coordinate-invariant terms, the event horizon is defined as the boundary of the causal past of future null infinity (ℐ⁺): the surface separating the region from which signals can reach infinity from the region where they cannot.

(A4) The 1-condition (outward propagation possible) holds in the exterior of the horizon. The 0-condition (outward propagation impossible, fold) holds in the interior. The transition between the two conditions occurs at the horizon.

(A5) The σ-boundary separates the ℒ-sector (1-condition) from the 𝒫-sector (0-condition). The event horizon separates the region where outward propagation is possible from the region where it is not. These are the same surface.

∴ The σ-boundary is the event horizon. (Part A)

Epistemic note: This argument uses the coordinate-invariant definition of the event horizon (boundary of causal past of ℐ⁺), not Schwarzschild coordinates. It depends on AP17’s identification of 1-pole/0-pole with propagation/fold.

If AP17’s identification is wrong, Part A is wrong. See Gap 5 (§4.4) for further discussion.

4.2 — The two-sector topology

The Kruskal problem. The maximally extended Schwarzschild solution has four regions in the Kruskal–Szekeres diagram:

Region I — exterior (the observable universe outside the horizon)

Region II — black hole interior (future singularity — the collapse domain)

Region III — white hole interior (past singularity — the expansion domain)

Region IV — other exterior (a causally disconnected second exterior universe)

The Bisognano–Wichmann theorem and its curved-spacetime generalisations operate on this four-region structure. The modular conjugation J maps Region I ↔ Region IV (the two exteriors).

It does NOT map Region I → Region II (exterior → interior). The commutant of the exterior algebra 𝒶_I is the algebra 𝒶_IV of the other exterior, not the algebra of the interior.

AP22 requires σ̂ to map Region I → Region II (exterior → black hole interior).

If the manifold had the full four-region Kruskal structure, the uniqueness argument would fail: J and σ̂ would act on different targets.

The resolution: the axioms restrict the manifold to two sectors, not four.

Proposition 0 (Two-Sector Topology). The axioms {S, B, R, C} restrict the manifold to exactly two sectors: ℒ (exterior) and 𝒫 (interior).

Regions III and IV of the maximally extended Schwarzschild solution do not exist on the manifold.

Proof. The argument proceeds in three steps.

Step 1 (Axiom R kills Region III). Region III is the white hole interior — the time-reversed black hole. In Region III, matter emerges from a past singularity and expands outward.

This is a time-reversed process: it requires records to be unwritten, actualisations to be undone. Axiom R (irreversibility of records) prohibits this. White holes are structurally forbidden. Region III does not exist on the manifold.

Step 2 (Axiom S kills Region IV). Axiom S defines exactly one involution σ connecting exactly two sectors: ℒ and 𝒫. The involution is unique — there is one σ, not two.

Region IV would be a second copy of ℒ — a second exterior. But σ connects one ℒ to one 𝒫.

A second exterior would require either a second involution (violating Axiom S) or identification of Region IV with ℒ (making it the same region, not a new one).

Region IV does not exist as an independent sector on the manifold.

Step 3 (The manifold is two-sector). With Regions III and IV eliminated, the black hole spacetime has exactly two regions: the exterior (Region I = ℒ) and the interior (Region II = 𝒫).

The σ-boundary is the event horizon separating them.

You have just watched two axioms — irreversibility and symmetry — kill half of general relativity’s maximally extended solution. White holes die because records cannot be unwritten. Parallel universes die because the involution is unique.

What remains is what you observe: an outside and an inside, separated by a horizon.

Corollary (Commutant identification — structural reading). In the two-sector topology, the axioms motivate identifying the commutant of the exterior algebra 𝒶_ℒ with the interior algebra 𝒶_𝒫 — 𝒶′_ℒ = 𝒶_𝒫. This identification is the structural reading the axioms support; it is not delivered outright by the imported modular theory and is held open under KS-46B (see §4.4).

Structural reading. The two-sector topology motivates treating the exterior and interior as a bipartite system, ℋ ≈ ℋ_ℒ ⊗ ℋ_𝒫, in which the commutant of 𝒶_ℒ is 𝒶_𝒫 by the tensor-product commutation theorem. This bipartite factorisation is the structural assumption: the local algebras of the horizon are type III, for which no such factorisation holds in general and the modular commutant 𝒶′_ℒ is the algebra of the causal complement rather than of the interior.

Identifying the two is the reading the axioms support; closing the gap requires either a split-property argument that delivers the factorisation across the horizon, or a direct construction of σ̂ on the type III algebra. This is what KS-46B holds open.

Why this resolves the Kruskal mismatch. In the maximally extended Schwarzschild, J maps 𝒶_I → 𝒶_IV because the commutant of 𝒶_I is 𝒶_IV. In the two-sector topology, the commutant of 𝒶_ℒ is 𝒶_𝒫 (the interior).

Therefore J maps 𝒶_ℒ → 𝒶_𝒫. The modular conjugation now targets the correct region.

Note: The physical content of the two-sector topology is that black holes are formed by gravitational collapse from the exterior (AP21, direct vacuums), not extracted from an eternal Kruskal geometry.

This is consistent with astrophysical reality: real black holes form by collapse; Regions III and IV are artefacts of the maximal analytic extension, not physical regions.

See Gap 5 (§4.4) for the bifurcation tension this creates.

4.3 — Part B: σ = CPT at the horizon

The derivation has four stages: (1) show the derived QFT satisfies the conditions needed for modular theory at horizons, (2) apply the Bisognano–Wichmann / Sewell / Kay–Wald results to the Killing horizon, (3) show that σ̂ satisfies the same defining properties as J, (4) use uniqueness to conclude σ̂ = J = CPT.

Stage 1: The derived QFT satisfies the conditions for modular theory at horizons.

The Bisognano–Wichmann theorem (Minkowski space) requires the Wightman axioms.

Its curved-spacetime generalisations (Sewell 1982; Kay–Wald 1991; Summers–Verch) require adapted conditions: global hyperbolicity, local commutativity (Einstein causality), existence of a suitable Hadamard/KMS state, and the cyclic/separating property for the wedge algebra.

These conditions are met by the derived QFT:

W1 — Local Lorentz covariance. The axioms derive Lorentzian spacetime (AP05) and the Einstein field equations (AP08). The Lorentzian signature gives local Lorentz structure in the tangent space at every point.

Global Poincaré symmetry holds only asymptotically; the relevant condition for curved-spacetime AQFT is local Lorentz covariance, which is automatic from the derived metric structure.

W2 — Spectral condition (energy bounded below). By AP21’s Energy–Measure Bridge (Lemma): all energy is a manifestation of the break ε. The 1:1 is the zero-energy ground state.

Energy is proportional to the record measure μ, which is non-negative (it counts actualisations). The spectrum of the Hamiltonian is bounded below by zero.

W3 — Existence and uniqueness of vacuum. The vacuum is the 1:1 state — the state with no records, no actualisations, perfect symmetry. It exists by the axiom structure (the 1:1 is the starting point).

Its uniqueness follows from Axiom B: ε is the single generator of all departures from 1:1, so the path from vacuum to any excited state is through ε.

The vacuum is the unique state annihilated by all lowering operators.

W4 — Local commutativity (microcausality). Axiom C bounds propagation at c. Two regions separated by a spacelike interval cannot communicate. Therefore observables localised in spacelike-separated regions commute: [𝒶(O₁), 𝒶(O₂)] = 0 for O₁, O₂ spacelike.

This is microcausality, forced by Axiom C.

W5 — Completeness (cyclicity of vacuum). The Reeh–Schlieder theorem follows from the spectral condition (W2) and local commutativity (W4) in the AQFT framework.

Since W1–W4 hold, the vacuum is cyclic and separating for local algebras.

Caveat: The conditions above are stated in the language of the Wightman axioms for expository clarity. The rigorous curved-spacetime framework is algebraic QFT (Haag–Kastler nets with the microlocal spectrum / Hadamard condition).

The physical content is the same; the formal packaging differs. See Gap 1 (§4.4).

The derived QFT satisfies the conditions needed for modular theory at horizons. The Bisognano–Wichmann theorem and its curved-spacetime generalisations are available.

Stage 2: The modular conjugation at a Killing horizon.

Background (Tomita–Takesaki theory).

For a von Neumann algebra 𝒶 with a cyclic and separating vector |Ω⟩, there exists a unique pair (J, Δ) where J is an anti-linear isometric involution (the modular conjugation) and Δ is a positive self-adjoint operator (the modular operator), determined by the polar decomposition of the Tomita operator S: a|Ω⟩ ↦ a*|Ω⟩.

The key properties: J|Ω⟩ = |Ω⟩, J𝒶J = 𝒶′ (J maps the algebra to its commutant), and Δ^{it} generates the modular automorphism group.

The Bisognano–Wichmann theorem (1975–76).

For a relativistic QFT satisfying the Wightman axioms on Minkowski space, the modular conjugation J associated with a Rindler wedge algebra and the vacuum implements CPT (up to a spatial rotation by π about the edge of the wedge): J = Θ · R₁(π), where Θ is the CPT operator.

The Sewell extension (1982). Sewell proved an analogue of Bisognano–Wichmann for quantum fields on spacetimes with bifurcate Killing horizons.

In the Hartle–Hawking (KMS) state at the Hawking temperature, the modular flow is the Killing flow, and the modular conjugation implements a CRT-type transformation (charge conjugation × reflection × time reversal) across the horizon.

This is the curved-spacetime result that identifies J = CPT at the horizon.

Kay–Wald (1991). Kay and Wald established the uniqueness and thermal (KMS) properties of states on spacetimes with bifurcate Killing horizons under wedge-reflection isometry assumptions.

Their results provide the state-theoretic foundation: the Hartle–Hawking vacuum is the unique KMS state at the Hawking temperature T_H = ℏc³/(8πGMk_B), and this KMS property is what makes the Tomita–Takesaki modular theory physically meaningful at the horizon.

Application to the argument. AP08 derives the Schwarzschild solution. A Schwarzschild black hole has a bifurcate Killing horizon (the bifurcation 2-sphere in the maximally extended solution).

The Hartle–Hawking vacuum is the unique KMS state at the Hawking temperature. By Stage 1, the derived QFT satisfies the conditions for modular theory.

By §4.2, the topology is two-sector, so the commutant of 𝒶_ℒ is 𝒶_𝒫.

Therefore the Sewell / Kay–Wald results apply: J maps 𝒶_ℒ → 𝒶_𝒫 and J = CPT (up to spatial rotation about the radial axis).

Note on collapse-formed black holes. The black holes in this argument are formed by gravitational collapse (AP21, direct vacuums), not extracted from an eternal Kruskal geometry.

A collapse-formed black hole has no past horizon and no bifurcation surface at early times.

However, at late times after collapse, the near-horizon geometry approaches the stationary Schwarzschild geometry exponentially fast (the “peeling” property), and the physical Unruh state (appropriate for collapse) approaches the Hartle–Hawking KMS state in the exterior region.

Sewell’s result then applies in this late-time regime: the modular structure of the exterior algebra converges to that of the stationary case, and J = CPT holds asymptotically.

The segregation mechanism (§5) operates at late times — after the horizon has formed and the near-horizon geometry has settled — so this late-time applicability is sufficient.

Stage 3: σ̂ satisfies the defining properties of J.

(P1) σ̂ is an involution. σ² = id (Axiom S). Therefore σ̂² = 1.

(P2) σ̂ is anti-linear. By Part A, σ maps ℒ (exterior) to 𝒫 (interior) at the horizon. The Killing vector field ∂/∂t is timelike in the exterior and spacelike in the interior.

The modular flow Δ^{it} is generated by the Killing flow, which evolves forward in the exterior and has a qualitatively different character in the interior.

The modular conjugation J, which interchanges the algebra with its commutant, is anti-linear by the Tomita–Takesaki construction (it arises from the anti-linear Tomita operator S via polar decomposition).

Since σ̂ is to be identified with J, it must be anti-linear. More directly: σ̂ maps the exterior algebra to the interior algebra across the horizon, interchanging the two sectors.

By Wigner’s theorem, any symmetry of quantum mechanics is either unitary or anti-unitary.

A symmetry that interchanges a von Neumann algebra with its commutant while preserving the vacuum in a KMS state is necessarily anti-linear — this is a structural property of the Tomita–Takesaki construction, not a separate assumption.

Formal proof of anti-linearity. The Tomita operator S for the pair (𝒶_ℒ, |Ω_HH⟩) is defined by S(a|Ω_HH⟩) = a*|Ω_HH⟩ for all a ∈ 𝒶_ℒ.

S is anti-linear because the adjoint map a ↦ a is anti-linear: S(λ · a|Ω_HH⟩) = (λa)|Ω_HH⟩ = λ̄ · a*|Ω_HH⟩ = λ̄ · S(a|Ω_HH⟩).

The polar decomposition S = JΔ^{1/2} gives J anti-linear (since S is anti-linear and Δ^{1/2} is a positive linear operator, J = SΔ^{−1/2} inherits the anti-linearity of S).

Now: σ̂ satisfies the same defining properties as J — it is an involution (P1), maps 𝒶_ℒ to 𝒶′_ℒ (P3), and preserves |Ω_HH⟩ (P4).

By the uniqueness of the Tomita–Takesaki modular conjugation (Stage 4), σ̂ = J. Since J is anti-linear by construction, σ̂ is anti-linear.

The anti-linearity of σ̂ is therefore not an assumption but a consequence of the Tomita–Takesaki theorem applied to the pair (𝒶_ℒ, |Ω_HH⟩).

(P3) σ̂ maps 𝒶_ℒ to 𝒶_𝒫. By Part A, σ maps ℒ (exterior) to 𝒫 (interior).

On the manifold, σ̂ maps local observables in the exterior to local observables in the interior: σ̂ 𝒶_ℒ σ̂ = 𝒶_𝒫. By the Corollary of §4.2, 𝒶_𝒫 = 𝒶′_ℒ.

Therefore σ̂ 𝒶_ℒ σ̂ = 𝒶′_ℒ, which is the defining property of a modular conjugation.

(P4) σ̂ preserves the vacuum. The 1:1 is σ-invariant by construction: σ maps the 1:1 onto itself (perfect pairing under σ).

The Hartle–Hawking vacuum |Ω_HH⟩ is the thermofield double state — a maximally entangled state across the two sectors that is symmetric under exchange of the tensor factors.

This is precisely the σ-symmetric state: the state that looks the same from both sides of the horizon. Therefore σ̂|Ω_HH⟩ = |Ω_HH⟩.

Stage 4: Uniqueness → σ̂ = J.

By Tomita–Takesaki theory, the pair (J, Δ) is uniquely determined by the pair (𝒶, |Ω⟩) via the polar decomposition of the Tomita operator S.

Given the algebra 𝒶_ℒ and the vector |Ω_HH⟩, there is exactly one anti-linear isometric involution satisfying J𝒶_ℒJ = 𝒶′_ℒ and J|Ω_HH⟩ = |Ω_HH⟩.

σ̂ satisfies (P1)–(P4): it is an anti-linear involution that maps 𝒶_ℒ to 𝒶′_ℒ and preserves the vacuum. J satisfies the same properties and is uniquely determined.

Therefore σ̂ = J.

By the Sewell extension of the Bisognano–Wichmann theorem (Stage 2), J = CPT at the Killing horizon.

Therefore σ̂ = CPT at the horizon. (Part B)

Interpretational note. The statement “σ̂ = CPT at the horizon” is a statement about the modular conjugation associated with the wedge algebra and the Hartle–Hawking / KMS state.

It is an identification between operator-algebraic symmetries relating the two sector algebras. It is not a claim that an infalling proton dynamically transforms into an antiproton upon crossing the horizon.

The CPT conjugation relates the description of states as seen from the exterior to the description of states in the interior.

An infalling observer experiences nothing at the horizon — this is consistent with the equivalence principle and with Axiom C, which imposes the bound but does not create a local physical barrier.

Theorem 1 stands as a structural result, not a closed proof. Part A (§4.1): the σ-boundary is the event horizon — derived. Part B (§4.3): σ̂ = J = CPT at the horizon — resting on the commutant identification (Corollary), which is a structural reading held open under KS-46B, not delivered by the imported modular theory.

The two-sector topology (§4.2) ensures the modular conjugation maps exterior → interior. Five gaps are tagged below.

You have just watched the axiom’s involution — the mirror built into reality at the deepest level — express itself as CPT at the event horizon. The mirror is not a metaphor.

It is the Tomita–Takesaki modular conjugation, proved unique, proved anti-linear, proved to map matter to antimatter across the boundary between the two conditions of existence.

4.4 — Gap assessment

The following gaps are tagged for completeness. The derivation is presented as a theorem with tagged gaps, not as a conjecture.

Gap 1 (AQFT framework adaptation): SMALL. The verification in Stage 1 uses the language of the Wightman axioms for expository clarity.

The Wightman axioms are formulated for Minkowski-space QFT (global Poincaré covariance, spectral condition tied to translations).

On curved spacetime, the rigorous framework is algebraic QFT: Haag–Kastler nets with the microlocal spectrum condition (Hadamard condition) replacing the flat-space spectral condition.

The physical conditions (energy bounded below, microcausality, cyclic/separating vacuum) transfer from the axioms to the AQFT setting. A fully rigorous treatment would restate Stage 1 in the Haag–Kastler language with the Hadamard condition explicitly verified.

The weakest point is W3 (uniqueness of vacuum): the argument from “ε is the single generator” is correct in spirit but would benefit from a formal proof that the vacuum is the unique translation-invariant state in the relevant representation.

Gap 2 (Anti-linearity of σ̂): SMALL. The formal proof (Stage 3, property P2) shows that anti-linearity is not an assumption but a consequence of the Tomita–Takesaki construction: the Tomita operator S is anti-linear by definition (S(a|Ω⟩) = a*|Ω⟩, and the adjoint map is anti-linear); J inherits anti-linearity from S via the polar decomposition S = JΔ^{1/2}; σ̂ = J by uniqueness (Stage 4).

The gap is now SMALL: the formal proof is exhibited, and the only remaining refinement would be a fully rigorous construction of the Tomita operator on the specific algebra (rather than importing it from standard AQFT).

The supplementary Wigner theorem argument (σ̂ preserves transition probabilities and reverses Killing time, therefore anti-unitary) provides an independent physical route.

Gap 3 (Hartle–Hawking vacuum = σ-invariant state): SMALL. The identification is physically natural: the thermofield double is explicitly symmetric under exchange of the two tensor factors, which is what σ does.

A formal proof would show that the KMS condition at the Hawking temperature follows from the axioms (via the periodicity of Euclidean time in the Killing structure derived in AP08) and that the resulting KMS state is the unique state with the thermofield double structure.

Gap 4 (Rotating black holes): MINOR. The derivation is for Schwarzschild (non-rotating). Real astrophysical black holes rotate (Kerr).

The Sewell / Kay–Wald results extend to bifurcate Killing horizons in general, which includes Kerr, but the explicit verification for Kerr is not shown here.

Gap 5 (Bifurcation tension): CLOSED (via Sewell 1982). Proposition 0 eliminates Regions III and IV using Axioms R and S.

The original tension: the Kay–Wald theorem (global version) assumes the full four-region Kruskal manifold, but the two-sector topology eliminates Regions III and IV.

Resolution (via Sewell 1982). The relevant theorem is Sewell (1982), which generalises Bisognano–Wichmann to curved spacetimes. Sewell’s hypotheses are weaker than Kay–Wald’s global version.

They require only: (1) globally hyperbolic spacetime, (2) a wedge region with a local bifurcate Killing horizon, (3) a KMS state with respect to the Killing flow.

The axioms satisfy all three: (1) AP05 derives globally hyperbolic Lorentzian spacetime; (2) the exterior region (ℒ-sector) is a wedge bounded by a local bifurcate Killing horizon — this is a geometric property of the Schwarzschild solution near r = 2M, independent of the global extension; (3) the Hartle–Hawking state is, by definition, KMS with respect to the Killing flow at the Hawking temperature.

Sewell’s conclusion: the algebra of observables for the wedge is a Type III₁ von Neumann factor, and the modular conjugation J implements CRT symmetry (charge × reflection × time reversal), which in this context is CPT.

Therefore J = CPT. This result is obtained without any assumption about global manifold structure beyond the wedge — specifically, without assuming the existence of Regions III or IV.

The remainder of the proof (σ̂ satisfies the defining properties of J → σ̂ = J by uniqueness) proceeds without modification.

Note on standard imports: Sewell’s theorem assumes the Hadamard condition (microlocal spectrum condition) on the quantum state. This is a standard condition in curved-spacetime AQFT ensuring physical reasonableness of the state.

The argument imports this as standard apparatus, at the same level as importing Gleason’s theorem (AP25) or Tomita–Takesaki theory. No new physical postulate is introduced. Gap 5 is CLOSED.

KS-46 status: ADDRESSED. The derivation is presented. The identification is no longer a bare conjecture — it is a theorem with five tagged gaps. KS-46 upgrades from LIVE—HARD to ADDRESSED, split as follows:

KS-46A (Boundary identification): The σ-boundary = event horizon via AP17’s 1-pole/0-pole mapping. Depends on AP17. Status: DERIVED (AP17-dependent).

KS-46B (AQFT bridge): The derived QFT must satisfy the conditions for modular theory on the two-sector horizon geometry. Gap 5 (bifurcation tension) CLOSED via Sewell (1982): the local theorem’s hypotheses are all satisfied.

Late-time applicability for collapse-formed black holes addressed. Status: CLOSED. Hadamard condition imported as standard AQFT apparatus.

KS-46C (Operator identification): σ̂ must equal J via Tomita–Takesaki uniqueness. Status: ADDRESSED (formal anti-linearity proof exhibited; uniqueness argument complete).

Full closure requires: (a) formal discharge of the AQFT bridge conditions on the two-sector manifold (Gaps 1, 3 — both SMALL), (b) rigorous proof that the late-time near-horizon modular structure converges to the bifurcate-horizon result (physically established, not formally proved), (c) construction of σ̂ as a concrete Tomita operator on the specific algebra (formal anti-linearity proof exhibited; full construction uses standard AQFT apparatus).

If any of these is shown to be impossible, the theorem reverts to a conjecture and the downstream results (§5.1, §6, Proposition 2) become conditional.