On the geometry and representation theory of isomeric matrices
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\).
- Invariant theory for matrices over the Grassmann algebra.
- Equivariant \(\mathcal{D}\)-modules on \(2 \times 2 \times 2\) hypermatrices
- The syzygies of some thickenings of determinantal varieties
- The etale local structure of orthogonal and symplectic matrix invariants
- Equivariant map queer Lie superalgebras
- \(\mathbf{Sp}\)-equivariant modules over polynomial rings in infinitely many variables
- A Koszul category of representations of finitary Lie algebras
- Categories of integrable sl()-, o()-, sp()-modules
- scientific article; zbMATH DE number 1703931 (Why is no real title available?)
- scientific article; zbMATH DE number 1181673 (Why is no real title available?)
- scientific article; zbMATH DE number 3807789 (Why is no real title available?)
- Monoidal supercategories
- Noetherianity of some degree two twisted commutative algebras
- Noetherianity of some degree two twisted skew-commutative algebras
- Remarks on the Schur-Howe-Sergeev duality
- Stability patterns in representation theory
- Tensor representations of \(\mathfrak{q} (\infty )\)
- Tensor Representations of Classical Locally Finite Lie Algebras
- Young diagrams and determinantal varieties
- Young diagrams and ideals of Pfaffians
This page was built for publication: On the geometry and representation theory of isomeric matrices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2676963)
