Conic bundle from a line on a smooth cubic surface
ID: conic-bundle-from-a-line-on-a-smooth-cubic-surface
Write a line as and the surface equation as . Smoothness says , have no common zero. Projection extends over by . Its fibres are the residual plane conics in the planes through , since substituting , gives . Different residual conics are disjoint everywhere, including their points on , because they are fibres of one morphism of algebraic varieties. The family is flat: over the smooth base curve its local rings are torsion-free over the corresponding discrete valuation ring; smoothness of the total surface supplies the reduced-fibre conclusions.
New to topics? Read the docs here!