Differential Geometry of Frame Bundles