## Pulling Back Forms

We’ve just seen that smooth real-valued functions are differential forms with grade zero. We also know that functions pull back along smooth maps; if is a smooth function on an open subset and if is a smooth map, then is a smooth function — .

It turns out that all -forms pull back in a similar way. But the “value” of a -form doesn’t only depend on a point, but on vectors at that point. Functions pull back because smooth maps push points forward. It turns out that vectors push forward as well, by the derivative. And so we can define the pullback of a -form :

Here is a -form on a region , is a point in , and the are vectors in . Since the differential is a linear function and is a multilinear function on , is a multilinear function on , as asserted.

This pullback is a homomorphism of graded algebras. Since it sends -forms to -forms, it has degree zero. To show that it’s a homomorphism, we must verify that it preserves addition, scalar multiplication by functions, and exterior multiplication. If and are -forms in , we can check

so . Also if we can check

As for exterior multiplication, we will use the fact that we can write any -form as a linear combination of -fold products of -forms. Thus we only have to check that

Thus preserves the wedge product as well, and thus gives us a degree-zero homomorphism of the exterior algebras.

[…] now we know how to translate -forms by pulling back, and thus we can define another Lie […]

Pingback by The Lie Derivative on Forms « The Unapologetic Mathematician | July 13, 2011 |

[…] seen that if is a smooth map of manifolds that we can pull back differential forms, and that this pullback is a degree-zero homomorphism of graded algebras. But […]

Pingback by Pullbacks on Cohomology « The Unapologetic Mathematician | July 21, 2011 |

[…] How shall we define the “integral” of over ? The most natural thing in the world is to pull back the form along to get a -form on . Then we can […]

Pingback by Integration on Singular Cubes « The Unapologetic Mathematician | August 3, 2011 |

[…] find this pullback of we must work out how to push forward vectors from . That is, we must work out the derivative of […]

Pingback by An Example (part 3) « The Unapologetic Mathematician | August 24, 2011 |

[…] is orientable — we can just use to orient — and given a choice of top form on we can pull it back along to give an orientation of […]

Pingback by Compatible Orientations « The Unapologetic Mathematician | August 29, 2011 |

[…] further, let’s say we have a compactly-supported -form on . We can use to pull back from to . Then I say […]

Pingback by Integrals and Diffeomorphisms « The Unapologetic Mathematician | September 12, 2011 |

[…] manifold to another so that we can compare them, but we’ve seen one case where we can do it: pulling back differential forms. This works because differential forms are entirely made from contravariant vector fields, so we […]

Pingback by Isometries « The Unapologetic Mathematician | September 27, 2011 |

[…] take to be an orientation-preserving embedding — a singular cube of top dimension. Then the pullback for some strictly-positive function . We conclude […]

Pingback by Compact Oriented Manifolds without Boundary have Nontrivial Homology « The Unapologetic Mathematician | November 24, 2011 |

[…] forms — together with the exterior derivative — gives us a chain complex. Since pullbacks of differential forms commute with the exterior derivative, they define a chain map between two […]

Pingback by The Poincaré Lemma (setup) « The Unapologetic Mathematician | December 2, 2011 |

Great post! Are you working with duals here? Because my professor changed the whole theory to work on duals. I mean, when you write is different from , right? Is there any shortcut to use everything you’re doing here, but using duals instead? Because these posts are really clear!

Comment by aaronmaroja | October 1, 2015 |

Okay, so 1-forms are dual to tangent vector fields. The tangent bundle (with fiber over a point ) is covariant, meaning that a map induces a “push-forward” map that acts as a linear transformation on each fiber . This is exactly the differential ; it takes a point and a tangent vector at and gives a tangent vector at the point we write in general as . In one dimension this looks more familiar: . In higher dimensions it’s basically the chain rule.

Just like a vector field is a (smooth) choice of a vector at each point, a 1-form is a (smooth) choice of a covector at each point. The bundle of covectors is is contravariant, meaning that induces a “pull-back” map . In fact, this doesn’t just work for 1-forms; it works for differential forms of any degree. The definition for -forms is the first display-set equation in the post above. Basically it defines the pull-back of a -form on (which should be a -form on ) by its value on tangent vectors on . The natural thing to do is push those vectors

forwardto vectors on , and evaluate the original -form on them there. This is a pretty common construction when dealing with dualities like 1-forms and vector fields.In general, there’s not a “natural” map induced by a map ; the natural map goes the other way, just like there’s no natural pull-back on vectors induced by .

However, if you equip both bundles with a metric — and if you’re always thinking of these manifolds as sitting inside regular -dimensional space you get a metric induced from that inclusion — then you can use that to change vectors into covectors and vice versa. In that case, you do get a push-forward on differential forms. The catch is, the choice of metric is a choice of how to measure lengths of tangent vectors, and angles between tangent vectors to the same point. That says a lot about the “shape” of your space, and puts you into the realm of differentialgeometry; everything I’m doing here is without a choice of metric, and is differentialtopology. That might explain the difference.As for and , I’m dealing here with the sheaf of smooth sections of the bundles of forms and functions. That is, given an open subset we consider the algebra of smooth real-valued functions on and call this algebra . In a small enough , you can think of this as “smooth slices” of the product space . Similarly, is the space of smooth -forms defined on , which is a module over the algebra . The important thing here is that we’re not just considering one stalk over one point at a time, but all the stalks over all the points , and that the choice of a point in each stalk must be “smooth” as we vary .

Comment by John Armstrong | October 1, 2015 |

Thank you very much for your time.

Comment by aaronmaroja | October 2, 2015 |

Sorry if I’m not familiar with your notation. I couldn’t find where you define those objects , , etc.

Comment by aaronmaroja | October 1, 2015 |