What Are the Functions and Applications of the Lie Derivative?

[Terilien]

i was curious as to what exactly this is and more importantly, what motivates it. what are its applications?

 

[ObsessiveMathsFreak]

Vectors to a surface/manifold lie in the tangent spaces to the surface. Each tangent space is a vector space with the same dimension as the manifold(most of the time), and you can add and subtract vectors etc without leaving this tangent space.

However, what happens if you take the derivative of a vector field on the surface in a direction along the surface. In other words if \mathbf{v} is teh vector field and \mathbf{w} is the direction, then the rate of change of \mathbf{v} in the direction of \mathbf{w} is:

\nabla_{\mathbf{w}} \mathbf{v}

The result of this operation is a vector, but in general, in fact nearly always, this vector will not lie in any tangent space to the manifold. You might say, so what. After all if the manifold is embedded in a higher dimensional space we can still consider such vectors as normal. However, for one reason or another in differential geometry, people prefer not to think of the manifold as being embedded in a higher dimensional space, and instead having intrinsic properties. This point of view runs straight into a problem when it turns out that in general, second derivatives lie "outside" the surface and are no intrinsic.

The Lie derivative offers a way out of this dilemma. As it turns out if you compute
\nabla_{\mathbf{w}} \mathbf{v}-\nabla_{\mathbf{v}} \mathbf{w}

Then by a great stroke of luck, the final result is always in the tangent space to the manifold. Those terms that point the vector out of the tangent space and into higher dimensional space cancel out and you are left with a vector that lies soley in the tangent space. Hence you have a sort of "intrinsic second derivative" and can once again pretend that the higher dimensional space does not matter/exist (sometimes it in fact really may not exist at all!)

To sum up, the Lie derivatibe is useful for the following two reasons:
1) It is a second derivative
2) It is always in the tangent space

 

[explain]

Sorry, but the Lie derivative is a first derivative rather than a second derivative.
Also, the covariant derivative is also always in the tangent space.

I think the real reason the Lie derivative is useful is because it represents the action of the flow of a vector field. A vector field on a manifold generates a flow (a diffeomorphism) which transports points and thus also transports every vector and tensor. The Lie derivative \mathcal{L}_\mathbf{v}\mathbf{u} measures the change in a given vector field \mathbf{u} with respect to what this vector field would have been were it transported by the flow of \mathbf{v}.

 

[Chris Hillman]

Some reliable sources

Unfortunately, OMF got many things wrong in his reply. Anyone interested would do well to consult a good textbook, such as the ones suggested here:
http://math.ucr.edu/home/baez/RelWWW/HTML/reading.html#mathback
See in particular Flanders, Differential Forms, with Applications to the Physical Sciences and John M. Lee, Introduction to Smooth Manifolds. The book by Nakahara, Geometry, Topology and Physics can also be useful for keeping all those definitions sorted. The Wikipedia can sometimes be useful for "advanced math" topics such as http://en.wikipedia.org/wiki/Lie_derivative but printed textbooks are far more reliable than anything you'll find on the web. Given the delicacy of mathematical reasoning, IMO a serious math student would be foolish to choose less reliable sources when better ones are as close as the local math library (or an on-line bookseller).

 

[Hurkyl]

i was curious as to what exactly this is and more importantly, what motivates it. what are its applications?

Well, as its name suggests, it's a derivative. Directional derivatives were very useful in calculus, weren't they? So you can surely appreciate that a notion of directional derivative would be useful when doing calculus on a manifold.

(X and Y will denote tangent vector fields)

I suppose the only mystery is why the Lie derivative of X w.r.t. Y should be [Y, X]; we already know what the derivative of a scalar is, and we can define the derivative of higher tensors with the product rule. (And with the metric, if we really want to differentiate cotangent vector fields, and tensors built from them)

I suppose you could work it out from the notion that it should be a "directional derivative" -- I'm lazy, and I will invoke the fact that derivatives are intimately tied to antisymmetry, and there is a natural antisymmetric product of vector fields: if I represent X and Y as differential operators, then [Y, X](f) = (YX - XY)(f). (Multiplication here is composition, as you might expect) And happily, the higher derivatives cancel, so that [Y, X] is a vector field.

 

[ObsessiveMathsFreak]

Apologies to all. I hadn't had my coffee before writing that post ! And I was working from (my poor) memory.

I've used the nabla symbol to mean the whole derivative in the embedding space, forgetting that in differential geometry, it is used to denote only the part derivative that is in the tangent space.

And I should have clarified that the Lie derivative is a second derivative of "functions" on the manifold, not of vectors. It is a first derivate of vector fields, which are themselves first derivatives of functions.

I'll fix the symbols in that post once I've confirmed what the symbol for the whole derivative is supposed to be.

 

[Chris Hillman]

First or second order?

I should have clarified that the Lie derivative is a second derivative of "functions" on the manifold, not of vectors. It is a first derivate of vector fields, which are themselves first derivatives of functions.

OMF, this is still misleading IMO. By definition, the Lie derivative takes a vector fields to a new vector field. A vector field takes a function to a new function. Levels of structure are well explained in textbooks like Boothby or Lee, and should not be confused.

Even worse, I think you are missing the point. To compute the Lie derivative in terms of a coordinate basis, traditionally one says something like this: set A = a \, \partial_x, \; B = b \, \partial_x where a, \, b are certain smooth functions, the "components" of the vector fields wrt \partial_x (you can add more dimensions if desired) and compute the effect of [A,B] on an arbitrary smooth function:
[A, \, B] \, f = A \, B \, f - B \, A \, f = a \, \partial_x \left( b \, f_x \right) - b \, \partial_x <br /> \left(a \, f_x \right)
<br /> \hspace{2cm} <br /> = a \, b_x \, f_x + a \, b \, f_{xx} - b \, a_x \, f_x - a \, b \, f_{xx} <br /> = \left( a \, b_x - b \, a_x \right) f_x<br />
But f was arbitrary, so
L_A \, B = \left[ A, \, B \right] = \left( a \, b_x - b \, a_x \right) \, \partial_x
(Some authors use the opposite sign in defining the Lie derivative.) That is, the component of [A,B] wrt \partial_x is
a \, b_x - b \, a_x
In conventional tensor analysis, this is written
<br /> [A, \, B] = \left( A^n \, {B^m}_{,n} - B^n \, {A^m}_{,n} \right) \; \partial_{x^m} <br />
See for example Boothby, An Introduction to Differentiable Manifolds and Riemannian Geometry, 2nd ed., Academic Press, 1986. So like any other vector field, L_A \, B is in fact a first order homogenous linear differential operator on functions.

 

[garrett]

http://deferentialgeometry.org/#[[Lie derivative]]

 

[DeadWolfe]

Why is Differential misspelled in the name of your website?

 

[explain]

http://deferentialgeometry.org/#[[Lie derivative]]

nice site design - but extremely complicated notation...

 

[ObsessiveMathsFreak]

OMF, this is still misleading IMO. By definition, the Lie derivative takes a vector fields to a new vector field. A vector field takes a function to a new function. Levels of structure are well explained in textbooks like Boothby or Lee, and should not be confused.

If vectors are considered to be derivatives, then surely the derivative of a vector is in some sense a second derivative. It's construction is such that it lies in the tangent plane, and therefore is itself "only" a first derivative. But you did have to take a second derivative to get it, so it is in some sense a degenerate second derivative.

But, I'm not entirely solid with all the concepts in differential geometry so I won't labour this point. It made sense to me at the time to justify its construction in this way, because there didn't seem to be much use for it in and of itself, and it's use as a poisson bracket seems to only be of much use in 2n phase spaces. It seems to me to be more than just a simple first derivative, or a first derivative with some additional properties.

As my appeal to authority for the day, In Mathematical Methods of Classical Physics, Arnold originally constructs the Lie Derivative as the second order ,mixed, partial derivative of a function on the manifold. He does later point out that it is a first order operator though, and goes on from this to point out that because of this Lie differentiation as an operator turns vector fields into a group. But what use all this is, I'm not sure.

nice site design - but extremely complicated notation...

The maintainer of that site is undergoing an attempt to fix differential geometry notation, which is admittedly broken. Wish him well.

 

[Chris Hillman]

This is getting tiresome...

As my appeal to authority for the day, In Mathematical Methods of Classical Physics, Arnold originally constructs the Lie Derivative as the second order ,mixed, partial derivative of a function on the manifold. He does later point out that it is a first order operator though, and goes on from this to point out that because of this Lie differentiation as an operator turns vector fields into a group. But what use all this is, I'm not sure.

That's because you entirely missed the point of what Arnold was trying to tell you, which is the same thing I am trying to tell you: yes, prima facie you'd expect [A, \, B] to give a second order operator, which would prevent it from being a vector field, since vector fields are first order linear homogeneous operators. So it is a surprise that the bracket gives a vector field. IOW, B \mapsto L_A \, B takes a vector field to a vector field, rather than to something more mysterious.

And while I don't have that book in front of me, I've read it and I'll bet that if you read whatever you glanced at more carefully, you'll find that he says that the real vector fields on M form a Lie algebra (not a Lie group!) under the bracket.

 

[ObsessiveMathsFreak]

That's because you entirely missed the point of what Arnold was trying to tell you, which is the same thing I am trying to tell you: yes, prima facie you'd expect [A, \, B] to give a second order operator, which would prevent it from being a vector field, since vector fields are first order linear homogeneous operators.

The fact that the second derivative terms canceled out in the Lie derivative did not escape me. Nevertheless, the fact remains that second derivatives were taken in order to compute it. The higher derivatives canceled to leave only first order terms, which was the whole point of the operation, but nonetheless the derivative can be regarded as one of second order, albiet a degenerate case. If your functions are once but not twice differentiable, you will not be able to obtain the Lie derivative, despite being able to obtain the vector derivative.

If the Lie derivative is simply just another first order vector field, there seems to be little point to it beyond the usual opaqueness. I looked at it as a the "best worst choice" for an intrinsic second derivative, because it seemed to serve little other function besides notational convienience. This may be a matter of complete pedantics, but it makes sense to me to regard it as such.

Edit: For some bizarre reason, I can't edit that second post anymore. In any case, it may not be such a dredful loss as the notation for the derivative of one vector in the direction of asnother turned out to be:
\mathbf{w}(\mathbf{v})

 

[Hurkyl]

If your functions are once but not twice differentiable, you will not be able to obtain the Lie derivative, despite being able to obtain the vector derivative.

Huh? The Lie derivative of a scalar field exists for any once-differentiable function. The Lie derivative of a tangent vector field doesn't involve scalar fields at all. So just what do you mean?

In case it's relevant, I would like to point out that if X and Y are once-differentiable tangent vector fields, and f is a once-differentiable scalar field, then

[X, Y](f)​

exists, even if f is not twice-differentiable.

If the Lie derivative is simply just another first order vector field, there seems to be little point to it beyond the usual opaqueness.

It's a directional derivative. You think directional derivatives are pointless? And what is this "opaqueness" of which you speak? And why is it a bad thing, as you seem to imply?

 

[ObsessiveMathsFreak]

Huh? The Lie derivative of a scalar field exists for any once-differentiable function. The Lie derivative of a tangent vector field doesn't involve scalar fields at all. So just what do you mean?

That's not my understanding from the derivation. As derived above

[A, \, B] \, f = A \, B \, f - B \, A \, f = a \, \partial_x \left( b \, f_x \right) - b \, \partial_x <br /> \left(a \, f_x \right)
<br /> \hspace{2cm} <br /> = a \, b_x \, f_x + a \, b \, f_{xx} - b \, a_x \, f_x - a \, b \, f_{xx} <br /> = \left( a \, b_x - b \, a_x \right) f_x<br />

The second derivatives ordinarily cancel. But if the second derivative does not exist, then there is no defined way to cancel the terms. For example let

f(x) = x^{\frac{3}{2}}]
f(x) =\frac{3}{2} x^{\frac{1}{2}}
f(x) = \frac{3}{4}x^{-\frac{1}{2}}

Using the final derived formula \left( a \, b_x - b \, a_x \right) f_x gives
the Lie derivative to be zero at x=0. However, the derivation from the line above requires that we are able to evaluate and then find the difference of the two second derivative terms. We cannot do this at x=0 and so you can see that the final derived formula for the Lie derivative is not always correct. This is similar to the problem of not being able to evaluate the value of
f(x)=\frac{x-1}{x-1}
at x=1, despite the fact that it seems to have the value 1 because of the cancellation of terms.

You can get around this for many functions by introducing generalised functions, however, the very fact that you need to do this, when no problem exists for first derivatives, indicates that there is more to the Lie derivative than simply being another first derivative.

I suppose you could also get around it by defining the Lie derivative to be the final formula, but if you do this I think the meaning will be irrevocably lost.

It's a directional derivative. You think directional derivatives are pointless? And what is this "opaqueness" of which you speak? And why is it a bad thing, as you seem to imply?

Introducing news ones would be if they are serving no purpose. To be honest I've never come across a differential geometry text that actually uses the Lie derivative as anything other than notational compression, so I'm not sure exactly what use it is in practice. As to the opaqueness, I'm referring to the usual listing of properties, Jacobi identity,etc , which while interesting to know, offer no insight into what this derivative actually does, or what it is used for, which is probably why the original question was asked in the first place.

 

[Doodle Bob]

...To be honest I've never come across a differential geometry text that actually uses the Lie derivative as anything other than notational compression, so I'm not sure exactly what use it is in practice...

I completely understand this impression re: Lie derivatives, OMF. The role of Lie derivatives is often understated in the literature. My experience has been that its importance (and it is *very* important) gets passed on more verbally than any other way.

First of all, the usual method definition that is causing this once-or-twice-differentiability problem, is actually the "wrong" definition. The "correct" definition was mentioned (somewhat wrongly -- flows are a *path* of local diffeomorphisms) by explain: it's the instantaneous rate of change of the second vector field along the flow of the first vector field. Using this definition, one sees that L_X Y is well-defined for C^1 vector fields.

One also sees that this is indeed a dynamics object. Intuitively, it measures how the flows of the two vector fields interact at any given point. It'll be zero at a point, if the two flows commute "instantaneously" at that point.

The importance of [,] comes from Frobenius' Theorem, which tells us when a given distribution of vector fields in a manifold can be "integrated" to form the tangent bundle of a submanifold. This is a really, really, really important theorem. But, depending on the text you're reading, that importance is not always evident.

 

[explain]

If the Lie derivative is simply just another first order vector field, there seems to be little point to it beyond the usual opaqueness. I looked at it as a the "best worst choice" for an intrinsic second derivative, because it seemed to serve little other function besides notational convienience. This may be a matter of complete pedantics, but it makes sense to me to regard it as such.

Your question seems to be that math books explain how to define the Lie derivative but not why it is defined in this way, and also they do not explain why this construction is useful at all. (It seems that you meant this by the words "usual opaqueness".) It was also my impression that in many books on general relativity people introduce the Lie derivative, differential forms, etc., but then never use them in actual calculations, except maybe using the Lie derivative to formulate the condition for the Killing vector field (but never actually calculating anything with the Lie derivative itself).

As far as I understand, the Lie derivative is useful mainly because it represents the infinitesimal action of the flow of a vector field. A vector field on a manifold generates a flow (a diffeomorphism) which transports points along the flow lines. Since vectors are "arrows between nearby points" and tensors are defined through vectors, the flow also transports every vector and tensor. This is a very natural construction, defined independently of any metric on the manifold.

Now suppose we are given a vector field \mathbf{v} and we want to compute its derivative in a direction given by a vector \mathbf{u} at some point p. The vector \mathbf{u} is an arrow from the point p towards a neighbor point p&#039;. But we can't simply compute the derivative as \mathbf{v}(p&#039;)-\mathbf{v}(p), because the vectors \mathbf{v}(p) and \mathbf{v}(p&#039;) are in tangent spaces at different points. Somehow we need to transport \mathbf{v}(p&#039;) into the tangent space at p. Let us transport it using the flow of \mathbf{u}. Note that we need to use an entire vector field \mathbf{u}, not just its value at the point p. The result is the Lie derivative \mathcal{L}_\mathbf{u} \mathbf{v}. So the Lie derivative is the "flow derivative" in this sense.

The Lie derivative is useful in many computations, if one tries to avoid using index notation and tries to concentrate on the geometric meaning of every object in a computation. For instance, I can list the following good uses of the Lie derivative in general relativity:

1) A formula for the Levi-Civita connection can be written through the Lie derivative, the exterior differential, and the metric. In this way, one has an explicit representation of the covariant derivative through the metric combined with the metric-free operations (exterior differential and the Lie derivative).

g(\nabla _x v, y)=\frac{1}{2} (d \hat{g} v) (x,y) + \frac{1}{2} (\mathcal{L}_v g)(x,y).

Here \hat{g}v is the 1-form corresponding to the vector v through the metric g.

This formula is easier to derive than the standard Koszul formula.
Then one can easily analyze various cases (integrable or geodesic Killing vectors, etc.)

2) The equation of motion for a particle in curved spacetime can be derived quickly using the Lie derivative. (No Christoffel symbols needed!)

3) The Raychaudhury equation in general relativity is about the rate of change of volume under a diffeomorphism. The Lie derivative is a natural starting point for the derivation.

4) Killing vectors can be computed in tetrad formalism easily if one uses the Cartan homotopy formula,

\mathcal {L}_v = \iota_v d + d \iota_v

5) An infinitesimal gauge transformation in GR (i.e. infinitesimal change of coordinates) can be easily written through the Lie derivative. Calculations with gauge transformations are then also simplified.

These are just the examples that I can find now.

Unfortunately, the style of many books in mathematics is that "here are some definitions and constructions - first learn them all and then we'll talk". It is assumed that the reader will figure out what these definitions mean and why these constructions are useful. "Lie derivative is the operator L satisfying the following properties... The reader will prove in an exercise that the operator L is unique." This is similar to telling students at grade school that "Numerical fractions, such as 8/3, are equivalence classes on pairs of integers, with the following axioms... Now let us prove that every fraction has a unique canonical form." Understandably, this style leads to frustration for many students.

 

[Doodle Bob]

...A vector field on a manifold generates a flow (a diffeomorphism) ...

Careful: a flow is a path of local diffeomorphisms.

 

[explain]

Careful: a flow is a path of local diffeomorphisms.

Yes, I agree that strictly speaking this is what one should say. One can follow the flow lines for a finite value of the flow parameter and get a single specific diffeomorphism, so the "entire flow" is a set of many diffeomorphisms.

 

[Chris Hillman]

Actually, I agree with Doodle Bob and explain, who made some good points deprecating the definition I quoted. The textbooks I cited use the general definition, of course, and then discuss circumstances under which the formula I used will work. I also agree with the value of motivating important theorems/definitions. Many "old school" textbook authors prefer to leave this to the instructor as a courtesy, which makes sense if one assumes the readers are in fact traditional students. But of course inquiring posters here are often not traditional students. In another thread I cited a textbook by Hatcher which is a good example of a textbook which tries very hard to motivate the definitions.

 

[mathwonk]

from reading briefly on the internet, it seems the lie derivative is a way of taking the derivative of one vector field with respect to another.

hence it seems believable that there are applications to fuild flows and "plasma", as one does find.

detailed arguments about what order of derivative it is or other niceties, seem futile.

now that i have read explains post, he makes it seem clear the definition is the only possible thing, and quite natural.

his explanation also makes it seems clear that the lie derivTIVE OF V ALONG V IS ZERO, AND ALSO THE LIE DERIVATIVE OF ANY vector field along V is zero where V is zero.

 

[mathwonk]

i fact explain ahs made it so clear, i am beginning tof eel i get it for te first time.

the role of the directional vector field is compkletekly different from that of the filed being diffrentiated. lie differentiation in the direction of V is done by using the flow of V to identify nearby tangent spaces.

of course if V(p) = 0, the flow does not flow, so all derivatives in the direction of V are zero, iff V(p) = 0.

now if V(p) is not zero there is a flow, or local one parameter family of diffeomorphisms, that identifies a nbhd of p with euclidean space, AND simultaneously identifies the vector field V to the constant vector field in the direction of e1 say.

thus obviously DV,V(p) = 0 since under this identification V is constant.

this apparently is the antisymmetric property of DV.

However, once we have identified our amnifold with R^n and our vector field with e1, we can differentiate anything along V, as explain said.

i.e. lie differentiation is an operation DV that can be performed on anything, not just another vector field, but on functions, vectors fields, tensor fields, anything at all.so lies construction is just a way of taking a given vector field and looking at it as the constant vector field in a given direction. then the lie derivative of anything in that direction becomes the dircvtional derivative in the direction of e1.

i.e. we are asking how our object changes along V, in comparison to how V changes, i,.e. changing the same as V does, is being constANT.

so one can take derivatives if one has coordinates, but to take a directional derivative one only needs one coordinate direction, and a vector field gives you that.

oh by the way this is the fundamentalkt heorem of ode, that a non zero evc tor field is locally trivial, so people who wanted to know if they should study differentiale quations, the answer is yes, provided they always ask what is the geometry of the diff eq they are studying.

thank you explain. i have never studied this subject before, but have perused formal definitions which meant nada to me. but with an explanation like yours, one can understand it in ones own terms, i.e. intuitively.

thats what i call an explanation. you are well named.

 

[explain]

mathwonk
In your post there are many statements, but let me add just one word of correction: if V(p)=0 at one point, it doesn't mean that the flow does not flow. It just does not flow at this one point p, but it might flow already in an infinitesimal neighborhood. So the Lie derivative of some tensor with respect to V might still be nonzero.

Thank you for your kind words. When I was a student I was eternally frustrated with formal definitions because it always took so much work to figure out what they really mean. I was always asking myself - why define this and not some other thing? "An operator L satisfies properties XYZ" ok, so why not define 50 more operators satisfying 150 other strange properties? The answer always is that the operator L is important for something and was introduced for good reasons, while the other 50 operators are useless, but this kind of information is not always found in books. For some people, these questions are not interesting and the only interesting questions are "how to calculate it" or "just give me the definition". For other people, nothing is clear - the memory resists - until they understand the reason for introducing a new concept. There are some books that are heavy on conceptual explanations. For example:M. Stone, Mathematics for physics (2 volumes). But most books aren't interested in that. Maybe this is because it's a lot easier to copy the definitions from other books than to come up with visual exlpanations and motivation for everything. I only came up with the idea about explaining the Lie derivative a few years ago; lots of people know what I wrote in my post above, but for some reason not many books say this.

 

[mathwonk]

so if the vector field is zero at p, it does not mean the flow is contant at p?

 

[explain]

so if the vector field is zero at p, it does not mean the flow is contant at p?

No, not necessarily. Consider a simple example of a flow: suppose that the flow goes around in circles, with all circles centered at one point. The vector field corresponding to this flow might have components (y, -x) in Cartesian coordinates. Then there is no flow strictly at the center, but there is already a little bit of flow infinitesimally close to the center. Vectors at the center are rotated by the flow.

 

[Doodle Bob]

so if the vector field is zero at p, it does not mean the flow is contant at p?

actually, yes, it does mean that:

let X be the vector field in question such that X(p)=0.

By definition the flow is the unique path of local diffeomorphims f_t given pointwise in the domain of X by the differential equation (d/dt)(f_t (q))=X(q) when t=0 with initial condition that f_0(q)=q at all points q in the domain of X.

Clearly, if X(p)=0, then f_t(p)=f_0(p)=p.

This is the reason why I kept pointing out that the flow is a path of diffeomorphisms, not just one diffeo. For explain's attempted counterexample, the flow is simply the path of rotations about the origin on the plane, all of which of course fix the origin.

 

[mathwonk]

explain seems to be arguing that even though the flow fixes the origin that it does not induce the identity on the tangent space there.

 

[Doodle Bob]

explain seems to be arguing that even though the flow fixes the origin that it does not induce the identity on the tangent space there.

he's right about the action of the flow on the tangent bundle at the origin. but he also says that "there is no flow strictly at the center" which is incorrect.

the flow of the v.f. X=(-y,x) is easy to describe:
f_t(x,y)=((cos t) x - (sin t) y, (sin t) x + (cos t) y).

in fact, calculating flows is kind of fun, try it yourself:

1. In R^3, set X=(1, 0, y). Calculate the flow f_t
2. Set Y=(0, 1, -x). Calculate the flow g_t
3. Calculate [X,Y] and compare that with the path of
diffeomorphisms given by
g_{-t} circ f_{-t} circ g_{t}circ f_{t}

 

[mathwonk]

i am still a little behind, but the point i was missing is that a diffeomorphism defines a tangent bundle isomorphism, and at a fix point of the diffeomorphism, the tangent space map can be almost anything, not necessarily the identity.

indeed its behavior reflects the geometry of the vector field and flow near the point. its eigenvalues help describe the geometry of the flow, and in the case of the flow associated to the gradient say of a morse function, even the geometry of the manifold.

 

[Doodle Bob]

explain seems to be arguing that even though the flow fixes the origin that it does not induce the identity on the tangent space there.

having re-read explain's posting, i now understand what he meant by "there is no flow": literally, no 0th order movement at p, just 1st order movement. so, i was wrong in asserting explain's inaccuracy.

your exposition regarding the use of the flows of a vectro field to describe the geometry of a given manifold is exactly right.