Symmetric Product Space of 2-Forms

• The symmetric product space of 2-forms is defined as the subspace of Λ²(V*) ⊗ Λ²(V*) consisting of tensors invariant under permutation, forming a foundation for analyzing curvature tensors.
• It underlies universal curvature identities and enables coordinate-free expressions of classical invariants such as determinants and Gauss–Bonnet curvatures, vital in finite element discretizations.
• This framework bridges multilinear algebra, differential geometry, and representation theory, offering practical tools for studying topological invariants and advancing spinorial methods.

The symmetric product space of 2-forms is the subspace of the tensor product $\Lambda^2(V) \otimes \Lambda^2(V)$ consisting of elements that are invariant under permutation of the two $\Lambda^2$ factors, that is, all tensors $\psi$ such that $\psi(X, Y; Z, W) = \psi(Z, W; X, Y)$. This space arises naturally in multilinear algebra, differential geometry, and finite element discretizations, playing a key role in the study of curvature tensors, invariants such as the determinant, and topological invariants like Pontrjagin and Gauss-Bonnet curvatures.

1. Algebraic Structure and Definition

Let $V$ be an $n$-dimensional vector space. The space of double forms is given by $$D(V^*) = \bigoplus_{p, q} \Lambda^p(V^*) \otimes \Lambda^q(V^*)$$. A double form of type $(p, q)$ is a multilinear map that is alternating in the first $p$ and last $q$ arguments separately. The symmetric product space of 2-forms, denoted as $\Lambda^2$0, consists of elements in $\Lambda^2$1 that are symmetric under exchange: $\Lambda^2$2.

This space is characterized by its invariance under the permutation of argument pairs and its connection to algebraic curvature tensors. For example, the Riemann curvature tensor $\Lambda^2$3 is a $\Lambda^2$4-double form that lies in this space, subject also to the first Bianchi identity $\Lambda^2$5 (Berchenko-Kogan et al., 22 May 2025).

2. Operations: Exterior and Composition Products

Double forms admit two fundamental products:

• Exterior Product $\Lambda^2$6: For double forms $\Lambda^2$7 and $\Lambda^2$8, $\Lambda^2$9.
• Composition Product $\psi$0: Derived via the identification of $\psi$1 with endomorphisms of $\psi$2, for $\psi$3 the product is $\psi$4, provided the degrees match for contraction.

Key interaction identities in the symmetric product space of 2-forms include:

• The Greub–Vanstone identity: For symmetric $\psi$5 and $\psi$6 in $\psi$7,

$\psi$8

which expresses how symmetric exterior powers and composition products intertwine (Belkhirat et al., 2014). This identity is crucial for calculations related to characteristic classes.

3. Classical Invariants and Multilinear Extensions

Classical matrix invariants—determinant, Laplace expansion, Cayley–Hamilton theorem—admit coordinate-free extensions in the field of double forms via the exterior product. For a bilinear form $\psi$9 on $\psi(X, Y; Z, W) = \psi(Z, W; X, Y)$0, viewed as a $\psi(X, Y; Z, W) = \psi(Z, W; X, Y)$1-double form, its $\psi(X, Y; Z, W) = \psi(Z, W; X, Y)$2-th exterior power is

$\psi(X, Y; Z, W) = \psi(Z, W; X, Y)$3

and the determinant arises for $\psi(X, Y; Z, W) = \psi(Z, W; X, Y)$4 (Labbi, 2011).

This formalism extends naturally to symmetric product spaces of 2-forms, with the Riemann curvature tensor $\psi(X, Y; Z, W) = \psi(Z, W; X, Y)$5 serving as a canonical example for $\psi(X, Y; Z, W) = \psi(Z, W; X, Y)$6-double forms. Critical invariants such as the Gauss–Bonnet curvature,

$\psi(X, Y; Z, W) = \psi(Z, W; X, Y)$7

are built using these exterior powers, where $\psi(X, Y; Z, W) = \psi(Z, W; X, Y)$8 is the double Hodge star, and $\psi(X, Y; Z, W) = \psi(Z, W; X, Y)$9 is the metric treated as a $V$0-double form.

4. Geometric and Topological Applications

The symmetric product space of 2-forms is central to the algebraic description of curvature identities and topological invariants in differential geometry:

• Universal Curvature Identities: Algebraic identities derived from the exterior and composition products generate universal constraints, such as the vanishing of Pontrjagin classes for manifolds with pure curvature when $V$1 (Belkhirat et al., 2014).
• Gauss–Bonnet–Chern Theorem: The Cayley–Hamilton polynomial for the Riemann curvature as a double form vanishes, reflecting the topological invariance of Euler characteristic via vanishing cofactor transformations (Labbi, 2011).
• Finite Element Discretizations: The symmetric product space provides the correct setting for discrete curvature tensors in computational PDEs. Finite element spaces $V$2 are constructed to reflect the algebraic symmetries of curvature tensors, enabling robust geometric discretizations for elasticity and relativity (Berchenko-Kogan et al., 22 May 2025).

5. Explicit Cohomological and Algebraic Realizations

In algebraic geometry, symmetric product spaces of 2-forms appear in the study of holomorphic symmetric differentials. On complex varieties, spaces of symmetric 2-forms (global sections of $V$3) can be identified via cohomological injections, and their dimension is sensitive to deformation of the underlying equations:

$V$4

where $V$5 are defining polynomials and $V$6 their differentials (Brotbek, 2014). A consequence is that

$V$7

is possible for families, demonstrating that symmetric product spaces are not deformation invariant for $V$8.

Furthermore, these explicit descriptions allow for verification of conjectures such as the ampleness of the cotangent bundle under specific cohomological and degree conditions.

6. Representation-Theoretic and Spinorial Perspectives

Analogous structures occur in the representation theory of the Lorentz group and spin geometry. Symmetric product spaces of 2-forms correspond, in the spinor formalism, to spaces of symmetric 2-spinors closed under a symmetric product $V$9 with prescribed contractions and symmetrizations:

$n$0

enabling construction of irreducible representations and simplifying computations in space–time calculus (Aksteiner et al., 2022). The symmetric product preserves the irreducibility and encodes graded anti-commutativity and non-associativity via combinatorial coefficients.

The development of computer algebra tools (e.g., SymSpin in the xAct suite) further enables automated manipulations adhering to the symmetries and contractions intrinsic to symmetric product spaces.

7. Summary Table: Algebraic Objects and Their Roles

Object	Symmetry Condition	Geometric Role
$n$1	$n$2	Algebraic curvature tensors, Riemann tensor
$n$3-double forms	Alternating in each argument pair; Bianchi identity	Curvature tensors, Gauss–Bonnet formulas
Symmetric $n$4 double forms	Matrix invariants under exchange	Determinants, Laplace expansion, cofactor

These structures unify multilinear algebra and geometry, systematizing both invariants and computational techniques in Riemannian geometry and mathematical physics.