16.4.1 Tensor Antisymmetric Slot Exchange Relation

The Tensor Antisymmetric Slot Exchange Relation describes how swapping indices in an antisymmetric tensor changes its sign, a fundamental property in algebraic structures.

Tensor Antisymmetric Slot Exchange Relation is the relation that isolates the tensor's argument positions, or "slots," as the objects being exchanged, rather than the values occupying them, framing antisymmetry as a statement about how the tensor responds to relabeling which slot a given vector is fed into.

Slots versus Values

Distinguishing Slot Position from Slot Content

A rank-k tensor T accepts k arguments into k ordered slots. The slot exchange relation concerns what happens when the assignment of vectors to slots is swapped, holding the actual vectors themselves fixed:

T : \times_{i = 1}^{k} V \to ℝ

with slots labeled 1 through k. The exchange relation swaps the labels a and b on two slots while the vectors previously assigned to them move together with their new labels.

The Slot Exchange Equation

The relation states that exchanging slots a and b negates the tensor's output:

T (v_{1}, \dots, \underset{↑}{v_{a}}, \dots, \underset{↑}{v_{b}}, \dots) = - T (v_{1}, \dots, \underset{↑}{v_{b}}, \dots, \underset{↑}{v_{a}}, \dots)

with the up-arrows marking that the slot positions a and b have traded their contents.

Why the Slot Framing Matters

Slots as the True Object of Antisymmetry

Framing antisymmetry in terms of slot exchange rather than value exchange clarifies a subtle point: the relation is a statement about the map T itself — how it is built structurally — not about any specific vectors passed into it. Two different vectors, or even the same vector repeated, are both covered uniformly by the same slot exchange rule.

Independence from the Vector Space

Because the relation is phrased purely in terms of slot labels, it applies identically whether V is a space of physical displacement vectors, abstract coordinate vectors, or covectors; the slot exchange relation is a property of the multilinear map's index structure, not of the geometric interpretation assigned to V.

Composing Slot Exchanges

Sequential Exchange as Slot Permutation

A sequence of pairwise slot exchanges composes into an overall permutation π of the k slot labels, and the accumulated sign is the signature of π:

T \circ π = sgn (π) T

where T ∘ π denotes the tensor evaluated with its slots permuted according to π.

Identity and Inverse Exchanges

The slot exchange relation respects the group structure of permutations: the identity permutation leaves T unchanged (sgn = +1), and reversing an exchange (applying its inverse, which for a transposition is itself) restores the original assignment, consistent with sgn(π⁻¹) = sgn(π).

Slot Exchange and Fixed Slots

Partial Exchange with Untouched Slots

When only some slots are exchanged and others are left fixed, the slot exchange relation applies only to the swapped pair, and every fixed slot contributes no sign change:

T (v_{1}, \underset{↑}{v_{3}}, v_{2}, \underset{↑}{v_{4}}) = - T (v_{1}, \underset{↑}{v_{4}}, v_{2}, \underset{↑}{v_{3}})

illustrating that slots 1 and 2 remain untouched throughout, contributing exactly zero sign factors to the exchange between slots 3 and 4.

Degenerate Slot Exchange

If the vectors occupying two exchanged slots happen to be identical, the exchange relation produces no observable change in content, yet still demands a sign flip, forcing the only consistent value to be zero — the same collapse seen throughout the antisymmetric tensor relation family.

Diagram of Slot Exchange

The slots themselves stay in place as labeled positions; only their assigned contents trade places, and it is this trade — not any change in the vectors' own values — that the slot exchange relation governs.