Notes on Plücker s Relations in Geometric Algebra Garret Sobczyk Universidad de las Américas-Puebla Departamento de Físico-Matemáticas 72820 Puebla, Pue., México Email: garretudla@gmail.com January 21, 2019 Abstract Grassmannians are of fundamental importance in projective geometry, algebraic geometry, and representation theory. A vast literature has grown up utilizing using many different languages of higher mathematics, such as multilinear and tensor algebra, matroid theory, and Lie groups and Lie algebras. Here we explore the basic idea of the Plücker relations in Clifford s geometric algebra. We discover that the Plücker relations can be fully characterized in terms of the geometric product, without the need for a confusing hodgepodge of many different formalisms and mathematical traditions found in the literature. AMS Subject Classification: 14M15, 14A25, 15A66, 15A75 Keywords: Clifford geometric algebras, Grassmannians, matroids, Pauli matrices, Plücker relations 0 Introduction The standard treatments of the Plücker relations rely heavily on the concept of a vector space, its dual vector space, and generalizations. More elementary treatments express the basic ideas in terms of familiar matrices and determinants. Here we exploit a powerful formalism that was invented 140 years ago by William Kingdon Clifford. Clifford himself dubbed this formalism, a generalization of the works of H. Grassmann and W. Hamilton, geometric algebra, but it is often referred to today as Clifford algebra. It is well known that Clifford s geometric algebras are algebraically isomorphic to matrix algebras over the real or complex numbers. However, what is lacking is the recognition that whereas geometric algebras give a comprehensive geometrical interpretation to matrices, they also provide a way of unifying vectors and their duals into a rich algebraic structure that is missed in the standard 1
treatment of vector spaces and their dual spaces as separate objects. Our study of the famous Plücker relations utilizes the powerful higher dimensional vector analysis of geometric algebra. When the Plücker relations are satisfied, an explicit factorization of an r-vector into the outer product of r vectors is found. Also, a new characterization of the Plücker relations is given. Let a and b be two non-zero null vector generators of a real or complex associative algebra, R(a, b) or C(a, b), respectively, with the identity 1, and satisfying the rules 1) a 2 = 0 = b 2, and 2) ab + ba = 1. (1) From these rules, a multiplication table for these elements is easily constructed, given in Table 1. Table 1: Multiplication Table. a b ab ba a 0 ab 0 a b ba 0 b 0 ab a 0 ab 0 ba 0 b 0 ba The null vectors a and b are dual to one another in the sense that the symmetric inner product of a and b, defined by a b := 1 2 (ab + ba) = 1 2. In addition, the outer product of a and b, gives the bivector with the property a b := 1 (ab ba), 2 (a b) 2 = 1 4 (ab ba)2 = 1 4 (ab + ba) = 1 4 so a b := 1 2. Taking the sum of the above inner and outer products shows that the geometric (Clifford) product of the reciprocal null vectors a and b is the primitive idempotent ab = a b + a b, already identified in Table 1. More details for the interested reader of the construction of basic geometric algebras, obtained from R(a, b) and C(a, b), and by taking the Kronecker products of such algebras, is deferred to the Appendix. Geometric algebras are considered here to be the natural geometrization of the real and complex number sytems; an overview is provided in [9]. We use exclusively the language of geometric algebra, developed in the books [6, 12]. 2
Plücker s coordinates are briefly touched upon on page 30 of [6], but Plücker s relations are not discussed. These relations characterize when an r-vector B in the geometric algebra G n := G(R n ), or G n (C) := G(C n ), of an n-dimensional (real or complex) Euclidean vector space R n, or C n, respectively, can be expressed as an outer product of r-vectors. Several references to the relevant literature, and its more advanced applications, are [1, 2], [3, pp.227-231], [5], [7, pp.144-148], and [13]. 1 Plücker s relations in geometric algebra A general geometric number g G n is the sum of its k-vector parts, g = n g k, k=0 where the k-vector g k G k n is in the linear subspace G k n of k-vectors in G n, and the 0-vector part g 0 G 0 n R. A nonzero r-vector B G r n is said to be an r-blade if B = v 1 v r for vectors v 1,..., v r G 1 n, Let B = J m B Jm e Jm be an r-vector expanded in the standard orthonormal basis of r-vector blades e Jm := e j1 e j2 e jr G r n, ordered lexicographically, with J m = {j 1,, j r } for 1 j 1 < < j r n, and let #(J p J m ) be the number of integers that the sequences J p and J m have in common. For example, if J p = {12345} and J m = {45678}, then #(J p J m ) = 2. The reverse g of a geometric number g G n is obtained by reversing the order of all of the geometric products of the vectors which define g. Lemma 1 In the standard orthonormal basis {e i } n i=1 of G n, an r-vector B G r n, expanded in this basis, is given by B = m B Jm e Jm, (2) where B Jk = B e J k. Proof: In the orthonormal r-vector basis {e Jm }, the r-vector B G r n is given by n r B = B Jk e Jk k=1 Dotting both sides of this equations with e J m, the reverse of e Jm, shows that B Jm = B e J m, since e Jk e J m = δ k,m. 3
Definition 1 A non-zero r-vector B G r n is said to be divisible by a non-zero k-blade K G k n, where k r, if KB = KB r k. If k = r, B is said to be totally decomposable by K. If B is divisible by the k-blade L, then B = L(LB) L 2 = L L B L 2. (3) If B is totally decomposable by L, then B = βl for β = L B L R. Clearly, a 2 totally decomposable r-vector is an r-blade. A classical result is that an r-vector B = m B J m e Jm G r n is an r-blade iff B satisfies the Plücker relations. The Plücker relations, [4, Thm1(1)], are (A B) B = 0 (4) for all (r 1)-vectors A G r 1 n. In particular, for all coordinate (r 1)-vectors e Kp G r 1 n, (e Kp B) B = 0. Since an r-blade trivially satisfies the Plücker relations, it follows that if there is a coordinate (r 1)-blade e K, such that (e K B) B 0, then B is not an r-blade. For every coordinate (r 1)-blade e Kp, there is a coordinate r-blade e Jp, generally not unique, and a coordinate vector e jp, satisfying e Jp = ±e jp e Kp e jp e Jp = ±e Kp. (5) Indeed, when e Kp B 0, we always pick the coordinate vector e jp, and rearrange the order of K p = ±K jp, in such a way that B Jjp = (e jp e Kjp ) B 0. It follows that the Plücker relations (4) are equivalent to [ ] [ ] e jp e Kjp B B = B Jjp B e Kjp B e jp B = 0, or equivalently, ) ] B = B 1 J jp [(e Kjp B e jp B, (6) for all coordinate (r 1)-blades e Kp Gn r 1 for which e Kp B 0. It follows that when the Plücker relation (4) is satisfied, then the vector e Kp B divides B. For a given non-zero r-vector B = m B J m e Jm G r n, let # max S be the maximal number of linearly independent vectors in the set S B = {e Kj B e Kj G r 1 n }. (7) Lemma 2 Given an r-vector B 0, and the set S B defined in (7). Then r # max S n, and # max = r only if B is an r-blade. 4
Proof: Since B 0, it follows that B Jm 0 for some n 1 m. r For each such e Jm, there are r possible choices for e Kj obtained by picking K j J m, and the subset of S B generated by them are linearly independent. It follows that r # max S B n. Suppose now that r < # max S B. To complete the proof of the Lemma, we show that there is a Plücker relation that is not satisfied for B, so it cannot be an r-blade. Let L = (e K1 B) (e Kk B) 0, be the outer product of the maximal number of linearly independent vectors from S B. Then k > r and LB = L B 0. Letting w = [ (e K1 B) (e Kr+1 B) ] B G 1 n, it follows that w 0, and w 2 = [ (e K1 B) (e Kr+1 B) ] (B w) 0. Since w 2 0, it follows that w B 0. Using the identity w = [ (e K1 B) (e Kr+1 B) ] B = (e K1 B) [ (e K2 B) (e Kr+1 B) ] B (e K2 B) [ (e K1 B) 2 (e Kr+1 B) ] B + + ( 1) r (e Kr+1 B) [ (e K1 B) (e Kr B) ] B, where i means we are omitting the term e Ki B in the exterior product. It follows that r w B = ( 1) i+1 α i (e Ki B) B 0, i=1 where α i := [ (e K1 B) i (e Kr+1 B) ] B R. But this implies that α j (e Kj B) B 0 for some j, so B is not an r-blade. On the other hand, if # max S = r, then for L = (e K1 B) (e Kr B), LB = L B R, and using (3), is an r-blade. B = L B L 2 L As a direct consequence of Lemma 2, we have Theorem 1 For 2 r n, a non-zero r-vector B G r n is an r-blade iff the Plücker relations (4) are satisfied. When the Plücker relations are satified, then B = L B L L for the r-blade L defined in the last paragraph of the proof of Lemma 2 2. 5
2 Examples Everybodies favorite example is when r = 2 and n = 4. A general non-zero 2-vector B G 2 4 has the form B = 6 B Jm e Jm G 2 4. m=1 Since B 0, at least one component B Jp e ij 0. Without loss of generality, we can assume e ij = e 12. It follows that the Plücker relation (6) for this component is [ (e1 B = B12 1 B ) ( e 2 B )] [ ] = B12 1 (B 12 e 2 + B 13 e 3 + B 14 e 4 ) ( B 12 e 1 + B 23 e 3 + B 24 e 4 ). (8) Since 2(e i B) B = e i (B B) = (B 12 B 34 B 13 B 24 + B 14 B 23 )e i e 1234, it follows that B is a 2-blade iff B B = 0, or equivalently, B 12 B 34 B 13 B 24 + B 14 B 23 = 0. (9) This occurs when B is totally decomposable, given in (8). More generally, a similar argument holds true for r = 2 and any n > 4, but with more Plücker relations (9) to be satisfied. To get more insight into what is going on, let B = m B J m e Jm G r n be a general r-vector. Following [8], we calculate B 2 = B Jm B Jp e Jm e Jp = B Jm B Jp e Jm e Jp + B Jm B Jp e Jm e Jp m,p m=p m p = B Jm B Jp e Jm e Jp + m=p m<p B Jm B Jp (1 + ( 1) r k) e Jm e Jp, (10) where k = #(J m J p ), showing that B 2 = B 2 0 if r and k have different parity for all values of m < p. Consider B = e 123 + e 456 G 3 6. It is easy to show, using (4), that B is not a 3-blade, since (e 12 B) B = e 3 B = e 3456 0. (11) Note, however, that B 2 = 2, as also follows from (10) since k and r have opposite parities. Clearly, the condition B 2 B 2 0 = 0 is not sufficient to guarantee that B is an r-blade, but B 2 B 2 0 guarantees that B is not an r-blade. In [8], Nguyen expresses the Plücker Relations differently, and gives a different proof. The following Theorem shows that Nguyen s Plücker Relations are equivalent to definition (4). Let e K denote an arbitrary coordinate (r 1)-vector in G r 1 n. 6
Theorem 2 A non-zero r-vector B G r n is an r-blade iff both the conditions are satisfied. B 2 = B B, and BvB G 1 n for all v = e K B G 1 n, Proof: It is easy to show that if B G r n is an r-blade, then both of the conditions in the Theorem are true. To complete the proof we must only show that if both conditions are not satisfied, then B is not an r-blade. If B 2 B B, then B is not an r-blade, so it is only left to show that if B 2 = B B and BvB G n n, then B is not an r-blade. The following identity is needed: BvB = B(v B + v B) = B(v B) + B(v B) = B (v B) + B (v B) + B(vB) 3,5, (12) Suppose now that B 2 = B B and BvB G 1 n for some v = e K B. The identity (12) implies that BvB 3,5, 0. We also know that so that 2B v = Bv + ( 1) r vb Bv = 2B v ( 1) r vb, BvB 3,5, = ( 2B v ( 1) r vb ) B 3,5, = 2 ( B v ) B 3,5, 0, since B 2 = B B. But this implies that B (e K B) 0, so by (4), B is not an r-blade. S m ooooxxxxx xxxxxoooo Sp Figure 1: Shows S m and S p in the case for odd r = 9, with an odd overlap k = 5. In this case we choose e K = e j2 j 9, the j 2, j 9 are the last 8 digits of S m. A similar construction applies when r and k are even. Note that (4) is fully equivalent to the conditions in the Theorem 2. If B 2 B B then there is at least one e K G r 1 1 such that (e K B) B 0. This follows from the coordinate expansion of B given in (10), because the parity condition allows us to find at least one non-zero B Jm B Jp e Jm e Jp, with overlap k = #(S Jm S Jp ), such that (e K B) B 0. We simply pick e K in such a way that K S Jm, but #(K J p ) r 2, see Figure 1. In the example (11), B is not a 3-blade because even though B 2 = B B, for e 12 B = e 3, Be 3 B = 2e 12456 G 5 6. 7
It is also interesting to note that just as B 2 = B B whenever B is an r-vector satisfying the Plücker relations (4), BvB = ( 1) r+1 (B B)v for all v = e K B whenever B is an r-vector satisfying the Plücker Relations (4). This follows from the identity BvB = B[2v B + ( 1) r+1 Bv] = ( 1) r+1 B 2 v v B = 0 for all v = e K B, when B satisfies the Plücker relations (4). Let us consider now some other examples. For the 3-vector B G 3 5, B := 2e 134 + e 145 2e 234 + e 245 + e 315 + e 325 + e 345, it is easily verified that the Plücker relations (e 41 B) B = (2e 3 + e 5 ) B = 0, e 54 B = (e 1 + e 2 + e 3 ) B = 0, e 13 B = (2e 4 + e 5 ) B = 0, and that the vectors (e 41 B) = 2e 3 +e5, (e 54 B) = (e 1 +e 2 +e 3 ), e 13 B = 2e 4 +e5 are linearly independent. Applying Theorem 1, with For L = (e 1 + e 2 + e 3 ) (2e 3 + e 5 ) (2e 4 + e5) B = L B L 2 L = 1 2 L. we find that but B = e 123 + e 124 + e 125 + e 126 + e 345 + e 346 + e 356 + e 456 G 3 6, (e 21 B) B = (B 123 B 456 B 124 B 356 + B 125 B 346 B 126 B 345 )e 3456 +(B 123 B 145 B 124 B 135 + B 125 B 134 )e 1345 + +(B 124 B 156 B 125 B 146 + B 126 B 145 )e 1456 = 0, (e 13 B) B = e 2 B = e 2456 + e 2356 + e 2346 + e 2345 0. Since (e 21 B) B = 0, it is divisible by e 12 B. Using (6), we find that B = (e 21 B) (e 3 B) = (e 3 + e 4 + e 5 + e 6 ) (e 12 + e 56 + e 46 + e 45 ). But since it does not satisfy the second condition, it is not totally decomposable. As a final example, consider B = (e 1 + e 2 + e 3 + e 4 ) (e 23 + e 34 + e 46 ) G 3 6. There are no non-zero vectors of the form e ij B such that (e ij B) B = 0. However, the 2-blade e 36 e 46, satisfying does divide B, since (S B) B = 0. (e 36 e 46 ) B = e 1 + e 2 + e 3 + e 4 8
Appendix: Geometric matrices g11 g Let [g] := 12 be a real matrix in Mat g 21 g 2 (R). Since R(a, b) is an associative algebra, the module Mat 2 R(a, b) is well-defined. We use the matrix 22 [g] to define the unique element g R(a, b), specified by g11 g g := ( ba a ) 12 ba = g g 21 g 22 b 11 ba + g 12 b + g 21 a + g 22 ab. We say that [g] is the matrix of g R(a, b) with respect to the Witt basis of null vectors, {a, b}, over the real numbers R. It is easy to show that this establishes an algebraic isomorphism between R(a, b) and Mat 2 (R), [10]. The standard orthonormal basis {e 1, f 1 } of the geometric algebra G 1,1 := R(e 1, f 1 ) R(a, b) is and satisfies the rules e 1 := a + b, and f 1 := a b, 1) e 2 1 = 1 = f 2 1, and 2) e 1 f 1 = f 1 e 1. (13) The geometric algebra G 1,1 := R(e 1, f 1 ), defined by the rules (13), is nothing more than a change of basis, from the Witt basis of null vectors (1) to standard orthonormal basis (13). As a linear space over R, G 1,1 = span R {1, e 1, f 1, e 1 f 1 }. In terms of the null basis, the bivector e 1 f 1 = (a+b)(a b) = ba ab = 2b a. Letting u 1 = ba = 1 2 (1 + e 1f 1 ), the matrices of the standard basis vectors, are ba 0 1 1 e 1 = ( ba a ) [e 1 ] = ( 1 e a 1 ) u 1, 1 0 e 1 and f 1 = ( ba a ) [e 1 ] ba 0 1 1 = ( 1 e a 1 ) u 1. 1 0 e 1 The matrix of the bivector e 1 f 1, is then easily found to be 0 1 0 1 [e 1 f 1 ] = [e 1 ][f 1 ] = = 1 0 1 0 ( 1 0 0 1 By complexifying the basis vector f 1 G 1,1, we obtain the geometric algebra G 3, a geometric interpretation of the famous Pauli matrices, and a geometric interpretation of the imaginary i = 1. We define G 3 := R(e 1, e 2, e 3 ), ). 9
where e 2 := if 1 and e 3 := e 1 f 1. It then follows that e 123 = e 1 if 1 e 1 f 1 = i, giving imaginary unit i the geometric interpretation of the unit trivector e 123 G 3 3. Note also the unit vector e 3, along the z-axis of R 3 is identified with the bivector e 1 f 1 G 2 1,1. The Pauli matrices [e k ], satisfying are given by [e 1 ] = e k = ( ba a ) [e k ] 0 1, [e 1 0 2 ] = ba, b 0 i 1 0, [e i 0 3 ] =. 0 1 Geometric matrices of real or complex higher dimensional geometric algebras G n,n := G(R n,n ), or G n,n (C) := G(C n ), are obtained by taking directed Kronecker products of blocks of pairs of null vectors {a k, b k }, each block satisfying the rules (1), in addition to being anti-commutative. That is a i a j = a j a i, b i b j = b j b i, a i b j = b j a i, for all 1 i, j n and i j. For example, the geometric matrix [g] Mat 4 (R) defines the geometric number g G 2,2, given by g := ( 1 a 1 ) 1 ( 1 a 2 ) u 12 [g] 1 b 2 b 1 = ( 1 a 1 a 2 a 12 ) u 12 [g] where u 12 = u 1 u 2 = b 1 a 1 b 2 a 2. Details of the general construction can be found in [11]. Acknowledgement I thank Dr. Dung B. Nguyen for calling my attention to the problem of expressing and proving the Plücker relations in geometric algebra. This work is the result of many email exchanges with him, false starts, and trying to understand the roots of the vast literature on the subject and its generalizations. The reviewer s suggestions for improvements were extremely valuable to the author in making the final revision of the manuscript. References [1] F. Ardila, The Geometry of Matroids, Notices of the AMS, Vol. 65, No. 8, Sept. 2018. [2] A. Dress and W. Wenzel, Grassmann-Plücker Relations and Matroids with Coefficients, Advances in Mathematics 86, 68-110 (1991). 1 b 1 b 2 b 21, 10
[3] W. Fulton, J. Harris, Representation Theory: A First Course, Springer- Verlag 1991. [4] M.G. Eastwood and P.W. Michor, Some Remarks on the Plücker Relations, Rendiconti del Circolo Matematico di Palermo, Serie II, Suppl. 63 (2000), 85-88. https://www.mat.univie.ac.at/ michor/plue-lon.pdf [5] J. Harris, Algebraic Geometry: A First Course, Spring, p.63-71, 1992. http://math.rice.edu/ẽvanmb/math465spring11/ Harris-Grassmannians.pdf [6] D. Hestenes and G. Sobczyk. Clifford Algebra to Geometric Calculus: A Unified Language for Mathematics and Physics, 2nd edition, Kluwer 1992. [7] J. Milne, Algebraic Geometry, Version 6.06, March 2017, pp. 144-148. http://www.jmilne.org/math/coursenotes/ag.pdf [8] D. B. Nguyen, Plücker s Relations, Geometric Algebra, and the Electromagnetic Field, unpublished version: Sept. 3, 2018. [9] G. Sobczyk, Geometrization of the Real Number System, July, 2017. http://www.garretstar.com/geonum2017.pdf [10] G. Sobczyk, Hyperbolic Numbers Revisited, preprint 2017. http://www.garretstar.com/hyprevisited12-17-2017.pdf [11] G. Sobczyk, Geometric Matrices and the Symmetric Group, 2018. https://arxiv.org/pdf/1808.02363.pdf [12] G. Sobczyk, New Foundations in Mathematics: The Geometric Concept of Number, Birkhäuser, New York 2013. [13] C.T.C. Wall, Plücker formulae for curves in high dimensions, University of Liverpool, 2008. https://www.liverpool.ac.uk/ ctcw/pluckd.pdf 11