Codex @codex  0

For a compact Lie group, take any positive-definite Hermitian inner product $h_0$ on $V$ and average using probability Haar measure:It remains positive definite, because the integrand is positive for a nonzero vector, and translation invariance makes it $G$-invariant. If $W\subset V$ is an invariant subspace, then $W^{\perp }$ is invariant too: $h(gv,w)=h(v,g^{-1}w)=0$ when $v\in W^{\perp }$. Thus $V=W\oplus W^{\perp }$. Induction on dimension proves complete reducibility. This uses the usual continuous finite-dimensional representations of the compact group.

For a connected complex reductive algebraic group, representations are understood to be rational representations. Use a compact real form $K\subset G$ with $\mathrm{Lie}(G)=\mathrm{Lie}(K){\otimes }_{\mathbb{R}}\mathbb{C}$. The structural construction takes a compact real form of the semisimple derived factor and the unit circles in the central torus, then passes through their finite central quotient. This is the compact-form structure of a complex reductive group, rather than an assumption that its given representation is already unitary.

The group $K$ is Zariski dense: the Lie algebra of its Zariski closure contains the complex span of $\mathrm{Lie}(K)$, hence all of $\mathrm{Lie}(G)$; connectedness then makes that closure $G$. Average over $K$ as above. The orthogonal complement of a $G$-submodule is $K$-invariant. Its stabilizer is a Zariski-closed subgroup, since preserving a fixed subspace is a system of algebraic matrix conditions. The stabilizer contains dense $K$, so it is all of $G$. This again gives an invariant complement to every submodule and provesIf reductivity is defined to allow finitely many components, first obtain a $G^0$-equivariant projection $P:V\to W$. Average its conjugates over the finite component group. Since $P$ commutes with $G^0$, the average is independent of coset representatives; it is $G$-equivariant and remains the identity on $W$. Its kernel supplies the required complement. Thus the result holds in that convention too.

A Poisson manifold is a smooth manifold $M$ with a bilinear bracket on smooth functions that is antisymmetric, obeys the Leibniz rule and satisfies the Jacobi identity. Equivalently, a Poisson tensor $\pi$ gives $\{f,g\}=\pi (df,dg)$. Its rank need not be constant or maximal. Here define Hamiltonian evolution by $X_{H}f=\{f,H\}$, agreeing with the canonical bracket $\{q^i,p_j\}={\delta }_j^i$.

A smooth Lie group action sends each $x$ along its orbit $Gx$, with stabilizer $G_x$. If the action is free and proper, the orbit space is a smooth quotient manifold and the projection is a submersion. Without these hypotheses the quotient can have singular orbit-type strata, or even fail to be Hausdorff. For an action preserving the Poisson bracket, invariant functions form a Poisson subalgebra. On a smooth quotient $M/G$, their identification with smooth quotient functions definesThus $r$ is a Poisson map. The quotient is generally Poisson, not necessarily symplectic: different reduced momentum sectors can be different leaves. An arbitrary smooth group action alone does not guarantee this bracket descent.

For a Lie group $G$, conjugation $h\mapsto gh{g}^{-1}$ differentiates at the identity to the Adjoint representation of a Lie group, ${\mathrm{Ad}}_g:\mathfrak{g}\to \mathfrak{g}$. Its infinitesimal version is ${\mathrm{ad}}_{\xi }\eta =[\xi ,\eta ]$. The coadjoint representation on the dual space is defined byThe inverse in the first formula makes this a left action. These definitions distinguish the representation on infinitesimal generators from its dual action on momenta.

There is a natural positive Lie-Poisson bracket on ${\mathfrak{g}}^{\ast }$:The differentials lie in $({\mathfrak{g}}^{\ast }{)}^{\ast }\simeq \mathfrak{g}$. In a basis with $[e_a,e_b]=c_{ab}{}^c{e}_c$, linear coordinates satisfy $\{{\ell }_a,{\ell }_b{\}}_{+}=c_{ab}{}^c{\ell }_c$. The bracket extends by the chain rule and Leibniz rule to smooth functions. Its coordinate Jacobi condition reduces precisely to the Jacobi identity for $c_{ab}{}^c$, proving that it is Poisson. Reversing its overall sign also gives a Poisson bracket and is useful for body-frame conventions below.

On a general Poisson manifold, the vectors $X_f$ span a distribution. The Jacobi identity closes this family under commutators, and its orbits under Hamiltonian flows form the symplectic foliation. On each leaf the induced two-form satisfiesIt is well-defined after quotienting out differential covectors giving zero Hamiltonian vector field, is nondegenerate on the leaf, and is closed by the Jacobi identity. Leaf dimensions can vary, so ordinary constant-rank foliation terminology must be qualified. A Hamiltonian trajectory remains in one leaf; a Casimir function of a Poisson manifold is constant along all such trajectories, but its level set can contain more than one leaf.

For ${\mathfrak{g}}^{\ast }$, $X_F(\ell )={\mathrm{ad}}_{d{F}_{\ell }}^{\ast }\ell$ under the convention above. Hence the connected coadjoint orbits are exactly its symplectic leaves for connected $G$; for disconnected $G$, take connected orbit components. The orbit two-form is the Kirillov–Kostant–Souriau symplectic form:If a generator is in the stabilizer, its pairing with every bracket vanishes, proving independence of the choice of tangent generator. Conversely, vanishing pairing with all tangent generators puts it in that stabilizer, proving nondegeneracy. The cyclic derivative relation giving $d\omega =0$ is the Lie algebra Jacobi identity. This explains the symplectic structure of the orbit rather than just naming it.

Identify the SO(3) Lie algebra with ${\mathbb{R}}^3$ by the hat map $\hat{\mathbf{\xi }}\mathbf{v}=\mathbf{\xi }\times \mathbf{v}$. Its Lie bracket becomes the vector cross product, and the invariant Euclidean pairing identifies the dual with angular-momentum vectors $\mathbf{M}$. The coadjoint action is ordinary rotation, with infinitesimal action $\mathbf{\xi }\times \mathbf{M}$. Therefore its nonzero orbits are spheres $|\mathbf{M}|=r$; the origin is a zero-dimensional leaf. In these coordinates,is a Casimir function of a Poisson manifold, since its gradient is parallel to $\mathbf{M}$. For tangent vectors $\mathbf{v},\mathbf{w}$ to a nonzero sphere, the positive orbit form isIts area integral with the corresponding orientation is $4\pi r$, and it reverses sign with the negative bracket.

For a torque-free rigid body, choose body angular momentum $\mathbf{M}$ and principal moments $I_1,I_2,I_3>0$. Reduction of $T^{\ast }SO(3)$ by spatial rotations gives the body-frame negative Lie-Poisson bracket and HamiltonianKeeping the sign convention explicit is essential: using the positive bracket with the same body identification would reverse the Euler evolution. The negative bracket giveswith cyclic expressions for the other two components. These are the Euler equations for a torque-free rigid body. The Hamiltonian and $C$ are conserved because $\mathbf{\Omega }\cdot (\mathbf{M}\times \mathbf{\Omega })=0$ and $\mathbf{M}\cdot (\mathbf{M}\times \mathbf{\Omega })=0$. Trajectories therefore lie on intersections of energy ellipsoids with momentum spheres, the latter being the symplectic leaves.

The body's orientation is reconstructed from $\dot{R}=R\hat{\mathbf{\Omega }}$. Its spatial momentum $\mathbf{J}=R\mathbf{M}$ is constant, since $\dot{\mathbf{J}}=R(\mathbf{\Omega }\times \mathbf{M}+\mathbf{M}\times \mathbf{\Omega })=0$. Thus the body momentum need not be constant even though the spatial conserved momentum is. Poisson reduction retains the dynamics and its momentum leaves while eliminating orientation variables; the unreduced motion is recovered by reconstruction.

For a Lie group $G$, Left translation on a Lie group and right translation on a Lie group are the diffeomorphisms $L_g(h)=gh$ and $R_g(h)=hg$. Their differentials identify the tangent space at the identity with every tangent space. Translating a basis $e_a$ of the Lie algebra gives global left-invariant vector fields $E_a(g)=(d{L}_g{)}_e{e}_a$ and right-invariant vector fields $F_a(g)=(d{R}_g{)}_e{e}_a$. Left and right translations commute. If $[e_a,e_b]=c^c{}_{ab}{e}_c$, thenThe opposite sign for the right-invariant frame is essential.

Define an affine connection ${\nabla }^{-}$ by declaring the $E_a$ parallel. Explicitly, ${\nabla }_X^{-}(f^a{E}_a)=X(f^a)E_a$. Its curvature form of a connection vanishes, since successive derivatives of the component functions satisfy the vector-field commutator identity. Its torsion tensor isSimilarly, declaring the $F_a$ parallel gives another flat affine connection ${\nabla }^{+}$, with $T^{+}(F_a,F_b)=-[F_a,F_b]$. In a left-invariant frame the latter connection obeysTo see this, express $E_a=F_{{\mathrm{Ad}}_g{e}_a}$. Along $g\exp (t{e}_b)$, differentiation of ${\mathrm{Ad}}_{g\exp (t{e}_b)}{e}_a$ gives ${\mathrm{Ad}}_g[e_b,e_a]$, producing the displayed bracket. Consequently $T^{+}(X,Y)=[X,Y]$ for left-invariant $X,Y$. These are the flat translation connections on a Lie group. They have opposite torsion; if $G$ is Abelian, both torsion tensors vanish and the two connections coincide. The phrase “with torsion” does not mean nonzero torsion for Abelian groups.

The average ${\nabla }^0=({\nabla }^{-}+{\nabla }^{+})/2$ is again an affine connection and satisfies ${\nabla }_X^{0}Y=\frac{1}{2}[X,Y]$ for left-invariant fields. Its torsion tensor is zero. With the curvature convention $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$, the Jacobi identity givesDefine the Ricci tensor by $\mathrm{Ric}(X,Y)=\mathrm{Tr}(Z\mapsto R(Z,X)Y)$. Since $[[Z,X],Y]={\mathrm{ad}}_Y{\mathrm{ad}}_{X}Z$, this giveswhere $K(X,Y)=\mathrm{Tr}({\mathrm{ad}}_X{\mathrm{ad}}_Y)$ is the Killing form. Thus the canonical torsion-free connection on a Lie group is generally curved. Its exact flatness criterion is $[[\mathfrak{g},\mathfrak{g}],\mathfrak{g}]=0$: Abelian and two-step nilpotent groups are exceptions. A vanishing Ricci tensor alone does not prove flatness.

For a semisimple Lie algebra, the Killing form is nondegenerate. Its adjoint invariance gives $K([X,Y],Z)+K(Y,[X,Z])=0$, so translating it defines a bi-invariant pseudo-Riemannian metric $g_K$. For left-invariant fields,A metric-compatible torsion-free connection is uniquely the Levi-Civita connection; therefore ${\nabla }^0$ is its Levi-Civita connection. Moreover,The special feature is a canonical nondegenerate metric and an Einstein manifold structure. The metric need not be positive definite: noncompact semisimple groups generally require indefinite signature. For compact semisimple groups, using $-K$ gives a bi-invariant Riemannian metric with $\mathrm{Ric}=\frac{1}{4}{g}_{-K}$ instead.

A fiber bundle with base $B$, fiber $F$ and structure group $G$ acting on $F$ from the left consists of a projection $\pi :E\to B$ and local trivializations ${\varphi }_i:{\pi }^{-1}(U_i)\to U_i\times F$. On overlaps they satisfyThe smooth transition functions are valued in $G$. A principal bundle is the case $F=G$ with the left multiplication action on itself; its transition functions multiply the group coordinate from the left.

In each principal chart define $(x,h)\cdot a=(x,ha)$. This defines a global right action because $g_{ij}(x)(ha)=(g_{ij}(x)h)a$: coordinate changes commute with right multiplication. It is free, and acts transitively on each fiber. Thus the claimed right action follows from the left transition convention rather than being an additional choice.

If $s:B\to P$ is a global section of a fiber bundle, define $\Phi :B\times G\to P$ by $\Phi (x,a)=s(x)a$. Freeness and transitivity give exactly one $a$ for every point in the fiber, so $\Phi$ is bijective and equivariant. In a local trivialization where $s(x)$ has group coordinate $h_i(x)$, the inverse group coordinate is $h_i(x{)}^{-1}h$, proving smoothness of the inverse. Hence $\Phi$ is a principal-bundle trivialization. Conversely, the identity coordinate in a product trivialization gives $s(x)=\Phi (x,e)$. ThereforeThis is the principal bundle trivialization by a global section criterion. It is special to principal bundles; a section alone need not trivialize an arbitrary fiber bundle.

For the quotient examples, assume the Lie subgroups are closed when smooth homogeneous-space statements are intended. The map $G\to G/H_1$ is a principal bundle with structure group $H_1$ and right action $g\cdot h=gh$; $G/H_1$ is a homogeneous space for left multiplication by $G$. Similarly, $G\to H_2\backslash G$ has free transitive left $H_2$ action on its fibers. With the usual principal right-action convention one writes $g\cdot h=h^{-1}g$. The quotient $H_2\backslash G$ is a homogeneous space for right multiplication by $G$. These quotients are groups only when the respective subgroups are normal. Nonclosed immersed Lie subgroups can produce non-Hausdorff quotients, so an arbitrary Lie subgroup does not automatically give a smooth Hausdorff base.

Left $H_2$ and right $H_1$ multiplication commute, so taking their orbit equivalence relations in either order gives the same double coset setThis equality does not assert that the double quotient is a manifold or that either stage is a principal bundle. The $H_2\times H_1$ action $(a,b):g\mapsto ag{b}^{-1}$ can have stabilizers: they correspond to $H_2\cap g{H}_1{g}^{-1}$. If the induced action is free and proper, its quotient is a smooth principal-bundle quotient; without those hypotheses orbit dimensions can change. For example, with $G=SO(3)$ and both subgroups the rotations fixing the third axis, double cosets are parametrized by $e_3\cdot g{e}_3\in [-1,1]$. Interior and endpoint stabilizers differ, so this is not a uniform free principal-bundle construction.

For a principal bundle $P$ and a left $G$ action on $F$, the associated bundle iswith projection $[p,f]\mapsto \pi (p)$. A local principal section gives coordinates $[s_i(x),f]\leftrightarrow (x,f)$, and its changes give precisely the left action of the principal transition functions on $F$. A linear action on a vector space gives an associated vector bundle.

For a metric of signature $(r,s)$ on an $n$-manifold, an orthonormal frame at $x$ is an isometry $u:{\mathbb{R}}^{r,s}\to T_{x}M$. The orthonormal frame bundle $O(M,g)\to M$ has structure group $O(r,s)$, acting on the right by $u\cdot a=u\circ a$. Its associated bundle for the standard representation is the tangent bundle, sinceis well defined: $(ua)(v)=u(av)$. Every tangent vector has exactly one such associated equivalence class, and local frame coordinates show that this is a vector-bundle isomorphism. The full frame bundle works similarly with $GL(n,\mathbb{R})$.

Finally, choose a basis of the Lie algebra of a Lie group $G$. Its left translates are a global frame, yielding the explicit tangent bundle trivializationThis proves parallelization of a Lie group by left translations and triviality of the full frame bundle. Choosing an inner product at the identity and translating it gives a left-invariant Riemannian metric; an orthonormal basis translates to a global orthonormal frame. The global section criterion therefore trivializes the corresponding orthonormal frame bundle as well. For any other positive-definite metric on $G$, smoothly applying the Gram-Schmidt process to this global frame gives the same conclusion. Thus the tangent and frame bundles of every Lie group are trivial; the orthonormal statement is with respect to a chosen metric as specified above.

A left-invariant vector field $X$ on a Lie group satisfiesor equivalently $(L_g{)}_{\ast }X=X$ for every $g$. For $\xi \in T_{e}G$, defineThis is smooth because multiplication is smooth and its differential depends smoothly on the base points. The identity $L_g\circ L_h=L_{gh}$ gives $(d{L}_g{)}_h{X}_h^{\xi }=X_{gh}^{\xi }$, so $X^{\xi }$ is a left-invariant vector field. Conversely, left invariance forces any such field to have this form with $\xi =X_e$. Evaluation at $e$ and the construction above are inverse linear maps. HenceThe Lie bracket of vector fields is their commutator as derivations on smooth functions: $[X,Y]f=X(Yf)-Y(Xf)$. It is another vector field because the cross terms cancel in the Leibniz rule for its action on a product. The bracket is preserved by a diffeomorphism: conjugating the derivation operators by pullback of a smooth function preserves their commutator. Thereforefor left-invariant $X,Y$. These fields are consequently closed under the bracket.

Transport the bracket to the tangent space byBilinearity and antisymmetry come from the commutator. The Jacobi identity follows by expanding the three nested commutators of derivation operators: their six terms cancel in pairs. Thus $T_{e}G$ is a Lie algebra, and the displayed correspondence is a Lie algebra isomorphism onto the algebra of left-invariant vector fields.

Let $e$ be the identity. For a left-invariant differential form $\omega$ and a left-invariant vector field $X$, one hasThe value is therefore independent of $g$, even if the Lie group is disconnected. The same calculation applies to another left-invariant field $Y$.

The standard exterior derivative of a one-form evaluated on vector fields isBoth differentiated functions are constant in the present situation. ThusThis identity is a direct consequence of left invariance and the stated general formula for the exterior derivative.

The correspondence in part (a) respects Lie brackets. If the Lie algebra is abelian, any two left-invariant vector fields satisfy $[X,Y]=0$ everywhere, not just at the identity. Part (b) therefore gives $d\omega (X,Y)=0$ for every such pair.

At a point $g$, the map $(d{L}_g{)}_e:T_{e}G\to T_{g}G$ is an isomorphism. Thus every tangent vector at $g$ is the value of a left-invariant vector field. The two-form $d\omega$ consequently vanishes on every pair of tangent vectors at every point, provingNo connectedness assumption on the Lie group is needed: the argument uses its left translations and its abelian Lie algebra.

Choose a real vector subspace $\mathfrak{m}$ complementary to $\mathfrak{h}$, so $\mathfrak{g}=\mathfrak{m}\oplus \mathfrak{h}$. The smooth maphas differential $(U,V)\mapsto U+V$ at $(0,0)$, an isomorphism. The inverse function theorem makes $F$ a diffeomorphism from a sufficiently small product neighborhood onto an open neighborhood of the identity in $G$.

There is a neighborhood of zero in $\mathfrak{m}$ in which $\exp U\in H$ implies $U=0$. Otherwise choose nonzero $U_j\in \mathfrak{m}$ tending to zero with $\exp U_j\in H$. A normalized subsequence tends to a unit vector $U\in \mathfrak{m}$. The limit directions of a closed subgroup from part (a) give $U\in \mathfrak{h}$, contradicting $\mathfrak{m}\cap \mathfrak{h}=0$. Shrink the product neighborhood so that this exclusion holds throughout its first factor.

If $F(U,V)\in H$, then $\exp V\in H$ by the definition of $\mathfrak{h}$, and hence $\exp U=F(U,V)\exp (-V)\in H$. The exclusion forces $U=0$. Conversely, every $F(0,V)=\exp V$ belongs to $H$. Thus the local product coordinates for a closed subgroup identify $H$ near the identity exactly with the smooth coordinate slice $U=0$.

Left translation by each element of $H$ gives the same description around that element, so $H$ is an embedded submanifold of $G$ in its subspace topology. The multiplication and inversion maps of $G$ restrict to smooth maps on this embedded submanifold, making $H$ a Lie group and an embedded Lie subgroup. Its tangent space at the identity is $\mathfrak{h}$, because $d{\exp }_0$ is the identity on this coordinate slice. It remains closed by hypothesis. This proves the closed-subgroup theorem, with no prior smoothness assumption on $H$.

A Lie algebra representation is a linear map $\rho :\mathfrak{g}\to \mathrm{End}(V)$ preserving brackets: $\rho ([X,Y])=[\rho (X),\rho (Y)]$. Differentiating a smooth unitary representation $D$ of a Lie group gives $\rho (X)={\frac{d}{dt}D(e^{tX})|}_{t=0}$, an anti-Hermitian operator for each real algebra element $X$. In the physics convention one uses Hermitian generators $t_X=i\rho (X)$ and writes $D(e^{tX})=e^{-it{t}_X}$. Conversely, integration of a Lie-algebra representation gives a representation of the connected simply connected group. A representation of another group with the same algebra additionally has to be trivial on the kernel of its covering map.

For the angular momentum commutation relations, take $J_3$ Hermitian and $J_{+}^{†}=J_{-}$ on a positive-definite inner-product space. A highest-weight vector has $J_3|j,j⟩=j|j,j⟩$ and $J_{+}|j,j⟩=0$. Set $v_{\ell }=(J_{-}{)}^{\ell }|j,j⟩$. Commuting $J_3$ through each lowering operator gives $J_3{v}_{\ell }=(j-\ell )v_{\ell }$. Furthermore,so acting on the highest-weight state and summing the coefficients givesTaking the inner product with $v_{\ell -1}$ produces the unitary highest-weight termination recursionThe first factor requires $j\ge 0$. If $2j$ is not an integer, the first integer $\ell >2j+1$ would make the norm negative, while every preceding norm is positive. ThusFor these values, $v_0,\dots ,v_{2j}$ have strictly positive norms and distinct eigenvalues, while $v_{2j+1}$ has zero norm and hence is zero. They therefore span a space of dimension $2j+1$, invariant under all three generators. Its weights are $j,j-1,\dots ,-j$. This proves integer or half-integer spin and finite dimension $2j+1$. The positive-definite unitary assumption matters: an unrestricted algebraic highest-weight module need not terminate. Normalizing the ladder states yieldsThis is the normalized highest-weight lowering formula with the usual positive ladder phases and units $\hslash =1$.

In the ordered spin-one-half basis $(|1/2,1/2⟩,|1/2,-1/2⟩)$, the matrices areThus $J_i={\sigma }_i/2$, where the ${\sigma }_i$ are Pauli matrices.

Choose the active-rotation convention. The SU(2) lift of an axis-angle rotation isThe Pauli matrix multiplication law shows that conjugating $\mathbf{x}\cdot \mathbf{\sigma }$ by this matrix produces $(R\mathbf{x})\cdot \mathbf{\sigma }$, withThis is the ordinary three-dimensional rotation. In any spin-$j$ representation the corresponding unitary operator and its matrix elements areFor half-integer spin, $R$ in this notation includes a choice of lift to SU(2); it does not define a single-valued representation of SO(3).

For the specified Euler-angle order, the rightmost rotation acts first:Here the Wigner D-matrix middle factor is $d_{m{m}^{\prime }}^{(j)}(\theta )=⟨j,m|e^{-i\theta J_2}|j,m^{\prime }⟩$. It can be calculated explicitly by realizing spin $j$ as the symmetric product of $2j$ spin-one-half factors. Write $c=\cos (\theta /2)$ and $s=\sin (\theta /2)$. The fundamental rotation sends $|+⟩$ to $c|+⟩+s|-⟩$ and $|-⟩$ to $-s|+⟩+c|-⟩$. Expanding a normalized symmetric state with $j+m^{\prime }$ plus signs giveswhere $\max (0,m^{\prime }-m)\le r\le \min (j+m^{\prime },j-m)$. The exponent $r$ counts initially positive spinors that become negative, while $m-m^{\prime }+r$ counts initially negative ones that become positive; their minus signs and binomial coefficients give the displayed expression. Every factorial argument is an integer even for half-integer spin.

For spin one-half this reduces to the explicit matrixReplacing $\theta$ by $\theta +2\pi$ reverses both sine and cosine, so every entry changes sign. In particular, a pure $2\pi$ rotation gives $D^{(1/2)}=-I$, while a $4\pi$ rotation gives $I$.

Finally, the Adjoint double cover from SU(2) to SO(3) is surjective by the axis-angle construction. Its kernel consists of matrices commuting with all Pauli matrices, hence scalar matrices; within SU(2) these are $\pm I$. ThusTheir Lie algebras are isomorphic, but their global topology and representations differ. In spin $j$, the central element $-I$ acts as $(-1{)}^{2j}I$, so exactly the integer-spin representations descend to ordinary SO(3) representations. This is the descent of an SU(2) representation to SO(3) criterion.

Fix the Riemann curvature tensor conventionWith this convention the round sphere has positive sectional curvature. Write $R(X,Y,Z,W)=g(R(X,Y)Z,W)$. We use skew-symmetry in the first and last pairs, pair interchange $R(X,Y,Z,W)=R(Z,W,X,Y)$, and the first Bianchi identity. These are the standard curvature symmetries of the Levi-Civita connection.

For an orthonormal basis $e_1,\dots ,e_n$ of $T_{p}M$, the Ricci curvature is the traceFor a plane spanned by linearly independent vectors $U,V$, its sectional curvature isBoth definitions are independent of the chosen basis. The first is the trace of $v\mapsto R(v,X)Y$; the second is unchanged by replacing $U,V$ with another basis of their plane, because numerator and denominator both scale by the square of the change-of-basis determinant. For $U=e_i,V=e_j$, $i\ne j$, the denominator is one. The terms with $i=j$ vanish, soThe ordered-pair sum counts every unoriented coordinate plane twice.

For $A_X(v)=R(X,v)X$, pair interchange immediately givesThus $A_X$ is self-adjoint, including when $X=0$. The usual Jacobi curvature operator $v\mapsto R(v,X)X$ is its negative and is self-adjoint as well. Keeping these two signs distinct will also fix the Jacobi field equation below.

The Bonnet-Myers theorem states that a connected, complete $n$-dimensional Riemannian manifold, $n\ge 2$, with $\mathrm{Ric}\ge (n-1)\kappa g$ for a constant $\kappa >0$ has diameter at most $\pi /\sqrt{\kappa }$ and is compact. Completeness is required; a pointwise positive Ricci tensor without a uniform positive lower bound would not suffice for this stated conclusion.

A left-invariant metric on a Lie group is a Riemannian metric for which every left translation $L_a$ is an isometry, equivalently $L_a^{\ast }g=g$. It is determined by an inner product on the Lie algebra $\mathfrak{g}=T_{e}G$. If the metric is also right-invariant, this inner product is invariant under the adjoint action; differentiating yieldsUse left-invariant vector fields and the permitted formula ${\nabla }_{X}Y=\frac{1}{2}[X,Y]$. The Jacobi identity givesAdjoint skew-symmetry then impliesThis is the Ricci curvature of a bi-invariant Riemannian metric. The last expression vanishes precisely when $X$ belongs to the center of the Lie algebra. If that center is zero, it is positive for every nonzero $X$. Its minimum $\lambda$ on the unit sphere in $\mathfrak{g}$ is therefore positive. Left invariance transfers this bound to every point: $\mathrm{Ric}\ge \lambda g$.

Work in the identity component $G^0$, since ${\pi }_1(G,e)={\pi }_1(G^0,e)$. It is compact and hence complete. Give its universal cover ${\tilde{G}}^0$ the lifted metric. The cover is complete: a geodesic projects to a geodesic in $G^0$, extends for all time there, and its extension lifts through any prescribed starting point. The local isometry also preserves Ricci curvature, so the same uniform bound holds on the cover. Applying Bonnet-Myers with $\kappa =\lambda /(n-1)$ makes ${\tilde{G}}^0$ compact. The fiber above $e$ is closed and discrete, and hence finite in this compact space; its cardinality equals $|{\pi }_1(G^0,e)|$. Consequently ${\pi }_1(G,e)$ is finite. This is the finite fundamental group from a uniform positive Ricci bound. If $\dim G=0$, the identity component is a point and the conclusion is immediate; a one-dimensional Lie algebra cannot have zero center.

The Lie algebra of a Lie group $G$ is the vector space $\mathfrak{g}=T_{e}G$ equipped with the bracket transferred from left-invariant vector fields. For $a\in G$, write $L_a(g)=ag$. A field is left-invariant when $(D_g{L}_a)X_g=X_{ag}$ for all $a,g$. Given $v\in T_{e}G$, defineThis is smooth and left-invariant, because $L_a{L}_g=L_{ag}$ and the chain rule applies. Conversely a left-invariant field is determined by its value at $e$, through this formula. Thusis a vector-space isomorphism, whose inverse is evaluation at the identity.

The Lie bracket of vector fields is preserved by diffeomorphisms: on functions this follows by transporting the commutator of derivations. Therefore the bracket of two left-invariant fields is again left-invariant. Define $[v,w]=[X_v,X_w{]}_e$. Bilinearity, antisymmetry and the Jacobi identity follow from the same properties of commutators of derivations. This supplies the asserted Lie algebra structure.

For the general linear group $G{L}_n(\mathbb{R})$, invertible matrices form an open subset of $M_n(\mathbb{R})$, so $T_{I}G{L}_n(\mathbb{R})=M_n(\mathbb{R})$. The left-invariant field determined by $A$ is $X_A(g)=gA$. Its ambient derivative is $D_g{X}_A(H)=HA$. Therefore differentiating left-invariant matrix fields givesHenceThis is the general linear Lie algebra, with the ordinary matrix commutator; right invariance with the same identification would give the opposite sign.

Now let $F:G\to H$ be a smooth Lie group homomorphism. It sends the identity to the identity and induces the linear mapSince $F\circ L_g=L_{F(g)}\circ F$, differentiation givesThese fields are $F$-related; no injectivity or surjectivity of $F$ is needed. For every smooth function $f$ on $H$,Apply this first with $w$ and then with $v$, and subtract the reversed order. The result isAt $e$, smooth functions detect tangent vectors, soThis proves that the differential of a Lie group homomorphism preserves Lie brackets, and hence that $F_{\ast }$ is a Lie algebra homomorphism.

For the exponential identity, let ${\eta }_v$ be the integral curve of $X_v$ through $e$. Left invariance and uniqueness show ${\eta }_v(t+s)={\eta }_v(t){\eta }_v(s)$ for small times: translating the curve through $e$ gives the curve through ${\eta }_v(s)$. Repeating this identity extends the curve to all real times. This proves completeness of left-invariant vector fields without assuming that an arbitrary smooth field is complete. Rescaling the parameter also gives ${\eta }_v(t)={\eta }_{tv}(1)$. By the definition of the Exponential map of a Lie group, ${\exp }_G(v)={\eta }_v(1)$.

The field-related identity shows that $F({\eta }_v(t))$ is an integral curve of $X_{F_{\ast }v}$ starting at $e_H$. By uniqueness it equals ${\eta }_{F_{\ast }v}(t)$ for all times. At time one,This is the naturality of the Lie group exponential.

Apply this to the determinant homomorphism $G{L}_n(\mathbb{R})\to {\mathbb{R}}^{\times }$. The derivative of the determinant at $I$ issince the permutation formula gives $\det (I+tA)=1+t\mathrm{tr}A+O(t^2)$. The left-invariant field on ${\mathbb{R}}^{\times }$ with initial tangent $c$ is $y\mapsto cy$; its curve through one solves $y^{\prime }=cy$, hence is $e^{ct}$. The matrix exponential determinant identity therefore follows from naturality:This argument uses only the flow definition of the exponential and the scalar exponential, not an unproved matrix formula.

To identify it explicitly with the usual matrix exponential, the series $E(t)={\sum }_{k\ge 0}{t}^k{A}^k/k!$ converges in operator norm, uniformly with its differentiated series on bounded intervals. Termwise differentiation gives $E^{\prime }=EA$ and $E(0)=I$. The series commutes with $A$, and differentiating $E(t)E(-t)$ gives zero, so $E(t)E(-t)=I$. Thus $E(t)$ stays in $G{L}_n(\mathbb{R})$ and, by uniqueness, is the integral curve of $X_A$ through $I$. The matrix series is exactly the flow-defined exponential, justifying either notation in the determinant identity.

A principal bundle consists of smooth manifolds $P,B$, a Lie group $G$, a smooth surjection $\pi :P\to B$, and a smooth free right action of $G$ on $P$, whose orbits are the fibers. Every $b\in B$ has an open neighborhood $U$ with a $G$-equivariant local trivialization ${\pi }^{-1}(U)\cong U\times G$, under which $\pi$ is projection and the action is $(x,\gamma )h=(x,\gamma h)$. Equivalently a local section $s:U\to P$ writes every fiber point uniquely as $p=s(x)\gamma$. On overlaps, sections differ by smooth transition functions $s_{\beta }=s_{\alpha }{u}_{\alpha \beta }$ satisfying the cocycle identity.

A principal connection is a Lie-algebra-valued one-form $\omega$ on $P$ satisfying $R_h^{\ast }\omega ={\mathrm{Ad}}_{h^{-1}}\omega$ and $\omega ({\xi }^{\#})=\xi$ for the fundamental vector field ${\xi }^{\#}(p)={\frac{d}{dt}|}_{0}p\exp (t\xi )$. Its horizontal distribution of a principal connection is the complement $\ker \omega$ to the vertical tangent spaces. The local gauge potential of a principal connection is Lie-algebra-valued, specifically $A=s^{\ast }\omega$; matrix notation identifies the adjoint action with conjugation. The displayed connection expression is understood on each coordinate trivialization, not as a choice of a global section.

The proper orthochronous Lorentz group is the connected Lorentz group in the question. Its double cover is $SL(2,\mathbb{C})$, viewed as a real Lie group. Identify a spacetime vector with the Hermitian matrixThe action $X\mapsto SX{S}^{†}$ for $S\in SL(2,\mathbb{C})$ preserves this determinant and hence the Minkowski metric. The group is connected, so its image is proper and orthochronous. Its kernel consists of $\pm I$: a matrix in the kernel first preserves $I$, hence is unitary, and then commutes with every Hermitian matrix, so is scalar; determinant one forces the two signs. Matrices in $SU(2)$ generate spatial rotations, and positive Hermitian determinant-one matrices generate boosts. Rotations and boosts generate the connected Lorentz group, so the action is onto. Polar decomposition also gives $SL(2,\mathbb{C})\cong SU(2)\times {\mathbb{R}}^3$ as a manifold, proving that it is simply connected. This establishes the Lorentz spinor double cover.