What Does the Bracket Measure? (part 1)

We again pick up the question we posed earlier about what the bracket measures. Clearly it should have something to do with flows and their failure to commute. So we consider vector fields $X$ and $Y$ with flows $\Phi$ and $\Psi$ , respectively.

Now, starting with a point $p$ and given some small time displacement $t$ we can flow along $X$ and then $Y$ — $\left[\Psi_t\circ\Phi_t\right](p)$ — or we can flow along $Y$ and then $X$ — $\left[\Phi_t\circ\Psi_t\right](p)$ — and get two (potentially different) points in $M$ . Unfortunately, we can’t just take their difference as we could when measuring the failure of algebra elements to commute.

However, we do have something rather closely related: the commutator in the sense of a group. That is, we can flow forwards along $X$ , then along $Y$ , then backwards along $X$ and then backwards along $Y$ to get the point $c(t)$ :

$\displaystyle c(t)=\left[\Psi_{-t}\circ\Phi_{-t}\circ\Psi_t\circ\Phi_t\right](p)$

If $\Phi_t$ and $\Psi_t$ were to commute this would just be the constant curve $c(t)=p$ , but in general it’s a smooth curve passing through $p$ at $t=0$ . The bracket $[X,Y]_p$ will indicate the direction in which $c(t)$ passes through $p$ , and something about its speed.

Now, it turns out that the derivative $c'(t)$ always vanishes at $t=0$ . In fact, $[X,Y]_p$ is more closely related to the “second derivative” of $c$ , though it’s not immediately clear what this means. Indeed, we can define $c'(t)$ for any $t$ in an interval around $0$ , but $c'(t)\in\mathcal{T}_{c(t)}M$ , and there is in general no good way to compare these vectors for different values of $t$ .

Instead, we will prove the following two facts for any smooth $f\in\mathcal{O}U$ — here “smoothness” entails twice differentiability — where $U$ is any neighborhood of $p$ :

$\displaystyle\begin{aligned}(f\circ c)'(0)&=0\\\frac{1}{2}(f\circ c)''(0)&=[X,Y]_p(f)\end{aligned}$

The first indicates that $c'(0)=0\in\mathcal{T}_pM$ . Indeed, if $c'(0)\neq0$ then we could surely find some $f$ which changes in the direction it points, which would give a nonzero value to $(f\circ c)'(0)$ . The second gives the result we’re really after, as Taylor’s theorem applied to $f\circ c$ shows us that

$\displaystyle[X,Y]_p(f)=\frac{1}{2}(f\circ c)''(0)=\lim\limits_{t\to0}\frac{\left[f\circ c\right](t)-\left[f\circ c\right](0)}{t^2}$

And thus the bracket indeed is the second (and lowest) order term in describing the direction of $c$ as it passes through $p$ .

About these ads

June 23, 2011 - Posted by John Armstrong | Differential Topology, Topology

1 Comment »

[...] we’ll prove the assertions we made last time: if and are vector fields with flows and , respectively in some neighborhood of some point , we [...]

Pingback by What Does the Bracket Measure? (part 2) « The Unapologetic Mathematician | June 27, 2011 | Reply

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.

RSS Feeds

RSS - Posts
RSS - Comments
Feedback

Got something to say? Anonymous questions, comments, and suggestions at Formspring.me!
Subjects
Archives

June 2011

M T W T F S S

« May Jul »

1 2 3 4 5

6 7 8 9 10 11 12

13 14 15 16 17 18 19

20 21 22 23 24 25 26

27 28 29 30
Search for:

The Unapologetic Mathematician

Mathematics for the interested outsider