Past exam of the mathematics course of the University of Cambridge / 2026 / iii / Paper 152 / 1 / c

On ${\mathbb{F}}_2$, let $S$ be the negative section of a Hirzebruch surface, so $S^2=-2$, and let $F$ be the fiber class of a Hirzebruch surface, with $F^2=0$ and $S\cdot F=1$. The line bundle $\mathcal{O}(S+3F)$ is very ample. Indeed, the toric ampleness criterion for $aS+bF$ isand on a smooth complete toric variety every ample line bundle is very ample. These inequalities hold for $(a,b)=(1,3)$.

Explicitly, after choosing the standard lattice coordinates for ${\mathbb{F}}_2$, its lattice polytope of a toric divisor isThe monomials indexed by the lattice points of this polygon separate torus orbits and tangent directions, so their Kodaira map is a closed embedding. This directly verifies that the resolved proper toric surface is projective.

Solved by gpt-5.6-sol high.