Plücker Matrix

The Plücker matrix is a special skew-symmetric 4 × 4 matrix, which characterizes a straight line in projective space. The matrix is defined by 6 Plücker coordinates with 4 degrees of freedom. It is named after the German mathematician Julius Plücker.

Definition

A straight line in space is defined by two distinct points $A = \left(A_0, A_1, A_2, A_3\right)^\top \in \mathbb\mathcal^3$ and $B = \left(B_0, B_1, B_2, B_3\right)^\top \in \mathbb\mathcal^3$ in homogeneous coordinates of the projective space. Its Plücker matrix is:

:
mathbf \propto \mathbf\mathbf^ - \mathbf\mathbf^ =
\left(\begin
0 & -L_ & -L_ & -L_ \\
L_ & 0 & -L_ & -L_ \\
L_ & L_ & 0 & -L_ \\
L_ & L_ & L_ & 0
\end\right)

Where the skew-symmetric $4\times 4$-matrix is defined by the 6 Plücker coordinates
:$\mathbf\propto(L_, L_, L_, L_, L_, L_)^\top$

with
:$L_ = A_iB_j - B_iA_j.$

Plücker coordinates fulfill the Graßmann–Plücker relations
:$L_ L_ - L_ L_ + L_ L_ = 0$

and are defined up to scale. A Plücker matrix has only rank 2 and four degrees of freedom (just like lines in $\mathbb^3$). They are independent of a particular choice of the points $\mathbf$ and $\mathbf$ and can be seen as a generalization of the line equation i.e. of the cross product for both the intersection (meet) of two lines, as well as the joining line of two points in the projective plane.

Properties

The Plücker matrix allows us to express the following geometric operations as matrix-vector product:

* Plane contains line: \mathbf = mathbf\mathbf
* \mathbf = mathbf\mathbf is the point of intersection of the line $\mathbf$ and the plane $\mathbf$ ('Meet')
* Point lies on line: $\mathbf =$tilde\mathbf
* $\mathbf =$tilde\mathbf is the common plane $\mathbf$, which contains both the point $\mathbf$ and the line $\mathbf$ ('Join').
* Direction of a line: mathbf\pi^\infty = mathbf(0, 0, 0, 1)^\top = \left(-L_, -L_, -L_, 0\right)^\top (Note: The latter can be interpreted as a plane orthogonal to the line passing through the coordinate origin)
* Closest point to the origin \mathbf_ \cong mathbf mathbf\pi^.

Uniqueness

Two arbitrary distinct points on the line can be written as a linear combination of $\mathbf$ and $\mathbf$:

:$\mathbf^ \propto \mathbf\alpha + \mathbf\beta\text \mathbf^\prime \propto\mathbf\gamma + \mathbf\delta.$

Their Plücker matrix is thus:
:\begin
\mathbf^\prime_\times
&= \mathbf^\prime\mathbf^\prime - \mathbf^\prime \mathbf^\prime \\ pt &= (\mathbf\alpha + \mathbf\beta)(\mathbf\gamma + \mathbf\delta)^\top - (\mathbf\gamma + \mathbf\delta)(\mathbf\alpha + \mathbf\beta)^\top \\ pt &= \underbrace_\lambda mathbf\times,
\end

up to scale identical to mathbf.

Intersection with a plane

Let $\mathbf = \left(E_, E_, E_, E_\right)^ \in \mathbb\mathcal^$ denote the plane with the equation
:$E_x + E_y + E_z + E_ = 0.$

which does not contain the line $\mathbf$. Then, the matrix-vector product with the Plücker matrix describes a point
:
\mathbf = mathbf\mathbf
= \mathbf\underset - \mathbf\underset
= \mathbf\alpha + \mathbf\beta,

which lies on the line $\mathbf$ because it is a linear combination of $\mathbf$ and $\mathbf$. $\mathbf$ is also contained in the plane $\mathbf$
:
\mathbf^\mathbf
= \mathbf^ mathbf\mathbf
= \underset\underset - \underset\underset
= 0,

and must therefore be their point of intersection.

In addition, the product of the Plücker matrix with a plane is the zero-vector, exactly if the line $\mathbf$ is contained entirely in the plane:
:$\alpha = \beta = 0 \iff \mathbf$ contains $\mathbf.$

Dual Plücker matrix

In projective three-space, both points and planes have the same representation as 4-vectors and the algebraic description of their geometric relationship (point lies on plane) is symmetric. By interchanging the terms plane and point in a theorem, one obtains a dual theorem which is also true.

In case of the Plücker matrix, there exists a dual representation of the line in space as the intersection of two planes:
:$E = \left(E_0, E_1, E_2, E_3\right)^\top \in \mathbb\mathcal^3$

and
:$F = \left(F_0, F_1, F_2, F_3\right)^\top \in \mathbb\mathcal^3$

in homogeneous coordinates of projective space. Their Plücker matrix is:
:\left tilde\right = \mathbf\mathbf^ - \mathbf\mathbf^

and
:\mathbf = \left tilde\right\mathbf

describes the plane $\mathbf$ which contains both the point $\mathbf$ and the line $\mathbf$.

Relationship between primal and dual Plücker matrices

As the vector \mathbf = mathbf\mathbf, with an arbitrary plane $\mathbf$, is either the zero-vector or a point on the line, it follows:

:
\forall\mathbf \in \mathbb\mathcal^:\,
\mathbf = mathbf\mathbf\text\mathbf
\iff \left tilde\right\mathbf = \mathbf.

Thus:
:$\left($tilde mathbf\right)^
= mathbf\left tilde\right
= \mathbf \in \mathbb^.

The following product fulfills these properties:
:$\begin &\left(\begin 0 & L_ & -L_ & L_ \\ -L_ & 0 & L_ & -L_ \\ L_ & -L_ & 0 & L_ \\ -L_ & L_ & -L_ & 0 \end\right) \left(\begin 0 & -L_ & -L_ & -L_ \\ L_ & 0 & -L_ & -L_ \\ L_ & L_ & 0 & -L_ \\ L_ & L_ & L_ & 0 \end\right) \\$0pt = &\left(L_L_ - L_L_ + L_L_\right) \cdot
\left(\begin
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & 1 & 0 \\
0 & 0 & 0 & 1
\end\right)
= \mathbf,
\end

due to the Graßmann–Plücker relation. With the uniqueness of Plücker matrices up to scalar multiples, for the primal Plücker coordinates

:$\mathbf = \left(L_,\,L_,\,L_,\,L_,\,L_,\,L_\right)^$

we obtain the following dual Plücker coordinates:

:$\tilde = \left(L_,\,-L_,\,L_,\,L_,\,-L_,\,L_\right)^.$

In the projective plane

The 'join' of two points in the projective plane is the operation of connecting two points with a straight line. Its line equation can be computed using the cross product:
:$\mathbf \propto \mathbf \times \mathbf = \left(\begin a_b_ - b_a_ \\ b_a_ - a_b_ \\ a_b_ - a_b_ \end\right) = \left(\begin l_ \\ l_ \\ l_ \end\right).$

Dually, one can express the 'meet', or intersection of two straight lines by the cross-product:
:$\mathbf \propto \mathbf \times \mathbf$

The relationship to Plücker matrices becomes evident, if one writes the cross product as a matrix-vector product with a skew-symmetric matrix:
:
mathbf =
\mathbf\mathbf^ - \mathbf\mathbf^ =
\left(\begin
0 & l_ & -l_ \\
-l_ & 0 & l_ \\
l_ & -l_ & 0
\end\right)

and analogously mathbf = \mathbf\mathbf^ - \mathbf\mathbf^

Geometric interpretation

Let $\mathbf = \left(-L_,\, -L_,\, -L_\right)^$ and $\mathbf = \left(L_,\, -L_,\, L_\right)^$, then we can write
:
mathbf = \left(\begin
mathbf & \mathbf \\
-\mathbf & 0
\end\right)

and
:$$
tilde = \left(\begin
\mathbf & \mathbf\\
-\mathbf & 0
\end\right),

where $\mathbf$ is the displacement and $\mathbf$ is the moment of the line, compare the geometric intuition of Plücker coordinates.

References

*
*
From original Stanford University 1988 Ph.D. dissertation, ''Primitives for Computational Geometry'', available a


*

{{DEFAULTSORT:Plucker matrix
Algebraic geometry
Matrices