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 
:
\right](v_1,\dots,v_k)=\left[\alpha(f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))](http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+%5Cleft%5B%5Cleft%5Bf%5E%2A%5Calpha%5Cright%5D%28p%29%5Cright%5D%28v_1%2C%5Cdots%2Cv_k%29%3D%5Cleft%5B%5Calpha%28f%28p%29%29%5Cright%5D%28f_%7B%2Ap%7D%28v_1%29%2C%5Cdots%2Cf_%7B%2Ap%7D%28v_k%29%29&bg=e6e6e6&fg=333333&s=0 "\displaystyle \left[\left[f^*\alpha\right](p)\right](v_1,\dots,v_k)=\left[\alpha(f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))")
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 
, ](http://s0.wp.com/latex.php?latex=%5Cleft%5Bf%5E%2A%5Calpha%5Cright%5D%28p%29&bg=e6e6e6&fg=333333&s=0 "\left[f^*\alpha\right](p)")
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
\right](v_1,\dots,v_k)&=\left[[\alpha+\beta](f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))\\&=\left[\alpha(f(p))+\beta(f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))\\&=\left[\alpha(f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))+\left[\beta(f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))\\&=\left[\left[f^*\alpha\right](p)\right](v_1,\dots,v_k)+\left[\left[f^*\beta\right](p)\right](v_1,\dots,v_k)\end{aligned}](http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Cbegin%7Baligned%7D%5Cleft%5B%5Cleft%5Bf%5E%2A%28%5Calpha%2B%5Cbeta%29%5Cright%5D%28p%29%5Cright%5D%28v_1%2C%5Cdots%2Cv_k%29%26%3D%5Cleft%5B%5B%5Calpha%2B%5Cbeta%5D%28f%28p%29%29%5Cright%5D%28f_%7B%2Ap%7D%28v_1%29%2C%5Cdots%2Cf_%7B%2Ap%7D%28v_k%29%29%5C%5C%26%3D%5Cleft%5B%5Calpha%28f%28p%29%29%2B%5Cbeta%28f%28p%29%29%5Cright%5D%28f_%7B%2Ap%7D%28v_1%29%2C%5Cdots%2Cf_%7B%2Ap%7D%28v_k%29%29%5C%5C%26%3D%5Cleft%5B%5Calpha%28f%28p%29%29%5Cright%5D%28f_%7B%2Ap%7D%28v_1%29%2C%5Cdots%2Cf_%7B%2Ap%7D%28v_k%29%29%2B%5Cleft%5B%5Cbeta%28f%28p%29%29%5Cright%5D%28f_%7B%2Ap%7D%28v_1%29%2C%5Cdots%2Cf_%7B%2Ap%7D%28v_k%29%29%5C%5C%26%3D%5Cleft%5B%5Cleft%5Bf%5E%2A%5Calpha%5Cright%5D%28p%29%5Cright%5D%28v_1%2C%5Cdots%2Cv_k%29%2B%5Cleft%5B%5Cleft%5Bf%5E%2A%5Cbeta%5Cright%5D%28p%29%5Cright%5D%28v_1%2C%5Cdots%2Cv_k%29%5Cend%7Baligned%7D&bg=e6e6e6&fg=333333&s=0 "\displaystyle\begin{aligned}\left[\left[f^*(\alpha+\beta)\right](p)\right](v_1,\dots,v_k)&=\left[[\alpha+\beta](f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))\\&=\left[\alpha(f(p))+\beta(f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))\\&=\left[\alpha(f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))+\left[\beta(f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))\\&=\left[\left[f^*\alpha\right](p)\right](v_1,\dots,v_k)+\left[\left[f^*\beta\right](p)\right](v_1,\dots,v_k)\end{aligned}")
so 
. Also if 
we can check
\right](v_1,\dots,v_k)&=\left[[g\alpha](f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))\\&=\left[g(f(p))\alpha(f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))\\&=g(f(p))\left[\alpha(f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))\\&=\left[f^*g\right](p)\left[\left[f^*\alpha\right](p)\right](v_1,\dots,v_k)\end{aligned}](http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Cbegin%7Baligned%7D%5Cleft%5B%5Cleft%5Bf%5E%2A%28g%5Calpha%29%5Cright%5D%28p%29%5Cright%5D%28v_1%2C%5Cdots%2Cv_k%29%26%3D%5Cleft%5B%5Bg%5Calpha%5D%28f%28p%29%29%5Cright%5D%28f_%7B%2Ap%7D%28v_1%29%2C%5Cdots%2Cf_%7B%2Ap%7D%28v_k%29%29%5C%5C%26%3D%5Cleft%5Bg%28f%28p%29%29%5Calpha%28f%28p%29%29%5Cright%5D%28f_%7B%2Ap%7D%28v_1%29%2C%5Cdots%2Cf_%7B%2Ap%7D%28v_k%29%29%5C%5C%26%3Dg%28f%28p%29%29%5Cleft%5B%5Calpha%28f%28p%29%29%5Cright%5D%28f_%7B%2Ap%7D%28v_1%29%2C%5Cdots%2Cf_%7B%2Ap%7D%28v_k%29%29%5C%5C%26%3D%5Cleft%5Bf%5E%2Ag%5Cright%5D%28p%29%5Cleft%5B%5Cleft%5Bf%5E%2A%5Calpha%5Cright%5D%28p%29%5Cright%5D%28v_1%2C%5Cdots%2Cv_k%29%5Cend%7Baligned%7D&bg=e6e6e6&fg=333333&s=0 "\displaystyle\begin{aligned}\left[\left[f^*(g\alpha)\right](p)\right](v_1,\dots,v_k)&=\left[[g\alpha](f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))\\&=\left[g(f(p))\alpha(f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))\\&=g(f(p))\left[\alpha(f(p))\right](f_{*p}(v_1),\dots,f_{*p}(v_k))\\&=\left[f^*g\right](p)\left[\left[f^*\alpha\right](p)\right](v_1,\dots,v_k)\end{aligned}")
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
&=\left[(\alpha^1\wedge\dots\wedge\alpha^k)\circ f\right](f_{*p}v_1,\dots,f_{*p}v_k)\\&=\det\left(\left[\alpha_i\circ f\right](f_{*p}v_j)\right)\\&=\det\left(\left[f^*\alpha_i\right](v_j)\right)\\&=\left[(f^*\alpha_1)\wedge\dots\wedge(f^*\alpha_k)\right](v_1,\dots,v_k)\end{aligned}](http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Cbegin%7Baligned%7D%5Cleft%5Bf%5E%2A%28%5Calpha%5E1%5Cwedge%5Cdots%5Cwedge%5Calpha%5Ek%29%5Cright%5D%28v_1%2C%5Cdots%2Cv_k%29%26%3D%5Cleft%5B%28%5Calpha%5E1%5Cwedge%5Cdots%5Cwedge%5Calpha%5Ek%29%5Ccirc+f%5Cright%5D%28f_%7B%2Ap%7Dv_1%2C%5Cdots%2Cf_%7B%2Ap%7Dv_k%29%5C%5C%26%3D%5Cdet%5Cleft%28%5Cleft%5B%5Calpha_i%5Ccirc+f%5Cright%5D%28f_%7B%2Ap%7Dv_j%29%5Cright%29%5C%5C%26%3D%5Cdet%5Cleft%28%5Cleft%5Bf%5E%2A%5Calpha_i%5Cright%5D%28v_j%29%5Cright%29%5C%5C%26%3D%5Cleft%5B%28f%5E%2A%5Calpha_1%29%5Cwedge%5Cdots%5Cwedge%28f%5E%2A%5Calpha_k%29%5Cright%5D%28v_1%2C%5Cdots%2Cv_k%29%5Cend%7Baligned%7D&bg=e6e6e6&fg=333333&s=0 "\displaystyle\begin{aligned}\left[f^*(\alpha^1\wedge\dots\wedge\alpha^k)\right](v_1,\dots,v_k)&=\left[(\alpha^1\wedge\dots\wedge\alpha^k)\circ f\right](f_{*p}v_1,\dots,f_{*p}v_k)\\&=\det\left(\left[\alpha_i\circ f\right](f_{*p}v_j)\right)\\&=\det\left(\left[f^*\alpha_i\right](v_j)\right)\\&=\left[(f^*\alpha_1)\wedge\dots\wedge(f^*\alpha_k)\right](v_1,\dots,v_k)\end{aligned}")
Thus 
preserves the wedge product as well, and thus gives us a degree-zero homomorphism of the exterior algebras.
Like this:
Like Loading...
July 13, 2011 -
Posted by John Armstrong |
Differential Topology, Topology
[...] 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 |