16.18.1 Tensor Alternating Transformation Preservation

Tensor Alternating Transformation Preservation maintains alternating properties under linear transformations, key in tensor algebra and geometry.

Tensor Alternating Transformation Preservation is the property that any linear map acting on the vectors underlying an alternating tensor, or the induced map acting on the exterior power itself, produces a result that remains alternating, meaning the antisymmetry and vanishing-on-repetition properties are never destroyed by applying a linear transformation. It guarantees that the class of alternating tensors is closed under the natural operations of pullback and pushforward by linear maps, making alternation a robust structural property rather than a fragile one dependent on a specific coordinate choice.

Statement of the Preservation Property

Pullback of an Alternating Form

Given a linear map T from a vector space V to a vector space W, and an alternating k-linear form ω on W, the pullback T*ω, defined on V by:

(T^{*} ω) (v_{1}, \dots, v_{k}) = ω (T v_{1}, \dots, T v_{k})

is itself an alternating k-linear form on V. This preservation holds regardless of the specific map T chosen, and regardless of whether T is invertible, injective, or otherwise special.

Vanishing on Repetition Is Preserved

If any two arguments of Tω coincide, say vᵢ = vⱼ, then Tvᵢ = Tvⱼ as well, and since ω vanishes whenever two of its arguments coincide, ω(Tv₁, ..., Tvᵢ, ..., Tvⱼ, ..., Tvₖ) is automatically zero. This immediately confirms (Tω)(v₁, ..., vᵢ, ..., vⱼ, ..., vₖ) = 0, showing that the vanishing property transfers directly through the pullback construction without any additional argument.

Preservation Under Wedge Products

Compatibility With the Exterior Power Map

The induced map Λᵏ(T) on exterior powers, sending v₁ ∧ ... ∧ vₖ to Tv₁ ∧ ... ∧ Tvₖ, is well-defined precisely because this assignment respects the alternating relations already present in Λᵏ(V): swapping two arguments changes sign compatibly on both sides, and repeated arguments vanish compatibly on both sides.

Λ^{k} (T) (v_{1} \land \dots \land v_{k}) = T v_{1} \land \dots \land T v_{k}

This well-definedness is not automatic for an arbitrary function of k vectors; it depends essentially on T being linear, since linearity is what allows the map to be extended consistently from simple wedge products to the entire exterior power via multilinearity and the universal property of the exterior algebra.

Functoriality of the Induced Map

Transformation preservation extends to compositions: for linear maps S and T, the induced maps satisfy Λᵏ(ST) = Λᵏ(S) ∘ Λᵏ(T), meaning the exterior power construction is functorial, and composing linear maps before or after passing to exterior powers produces the same result, preserving not just alternation itself but the entire compositional structure of linear maps.

Consequences of Preservation

Robustness Across Coordinate Changes

Because alternation is preserved under arbitrary linear transformations, an alternating tensor remains alternating regardless of which basis or coordinate system is used to describe it, ensuring that the alternating property is an intrinsic, basis-independent feature of the tensor rather than an artifact of a particular representation.

Guaranteed Structure Under Pullback in Geometry

In differential geometry, pulling back a differential form through a smooth map between manifolds relies at each point on the linear pullback of alternating forms through the differential of the map. Transformation preservation guarantees that the pullback of a differential form is again a differential form of the same degree, with alternation preserved pointwise, which is essential for operations such as pulling back volume forms or computing integrals under changes of parametrization.

Preservation of Rank-Zero Behavior

Even in degenerate cases, such as when T is not injective, transformation preservation still holds: the pulled-back form remains alternating, though it may become identically zero if T collapses enough dimensions that every k-tuple of vectors becomes linearly dependent after applying T, illustrating that preservation of alternation is compatible with, but distinct from, preservation of nondegeneracy.

Significance of Preservation

Alternating transformation preservation is what guarantees the entire theory of alternating tensors and exterior powers behaves consistently under the natural operations of linear algebra and differential geometry. It ensures that pullbacks, pushforwards, and induced exterior power maps never accidentally destroy antisymmetry, and it underlies the coordinate-independence and functorial well-behavedness that make exterior algebra a reliable foundation for defining determinants, volume forms, and differential forms across changing bases and mappings.