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.