^^ [[Schutz - 2 - Differentiable Manifolds and Tensors|2. Differentiable Manifolds and Tensors]] <<[[Schutz - 2.13 - Exponentiation of the Operator ddlambda|2.13 Exponentiation of the Operator d/d\lambda]] | [[Schutz - 2.16 - One-Forms|2.16 One-Forms]]>> # Lie Brackets and Noncoordinate Bases Given a [[Schutz - 2.1 - Definition of a Manifold#^7b8801|coordinate]] system $\{x^i\}$ on a manifold $M$, it is convenient to adopt the [[Schutz - 2.8 - Basis Vectors and Basis Vector Fields#^cf2d81|coordinate basis]] $\{\partial/\partial x^i\}$ as a basis for vector fields. However, *any* linearly independent set of vector fields also forms a basis, and not all of them can be written in terms of a coordinate basis since $\{\partial/\partial x^i\}$ and $\{\partial/\partial x^j\}$ commute for all $i, j$. > **The Commutator** > The commutator of two vector fields $\pmb{V} = \frac{d}{d\lambda}$ and $\pmb{W} = \frac{d}{d\mu}$ is defined as > $ \left[\frac{d}{d\lambda}, \frac{d}{d\mu}\right] \equiv \frac{d}{d\lambda}\frac{d}{d\mu} -\frac{d}{d\mu} \frac{d}{d\lambda} $ > This is also known as the *Lie Bracket*, but we will define that more rigorously later. > As we will show below, the commutator of vector fields is a vector field whose components do not vanish in general. The commutator of the coordinate basis acting on a $C^2$ function $f$ is: $ \left[\frac{\partial}{\partial x^i}, \frac{\partial}{\partial x^j}\right]f =\frac{\partial^2 f}{\partial x^i \partial x^j} - \frac{\partial^2 f}{\partial x^j \partial x^i} = 0, $ where the last equality follows from Clairaut's theorem on equality of mixed partials. Thus: $ \left[\frac{\partial}{\partial x^i}, \frac{\partial}{\partial x^j}\right] = 0, $ and we have proved that the basis vectors of a coordinate basis commute. Now consider the commutator of two arbitrary vector fields $\pmb{V} = \frac{d}{d\lambda}$ and $\pmb{W} = \frac{d}{d\mu}$ acting on a $C^2$ function $f$ as before (with Einstein summation) $ \begin{align} \left[\frac{d}{d\lambda}, \frac{d}{d\mu}\right]f &= \left(V^i \frac{\partial}{\partial x^i} W^j \frac{\partial}{\partial x^j} - W^j \frac{\partial}{\partial x^j} V^i \frac{\partial}{\partial x^i} \right) f, \\ &= \left(V^i \frac{\partial W^j}{\partial x^i} \frac{\partial f}{\partial x^j} - W^j \frac{\partial V^i}{\partial x^j} \frac{\partial f}{\partial x^i} \right), \\ &= \left(V^i \frac{\partial W^j}{\partial x^i} \frac{\partial f}{\partial x^j} - W^i \frac{\partial V^j}{\partial x^i} \frac{\partial f}{\partial x^j} \right) , \\ &= \left(V^i \frac{\partial W^j}{\partial x^i} - W^i \frac{\partial V^j}{\partial x^i} \right) \frac{\partial f}{\partial x^j}, \end{align} $ where in the second-to-last line we relabeled $i \leftrightarrow j$ (recall that they are free indices in a sum, thus they can be relabeled). Thus we get: $ \left[\frac{d}{d\lambda}, \frac{d}{d\mu}\right] = \left(V^i \frac{\partial W^j}{\partial x^i} - W^i \frac{\partial V^j}{\partial x^i} \right) $ and we have proved that two arbitrary vector fields do not commuted. The commutator is thus a vector field whose components do not vanish in general. If $d/d\lambda$ and $d/d\mu$ are two components of a basis, then they cannot be expressed as derivatives of coordinates in general. > **Non-coordinate basis** > Given a set of arbitrary basis vector fields, if the commutator of two of them, e.g. $\pmb{V} = \frac{d}{d\lambda}$ and $\pmb{W} = \frac{d}{d\mu}$ does not vanish, then they are known form a *non-coordinate basis* and they cannot be written in terms of the derivatives of coordinates. One can only distinguish between coordinate and non-coordinate bases over some region $U \subset M$, not at a single point $P \in M$. It depends on the derivatives of the components of the vectors (e.g. $\frac{\partial W^j}{\partial x^i})$ in the commutator above), and not just their values at a single point. Thus, the properties of these two types of basis only matter when we work over a region of a manifold, and not in problems which involved only the [[Schutz - 2.7 - Vectors and Vector Fields#^4e794a|tangent space]] $T_P$ at a single point $P$. ## Interpretation of the Commutator In the figure below, a coordinate grid of a two-dimensional manifold is shown. By definition, $x^1$ is constant (e.g. $x^1 = b$) along lines of $x^2$ (e.g. $x^2 = c,\, d$), i.e. the integral curves of $\partial/\partial x^2$. This is why $\partial/\partial x^1$ and $\partial/\partial x^2$ commute, they are derivatives along a line where the other is fixed. ![[Pasted image 20210127100735.png]] Now consider a non-coordinate grid in the figure below. We have the two arbitrary vector fields $\pmb{V} = d/d\lambda$ and $\pmb{W} = d/d\mu$, and the grid is simply their integral curves. It only looks like a coordinate grid as an artifact of 2 spatial dimensions, in 3D these lines may not even cross. They look like coordinate curves but their parameterization is not that of coordinate curves. Integral curves of $\pmb{W}$ (e.g. $(1)$) are not necessarily curves of constant $\lambda$ (e.g. $\lambda$ varies from 3 to ~2.5 along curve $(1)$), and vice-versa. This is why $d/d\lambda$ and $d/d\mu$ do not commute. ![[Pasted image 20210127101047.png]] Now consider moving along the integral curves in the figure below. ![[Pasted image 20210127102444.png]] Using the exponential notation of [[Schutz - 2.13 - Exponentiation of the Operator ddlambda|§2.13]], we get: $ \begin{align} x^i(R) &= \exp\left[ \epsilon \frac{d}{d\lambda}\right]x^i\Bigg|_P, \\ x^i(A) &= \exp\left[ \epsilon \frac{d}{d\mu}\right]x^i\Bigg|_R = \exp\left[ \epsilon \frac{d}{d\mu}\right]\exp\left[ \epsilon \frac{d}{d\lambda}\right]x^i\Bigg|_P, \\ x^i(B) &= \exp\left[ \epsilon \frac{d}{d\mu}\right]x^i\Bigg|_R = \exp\left[ \epsilon \frac{d}{d\lambda}\right]\exp\left[ \epsilon \frac{d}{d\mu}\right]x^i\Bigg|_P, \\ \end{align} $ Thus: $ \begin{align} x^i(B) - x^i(A) &= \left[e^{\epsilon d/d\lambda}, e^{\epsilon d/d\mu}\right] x^i\Bigg|_P ,\\ &= \left[1 + \epsilon \frac{d}{d\lambda} + \mathcal{O}(\epsilon^2), 1 + \epsilon \frac{d}{d\mu} + \mathcal{O}(\epsilon^2)\right] x^i\Bigg|_P , \\ &= \epsilon^2 \left[\frac{d}{d\lambda}, \frac{d}{d\mu}\right]x^i\Bigg|_P + \mathcal{O}(\epsilon^3) ,\\ \end{align} $ thus, the Lie Bracket gives, to second order, the difference between the paths traversed. > **Lie Algebra of Vector Fields** > A *Lie Algebra* of vector fields one a region $U \subset M$ is a set $A$ of vector fields which forms a vector field under addition and is closed under the Lie Bracket. We will study this in more detail later. > The set of *all* $C^\infty$ vector fields on $U$ is clearly a Lie Algebra.