Noetherianity of some degree two twisted commutative algebras

Abstract

In recent years, researchers have discovered various large algebraic structures that have surprising finiteness properties, such as FI-modules and Delta-modules. In this paper, we add another example to the growing list: we show that certain degree two twisted commutative algebras are noetherian. This example appears to have some fundamental differences from previous examples, and is therefore especially interesting. Reflective of this, our proof introduces new methods for establishing noetherianity that are likely to be applicable in other situations. The algebras considered in this paper are closely related to the stable representation theory of classical groups, which is one source of motivation for their study.

21 pages; v2: small corrections and added Example 1.4

References in corpus (4)

• Introduction to twisted commutative algebras
• Hilbert series for twisted commutative algebras
• The syzygies of some thickenings of determinantal varieties
• Finiteness properties of congruence classes of infinite matrices

Cited by in corpus (24)

• Gröbner methods for representations of combinatorial categories
• Noetherianity of some degree two twisted skew-commutative algebras
• GL-equivariant modules over polynomial rings in infinitely many variables. II
• Higher order representation stability and ordered configuration spaces of manifolds
• Topological noetherianity for cubic polynomials
• The representation theory of Brauer categories I: triangular categories
• $\mathrm{VI}$ modules in non-describing characteristic, Part I
• The syzygies of some thickenings of determinantal varieties
• Sp-equivariant modules over polynomial rings in infinitely many variables
• Cubics in 10 variables vs. cubics in 1000 variables: Uniformity phenomena for bounded degree polynomials
• Syzygies of secant ideals of Plücker-embedded Grassmannians are generated in bounded degree
• On the geometry and representation theory of isomeric matrices
• A generating function approach to new representation stability phenomena in orbit configuration spaces
• Topological Noetherianity of polynomial functors II: base rings with Noetherian spectrum
• GL-algebras in positive characteristic I: the exterior algebra
• Representation stability for sequences of 0-Hecke modules
• Stable representation theory: beyond the classical groups
• Some generalizations of Schur functors
• Sym-Noetherianity for powers of GL-varieties
• A Survey of Representation Stability Theory
• GL-algebras in positive characteristic II: the polynomial ring
• Secondary representation stability and the ordered configuration space of the once-punctured torus
• A Tensor Restriction Theorem over Finite Fields
• A counterexample to a Gröbner approach for noetherianity of the twisted commutative algebra $\mathrm{Sym}({\mathrm{Sym}}^2({\mathbf{C}}^{\infty }))$