4.21.4 Tensor Symmetric Form Context

Tensor Symmetric Form Context is the collection of conditions under which it is meaningful to describe a multilinear form as symmetric, extending beyond the bilinear case to forms of any arity, together with the considerations that determine when symmetry is the relevant property to examine as opposed to alternation or no special behavior at all.

When Symmetry Can Be Asked, Generalized to Any Arity

A Single Underlying Space Is Required

Just as with bilinear forms, symmetry of an n-ary multilinear form f: V × ... × V → F requires all n argument slots to draw from the same space V; if the slots draw from genuinely different spaces V₁, ..., Vₙ, the notion of permuting arguments across them is undefined, and the question of symmetry does not arise for the form itself, regardless of the arity n.

Symmetry First Becomes Possible at Arity Two

For arity n = 1, a linear functional f: V → F trivially satisfies any symmetry condition, since there is only one argument slot and no permutation other than the identity to consider; the symmetric form context becomes substantive only once n ≥ 2, when there is at least one nontrivial permutation, a transposition of two slots, whose effect on the output can be examined.

Symmetric Forms Across Different Arities

Bilinear Symmetric Forms

At n = 2, symmetric forms are the most commonly encountered case: inner products, quadratic form polarizations, and the metric tensor of Riemannian geometry are all symmetric bilinear forms, where symmetry means f(v,w) = f(w,v).

Trilinear and Higher Symmetric Forms

At n = 3 and beyond, symmetric forms correspond to homogeneous polynomials of degree n via the map v ↦ f(v,...,v), generalizing the bilinear-quadratic correspondence; cubic forms, quartic forms, and higher-degree forms in classical invariant theory are precisely the symmetric multilinear forms of the corresponding arity, evaluated on repeated arguments.

Distinguishing Symmetric Context From Alternating and General Context

Symmetric Versus Alternating

A form's symmetric context and its alternating context are mutually exclusive except in the trivial case, since a nonzero form cannot simultaneously equal and negate itself under a transposition (outside characteristic 2); before invoking the theory specific to symmetric forms, orthogonal groups, quadratic form classification, polarization, it must be confirmed that the form under study is genuinely invariant under argument swaps, not merely that it happens to be neither obviously alternating nor obviously general.

Symmetric Versus General

A general n-ary multilinear form need not fall into either the symmetric or alternating case, particularly once n ≥ 3, where the space of multilinear forms decomposes under the permutation action of the symmetric group into more pieces than just these two extremes; identifying the symmetric context correctly requires checking invariance under a full set of transpositions, not simply assuming symmetry from a form's superficial appearance.

Contexts in Which Symmetric Forms Arise

Quadratic and Higher Polynomial Forms

The polarization identity connects a symmetric bilinear form to a quadratic form and, more generally, a symmetric n-linear form to a homogeneous degree-n polynomial; this context, translating between multilinear forms and polynomial functions, is one of the principal reasons symmetric forms are studied as a class distinct from general multilinear maps.

Inner Product Spaces

Symmetric positive-definite bilinear forms define real inner products, and the associated context, orthogonality, norms, angles, adjoint operators, orthogonal diagonalization, is available only once symmetry (and definiteness) of the form has been established; a form lacking symmetry cannot support this geometric interpretation directly.

Elasticity and Continuum Mechanics

Stress and strain tensors in continuum mechanics are symmetric bilinear (rank-two) tensors as a consequence of angular momentum balance and the absence of internal torques in the idealized continuum, situating symmetric form context as a physically motivated constraint rather than a purely mathematical convenience in that setting.

Moments in Probability and Statistics

Higher-order moments and cumulants of a multivariate distribution are symmetric multilinear forms in the underlying random vector, since the order in which expectations of products of coordinates are computed does not affect the result; the symmetric form context here arises from the commutativity of multiplication of real-valued random variables inside an expectation.

Verifying Symmetric Form Context in Practice

Matrix Test for Bilinear Forms

For n = 2, symmetric context is verified by checking A = A^T for the representing matrix A in any basis, a test preserved under congruence A ↦ P^T A P, so it can be checked in any convenient basis and holds in every basis.

Component Array Test for General Arity

For general n, symmetric context is verified by checking that the component array T_{i₁...iₙ} is invariant under swapping any two adjacent indices; this reduces the check to n - 1 conditions rather than requiring comparison across all n! possible index orderings.

Direct Verification From a Defining Formula

When a form is given by an explicit formula rather than a matrix or array, such as f(v,w,u) = ∫ v(x)w(x)u(x) dx on a function space, symmetric context is confirmed directly from the formula, here immediately, since ordinary multiplication of functions is commutative, without needing any coordinate representation.

Consequences of Establishing Symmetric Form Context

Access to Polarization and Diagonalization

Once symmetric context is confirmed, the polarization identity becomes available to move between the form and its associated homogeneous polynomial, and, at least for bilinear forms in characteristic not 2, a diagonalizing basis can be sought in which the form's matrix becomes diagonal, neither of which is available to a form outside the symmetric context.

Restricting Which Constructions Apply Downstream

Establishing that a form belongs to the symmetric context, rather than the alternating or general context, determines which downstream algebraic structures are compatible with it: symmetric bilinear forms are associated with orthogonal groups and quadratic form theory, a completely different theory from the symplectic groups associated with alternating forms, so correctly identifying the context is a prerequisite for applying either body of theory correctly.