Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I made some changes to bivector. While the idea section is correct (and should be strictly adhered to!) but the previous definition is wrong in general! The previous definition is consistent and used in wikipedia but it misses both the direct relation of bivectors, trivectors and general polyvectors to determinants as well as the standard nontrivial usage of bivectors in analytic geometry wher bivectors define equivalence classes of parallelograms and in particular with a point in space given define an affine plane. If we adhere to wikipedia and not to standard treatments in geometry (e.g. M M Postnikov, Analytic geometry) then we miss the nontriviality of the notion of bivector and its meaning which is more precise than that of a general element in the second exterior power.
Bivector in a vector space $V$ is not any element in the second exterior power, but a DECOMPOSABLE vector in the second tensor power – in general dimension just such elements in $\Lambda^2 V$ have the intended geometric meaning and define vector 2-subspaces and of course affine 2-subspaces if a point in the 2-subspace is given. It is true that every bivector in 2-d or in 3-d space is decomposable, but in dimension 4 this is already not true. Thus the bivectors form a vector space just in the dimensions up to $3$. Similarly, trivectors form a vector space just in the dimensions up to $4$. In the context of differential graded algebras, polyvector fields are usually taken as arbitrary elements in the exterior powers of vector fields.
There should be disambiguation in the entry that the term is used in two senses, one more general, one more restrictive. Both are in use in different contexts.
1 to 2 of 2