On the invariant ideals of the symmetric algebra \(S.(V\oplus \Lambda ^ 2V)\) (Q2640704)

Let V be an n-dimensional vector space over a field of characteristic 0. The symmetric algebra \(S(V\oplus \Lambda^ 2V)\) of \(V\oplus \Lambda^ 2V\) has the property that as a GL(V)-module it decomposes into the direct sum of all the irreducible polynomial GL(V)-modules, each with multiplicity one. The author studies the GL(V)-invariant ideals of this algebra. This amounts to studying the action of GL(V) on \(R=S(\Lambda^ 2U)\) where V is embedded in a vector space U of dimension \(n+1\). Let \({\mathcal P}(n)\) denote the set of partitions \(\sigma =(\sigma_ 1,\sigma_ 2,...)\) with \(\sigma_ 1\leq n\). Using results of \textit{S. Abeasis} and \textit{A. Del Fra} [Adv. Math. 35, 158-178 (1980; Zbl 0444.20037)] the author proves (3.8) a decomposition formula \(R=\oplus_{\sigma \in {\mathcal P}(n)}N_{\sigma}\), where the \(N_{\sigma}\) are modules generated by certain ``canonical monomials'' \(K_{\sigma}\) in R. Let \(I_{\sigma}\) be the minimal GL(V)-invariant ideal containing \(K_{\sigma}\). Then every GL(V)-invariant ideal in R is a finite sum of certain ideals \(I_{\sigma}\). His main theorem (4.2) gives a precise description of the \(I_{\sigma}\) as \(I_{\sigma}=\oplus_{\tau}N_{\tau}\) where the sum runs over \(\tau\in {\mathcal P}(n)\), \(\tau\succ \sigma\), where \(\succ\) is a certain partial order on \({\mathcal P}(n)\). The proof uses descriptions of maps involved in the Pieri formulas due to \textit{P. Olver} [Differential Hyperforms I, Mathematics report 82-101, Univ. Minnesota]. Finally, he classifies the invariant prime, radical and primary ideals in R. Remark: The algebra \(S(V\oplus \Lambda^ 2V)\) has also been studied by \textit{L. Krop} [in Contemp. Math. 93, 209-245 (1989; Zbl 0682.16001)].