Negative section of a Hirzebruch surface (source code)

= Negative section of a Hirzebruch surface

The negative section $S\subset\mathbb F_k$ has self-intersection $S^2=-k$. Together with a fiber $F$ of the ruling, it generates the Picard group and satisfies $F^2=0$ and $S\mathbin{\cdot}F=1$.