Stability of certain rings of highest weight vectors (Q5933945): Difference between revisions

Let \(\mathbb{C}^{m,n}\) be the space of complex \(m\times n\) matrices, \(P(\mathbb{C}^{m,n})\) be the algebra of complex polynomials on \(\mathbb{C}^{m,n}\). Let \(\text{GL}_m(\mathbb{C})\times \text{GL}_n(\mathbb{C})\) act on \(P(\mathbb{C}^{m,n})\) by \[ (g_1,g_2)f(x)=f(g^{-1}_1xg_2). \] This action induces an action of the subgroup \(O_m\times \text{GL}_n\) on \(P(\mathbb{C}^{m,n})\) by restriction. Let further \(V_{0_m}\), \(V_n\) are unipotent radicals of \(O_m\), \(\text{GL}_n\) respectively. The task of this paper is to describe the ring of highest weight vectors of the action of \(O_m\times\text{GL}_n\) on \(P(\mathbb{C}^{m,n})\), i.e. the ring \[ R_{m,n}=P(\mathbb{C}^{m,n})^{V_{O_m}\times V_n} \] of \(V_{0_m}\times V_n\)-invariant polynomials. The authors prove the following periodicity result: Theorem. If \(m\geq 2n\), then \(R_{m,n}\simeq R_{2n,n}\), and if \(n>m\), then \(R_{m,n}\simeq R_{m,m}\). -- Finally they describe explicitly \(R_{3,3}\) and therefore all \(R_{3,n}\).