Plücker embedding
Template:Short description In mathematics, the Plücker map embeds the Grassmannian <math>\mathrm{Gr}(k,V)</math>, whose elements are k-dimensional subspaces of an n-dimensional vector space V, either real or complex, in a projective space, thereby realizing it as a projective algebraic variety. More precisely, the Plücker map embeds <math>\mathrm{Gr}(k,V)</math> into the projectivization <math>\mathbb{P}({\textstyle\bigwedge}^k V)</math> of the <math>k</math>-th exterior power of <math>V</math>. The image is algebraic, consisting of the intersection of a number of quadrics defined by the Template:Slink (see below).
The Plücker embedding was first defined by Julius Plücker in the case <math>k=2, n=4</math> as a way of describing the lines in three-dimensional space (which, as projective lines in real projective space, correspond to two-dimensional subspaces of a four-dimensional vector space). The image of that embedding is the Klein quadric in RP5.
Hermann Grassmann generalized Plücker's embedding to arbitrary k and n. The homogeneous coordinates of the image of the Grassmannian <math> \mathrm{Gr}(k,V)</math> under the Plücker embedding, relative to the basis in the exterior space <math>{\textstyle\bigwedge}^k V </math> corresponding to the natural basis in <math>V = K^n</math> (where <math>K</math> is the base field) are called Plücker coordinates.
DefinitionEdit
Denoting by <math>V= K^n</math> the <math>n</math>-dimensional vector space over the field <math>K</math>, and by <math> \mathrm{Gr}(k, V)</math> the Grassmannian of <math>k</math>-dimensional subspaces of <math>V</math>, the Plücker embedding is the map ι defined by
- <math>\begin{array}{cccc}
\iota : \ & \mathrm{Gr}(k, V) & \longrightarrow & \mathbb{P}({\textstyle\bigwedge}^k V),\\
& {W}:=\operatorname{Span}( w_1, \ldots, w_k ) & \longmapsto & [ w_1 \wedge \cdots \wedge w_k ],
\end{array}</math>
where <math>(w_1, \dots , w_k)</math> is a basis for the element <math> {W}\in \mathrm{Gr}(k, V)</math> and <math> [ w_1 \wedge \cdots \wedge w_k ]</math> is the projective equivalence class of the element <math> w_1 \wedge \cdots \wedge w_k \in {\textstyle\bigwedge}^k V </math> of the <math>k</math>th exterior power of <math>V</math>.
This is an embedding of the Grassmannian into the projectivization <math>\mathbb{P}({\textstyle\bigwedge}^k V)</math>. The image can be completely characterized as the intersection of a number of quadrics, the Plücker quadrics (see below), which are expressed by homogeneous quadratic relations on the Plücker coordinates (see below) that derive from linear algebra.
The bracket ring appears as the ring of polynomial functions on <math>{\textstyle\bigwedge}^k V </math>.<ref>Template:Citation</ref>
Plücker relationsEdit
The image under the Plücker embedding satisfies a simple set of homogeneous quadratic relations, usually called the Plücker relations, or Grassmann–Plücker relations, defining the intersection of a number of quadrics in <math> \mathbb{P}({\textstyle\bigwedge}^k V) </math>. This shows that the Grassmannian embeds as an algebraic subvariety of <math>\mathbb{P}({\textstyle\bigwedge}^k V)</math> and gives another method of constructing the Grassmannian. To state the Grassmann–Plücker relations, let <math>{W}\in \mathrm{Gr}(k, V) </math> be the <math>k</math>-dimensional subspace spanned by the basis represented by column vectors <math>w_1, \dots, w_k</math>. Let <math> [W] </math> be the <math> n \times k</math> matrix whose columns are <math>w_1, \dots, w_k</math>; the matrix of <math>W</math> with respect to a different basis is then <math>[W]A</math> for any invertible <math> k \times k</math> matrix <math>A</math>. For any ordered sequence <math>1\le i_1 < \cdots < i_k \le n </math> of <math> k </math> integers, let <math> \Delta_{i_1, \dots , i_k} </math> be the determinant of the <math>k \times k</math> submatrix of <math> [W] </math> on the rows <math>(i_1, \dots i_k)</math>; this determinant is called a minor. Then <math>\{ \Delta_{i_1, \dots , i_k}\} </math> are the Plücker coordinates of the element <math>{W}\in \mathrm{Gr}(k, V) </math>, the linear coordinates of the image <math>\iota({W})\in \mathbb{P}({\textstyle\bigwedge}^k V)</math> relative to the standard basis <math>\{e_{i_1}\wedge\cdots\wedge e_{i_k}\}</math> of <math> {\textstyle\bigwedge}^k V </math>. Changing the basis of <math> W </math> just changes the Plücker coordinates by a nonzero factor <math>\det(A)</math>, the determinant of the change of basis matrix, giving the same point in <math> \mathbb{P}({\textstyle\bigwedge}^k V) </math>.
For any two ordered sequences:
- <math> i_1 < i_2 < \cdots < i_{k-1}, \quad j_1 < j_2 < \cdots < j_{k+1}</math>
of positive integers <math> 1 \le i_l, j_m \le n </math>, the following homogeneous equations are valid, and determine the image of <math>W</math> under the Plücker map:<ref>
Template:Citation </ref>
<math>\sum_{l=1}^{k+1} (-1)^l \Delta_{i_1, \dots , i_{k-1}, j_l} \Delta_{j_1, \dots , \hat{j}_l, \dots j_{k+1}}=0, </math>
where <math> j_1, \dots , \hat{j}_l, \dots j_{k+1} </math> denotes that the term <math> j_l </math> is omitted. These are the Plücker relations.
When Template:Math and Template:Math, we get <math>\mathrm{Gr}(2, V)</math>, the simplest Grassmannian which is not a projective space, and the above reduces to a single equation. Denoting the coordinates of <math> {\textstyle\bigwedge}^2 V</math> by
- <math> \Delta_{ij} = -\Delta_{ji}, \quad 1\le i,j \le 4,</math>
the image of <math>\mathrm{Gr}(2, V)</math> under the Plücker map is defined by the single equation
- <math>\Delta_{12}\Delta_{34} - \Delta_{13}\Delta_{24} + \Delta_{14}\Delta_{23}=0.</math>
In general, many more equations are needed to define the image of the Plücker embedding, as in (Template:EquationNote), but these are not, in general, algebraically independent. The maximal number of algebraically independent relations (on Zariski open sets) is given by the difference of dimension between <math>\mathbb{P}({\textstyle\bigwedge}^k V)</math> and <math>\mathrm{Gr}(k, V)</math>, which is <math> \tbinom{n}{k} - k(n-k) -1. </math>