Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 15 5 b Solution Created 2026-10-03 Updated 2026-10-14
Use the sign convention in the supplied scalar Laplace-Beltrami operator identity, and let be the metric-dual vector field. Integrate that Bochner formula for one-forms over the closed Riemannian manifold, with its volume density . The integral of a scalar Laplacian is zero: on an oriented manifold this is the Riemannian divergence theorem applied to its gradient, and the same density formula is valid without orientability. HenceBoth terms are nonnegative, because . The smooth nonnegative integrand must therefore vanish everywhere: a strictly positive value would remain positive on an open neighborhood of positive volume and make its integral positive. In particular at every point, provingThus harmonic one-forms are parallel under nonnegative Ricci curvature. The same argument also gives pointwise. No orientation or connectedness assumption is needed for this step.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 15 3 c Solution Created 2026-10-03 Updated 2026-10-14
The integral identity requires compactness of , compact support of , or suitable conditions eliminating flux at infinity. The printed question does not state such a hypothesis. We prove the Riemannian divergence theorem for a compact manifold, and more generally for a compactly supported smooth vector field on an oriented Riemannian manifold with boundary.
Write for the inclusion. Give the outward-normal-first boundary orientation, and let be the outward unit normal vector. The Riemannian volume form of the induced Riemannian metric isIndeed, if is a positively oriented orthonormal basis tangent to the boundary, is a positively oriented orthonormal basis in . Both sides therefore evaluate to one on the boundary basis.
At a boundary point decompose , where is tangent to . Evaluating on tangent vectors, the term with vanishes: all arguments of the alternating volume form then lie in the -dimensional boundary tangent space. Thus the interior product of a differential form satisfiesThe general Stokes theorem for an oriented manifold with boundary states for any smooth differential form of degree with compact support; compactness of makes the support condition automatic. Applying it to and using the defining equation for the divergence of a Riemannian vector field proves
For a concrete failure without the extra hypothesis, take with Riemannian metric and . The divergence of a Riemannian vector field is , sobecause vanishes at the only boundary point. Both integrals are finite. The missing is the limiting flux at infinity, so mere integrability of the divergence cannot repair the unrestricted assertion.