Tangent Euler Top in General Relativity

We define the tangent Euler top in General Relativity through a constrained Lagrangian on the orthonormal frame bundle. The corresponding motions are studied to various degrees of approximation, the lowest of which is shown to yield the Mathisson-Papapetrou equations.