16.8 Tensor Alternating Bilinear Form Structure

Tensor Alternating Bilinear Form Structure is the complete algebraic organization of alternating bilinear forms on a vector space, encompassing their defining relations, their representation as skew-symmetric matrices, the vector space they collectively form, and the special role rank-2 alternating tensors play as the simplest nontrivial case of the general alternating tensor theory.

Defining Structure

The Bilinear Form as a Map

An alternating bilinear form is a map B: V × V → 𝔽 that is linear in each argument separately and satisfies the alternating condition:

This structure sits at the intersection of two broader frameworks: it is a special case of general bilinear forms (restricted by antisymmetry) and the rank-2 instance of the general alternating tensor family.

Structural Placement Within Λ²(V)

The set of all alternating bilinear forms on V is precisely Λ²(V), the second exterior power of the dual space, giving the bilinear form structure a home inside the broader exterior algebra rather than treating it as an isolated special topic.

Vector Space Structure

Closure Under Combination

The set of alternating bilinear forms on V is closed under addition and scalar multiplication, since both operations preserve the alternating condition componentwise; this makes Λ²(V) a vector space in its own right, with dimension:

for n = dim(V).

Basis of the Space

A natural basis for Λ²(V) is given by the wedge products eᵢ* ∧ eⱼ* of dual basis covectors for i < j, and every alternating bilinear form decomposes uniquely as a linear combination of these C(n,2) basis elements.

Matrix Representation Structure

The Skew-Symmetric Matrix Correspondence

Fixing a basis identifies each alternating bilinear form with a unique skew-symmetric matrix M satisfying Mᵀ = −M:

and this correspondence is a linear isomorphism between Λ²(V) and the space of skew-symmetric n × n matrices.

Rank of the Structure

The rank of the skew-symmetric matrix M — always even, by a standard structural theorem — determines the effective dimensionality of the alternating bilinear form's nondegenerate part, and forms a key structural invariant distinguishing different alternating bilinear forms up to linear equivalence.

Canonical Form Structure

The Standard Symplectic Block Form

Every alternating bilinear form of even rank 2m on an n-dimensional space can be brought, by an appropriate change of basis, to a canonical block-diagonal form built from 2 × 2 blocks:

This canonical form is the structural classification theorem for alternating bilinear forms: up to basis change, the only invariant distinguishing two such forms is their rank.

Nondegenerate Case: Symplectic Structure

When the rank equals n (forcing n to be even), the alternating bilinear form is nondegenerate and defines a symplectic structure on V, the foundational object of symplectic geometry and Hamiltonian mechanics.

Relationship to Determinant and Pfaffian

The Pfaffian as a Structural Invariant

For an alternating bilinear form of even rank on an even-dimensional space, the Pfaffian is a polynomial invariant satisfying Pf(M)² = det(M), giving a finer structural invariant than the determinant alone, unique to the alternating (skew-symmetric) setting.

Diagram of the Structural Layers