16.13.2 Tensor Exterior Power Degree

The Tensor Exterior Power Degree measures the dimension of the exterior algebra generated by a tensor space, revealing its structure through graded components.

Tensor Exterior Power Degree is the integer index k that labels which exterior power Λᵏ(V) of a vector space V is being considered, and it simultaneously indicates the number of vectors wedged together to form the elements of that space. It is the grading parameter that organizes the exterior algebra into distinct layers, each with its own dimension, geometric meaning, and algebraic behavior under the wedge product.

Degree as a Grading Index

Placement Within the Graded Algebra

The full exterior algebra Λ(V) decomposes as a direct sum over all possible degrees:

Λ (V) = \oplus_{k = 0}^{n} Λ^{k} (V)

Here each k denotes a degree, and Λᵏ(V) is called the homogeneous component of degree k. An element of the exterior algebra is called homogeneous of degree k if it lies entirely within Λᵏ(V), meaning it is expressible purely as a linear combination of wedge products each involving exactly k vectors.

Degree of a Simple Wedge Product

For a simple wedge product of vectors v₁, v₂, ..., vₖ, each drawn from V, the degree of the resulting element is exactly k, the number of factors:

deg (v_{1} \land v_{2} \land \dots \land v_{k}) = k

This degree is invariant under reordering of the factors, since permuting them only introduces a sign, never changing how many vectors participate in the product.

Additivity Under the Wedge Product

Degree Addition Rule

The wedge product respects the grading in an additive way: wedging an element of degree p with an element of degree q produces an element of degree p + q:

Λ^{p} (V) \land Λ^{q} (V) \subseteq Λ^{p + q} (V)

This additivity is what makes the exterior algebra a graded algebra rather than merely a direct sum of unrelated vector spaces: the multiplication structure is compatible with, and organized by, the degree.

Consequence for Graded Commutativity

The sign that appears when two homogeneous elements are swapped depends explicitly on their degrees. For α of degree p and β of degree q:

α \land β = (- 1)^{p q} (β \land α)

This shows that the degree is not merely a labeling convenience but an active parameter controlling the algebra's multiplicative sign behavior.

Bounds on Degree

Lower Bound

The smallest possible degree is zero, corresponding to Λ⁰(V), which consists of scalars from the base field and is one-dimensional regardless of the dimension of V.

Upper Bound Determined by Dimension

For a vector space of dimension n, the degree is bounded above by n, since no more than n linearly independent vectors can be wedged together nonzero. Degrees beyond n are still formally defined but the corresponding exterior power is the zero space:

Λ^{k} (V) = {0} whenever k > n

This upper bound gives the degree a finite range, from 0 to n, over which the exterior algebra has nontrivial structure.

Degree in Applications

Differential Forms

In the calculus of differential forms on a manifold, the degree of a form corresponds directly to exterior power degree: a 0-form is a function, a 1-form integrates along curves, a 2-form integrates over surfaces, and in general a k-form is naturally integrated over k-dimensional submanifolds. The exterior derivative raises degree by exactly one, mapping k-forms to (k+1)-forms.

Determinants and Volume Degree

The top degree, k = n, corresponds to the volume form of an n-dimensional space, and the one-dimensionality of Λⁿ(V) at this degree is what allows determinants to be interpreted as scalar multiples acting on this top-degree component.

Summary Role

The degree is the organizing parameter of the exterior algebra: it defines which homogeneous component an element belongs to, dictates the additive behavior of the wedge product across components, determines the sign rule for commuting elements, and bounds the entire graded structure between zero and the dimension of the underlying vector space.