Ultrahomogeneous tensor spaces

DOI10.1016/J.AIM.2024.109599MaRDI QIDQ6126737zbMATH OpenFDO

Authors Nate Harman, Andrew Snowden

Publication date 10 April 2024

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2207.09626

zbMATH Keywords

tensorshomogeneous structures

Mathematics Subject Classification ID

Vector and tensor algebra, theory of invariants (15A72) Categoricity and completeness of theories (03C35) Infinite-dimensional Lie groups and their Lie algebras: general properties (22E65)

Abstract: A cubic space is a vector space equipped with a symmetric trilinear form. Using categorical Fra"iss'e 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 $omega$-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.

Cites work

• scientific article; zbMATH DE number 3749168 (Why is no real title available?)
• scientific article; zbMATH DE number 44603 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 125200 (Why is no real title available?)
• scientific article; zbMATH DE number 3080680 (Why is no real title available?)
• A Koszul category of representations of finitary Lie algebras
• A survey of homogeneous structures
• Big polynomial rings and Stillman's conjecture
• Bilinear spaces over a fixed field are simple unstable
• Categories of integrable sl()-, o()-, sp()-modules
• Countable Ultrahomogeneous Undirected Graphs
• Fraïssé sequences: category-theoretic approach to universal homogeneous structures
• Fraïssé's construction from a topos-theoretic perspective
• Infinite rank spinor and oscillator representations
• On ranks of polynomials
• Properties of high rank subvarieties of affine spaces
• Quadratic forms in infinite dimensional vector spaces
• Small subalgebras of polynomial rings and Stillman's conjecture
• Stability patterns in representation theory
• Tensor Representations of Classical Locally Finite Lie Algebras
• The category of representations of the symmetric group S_t when t is not a natural number.
• Topological noetherianity for cubic polynomials
• Universal domains and the amalgamation property
• Universality of high-strength tensors

Cited in

(2)

• Systems of ideals parameterized by combinatorial structures
• Oligomorphic groups, categories of partial bijections, and ultrahomogeneous cubic spaces over finite fields

This page was built for publication: Ultrahomogeneous tensor spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6126737)