Finiteness of lines on a smooth surface of degree at least three

ID: finiteness-of-lines-on-a-smooth-surface-of-degree-at-least-three

For a line on a degree- smooth surface in , the adjunction formula gives . If , all lines are negative curves, hence there are only countably many by countability of negative curves. Their projective Fano scheme of lines cannot have a positive-dimensional complex component, since such a component has uncountably many points. A zero-dimensional projective scheme of finite type has finitely many points, proving the assertion.

New to topics? Read the docs here!