Noetherianity of some degree two twisted commutative algebras (Q268176)

A twisted commutative algebra (tca) is a commutative associative unital \(\mathbb{C}\)-algebra \(A\) equipped with an action of \(\mathrm{GL}_\infty\) by \(\mathbb{C}\)-algebra homomorphisms such that \(A\) forms a polynomial representation of \(\mathrm{GL}_\infty\). Given a tca \(A\), there is a notion of (finitely generated) \(A\)-module, and \(A\) is said to be noetherian if any submodule of a finitely generated \(A\)-module is again finitely generated. Some examples of tca are the rings \(\mathrm{Sym}(\mathrm{Sym}^2(C^\infty))\) with its \(\mathrm{GL}_\infty\) action and \(\mathrm{Sym}(\bigwedge^2(\mathbb{C}^\infty))\). As the main result of the paper, the authors show that \(\mathrm{Sym}(\mathrm{Sym}^2(C^\infty))\) and \(\mathrm{Sym}(\bigwedge^2(\mathbb{C}^\infty))\) are noetherian. Also, it is shown that the ring \(\mathrm{Sym}(\mathbb{C}^\infty \bigotimes\mathbb{C}^\infty)\) (called bivariate tca) with its \(\mathrm{GL}_\infty\times \mathrm{GL}_\infty\) action is noetherian.