Ultrahomogeneous tensor spaces

Nate Harman,Andrew Snowden
DOI: https://doi.org/10.1016/j.aim.2024.109599
IF: 1.675
2024-05-01
Advances in Mathematics
Abstract:A cubic space is a vector space equipped with a symmetric trilinear form. Using categorical Fraïssé theory, we show that there is a universal ultrahomogeneous cubic space V of countable infinite dimension, which is unique up to isomorphism. The automorphism group G of V is quite large and, in some respects, similar to the infinite orthogonal group. We show that G is a linear-oligomorphic group (a class of groups we introduce), and we determine the algebraic representation theory of G. We also establish some model-theoretic results about V: it is ω-categorical (in a modified sense), and has quantifier elimination (for vectors). Our results are not specific to cubic spaces, and hold for a very general class of tensor spaces; we view these spaces as linear analogs of the relational structures studied in model theory.
mathematics
What problem does this paper attempt to address?