Plücker embedding

(Redirected from Plücker relations)

In mathematics, the Plücker map embeds the Grassmannian , 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 into the projectivization of the -th exterior power of . The image is algebraic, consisting of the intersection of a number of quadrics defined by the § Plücker relations (see below).

The Plücker embedding was first defined by Julius Plücker in the case 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 under the Plücker embedding, relative to the basis in the exterior space corresponding to the natural basis in (where is the base field) are called Plücker coordinates.

Definition

edit

Denoting by   the  -dimensional vector space over the field  , and by   the Grassmannian of  -dimensional subspaces of  , the Plücker embedding is the map ι defined by

 

where   is a basis for the element   and   is the projective equivalence class of the element   of the  th exterior power of  .

This is an embedding of the Grassmannian into the projectivization  . 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  .[1]

Plücker relations

edit

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  . This shows that the Grassmannian embeds as an algebraic subvariety of   and gives another method of constructing the Grassmannian. To state the Grassmann–Plücker relations, let   be the  -dimensional subspace spanned by the basis represented by column vectors  . Let   be the   matrix of homogeneous coordinates, whose columns are  . Then the equivalence class   of all such homogeneous coordinates matrices   related to each other by right multiplication by an invertible   matrix   may be identified with the element  . For any ordered sequence   of   integers, let   be the determinant of the   matrix whose rows are the rows   of  . Then, up to projectivization,   are the Plücker coordinates of the element   whose homogeneous coordinates are  . They are the linear coordinates of the image   of   under the Plücker map, relative to the standard basis in the exterior space  . Changing the basis defining the homogeneous coordinate matrix   just changes the Plücker coordinates by a nonzero scaling factor equal to the determinant of the change of basis matrix  , and hence just the representative of the projective equivalence class in  .

For any two ordered sequences:

 

of positive integers  , the following homogeneous equations are valid, and determine the image of   under the Plücker map:[2]

  (1)

where   denotes the sequence   with the term   omitted. These are generally referred to as the Plücker relations.


When dim(V) = 4 and k = 2, we get  , the simplest Grassmannian which is not a projective space, and the above reduces to a single equation. Denoting the coordinates of   by

 

the image of   under the Plücker map is defined by the single equation

 

In general, many more equations are needed to define the image of the Plücker embedding, as in (1), 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   and  , which is  

References

edit
  1. ^ Björner, Anders; Las Vergnas, Michel; Sturmfels, Bernd; White, Neil; Ziegler, Günter (1999), Oriented matroids, Encyclopedia of Mathematics and Its Applications, vol. 46 (2nd ed.), Cambridge University Press, p. 79, doi:10.1017/CBO9780511586507, ISBN 0-521-77750-X, Zbl 0944.52006
  2. ^ Griffiths, Phillip; Harris, Joseph (1994), Principles of algebraic geometry, Wiley Classics Library (2nd ed.), New York: John Wiley & Sons, p. 211, ISBN 0-471-05059-8, MR 1288523, Zbl 0836.14001

Further reading

edit