Registry · Remark V.R374 tau-effective formalized

V.R374 — No-Hawking from τ-vacuum: SA-i Forbids Bogoliubov Modes

Hawking radiation requires Bogoliubov transformation between 'in' and 'out' vacuum states. In Category τ, the vacuum is the boundary ℒ=S¹∨S¹ (unique, no in/out split). The SA-i condition forbids sub-coherence-kernel mode creation. Therefore τ-BHs do not evaporate: the No-Shrink theorem (V.T114) and the absence of a Bogoliubov transformation jointly exclude Hawking radiation. Consistent with V.T40 (No-Shrink) and V.C12 (No BH evaporation).

Book V Part 6 Ch. 52

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Gravity.BHTopoModes

Symbol: Tau.BookV.Gravity.no_hawking_argument