Cross-ratio normalization of four projective points

ID: cross-ratio-normalization-of-four-projective-points

For four distinct projective points on the complex projective line, use the convention
where is the determinant of chosen representative vectors. Rescaling any representative cancels, and applying an invertible matrix multiplies every bracket by its determinant, which also cancels. Thus the expression is a projective invariant. The projective general linear group action on the projective line has a unique element taking the first three points to . In those coordinates the displayed expression is exactly . Consequently the cross-ratio completely determines the orbit of the ordered quadruple under the projective linear group. Its value lies in .

New to topics? Read the docs here!