Reduced invariant sets
From MaRDI portal
Abstract: Let K be a compact Lie group and W a finite-dimensional real K-module. Let X be a K-stable real algebraic subset of W. Let I(X) denote the ideal of X in R[W] and let I_K(X) be the ideal generated by I(X)^K. We find necessary conditions and sufficient conditions for I(X)= I_K(X) and for sqrt{I_K(X)}=I(X). We consider analogous questions for actions of complex reductive groups.
Let \(K\) be a compact Lie group and \(W\) a finite-dimensional real \(K\)-module. Let \(X\) be a \(K\)-stable real algebraic subset of W. Let \(I(X)\) denote the ideal of \(X\) in \(R[W]\) and let \(I_K(X)\) be the ideal generated by \(I(X)\cap R[W]^K\). The author finds necessary conditions and sufficient conditions for \(I(X) = I_K(X)\) and for \(\sqrt{I_K(X)} = I(X)\). These conditions are stated utilising the slice representations. To prove such conditions the author consider analogous questions for actions of complex reductive groups.
Recommendations
Cites work
This page was built for publication: Reduced invariant sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1761409)
