Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 118 1 c Solution Created 2026-09-24 Updated 2026-09-25
A Kähler manifold has a real closed -form for which is positive definite. The Fubini-Study form has these properties on . Pullback by the holomorphic inclusion preserves reality, type, and closedness, while positivity restricts to every nonzero vector in . Hence is a Kähler form on .
Normalize the Fubini-Study form so that a complex projective line has symplectic area . The displayed map takes the unit symplectic ball in diffeomorphically onto the complement of the last-coordinate hyperplane. Its lift to the unit sphere has last coordinate positive real, so that coordinate contributes zero to the pulled-back standard symplectic form. The map is therefore a symplectomorphism.
Symplectic equivalence of smooth projective hypersurfaces Created 2026-09-24 Updated 2026-10-05
Any two smooth degree- hypersurfaces in , equipped with the restricted Fubini-Study form, are symplectomorphic. Join them through the connected complement of the discriminant in the parameter space, use the resulting smooth family to identify the fibers, and apply Moser's trick to the cohomologous restricted forms.