Complete algebraic curve

In algebraic geometry, a complete algebraic curve is an algebraic curve that is complete as an algebraic variety.

A projective curve, a dimension-one projective variety, is a complete curve. A complete curve (over an algebraically closed field) is projective.[1] Because of this, over an algebraically closed field, the terms "projective curve" and "complete curve" are usually used interchangeably. Over a more general base scheme, the distinction still matters.

A curve in is called an (algebraic) space curve, while a curve in is called a plane curve. By means of a projection from a point, any smooth projective curve can be embedded into ;[2] thus, up to a projection, every (smooth) curve is a space curve. Up to a birational morphism, every (smooth) curve can be embedded into as a nodal curve.[3]

Riemann's existence theorem says that the category of compact Riemann surfaces is equivalent to that of smooth projective curves over the complex numbers.

Throughout the article, a curve mean a complete curve (but not necessarily smooth).

  1. ^ Hartshorne, Ch. III., Exercise 5.8.
  2. ^ Hartshorne, Ch. IV., Corollay 3.6.
  3. ^ Hartshorne, Ch. IV., Theorem 3.10.

© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search