15.20.1 Tensor Symmetric Tensor Polynomial Role

Tensor Symmetric Tensor Polynomial Role is the identification of the full symmetric algebra built from a vector space with the ring of polynomial functions on its dual space, establishing that symmetric tensors of every order simultaneously, not merely at a single fixed degree, are nothing other than homogeneous polynomials organized by degree, and that the ring structure of polynomials is inherited directly from the algebraic operations available on symmetric tensors.

The Ring Isomorphism

Symmetric Algebra as Polynomial Ring

The symmetric algebra S(V), the direct sum over all orders d of the symmetric powers S^d V introduced under the Symmetric Power Notation, is isomorphic, once a basis of V is chosen, to the ring of polynomials in as many variables as the dimension of V, with the isomorphism sending each basis vector of V to the corresponding polynomial variable and extending multiplicatively using the symmetric product. Under this isomorphism, the degree-d graded piece S^d V corresponds exactly to the subspace of homogeneous polynomials of degree d, recovering, order by order, the correspondence used throughout the Tensor Quadratic Form Relation for the special case d equal to two.

Basis-Independence of the Underlying Ring Structure

Although the explicit polynomial variables depend on a choice of basis for V, the ring structure itself, meaning the multiplication of the symmetric algebra, is basis-independent, since it is built entirely from the symmetric product operation, which is defined without reference to coordinates; different choices of basis for V produce different, but isomorphic, presentations of the same abstract polynomial ring, consistent with the Transformation Preservation guarantees established for symmetric tensors under change of basis.

Algebraic Operations Transferred Through the Role

Multiplication as Symmetric Product

Polynomial multiplication corresponds, under the Polynomial Role, exactly to the symmetric product of the corresponding symmetric tensors, so that multiplying a degree-p polynomial by a degree-q polynomial corresponds to forming the symmetric product of an order-p and an order-q symmetric tensor to produce an order-(p+q) symmetric tensor, exactly as described under the Symmetric Product Notation; this identification is what allows every fact about polynomial multiplication, such as its commutativity and associativity, to be read off directly as a fact about the symmetric tensor algebra without separate proof.

Differentiation as Contraction

Partial differentiation of a polynomial corresponds, under the Polynomial Role, to contraction of the associated symmetric tensor against a covector from the dual space, reducing the tensor's order by one; this is the mechanism underlying apolarity theory, in which differential operators dual to vectors are paired against a symmetric tensor to test for vanishing, and it is the higher-order generalization of the single contraction used to define the gradient of a quadratic form under the Symmetric Tensor Role discussed for order two.

Grading and Its Consequences

Compatibility of Degree and Order

Because the isomorphism between the symmetric algebra and the polynomial ring respects grading, the order of a symmetric tensor and the degree of its associated homogeneous polynomial are always equal, and this compatibility is what allows quantities defined tensorially, such as symmetric rank, to be reinterpreted directly as quantities defined for polynomials, such as Waring rank, without any adjustment or reindexing.

Ideals and Apolar Structure

Because the polynomial ring carries the additional structure of ideals, ring quotients, and Hilbert functions, the Polynomial Role imports this entire algebraic apparatus into the study of symmetric tensors: the apolar ideal associated with a symmetric tensor, central to Reconstruction and to catalecticant-based rank computations, is defined as an ideal in the polynomial ring dual to the tensor's underlying vector space, and its properties, such as being a complete intersection or having a specified Hilbert function, translate directly into structural statements about the symmetric tensor's decomposition behavior.

Geometric Consequences of the Polynomial Role

Projective Varieties from Homogeneous Ideals

Because homogeneous polynomials define hypersurfaces in projective space, and homogeneous ideals define more general projective varieties, the Polynomial Role connects symmetric tensor theory directly to algebraic geometry: the Veronese variety, whose secant varieties govern the Alexander-Hirschowitz classification of generic symmetric rank, is itself defined as the image of the projective space under the map sending a point to the pure power form it generates, a construction phrased entirely in the language of homogeneous polynomials made available by the Polynomial Role.

Foundation for the Broader Algebraic Role

The Polynomial Role is the specific instance, concerned with the ring-theoretic and geometric consequences of the symmetric algebra structure, of the more general Symmetric Tensor Algebraic Role, which additionally covers the module-theoretic and representation-theoretic aspects of symmetric tensors; together, these algebraic perspectives supply the structural machinery, beyond the purely multilinear-algebraic definitions given earlier, that make the deep classification and decomposition results of Tensor Symmetric Decomposition Structure possible.