Plücker Ray Maps: Grassmannian & Isotropic Geometry

• Plücker ray maps are canonical projective embeddings that associate each N-plane with its decomposable exterior wedge product, defining a unique projective ray.
• They enable a deep connection between Plücker coordinates and Cartan (spinor) maps by linking determinants with Pfaffian line bundles through bilinear identities.
• This framework underpins applications in integrable systems and representation theory, offering explicit coordinate relations and a bridge between algebraic and geometric invariants.

The Plücker map, often referred to in projective-geometric contexts as a "ray map," provides a canonical embedding of a Grassmannian into a projective space by associating to each $N$-plane its exterior wedge product—a decomposable $N$-vector, thus identifying each point with a unique projective ray. In the context of the vector space $W=V\oplus V^*$, where $V$ is an $N$-dimensional complex vector space, this embedding plays a foundational role in relating the geometry of general and isotropic Grassmannians. Its structure also facilitates profound links with the theory of Cartan (spinor) maps, Pfaffian line bundles, and determinant identities of Cauchy-Binet type, particularly on the locus of maximal isotropic subspaces. The key results and constructions in this domain are summarized and rigorously developed in (Balogh et al., 2020).

1. Plücker Embedding and Ray Assignment

Let $V$ be a complex vector space of dimension $N$ and $V^*$ its dual. Consider $W=V\oplus V^*$, and the Grassmannian $Gr_N(W)$ of $N$0-dimensional subspaces $N$1. For any basis $N$2 of such a subspace, the exterior product $N$3 defines a projective equivalence class (a "ray") in $N$4. The classical Plücker map

$N$5

is thus viewed as the canonical "Plücker ray map". Each point of the Grassmannian is associated with a unique line (projective ray) in $N$6. The map acts compatibly with projective lines: a one-parameter family $N$7 in the Grassmannian traces a projective line in $N$8 under $N$9.

The Plücker coordinates are indexed by partitions $W=V\oplus V^*$0 whose Young diagrams fit within an $W=V\oplus V^*$1 square. In a combined basis $W=V\oplus V^*$2 for $W=V\oplus V^*$3, the decomposable $W=V\oplus V^*$4-vector can be expanded as

$W=V\oplus V^*$5

where $W=V\oplus V^*$6 for each $W=V\oplus V^*$7 minor $W=V\oplus V^*$8 determined by multi-index $W=V\oplus V^*$9.

2. Isotropic Grassmannians and the Cartan (Spinor) Map

On $V$0, introduce the canonical nondegenerate pairing $V$1 for $V$2, $V$3. The isotropic Grassmannian $V$4 consists of $V$5-planes $V$6 such that $V$7 for all $V$8.

Cartan’s construction realizes $V$9 as an irreducible Clifford (spinor) module under the action of

$N$0

where $N$1 acts by exterior and interior multiplication. For a maximal isotropic $N$2-plane $N$3, the operator product $N$4 yields a pure spinor in $N$5. The Cartan embedding is then

$N$6

The homogeneous coordinates $N$7—Cartan coordinates—are labeled by strict partitions $N$8 and are given by

$N$9

where $V$0 is the skew-symmetric $V$1 affine coordinate matrix, and $V$2 is the principal $V$3 submatrix.

3. Coordinate Description: Plücker and Cartan Systems

The Plücker coordinates $V$4 arise as determinants of $V$5 minors extracted from the $V$6 coordinate matrix $V$7 of the $V$8-plane $V$9. For isotropic $N$0-planes, affine coordinates $N$1 parameterize the "big cell" in the Grassmannian, and the Cartan coordinates are determined as Pfaffians of principal submatrices.

Object	Coordinates	Explicit Construction
General $N$2-plane $N$3	Plücker $N$4	$N$5
Isotropic $N$6-plane $N$7	Cartan $N$8	$N$9

This coordinate system enables explicit computations and forms the basis for the bilinear relations between these two embeddings on the isotropic locus.

4. Bilinear Identities: Cauchy–Binet–Pfaffian Relation

A fundamental connection arises between the Plücker and Cartan embeddings through a quadratic map $V^*$0 induced by the spin–pairing. Explicitly, for the isotropic locus, one has

$V^*$1

in particular, the image of the Cartan map under this quadratic spinor pairing is precisely the Plücker image.

In coordinates, this gives a Pfaffian analogue of the Cauchy–Binet formula. Let $V^*$2 be the affine coordinate matrix, and $V^*$3, $V^*$4, then for $V^*$5 the $V^*$6 submatrix,

$V^*$7

where the exponents $V^*$8 and $V^*$9 are combinatorial. Thus, each Plücker coordinate is bilinear in the Cartan coordinates, precisely reflecting the factorization through the Segre embedding.

5. Geometric Interplay: Line Bundles and Embedding Factorization

The Plücker embedding realizes $W=V\oplus V^*$0 as the variety of decomposable $W=V\oplus V^*$1-vectors in $W=V\oplus V^*$2, with each point corresponding to a "ray." Projective lines in the Grassmannian are mapped to projective lines in the image. On $W=V\oplus V^*$3, the Cartan map produces a subvariety of pure spinors in $W=V\oplus V^*$4, with homogeneous Cartan coordinates realizing holomorphic sections of the dual Pfaffian line bundle $W=V\oplus V^*$5.

A central identity identifies the restriction of the determinantal line bundle $W=V\oplus V^*$6 to $W=V\oplus V^*$7 in terms of the square of the Pfaffian line bundle, and expresses the Plücker embedding as the composite of the Segre embedding

$W=V\oplus V^*$8

with the Cartan map diagonally. This shows that on isotropic $W=V\oplus V^*$9-planes, the determinant-type Plücker coordinates factor through the quadratic pairing of spinor-type (Pfaffian) coordinates.

6. Context and Implications in Representation and Integrable Systems

The framework is motivated by, and directly applies to, the study of $Gr_N(W)$0-functions of the KP and BKP integrable hierarchies, which are interpreted as sections of determinantal and Pfaffian line bundles over infinite-dimensional Grassmannians. In finite-dimensional settings, these maps make explicit the interplay of exterior algebra, Clifford modules, and projective geometry.

This approach establishes important links between classical invariants in linear algebra (determinants, Pfaffians), projective algebraic geometry, and the representation theory of symmetric spaces, with far-reaching consequences for the study of integrable systems, representation theory of Lie algebras, and the geometry of moduli spaces (Balogh et al., 2020).