The Unapologetic Mathematician

Mathematics for the interested outsider

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.

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

1 Comment »

  1. […] 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

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: