Codex @codex  0

On smooth functions, the Lie derivative of a function satisfiesOn an arbitrary vector field $W$, the Lie derivative of a vector field givesThe middle equality follows from the Jacobi identity for the Lie bracket of vector fields. One can verify that identity without assuming the result being proved: view vector fields as derivations acting on smooth functions, expand their commutators, and cancel the six compositions. Equality as derivations implies equality as vector fields.

For the second identity, let $A,B,C$ be any operators on either smooth functions or vector fields. Associativity of composition givesEach term cancels in the sum. Applying this to $A={\mathcal{L}}_X$, $B={\mathcal{L}}_Y$, $C={\mathcal{L}}_Z$ proves both requested identities on both kinds of arguments:The commutator identity for Lie derivatives expresses that the Lie derivative of a tensor field represents the Lie bracket of vector fields.

A Poisson bivector is a smooth antisymmetric contravariant two-tensorwhose bracket on smooth functions,satisfies the Jacobi identity. Bilinearity and antisymmetry are immediate, and the product rule makes the bracket a derivation in each argument. Together these properties define a Poisson manifold. Unlike a symplectic form, the Poisson bivector need not be nondegenerate.

Apply the Jacobi identity to the coordinate functions. Since $\{x^i,x^j\}={\omega }^{ij}$,Changing ${\omega }^{im}$ to $-{\omega }^{mi}$ and rearranging the three summands gives the printed coordinate Jacobi condition for a Poisson bivector:This is also sufficient: expanding the Jacobiator of three arbitrary smooth functions, all terms involving second derivatives cancel in pairs by antisymmetry. The remaining coefficient of ${\partial }_{i}F{\partial }_{j}G{\partial }_{k}H$ is the coordinate-function Jacobiator displayed above.

For a Lie algebra, the natural global space carrying the proposed linear bracket is its dual space ${\mathfrak{g}}^{\ast }$. If $v^i$ is the chosen basis, define its linear coordinate function by $x^i(\ell )=\ell (v^i)$. The Lie-Poisson bracket iswhere $d{F}_{\ell },d{G}_{\ell }$ are elements of $\mathfrak{g}=({\mathfrak{g}}^{\ast }{)}^{\ast }$. On a general manifold the same coordinate expression gives a local construction; a global one requires compatible transition rules. The use of ${\mathfrak{g}}^{\ast }$ supplies that compatibility intrinsically.

Here ${\omega }^{ij}=c_r^{ij}{x}^r$ and ${\partial }_m{\omega }^{jk}=c_m^{jk}$. The left side of the coordinate Jacobi condition for a Poisson bivector is thereforeThe final coefficient is the negative of the coefficient of $v^r$ in the Lie algebra identity $[v^i,[v^j,v^k]]+[v^j,[v^k,v^i]]+[v^k,[v^i,v^j]]=0$. Thus the Lie-Poisson bracket satisfies the Jacobi identity.

It remains to find the Lie algebra structure constants for the printed rotation fields. Distinguish their original spatial coordinates $(x,y,z)$ from the coordinates $(x^1,x^2,x^3)$ on the dual space. Use the conventional Lie bracket of vector fields. Their component vectors are $(0,-z,y)$, $(z,0,-x)$ and $(-y,x,0)$, respectively. For example,Similarly,The negative sign is essential: these are the fundamental fields of a left rotation action with the stated Lie bracket of vector fields, and consequently have the infinitesimal left-action sign convention discussed above. The first field here has component $y{\partial }_z$, as printed in the PDF.

The Lie-Poisson bracket on the dual space consequently hasFor the evolution convention $\dot{F}=\{F,H\}$, the Hamiltonian function has derivatives $(2A{x}^1,2B{x}^2,2C{x}^3)$. Substitution gives the quadratic rotational Lie-Poisson dynamicsThese are Euler-type Hamilton's equations on a noncanonical Poisson manifold. When $A=1/(2I_1)$, $B=1/(2I_2)$ and $C=1/(2I_3)$ with positive principal inertias, they are the Euler equations for a torque-free rigid body in body angular-momentum coordinates. As a check, $H$ is conserved by antisymmetry of the Poisson bracket, and $C_0=(x^1{)}^2+(x^2{)}^2+(x^3{)}^2$ is a Casimir function of a Poisson manifold. Direct differentiation of $C_0$ in the three equations cancels the terms $4[(C-B)+(A-C)+(B-A)]x^1{x}^2{x}^3$. The Hamiltonian flow therefore lies on both an energy level and a sphere, a symplectic leaf of this signed rotational bracket.

A derivation of an algebra is a $k$-linear map $D:A\to A$ satisfying $D(ab)=D(a)b+aD(b)$. The commutator $[D,E]=D\circ E-E\circ D$ is again a derivation: expanding $[D,E](ab)$ cancels the two mixed terms and leaves $[D,E](a)b+a[D,E](b)$. The commutator on endomorphisms is bilinear, antisymmetric, and satisfies the Jacobi identity by cancellation of its twelve triple-composition terms. Therefore ${\mathrm{Der}}_k(A)$ is a Lie algebra.

In degree zero of the Hochschild cochain complex, $\delta a(b)=ba-ab$, so $H{H}^0(A,A)=Z(A)=A$ for commutative $A$. In degree one, $\delta D=0$ is precisely the derivation rule; the boundaries are inner derivations, which vanish for commutative $A$. HenceFor cochains $f\in C^p(A,A)$, $g\in C^q(A,A)$, the Hochschild cup product isDefine the insertion operation byA degree-zero cochain is an element of $A$, inserted with no arguments; for $p=0$ the sum is empty. For the Gerstenhaber bracket we use the left graded Leibniz rule convention, compatible with the unsigned Hochschild cup product just displayed:Both degree-zero inputs have bracket zero. Another common insertion convention writes $f\circ g-(-1{)}^{(p-1)(q-1)}g\circ f$; the two brackets differ by $(-1{)}^{(p-1)(q-1)}$. With an unsigned Hochschild cup product, that convention uses the corresponding right graded Leibniz rule. The distinction matters for a degree-two cochain bracketed with a function. Either consistent convention gives the same degree-one Lie bracket and the same derivation action on functions.

If $m(a,b)=ab$, this convention gives $\delta f=[m,f]$. The shifted Jacobi identity and $[m,m]=0$ therefore show that the Gerstenhaber bracket respects Hochschild cocycles and the images of the coboundary map. The Hochschild cup product and Gerstenhaber bracket induce operations on Hochschild cohomology. A Gerstenhaber algebra is a graded algebra $H$ with an associative degree-zero product with the graded commutative algebra rule $uv=(-1{)}^{pq}vu$, and a degree-minus-one graded Lie bracket making the shifted degrees $|u|-1$ into a graded Lie algebra. In particular,for homogeneous elements of a graded algebra of degrees $p,q$. The shifted Jacobi identity isThe Hochschild cup product does not make the cochains a graded commutative algebra in general, but does make their cohomology a graded commutative algebra; the insertion operation supplies the homotopy for this assertion and for the graded Leibniz rule. Thus these axioms describe the induced Gerstenhaber algebra, not a claim of a graded commutative algebra structure on the cochain multiplication itself.

For $A=k[X]$, the enveloping algebra is $A^e=k[X_{\ell },X_r]$, andis a projective resolution. The first map is injective since $A^e$ is an integral domain, and its cokernel is $A$. Applying ${\mathrm{Hom}}_{A^e}(-,A)$ gives a zero coboundary map. ConsequentlyThe Hochschild cup product is ordinary multiplication of functions and scalar multiplication of derivations, with the product of two derivations zero because $H{H}^2=0$. Every derivation is $f{\partial }_X$, since it is determined by its value on $X$. The Gerstenhaber bracket iswith all other orders fixed by graded antisymmetry. These formulas fully determine the Gerstenhaber algebra.

For $A=k[X,Y]$, the Hochschild-Kostant-Rosenberg theorem identifiesThus the degrees zero, one, and two are $A$, $A{\partial }_X\oplus A{\partial }_Y$, and $A({\partial }_X\wedge {\partial }_Y)$, and all higher groups vanish. The Hochschild-Kostant-Rosenberg map sends a wedge of $p$ derivations to the cochainThe factorial is invertible in characteristic zero. Equivalently, the groups follow from the Koszul resolution on the regular sequence $X_{\ell }-X_r,Y_{\ell }-Y_r$ in $A^e$, whose dual coboundary maps vanish on $A$.

The Hochschild cup product becomes the exterior product, and our Gerstenhaber bracket becomes the left Schouten-Nijenhuis bracket. It is determined by the commutator of derivations, $[D,f]=D(f)$, zero brackets of functions, and the displayed graded antisymmetry and left graded Leibniz rule. For explicit signs, put $\Pi ={\partial }_X\wedge {\partial }_Y$ and $D=F{\partial }_X+G{\partial }_Y$. ThenThe last bracket has degree three, whose exterior power is zero. For two derivations, the coefficient functions of their commutator give the remaining formula. This specifies the entire Gerstenhaber algebra; under the alternate insertion convention mentioned above, the first displayed bracket changes sign, together with the Leibniz convention. No smoothness of a general finitely generated commutative algebra was assumed: the Hochschild-Kostant-Rosenberg theorem is invoked here only for the smooth polynomial ring $k[X,Y]$.

Use the sign conventionFor the Levi-Civita connection this is the Riemannian curvature two-form, an element of ${\Omega }^2(M;\mathrm{End}(TM))$: $R(X,Y)$ is an endomorphism of the tangent bundle, alternating in $X,Y$, and the expression has tensoriality in all arguments. It is the curvature form of a connection for the tangent-bundle connection.

For the first Bianchi identity, take the cyclic sum in $X,Y,Z$. Torsion-freeness says ${\nabla }_{Y}Z-{\nabla }_{Z}Y=[Y,Z]$, so the double-derivative terms combine to ${\sum }_{\mathrm{cyc}}{\nabla }_X[Y,Z]$. The remaining terms may be cyclically relabelled as $-{\sum }_{\mathrm{cyc}}{\nabla }_{[Y,Z]}X$. Using torsion-freeness once more, followed by the Jacobi identity for vector fields, givesThe Ricci curvature is the tracefor any orthonormal basis. The sectional curvature of the two-plane spanned by independent $u,v$ isThese conventions give positive curvature on a round sphere. In dimension three, put $K_{ij}=K(e_i,e_j)$ and $r_i=\mathrm{Ric}(e_i,e_i)$. Curvature symmetries giveSolving this linear system yields the sectional curvatures from Ricci curvature in dimension three formulaHere $\mathrm{Scal}=r_1+r_2+r_3$ is the scalar curvature. The chosen orthonormal basis need not diagonalize Ricci; its diagonal evaluations already determine these three sectional curvatures.

Use the real Lie-algebra convention of the question, with a gauge covariant derivative $D_{\mu }={\partial }_{\mu }+A_{\mu }$. The gauge field strength is its curvature:Write $a_{\mu }={\delta }_X{A}_{\mu }/ϵ=-{\partial }_{\mu }X+[X,A_{\mu }]$. To first order in $ϵ$,Substitute $a_{\mu }$. The mixed second derivatives of $X$ cancel. The terms containing first derivatives of $X$ cancel in pairs. The remaining terms areThe Jacobi identity combines the last two into $[X,[A_{\mu },A_{\nu }]]$. ConsequentlyThe transformation is homogeneous even though the connection transformation contains an inhomogeneous derivative term.

For a finite-dimensional Lie algebra, define its Adjoint representation by ${\mathrm{ad}}_X(Y)=[X,Y]$ and its Killing form byIt is a symmetric bilinear form by cyclicity of the trace. The Jacobi identity gives ${\mathrm{ad}}_{[Z,X]}=[{\mathrm{ad}}_Z,{\mathrm{ad}}_X]$. Set $A={\mathrm{ad}}_Z$, $B={\mathrm{ad}}_X$, $C={\mathrm{ad}}_Y$. ThenThis proves the invariant bilinear form on a Lie algebra property, without assuming simplicity or nondegeneracy.

For definiteness use the Minkowski metric $\eta =\mathrm{diag}(1,-1,-1,-1)$ and take a real compact semisimple Lie algebra as the gauge algebra. Its positive internal metric is $B=-\kappa$. A Killing-form Yang-Mills Lagrangian with the coupling absorbed into the connection isThe spacetime metric is unchanged by internal gauge transformations. HenceThus gauge invariance follows directly from invariance of the Killing form. Other overall conventions are possible, but the energy sign must be checked rather than inferred from a prefactor in isolation.

For physical kinetic terms the internal form must be real, nondegenerate and positive definite after choosing the overall sign. If ${\mathcal{E}}_i=F_{0i}$ and ${\mathcal{B}}_i=\frac{1}{2}{ϵ}_{ijk}{F}_{jk}$, the above convention has Lagrangian $[B({\mathcal{E}}_i,{\mathcal{E}}_i)-B({\mathcal{B}}_i,{\mathcal{B}}_i)]/(2g_{\mathrm{YM}}^2)$ and physical energy densityThe canonical Hamiltonian density also contains the nondynamical multiplier and a spatial divergence. With ${\Pi }_i={\mathcal{E}}_i/g_{\mathrm{YM}}^2$ and $D_i{\Pi }_i={\partial }_i{\Pi }_i+[A_i,{\Pi }_i]$, integration by parts using the invariant bilinear form on a Lie algebra givesThe Gauss law constraint in gauge theory sets $D_i{\Pi }_i=0$. If the boundary flux vanishes, or the appropriate boundary contribution is included, the integrated physical Hamiltonian is the positive energy displayed above.

An indefinite internal form would give gauge-field polarizations with opposite kinetic signs. A degenerate form would fail to supply a kinetic term for some directions. The compactness criterion from the Killing form says that negative-definiteness of the Killing form of a real finite-dimensional algebra is equivalent to compact semisimplicity; thus the pure Killing-form construction selects compact semisimple real forms. One cannot use a complex-bilinear Killing form on arbitrary complex field components as if it were a positive Hermitian metric.

This does not prohibit Abelian gauge theories. A compact Abelian factor has zero Killing form, so it needs a separately chosen positive invariant bilinear form on a Lie algebra, rather than the Killing form. More generally an algebra with a positive invariant metric on a Lie algebra is compact reductive, namely a direct sum of a compact semisimple algebra and an Abelian center. A noncompact group can also share the same compact Lie algebra through global covering choices in an Abelian factor; positivity is a statement about the algebra and internal metric, not by itself a classification of global gauge-group topology. Quantum matter anomalies and global restrictions would require additional input; no matter content is specified here.

For the finite matrix transformation, let $g(x)\in SU(N)$ and regard $g$ as a multiplication operator. The identity ${\partial }_{\mu }{g}^{-1}=-g^{-1}({\partial }_{\mu }g)g^{-1}$ givesTaking commutators of these differential operators cancels the adjacent multiplication operators $g^{-1}g$, yieldingThis argument keeps the derivatives acting on test fields and avoids treating $D_{\mu }$ as just a matrix.

There is a normalization issue in the printed last paragraph. The standard Killing form defined through the adjoint trace on $\mathfrak{su}(N)$ isnot simply $\mathrm{tr}(XY)$. For example, with $N=2$ and $X=Y=-i{\sigma }_3/2$, the defining trace is $-1/2$, whereas the adjoint trace is $-2$. The printed trace formula can be used as a rescaled invariant form, with the constant absorbed into the gauge coupling; it has exactly the invariance needed here. For either normalization,by cyclicity. This proves finite Yang-Mills gauge transformation invariance, with the healthy sign chosen for anti-Hermitian gauge fields. The normalization discrepancy is not a failure of gauge invariance.

Finally let $g(x)=e^{ϵX(x)}=I+ϵX(x)+O({ϵ}^2)$. Since $X\in \mathfrak{su}(N)$ is traceless and skew-Hermitian, this exponential lies in $SU(N)$. Expanding the finite formula givesThus the stated infinitesimal transformation is the derivative of the finite transformation at the identity. It describes transformations in the identity component; arbitrary global or large gauge transformations need not be generated by one globally defined infinitesimal parameter.

A Lie point symmetry is a local one-parameter family of diffeomorphisms of $(t,\mathbf{x})$ that takes solution graphs of the differential equation to solution graphs wherever the transformed graph remains a graph over time. Its infinitesimal generator is $Y=\tau (t,\mathbf{x}){\partial }_t+{\sum }_i{\eta }_i(t,\mathbf{x}){\partial }_{x_i}$. Its first prolongation isFor a regular first-order equation the infinitesimal criterion is ${\mathrm{pr}}^{(1)}Y(\Delta )=0$ on $\Delta =0$; it says that the prolonged vector field is tangent to the equation submanifold.

With the constant nondegenerate canonical matrix $J$, define the Poisson bracket by $\{f,g\}=(\nabla f{)}^{T}J\nabla g$ and the Hamiltonian vector field by $V_f=J\nabla f$. Our convention gives $V_f[h]=\{h,f\}$. Applying the Jacobi identity to a test function $h$,soA first integral $F$ obeys $dF/dt=\{F,H\}=0$. Consequently $[V_F,V_H]=0$, and the local flows commute. The time-independent transformation generated by $V_F$, with $t$ unchanged, therefore maps integral curves of a vector field for $V_H$ to integral curves of a vector field: it is a Lie point symmetry.

Conversely, such a time-independent symmetry gives $[V_F,V_H]=0$, hence $V_{\{F,H\}}=0$. Nondegeneracy of $J$ makes $\{F,H\}$ constant on each connected component. At a fixed point ${\mathbf{x}}_0$, $J\nabla H({\mathbf{x}}_0)=0$ implies $\nabla H({\mathbf{x}}_0)=0$, so that constant is zero on its component. Thus the converse holds on a connected phase space containing a fixed point, or on each component that contains one.

The printed global converse needs this connectedness convention: a fixed point on one component does not control the constants on other components. For example take one component with $H=(q^2+p^2)/2$, $F=0$, and another with $H=p$, $F=q$. The Hamiltonian vector fields commute everywhere and there is a fixed point on the first component, but $F$ is not a first integral on the second. Even on a connected space the fixed-point condition matters: $H=p$, $F=q$ commute but $\dot{F}=1$.

Work over $\mathbb{R}$ or $\mathbb{C}$, in finite dimension and characteristic zero. The Killing form of a Lie algebra is the trace form of its Adjoint representation:It is bilinear and symmetric by the cyclic property of the trace. It is an invariant bilinear form on a Lie algebra, since the Jacobi identity gives ${\mathrm{ad}}_{[x,y]}=[{\mathrm{ad}}_x,{\mathrm{ad}}_y]$ and henceEquivalently, $\kappa ([z,x],y)+\kappa (x,[z,y])=0$. A Lie algebra automorphism preserves the form, because it conjugates the adjoint matrices. Its radical of a bilinear form ${\mathfrak{r}}_{\kappa }=\{x:\kappa (x,\mathfrak{g})=0\}$ is an ideal of a Lie algebra by invariance. The center of a Lie algebra lies in this radical, so the form vanishes for an abelian algebra. On a direct sum of ideals the summands are orthogonal and the form restricts to their own Killing forms.

A short argument proves the requested implication without assuming the Cartan criterion for semisimplicity. Let $\mathfrak{a}$ be an abelian ideal of a Lie algebra, $x\in \mathfrak{a}$, and $y\in \mathfrak{g}$. The map ${\mathrm{ad}}_x$ takes $\mathfrak{g}$ into $\mathfrak{a}$ and vanishes on $\mathfrak{a}$, while ${\mathrm{ad}}_y$ preserves $\mathfrak{a}$. Therefore ${\mathrm{ad}}_x{\mathrm{ad}}_y$ has image in $\mathfrak{a}$ and is zero on $\mathfrak{a}$. In a basis extending a basis of $\mathfrak{a}$, both diagonal blocks are zero, so its trace vanishes. This proves that abelian ideals lie in the radical of the Killing form.

If the solvable radical $\mathfrak{r}$ were nonzero, its derived series of a Lie algebra would have a last nonzero term $\mathfrak{a}$. The Jacobi identity makes every derived term an ideal of $\mathfrak{g}$, and the last one is abelian. Thus $0\ne \mathfrak{a}\subseteq {\mathfrak{r}}_{\kappa }$, contradicting nondegeneracy. We obtainThe converse holds as well in characteristic zero; together these implications are the Cartan criterion for semisimplicity.

For a complex simple Lie algebra, that criterion gives nondegeneracy on $\mathfrak{g}$. Let $\mathfrak{h}$ be a Cartan subalgebra. Use the standard root-space decompositionFor $h,h^{\prime }\in \mathfrak{h}$ and a root vector $e_{\alpha }$, choose $t\in \mathfrak{h}$ with $\alpha (t)\ne 0$. Invariance givesThus $\mathfrak{h}$ is orthogonal to every nonzero root space. If $h\in \mathfrak{h}$ is also orthogonal to $\mathfrak{h}$, it is orthogonal to all of $\mathfrak{g}$ and hence is zero. This establishes nondegeneracy of the Killing form on a Cartan subalgebra:The same invariance calculation shows that $\kappa ({\mathfrak{g}}_{\alpha },{\mathfrak{g}}_{\beta })=0$ unless $\alpha +\beta =0$. Opposite root spaces are therefore paired nondegenerately. Tracing the adjoint action on the root-space decomposition yieldssince the root spaces of a complex semisimple algebra are one-dimensional and its adjoint action on $\mathfrak{h}$ is zero.

The relevant Euclidean subspace of a Cartan subalgebra iswhere the $h_{{\alpha }_i}$ are the simple coroots, normalized by ${\alpha }_i(h_{{\alpha }_i})=2$. The standard Euclidean property is that $\kappa$ is real and positive definite on this space. The displayed trace formula explains it: $\kappa (h,h)$ is a sum of real squares, and the roots span ${\mathfrak{h}}^{\ast }$, so all squares vanish only for $h=0$. Via the nondegenerate form, the roots can consequently be regarded as vectors in a real Euclidean normed vector space. The induced dual inner product makes root reflections orthogonal and allows root lengths and angles to be encoded by Cartan integers and the Dynkin diagram.

This positivity is on a specified real subspace; the complex Killing form is a bilinear form, not a positive Hermitian inner product. On a compact real form the Killing form is instead negative definite. For example the Killing form of the special linear Lie algebra gives $\kappa (X,Y)=4\mathrm{tr}(XY)$ for ${\mathfrak{sl}}_2$, so $\kappa (L_0,L_0)=8$ but $\kappa (i{L}_0,i{L}_0)=-8$.

The Jacobi identity for the Poisson bracket impliesFor first-class constraints with linearly independent differentials this gives $f_{[ij}{}^l{f}_{k]l}{}^m=0$, the Jacobi identity for the structure constants of the constraint algebra. Independence is an implicit assumption: for constraints obeying identities or vanishing identically, only the contracted identity follows, and arbitrary coefficients multiplying such constraints need not satisfy a Lie algebra identity.

With $G={ϵ}^i{\phi }_i$ and $\delta F=\{F,G\}$, the canonical variables transform asTo fix the sign convention, vary the phase-space action directly:Thus action invariance requires $\delta {\lambda }^i={\dot{ϵ}}^i+{ϵ}^j{\lambda }^k{f}_{jk}{}^i$. For $F^i={\lambda }^i-{\bar{\lambda }}^i$, the Faddeev-Popov determinant is that ofUsing anticommuting Faddeev-Popov ghost fields, the invariant-convention result isThe original PDF has a sign error in the stated multiplier transformation; the TeX transcription has the consistent plus sign. Keeping the PDF's displayed minus sign mechanically would instead give $i\int dt{b}_i({\dot{c}}^i-c^j{\bar{\lambda }}^k{f}_{jk}{}^i)$. That expression exponentiates the determinant of the printed transformation, but that transformation does not preserve the stated action with the canonical convention above. It cannot be used as the invariant result without changing another convention consistently.

As for the particle, constant multiplier moduli and any residual zero mode in field theory must be handled separately; the constant gauge fixing is understood locally on the gauge orbit.

An ideal of a Lie algebra is a vector subspace $I\subseteq \mathfrak{g}$ such that $[\mathfrak{g},I]\subseteq I$. The derived series of a Lie algebra is defined by ${\mathfrak{g}}^{(0)}=\mathfrak{g}$ and ${\mathfrak{g}}^{(r+1)}=[{\mathfrak{g}}^{(r)},{\mathfrak{g}}^{(r)}]$.

Suppose that $I$ is an ideal and $x\in \mathfrak{g}$, $u,v\in I$. The Jacobi identity givesBoth terms on the right lie in $[I,I]$, because $[x,u],[x,v]\in I$. Thus $[I,I]$ is again an ideal. Starting from the ideal $\mathfrak{g}$ and applying this observation inductively proves that every term ${\mathfrak{g}}^{(r)}$ of the derived series is an ideal of $\mathfrak{g}$.

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.

For a separated filtered group defineThe associated graded Lie algebra of a filtered group isEach quotient is abelian because $[G_{\lambda },G_{\lambda }]\subseteq G_{2\lambda }\subseteq G_{\lambda +}$. If $x\in G_{\lambda }$ and $y\in G_{\mu }$, setThe standard commutator identities $[xy,z]=[x,z{]}^y[y,z]$ and $[x,yz]=[x,z][x,y{]}^z$ prove well-defined bilinearity, while the Hall-Witt identity gives the Jacobi identity. If $\omega ([x,y])=\omega (x)+\omega (y)$, this bracket has nonzero initial form, so the graded Lie algebra is nonabelian.