B4.4
Part II, 2003
Define the 'pull-back' homomorphism of differential forms determined by the smooth map and state its main properties.
If is a diffeomorphism between open subsets of with coordinates on and on and the -form is equal to on , state and prove the expression for as a multiple of .
Define the integral of an -form over an oriented -manifold and prove that it is well-defined.
Show that the inclusion map , of an oriented -submanifold (without boundary) into , determines an element of . If and , for and fixed in , what is the relation between and , where is the fundamental cohomology class of and is the projection onto the first factor?