kvorm

Kv orm is a theoretical construct in mathematics used to describe a family of higher-order, multilinear operations on a finite-dimensional vector space. Formally, a kvorm on a vector space V over a field K consists of a graded family of multilinear maps Q_n: V^n -> K for integers n ≥ 1, together with coherence relations that generalize associativity and symmetry. The axioms are designed so that the collection behaves homogeneously under linear transformations and can encode interactions of different arities in a single framework. Kvorms are intended as a unifying abstraction that encompasses ordinary linear functionals, quadratic forms, and higher-order tensor contractions as special cases.

Etymology and naming: The term 'kvorm' was introduced in a short note by researchers A. Kvord and L. Vorm in 2019; 'vorm' derives from the Dutch word for form or shape, and 'kv' signals a k-variant generalization. The concept remains largely theoretical and has limited formal adoption.

Properties and examples: A kvorm is linear in each argument and compatible with the action of a linear map T: V -> V, such that Q_n(Tv1, ..., Tvn) = Q_n(v1, ..., vn) under certain invariances. In degree two, kvorms recover quadratic forms up to a change of basis; in higher degree they yield invariants analogous to tensor contractions. Concrete examples are typically constructed from existing tensors by aggregating contraction patterns that satisfy the axioms.

Applications and status: Kvorms appear mainly in theoretical explorations of higher-order algebraic structures and discretized geometry. They are used to model interactions beyond pairwise relationships and to study invariant theory of multilinear maps. The notion remains niche and is the subject of ongoing discussion regarding axiom choices and utility.

See also: tensor, multilinear form, quadratic form, operad.