IV.T63 — Vacuum Construction

Physical vacuum Ω*[ω] satisfies: (1) existence (projective limit non-empty by Mittag-Leffler), (2) uniqueness up to U(1) phase, (3) σ-invariance under lobe exchange, (4) stability (strict local minimum with positive transverse second variation).