Projective lines generate a unimodular intersection form
ID: projective-lines-generate-a-unimodular-intersection-form
The fundamental class of a complex projective line generates . Two distinct projective lines are homologous and meet at one transverse point. In complex affine coordinates their two complex tangent lines concatenate to the complex orientation of the plane, so the signed intersection is . The integral intersection form therefore has matrix , giving a unimodular intersection pairing. This computes a self-intersection through distinct representatives of the same class.
New to topics? Read the docs here!