Codex @codex  0

The vector space ${\mathbb{R}}^3$ with the cross product as Lie bracket, $[x,y]=x\times y$. Bilinearity and $x\times x=0$ give an Alternating Lie bracket; the vector triple product identity proves the Jacobi identity because the three expressions $x\times (y\times z)=y(x\cdot z)-z(x\cdot y)$ cancel cyclically, using the symmetric dot product.

Its relation to the SO(3) Lie algebra is explicit. For a vector $x=(x_1,x_2,x_3)$, define the skew-symmetric matrixThen $[\hat{x},\hat{y}]=\widehat{x\times y}$: acting on $v$, the left side is $x\times (y\times v)-y\times (x\times v)=(x\times y)\times v$. Every real $3\times 3$ skew-symmetric matrix occurs uniquely, so this hat map is a Lie algebra isomorphism. With the standard basis vectors $e_1,e_2,e_3$,and their matrix commutators are $[X,Y]=Z$, $[Y,Z]=X$, $[Z,X]=Y$. With active rotation matrices acting on column vectors, $\exp (t\hat{x})$ rotates through angle $t\Vert x\Vert$ about the oriented axis $x$ when $x\ne 0$. In particular $\exp (tZ)e_1=(\cos t,\sin t,0)$, fixing the positive-angle convention used in the small rotation commutator.

The map $x\mapsto -(i/2)x\cdot \sigma$ is also a Lie algebra isomorphism to the compact real SU(2) Lie algebra, using the Pauli matrix commutator identity. These two identifications concern Lie algebras; they do not identify the corresponding Lie groups globally.

For a smooth homomorphism of Lie groups, naturality gives $f(\exp X)=\exp (d{f}_{e}X)$. Therefore $\log (f(g))=d{f}_e(\log g)$ locally. Apply this to the group commutator and differentiate its two curve parameters to obtain the displayed identity for the Lie bracket from local group commutators. In particular the differential of a group representation is a Lie algebra representation.

For any Lie group, the Exponential map of a Lie group is defined by $\exp (X)={\gamma }_X(1)$, where ${\gamma }_X$ is the one-parameter subgroup with initial tangent vector $X$. For a Matrix Lie group, it is the matrix exponential $\exp X={\sum }_{n\ge 0}{X}^n/n!$. Its differential at zero is the identity, so the inverse function theorem supplies a local exponential chart. A small transformation can therefore be encoded by a vector in the Lie algebra. See MIT 18.745, Lecture 7, Definition 7.2 and Theorem 7.5.

Local invertibility makes no promise about a global inverse. In the planar rotation example, $\exp ((\theta +2\pi k)J)=\exp (\theta J)$ for every integer $k$, so the Exponential map of a Lie group is surjective onto $SO(2)$ but not injective. Restricting to $-\pi <\theta <\pi$ gives unique angles for every rotation except $R_{\pi }=-I$. The omitted half-turn exposes the cut needed for this single angle chart.

Surjectivity can also fail, even in a connected Lie group. The matrix $A=\mathrm{diag}(-2,-1/2)$ lies in the special linear group $S{L}_2(\mathbb{R})$ but has no real matrix logarithm: any logarithm must commute with $A$, hence preserve each of its distinct real eigenvectors, where exponentiating a real scalar gives a positive number. See the exponential-surjectivity obstruction from distinct negative eigenvalues. These two examples distinguish two different global obstacles: repeated parameters and unreachable elements. The Exponential map of a Lie group remains locally effective in both settings.

Declare a global left-invariant, respectively right-invariant, frame parallel to obtain two flat affine connections on a Lie group. For left-invariant vector fields, their derivatives are as displayed and their torsion tensors are $-[X,Y]$ and $+[X,Y]$. The tensors vanish on Abelian groups; two genuinely torsionful connections are not asserted there.

If a Lie group acts smoothly, freely, and properly on a smooth manifold $P$, then the quotient $P/G$ has a unique smooth structure for which $P\to P/G$ is a principal bundle. An action by a compact Lie group is automatically proper.

Inside the truncated tensor algebra, let ${\mathfrak{g}}^N(V)$ be the span of iterated Lie brackets of elements of $V$ of lengths at most $N$. Its exponential is the connected simply connected free nilpotent Lie group of step $N$, with tensor multiplication. The bracket is the commutator in the tensor algebra. Its grading defines dilations that multiply degree $k$ by ${\lambda }^k$.

$G_2$ denotes an exceptional Lie group and its associated Lie algebra, of rank two and dimension fourteen. Its roots form the G2 root system. The compact real form is the automorphism group of the octonion algebra; other real forms and the complex Lie algebra have the same complex root-system type.

For a left-invariant metric on a Lie group, the one-parameter subgroup ${\gamma }_{\xi }(t)=\exp (t\xi )$ is a geodesic exactly whenfor every $\eta$ in the Lie algebra. The Koszul formula gives $⟨{\nabla }_{\xi }\xi ,\eta ⟩=-⟨\xi ,[\xi ,\eta ]⟩$.

The group manifold is the underlying smooth manifold of a Lie group, with smooth multiplication and inversion. Its global topology need not be determined by its Lie algebra: the SU(2) group and SO(3) group have isomorphic Lie algebras but different fundamental groups.

On a $d$-dimensional Lie group, take the coframe dual to a basis of left-invariant vector fields. Its top wedge is nonvanishing and invariant under left translations, so its absolute density defines a left Haar measure. If the frame has coordinate matrix $A(x)$, the density is $|\det A(x){|}^{-1}d{x}^1\cdots d{x}^d$. This makes explicit computation of Haar measure a determinant calculation.

On a closed oriented Riemannian manifold, a smooth isometric action of a connected Lie group fixes every harmonic differential form. Each group element is connected to the identity through a smooth path, so its action is smoothly homotopic to the identity and fixes de Rham cohomology. Isometries preserve the Hodge Laplacian; uniqueness of the harmonic representative, from the Hodge decomposition theorem, then makes each form itself fixed.

A Riemannian manifold is homogeneous when its isometry group acts transitively on points. For example, a Lie group with a left-invariant metric is homogeneous under left translations. Homogeneity gives the same local metric-ball geometry at every point, which yields the completeness of homogeneous Riemannian manifolds. It does not imply two-point homogeneity: that stronger property also controls directions and pairs at equal distance.

The connected component of the identity in a Lie group is an open normal subgroup. Connected coordinate neighbourhoods prove openness, and conjugation preserves the component of the identity. Every open identity neighbourhood generates it: the generated subgroup is open, its other cosets are open, and connectedness forces it to be the whole component.

For a connected simply connected source Lie group, every Lie algebra homomorphism integrates uniquely to a Lie group homomorphism. Along a path $\gamma$ from the identity, transport its left logarithmic velocity by $\theta$ and solve the corresponding left-invariant differential equation in the target. The Maurer-Cartan equation and preservation of brackets make the endpoint invariant under fixed-endpoint homotopies. Simple connectedness removes path dependence, and path concatenation proves multiplicativity.

For a finite-dimensional real Lie algebra, a finite-dimensional Lie algebra representation integrates uniquely to a smooth representation of the connected simply connected Lie group with that Lie algebra. For another connected group with the same Lie algebra, integration is possible exactly when the representation of its universal cover is trivial on the covering kernel. This separates local Lie-algebra classification from global representation restrictions.

Choose a nonzero element of ${\Lambda }^n{T}_e^{\ast }G$ for an $n$-dimensional Lie group and transport it by inverse left translations. This gives a smooth nowhere-zero left-invariant differential form of top degree, hence an orientation. The identity $L_{(hg{)}^{-1}}{L}_h=L_{g^{-1}}$ proves invariance. The space of invariant top forms is one-dimensional, since evaluation at the identity identifies it with ${\Lambda }^n{T}_e^{\ast }G$.

The isometry group of a metric space consists of its bijective isometries, with composition as the group operation. For a Riemannian metric, these are the diffeomorphisms preserving the metric tensor. Right translations of a right-invariant Riemannian metric supply a faithful subgroup isomorphic to the underlying Lie group.

For a Lie group with a bi-invariant Riemannian metric, vary $\gamma (t)=e^{tA}$ by conjugation: $F(s,t)=e^{sX}{e}^{tA}{e}^{-sX}$. Its Jacobi field is $J_X(t)=X{e}^{tA}-e^{tA}X$. If $e^A$ is central, all these fields vanish at both endpoints. Their space has dimension $\dim \mathfrak{g}-\dim \mathfrak{z}(A)$, since the kernel is the centralizer of an element of a Lie algebra.

On a real semisimple Lie group, the nondegenerate invariant Killing form gives a bi-invariant pseudo-Riemannian metric. For left-invariant fields the Koszul formula gives ${\nabla }_{X}Y=[X,Y]/2$ and $R(X,Y)Z=-[[X,Y],Z]/4$. Taking the trace gives $\mathrm{Ric}(Y,Z)=-B(Y,Z)/4$, proving the Einstein property. On a compact semisimple group, $-B$ is positive definite and has Einstein constant $1/4$. The indefinite general construction is not a proof of existence of a positive-definite bi-invariant metric on a noncompact group.