Registry · Definition
IV.D263
tau-effective
formalized
IV.D263 — Chart readout homomorphism
For each point p in tau^3, the chart readout homomorphism Phi_p : H_partial[omega] -> Jet_p[omega] restricts global boundary holonomy elements to local jet data. The metric g_mu_nu, Christoffel symbols, Riemann curvature, and matter fields are all Phi_p-images of H_partial[omega] elements.
Book IV
Part 1
Ch. 5