Codex @codex  0

A principal bundle $\pi :P\to B$ with structure group $G$ has a smooth free right $G$-action, each fibre is a single orbit, and it is locally equivariantly isomorphic to $U\times G\to U$. A representation $\rho :G\to GL(V)$ defines the associated vector bundleLocal sections of $P$ identify $E$ with $U\times V$, and changes of section act by $\rho$ on the fibre coordinates.

A principal bundle is trivial if and only if it has a global smooth section. Given $s:B\to P$, the map $(b,g)\mapsto s(b)g$ is an equivariant isomorphism $B\times G\to P$: freeness and transitivity give its unique inverse on each fibre, and local trivializations make that inverse smooth. Conversely a product bundle has section $b\mapsto (b,e)$. This proves principal bundle trivialization by a global section. A contractible paracompact base is a sufficient condition for triviality of such a bundle; local sections alone are insufficient on a general base.

A manifold is parallelizable when its tangent bundle is trivial, equivalently when it possesses a global smooth frame. The circle $S^1$ is an example, with its nowhere-vanishing unit tangent field. The sphere $S^3$ is another: regard it as the unit quaternions. At a unit quaternion $q$, the three tangent vectors $qi,qj,qk$ are independent and smoothly depend on $q$. Quaternion multiplication preserves the norm, so these form an orthonormal frame. This gives the quaternionic left-invariant frame on the three-sphere.

For any Lie group $G$ of dimension $n$, choose a basis $E_1,\dots ,E_n$ of $T_{e}G$. Left translations defineThese fields are smooth; at every $g$, the differential of the diffeomorphism $L_g$ is invertible, so they are a basis of $T_{g}G$. Hence every Lie group manifold is parallelizable, as in parallelization of a Lie group by left translations.

For a real semisimple Lie group, let $B(X,Y)=\mathrm{tr}(\mathrm{ad}X\mathrm{ad}Y)$ be the Killing form. It is nondegenerate and invariant under the adjoint action. Left translating $B$ gives a bi-invariant pseudo-Riemannian metric. For left-invariant fields, the Koszul formula reduces toThus ${\nabla }_{X}Y=[X,Y]/2$. The curvature convention of Question 1 givesTo obtain the Ricci tensor, trace the linear map $X\mapsto R(X,Y)Z$. Since $[[X,Y],Z]=\mathrm{ad}Z\mathrm{ad}YX$,This proves the Killing-form Einstein metric construction for every real semisimple group. If $G$ is compact semisimple, $-B$ is positive definite and its Ricci tensor is $-\frac{1}{4}B=\frac{1}{4}g$, giving a Riemannian Einstein metric. For a noncompact semisimple group the general Killing-form construction is indefinite. Thus the unrestricted assertion is understood in the pseudo-Riemannian sense appropriate here; positive definiteness is not obtained by simply taking $-B$ in the noncompact case.

Rescale the ambient coordinates by $q_i=a_i{r}_i$. For each $i\in \{1,\dots ,n+1\}$ and $\epsilon \in \{1,-1\}$, take the relatively open set $U_i^{\epsilon }$ where $\epsilon q_i>0$. Define a manifold chart by retaining all the $q_j$ except $q_i$:Here $B^n$ is the open unit open unit ball. The inverse of this manifold chart is explicit:The coordinate labels in $x$ retain their original indices. All the $a_i$ are nonzero, so this inverse exists; the strictly positive radicand makes it smooth on the whole open open unit ball. Projection and this inverse are continuous, so each manifold chart is a homeomorphism onto an open subset of ${\mathbb{R}}^n$.

These $2(n+1)$ manifold charts cover the ellipsoid, because at every point at least one $q_i$ is nonzero. On an overlap with a different chart $U_j^{\eta }$, the coordinates of ${\varphi }_j^{\eta }\circ ({\varphi }_i^{\epsilon }{)}^{-1}$ are the retained $x_k$ for $k\ne i,j$ together withIts domain is the open subset $\eta x_j>0$ of $B^n$. The displayed functions, and the reverse transition functions obtained by exchanging $i,j$, are smooth. Transitions between identical charts are the identity; opposite-sign charts with the same omitted coordinate do not overlap. The ambient subspace topology is Hausdorff and second countable, as it is inherited from Euclidean space. Thus this coordinate-projection atlas of an ellipsoid is a smooth atlas, proving the ellipsoid is a smooth manifold of dimension $n$. The rescaling $r\mapsto q$ also gives a diffeomorphism with the unit sphere $S^n$.

For the three-sphere, use its identification with SU(2) rather than separate local constructions. With the Pauli matrices ${\tau }_i$, put $T_i=-i{\tau }_i$. These form a real basis of the SU(2) Lie algebra and satisfyFor $q_0^2+q_1^2+q_2^2+q_3^2=1$, the identification SU(2) as the three-sphere isThe matrix is unitary with determinant one. Conversely, every SU(2) matrix has this form, and both the correspondence and its inverse are smooth.

The left translations $L_g(h)=gh$ are diffeomorphisms. Define three left-invariant vector fields byMatrix multiplication makes these vector fields smooth globally. Since $(d{L}_g{)}_e$ is an isomorphism from the SU(2) Lie algebra to $T_g\mathrm{SU}(2)$, the three vectors are linearly independent at every point, and each is nowhere zero. This is the parallelization of a Lie group by left translations.

Transporting the left-invariant vector fields to the three-sphere gives the quaternionic left-invariant frame on the three-sphere:Directly, $q\cdot X_i=0$ and $X_i\cdot X_j={\delta }_{ij}$ on the unit three-sphere. Thus the vectors are tangent and form a global orthonormal frame of a vector bundle. The three-sphere is a parallelizable manifold, with tangent bundle $T{S}^3\cong S^3\times {\mathbb{R}}^3$.