A Tensor Restriction Theorem over Finite Fields

Abstract

Restriction is a natural quasi-order on $d$-way tensors. We establish a remarkable aspect of this quasi-order in the case of tensors over a fixed finite field -- namely, that it is a well-quasi-order: it admits no infinite antichains and no infinite strictly decreasing sequences. This result, reminiscent of the graph minor theorem, has important consequences for an arbitrary restriction-closed tensor property $X$. For instance, $X$ admits a characterisation by finitely many forbidden restrictions and can be tested by looking at subtensors of a fixed size. Our proof involves an induction over polynomial generic representations, establishes a generalisation of the tensor restriction theorem to other such representations (e.g. homogeneous polynomials of a fixed degree), and also describes the coarse structure of any restriction-closed property.

arXiv comment31 pages

References in corpus (11)

• FI-modules and stability for representations of symmetric groups
• Gröbner methods for representations of combinatorial categories
• Representation stability and finite linear groups
• Noetherianity of some degree two twisted commutative algebras
• The geometry of polynomial representations
• Polynomials and tensors of bounded strength
• Towards a Geometric Approach to Strassen's Asymptotic Rank Conjecture
• A Gap in the Subrank of Tensors
• Sp-equivariant modules over polynomial rings in infinitely many variables
• Topological Noetherianity of polynomial functors II: base rings with Noetherian spectrum
• Partition and Analytic Rank are Equivalent over Large Fields