The complex tautological line bundle is a holomorphic subbundle of the trivial bundle with fibre . A global holomorphic section therefore gives global holomorphic functions on compact connected Complex projective space. The maximum modulus principle makes them constant. The constant vector must lie in every projective line through the origin, whose intersection is zero for . For , the base is one point and the section space is instead .
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 4 b Solution Created 2026-10-03 Updated 2026-10-14
Take the compact Riemann surface and the holomorphic vector bundle . For every positive integer , use homogeneous coordinates and the mapThe two sections never vanish together on . Thus this map has rank one at every point; locally one of its two components is invertible in suitable line-bundle frames, so its image is a genuine holomorphic subbundle and its quotient is a locally free sheaf. More explicitly, there is an exact sequenceExactness follows fibrewise from the absence of a common zero and hence also locally as a sequence of vector bundles. The image is isomorphic to and has rank one, soThus there need not be a lower bound for subbundle slopes, even for a fixed trivial rank-two bundle. Merely multiplying a section of one fixed subline by a function with zeros would not suffice: that could give only a subsheaf with a torsion quotient. The nowhere-simultaneously-zero pair above avoids that problem and realizes unbounded negative degrees of line subbundles.
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.
Semistable holomorphic vector bundle 2026-10-14
A positive-rank holomorphic vector bundle on a compact Riemann surface is semistable when every nonzero proper holomorphic subbundle has slope at most its own. Equivalently one tests coherent subsheaves: saturation on a smooth curve preserves rank, increases degree, and gives a subbundle with torsion-free quotient. Strict inequality defines stability, which is stronger.