The concomitants of a prehomogeneous vector space. (Q1421804)

Let \(V\) an \(n\)-dimensional complex vector space and \(G\) a complex, connected, reductive algebraic group such that the pair \((G,V)\) is a prehomogeneous vector space. A map \(\Phi\) is called relatively equivariant if \(\Phi(gx)=\omega(g)g \Phi(x)\) for some character \(\omega\) of \(G\). A concomitant of \((G,V)\) is a pair \((\Phi,W)\) consisting of a rational representation \(W\) of \(G\) and a non-zero \(G\)-equivariant polynomial map \(\Phi:V\to W\). This paper discusses the problem to determine all relatively equivariant polynomial map \(\Phi:V\to V\) for a prehomogeneous vector spaces \((G,V)\). By obtaining some general information on this problem using an elementary technique whose origin lie in the method of radial separation of variables in the classical theory of spherical harmonics, the author classifies the prehomogeneous concomitants of the space of pairs of ternary quadratic forms and quadruples of quinary alternating forms. It emerges that all relatively equivariant self-maps of the space of quadruples of quinary alternating forms have the shape \(\Phi(x)=cP(x)^mx\), where \(c\) is a constant, \(m\geq 0\) and \(P\) is a specific polynomial. Such self-maps also exist on the space of pairs of ternary quadratic forms but, remarkably, this space also has a second family of relatively equivariant self-maps.