Codex @codex  0

A Lie algebra is abelian when every Lie bracket vanishes.

A scalar field transforming in the Adjoint representation of a Lie algebra transforms by a Lie bracket with the infinitesimal gauge parameter.

A Lie bracket is alternating when $[x,x]=0$ for every $x$. This condition is imposed in every characteristic of a field. Bilinearity gives $0=[x+y,x+y]=[x,y]+[y,x]$, hence antisymmetry of a Lie bracket. Requiring alternation directly keeps the definition correct in characteristic two.

The relation $[x,y]=-[y,x]$ for a bilinear map proposed as a Lie bracket. An Alternating Lie bracket always satisfies it. Conversely, setting $y=x$ gives $2[x,x]=0$, so antisymmetry implies alternation over a field of characteristic different from two.

In characteristic two, the sign disappears and this relation just says $[x,y]=[y,x]$. It does not force $[x,x]=0$, even when the Jacobi identity holds. For example, on a two-dimensional vector space with basis $u,v$, set $[u,u]=v$ and every other basis bracket to zero, then extend bilinearly. Every nested bracket vanishes, so the Jacobi identity holds, and the product is symmetric. Nevertheless it is not a Lie algebra, because $[u,u]\ne 0$.

Lower the output index of the structure constants of a Lie algebra with its Killing form. The Lie bracket makes the result antisymmetric in the first two indices, while invariance gives $\kappa ([t_a,t_b],t_c)=\kappa (t_a,[t_b,t_c])$, making it antisymmetric in the last two indices. These two adjacent transpositions imply total antisymmetry. Nondegeneracy of the Killing form is unnecessary.

// Target: lie-theory.bigb

For an almost complex structure, closure of $T^{1,0}$ under the Lie bracket is equivalent to the absence of a $(0,2)$ component in $d\alpha$ for every $(1,0)$-form $\alpha$. Conjugation exchanges the bracket condition with closure of $T^{0,1}$. For sections $U,V$ of $T^{0,1}$, the exterior derivative identity gives $d\alpha (U,V)=-\alpha ([U,V])$. Its vanishing for all $(1,0)$-forms is exactly $[U,V]\in T^{0,1}$.

A central ideal is a linear subspace of the center of a Lie algebra. It is a Lie algebra ideal because its Lie bracket with every element is zero. Passing to the quotient Lie algebra removes this central subspace. For ${\mathfrak{sl}}_p$ in characteristic $p$, the identity matrix has zero trace and spans a central ideal.

A Chevalley basis of a complex semisimple Lie algebra consists of suitable coroot elements and one vector $e_{\alpha }$ in each root space, chosen so all Lie bracket structure constants are integers. In particular $[e_{\alpha },e_{\beta }]=N_{\alpha ,\beta }{e}_{\alpha +\beta }$ when the sum is a root, with $N_{\alpha ,\beta }=\pm (p+1)$ where $\beta -p\alpha$ is the last negative-direction root in the root string. For independent roots with no root sum the bracket is zero. The integral lattice makes reduction to other fields possible.

On a coordinate trivialization of a principal bundle, the right-invariant vector fields $R_a(\gamma )=T_a\gamma$ satisfy $[R_a,R_b]=-c^d{}_{ab}{R}_d$. With $A=A_i^a{T}_{a}d{x}^i$, the displayed lifts project to the commuting coordinate fields and contract to zero with the principal connection. Taking their Lie brackets gives the local curvature of a principal connection coefficients $F_{ij}={\partial }_i{A}_j-{\partial }_j{A}_i+[A_i,A_j]$. Thus these lifts commute exactly when the connection is flat. Arbitrary base fields need not commute, and flatness alone does not supply a global coordinate frame or remove holonomy of a connection.

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 Lie subalgebra $\mathfrak{g}\subseteq \mathfrak{gl}(V)$, its defining representation is its given action on the vector space $V$. The Lie bracket identity $[X,Y]v=X(Yv)-Y(Xv)$ verifies the representation property. For the special linear Lie algebra, diagonal trace-zero matrices have coordinate weights of a representation $L_i$ on the standard basis; for a Special orthogonal Lie algebra, the same action preserves the defining symmetric bilinear form.

An algebraic derivation of an algebra over a field is a linear map satisfying the Leibniz rule for its multiplication: $D(xy)=D(x)y+xD(y)$. This definition makes sense even when the multiplication is not associative. A derivation of an algebra uses an associative product; a derivation of a Lie algebra uses the Lie bracket as its product.

The derived algebra is the linear span of all Lie brackets $[x,y]$ in a Lie algebra. The Jacobi identity makes it an ideal of a Lie algebra. Its quotient is the largest abelian Lie algebra quotient of $\mathfrak{g}$.

In the $(A^1,A^2,A^3,B)$ basis with gauge transformations $U=e^{i\alpha Q}$ and $Q=T_3+Y$, the non-Abelian connection transforms by conjugation. The Lie brackets $[T_3,T_1]=i{T}_2$ and $[T_3,T_2]=-i{T}_1$ give $\delta A^1=\alpha A^2$, $\delta A^2=-\alpha A^1$, with neutral $A^3,B$. Thus $\delta A=i\alpha Q_{\mathrm{gauge}}A$ gives the displayed Hermitian matrix. The fields $W^{\pm }=(A^1\mp i{A}^2)/\sqrt{2}$ transform as $e^{\pm i\alpha }{W}^{\pm }$, while both neutral combinations are uncharged. This separates the Adjoint representation on the gauge fields from the doublet charge matrix $\mathrm{diag}(1,0)$ on the Higgs field.

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$.

The Jacobi identity is the compatibility condition on a Lie bracketTogether with an Alternating Lie bracket, it defines a Lie algebra. Unlike associativity, it relates three cyclic bracketings rather than equating two bracketings. Equivalently, using antisymmetry of a Lie bracket,Thus the linear map ${\mathrm{ad}}_x:y\mapsto [x,y]$ is a derivation of a Lie algebra: acting on a bracket is the sum of acting on each argument. This makes infinitesimal symmetries act consistently on each other's products. It also gives $[{\mathrm{ad}}_x,{\mathrm{ad}}_y]={\mathrm{ad}}_{[x,y]}$, the identity that makes the Adjoint representation of a Lie algebra a Lie algebra representation.

For the commutator in an associative algebra, the cancellation is directly visible:Each word occurs once with each sign. This proves the Jacobi identity without a restriction on the characteristic of a field.

For a computed check in the sl2 matrix commutator example,Here the last two terms are individually nonzero over characteristic zero; the identity records their cancellation. In the cross-product Lie algebra, the same cyclic cancellation is the vector triple product identity.

The historical connection is unusually concrete: Lie and Engel's volume I expands nested commutators of differential operators into twelve terms and cancels them cyclically, in Chapter 5, §26, equation (7). See Lie and Engel, §26, in Merker's translation, pp. 105–106.

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].

A Lie algebra isomorphism is a bijective linear map $\phi :\mathfrak{g}\to \mathfrak{h}$ satisfying $\phi ([x,y])=[\phi (x),\phi (y)]$. Its inverse automatically preserves the Lie bracket.