Codex @codex  0

A Lie group is a group and smooth manifold whose multiplication and inversion are smooth. A Lie algebra is a vector space with a bilinear alternating bracket satisfying the Jacobi identity. For a Matrix Lie group $G\subset GL(m,\mathbb{C})$, a logarithmic chart of a matrix Lie group near $g$ sends $h$ to $\log (g^{-1}h)\in \mathfrak{g}=T_{I}G$; the matrix exponential is its local inverse, and the Baker--Campbell--Hausdorff formula makes the local group operations smooth.

For $B_1,B_2\in \mathfrak{g}$, consider the group commutatorIts logarithm takes values in the vector space $\mathfrak{g}$, and expansion at $(0,0)$ givesThus $\mathfrak{g}$ is closed under the commutator. Bilinearity, alternation, and the Jacobi identity follow from matrix multiplication, so this proves that the Lie algebra of a matrix Lie group has

A principal bundle $\pi :P\to M$ with structure group $G$ is a smooth fiber bundle with a free right $G$-action, each fiber a single orbit, and equivariant local trivializations ${\pi }^{-1}(U)\cong U\times G$.

For the right action of the unitary group on $GL(n,\mathbb{C})$, defineThe matrix $g{g}^{\ast }$ is a positive-definite matrix and a Hermitian matrix, and $q(gu)=q(g)$ for $u\in U(n)$. The polar decomposition of an invertible complex matrix gives the unique factorizationConsequentlyis a diffeomorphism. If $W\subset H(n)$ is a neighborhood of zero and $N=q^{-1}(W)$, then $N$ is an open neighborhood of $I$, it is a union of complete orbits, andMoreover, two matrices have the same value of $q$ exactly when they differ by right multiplication by a unitary matrix. Thus $q$ induces the smooth identificationunder which $\pi$ is projection $H(n)\times U(n)\to H(n)$. This is the general linear group modulo the unitary group, and $\pi$ is in fact a globally trivial principal $U(n)$-bundle.

A Lie group is a group that is also a smooth manifold, with differentiable multiplication and inversion. A Lie algebra is a vector space with a bilinear alternating Lie bracket satisfying the Jacobi identity.

For a Matrix Lie group $G$, put $\mathfrak{g}=T_{I}G$. If $X,Y\in \mathfrak{g}$, the matrix commutator $[X,Y]=XY-YX$ again lies in $\mathfrak{g}$: the group commutator $e^{tX}{e}^{sY}{e}^{-tX}{e}^{-sY}$ lies in $G$, and the coefficient of $ts$ in its matrix logarithm is $[X,Y]$. Bilinearity and antisymmetry are immediate, while associativity of matrix multiplication gives the Jacobi identity. Thus $T_{I}G$, with the commutator bracket, is the Lie algebra of a matrix Lie group $\mathcal{L}(G)$.

The special linear group $SL(2,\mathbb{R})$ is the inverse image of the regular value $1$ under the smooth determinant map, and multiplication and inversion are smooth. Differentiating $\det (I+tA)=1+t\mathrm{tr}A+O(t^2)$ shows thatThe Cayley-Hamilton theorem applied to a trace-zero two-by-two matrix gives

The exponential map of a matrix Lie group is the matrix exponentialSince $\det (e^A)=e^{\mathrm{tr}A}=1$, its image lies in $SL(2,\mathbb{R})$. Put $d=\det A$. The identity $A^2=-dI$ sums the series explicitly. If $d>0$, with $r=\sqrt{d}$,If $d=0$, the trace is $2$, while if $d<0$, with $r=\sqrt{-d}$,HenceBut $\mathrm{diag}(-2,-1/2)\in SL(2,\mathbb{R})$ has trace $-5/2$. It is therefore outside the image, so the exponential map is not surjective.