15.21.2 Tensor Component Symmetry Boundary

Tensor Component Symmetry Boundary is the precise line separating a genuinely symmetric tensor, invariant under every permutation of all its indices, from a tensor that merely exhibits some partial component symmetry, invariant under permutations of only a subset of its indices or subject to additional linear relations beyond pairwise symmetry, and it identifies exactly which classical tensors of this partially symmetric kind fall outside the scope of the theory developed for fully symmetric tensors.

Full Symmetry versus Partial Component Symmetry

The Full Symmetry Requirement Restated

A tensor is fully symmetric, in the sense used throughout this material, when its components are invariant under every permutation of all d of its indices simultaneously, the unabridged Component Constraint verified in full by the Permutation Check. Many tensors arising in applications satisfy a weaker condition: their components are invariant under permutations of only some of their indices, or under permutations restricted to certain designated blocks of indices, while remaining sensitive to permutations mixing indices across blocks.

Block Symmetry as the Typical Partial Case

The most common partially symmetric pattern splits the d indices into two or more blocks, requiring invariance under permutations within each block separately but imposing no such requirement across blocks; a tensor with this block structure lies, in general, outside the fully symmetric subspace S^d V discussed under the Symmetric Power Notation, since it fails the Component Constraint for permutations that exchange indices belonging to different blocks.

The Riemann Curvature Tensor as a Boundary Example

Its Symmetry Pattern

The Riemann curvature tensor of differential geometry, an order-four tensor, satisfies antisymmetry within each of two designated index pairs and a symmetry relating the two pairs to each other as a whole, together with an additional cyclic identity (the first Bianchi identity) relating alternating sums of components; this combination of pairwise antisymmetry, pair-exchange symmetry, and a further linear relation places the Riemann tensor squarely outside the fully symmetric subspace, and indeed outside the fully alternating subspace as well, making it a tensor of genuinely mixed symmetry type in the sense surveyed under the Tensor Symmetric Tensor Representation Role.

Why It Cannot Be Treated as a Symmetric Tensor

Because the Riemann tensor fails invariance under the full permutation group on four indices, none of the decomposition machinery built for symmetric tensors, such as the pure power form decomposition central to Tensor Symmetric Decomposition Structure or the Veronese variety picture underlying the Geometry Role, applies to it directly; its own decomposition theory, built instead from its specific mixed symmetry type via the Ricci decomposition into scalar curvature, traceless Ricci, and Weyl tensor pieces, must be developed independently, illustrating concretely how quickly the fully symmetric theory's tools stop applying once even a single pair of indices is exempted from the full symmetry requirement.

The Elasticity Tensor as a Further Boundary Example

Major and Minor Symmetries

The elasticity tensor of continuum mechanics, also of order four, satisfies "minor" symmetries within each of two index pairs, matching the antisymmetry-free, simple pairwise symmetry of the Matrix Case applied separately to each pair, together with a "major" symmetry exchanging the two pairs as blocks; unlike the Riemann tensor, it carries no antisymmetry and no further cyclic identity, and this particular combination of block symmetries is close enough to full symmetry that it is sometimes treated using adapted, block-aware versions of symmetric tensor techniques, but it still fails the unrestricted Component Constraint, since permutations mixing an index from the first pair with an index from the second pair, other than the specific pair-exchange already accounted for, are not required to leave its components unchanged.

Locating the Precise Boundary

The Necessary and Sufficient Condition

A tensor lies within the fully symmetric subspace exactly when its symmetry group, meaning the subgroup of the full symmetric group on d letters under which its components are invariant, is the entire symmetric group; any tensor whose symmetry group is a proper subgroup, however large, such as the block-preserving subgroups relevant to the Riemann and elasticity tensors, lies outside S^d V and requires the more general theory of tensors of mixed symmetry type rather than the specifically symmetric theory developed throughout this material.

Using the Symmetrization Operator to Extract What Does Transfer

Even for a tensor with only partial component symmetry, applying the full symmetrization operator produces a genuine element of S^d V, and this symmetrized projection can be analyzed using the full symmetric tensor toolkit; what is lost in doing so is precisely the additional, non-symmetric structure, such as the Riemann tensor's antisymmetric and cyclic-identity content, that distinguishes the original partially symmetric tensor from its symmetrization, marking exactly the information that lies on the far side of the Component Symmetry Boundary from the theory developed here.