# The Unapologetic Mathematician

## Brackets and Flows

Now, what does the Lie bracket of two vector fields really measure? We’ve gone through all this time defining and manipulating a bunch of algebraic expressions, but this is supposed to be geometry! What does the bracket actually mean? It turns out that the bracket of two vector fields measures the extent to which their flows fail to commute.

We won’t work this all out today, but we’ll start with an important first step: the bracket of two vector fields vanishes if and only if their flows commute. That is, if $X$ and $Y$ are vector fields with flows $\Phi_s$ and $\Psi_t$, respectively, then $[X,Y]=0$ if and only if $\Phi_s\circ\Psi_t=\Psi_t\circ\Phi_s$ for all $s$ and $t$.

First we assume that the flows commute. As we just saw last time, the fact that $\Phi_s\circ\Psi_t=\Psi_t\circ\Phi_s$ for all $t$ means that $Y$ is $\Phi_s$-invariant. That is, $\Phi_{-t*}Y\circ\Phi_t=Y$. But this implies that the Lie derivative $L_XY$ vanishes, and we know that $L_XY=[X,Y]$.

Conversely, let’s assume that $[X,Y]=0$. For any $p\in M$ we can define the curve $c_p$ in the tangent space $\mathcal{T}_pM$ by $c_p(s)=\Phi_{-s*}Y\circ\Phi_s(p)$. Since the Lie derivative vanishes, we know that $c_p'(0)=0$, and I say that $c_p'(s)=0$ for all $s$, or (equivalently) that $c_p(s)=Y_p$.

Fixing any $s$ we can set $q=\Phi_s(p)$. Then we calculate

$\displaystyle\begin{aligned}c_p'(s)&=\lim\limits_{\Delta s\to0}\frac{c_p(s+\Delta s)-c_p(s)}{\Delta s}\\&=\lim\limits_{\Delta s\to0}\frac{1}{\Delta s}\left[\Phi_{-(s+\Delta s)*}\circ Y\circ\Phi_{s+\Delta s}(p)-\Phi_{-s*}\circ Y\circ\Phi_s(p)\right]\\&=\lim\limits_{\Delta s\to0}\frac{1}{\Delta s}\Phi_{-s*}\left[\left[\Phi_{-\Delta s*}\circ Y\circ\Phi_{\Delta s}\right]\left(\Phi_s(p)\right)-Y\left(\Phi_s(p)\right)\right]\\&=\Phi_{-s*}\lim\limits_{\Delta s\to0}\frac{1}{\Delta s}\left[\left[\Phi_{-\Delta s*}\circ Y\circ\Phi_{\Delta s}\right](q)-Y(q)\right]\\&=\Phi_{-s*}c_q'(0)=\Phi_{-s*}0=0\end{aligned}$

Now this means that $Y$ is $\Phi_s$-invariant for all $t$, meaning that $\Phi_s$ and $\Psi_t$ commute for all $s$ and $t$, as asserted.

As a special case, if $(U,x)$ is a coordinate patch then we have the coordinate vector fields $\frac{\partial}{\partial x^i}$. The fact that partial derivatives commute means that the brackets disappear:

$\displaystyle\left[\frac{\partial}{\partial x^i},\frac{\partial}{\partial x^j}\right]=0$

This corresponds to the fact that adding $s$ to the $i$th coordinate and $t$ to the $j$th coordinate can be done in either order. That is, their flows commute.

### Like this:

Posted by John Armstrong | Differential Topology, Topology

## 3 Comments	»

1. [...] I left off last time by pointing out that coordinate vector fields [...]

Pingback by | June 22, 2011 | Reply

2. [...] again pick up the question we posed earlier about what the bracket measures. Clearly it should have something to do with flows and their [...]

Pingback by | June 23, 2011 | Reply

3. [...] John Armstrong: The Lie Derivative, Brackets and Flows [...]

Pingback by | June 25, 2011 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 41, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9268752336502075, "perplexity_flag": "head"}