6.15.5 Tensor Two Zero Algebraic Role

Tensor Two Zero Algebraic Role is the function that type (2,0) tensors serve within the broader algebraic structure of tensor algebra, acting simultaneously as elements of a vector space in their own right, as bilinear forms defined on the dual space, and as the fundamental building blocks from which symmetric and exterior algebraic structures are constructed. This role situates type (2,0) tensors not as an isolated curiosity but as a load-bearing piece of the algebraic machinery that connects vector spaces, their duals, and the higher structures built from repeated tensor products.

The Vector Space Role

Addition and Scalar Multiplication

The set of all type (2,0) tensors on a vector space V forms a vector space in its own right, V ⊗ V, equipped with componentwise addition and scalar multiplication:

This closure under addition and scaling is what allows type (2,0) tensors to be studied with the full toolkit of linear algebra, including notions of linear independence, spanning sets, subspaces, and dimension, all applied one level up from the original space V.

Dimension as an Algebraic Invariant

Since V ⊗ V has dimension n² when V has dimension n, the algebraic role of type (2,0) tensors includes serving as a concrete n²-dimensional vector space that can itself be the domain or codomain of further linear or multilinear constructions, such as linear operators acting on bilinear forms.

The Bilinear Form Role

Acting on Pairs of Covectors

Algebraically, a type (2,0) tensor T is identified with a bilinear map V* × V* → ℝ, given by contracting both indices against a pair of covectors, T(φ, ψ) = T^{ij} φ_i ψ_j. This identification is an algebraic isomorphism between the space of type (2,0) tensors and the space of bilinear forms on V*, meaning every algebraic property of one side, such as linearity in each argument, has a direct counterpart on the other side.

Rank as an Algebraic Invariant of the Bilinear Form

The algebraic role of a type (2,0) tensor includes its rank, defined as the rank of its associated matrix T^{ij}, which measures the dimension of the image of the induced linear map from V* to V obtained by holding one slot fixed. This rank is invariant under change of basis, since it equals the rank of B^T (T) B for any invertible B, and it classifies the tensor algebraically into equivalence classes independent of any particular coordinate description.

The Building Block Role in Larger Algebraic Structures

Generating the Symmetric Algebra

The symmetric part of the type (2,0) construction generalizes to define the symmetric algebra Sym(V), built from symmetric tensors of every order, with the degree-two piece Sym²(V) consisting exactly of the symmetric type (2,0) tensors. Multiplication in the symmetric algebra is modeled on the symmetrized tensor product, making the degree-two symmetric tensors the first nontrivial algebraic layer above the vectors of V themselves.

Generating the Exterior Algebra

Similarly, the antisymmetric part generalizes to the exterior algebra Λ(V), whose degree-two piece Λ²(V) consists of the antisymmetric type (2,0) tensors, also called bivectors. The wedge product operation that defines the exterior algebra's multiplication is precisely the antisymmetrization of the tensor product, so the algebraic role of antisymmetric type (2,0) tensors is to serve as the starting layer of the algebra used to formalize oriented areas, determinants, and orientation-sensitive geometric quantities.

Diagram of the Algebraic Layering

Algebraic Operations Native to This Role

Contraction with a Metric

When an auxiliary type (0,2) metric g_{ij} is available, the algebraic role of a type (2,0) tensor expands to include forming scalar invariants, such as g_{ij} T^{ij}, and mixed invariants, such as g_{ik} g_{jl} T^{ij} T^{kl}, which measure a size or magnitude associated to T relative to the geometry encoded by the metric.

Outer Products as Algebraic Generators

The outer product of two vectors, v ⊗ w, is the algebraic generator from which all type (2,0) tensors are built as sums, and understanding how outer products combine under addition, scalar multiplication, and contraction with covectors is the algebraic foundation for every higher-level operation performed on type (2,0) tensors, including their appearance as generators of the symmetric and exterior algebras described above.