Geometric intuition about the exterior derivativeLet M be a smooth manifold. One k-form is a section of the bundle ⋀^kT∗M, that is, if p∈M and w is a k-form then ωp is one k-linear alternating real function defined in the cartesian product of k copies of the tangent space at p. Given ц one can then build a new differential k+1 form called the exterior derivative dц. This can be easily defined in a coordinate system (x,U) asdomega = sum_{}domega_{i_1...i_k}\wedge dx^{i_1}\wedge\cdots\wedge dx^{i_k} where wi1…ik are the components of w in the coordinate system (x,U). One then can easily show this definition doesn't depend on the coordinate system chosen. Based on that it is possible to show many properties of the exterior derivative then.Now, the problem is that I simply can't get one geomet

Gaige Haynes

Gaige Haynes

Answered question

2022-09-02

Geometric intuition about the exterior derivative
Let M be a smooth manifold. One k-form is a section of the bundle k T M, that is, if p M and ω is a k-form then ω p is one k-linear alternating real function defined in the cartesian product of k copies of the tangent space at p.
Given ω one can then build a new differential k+1 form called the exterior derivative d ω. This can be easily defined in a coordinate system (x,U) as
d ω = d ω i 1 i k d x i 1 d x i k
where ω i 1 i k are the components of ω in the coordinate system (x,U). One then can easily show this definition doesn't depend on the coordinate system chosen. Based on that it is possible to show many properties of the exterior derivative then.
Now, the problem is that I simply can't get one geometrical intuition on what the exterior derivative is. As I know, a k-form can be thought of as an object which performs measurements on k-vectors, that is, an object capable of measuring projections of k-vectors. This point of view comes from the fact that k V is isomorphic to the space of linear functions on k V.
In that setting, what is the geometrical intuition behind the exterior derivative? Given one k-form how can one understand from one intuitive point of view what its exterior derivative is?

Answer & Explanation

Vicente Macias

Vicente Macias

Beginner2022-09-03Added 15 answers

I want to start with a simple analogy to the (ordinary) derivative. So suppose that ω is a k-form, and X1,…,Xk are vector fields. And for the moment, I want you to imagine that the Xi fields are all "constant near some point p. Now that doesn't really make sense (unless you're in Rn) but bear with me. If p is the north pole, and X1(p) is a vector field that points towards, say, London, then it makes sense to define X1 near p to also point towards London, and those vectors will (in 3-space) all be pretty close to X1(p).
Then we can define a function
f(q)=ω(q)[X1(q),…,Xk(q)]
defined for q near p.
How does f(q) vary as q moves away from p? Well, it depends on the direction that q moves. So we can ask: What is
f(p+tv)−f(p)?
Or better still, what is
f(p+tv)−f(p)t?
especially as t gets close to zero?
That "derivative" is almost the definition of
dω(p)[X1(p),…,Xk(p),v].
There are a couple of problems with that "definition" as it stands:
What if there are multiple ways to extend Xi(p), i.e., what if "constant" doesn't really make sense? Will the answer be the same regardless of the values of Xi near p (as opposed to at p)?
How do we know that dω has all those nice properties like being antisymmetric, etc.?
How does this fit in with div, grad, curl, and all that?
Problems 1 and 2 are why we have fancy definitions of d that make theorems easy to prove, but hide the insight. Let me just briefly attack item 3.
For a 0-form, g, the informal definition I gave above is exactly the definition of the gradient. You have to do some stuff with mixed partials (I think) to verify that the gradient, as a function of the vector v is actually linear in v, and therefore can be write dg(p)[v]=w⋅v for some vector w, which we call the "gradient of g at p."
So that case is pretty nice.
What about the curl? That one's messier, and it involves the identification of every alternating 2-form with a 1-form (because 2+1=3), so I'm going to skip it.
What about div? For the most basic kind of 2-form, something like
ω(p)=h(x,y,z)dx∧dy
and the point p=(0,0,0) and the vector v=(0,0,1), and the two "vector fields" X1(x,y,z)=(1,0,0) and X2(x,y,z)=(0,1,0), we end up looking at
f(p+tv)=h(0,0,t)dx∧dy[(1,0,0),(0,1,0)]=h(0,0,t)
and the difference quotient ends up being just
∂h∂z(0,0,0)
That number tells you how ω′s "response" to area in the xy-plane changes as you move in the z direction.
What's that have to do with the divergence of a vector field? Well, that vector field is really a 2-form-field, and duality has been applied again. But in coordinates, it looks like (0,0,h), and its divergence is exactly the z-derivative of h. So the two notions match up again in this case.
I apologize for not drawing out every detail; I think that the main insight comes from recognizing the idea that the exterior derivative is really just a directional derivative with respect to its last argument...and then doing the algebra to see that it's also a directional derivative with respect to the OTHER arguments as well, which is pretty cool and leads to cool things like Stokes' theorem.
Hrefnui9

Hrefnui9

Beginner2022-09-04Added 2 answers

You can visualize the exterior derivative in terms of a boundary operation. The fact that d d = 0 can then be understood as following from the fact that the boundary of a boundary is empty.
The idea is difficult to explain without pictures, so here's a short PDF that explains the idea and gives some nice diagrams to help you visualize differential forms and the exterior derivative operation in the the Euclidean setting.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Linear algebra

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?