Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 15 4 a Solution Created 2026-10-03 Updated 2026-10-14
For a nonzero holomorphic vector bundle on the curve, its degree of a holomorphic vector bundle and slope of a holomorphic vector bundle areWe obtain a bound independent of the particular holomorphic subbundle by fixing a Hermitian metric on a holomorphic vector bundle once and for all. Let be its Chern connection, its Chern curvature, and any positive area form on the compact Riemann surface. WriteHere is a smooth Hermitian endomorphism of . By compactness, its largest eigenvalue is bounded above by some finite constant on the whole curve.
Let be a holomorphic subbundle of positive rank , with the induced metric. Use the smooth orthogonal splitting of a vector subbundle . In this splitting the connection has block formwhere is the projected Chern connection and is the second fundamental form of a holomorphic subbundle. The latter has type : the part of preserves the holomorphic subbundle. The adjoint includes conjugation of the form factor and has type . Squaring this block matrix givesThis derives the curvature formula for a holomorphic subbundle in the column-vector convention used here. Locally write . ThenThe degree of a holomorphic vector bundle is the trace-curvature integral, since the trace is the curvature of the determinant line bundle. HenceThe last integrand is a nonnegative real two-form and is independent of the local unitary frame and coordinate. Since , the compressed trace is at most pointwise. ThereforeThis is the subbundle slope bound from ambient Chern curvature. The right side depends only on and the initially chosen metrics, and is finite. It proves the requested uniform upper bound for every positive-rank subbundle, without assuming any stability property of or using a bound that depends on .
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 13 4 Solution Created 2026-10-03 Updated 2026-10-14
The canonical bundle is , the holomorphic line bundle of holomorphic top forms on a complex -manifold. For an embedded complex submanifold of dimension , the holomorphic normal bundle is the quotientTaking determinants and duals gives adjunction for a smooth submanifold:For a closed smooth hypersurface, is its divisor line bundle, equipped with a holomorphic section whose zero divisor is with multiplicity one. If locally defines , local meromorphic generators transform by the holomorphic units . The stated normal-bundle relation isEquivalently the conormal is . The closed-divisor interpretation is needed to define ; an arbitrary nonclosed local submanifold does not define that global divisor bundle.
For a holomorphic subbundle , define on sections of , with acting on the bundle factor of a bundle-valued form. It obeys the Leibniz rule. Since is holomorphic, lies in , so . For , their inner products with the normal components of vanish; hence projecting preserves metric compatibility. The uniqueness proved for the Chern connection identifiesThis is the projected Chern connection.
Choose the adapted smooth unitary frame and retain Question 2's input-index convention. The connection matrix is skew-Hermitian. Its upper-left block is for ; writing the lower-left block as forces the upper-right block to be :Holomorphicity of makes the normal part of vanish, so has type , and has type . The matrix represents the second fundamental form of a holomorphic subbundle in this input-index convention. These types would appear in the opposite blocks with coefficient-column indices; they must not be swapped while retaining the printed minus-sign Cartan equation.
Take the upper-left block of the Cartan curvature equation with input indices. It isTherefore the curvature formula for a holomorphic subbundle isThe sign and the order of the factors both follow from the displayed block multiplication.
Now let be a complex torus and a closed smooth hypersurface. The torus has a translation-invariant flat Kähler metric, and and are holomorphically trivial. Give its flat metric and apply the preceding formula to . Since ,For a tangent vector , the latter coefficient is , so is a semipositive real form. Thus is a semipositive holomorphic line bundle. This proves the semipositive canonical bundle of a submanifold of a complex torus assertion directly from curvature. By adjunction for a smooth submanifold, .
Restrict a positive metric on to . The tensor-product metric onhas curvature , which is positive for every nonnegative integer . HenceThe integer condition is implicit in a tensor power. No assertion of strict positivity of is required.
For vanishing, write . The allowed Kodaira vanishing theorem says that on a compact Kähler manifold , for when is a positive holomorphic line bundle. Since is trivial, its application on the torus gives for .
For every , the divisor section gives the exact sequencewhere . Crucially,and is positive by the proved restriction statement. The induced Kähler metric makes compact Kähler, so Kodaira vanishing theorem on gives for all . In the long exact sequence in sheaf cohomology, the segmentthen has zero outside terms by induction. ThereforeThis proves vanishing for divisor twists on a complex torus using restriction positivity and the divisor exact sequence, rather than presuming ambient positivity of every divisor twist.
The tangent bundle of a complex torus is holomorphically trivial with a flat Hermitian metric. Apply the curvature formula for a holomorphic subbundle to : its determinant dual has semipositive curvature. For a closed smooth hypersurface, adjunction for a smooth submanifold identifies with the restriction of its divisor line bundle. Thus a positive ambient line bundle remains positive on the hypersurface after tensoring by any nonnegative power of the restricted divisor bundle.
Fix a Hermitian metric on a holomorphic vector bundle over a compact Riemann surface and a positive area form . Write for its Chern curvature. If every eigenvalue of the Hermitian endomorphism is at most , the curvature formula for a holomorphic subbundle gives . The second-fundamental-form term is nonpositive. Compactness supplies a finite independent of the subbundle. If , every subbundle has nonpositive degree.