Noetherianity of some degree two twisted commutative algebras

The resolutions of determinantal ideals exhibit a remarkable stability property: for fixed rank but growing dimension, the terms of the resolution stabilize (in an appropriate sense). One may wonder if other sequences of ideals or modules over coordinate rings of matrices exhibit similar behavior. We show that this is indeed the case. In fact, our main theorem is more fundamental in nature: It states that certain large algebraic structures (which are examples of twisted commutative algebras) are noetherian. These are important new examples of large noetherian algebraic structures, and ones that are in some ways quite different from previous examples.