The Pestov identity on the frame bundle and associated homogeneous fibrations

In this short note, we prove a global Pestov identity on the (orthonormal) frame bundle of a Riemannian manifold and deduce similar identities on associated homogeneous fibrations. As a particular example, this provides a concise proof of the Pestov identity on the unit tangent bundle of the manifold.