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 2002 iii Paper 15 5 b Solution Created 2026-10-03 Updated 2026-10-14
The flat unitary connection on is its Chern connection, since it preserves the induced Hermitian metric and its part is the Dolbeault operator. Its curvature is zero. The trace-curvature formula for the degree of a holomorphic vector bundle therefore givesFor any positive-rank proper holomorphic subbundle , equip with the induced metric and use the block-connection calculation of Question 4(a). Since the ambient curvature vanishes, its Chern curvature iswhere is the second fundamental form of a holomorphic subbundle. ConsequentlyThe term being integrated is nonnegative, so its sign gives the inequality for every such subbundle, not just for parallel subbundles. By the definition of a semistable holomorphic vector bundle,If semistability is formulated using coherent subsheaves instead, saturate a subsheaf on the smooth curve. The saturation has the same rank, at least as large a degree, and is a subbundle because a torsion-free sheaf on a smooth curve is locally free. The inequality for the saturated subbundle therefore also bounds the original subsheaf. Finally, equality for a subbundle forces , so it is parallel; invariant subspaces of correspond to these degree-zero parallel subbundles. Semistability is the conclusion required here, rather than stability for every unitary representation.
Slope of a holomorphic vector bundle 2026-10-14
The slope of a nonzero holomorphic vector bundle on a compact Riemann surface is its degree of a holomorphic vector bundle divided by its rank of a vector bundle. It measures degree per fibre dimension. Comparing subbundle slopes defines semistable holomorphic vector bundles.