Skip to main content
added 100 characters in body
Source Link

Let $X$ be an affine algebraic variety over an algebraically closed field $k$ of characteristic zero. Let $G$ be a reductive algebraic group acting on $X$. In this setting, there exists a geometriccategorical quotient variety $X / G$. Are there nice conditions (involving $X$ and/or $G$) that imply that $\mathrm{dim}(X / G) = \mathrm{dim}(X) - \mathrm{dim}(G)$? As pointed out in the comments, at a minimum one would have to require the action to be faithful.

Let $X$ be an affine algebraic variety over an algebraically closed field $k$ of characteristic zero. Let $G$ be a reductive algebraic group acting on $X$. In this setting, there exists a geometric quotient variety $X / G$. Are there nice conditions (involving $X$ and/or $G$) that imply that $\mathrm{dim}(X / G) = \mathrm{dim}(X) - \mathrm{dim}(G)$?

Let $X$ be an affine algebraic variety over an algebraically closed field $k$ of characteristic zero. Let $G$ be a reductive algebraic group acting on $X$. In this setting, there exists a categorical quotient variety $X / G$. Are there nice conditions (involving $X$ and/or $G$) that imply that $\mathrm{dim}(X / G) = \mathrm{dim}(X) - \mathrm{dim}(G)$? As pointed out in the comments, at a minimum one would have to require the action to be faithful.

Source Link

When does dimension behave nicely for quotients of affine algebraic varieties by the action of a group?

Let $X$ be an affine algebraic variety over an algebraically closed field $k$ of characteristic zero. Let $G$ be a reductive algebraic group acting on $X$. In this setting, there exists a geometric quotient variety $X / G$. Are there nice conditions (involving $X$ and/or $G$) that imply that $\mathrm{dim}(X / G) = \mathrm{dim}(X) - \mathrm{dim}(G)$?