Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 15 5 Solution Created 2026-10-03 Updated 2026-10-14
Use algebraic Chern classes in the Chow ring of a nonsingular algebraic variety . For a vector bundle of rank , the classes are invariant under bundle isomorphism, have , vanish for , and commute with pullback. Their Total Chern class is . The Whitney sum formula for Chern classes applies to every short exact sequence :Normalization for a line bundle is , where is the divisor class. In particular, , , and the trivial bundle has total class one. These properties determine the classes: pull back to the iterated projective bundle where has a filtration by line bundles. The projective bundle formula for Chow groups makes this pullback injective, and Whitney multiplication expresses as the elementary symmetric polynomial of the first classes of the line factors. This also gives .
Let be the smooth degree- projective hypersurface and set . The algebraic cotangent bundle has rank . Restriction of the cotangent Euler sequence in homogeneous coordinates remains exact, because its terms and quotient are locally free. Thusand Whitney multiplication givesThe defining equation has degree , so the conormal sheaf is . Smoothness makes its differential map injective with locally free quotient, giving the Conormal exact sequence for Kähler differentialsA second application of the Whitney sum formula for Chern classes yieldsThe inverse is the finite geometric series in the graded Chow ring: terms in codimension greater than vanish. Expanding gives every requested class,For example,when the corresponding ranks and codimensions exist. The first expression agrees with the canonical bundle of a smooth projective hypersurface . For a plane curve, , matching Q4. For a quartic surface in , and , whose degree is . These checks also confirm the sign in the cotangent, rather than tangent, formula.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 114 5 Solution Created 2026-10-03 Updated 2026-10-06
Here is an intrinsic definition that also proves well-definedness. For a complex line bundle , define its First Chern class to be the Euler class of its canonically oriented underlying real rank-two bundle: pull its integral Thom class back along the zero section after forgetting relative support. The complex orientation fixes the sign, so this construction makes no arbitrary choice of generator.
For a rank- complex vector bundle , let be its projective bundle of lines, let be the tautological bundle, and put . On every fiber , is the positive degree-two generator. The Leray-Hirsch theorem says that if globally defined cohomology classes restrict to a free basis of the cohomology of every fiber, then multiplication by those classes identifies the cohomology of the total space with a free module over the base. Applied here, it givesThe finite trivializing cover in the question is sufficient for this application: the assertion holds on each trivializing open set by the Künneth theorem, since the fiber has finite free cohomology, and the Mayer–Vietoris sequence and the Five lemma glue it over the finite cover. The same local argument constructs the oriented Thom class used for line bundles. It does not require a choice of classifying map.
There are therefore unique classes such thatDefine and for . For rank zero the Total Chern class is . This is the projective bundle definition of Chern classes. Existence and uniqueness follow by expressing in the displayed free module basis, with degrees determining each coefficient. The projective bundle and tautological bundle are intrinsic to , and the line Thom class is uniquely fixed by orientation. Hence the resulting Chern classes do not depend on trivializations or other auxiliary choices. For a line bundle the relation is , agreeing with the original normalization. Pulling back this unique relation also proves naturality. This standard construction and the sum theorem are treated in Vector Bundles and K-Theory, Section 3.1.
The requested result is the Whitney sum formula for Chern classes:Here , and the formula holds for complex vector bundles over a common base. In particular, a trivial bundle has total Chern class .
Now take and let be its tautological bundle. The standard Hermitian inner product gives the rank- complex bundle , with . The orthogonal complex line flag manifold in the question is precisely : over a first line , the second line is any line in . Local orthonormal frames give this identification as a fiber bundle, with fiber .
Let on , also writing for its pullback to . By part 3(a), . The Whitney sum formula for Chern classes givesLet be the second tautological line on , and set . Thus are exactly the pullbacks of the positive hyperplane classes from the two projective factors. The projective bundle definition of Chern classes for givesTogether with , this gives a surjective graded ring mapThere are no additional relations. Indeed the second relation is monic of degree in , so polynomial division makes its source free over on . The projective bundle formula for complex vector bundles gives exactly the same free basis on the target. The map sends each basis element to its corresponding basis element, and is therefore an isomorphism. ConsequentlyThis is the cohomology ring of the orthogonal complex line flag manifold. Its additive basis is with , . As a symmetry check, multiplying the second relation by gives , so as expected from the second projection. For , every line has a unique orthogonal line, and the relations become , , giving the ring of . If , the space is empty and the second relation is , so the printed formula still gives the zero cohomology ring.
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 162 3 i Solution Created 2026-09-24 Updated 2026-09-25
Whitney sum formula for Chern classes 2026-10-06
The Total Chern class of a direct sum of complex vector bundles is the product of their total Chern classes. In each degree, . The degree-zero class is one, classes beyond the bundle rank vanish, and a trivial bundle has total class one.