Noetherianity of some degree two twisted skew-commutative algebras (Q1725970)

Recall that a twisted commutative algebra (tca) is a commutative \( \mathbb{C}\)-algebra equipped with an action of the infinite general linear group \(\mathbf{GL}_\infty\) by algebra homomorphisms under which it forms a polynomial representation. Let \(B\) be a tca. We say that \(B\) is noetherian if every submodule of a finitely generated \(B\)-module is again finitely generated. A major open problem in tca theory is proving noetherianity of finitely generated tca's. For so-called bounded tca's, this is well-known [\textit{S. Sam} and \textit{A. Snowden}, ``Introduction to twisted commutative algebras'', Preprint, \url{arXiv:1206.22332}, Prop. 9.1.6]. The article under review is a sequel to the authors' one [Sel. Math., New Ser. 22, No. 2, 913--937 (2016; Zbl 1360.13047)], where is shown that the unbounded twisted commutative algebras Sym(Sym\(^2(\mathbb{C}^\infty))\) and Sym(\(\bigwedge^2(\mathbb{C}^\infty))\) are noetherian. Currently, these are the only known examples of noetherianity for unbounded twisted commutative algebras. One can also consider skew-commutative versions of these two algebras. The main theorem of the present paper is a skew analogue of [loc. cit.]: Theorem 1.1. The twisted skew-commutative algebras \(\bigwedge\)(Sym\(^2(\mathbb{C}^\infty))\) and \(\bigwedge(\bigwedge^2(\mathbb{C}^\infty))\) are noetherian. The proof of Theorem 1.1 follows the proof of [loc. cit.] and depends on the work of \textit{V. Serganova} [in: Advances in Lie superalgebras. Proceedings of the conference `Lie superalgebras', Rome, Italy, December 14--19, 2012. Cham: Springer. 181--201 (2014; Zbl 1344.17017)] on the representation theory of the infinite periplectic Lie superalgebra.