Skip to main content
2 of 2
added 25 characters in body
It'sMe
  • 839
  • 1
  • 8
  • 16

Invariant ring of the subvariety

Let $G$ be a linearly reductive algebraic group and $X$ be an affine $G$-variety over an algebraically closed field $\mathbb{K}$. Let $Y\subset X$ be a (closed) affine subvariety of $X$ which is also $G$-stable.

Is there any "nice" description of the invariant ring $\mathbb{K}[Y]^G$ in terms of the invariant ring $\mathbb{K}[X]^G$? Maybe something like- it's a quotient or a subring of $\mathbb{K}[X]^G$.

For my situation, $X$ is an affine space.

It'sMe
  • 839
  • 1
  • 8
  • 16