James Weatherall

A classic result in the foundations of Yang-Mills theory, due to J. W. Barrett ["Holonomy and Path Structures in General Relativity and Yang-Mills Theory." Int. J. Th. Phys. 30, ], establishes that given a "generalized" holonomy map from the space of piece-wise smooth, closed curves based at some point of a manifold to a Lie group, there exists a principal bundle with that group as structure group and a principal connection on that bundle such that the holonomy map corresponds to the holonomies of that connection. Barrett also provided one sense in which this "recovery theorem" yields a unique bundle, up to isomorphism. Here we show that something stronger is true: with an appropriate definition of isomorphism between generalized holonomy maps, there is an equivalence of categories between the category whose objects are generalized holonomy maps on a smooth, connected manifold and whose arrows are holonomy isomorphisms, and the category whose objects are principal connections on principal bundles over a smooth, connected manifold. This result clarifies, and somewhat improves upon, the sense of "unique recovery" in Barrett's theorems; it also makes precise a sense in which there is no loss of structure involved in moving from a principal bundle formulation of Yang-Mills theory to a holonomy, or "loop", formulation.

I offer an explanation of why inertial and gravitational mass are equal in Newtonian gravitation. I then argue that this is an example of a kind of explanation that is not captured by standard philosophical accounts of scientific explanation. Moreover, this form of explanation is particularly important, at least in physics, because demands for this kind of explanation are used to motivate and shape research into the next generation of physical theories. I suggest that explanations of the sort I describe reveal something important about one way in which physical theories may be related diachronically.

The status of the geodesic principle in General Relativity has been a topic of some interest in the recent literature on the foundations of spacetime theories. Part of this discussion has focused on the role that a certain energy condition plays in the proof of a theorem due to Bob Geroch and Pong-Soo Jang [“Motion of a Body in General Relativity.” Journal of Mathematical Physics16(1) (1975)] that can be taken to make precise the claim that the geodesic principle is a theorem, rather than a postulate, of General Relativity. In this brief note, I show, by explicit counterexample, that not only is a weaker energy condition than the one Geroch and Jang state insufficient to prove the theorem, but in fact a condition still stronger than the one that they assume is necessary.