16.8.2 Tensor Alternating Bilinear Slot Exchange
Tensor Alternating Bilinear Slot Exchange swaps tensor slots in bilinear forms, preserving antisymmetry and defining structures in multilinear algebra.
Tensor Alternating Bilinear Slot Exchange is the exchange operation specific to rank-2 alternating tensors, swapping the two and only two argument slots that a bilinear form possesses, the simplest possible instance of argument exchange and the base case from which all higher-rank exchange behavior is built.
The Exchange Operation for Two Slots
Definition Restricted to Bilinearity
A bilinear form B: V × V → ℝ has exactly two argument slots. The alternating bilinear slot exchange operation swaps the contents of these two slots and nothing else:
Because there are only two slots, this is the only possible nontrivial exchange available, in contrast to higher-rank tensors where many different pairs of slots could be chosen.
The Governing Alternating Relation
For B to qualify as alternating, the slot exchange must satisfy:
with no exceptions across all choices of u and v in V.
The Two-Slot Case as a Complete Case Study
No Composition of Multiple Exchanges Needed
Unlike rank-3 or higher tensors, where different exchanges can be composed into more complex permutations (3-cycles, 4-cycles, and so on), a bilinear form's slot exchange has only one nontrivial permutation to consider: the single transposition of its two slots. The symmetric group on two slots, S₂, has only two elements — identity and the single transposition — so there is no room for the odd/even permutation distinction to produce any variety beyond this one case.
Direct Matrix Correspondence
Relative to a basis, the slot exchange translates immediately into the transpose operation on the matrix representing B:
so the alternating requirement B(v,u) = −B(u,v) becomes exactly the skew-symmetric matrix condition Mᵀ = −M.
Consequences Special to Two Slots
Immediate Diagonal Vanishing
Applying the slot exchange with u = v gives B(v,v) = −B(v,v), forcing B(v,v) = 0 for every vector v — the two-slot instance of the general repeated-argument vanishing rule, here derivable in a single step since there is no third slot to hold fixed during the argument.
Every Alternating Bilinear Form Is a 2-Form
Because the exchange behavior is fully determined by the single transposition of two slots, every alternating bilinear form coincides exactly with what is called a "2-form" in the exterior algebra sense; there is no additional generality possible at rank 2 beyond what slot exchange already captures.
Slot Exchange and the Canonical Skew Structure
Recovering the Independent Component Count
Applying slot exchange to every off-diagonal pair of basis indices (i,j) with i < j shows that B_{ji} = −B_{ij}, and combined with the vanishing diagonal, the independent data of B reduces to the C(n,2) = n(n−1)/2 values B_{ij} for i < j, matching the general redundancy reduction formula specialized to k = 2.
The Symplectic Form as a Distinguished Instance
A particularly important instance of alternating bilinear slot exchange appears in symplectic geometry, where a nondegenerate alternating bilinear form ω satisfying this exchange relation is used to define symplectic structure; the slot exchange condition ω(v,u) = −ω(u,v) is precisely what distinguishes a symplectic form from an inner product, which instead satisfies the opposite, symmetric exchange relation.