Kasner metric

In projective geometry, the circular points at infinity (also called cyclic points or isotropic points) are two special points at infinity in the complex projective plane that are contained in the complexification of every real circle.

The points of the complex plane may be described in terms of homogeneous coordinates, triples of complex numbers (x: y: z), with two triples describing the same point of the plane when one is a scalar multiple of the other. In this system, the points at infinity are the ones whose z-coordinate is zero. The two circular points are the points at infinity described by the homogeneous coordinates

(1: i: 0) and (1: −i: 0).

Complexified circles

A real circle, defined by its center point (x₀,y₀) and radius r (all three of which are real numbers) may be described as the set of real solutions to the equation

$(x-x_0{)}^2+(y-y_0{)}^2=r^2.$

Converting this into a homogeneous equation and taking the set of all complex-number solutions gives the complexification of the circle. The two circular points have their name because they lie on the complexification of every real circle. More generally, both points satisfy the homogeneous equations of the type

$A{x}^2+A{y}^2+2B_{1}xz+2B_{2}yz-C{z}^2=0.$

The case where the coefficients are all real gives the equation of a general circle (of the real projective plane). In general, an algebraic curve that passes through these two points is called circular.

Additional properties

The circular points at infinity are the points at infinity of the isotropic lines. They are invariant under translations and rotations of the plane.

References

• Pierre Samuel, Projective Geometry, Springer 1988, section 1.6;
• Semple and Kneebone, Algebraic projective geometry, Oxford 1952, section II-8.