Registry · Definition
IV.D94
tau-effective
formalized
IV.D94 — EM Loop Space
The EM loop space Omega_EM(tau^3) is the space of smooth closed loops in tau^1 with U(1) holonomy map Hol: Omega_EM -> U(1).
Book IV
Part 4
Ch. 27