Cubic surface line incidence variety
ID: cubic-surface-line-incidence-variety
A projective bundle with fibre over the four-dimensional Grassmannian . The condition of containing a fixed line imposes four independent linear conditions on the twenty cubic coefficients. The projection to is proper. The line is an isolated point over ; isolated fibre point forces dominance in equal dimensions then proves that every cubic surface contains a line.
New to topics? Read the docs here!