Registry · Definition IV.D171 tau-effective formalized

IV.D171 — Strong curvature

The strong curvature F_n^s(Box) at plaquette Box and stage n measures the norm of the ordered composition of connection automorphisms around an elementary closed path minus the identity, quantifying the failure of parallel transport to commute around Box.

Book IV Part 5 Ch. 41

Lean Formalization

Module: TauLib.BookIV.Strong.YangMillsGap

Symbol: Tau.BookIV.Strong.StrongCurvature