Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-50/1/b/ii/solution

A type covariant tensor is a multilinear form on vectors. For arbitrary , the pullback of a covariant tensor is
Projection of all covariant slots means . Since every pushed-forward vector is already tangential,
Equality on all arguments proves . No antisymmetry is needed: this holds for every covariant tensor, not only for differential forms.

New to topics? Read the docs here!