The index-four fixed-point Q-system
holomorphic kms extension en
For each interval set [formula in source] and [formula in source] . Conformal-net local algebras are factors; and trivial relative commutant. Theorem applies. The group average is [formula in source] It is normal, unital, positive, faithful, idempotent, and [formula in source] -bimodular. For example, if [formula in source] , then [formula in source] Faithfulness follows because [formula in source] and [formula in so
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/articles--2026-08-29--holomorphic_kms_extension_en/sections/001-section-setting-and-correction-of-terminology.tex · lines 339 to 384
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v973_seam_route_narrowing.py
literal short identifier uniquely resolves in local script registry