Automorphisms of rigid geometric structures à la Zimmer–Gromov
This talk begins with examples of rigid and non-rigid geometric structures, followed by an in-depth discussion of the Fundamental Theorem of Riemannian Geometry, on existence and uniqueness of a torsion-free connection compatible with a Riemannian metric. This result is interpreted as giving a framing on the orthonormal frame bundle uniquely determined by the metric. It is seen to be a consequence of the vanishing of the first prolongation of the orthogonal Lie algebra.