Plücker Coordinates in Projective Geometry
- Plücker coordinates are a canonical coordinate system for subspaces, defined via determinants and wedge products in exterior algebra.
- They satisfy quadratic relations that uniquely embed the Grassmannian into projective space, underpinning geometric and algebraic classification.
- Their structured formulation enables applications in coding theory, cryptography, computer vision, and tropical geometry.
Plücker coordinates provide a canonical and projective coordinate system for subspaces of a fixed vector space, central to the study of the Grassmannian and its many applications across representation theory, algebraic geometry, coding theory, integrable systems, and combinatorics. They are defined via exterior algebra and determinants, satisfy a system of quadratic relations, and serve as the basic homogeneous coordinates for the Plücker embedding of the Grassmannian into projective space. Their structure underlies geometric and algebraic classification problems, representation of codes, linear and multilinear invariants, positivity phenomena, and tropical geometry.
1. Definition and Construction of Plücker Coordinates
Let be an -dimensional vector space over a field . The Grassmannian $\Gr(k, n)$ is the variety of -dimensional subspaces of . Given a subspace of dimension , any basis yields a matrix 0. For each ordered 1-subset 2, the Plücker coordinate 3 is defined as the determinant of the 4 minor obtained from the columns indexed by 5: 6 The collection 7, up to simultaneous nonzero scaling, gives a point in projective space 8. The map
9
is the Plücker embedding of 0 (Ghatak, 2013).
These coordinates also arise naturally via wedge products: 1 with 2 a chosen basis of 3.
2. Quadratic Plücker Relations and the Geometry of the Grassmannian
The Plücker coordinates 4 are not arbitrary: not every point of 5 lies in the image. They must satisfy the homogeneous quadratic Plücker relations, which cut out the Grassmannian inside projective space. For 6 and 7: 8 These relations are fundamental to the geometry of the Grassmannian, enforcing the decomposability of the 9-vector and defining the ideal of relations for its projective embedding (Ghatak, 2013, Trautmann et al., 2013, Soskin et al., 2023).
For $\Gr(k, n)$0, Plücker relations specialize to the classical 3-term equations, and for general $\Gr(k, n)$1, they include the short and long Laplace-type relations.
3. Schubert Decomposition, Distance, and Coding Theory
Plücker coordinates are essential for the Schubert cell decomposition of the Grassmannian. Fix a flag $\Gr(k, n)$2, $\Gr(k, n)$3. For any $\Gr(k, n)$4-tuple $\Gr(k, n)$5, the Schubert cell $\Gr(k, n)$6 consists of all $\Gr(k, n)$7-planes $\Gr(k, n)$8 such that $\Gr(k, n)$9, equivalently: 0 This forms an affine cell of explicit dimension, and the Grassmannian decomposes into these cells (Ghatak, 2013).
In coding theory, these index sets provide a metric: given 1 corresponding to 2, the set symmetric difference 3 gives lower bounds for subspace and injection distances between subspaces: 4 This structure underpins code constructions such as subspace codes for network coding, Ferrers-diagram rank-metric codes, constant and non-constant dimension codes, all formulated in Plücker coordinates and their Schubert cell partition (Ghatak, 2013, Trautmann et al., 2013, Trautmann, 2012).
4. Algorithmic, Linear, and Cryptographic Applications
Efficient computation of all Plücker coordinates for cyclic orbit codes or Gabidulin codes is achieved using extension algebras and the exterior algebra, reducing computational complexity from naive 5 determinant evaluations to evaluation via algebraic actions in the exterior power (Trautmann, 2012).
In cryptographic contexts such as the Linear Code Equivalence problem, the permutation and diagonal action on the coordinates is direct:
- A permutation 6 acts by 7.
- Diagonal scaling 8 acts by 9.
Classical invariant theory then constructs complete systems of invariants under diagonal action as monomials in the Plücker coordinates lying in the kernel of the incidence matrix, used to algebraically model the code equivalence problem as a system of polynomial equations (Alecci et al., 10 Mar 2026).
5. Positivity, Total Nonnegativity, Representation Theory
In the theory of total positivity and its deep links to real Schubert calculus:
- For the totally nonnegative Grassmannian, all Plücker coordinates are nonnegative, and strong determinantal inequalities (oscillating or cluster-type) hold for weakly separated coordinates (Soskin et al., 2023).
- The universal Plücker coordinates, as commuting operators on the symmetric group algebra or via higher Gaudin Hamiltonians, generalize these coordinates to fibers of the Wronski map. For real 0 and nonnegative exponents, all such universal Plücker coordinates are positive semidefinite, leading to nonnegativity results for classical problems in real Schubert calculus (Karp et al., 2023, Karp et al., 2024).
6. Structural Extensions: Isotropic, Orthogonal, Super, and Tropical Settings
Isotropic/Lagrangian Grassmannians:
- The Lagrangian Grassmannian 1, consisting of maximal isotropic subspaces (with respect to a symplectic form), is cut out within the usual Grassmannian by explicit linear relations among the Plücker coordinates, arising from contraction with the symplectic form. This realizes 2 as a linear section (Carrillo-Pacheco et al., 2016).
- For the orthogonal Grassmannian and orthogonal matroids, Plücker coordinates become restricted to "transversals" and satisfy both the quadratic Plücker relations and further linear relations arising from isotropy, with values related via Cayley’s identities to Pfaffians (Ding et al., 27 Jan 2026, Balogh et al., 2020).
Supergeometry:
- In the super context, the Plücker embedding and coordinates are constructed in a weighted projective space built from both 3 and 4, with associated super Plücker relations and cluster structures (Shemyakova et al., 2019).
Tropical and Discrete Geometry:
- Plücker coordinates adapt to the tropical setup by using tropical determinants (max-plus algebra). The tropical Plücker relations require, for each appropriate minor, that the maximum be attained at least twice. This framework underlies the study of tropical linear spaces and best-fit projections in data analysis, including tropical principal component analysis and PCA for Gaussian mixtures (Miura et al., 2021).
7. Applications in Computer Vision, Optimization, and Beyond
3D Line Geometry and Pose Estimation:
- In 3D, a line is given in homogeneous coordinates as a 6-vector 5, with 6 (the Klein quadric constraint). Applications include linear projection of 3D lines into images for camera pose estimation, where one solves for the best-fit 7 pose using linear least squares followed by a constrained matrix decomposition (Přibyl et al., 2016). The "Plücker correction problem" seeks the nearest legitimate Plücker vector to a noisy 6-vector by projecting onto the Klein quadric, admitting an explicit closed-form global minimizer via Lagrange multipliers (Cardoso et al., 2016).
Cluster, Quantum, and Mirror Symmetry Structures:
- Plücker coordinates form the natural cluster variables in the Grassmannian’s homogeneous coordinate ring, and the twist map (via cluster mutations) has combinatorial and statistical mechanics (dimer partition function) interpretations (Marsh et al., 2013).
- Mirror symmetry superpotentials for flag varieties and Grassmannians are constructed in terms of explicit ratios and monomials of Plücker coordinates, with quantum cohomological and cluster structure interpretations (Kalashnikov, 2020).
Matroid Theory:
- Coordinate-wise powers of Plücker coordinates correspond to regular matroids; powering is only compatible with the Grassmannian geometry for regular matroids. This is reflected in the structure of representable arithmetic matroids and their lack of representability under powering unless the underlying matroid is regular (Lenz, 2017).
Decision Theory:
- Plücker coordinates encode the algebraic consistency of additive, skew-symmetric pairwise comparison matrices: the classical consistency identity 8 corresponds to the satisfaction of the 9 Plücker relations (Koczkodaj et al., 17 Jan 2025).
In all these domains, Plücker coordinates bridge linear algebra, projective and algebraic geometry, combinatorics, representation theory, and computation, functioning as a universal coordinate language for subspaces, codes, invariants, and positivity structures. Their defining quadratic relations govern the feasible region in projective geometry, while structural modifications (isotropic, super, tropical) adapt Plücker theories to new geometric and algebraic settings.