Welcome to MathOverflow

Question

3

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.

edited Jul 26 at 15:38

asked Jul 24 at 17:21

Phillip Williams
539●4●10

4

Certainly at a minimum the action ought to be faithful. Possibly you also want it to be free (otherwise consider the action of $\text{GL}_n$ on $\mathbb{G}_a^n$). – Qiaochu Yuan Jul 24 at 17:28

I'm also bothered by the looseness of the formulation (as well as the reason for requiring characteristic 0). What precise notion of "geometric quotient variety" is invoked here? Must a "reductive" group be connected? (For a finite group acting on an affine variety, there is a nice theory which leads to equality of dimensions here, with $\dim G =0$ as an algebraic group.) Also, the question seems open-ended, with an indefinite number of correct answers. The literature on such group actions is wide-ranging and involves GIT too. – Jim Humphreys Jul 24 at 20:27

1

I believe "geometric quotient" should be replaced by "good quotient" in this question as the natural quotient, given by taking the spectrum of invariant functions, is not always geometric in GIT's sense. – Olivier Benoist Jul 24 at 20:44

Yes Oliver I believe you are probably right. I am not an expert on this stuff. Forgive me for the naive question regarding your terminology: is "good quotient" the same thing as "categorical quotient"? – Phillip Williams Jul 25 at 16:40

Yes Phillip, "categorical quotient" would do the job ! Being a "good quotient" is stronger (roughly, one requires the properties that hold for quotients of affine varieties by a reductive group to hold for all good quotients). If a good quotient exists, then it is the categorical quotient. To be a "geometric quotient" is even stronger : for such quotients, the geometric points of the quotient should be in one-to-one correspondence with the orbits of geometric points of $X$. – Olivier Benoist Jul 25 at 19:36

Olivier Benoist · Accepted Answer · 2012-07-24 20:40:26Z UTC

A sufficient condition is that there should exist a closed orbit of maximal dimension (i.e. of dimension $\dim(G)$). Indeed, when it is the case, the stable locus is nonempty, and the image of the stable locus in $X/G$ is an open subset of $X/G$ of dimension $\dim(X)-\dim(G)$. This happens for instance if $G$ acts properly on $X$ (in this case all orbits are closed of maximal dimension).

It will not be possible to give a nice necessary and sufficient condition, because the property $\dim(X/G)=\dim(X)-\dim(G)$ is not a very natural one in this context. For example, it does not imply that the action is faithful : take $G=\mathbb{G}_m\times\mathbb{G}_m$ acting on $X=\mathbb{A}^2$ by $(s,t)\cdot(x,y)=(sx,sy)$.

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

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.