Oriented frame bundle of de Sitter spacetime ($SO(4,1)⟶{\mathrm{dS}}_4$)

Represent unit-radius de Sitter spacetime by the spacelike unit hyperboloid in five-dimensional Minkowski spacetime. Appending its position vector as the last column of an oriented pseudo-orthonormal frame produces a matrix in $SO(4,1)$. Projection to that last column identifies $SO(4,1)$ with the oriented orthonormal frame bundle, a principal bundle with group $SO(3,1)$. The full bundle allowing both orientations is $O(4,1)$ with group $O(3,1)$. Requiring a time orientation as well selects the corresponding identity components.

In global coordinates the de Sitter spacetime metric is $-d{\tau }^2+{\cosh }^2\tau g_{S^3}$. A global frame of a vector bundle orthonormal for the round metric $Y_1,Y_2,Y_3$ on $S^3$ gives the displayed global pseudo-orthonormal frame. For example, identify $S^3$ with the unit quaternions and use $qi,qj,qk$. Choosing the spatial orientation and the future direction consistently gives a section of a fiber bundle for the oriented, time-oriented frame bundle. The principal bundle trivialization by a global section then proves that bundle is trivial.