Registry · Remark IV.R296 tau-effective not_applicable

IV.R296 — Abelianization and the torus projection

The abelianization F_2 -> Z x Z sends torus characters to lemniscate characters by forgetting loop ordering; the non-uniqueness of the lift is physical, corresponding to internal ordering of sub-processes within a quantum state, which measurement collapses.

Book IV Part 3 Ch. 17

Lean Formalization

Module: