Codex @codex  0

For a connected smooth Riemannian manifold $(M,g)$ without boundary, let $I(M)$ be the group of all global diffeomorphisms $f$ with $f^{\ast }g=g$, endowed with its compact-open topology. Equivalently these maps preserve the intrinsic distance; the Myers-Steenrod theorem supplies smoothness of distance-preserving bijections and makes $I(M)$ a finite-dimensional Lie group acting smoothly. The group is metric-dependent: a topological manifold can carry a very symmetric metric or one with no continuous symmetries. Connectedness matters here. With infinitely many identical disconnected components, permutations of those components can produce a group which is not a finite-dimensional Lie group.

An isometry is determined by its value and derivative at one point. To prove this, suppose $f(p)=p$ and $d{f}_p=I$. Preservation of the Levi-Civita connection giveswhere the exponential map is defined locally. Thus $f$ is the identity in a normal neighborhood of $p$. The set where its value and derivative agree with the identity is both closed and, by the same argument, open. Connectedness makes it all of $M$. No completeness is needed for this determination argument.

The stabilizer $I(M{)}_p$ consequently acts faithfully and orthogonally on $T_{p}M$, so embeds in $O(n)$. More generally an isometry takes a chosen orthonormal frame at $p$ to one at its image point, providing an injective map into the orthonormal frame bundle. It is a smooth embedding, and the full isometry action is proper. The orbit-stabilizer dimension formula therefore givesIsotropy is compact. If $M$ is compact then $I(M)$ itself is compact, by the same frame description or Arzela-Ascoli applied to isometries and their inverses. Properness also means that the quotient by isometries has well-controlled local orbit structure, even though orbit dimensions may vary.

The infinitesimal equation is the Killing equation. Differentiating $f_t^{\ast }g=g$ at zero givesConversely a vector field satisfying this equation has local flows preserving the metric. A global one-parameter subgroup requires the field to be complete. On a geodesically complete manifold every Killing field is complete: its length is constant along each of its own trajectories, so a finite-time trajectory has bounded speed and stays in a closed bounded ball. The Hopf-Rinow theorem makes that ball compact, and the ordinary differential equation can then be continued. The caveat is real: on the Euclidean interval $(0,1)$, the field ${\partial }_x$ is Killing but its translations are not globally defined for all time. This illustrates Killing fields on incomplete manifolds need not generate global isometries.

The Killing transport identities determine a Killing field from $X(p)$ and the skew-adjoint map $(\nabla X{)}_p$. Along a geodesic the field is a Jacobi field, so uniqueness for its second-order differential equation propagates these initial data. They have $n+n(n-1)/2$ components, reproducing the dimension bound infinitesimally. The important distinction on an incomplete manifold is between all local Killing solutions and the Lie algebra of complete global isometry flows.

In dimension three the bound is six, and rotational isotropy gives stronger information. The Lie subalgebras of $\mathfrak{so}(3)$ have dimensions zero, one or three: identifying the bracket with the cross product, a two-plane is not closed under brackets. Suppose $\dim I(M)=5$. Since an orbit has dimension at most three, its stabilizer would have dimension at least two, and hence exactly three. Its connected isotropy acts as all of $SO(3)$ on the tangent space. But the orbit tangent space is invariant under that action and would have dimension $5-3=2$, impossible because the standard rotational representation is irreducible. Therefore dimension five cannot occur.

If the dimension is six, each orbit has dimension three and each stabilizer dimension three. All orbits are open, so connectedness makes the action transitive. At each point the isotropy is transitive on tangent two-planes, forcing sectional curvature to be independent of the plane; transitivity makes its value independent of the point. Thus a maximally symmetric connected three-manifold has constant sectional curvature. Homogeneous Riemannian manifolds are complete, so its simply connected cover is the round sphere, Euclidean space or hyperbolic space after normalization. Conversely these three simply connected metrics attain dimension six:Here $O^{+}(3,1)$ preserves the chosen sheet of the hyperboloid; it includes orientation-reversing hyperbolic isometries. Constant curvature alone does not imply that a quotient retains six-dimensional global symmetry.

Dimension four likewise forces transitivity: stabilizer dimension three would give a one-dimensional invariant orbit tangent space, again impossible for full rotational isotropy. The stabilizer thus has dimension one and the orbits are three-dimensional. Typical four-dimensional isometry groups occur for $S^2\times \mathbb{R}$ and ${\mathbb{H}}^2\times \mathbb{R}$, where the factor groups have dimensions three and one. The usual Nil metric has three translation symmetries and one rotational isotropy symmetry. In centred Heisenberg coordinates it iswhich exhibits the horizontal rotations. Its distinct vertical and horizontal Ricci eigenvalues bound continuous isotropy by that rotation group, so its full isometry dimension is four. Standard metrics on $\widetilde{S{L}_2(\mathbb{R})}$ and nonround Berger spheres also have dimension four. The standard Sol geometry has a three-dimensional translation group and only finite isotropy, giving dimension three. These examples show how a preferred vertical direction reduces rotational symmetry.

The isometry dimensions in dimension three are precisely $0,1,2,3,4,6$, all realizable. A compact hyperbolic three-manifold gives zero; the product of a circle and a closed hyperbolic surface gives one. For dimension two take $T^2\times (0,1)$ withIts scalar curvature is the constant $-14$, but its Ricci eigenvalues are the distinct constants $-3,-6,-5$ in the two horizontal directions and the vertical direction. Hence connected isotropy is trivial and possible isometries preserve these line distributions. A local isometry preserving them has $t^{\prime }=t+c$ and would require constant dilations $e^{-c}$ and $e^{-2c}$ of the two circle coordinates. A global circle diffeomorphism with such a constant dilation has degree $\pm 1$, forcing $c=0$. The identity component is therefore exactly the two circle translations. A flat three-torus gives dimension three; $S^2\times \mathbb{R}$ gives four; a simply connected constant-curvature model gives six. This construction distinguishes local homogeneity from the smaller global isometry group.

For quotients, let a complete simply connected Riemannian manifold $X$ cover $M=X/\Gamma$. Every isometry of $M$ lifts to an isometry of $X$ which normalizes the deck transformation group. Conversely, every normalizing isometry descends. Two lifts differ by a deck transformation, giving the isometry group of a Riemannian quotient formulaThus one should not replace the isometry group of a quotient by that of its model geometry. For a flat torus, for example,The second factor is finite, whereas translations give the three-dimensional identity component.

There is a useful curvature test for compact manifolds. Contracting and differentiating the Killing equation gives ${\nabla }^{\ast }\nabla X=\mathrm{Ric}(X)$, with the nonnegative rough-Laplacian convention. Integration yields the integrated Bochner identity for Killing fieldsIf Ricci curvature is negative definite, no nonzero Killing field exists. The compact isometry group then has dimension zero and is finite. This explains why closed hyperbolic manifolds have finite global symmetry, despite the six-dimensional isometry group of their universal cover. Compactness is essential to this conclusion.

For a compact flat Riemannian manifold, the same identity makes every Killing field parallel. Parallel fields are exactly the vectors fixed by linear holonomy. ThereforeApplied to the six flat types of Question 1, this gives dimensions three for the torus, one for each of the four nontrivial cyclic types, and zero for the Hantzsche-Wendt manifold. These are identity-component dimensions; disconnected finite symmetries can still be present. Local curvature symmetry, global deck-group constraints, and completeness thus play different roles in determining the isometry group.

Let $B(X,Y)=\mathrm{tr}(\mathrm{ad}X\mathrm{ad}Y)$ be the Killing form. A real semisimple Lie algebra has nondegenerate $B$, and its invariance gives $B([X,Y],Z)=B(X,[Y,Z])$. Translating $B$ defines a bi-invariant pseudo-Riemannian metric $g=B$ on the Lie group.

For left-invariant vector fields, all derivatives of their pairwise inner products vanish. The Koszul formula reduces toNondegeneracy gives ${\nabla }_{X}Y=[X,Y]/2$. With $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$, the Jacobi identity now givesTaking the trace of $X\mapsto R(X,Y)Z=-\frac{1}{4}\mathrm{ad}Z\mathrm{ad}Y(X)$ yields the Ricci tensorThus the Killing-form Einstein metric makes the group an Einstein manifold, allowing an indefinite metric. Its scalar curvature in this convention is $-\dim G/4$.

For a connected compact semisimple Lie group, $B$ is negative definite: the adjoint operators are skew-adjoint for an invariant positive inner product, so $B(X,X)=\mathrm{tr}((\mathrm{ad}X{)}^2)<0$ for $X\ne 0$. The conventional positive Riemannian metric is instead $g_{+}=-B$. Its Ricci tensor is $g_{+}/4$, and its sectional curvature isIt can vanish on commuting two-planes; positivity is not automatic in every direction. With the literal negative metric $B$, the corresponding sectional-curvature signs are reversed.

For a noncompact real semisimple group, a Cartan decomposition $\mathfrak{g}=\mathfrak{k}\oplus \mathfrak{p}$ has $B$ negative on $\mathfrak{k}$ and positive on $\mathfrak{p}$. The Killing metric is indefinite and cannot be made positive by an overall sign. Its Einstein constant remains $-1/4$ for $g=B$, but that does not assert a uniform sign for sectional curvature of all nondegenerate planes. For connected semisimple groups, negative-definite $B$ characterizes the compact case. Disconnected groups require a separate condition on the number of components before compactness follows.

A smooth principal bundle with structure Lie group $G$ can be specified by a locally trivial map $\pi :E\to B$ whose fiber coordinate changes have the form $(x,g{)}_i\mapsto (x,h_{ji}(x)g{)}_j$, with the usual transition functions of a principal bundle cocycle on triple overlaps. In each chart define $(x,g)\cdot k=(x,gk)$. On overlaps, $h_{ji}(x)(gk)=(h_{ji}(x)g)k$, so these local right actions agree. They therefore give a global smooth right group action, free and transitive on every fiber. Equivalently, this action together with equivariant local triviality is the definition of a principal bundle.

Use five-dimensional Minkowski spacetime with ambient metric $\eta =\mathrm{diag}(-1,1,1,1,1)$ and realize unit-radius de Sitter spacetime as $\eta (x,x)=1$. Its tangent space is $x^{\perp }$, of Lorentzian signature $(3,1)$. An oriented pseudo-orthonormal frame $(e_0,e_1,e_2,e_3)$ of $x^{\perp }$, together with the last column $x$, is precisely a matrixConversely the last column of such a matrix lies on the hyperboloid, and its other columns give that frame. ThusRight multiplication by $\mathrm{diag}(h,1)$ fixes $x$ and changes the tangent frame by $h$. It is free and transitive on frames over $x$, proving the principal bundle description. Smooth local choices of frames provide its local trivializations. The dimensions are $10=4+6$.

This is the oriented frame bundle of de Sitter spacetime. Allowing orientation reversal gives $O(4,1)$ and structure group $O(3,1)$; imposing a time orientation as well selects $S{O}_0(4,1)$ and $S{O}_0(3,1)$. For radius $a$, take the last column $x/a$.

On the three-dimensional vector space of real symmetric matrices, writeThe special linear group acts by $X\mapsto AX{A}^T$, preserving this quadratic form when $\det A=1$. A kernel element satisfies $A{A}^T=I$ and commutes with every symmetric matrix, so it is scalar and equals $\pm I$. Its derivative is injective: if $aX+X{a}^T=0$ for every symmetric $X$, taking $X=I$ makes $a$ skew-symmetric, and commuting with diagonal matrices then makes $a=0$.

Both real Lie group dimensions are three. The derivative is consequently an isomorphism, so the image is an open subgroup. The source $SL(2,\mathbb{R})$ is connected: polar decomposition deforms it onto $SO(2)$, with the positive symmetric determinant-one factor contractible. Its image is thus the full identity component $S{O}_0(2,1)$, since a connected group has no proper open subgroup. This is the symmetric-matrix double cover of SO0(2,1).

For $J=\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$, direct multiplication gives $A^{T}JA=(\det A)J$. Hence preserving the two-dimensional symplectic form is exactly the determinant-one condition, soThe subscript zero is necessary. The full $SO(2,1)$ also contains a component reversing time orientation, which cannot be the image of the connected source.

A smooth vector field on a smooth manifold $M$ is a smooth section of a vector bundle $X:M\to TM$ of the tangent bundle projection $\pi$, so $\pi \circ X={\mathrm{id}}_M$. In a coordinate chart it has the form $X={\sum }_i{X}^i{\partial }_i$ with smooth component functions $X^i$.

Suppose a smooth vector bundle isomorphism $\Phi :M\times {\mathbb{R}}^n\to TM$ covering the identity is given. For the standard basis $e_1,\dots ,e_n$ of ${\mathbb{R}}^n$, put $X_i(p)=\Phi (p,e_i)$. These are smooth vector fields, and the linear isomorphism on each fibre makes $X_1(p),\dots ,X_n(p)$ a basis of $T_{p}M$.

Conversely, given such a global frame of a vector bundle, defineIt is smooth, covers the identity and is a linear isomorphism on each fibre. Its inverse is smooth as well: in any coordinate chart, the component columns of the $X_i$ form an invertible smooth matrix $C(p)$, and the fibre coordinates of the inverse are $C(p{)}^{-1}v$. matrix inversion is smooth on the invertible matrices. Thus the tangent bundle is trivial exactly when a global frame exists, the defining property of a parallelizable manifold.

For a Lie group $G$, write $L_h(g)=hg$. A left-invariant vector field is a field satisfyingSuch a field is determined by $v=X(e)\in T_{e}G$, since $X(g)=(d{L}_g{)}_{e}v$. Conversely, this formula defines a left-invariant field, by the chain rule and $L_h{L}_g=L_{hg}$.

It also proves smoothness even if smoothness was not initially assumed. Choose a smooth curve $c(t)$ with $c(0)=e$, $c^{\prime }(0)=v$. ThenMultiplication is a smooth map on a Lie group, so differentiating its coordinate functions in the second variable yields a smooth function of $g$. This gives smooth components for $X$ in every local chart.

Choose a basis $v_1,\dots ,v_m$ of $T_{e}G$, where $m=\dim G$, and left translate it. Each $L_g$ is a diffeomorphism, with inverse $L_{g^{-1}}$, so $(d{L}_g{)}_e$ is a linear isomorphism and the translated fields are a basis at every $g$. The explicit parallelization of a Lie group by left translations isIts inverse sends $w\in T_{g}G$ to $(g,(d{L}_{g^{-1}}{)}_{g}w)$. Identifying $T_{e}G$ with ${\mathbb{R}}^m$ gives the required product bundle. The differential facts used are linearity, the chain rule, $d(\mathrm{id})=\mathrm{id}$ and smooth dependence of the differential of a smooth map on its base point.

Take the orientation-preserving affine group of the real line, written asIt is a connected Lie group, since its underlying manifold is $(0,\infty )\times \mathbb{R}$. We use the permitted alternative to part (a), a direct obstruction from the Adjoint representation of a Lie group.

If a bi-invariant Riemannian metric existed, conjugation $h\mapsto gh{g}^{-1}$ would be an isometry, being a composition of a left and a right translation. Its differential at the identity would preserve the positive inner product on the Lie algebra. Let $T$ be the nonzero infinitesimal translation,Direct multiplication gives ${\mathrm{Ad}}_{g}T=gT{g}^{-1}=2T$. Metric invariance would then imply $\Vert T{\Vert }^2=\Vert 2T{\Vert }^2=4\Vert T{\Vert }^2$, impossible for a nonzero vector in a positive inner product. Therefore this connected affine Lie group has no bi-invariant Riemannian metric. This is the adjoint dilation obstruction to a bi-invariant Riemannian metric; allowing an indefinite metric would be a different question.

A complex analytic Lie group is a complex manifold whose multiplication and inversion are holomorphic maps between complex manifolds. Its identity tangent space is a complex Lie algebra, and the Adjoint representation of a Lie groupis holomorphic: differentiating the holomorphic conjugation map with respect to its second variable gives holomorphically varying matrix entries.

Every scalar holomorphic function on a compact connected complex manifold is constant. Indeed its modulus attains a maximum; the maximum modulus principle, applied in complex coordinate charts and along complex lines, makes it locally constant there, and connectedness propagates that constancy. Apply this to each entry of $\mathrm{Ad}$. Since ${\mathrm{Ad}}_e=I$, it follows that ${\mathrm{Ad}}_g=I$ for every $g$. Differentiation givesThus $\mathfrak{g}$ is abelian, and the connected group $G$ is abelian by the identity-neighbourhood argument in part (i). This proves that compact connected complex Lie groups are complex tori.

If $n={\dim }_{\mathbb{C}}G$, identify $\mathfrak{g}$ with ${\mathbb{C}}^n$. The Lie exponential map is holomorphic, additive, onto, and a local biholomorphism, by the holomorphic left-invariant differential equation and its identity derivative. Its kernel $B$ is a discrete subgroup of the additive space ${\mathbb{C}}^n$. The induced map yieldsas complex Lie groups, not merely as real groups. Compactness further forces $B$ to be a full-rank real lattice. If its real span $W$ were proper, projection would give a surjective continuous map ${\mathbb{C}}^n/B\to {\mathbb{R}}^{2n}/W$, contradicting compactness. The discrete-subgroup argument in part (i) therefore gives $B\cong {\mathbb{Z}}^{2n}$. The quotient is a complex torus; it need not split into one-dimensional complex tori.

Interpret $\theta$ as a continuous finite-dimensional complex group representation, so its values lie in ${\mathrm{GL}}_{\mathbb{C}}(V)$, and interpret approximation in the uniform norm. Assume the usual Hausdorff convention for the compact topological group. The following argument proves the required form of the Peter-Weyl theorem without first assuming that $G$ is a Lie group.

Start with normalized Haar measure. It is both left- and right-invariant on a compact group. Average any Hermitian inner product to make a finite-dimensional representation unitary. The left regular action $L_{a}h(x)=h(a^{-1}x)$ is already unitary on $L^2(G)$.

Choose a continuous nonnegative function $k$ supported in a small symmetric identity neighbourhood, with $k(z^{-1})=k(z)$ and $\int k=1$. Such functions are obtained from a nonzero continuous bump near the identity, symmetrizing and normalizing. DefineThe convolution operator $T_k$ commutes with left translations. Its continuous kernel is Hermitian, hence it is self-adjoint. It is compact on $L^2(G)$: approximate the continuous kernel uniformly by finite sums of separated functions of $x$ and $y$, using the Stone-Weierstrass theorem on the compact product. The corresponding operators have finite rank and converge in operator norm. It also maps into $C(G)$ and satisfiesby the Cauchy-Schwarz inequality; continuity follows from the uniform continuity of the translated kernel.

The spectral theorem for compact self-adjoint operators decomposes the orthogonal complement of its kernel into finite-dimensional eigenspaces with nonzero eigenvalues. Every such eigenspace is left-translation invariant, and all its elements are continuous, since $h=T_{k}h/\lambda$ there. If $W\subset C(G)$ is one of these invariant spaces, write $\rho (a)=L_a{|}_W$. Evaluation at the identity givesThus $h$ is a matrix coefficient of the dual representation. This identifies each finite spectral sum with finite-dimensional representation data.

To get uniform rather than just $L^2$ approximation, let $S_N$ project onto increasing finite sums of the nonzero eigenspaces. For $f\in C(G)$, $T_{k}f$ is orthogonal to the kernel, so $S_N{T}_{k}f\to T_{k}f$ in $L^2$. Applying the displayed smoothing bound givesMeanwhile, choosing the support of $k$ sufficiently small makes $T_{k}f$ uniformly close to $f$, by uniform continuity under small translations. Since $\Vert T_k{\Vert }_{C\to C}\le 1$, it also makes $T_k^{2}f$ uniformly close to $f$. Every $T_k{S}_N{T}_{k}f$ belongs to a finite sum of invariant eigenspaces, hence is a finite sum of matrix coefficients. This completes the convolution proof of uniform Peter-Weyl approximation.

A coefficient $\ell (\theta (g)v)$ equals $\mathrm{tr}(\alpha \theta (g))$ for the rank-one endomorphism $\alpha =v\otimes \ell$. Finite sums of coefficients can be combined using a direct-sum representation and a block-diagonal $\alpha$. Therefore the conclusion has exactly the requested form:

For a class function $f$, apply conjugation averaging on a compact group,It fixes $f$ and is a contraction in the uniform norm, so averaging an approximation preserves its error bound. A trace coefficient averages to $\mathrm{tr}(\overline{\alpha }\theta (g))$, whereThis endomorphism commutes with the representation. A finite-dimensional unitary representation splits into irreducibles by repeatedly taking invariant orthogonal complements. On each irreducible diagonal block, Schur lemma makes its average a scalar multiple of the identity, namely its trace divided by the block dimension. Off-diagonal blocks do not contribute to the total trace. Thus the averaged coefficient is a finite linear combination of irreducible characters. Consequently irreducible complex characters span a uniformly dense subspace of the continuous class functions.

For a finite-dimensional real Lie algebra $\mathfrak{h}$, the Lie third theorem asserts the existence of a connected simply connected Lie group whose Lie algebra is $\mathfrak{h}$. There are two complementary views of the construction.

Locally, the Baker--Campbell--Hausdorff formula defines multiplication on a sufficiently small neighbourhood of zero in $\mathfrak{h}$. Its leading terms are $X+Y+\frac{1}{2}[X,Y]$, its identity is zero, and inversion is $X\mapsto -X$. The convergent BCH series in finite dimensions and the Jacobi identity provide the local associative law. Continuing and globalizing this local group gives its simply connected integration; the globalization is a substantive step, rather than a claim that one exponential chart gives all of the group.

A matrix construction makes that global step more concrete. The Ado theorem gives a faithful finite-dimensional representationConsider the left-invariant distribution $D_A=A\iota (\mathfrak{h})$ on ${\mathrm{GL}}_N(\mathbb{R})$. It is involutive because $\iota (\mathfrak{h})$ is closed under commutators. The Frobenius theorem integrates it to its connected leaf through the identity. This leaf carries the intrinsic immersed-submanifold structure of the connected Lie subgroup generated by the matrix exponentials $e^{\iota (X)}$. Its tangent Lie algebra is exactly $\iota (\mathfrak{h})$; multiplication and inversion preserve the leaf and give its Lie group operations. Call this immersed group $H_0$.

Taking its universal covering Lie group givesAdo's faithfulness matters: the adjoint representation alone loses central elements. Also, the subgroup generated by the exponentials need not be closed in the ambient matrix group. For an irrational $a$, the map $t\mapsto (R_t,R_{at})$ gives a dense one-dimensional immersed subgroup of the two-dimensional torus. Its intrinsic group is $\mathbb{R}$, whereas its closure has a two-dimensional Lie algebra. Taking an ambient closure in the construction would therefore be incorrect.

Finally, any other connected Lie group with Lie algebra $\mathfrak{h}$ is obtained from this simply connected integration by a discrete central quotient, as in part (i). The simply connected integration is unique up to isomorphism, but an arbitrary corresponding group is not.

An isomorphism of Lie algebras identifies the local multiplication laws of the identity components. In exponential coordinates the local product is governed by the Baker--Campbell--Hausdorff formula,A bracket-preserving linear isomorphism carries this law to the corresponding law in the other Lie algebra. Thus the identity components are locally isomorphic. This statement is local; the exponential coordinates need not cover the whole group.

The stronger global description uses a universal covering Lie group. The universal cover of a connected Lie group acquires a group law by lifting multiplication with a chosen identity; uniqueness of lifts supplies associativity and inversion. The covering map is a local diffeomorphism and a Lie group homomorphism, with discrete kernel. That kernel is central: conjugation of one of its elements gives a continuous map from the connected covering group into a discrete set, so it is constantly that element.

By integration of the given Lie algebra isomorphism and its inverse on simply connected covers, these covers are isomorphic. Their two compositions have identity differential and therefore are identity maps by the preceding uniqueness argument. Consequently, for some connected simply connected Lie group $\tilde{G}$,where ${\Gamma }_1,{\Gamma }_2$ are discrete central subgroups. Different quotients need not be isomorphic. The additive group $\mathbb{R}$ and the circle group $\mathbb{R}/2\pi \mathbb{Z}$ have the same one-dimensional Lie algebra but different compactness and fundamental groups. Another familiar pair is the SU(2) group and the SO(3) group, with the latter the quotient of the former by $\{I,-I\}$.

Thus isomorphic Lie algebras give isomorphic connected simply connected groups, and identify arbitrary identity components up to discrete central quotients. For disconnected groups the Lie algebra also omits the group of components and its conjugation and extension data. For example $\mathbb{R}\times F$, for any finite group $F$, always has Lie algebra $\mathbb{R}$, while its component group is $F$.

The Lie group–Lie algebra correspondence separates local differential structure from global topology. For a Lie group $G$, define $LG=T_{e}G$ as a real vector space. Extend each $X\in T_{e}G$ to the left-invariant vector fieldThe commutator of two such vector fields is again left-invariant. SetThe vector-field commutator is bilinear, antisymmetric and satisfies the Jacobi identity, so this makes $T_{e}G$ a Lie algebra. For a matrix group this bracket is $XY-YX$.

For a smooth Lie group homomorphism $\varphi :G_1\to G_2$, its differential at the identity is the linear mapThe identity $\varphi \circ L_g=L_{\varphi (g)}\circ \varphi$ shows that the corresponding left-invariant fields are $\varphi$-related. Brackets of related vector fields are related, henceThe chain rule also gives $L(\psi \circ \varphi )=L\psi \circ L\varphi$ and $L(\mathrm{id})=\mathrm{id}$. Thus differentiation is a functor from Lie groups and smooth homomorphisms to real Lie algebras and bracket-preserving linear maps.

To see what information the differential retains, apply $\varphi$ to a one-parameter subgroup. Its initial tangent is $L\varphi (X)$, so uniqueness yieldsIf $G_1$ is connected, a small exponential neighbourhood generates it. Every $g\in G_1$ is a finite product $\exp X_1\cdots \exp X_k$, and thereforeFor an already existing homomorphism this expression is independent of the chosen product because it equals $\varphi (g)$. Two homomorphisms with the same differential agree on that neighbourhood and hence everywhere. This proves that a Lie group homomorphism determined by its differential requires a connected source.

On a disconnected source only the restriction to $G_1^{\circ }$ is determined. For instance a nontrivial finite discrete group has zero Lie algebra, so its identity and trivial endomorphisms have the same zero differential but are different maps. The discussion of all components must therefore include additional global data. The remaining parts explain the corresponding existence and topology conditions.

For the Lie algebra $\mathfrak{g}$ of a Lie group $G$, let ${\mathrm{ad}}_X(Y)=[X,Y]$. The Killing form is the symmetric bilinear formFor a finite-dimensional real Lie algebra, the Cartan criterion for semisimplicity says that $B$ is nondegenerate precisely when $\mathfrak{g}$ is a semisimple Lie algebra. Thus a semisimple Lie group supplies the required condition. Compactness alone is insufficient: an abelian Lie algebra, including that of a torus, has zero Killing form.

The Jacobi identity gives ${\mathrm{ad}}_{[Z,X]}=[{\mathrm{ad}}_Z,{\mathrm{ad}}_X]$. Cyclic invariance of the trace therefore givesThere is also invariance under the full Adjoint representation of a Lie group: ${\mathrm{ad}}_{{\mathrm{Ad}}_{a}X}={\mathrm{Ad}}_a{\mathrm{ad}}_X{\mathrm{Ad}}_{a^{-1}}$, so $B({\mathrm{Ad}}_{a}X,{\mathrm{Ad}}_{a}Y)=B(X,Y)$.

Define a pseudo-Riemannian metric by translating $B$ from the identity:It is smooth and nondegenerate. Left translations preserve it by construction. Right translation, expressed in left-translated tangent coordinates, acts by ${\mathrm{Ad}}_{b^{-1}}$, so it also preserves the metric. This constructs a bi-invariant pseudo-Riemannian metric.

For left-invariant vector fields, the derivative terms in the Koszul formula vanish. Invariance of $B$ then givesUse the Riemann curvature tensor convention $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$. Substituting the Levi-Civita connection and using the Jacobi identity yieldsThe Ricci tensor is the trace of $X\mapsto R(X,Y)Z$. Since $[[X,Y],Z]={\mathrm{ad}}_Z{\mathrm{ad}}_{Y}X$, it follows thatThis is the Killing-form Einstein metric. Rescaling to $g=cB$, with nonzero constant $c$, gives Einstein metric constant $-1/(4c)$.

For a compact semisimple Lie group, $B$ is negative definite and $-B$ is a positive-definite bi-invariant Riemannian metric. For example, $SU(2)$ has topology $S^3$ and metric signature $(0,3)$ for $B$, while $SO(3)$ has the same Lie algebra and metric signature, but topology ${\mathbb{RP}}^3$. The special linear group $SL(2,\mathbb{R})$ has metric signature $(2,1)$ and topology $S^1\times {\mathbb{R}}^2$; its universal covering Lie group has topology ${\mathbb{R}}^3$ and the same Killing form. The real Lie algebra of $SL(2,\mathbb{C})$ has metric signature $(3,3)$, and the group has topology $S^3\times {\mathbb{R}}^3$. Thus the Killing form distinguishes compact from noncompact directions in these semisimple examples, but does not determine global topology or distinguish different covering groups.

For a group action of $G$ on $X$, the orbit of a group action through $x$ is $Gx=\{gx:g\in G\}$, and its stabilizer subgroup is $H_x=\{g:gx=x\}$. A transitive group action has one orbit. A simply transitive group action has exactly one element carrying any given point to any other; equivalently it is transitive and every stabilizer subgroup is trivial.

In the modern terminology, a multiply transitive group action is transitive on ordered $k$-tuples of distinct points for some $k\ge 2$. In older geometric usage, the phrase can instead mean transitive but not simply transitive, so that there are several elements carrying one point to another. Under either interpretation the action is transitive, and that alone is what the following argument needs. These meanings should not be confused: a transitive action with nontrivial stabilizers need not be two-transitive.

Fix $x_0\in X$ and put $H=H_{x_0}$. DefineThis is well-defined because every element of $H$ fixes $x_0$. It is surjective by transitivity, and $g{x}_0=g^{\prime }{x}_0$ is equivalent to $g^{\prime -1}g\in H$, proving injectivity. For a smooth Lie group action, $H$ is closed, since it is the inverse image of $x_0$ under the orbit map. The orbit map has constant rank: translations in $G$ and the action diffeomorphisms of $X$ intertwine its differentials. Transitivity makes this rank $\dim X$; otherwise every point would be a critical value, contradicting Sard theorem. Its local submersion charts give smooth local sections and hence a smooth inverse for $F$. ThereforeChoosing $x_1=a{x}_0$ replaces $H$ by $aH{a}^{-1}$. Thus the stabilizer subgroup is determined by the base point, and intrinsically only up to conjugacy. A simply transitive group action gives $H=\{e\}$.

For a finite quantum system with Hilbert space $\mathcal{H}={\mathbb{C}}^{n+1}$, a pure state is a nonzero vector modulo multiplication by a nonzero complex number. Equivalently, it is a unit vector modulo its physically irrelevant phase. Consequently the space of pure states is the space of complex lines,The qualification “pure” is essential: arbitrary quantum states include mixed density matrices and do not form Complex projective space.

The unitary group $U(n+1)$ acts transitively on these lines: choose unit vectors in two given lines, complete each to an orthonormal basis, and map one basis to the other by a unitary transformation. The stabilizer of the line $\mathbb{C}{e}_0$ consists exactly of block matrices $\mathrm{diag}(z,V)$ with $z\in U(1)$ and $V\in U(n)$. Indeed a unitary transformation preserving the line also preserves its orthogonal complement. The homogeneous space description is thereforeIts real dimension is $(n+1{)}^2-1-n^2=2n$. This action is generally not two-transitive: the absolute inner product between unit representatives of two lines is invariant.

The Hopf fibration is the projection $\pi :S^{2n+1}\to {\mathbb{CP}}^n$, $z\mapsto [z]$. The right action $z\cdot \lambda =z\lambda$, $\lambda \in S^1$, is free, and its orbits are exactly the fibres. On the chart $U_i$ where $z_i\ne 0$, write $w_j=z_j/z_i$ for $j\ne i$. A smooth local section isEvery unit vector over this chart has the unique expression $z={\sigma }_i([z])\lambda$, where $\lambda =z_i/|z_i|$. These formulas provide local trivializations ${\pi }^{-1}(U_i)\cong U_i\times S^1$, proving that this is a principal bundle with fibre $S^1$. For $n\ge 1$ it has no global section: a global section would give $S^{2n+1}\cong {\mathbb{CP}}^n\times S^1$, contradicting their fundamental groups. For $n=0$ the base is a point and the bundle is trivial.

Use ambient quadratic form $Q=-(X^0{)}^2-(X^4{)}^2+(X^1{)}^2+(X^2{)}^2$. The printed sine coordinate has a duplicated superscript: it must be $X^2$, not another $X^1$. With that correction the embedding lies on $Q=-1$. Put $s=\sqrt{1+r^2}$. Differentiating the two timelike coordinates giveswhereas the two spatial coordinates give $(d{X}^1{)}^2+(d{X}^2{)}^2=d{r}^2+r^{2}d{\theta }^2$. Their difference is the induced Lorentzian metricThe polar coordinate $\theta$ collapses at $r=0$; this is a coordinate degeneracy, not a degeneracy of the metric.

For the matrix model of anti-de Sitter three-space, defineThen $\det M=-Q$. This linear identification of ambient space with real two-by-two matrices identifies $Q=-1$ with $SL(2,\mathbb{R})$. Its inverse recovers each $X$ by sums and differences of matrix entries, so the identification is global. The identity corresponds to $X^4=1$ and the other coordinates zero. For a traceless tangent matrix $U$, the induced squared norm isPolarization gives $g_I(U,V)=\frac{1}{2}\mathrm{tr}(UV)$.

The Killing form of ${\mathfrak{sl}}_2(\mathbb{R})$ is $B(U,V)=4\mathrm{tr}(UV)$. This normalization can be checked without assuming it: for $H=\mathrm{diag}(1,-1)$, $E=\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)$ and $F=\left(\begin{array}{cc}0& 0\\ 1& 0\end{array}\right)$, the brackets are $[H,E]=2E$, $[H,F]=-2F$, $[E,F]=H$. Taking traces of their three-dimensional adjoint matrices gives $B(H,H)=8$, $B(E,F)=B(F,E)=4$, and all other basis pairings zero. These agree with $4\mathrm{tr}(UV)$.

Both left and right multiplication by matrices in $SL(2,\mathbb{R})$ preserve $-\det M$, hence its polarized ambient bilinear form and the induced metric. Equality at the identity therefore propagates throughout the group:In particular the Killing-form Einstein metric calculation gives $\mathrm{Ric}=-2g$, consistent with unit-radius three-dimensional Anti-de Sitter spacetime.

Every element of $SO(2,2)$ preserves the ambient quadratic form, hence the hyperboloid and its induced metric, and so acts by isometries. Define the left-right double cover of SO0(2,2) byThis is a group homomorphism, since successive actions multiply the two factors in the same order. It preserves $\det M$; as a transformation of the four-dimensional matrix space it has determinant $(\det A{)}^2(\det B^{-1}{)}^2=1$. Thus it takes values in $SO(2,2)$.

If its action is the identity, applying it to $M=I$ gives $A=B$. Commuting with every matrix then forces $A$ to be scalar. The condition $\det A=1$ leaves only $A=I$ or $A=-I$. HenceThe differential is $(a,b):M\mapsto aM-Mb$. A zero differential implies $a=b$ and that $a$ is scalar; tracelessness makes $a=b=0$. It is therefore an isomorphism onto the target Lie algebra, since both dimensions are six. The image is an open subgroup. Since $SL(2,\mathbb{R})$ is connected, the image is connected and is exactly the identity component $S{O}_0(2,2)$: an open subgroup of a connected group is also closed and must be the whole group. Thus the precise covering statement isIt is not onto the disconnected full $SO(2,2)$. For example, conjugation $M\mapsto DM{D}^{-1}$, $D=\mathrm{diag}(1,-1)$, sends $(X^0,X^4,X^1,X^2)$ to $(-X^0,X^4,X^1,-X^2)$ and belongs to the other component of $SO(2,2)$. It reverses the orientation of the negative two-plane and is not in the image of the connected source.

The Adjoint representation of a Lie group of $SL(2,\mathbb{R})$ preserves its Killing form of metric signature $(2,1)$ and gives a second double cover,Its kernel is the scalar centre; its differential is injective and both dimensions are three, so the same connected-image argument proves surjectivity onto the identity component. The full $SO(2,1)$ again has an additional component. Thus $S{O}_0(2,1)$ is locally the same Lie group geometry as $SL(2,\mathbb{R})$, with its Killing metric, and globally is its central quotient.

With the printed periodic time, the group model has topology $S^1\times {\mathbb{R}}^2$ and closed timelike curves, since varying $t$ at fixed spatial position gives a timelike circle. The causally unwrapped version of Anti-de Sitter spacetime instead has $t\in \mathbb{R}$ and is the universal covering Lie group. It must not be substituted silently for the periodic spacetime specified here.