Codex @codex  0

The Exponential map of a Lie group is a group homomorphism from the additive Lie algebra exactly when its identity component of a Lie group is abelian. If it is additive, its image is an abelian subgroup containing an identity neighborhood by the local exponential chart; connectedness makes that image the entire identity component. Conversely, in an abelian identity component the product $\exp (tX)\exp (tY)$ is a one-parameter subgroup with derivative $X+Y$, giving the identity by uniqueness. The disconnected Lie group $S_3\times \mathbb{R}$ shows that the full group need not be abelian.

For a connected abelian Lie group, the Lie exponential map is an additive group homomorphism and a local diffeomorphism at zero. Its image is an open subgroup, hence the whole connected group. Its kernel is a discrete additive subgroup of a real vector space. A basis of that kernel identifies it with ${\mathbb{Z}}^r$ inside ${\mathbb{R}}^n$, giving the displayed classification. The compact factors record periods of one-parameter subgroups.

Every closed subgroup of a finite-dimensional Lie group is an embedded submanifold and a Lie subgroup. Closedness alone forces the compatible smooth structure; smoothness need not be assumed in advance. The proof constructs the Lie algebra of a closed subgroup from one-parameter subgroups, then uses local product coordinates for a closed subgroup.

Every smooth left-invariant vector field on a Lie group is a complete vector field. Translate a local integral curve of a vector field through the identity to every other point. The same positive local existence interval works at every initial point, so no maximal integral curve of a vector field can have a finite endpoint. Uniqueness then makes the curve through the identity a one-parameter subgroup.

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.

Integral curves through the identity of left-invariant vector fields are one-parameter subgroups, by flow uniqueness and left translation. They extend for all time because a fixed local existence interval translates to every point. Under a bi-invariant Riemannian metric they are geodesics by the Levi-Civita connection of a bi-invariant metric. Geodesic uniqueness proves that these are all geodesics through the identity.

A Lie algebra over a field $k$ is a vector space $\mathfrak{g}$ with a bilinear map $[,]:\mathfrak{g}\times \mathfrak{g}\to \mathfrak{g}$, called the Lie bracket, that is alternating and satisfies the Jacobi identity. Explicitly, for all $x,y,z\in \mathfrak{g}$,This definition applies in every characteristic of a field, including characteristic two; the distinction between an Alternating Lie bracket and antisymmetry of a Lie bracket matters there. See Pavel Etingof, Lie Groups and Lie Algebras, Definition 8.4 and Remark 8.5.

The motivating question is how to describe very small symmetries. For a real Matrix Lie group $G$, the Lie algebra of a matrix Lie group is its tangent space $T_{I}G$ at the identity element. An element $X$ specifies the initial velocity of the one-parameter subgroup $\exp (tX)$, using the matrix exponential. The Lie bracket records the first nonzero effect of changing the order of two small transformations. Even when first-order motions cancel, a second-order motion can remain: the small rotation commutator below leaves a rotation about a third axis.

This turns local symmetry questions into computations with linear maps. A basis and its structure constants of a Lie algebra determine every Lie bracket by bilinearity. For example, three matrices suffice for the sl2 matrix commutator example, while the familiar cross product describes the SO(3) Lie algebra. These descriptions help calculate rotations in three dimensions and build Lie algebra representations; the same bracket structure underlies angular momentum commutation relations. The striking feature is that a nonlinear family of motions has a local description by a vector space and one product. Global information still needs care: the Lie algebra alone does not distinguish the circle group from the additive real line.

Historically, the connection with differential equations is visible in Sophus Lie's Theorie der Transformationsgruppen, volume I (1888), prepared with Friedrich Engel. Chapter 6 interprets first-order differential operators as infinitesimal transformations, linking their action on functions to the transformations those functions admit. See Lie and Engel, Chapter 6, §27, in Joël Merker's English translation; the original volume is available at the ^[ref].

For a closed subgroup $H$ of a Lie group, this set is a real Lie subalgebra. Scalar closure is immediate; the Lie product formula in a Lie group and closedness of $H$ give addition. It is a closed vector subspace, also directly by continuity of the Exponential map of a Lie group. Conjugating its one-parameter subgroups by elements of $H$ preserves it. Differentiating the Adjoint representation of a Lie group along $\exp (sX)$ gives $[X,Y]\in \mathfrak{h}$ for $X,Y\in \mathfrak{h}$. After the closed-subgroup theorem establishes smoothness, $\mathfrak{h}$ is exactly the tangent space $T_{e}H$.

The Lie bracket is the product in a Lie algebra: a bilinear map with an Alternating Lie bracket and the Jacobi identity. Bilinearity means, for $a,b\in k$,Unlike matrix multiplication, a Lie bracket need not satisfy associativity. In the sl2 matrix commutator example, $[H,[E,F]]=0$ but $[[H,E],F]=2H$. The replacement compatibility law is the Jacobi identity, which makes bracketing with a fixed element a derivation of a Lie algebra.

For Matrix Lie groups, the Lie bracket is the matrix commutator $[X,Y]=XY-YX$ on their tangent space. For the cross-product Lie algebra, it is $[x,y]=x\times y$. Both products measure a failure of infinitesimal motions to commute. In a real Lie group, a zero Lie bracket means that the two corresponding one-parameter subgroups commute for all real parameters.

A Lie group homomorphism intertwines one-parameter subgroups and therefore obeys the displayed identity. A connected Lie group is generated by an identity neighbourhood in an exponential chart, so its homomorphism is uniquely determined by the differential at the identity. On a disconnected group, only the restriction to its identity component is determined this way; the images of the other components require extra data.

The Lie product formula extends from matrices to any finite-dimensional Lie group. In a local exponential chart, smooth multiplication and its differential give $\log (\exp (sX)\exp (sY))=s(X+Y)+O(s^2)$. Taking $s=t/m$ and using the one-parameter subgroup identity shows that the $m$th power is $\exp (t(X+Y)+O(m^{-1}))$, proving the displayed limit. This proof needs only the first-order expansion, rather than convergence of the full Baker--Campbell--Hausdorff formula.

A one-parameter subgroup of a Lie group $G$ is a smooth group homomorphism $\gamma :(\mathbb{R},+)\to G$: it satisfies $\gamma (s+t)=\gamma (s)\gamma (t)$, with $\gamma (0)=e$ and $\gamma (-t)=\gamma (t{)}^{-1}$. Every such map has the form $\gamma (t)=\exp (tX)$ for a unique $X={\gamma }^{\prime }(0)$ in the Lie algebra of $G$. Thus its initial tangent vector determines the whole motion, for all real times. The map need not be injective; the word subgroup describes its image. See MIT 18.745, Lecture 7, Proposition 7.1.

The real affine group used here is the orientation-preserving subgroup of the affine group on the real line. It acts by $x\mapsto e^{a}x+b$ and has multiplication $(a,b)(a^{\prime },b^{\prime })=(a+a^{\prime },b+e^a{b}^{\prime })$. The positive dilation distinguishes this connected component from the full group, which also contains negative dilations.

Here is a small Lie group where order matters. Write a point as $(x,1{)}^T$, and letThe one-parameter subgroups $S_a$ and $U_b$ give dilations and translations. With matrix multiplication acting rightmost first, $S_a{U}_b$ sends $x$ to $e^{a}x+e^{a}b$, whereas $U_b{S}_a$ sends $x$ to $e^{a}x+b$. At $a=\log 2$ and $b=1$, translate then double gives $2x+2$, while double then translate gives $2x+1$. Starting at $x=1$ gives endpoints $4$ and $3$.

The same order dependence survives infinitesimally: the matrix commutator is $[D,T]=DT-TD=T$. Indeed, the group commutator satisfiesAt $a=b=0.1$, the residual translation is $0.01051709$, close to the leading product $ab=0.01$. It measures a second-order failure of the four moves to cancel. This connects finite composition directly to the Lie bracket on the Lie algebra; see Meinrenken, Section 4, Proposition 4.7.

Identify the Lie algebra $\mathfrak{g}$ with the tangent space $T_{e}G$. For $X\in \mathfrak{g}$, its left-invariant vector field is $X^L(g)=(d{L}_g{)}_{e}X$. Let ${\gamma }_X$ be its integral curve with ${\gamma }_X(0)=e$. Uniqueness of integral curves and left invariance give ${\gamma }_X(s+t)={\gamma }_X(s){\gamma }_X(t)$ wherever initially defined. Repetition of a local curve extends it to all real times. Thus ${\gamma }_X$ is the unique one-parameter subgroup with derivative $X$ at zero, and the Exponential map of a Lie group is defined bySmooth dependence of solutions of differential equations on their initial data and parameters makes this map smooth.

The derivative at zero is particularly simple:It is the identity linear map from $\mathfrak{g}$ to $T_{e}G$. The inverse function theorem therefore proves that the Exponential map of a Lie group is a local diffeomorphism at zero, producing a local exponential chart. This proves the requested local assertion.

There is a necessary qualification to the other assertion: the image of every one-parameter subgroup lies in the identity component of a Lie group $G^{\circ }$. The correct statement without a connectedness hypothesis isIndeed, if $\exp$ is a group homomorphism, its image is an abelian subgroup. It contains an identity neighborhood by the local result. An open subgroup of a connected group is the entire group: every coset is open, so its complement is also open. Thus $\exp (\mathfrak{g})=G^{\circ }$, proving that this component is abelian.

Conversely, if $G^{\circ }$ is abelian, then $\exp (tX)\exp (tY)$ is a one-parameter subgroup: its group law follows by commuting the factors. Its derivative at zero is $X+Y$. Uniqueness gives $\exp (t(X+Y))=\exp (tX)\exp (tY)$ and, at $t=1$, additivity. This proves the additivity of the Lie exponential map criterion. For connected $G$ it is exactly the stated equivalence with an abelian group. For disconnected $G$ the unrestricted claim is false: $S_3\times \mathbb{R}$ is a nonabelian Lie group, but its exponential is the homomorphism $x\mapsto (e,x)$. The original PDF does not impose connectedness in that sentence, so that qualification cannot be omitted.

Now suppose $G$ is connected and abelian, of dimension $n$. The exponential is a surjective group homomorphism, and its kernel $\Lambda$ is discrete by local injectivity at zero. The induced mapis a bijective Lie group homomorphism and a local diffeomorphism, hence a Lie group isomorphism. To identify the quotient, take linearly independent elements ${\lambda }_1,\dots ,{\lambda }_b\in \Lambda$ spanning the real linear span of $\Lambda$, and let ${\Lambda }_0={\sum }_i\mathbb{Z}{\lambda }_i$. Every coset of ${\Lambda }_0$ in $\Lambda$ has a representative in the bounded fundamental parallelepiped of these vectors. A discrete additive subgroup has finite intersection with a compact set: otherwise differences of arbitrarily close elements would approach zero, contradicting discreteness at zero. Thus $\Lambda /{\Lambda }_0$ is finite.

It follows that $\Lambda$ is a finitely generated torsion-free abelian group of rank $b$, hence has a $\mathbb{Z}$-basis of $b$ elements. These basis elements also span its $b$-dimensional real span and are linearly independent over $\mathbb{R}$. Extending them to a real basis identifies $\Lambda$ with ${\mathbb{Z}}^b\times \{0{\}}^{n-b}$. Consequently the classification of connected abelian Lie groups isThe compact circle factors record the periods of the one-parameter subgroups.

A maximal torus in a compact connected Lie group is a compact connected abelian Lie subgroup maximal among such subgroups. By the connected abelian classification it is isomorphic to a product of circles. Such subgroups exist: choose one of largest dimension among compact connected abelian subgroups; a proper inclusion of connected Lie subgroups would increase dimension. Write $\mathfrak{t}$ for its Lie algebra.

Here are the main steps of the conjugacy assertion, with the critical arguments supplied. Average an inner product on $\mathfrak{g}$ over the adjoint action to obtain an $\mathrm{Ad}(G)$-invariant positive definite inner product. It defines a bi-invariant Riemannian metric. Compactness makes this metric complete, and the Hopf-Rinow theorem joins the identity to any $g$ by a geodesic. For a bi-invariant metric the Levi-Civita connection on left-invariant fields is ${\nabla }_{X}Y=[X,Y]/2$, so the geodesic starting with $X$ is $\exp (tX)$. Consequently every $g$ has the form $\exp X$.

The Lie-algebra centralizer of $\mathfrak{t}$ is exactly $\mathfrak{t}$. If $X$ commutes with $\mathfrak{t}$, its one-parameter subgroup commutes with $T$. The closure of the subgroup generated by $T$ and $\exp (\mathbb{R}X)$ is compact, connected and abelian, so it is a torus; maximality forces it to equal $T$, giving $X\in \mathfrak{t}$. The torus action on ${\mathfrak{g}}_{\mathbb{C}}$ decomposes into finitely many character weight spaces. The zero-weight space is ${\mathfrak{t}}_{\mathbb{C}}$. Choose $H\in \mathfrak{t}$ outside the finitely many kernels of the nonzero weight differentials. Then the centralizer of $H$ is exactly $\mathfrak{t}$.

For an arbitrary $X\in \mathfrak{g}$, the continuous function $g\mapsto ⟨{\mathrm{Ad}}_{g}X,H⟩$ attains a maximum. Put $Y={\mathrm{Ad}}_{g_0}X$ at a maximizer. Differentiating along $\exp (sZ)g_0$ givesHence $[Y,H]=0$, so $Y\in \mathfrak{t}$. Exponentiating gives $g_0(\exp X)g_0^{-1}=\exp Y\in T$. This adjoint-orbit criterion for maximal-torus conjugacy proves

Restriction of representations is a ring homomorphism $\mathrm{Res}:R(G)\to R(T)$. If a virtual representation restricts to zero, its character vanishes on $T$. Since characters are class functions and every element is conjugate into $T$, it vanishes on all of $G$. The injectivity of the character map proved in Question 3 then givesThe Weyl group is $W=N_G(T)/T$. For $n\in N_G(T)$, the operator $\rho (n)$ intertwines the restriction of $\rho$ with its twist by $t\mapsto nt{n}^{-1}$. Therefore every restricted representation, and every virtual difference of them, is fixed by $W$:

For the special orthogonal group $G=SO(2m+1)$, takewhere $R_{\theta }$ is a real planar rotation. It is a maximal torus: its Lie-algebra centralizer consists of the independent infinitesimal rotations in those planes. Its character lattice is ${\mathbb{Z}}^m$, so, writing $z_i=e^{i{\theta }_i}$,Indeed commuting unitary torus matrices diagonalize simultaneously into one-dimensional characters, and the characters of the circle are exactly the integral powers.

The normalizer permutes the real rotation planes and can reverse each angle independently. Permutations of whole two-dimensional blocks have determinant one. A reflection in one rotation plane reverses its angle and has determinant minus one; combining it with reflection of the remaining fixed line gives an element of $SO(2m+1)$. Thus all independent inversions occur. Conversely a normalizer must permute the distinct nontrivial torus character pairs $\{\pm e_i\}$ and preserve the fixed line, so there are no additional actions. The kernel of this action is exactly $T$, giving

It follows that the restriction identifies $R(SO(2m+1))$ with a subring of the signed-permutation-invariant Laurent polynomials. In this case we can prove equality. Invariance under individual inversions first givesFor one variable, every invariant is an integral combination of $1$ and $z^k+z^{-k}$, and these satisfy the recurrence $s_{k+1}=x{s}_k-s_{k-1}$. Applying this one coordinate at a time proves the assertion over the other Laurent coefficient rings. Permutation invariance and the Fundamental theorem of symmetric polynomials then givewhere $e_k$ are the elementary symmetric polynomials.

Let $V$ be the complexification of the defining $(2m+1)$-dimensional real representation. Its torus weights are $1,z_i,z_i^{-1}$. The characters of its exterior powers obeyFor $k\le m$, choosing $j$ linear terms and $r$ quadratic terms shows that the coefficient $c_k={\chi }_{{\Lambda }^{k}V}$ isIts leading term is $e_k$ with coefficient one; all other terms use $e_j$ with $j<k$. By induction $e_k$ lies in the restriction image, because $c_k$ is the character of a genuine representation and all smaller $e_j$ already lie in the image. Hence every invariant polynomial lies there, proving the representation ring of an odd-dimensional special orthogonal group descriptionThe triangular change of generators is integral, so $[{\Lambda }^{1}V],\dots ,[{\Lambda }^{m}V]$ are algebraically independent polynomial generators. For $m=1$, $c_1=1+z+z^{-1}$ and this reduces to $R(SO(3))=\mathbb{Z}[V_3]$, with the three-dimensional defining representation as generator. These are genuine representations of the orthogonal group, not the half-integral spin weights of its simply connected double cover.

For $X\in \mathfrak{g}=T_{e}G$, let $X^L$ be the left-invariant vector field with value $X$ at the identity. Its integral curve through the identity is the unique one-parameter subgroup ${\gamma }_X$ with ${\gamma }_X^{\prime }(0)=X$. It exists for all real time: local existence followed by translation and the identity ${\gamma }_X(t+s)={\gamma }_X(t){\gamma }_X(s)$ extends it indefinitely. The Exponential map of a Lie group isIt is smooth and $d_0\exp ={\mathrm{id}}_{\mathfrak{g}}$, because differentiating $t\mapsto \exp (tX)$ at zero gives $X$. The inverse function theorem therefore makes it a local diffeomorphism at zero.

If $G$ is abelian, the product $t\mapsto \exp (tX)\exp (tY)$ is a one-parameter subgroup with initial tangent $X+Y$. Uniqueness gives $\exp (t(X+Y))=\exp (tX)\exp (tY)$, henceConversely, if this additive homomorphism identity holds, all $\exp (tX)$ and $\exp (sY)$ commute. Differentiating their adjoint action shows $[X,Y]=0$. Alternatively, their commuting images contain an identity neighbourhood; that neighbourhood generates the identity component of a Lie group, so the identity component is abelian. Conversely, if the Lie algebra is abelian, its left-invariant vector fields commute, so their flows commute. Hence all one-parameter subgroups commute; their product with initial tangent $X+Y$ is the one-parameter subgroup for $X+Y$. The Lie exponential map is therefore additive, and its image generates an abelian identity component. Thus the stated equivalence holds for connected $G$. Without connectedness the exact assertion is that the Lie exponential map is a homomorphism precisely when $G^{\circ }$ is abelian. The converse implication to all of $G$ is false: in $O(2)$ the Lie algebra consists of $tJ$, whereRotations satisfy $R_{t+s}=R_t{R}_s$, but a reflection $S$ satisfies $S{R}_t{S}^{-1}=R_{-t}$, so the full orthogonal group is not abelian.

Now take a connected abelian Lie group of dimension $n$. Its Lie exponential map is a homomorphism whose image contains an identity neighbourhood, hence an open subgroup. A connected group has no proper open subgroup, so this map is onto. Its kernel $\Lambda$ is discrete, since it is injective on a neighbourhood of zero. The induced map is a bijective local diffeomorphism and therefore a Lie group isomorphismHere is the needed classification of $\Lambda$. Let $r$ be the dimension of its real span. Choose ${\lambda }_1,\dots ,{\lambda }_r\in \Lambda$ that form a real basis of that span. Their integer span ${\Lambda }_0$ has finite index in $\Lambda$: subtract integer multiples of the ${\lambda }_i$ to put each coset representative in a compact parallelepiped. Only finitely many points of $\Lambda$ lie there, since discreteness at zero gives a uniform positive separation between distinct points. Thus $\Lambda$ is finitely generated and torsion-free, and the structure theorem for finitely generated abelian groups makes it free abelian of rank $r$. Its integer basis is a real basis of the span. A linear change of coordinates consequently sends $\Lambda$ to ${\mathbb{Z}}^r\times \{0\}$ in ${\mathbb{R}}^n$.

This proves the classification of connected abelian Lie groups:The isomorphism depends on the choice of lattice basis and complementary vector space. Compactness is equivalent to $s=0$.