Complemented *-primitive ideals in \(L^ 1\)-algebras of exponential Lie groups and of motion groups (Q1824144)

Let G be an exponential Lie group. Let I be a *-primitive ideal in \(L^ 1(G)\), i.e. I is the kernel in \(L^ 1(G)\) of an irreducible unitary representation \(\pi\) of G. We prove that I is complemented in \(L^ 1(G)\) if and only if the Kirillov orbit corresponding to \(\pi\) is affine linear. This condition also characterizes the *-primitive ideals I in \(L^ 1(G)\) for which the annihilator \(I^{\perp}\) in \(L^{\infty}(G)\) is complemented in \(L^{\infty}(G)\). Let G be a connected motion group. We show that a *-primitive ideal I in \(L^ 1(G)\) is complemented in \(L^ 1(G)\) (or \(I^{\perp}\) is complemented in \(L^{\infty}(G))\) if and only if I has finite codimension in \(L^ 1(G)\).