On the geometry and representation theory of isomeric matrices (Q2676963)

An \textit{isomeric vector space} is a super (i.e. \(\mathbb{Z}/2\mathbb{Z}\)-graded) complex vector space together with an odd endomorphism \(\alpha\) with \(\alpha^2=\mathrm{Id}_V\). The \emph{half tensor product} \(2^{-1}(V\otimes V)\) is the \(\zeta\)-eigenspace of \(\alpha\otimes \alpha\) on \(V\otimes V\), where \(\zeta^2=-1\). Let \(\mathrm{q}\) be the isomeric Lie superalgebra consisting of the endomorphisms of \(V:=\mathbb{C}^{\infty|\infty}\), the standard infinite dimensional isomeric vector space. Set \(A:=\mathrm{Sym}(U)\), where \(U=2^{-1}(V\otimes V)\). This polynomial superalgebra is a so-called (bivariate) isomeric algebra. It is a multiplicity-free \(\mathrm{q}\times\mathrm{q}\)-module with a decomposition \(A=\bigoplus 2^{-\delta(\lambda)}(T_{\lambda}\otimes T_{\lambda})\), where the sum ranges over the set of strict partitions \(\lambda\), \(T_{\lambda}\) is the irreducible representation of \(\mathrm{q}\) associated with \(\lambda\), and \(\delta(\lambda)\) is \(0\) or \(1\). The first main result of the paper is that the ideal in \(A\) generated by the \(\lambda\) summand above is the sum of the \(\mu\) summands where \(\mu\supseteq \lambda\). This is an isomeric analogues of the classical result of de Concini, Eisenbud and Procesi on the classification of \(\mathrm{GL}_m\times \mathrm{GL}_n\)-invariant ideals in the coordinate ring of the space of \(m\times n\) matrices. Note also that this result implies that the ascending chain condition holds for equivariant ideals in \(A\). The second main result of the paper is that \(A\) is noetherian in the even stronger sense that the category \(\mathrm{Mod}_A\) is locally noetherian. Here \(\mathrm{Mod}_A\) stands for the category of \(\mathrm{q}\times \mathrm{q}\)-equivariant \(A\)-modules that form a polynomial representation of \(\mathrm{q}\times \mathrm{q}\). The proof of the first main result uses Schur-Sergeev duality, whereas the proof of the second main theorem follows the general scheme applied in previous noetherian results of the same authors, and yields extra information on the category \(\mathrm{Mod}_A\).