16.1 Tensor Alternating Tensor Scope

Tensor Alternating Tensor Scope is the delineation of what the study of alternating tensors covers: tensors that change sign under every odd permutation of their indices and are left unchanged under every even permutation, together with the boundaries separating this subject from the closely related, previously developed theory of symmetric tensors.

Defining the Subject Matter

The Alternating Component Constraint

An alternating tensor of order k on a vector space V is a tensor whose components satisfy

for every permutation sigma of the k index positions, where sgn(sigma) is the sign of the permutation, equal to plus one for an even permutation and minus one for an odd one. This is the exact analogue, for the opposite extreme of the permutation-symmetry spectrum, of the Component Constraint defining symmetric tensors, and it is the single defining condition around which the entire subject of alternating tensors is organized.

Immediate Consequence: Vanishing on Repeated Indices

A direct consequence of the alternating condition is that any component with two equal index values must vanish, since exchanging those two equal indices leaves the component unchanged as a value while, by the alternating condition itself, requiring it to be negated; a quantity equal to its own negation must be zero. This vanishing-on-repetition property has no counterpart for symmetric tensors and is one of the first structural facts distinguishing the scope of alternating tensor theory from the scope already developed for symmetric tensors.

Boundaries of the Subject

Relationship to Symmetric Tensors

Alternating tensors and symmetric tensors arise from the same underlying permutation action on tensor power space, differing only in which one-dimensional representation of the symmetric group (trivial versus sign) is used to define the relevant fixed-point-like subspace; the precise extent to which results, methods, and geometric pictures transfer between the two theories was surveyed under the Tensor Symmetric Alternating Tensor Relation Boundary, and that boundary discussion applies symmetrically here, marking which tools developed for symmetric tensors do and do not carry over into the alternating setting now being introduced.

Distinctness from General Mixed-Symmetry Tensors

Just as symmetric tensors occupy one extremal position among the tensors classified by partition-indexed symmetry type, alternating tensors occupy the opposite extreme, corresponding to the partition with k parts each equal to one; tensors of intermediate, mixed symmetry type, such as the Riemann curvature tensor discussed under the Tensor Component Symmetry Boundary, lie outside the scope of alternating tensor theory just as they lie outside the scope of symmetric tensor theory, and their treatment requires the more general representation-theoretic framework only touched upon, not developed in full, throughout the symmetric tensor material.

Core Topics Within the Scope

Rank-One Objects and the Wedge Product

The building blocks of alternating tensor theory are decomposable wedge products of k linearly independent vectors, playing the role that pure power forms play for symmetric tensors, and the notation and algebraic structure of the wedge, or exterior, product is a central topic within this scope, standing in direct correspondence with the Symmetric Product Notation developed for the symmetric side.

Exterior Algebra and Its Grading

Collecting alternating tensors of every order into a single graded algebra produces the exterior algebra of V, standing in direct parallel with the symmetric algebra discussed under the Tensor Symmetric Tensor Polynomial Role, and the ring-theoretic, geometric, and representation-theoretic perspectives developed there for the symmetric case have exterior-algebra counterparts falling within the present scope.

Decomposability, Rank, and the Grassmannian

Determining whether a general alternating tensor is itself decomposable, and if not, the minimal number of decomposable pieces needed to write it as a sum, is the alternating counterpart of the symmetric rank and Term Set theory developed at length for symmetric tensors, with the Grassmannian variety and its Plücker embedding taking the place occupied by the Veronese variety in the symmetric Geometry Role.

What Falls Outside This Scope

Tensors of Order Exceeding the Underlying Dimension

Because an alternating tensor's components vanish whenever any two of its indices coincide, an alternating tensor of order k on an n-dimensional space is identically zero whenever k exceeds n, a phenomenon with no symmetric-tensor analogue and one that sharply bounds the scope of nontrivial alternating tensor theory to orders at most equal to the dimension of the underlying space.

Mixed and mixed-valence constructions

Consistent with the general Multilinear Pattern Boundary identified for symmetric tensors, constructions mixing alternating index slots with covariant slots of a different type, or extending the alternating pattern to infinite-dimensional settings, lie beyond the immediate scope defined here and require the same kind of separate treatment already flagged as necessary on the symmetric side.