The Plücker embedding maps a -plane to the projective class of the exterior product of a basis. A change of basis multiplies this product by its determinant, so the projective class is well defined. The plane is recovered as the vectors whose exterior product with this element is zero. For two-planes in , its image in is the Klein quadric.
A line in real projective space is the span of two independent homogeneous vectors . Its Plücker coordinates are the entries of the displayed rank-two antisymmetric matrix, determined up to a nonzero scalar. They satisfy . With a chosen volume orientation, its dual plane form is . This is projective duality using the volume form, not lowering indices with a Euclidean metric.
The intersection of a line in Plücker coordinates with a plane covector is the first displayed homogeneous vector: it lies in the span of the defining points and its contraction with is zero by antisymmetry. A zero vector means the whole line is contained in the plane. Dually, the plane through the line and a point or ideal direction is given by the second formula; it vanishes if is already on the line. These operations require no Euclidean lengths or angles.
The Plücker embedding of is a smooth projective quadric in . An antisymmetric matrix is nonzero and decomposable precisely when its Pfaffian vanishes, giving the displayed equation. The wedge pairing of two points on this quadric vanishes exactly when the corresponding two-planes intersect. Thus the Klein quadric carries the complex conformal null-separation relation of complexified compactified Minkowski space.
Articles by others on the same topic
Plücker embedding is a mathematical construction that embeds a projective space into a higher-dimensional projective space. Specifically, it is most commonly associated with the embedding of the projective space \( \mathbb{P}^n \) into \( \mathbb{P}^{\binom{n+1}{2} - 1} \) using the concept of the lines in \( \mathbb{P}^n \).