15.16.5 Tensor Quadratic Form Symmetric Tensor Role

Tensor Quadratic Form Symmetric Tensor Role is the account of how the object underlying a quadratic form functions as a genuine symmetric tensor within the wider tensor algebra, participating in tensor products, contractions, and gradings in ways that a bare scalar-valued function never could, and it explains why treating a quadratic form as "merely a formula" discards structure that the tensor perspective makes available.

The Quadratic Form's Hidden Tensorial Identity

Beyond a Scalar-Valued Function

Viewed purely as a function, a quadratic form Q takes a vector and returns a number, and nothing in this description suggests that Q belongs to any larger algebraic system. Once Q is recognized, through the Tensor Quadratic Form Relation, as arising from a Symmetric Bilinear Source T, it inherits the full status of an order-two element of the tensor algebra built from the underlying vector space: an element of V-star tensor V-star (or of V tensor V, depending on variance convention), lying specifically in the symmetric part of that tensor product.

Placement Within the Symmetric Algebra Grading

The tensor algebra of a vector space is graded by order, and its symmetric part forms a graded subalgebra, the symmetric algebra, in which order-zero elements are scalars, order-one elements are vectors or covectors, and order-two symmetric elements are exactly the tensors underlying quadratic forms. The Symmetric Tensor Role of Q situates it at the second graded piece of this algebra, immediately below the order-three and higher pieces studied throughout Tensor Symmetric Decomposition Structure, and immediately above the order-one piece corresponding to linear forms.

Operations Available Because of the Tensor Role

Tensor Product with Other Tensors

Because T is a genuine tensor, it can be combined with other tensors via the tensor product to build higher-order symmetric objects; for instance, tensoring T with a linear form, followed by symmetrization, produces an order-three symmetric tensor, and iterating this process links the order-two theory of quadratic forms to the construction of higher-degree symmetric tensors and their associated homogeneous polynomials.

Contraction Against Arbitrary Vectors

The Tensor Role permits T to be contracted not only against a single repeated vector, as in the definition of Q, but against two independent vectors x and y, recovering the full symmetric bilinear form T(x, y), and against a single vector alone, producing a linear map from V to its dual space, namely the gradient map of Q:

This single-contraction operation identifies the gradient of a quadratic form as itself a direct manifestation of the tensor's role, rather than as an independent calculus construction.

Transformation as a Tensor Under Change of Basis

Because T transforms by the congruence rule under change of basis, as established under the Tensor Role of the symmetric matrix, the quadratic form's coefficients transform in lockstep, in a manner fully determined by the tensorial transformation law of T and requiring no separate derivation once the Symmetric Tensor Role is acknowledged.

Consequences for Invariant Theory

Invariants Belong to the Tensor, Not the Formula

Properties such as rank, definiteness, and the existence of a symmetric decomposition into pure power forms are properties of the tensor T, invariant under change of basis precisely because T is a tensor; the same numerical formula for Q, written in a different, non-adapted coordinate system, would look entirely different as an explicit polynomial while representing the same underlying tensor and hence the same invariants. The Symmetric Tensor Role is what guarantees that these invariants are well-defined at all, independent of the coordinates chosen to write Q down.

Group Actions and Orbits

Recognizing Q through its Symmetric Tensor Role places it inside an orbit of the general linear group acting by congruence on the space of symmetric order-two tensors, and the classification of quadratic forms up to equivalence (by rank in general, and additionally by signature over the real numbers) is precisely the classification of these tensor orbits, a perspective that generalizes directly to the classification problems for higher-order symmetric tensors addressed by secant variety geometry and the Rank Relation.

Why the Tensor Role Matters Beyond Order Two

A Template for Higher-Degree Forms

The pattern established by the Symmetric Tensor Role at order two, namely that a homogeneous polynomial is the shadow of an underlying symmetric tensor carrying transformation and decomposition structure invisible in the polynomial alone, is exactly the pattern followed by cubic and higher-degree forms in their relation to order-three and higher symmetric tensors. Understanding the quadratic case's tensor role in full is therefore the necessary preparation for understanding how Waring decomposition, apolarity, and the Alexander-Hirschowitz classification operate at higher orders, where the tensorial structure carries decomposition information with no comparably simple, purely polynomial description.