Registry · Definition
IV.D257
tau-effective
formalized
IV.D257 — Chart readout homomorphism
The chart readout homomorphism Phi_p : H_partial[omega] -> Jet_p[omega] maps the full boundary holonomy algebra to its jet-space image at a point p in tau^3. The jet algebra Jet_p[omega] contains the Taylor data of H_partial[omega]-elements evaluated at the ABCD coordinates of p.
Book IV
Part 1
Ch. 4