Projective line

An arbitrary point in the projective line P¹(K) may be represented by an equivalence class of homogeneous coordinates, which take the form of a pair

${\displaystyle [x_{1}:x_{2}]}$

of elements of K that are not both zero. Two such pairs are equivalent if they differ by an overall nonzero factor λ:

${\displaystyle [x_{1}:x_{2}]\sim [\lambda x_{1}:\lambda x_{2}].}$

The projective line may be identified with the line K extended by a point at infinity. More precisely, the line K may be identified with the subset of P¹(K) given by

${\displaystyle \left\{[x:1]\in \mathbf {P} ^{1}(K)\mid x\in K\right\}.}$

This subset covers all points in P¹(K) except one, which is called the point at infinity:

${\displaystyle \infty =[1:0].}$

This allows to extend the arithmetic on K to P¹(K) by the formulas

${\displaystyle {\frac {1}{0}}=\infty ,\qquad {\frac {1}{\infty }}=0,}$

${\displaystyle x\cdot \infty =\infty \quad {\text{if}}\quad x\not =0}$

${\displaystyle x+\infty =\infty \quad {\text{if}}\quad x\not =\infty }$

Translating this arithmetic in terms of homogeneous coordinates gives, when [0 : 0] does not occur:

${\displaystyle [x_{1}:x_{2}]+[y_{1}:y_{2}]=[(x_{1}y_{2}+y_{1}x_{2}):x_{2}y_{2}],}$

${\displaystyle [x_{1}:x_{2}]\cdot [y_{1}:y_{2}]=[x_{1}y_{1}:x_{2}y_{2}],}$

${\displaystyle [x_{1}:x_{2}]^{-1}=[x_{2}:x_{1}].}$

Quite generally, the group of homographies with coefficients in K acts on the projective line P¹(K). This group action is transitive, so that P¹(K) is a homogeneous space for the group, often written PGL₂(K) to emphasise the projective nature of these transformations. Transitivity says that there exists a homography that will transform any point Q to any other point R. The point at infinity on P¹(K) is therefore an artifact of choice of coordinates: homogeneous coordinates

${\displaystyle [X:Y]\sim [\lambda X:\lambda Y]}$

express a one-dimensional subspace by a single non-zero point (X, Y) lying in it, but the symmetries of the projective line can move the point ∞ = [1 : 0] to any other, and it is in no way distinguished.

Much more is true, in that some transformation can take any given distinct points Q_i for i = 1, 2, 3 to any other 3-tuple R_i of distinct points (triple transitivity). This amount of specification 'uses up' the three dimensions of PGL₂(K); in other words, the group action is sharply 3-transitive. The computational aspect of this is the cross-ratio. Indeed, a generalized converse is true: a sharply 3-transitive group action is always (isomorphic to) a generalized form of a PGL₂(K) action on a projective line, replacing "field" by "KT-field" (generalizing the inverse to a weaker kind of involution), and "PGL" by a corresponding generalization of projective linear maps.[1]

The projective line is a fundamental example of an algebraic curve. From the point of view of algebraic geometry, P¹(K) is a non-singular curve of genus 0. If K is algebraically closed, it is the unique such curve over K, up to rational equivalence. In general a (non-singular) curve of genus 0 is rationally equivalent over K to a conic C, which is itself birationally equivalent to projective line if and only if C has a point defined over K; geometrically such a point P can be used as origin to make explicit the birational equivalence..

The function field of the projective line is the field K(T) of rational functions over K, in a single indeterminate T. The field automorphisms of K(T) over K are precisely the group PGL₂(K) discussed above.

Any function field K(V) of an algebraic variety V over K, other than a single point, has a subfield isomorphic with K(T). From the point of view of birational geometry, this means that there will be a rational map from V to P¹(K), that is not constant. The image will omit only finitely many points of P¹(K), and the inverse image of a typical point P will be of dimension dim V − 1. This is the beginning of methods in algebraic geometry that are inductive on dimension. The rational maps play a role analogous to the meromorphic functions of complex analysis, and indeed in the case of compact Riemann surfaces the two concepts coincide.

If V is now taken to be of dimension 1, we get a picture of a typical algebraic curve C presented 'over' P¹(K). Assuming C is non-singular (which is no loss of generality starting with K(C)), it can be shown that such a rational map from C to P¹(K) will in fact be everywhere defined. (That is not the case if there are singularities, since for example a double point where a curve crosses itself may give an indeterminate result after a rational map.) This gives a picture in which the main geometric feature is ramification.

Many curves, for example hyperelliptic curves, may be presented abstractly, as ramified covers of the projective line. According to the Riemann–Hurwitz formula, the genus then depends only on the type of ramification.

A rational curve is a curve that is birationally equivalent to a projective line (see rational variety); its genus is 0. A rational normal curve in projective space Pⁿ is a rational curve that lies in no proper linear subspace; it is known that there is only one example (up to projective equivalence),[2] given parametrically in homogeneous coordinates as

[1 : t : t² : ... : tⁿ].

See twisted cubic for the first interesting case.

• Algebraic curve
• Cross-ratio
• Möbius transformation
• Projective line over a ring
• Projectively extended real line
• Projective range
• Wheel theory