Separating invariants and local cohomology (Q481695): Difference between revisions

Let \( G\) be a finite group act linearly on a vector space \(V\) of dimension \(d\) over an algebraically closed field \(k\). This induces an action of \(G\) on the coordinate ring \(k[V]\). The set \(S\subset k[V]^G\) is called separating set if it separates the orbits of \(V\). The size of separating set induces some homological properties on \(k[V]^G\), e.g., its size is \(d\) if and if \(k[V]^G\) is of polynomial type, by a result of Serre and Shephard-Todd. For each \(U\subseteq V\), set \(G_U:=\{g\in G:gu=u, \;\;\forall u\in U\}\) and call it the isotropy subgroup. An element \(g\in G\) is called \(r\)-reflection if \(V^g\) has codimension \(r\). Suppose there is a separating set of size \(d+r-1\). The paper under review shows that ``every isotropy subgroup \(G_U\) is generated by \(r-\)reflections''.