Lefschetz pencil 2026-09-28
A Lefschetz pencil on an oriented four-manifold is a map with a finite base locus , locally modeled by at each base point, and isolated critical points locally modeled by . Blowing up the base points turns the pencil into a Lefschetz fibration.
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 146 1 Solution 2026-09-28
For a symplectic ball centered at the origin, its symplectic blowup replaces a smaller concentric ball by the disk bundle in . The zero section is the exceptional divisor ; the blowdown collapses to the original point and is a symplectomorphism away from . The new symplectic form agrees with outside the surgery region, while its integral over a line in specifies the blowup size. In real dimension four, and .
A Lefschetz pencil on the compact oriented four-manifold is a mapwith finite base locus , such that orientation-compatible complex coordinates give the local model at a base point and at each critical point. Blowing up all base points produces a Lefschetz fibration whose regular fiber is the closed smooth fiber of the pencil.
If that fiber has genus and there are critical points, thenEvery blowup raises the Euler characteristic by one, so . Therefore the Euler characteristic of a Lefschetz pencil is
Now let with its Fubini-Study form. A symplectic smooth fiber represents for some positive integer , because its symplectic area is positive. The Symplectic adjunction formula, using , givesand henceThese values are . They are all attained: two sufficiently general homogeneous polynomials of degree generate a pencil of complex plane curves with only the singularities allowed in a Lefschetz pencil, and its smooth fibers are symplectic. Thus the displayed list is exactly the list described by the Genus of a symplectic Lefschetz pencil on the complex projective plane.