For a smooth map F:N→M between manifolds, M,N there exists a pullback map of differential forms F∗:Ω(M)→Ω(N).
Pull back operator F∗ has a pleasant property. It commutes with d operator. For closed forms,
d(F∗ω)=F∗(dω)=0
Thus it maps closed forms from M to closed forms in N.
Similarly,
F∗ω=F∗d(η)=dF∗η for any exact form ω=dη.
Thus it maps exact forms to exact forms.
F∗ induces a cohomology map
F#:Hk(M)→Hk(N) given by
F#(ω)=[F∗ω].
F#(ω)=[F∗ω].
What is nice about this is that diffeomorphism between manifolds N→M results in isomorphic vector spaces between N and M.
No comments:
Post a Comment