A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.
The Lie bracket [X, Y] of two vector fields measures their failure to commute — both as derivations (XY - YX applied to functions) and as flows (the infinitesimal obstruction to their flows commuting). It produces a new vector field that is bilinear, antisymmetric, and satisfies the Jacobi identity. The Lie bracket turns the space of vector fields into an infinite-dimensional Lie algebra and is the foundational algebraic operation in differential geometry.
When you compose two derivations X and Y acting on smooth functions, the result XY (meaning X applied after Y) is not itself a derivation — it involves second derivatives and fails the Leibniz rule. But the commutator [X, Y] = XY - YX is a derivation: the second-derivative terms cancel, leaving a first-order operator. In local coordinates where X = Xⁱ∂/∂xⁱ and Y = Yʲ∂/∂xʲ, the bracket has components [X,Y]ᵏ = Xⁱ(∂Yᵏ/∂xⁱ) - Yⁱ(∂Xᵏ/∂xⁱ). This is the Lie bracket of X and Y — a new vector field that captures how X and Y interact.
The geometric meaning of the Lie bracket is the failure of flows to commute. Start at a point p, flow along X for time ε, then along Y for time ε, then back along X for time ε, then back along Y for time ε. If you return exactly to p, the flows commute and [X, Y] = 0. If not, the gap is approximately ε²[X, Y]_p. The bracket measures the infinitesimal "twist" that prevents the two flows from forming a coordinate grid. This is why coordinate vector fields ∂/∂xⁱ always have vanishing brackets — their flows are precisely the coordinate translations that do form a grid.
The Lie bracket satisfies three algebraic properties: bilinearity ([aX + bY, Z] = a[X,Z] + b[Y,Z]), antisymmetry ([X,Y] = -[Y,X]), and the Jacobi identity ([X,[Y,Z]] + [Y,[Z,X]] + [Z,[X,Y]] = 0). These make the space of vector fields 𝔛(M) into a Lie algebra — the same algebraic structure that appears in Lie group theory, quantum mechanics, and representation theory. The Jacobi identity is not obvious from the definition but follows from direct computation using the associativity of function composition.
A critical subtlety: the Lie bracket is ℝ-bilinear but not C∞(M)-bilinear. The formula [fX, Y] = f[X,Y] - Y(f)X shows that multiplying a vector field by a function before bracketing produces an extra term. This means the Lie bracket is not a tensor — you cannot compute [X,Y]_p knowing only X_p and Y_p; you need the derivatives of the coefficient functions. This is the first instance of a pattern that recurs throughout differential geometry: the most natural operations on vector fields are often not tensorial, and identifying which operations are tensorial (and therefore define geometric objects independent of coordinates) is a central concern.