16.11.4 Tensor Exterior Product Graded Sign Behavior

Tensor Exterior Product Graded Sign Behavior is the derivation and detailed justification of the exponent (−1)^{pq} appearing in the graded commutativity law α∧β = (−1)^{pq}β∧α, obtained by counting exactly how many individual transpositions are required to move one block of arguments past another, rather than simply stating the formula as given.

Deriving the Exponent by Counting Transpositions

Setting Up the Block Swap

For α ∈ Λᵖ(V*) built from p covector factors and β ∈ Λᵍ(V*) built from q covector factors, converting α∧β into β∧α requires moving each of the q factors of β past each of the p factors of α, one transposition at a time.

Counting the Total Transpositions

Moving a single factor of β past all p factors of α requires exactly p adjacent transpositions. Since there are q such factors to move, the total number of transpositions needed is:

Each transposition contributes a factor of −1 to the overall sign, by the basic anticommutation relation u∧v = −v∧u, so the accumulated sign after all pq transpositions is exactly (−1)^{pq}.

Worked Illustration of the Counting

Moving a Degree-2 Block Past a Degree-3 Block

For α = a₁∧a₂ (degree p=2) and β = b₁∧b₂∧b₃ (degree q=3), moving b₁ past both a₁ and a₂ takes 2 transpositions, and the same for b₂ and for b₃, giving 2×3 = 6 transpositions total:

giving sign (−1)^6 = +1, matching (−1)^{pq} = (−1)^{2·3} = (−1)^6 = +1 exactly.

Contrasting a Positive and a Negative Case

For p = 2, q = 1, moving a single covector past two produces 2×1 = 2 transpositions, giving sign (−1)^2 = +1. Contrast this with p = 1, q = 1: only 1 transposition, giving the familiar negative sign −1, consistent with the basic anticommutation relation applied at its smallest scale.

Generalizing the Counting Argument

Independence from the Internal Structure of α and β

The counting argument depends only on the number of factors p and q in each block, not on which specific covectors make up α or β; this is why the exponent pq is universal across all pairs of alternating forms of the given degrees, rather than varying case by case.

Consistency Under Iteration

Applying the graded sign behavior twice — swapping α past β and then swapping back — returns the exponent to (pq) + (pq) = 2pq, always even, confirming (−1)^{2pq} = 1 and that swapping twice restores the original expression exactly, consistent with each individual transposition being its own inverse.

Special Cases Highlighted by the Formula

Both Odd Degree

When both p and q are odd, pq is odd, so α∧β = −β∧α; in particular, any odd-degree form anticommutes with itself in the graded sense, giving α∧α = 0 whenever α has odd degree, extending the basic v∧v=0 relation to all odd-degree elements of the exterior algebra, not just degree-1 covectors.

Either Degree Even

If either p or q is even, pq is even, so α∧β = +β∧α; forms of even degree commute with everything in the graded sense, behaving more like ordinary scalars with respect to the wedge product's sign behavior.

Diagram Summarizing the Graded Sign Cases