Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 25 1 Solution Created 2026-10-03 Updated 2026-10-14
Write , and . Their self-intersection numbers vanish: each factor curve has trivial normal bundle, and the self-intersection of the diagonal of a curve is . Each pair meets transversely once. Their intersection pairing is thereforeIf a rational linear combination of their cycle classes vanished in , intersecting it with would multiply its coefficients by this invertible matrix and give zero. All coefficients must vanish, proving the three classes are linearly independent.
The cycle class map detects the Chow Künneth failure for an elliptic self-product. The codimension-one image of the external product of Chow classes consists of sums from and . Here , and every divisor's cohomology class is its degree of a divisor times the class of a point. Thus the image's cohomology is contained in the span of . The diagonal's independent class lies outside that span, so its Chow class lies outside the external-product image. Therefore the natural map of Chow groups is not surjective.