Multiplicity-free super vector spaces. (Q2844753)

For a finite dimensional module \(V=V_0\oplus V_1\) over a semisimple complex Lie group \(G\), where each \(V_i\) is a \(G\)-submodule, the supersymmetric algebra is the algebra \(P(V)=S(V_0)\times\bigwedge(V_1)\) and is a \(G\)-module in a natural way. The author classifies indecomposable pairs \((G,V_0\oplus V_1)\) such that the action of the saturation \(\widetilde G\) on \(P(V)\) is multiplicity-free. Here, given a pair \((G,V)\) of a module \(V\) over a semisimple complex Lie group \(G\) which decomposes in a sum \(V=U_1\oplus\cdots\oplus U_k\) of irreducible \(G\)-modules, the saturation is the pair \((\widetilde G,V)\) where \(\widetilde G=G\times(\mathbb C^*)^k\), the \(i\)-th copy of \(\mathbb C^*\) acting as scalars on \(U_i\) and trivially elsewhere. A pair \((G,V)\) is decomposable if \(G\) is an almost direct product \(G=G_1G_2\) and \((G,V)\) is equivalent to \((G_1,V_1)\oplus(G_2,V_2)\) and indecomposable otherwise.NEWLINENEWLINE The special cases where either \(V_1\) or \(V_0\) is trivial reduce to multiplicity-free or skew multiplicity-free modules, respectively, that were already classified by \textit{V. G. Kac} [J. Algebra 64, 190-213 (1980; Zbl 0431.17007)] and \textit{C. Benson} and \textit{G. Ratcliff} [J. Algebra 181, No. 1, 152-186 (1996; Zbl 0869.14021)] in the first and by \textit{R. Howe} [Isr. Math. Conf. Proc. 8, 1-182 (1995; Zbl 0844.20027)] and the author [Transform. Groups 17, No. 1, 233-257 (2012; Zbl 1257.20048)].NEWLINENEWLINE Reviewer's remark: In the paper, Definition 2.1 of geometric equivalence of representations as stated reduces to the ordinary notion of equivalence since the author insists that it be induced by an underlying isomorphism of the vector spaces in question. Hence, the claim that \((G,V)\) is always geometrically equivalent to \((G.V^*)\) is incorrect. This problem does not seem to affect the results, though.