The ideal of relations of a ring of highest weight vectors (Q2762287)

Let \(G\) be a complex reductive group, \(B\) a Borel subgroup, and \(U\) the unipotent part of \(B\). Let \(V\) be a \(G\)-module, and \(k[V]\) the algebra of complex polynomials on \(V\). For \(G=O_m\times GL_3\), and \(V=M_{m,3}\), the space of complex \(m\times 3\) matrices, the authors determine completely the ideal of relations of \(k[V]^U\) (the ring of highest weight vectors), using the slice method.