Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 115 (Differential Geometry)

A smooth real vector bundle of vector bundle rank $r$ consists of a smooth manifold $E$, a smooth projection $\pi :E\to M$, real vector space structures on its fibers, and local vector bundle trivializationsthat commute with projection to $U$ and are linear isomorphisms on each fiber. On overlaps the change of trivialization is $(p,v)\mapsto (p,g_{VU}(p)v)$, with $g_{VU}:U\cap V\to G{L}_r(\mathbb{R})$ smooth into the general linear group. The usual smooth manifold convention is Hausdorff and second countable.

For an $n$-dimensional $M$, take the disjoint union of its tangent spaces. A manifold chart $x:U\to {\mathbb{R}}^n$ suppliesIf $y$ is another chart, the resulting change of coordinates on the total space isThis is smooth, its inverse is the same construction with $x,y$ exchanged, and the fiber map is invertible and linear. Thus these charts define a smooth structure with the required bundle trivializations.

For completeness, the topology so constructed is Hausdorff: different base points can be separated downstairs, while vectors over one point can be separated inside one product chart. A countable base atlas for $M$ and countable bases for its products with ${\mathbb{R}}^n$ give second countability. Hence the total space is genuinely a smooth manifold, not just a collection of fibers. We obtain

The fibers must retain their base labels. In particular, a literal untagged union of fibers in $E$ is not sufficient when $f$ is not injective. Use the pullback vector bundleThis makes precise the indexed-union notation in the PDF. For a vector bundle trivialization ${\Phi }_U(e)=(\pi (e),v)$, defineIt is a fiberwise linear isomorphism, with inverse $(p,v)\mapsto (p,{\Phi }_U^{-1}(f(p),v))$. The transition functions are $g_{VU}\circ f$, hence smooth. They satisfy the same cocycle identities as those of $E$ and give a smooth total space of manifold dimension $\dim N+r$.

One may also see that this is an embedded submanifold of $N\times E$: in a bundle chart the constraint is the graph of the smooth map $f$ in the base coordinates, leaving the $r$ fiber coordinates free. Thus the chart construction agrees with its natural subspace smooth structure. No immersion or surjectivity hypothesis on $f$ is required. Therefore

A vector bundle morphism over $M$ is a smooth map $F:E\to E^{\prime }$ with ${\pi }^{\prime }\circ F=\pi$ whose restriction $E_p\to E_p^{\prime }$ is linear for every $p$. A vector bundle isomorphism is such a map with a smooth bundle-morphism inverse. Equivalently, a fiberwise bijective smooth bundle morphism is an isomorphism: in local vector bundle trivializations it is multiplication by an invertible smooth matrix, and its inverse matrix is smooth.

For a diffeomorphism $f:N\to M$, defineThe derivative $d{f}_p$ is a linear isomorphism by the chain rule, since $d(f^{-1}{)}_{f(p)}\circ d{f}_p=\mathrm{id}$. In manifold charts, $F$ is represented by the smooth Jacobian matrix of $f$, so it is a smooth bundle morphism. Its inverse iswhich is also smooth and fiberwise linear. ConsequentlyThis identifies the bundles over the same base $N$; the tangent map by itself is a map from $TN$ to $TM$ covering $f$.

Under the standard smooth manifold hypotheses, the first answer is yes, although the isomorphism requires a choice. A partition of unity combines Euclidean inner products in manifold charts to produce a Riemannian metric $g$. Nonnegative local weights summing to one preserve positivity, and local finiteness preserves smoothness. The musical isomorphism isIt is smooth and fiberwise invertible, with inverse having local matrix $(g_{ij}{)}^{-1}$. It is therefore a vector bundle isomorphism. There is no preferred such map before a metric or equivalent additional structure is chosen.

The second answer is no. On $S^1=\mathbb{R}/2\pi \mathbb{Z}$, compare the trivial vector bundle $S^1\times \mathbb{R}$ with the Möbius line bundleBoth have rank one. A continuous section of a vector bundle of $L$ is represented on $[0,2\pi ]$ by a continuous function $s$ satisfying $s(2\pi )=-s(0)$. If it were nowhere zero, the intermediate value theorem would prevent its endpoint signs from being opposite. Thus $L$ has no nowhere-zero section. The trivial bundle has the section $1$, and a bundle isomorphism would carry that section to a nowhere-zero section of $L$, a contradiction. Hence

Use the PDF's covector-first convention: its space ${\mathcal{T}}_l^k$ consists of tensor fields inThis reverses the order in which some texts list tensor type. For a finite-dimensional real vector space $V$, define the tensor contraction first on decomposable tensors:The hats mean omission, with the other factors left in their original order. The formula is a multilinear map of its individual factors, so the universal property of a tensor product gives a unique linear map with this formula.

Apply it with $V=T_{p}M$ at every $p$. Evaluation of a covector on a vector is basis independent: under a change of frame, one factor transforms by a matrix and the other by its inverse transpose, and the matrices cancel in the pairing. Thus the fiber maps agree on overlapping vector bundle trivializations. In a local dual basis, the coefficients of the contracted tensor are finite sums of coefficients with the selected covariant and contravariant indices set equal. They remain smooth. Henceis a globally defined smooth contraction for $k,l\ge 1$. It is also linear over $C^{\infty }(M)$.

First establish the scalar Leibniz rule, since it is needed for an extension to all tensor fields. Suppose every component of $M$ has positive dimension. Computing $D(fgY)$ first with scalar $fg$ and then as $f(gY)$ givesAt any point, a smooth cutoff function times a coordinate vector field can be chosen nonzero there. Evaluating the displayed identity provesThus the scalar operator is a derivation of an algebra. Derivations of smooth functions are vector fields, so the scalar operator is differentiation along a unique vector field $Z$; no continuity assumption is needed. Indeed, if $h$ vanishes near $p$, take a smooth cutoff function $\chi$ equal to one near $p$ and supported where $h=0$. The identity $D(\chi h)=(D\chi )h+\chi Dh=0$ gives $Dh(p)=0$. Thus $D$ depends only on the local function germ, so local coordinate functions may be extended with cutoffs before applying it. The local identity $h(x)=h(p)+{\sum }_i(x^i-x^i(p))h_i(x)$ gives $Dh(p)={\sum }_{i}D(x^i)(p){\partial }_{i}h(p)$. Smooth local coefficients $D(x^i)$ define $Z$.

The vector-field operator is local as well. If $Y$ vanishes near $p$, choose a cutoff $h$ equal to one near $p$ with support where $Y=0$. Then $D(hY)=hDY+(Dh)Y$ gives $DY(p)=0$. We can therefore work with local frames without presuming a global frame.

For a differential one-form $\omega$, the only possible contraction-compatible definition isThe scalar product rule and the given vector-field rule show that this is linear over $C^{\infty }(M)$ in $Y$, so it defines a one-form. Its coefficients are smooth by evaluating the formula on local frame fields extended with cutoffs. It is real-linear in $\omega$, and direct substitution gives $D(f\omega )=fD\omega +(Df)\omega$.

The original PDF's hint has a transpose error. If $D{e}_i={\sum }_j{a}_{ij}{e}_j$ for $e_i=\partial /\partial x^i$, then evaluation on every $e_j$ forcesnot the untransposed coefficient array printed in the hint. For example, take $Df=0$, $D{e}_1=e_2$ and $D{e}_2=0$ on ${\mathbb{R}}^2$. The correct values are $D(d{x}^1)=0$, $D(d{x}^2)=-d{x}^1$. The printed hint instead makes the derivative of $d{x}^1(e_2)=0$ equal to $-1$.

There is also a genuine zero-dimensional edge case in the hypotheses: on a one-point manifold the vector-field space is zero, so the printed rule imposes no condition on the scalar map. Taking $Df=f$ satisfies that rule but cannot extend to a tensor derivation, since the product rule requires $D1=0$. Thus the extension theorem is valid on positive-dimensional manifolds as above, or in every dimension if the scalar product rule is added explicitly. The next two parts use these precise hypotheses.

Write a local frame as $e_a$, its dual basis as ${ϵ}^a$, and set $D{e}_a=A^b{}_a{e}_b$. The one-form definition gives $D{ϵ}^a=-A^a{}_b{ϵ}^b$. Repeated indices are summed. Every tensor field has a unique local expansionDefine $DT$ by applying the scalar operator to its coefficient and applying $D$ to one frame factor at a time, adding all these terms. In components this isIn each term only the indicated slot is replaced. This formula is real-linear and satisfies the Leibniz rule for a tensor product: differentiating a coefficient product uses the scalar product rule, and the list of differentiated frame factors splits into the two factors' lists.

To check that it is intrinsic, write $e$ as the row of frame fields and $ϵ$ as the column of dual fields. Change frame by $e^{\prime }=eP$, where $P$ is an invertible smooth matrix. ThenDifferentiating the inverse matrix gives $Z(P^{-1})=-P^{-1}(ZP)P^{-1}$; it cancels the extra frame-change terms in the dual factors. The same cancellation in each tensor slot makes the two local formulas agree. Thus they glue to a global tensor derivation.

In particular, for arbitrary tensor types, not necessarily the same type,The resulting type is the sum of their two covariant counts and their two contravariant counts. This also supplies the required real-linearity for every type, including functions as type $(0,0)$.

For a decomposable tensor field, consider a selected pairing $\omega (Y)$ in a tensor contraction. Its derivative isby the defining one-form formula. In the Leibniz rule expansion of the uncontracted tensor, the terms differentiating these two selected factors combine into exactly this derivative of the pairing. Every term differentiating another factor passes unchanged through the contraction. Thus, first on local decomposable tensors and then by linearity on every local tensor expansion,This is basis independent; in components the negative covector term and positive vector term for the two contracted slots cancel.

For uniqueness, any extension satisfying the tensor-product rule is local. If $T$ vanishes near $p$, multiply it by a smooth cutoff function $h$ equal to one near $p$ and supported where $T=0$. The identity $D(hT)=(Dh)T+hDT$ implies $DT(p)=0$. Any allowed extension on a differential one-form is forced by differentiating its contraction with every vector field. Its value on every local frame tensor is then forced by the tensor-product rule and its value on scalar coefficients. These local tensors span each tensor bundle, so two extensions agree everywhere.

Together with the preceding construction, this proves existence and uniqueness of the contraction-compatible tensor derivation, with the scalar-rule qualification already stated. No claim that every global tensor field is a finite sum of products of global vector fields is needed.

For the Lie derivative of a tensor field, the scalar rule follows because a vector field $X$ differentiates products of smooth functions. On vector fields the Lie bracket of vector fields satisfiesThis follows by applying both sides to an arbitrary smooth function and expanding the two compositions of derivations. Both the scalar and vector-field operators are real-linear, so the extension theorem applies and gives the unique contraction-compatible tensor operator ${\mathcal{L}}_X$.

For a type-$(1,1)$ tensor $A$, regard it as the pointwise endomorphism of $TM$ obtained by contracting its covector slot with a vector. The endomorphism-induced tensor derivation starts withIt is real-linear and obeys $D_A(fY)=fA(Y)=f{D}_{A}Y+(D_{A}f)Y$. The scalar operator zero is a derivation in every dimension, so there is no zero-dimensional obstruction here. Consequently it also extends uniquely. On a differential one-form, the two operators areTheir actions on arbitrary tensor fields follow by the tensor-product rule; $D_A$ adds $A$ in every contravariant slot and subtracts its dual action in every covariant slot.

Functions in this calculation belong to $C^{\infty }(M)$: the printed $C^{\infty }(X)$ in Q2(c) is a typographical error. The contraction $C_2^1$ pairs the sole covector with the new vector $Y$.

The tensor denoted $X\otimes df$ acts as the rank-one endomorphism $Y\mapsto df(Y)X=Y(f)X$. In the paper's covector-first ordering it is written $df\otimes X$, using the canonical interchange of tensor factors; this is the same endomorphism.

On any smooth function $h$,On a vector field $Y$, the Lie bracket of vector fields givessoMultiplication by $f$ preserves the tensor-product Leibniz rule and commutation with tensor contractions, since the latter are linear over smooth functions. Hence the difference is a real-linear contraction-compatible tensor derivation whose scalar operator is zero. Its agreement with $D_{X\otimes df}$ on functions and vector fields determines its action on every tensor by uniqueness:For example, on a differential one-form this gives $-\omega (X)df$. Equivalently ${\mathcal{L}}_{fX}\omega =f{\mathcal{L}}_X\omega +\omega (X)df$, which checks the sign independently. This is the scaled Lie derivative defect identity.

An orientation of a smooth $n$-dimensional manifold can be specified by a nowhere-vanishing smooth $n$-form $\omega$: an ordered tangent basis is positive precisely when $\omega$ evaluates positively on it. Multiplication by a positive smooth function preserves the orientation. This is the differential-form formulation of the equivalent formulations of orientability of a smooth manifold.

Use the standard convention that the compact connected manifold is nonempty and has no boundary. Choose a positive volume form $\omega$ for its orientation. It is a closed differential form, because there are no nonzero $(n+1)$-forms. For $n>0$, compactness makes its integral finite, and positivity on a coordinate neighborhood together with nonnegativity elsewhere givesIf $\omega =d\eta$, the Generalized Stokes theorem would give ${\int }_M\omega ={\int }_{\partial M}\eta =0$, a contradiction. ThereforeFor $n=0$, a nonempty connected manifold is a point, and $H_{\mathrm{dR}}^0(M)=\mathbb{R}$ directly. The boundary hypothesis matters: a closed interval is an oriented compact connected manifold with boundary with $H_{\mathrm{dR}}^1=0$. Thus the result is about ordinary boundaryless manifolds, not an unrestricted version including boundary.

Pullback of a differential form commutes with the exterior derivative, so $f^{\ast }$ gives a linear map on de Rham cohomology. Functoriality and $f\circ f=\mathrm{id}$ imply $(f^{\ast }{)}^2=I$. Over the real numbers, define the complementary projectionsThey obey $P_{\pm }^2=P_{\pm }$, $P_{+}{P}_{-}=0$ and $P_{+}+P_{-}=I$. Every cohomology class therefore decomposes asThe first term is fixed and the second negated by $f^{\ast }$. Their intersection is zero, since a class in both equals its own negative. ConsequentlyThis is the eigenspace decomposition of a linear involution. The factor $1/2$ uses the real coefficient field; a corresponding argument over characteristic two would fail. At the level of differential forms, the same averaging projections give representatives of either parity whenever the class has that parity.

First work at the level of differential forms. The fiber description implies $\pi \circ f=\pi$, so every pullback ${\pi }^{\ast }\beta$ is $f$-invariant. Since $\pi$ is a surjective local diffeomorphism, its pullback on forms is injective: at any $y\in N$, choose a lift $x$ and use the inverse of $d{\pi }_x$ to evaluate the form on arbitrary tangent vectors at $y$.

Conversely let $\alpha$ be an $f$-invariant form on $M$. For a local inverse $s:V\to M$ of $\pi$, define $\beta {|}_V=s^{\ast }\alpha$. If two inverses select the same lift they agree locally; if they select different lifts, the fiber condition identifies the second with $f$ composed with the first. Locally these alternatives are stable, using disjoint inverse neighborhoods at distinct lifts. The equality $f^{\ast }\alpha =\alpha$ therefore makes the local definitions agree. They glue to a unique smooth form $\beta$ on $N$ with ${\pi }^{\ast }\beta =\alpha$. Thusis an isomorphism of complexes, with the exterior derivative on both sides.

It remains to compare the cohomology of the invariant complex with invariant de Rham cohomology classes. Put $P=(I+f^{\ast })/2$ on forms. If $f^{\ast }[\alpha ]=[\alpha ]$ and $d\alpha =0$, then $P\alpha$ is invariant, closed and represents the same class, because its class is the average of two equal classes. If an invariant form is exact, $\alpha =d\eta$, then $\alpha =d(P\eta )$ with an invariant primitive. This proves both surjectivity and injectivity on cohomology. For $p=0$ there are no negative-degree primitives, and the same conclusion follows directly from closed functions.

Combining the two steps givesThis is the de Rham cohomology of a finite quotient argument specialized to an involution. It does not require orientation. The hypotheses do not explicitly exclude $f=\mathrm{id}$; then all fibers are singletons, $\pi$ is a bijective local diffeomorphism and the conclusion is the ordinary diffeomorphism invariance. If $f$ has one fixed point, local injectivity of $\pi$ makes its fixed set open as well as closed; connectedness of $M$ forces this identity case. Otherwise the fibers have two points and $\pi$ is the usual double covering.

Use the double covering map $\pi :S^n\to {\mathbb{RP}}^n$ and its deck involution, the antipodal map $a(x)=-x$. The given sphere cohomology vanishes outside degrees $0,n$, so only those degrees can survive as invariant classes. The degree-zero action is the identity because the sphere is connected for $n\ge 1$.

For the top degree, orient $S^n$ as the boundary of the unit ball. A positive tangent basis $(v_1,\dots ,v_n)$ at $x$ means that $(x,v_1,\dots ,v_n)$ has positive determinant in ${\mathbb{R}}^{n+1}$. Under the antipodal map every one of these $n+1$ vectors changes sign, so the orientation sign is $(-1{)}^{n+1}$. Equivalently, the sphere volume form isIts cohomology class is nonzero by the integral argument and therefore generates the one-dimensional top de Rham cohomology. Thus the top class is invariant precisely when $n$ is an odd integer. Applying the quotient result yieldsIn particular ${\mathbb{RP}}^1$ has one copy of $\mathbb{R}$ in each of degrees zero and one. These are real cohomology groups; integral torsion is not detected by de Rham cohomology.

An affine connection on $M$ is an operation $(Y,X)\mapsto {\nabla }_{Y}X$ on smooth vector fields that is real-bilinear, linear over $C^{\infty }(M)$ in the differentiating field, and satisfiesIt is a connection on a vector bundle for the bundle $TM$, also called a linear connection on the manifold. Its curvature form of a connection has the operator formThis convention fixes its sign. Expanding the two connection product rules shows that the extra derivatives of a scalar cancel, so $R$ is linear over smooth functions in all three fields. For a Levi-Civita connection, this is the Riemann curvature tensor.

The torsion form is $T(Y,Z)={\nabla }_{Y}Z-{\nabla }_{Z}Y-[Y,Z]$. For a Riemannian metric $g$, its Levi-Civita connection is the unique torsion-free connection satisfying metric compatibilityExistence and uniqueness follow from the Koszul formula. In coordinates its coefficients areSymmetry in $b,c$ gives zero torsion, and substitution verifies metric compatibility.

Let $p_i:M_1\times M_2\to M_i$ be the projections. The derivative of the two projections identifies the tangent bundle withTake the direct sum of the two pullback connections. This is the product affine connection. In product coordinates $(x^a,y^{\alpha })$, its only nonzero Christoffel symbols are the two blocks inherited from the factors; all mixed coefficients are zero.

To make the connection on arbitrary fields explicit, write $V=V^a{\partial }_{x^a}+V^{\alpha }{\partial }_{y^{\alpha }}$ and $W=W^a{\partial }_{x^a}+W^{\alpha }{\partial }_{y^{\alpha }}$, allowing all coefficients to depend on both variables. ThenThe terms $V(W^a)$ and $V(W^{\alpha })$ include derivatives in both factors. Omitting these cross derivatives for fields with variable coefficients would not define a connection.

The formula is real-bilinear, linear over smooth functions in $V$, and obeys the Leibniz rule in $W$. Under a change of product coordinates each block has the factor's connection transformation law, so the local formulas agree; equivalently the pullback connection construction already guarantees this gluing.

A field $X_i$ on one factor has a canonical lift to the product. Opposite-factor lifts commute, and their mixed covariant derivatives vanish. For such lifted fields the coefficient derivatives reduce to their factor derivatives, givingThese values determine the connection uniquely: lifted coordinate frames span locally, and the connection's product rules determine its action on all their smooth linear combinations.

The product Riemannian metric isIt is smooth and symmetric. If $(u_1,u_2)\ne 0$, at least one component is nonzero and contributes a strictly positive squared norm; the other contributes a nonnegative term. Thus $g$ is positive definite.

Let the factor connections be Levi-Civita connections. The torsion form of the product affine connection vanishes on two lifted fields from one factor because it equals the factor torsion; on opposite-factor fields it vanishes because both covariant derivatives and the Lie bracket of vector fields vanish. By tensoriality, torsion vanishes for all fields.

Check metric compatibility on lifted fields as well. When the two paired fields are from one factor, their metric pairing depends only on that factor. Differentiation along that factor gives the usual factor compatibility identity, and differentiation along the other factor gives zero on both sides. When the paired fields are from different factors, their pairing is identically zero and their derivatives stay in their original summands, so both sides are again zero. Since $\nabla g$ has tensoriality, these checks imply $\nabla g=0$ globally.

The existence and uniqueness of the Levi-Civita connection therefore givesEquivalently, applying the Christoffel symbol formula to the block metric gives the factor coefficients and zero mixed coefficients, because each factor metric is independent of the other coordinates.

At $(p,q)$, choose neighborhoods on which the two factors admit local isometries to open subsets of Euclidean space. Their product is a local isometry of the product Riemannian metric to the standard Euclidean metric on ${\mathbb{R}}^{2n}$. In these product coordinates the metric matrix is constant, so every Christoffel symbol of the Levi-Civita connection is zero. Its Riemann curvature tensor therefore vanishes at every point of that neighborhood. Curvature has tensoriality, so this is independent of the chosen coordinates; the neighborhoods cover the product.

The splitting provides another useful direct check. Expanding the definition on lifted fields, using zero mixed derivatives and commuting opposite-factor fields, gives the curvature splitting for a product connectionTensoriality extends this identity from lifts to arbitrary tangent vectors at a point. Each factor curvature is zero under the stated local-isometry hypothesis. ConsequentlyThis is a local conclusion about the connection; no global identification of either factor or their product with Euclidean space is required.