MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let G, X and Y are algebraic schemes over k.(k:field) Assume that G is affine, and that the action is proper. Then f:X -> Y is affine. This is the Proposition0.7 in 'GIT(mumford & Fogarty)' I don't understand the part of the proof of this Prop.

g: G×Y -> X is a proper morphism. P_2: G×Y -> Y is the second projection and affine morphism. and f·g=p_2. The author says "by Chevalley's Theorem(EGA 2, Theorem 6.7.1), f is affine". I can't draw it. Please, help me...

(*Chevalley's Thm: X: affine scheme, Y: noetherian pre-scheme, f: x -> Y is a finite surjective morphism Then Y is also affine.)

share|cite|improve this question
Which action of $G$ on what? – Martin Brandenburg Nov 11 '11 at 10:30
This is not well-posed in my opinion. Do you mean that $G$ is to be an affine group scheme and that furthermore $G$ acts on $X$ and that $Y$ is the quotient of $X$ modulo $G$? Maybe you should first edit the question in order to make it precise. – Sebastian Petersen Nov 25 '11 at 11:36

$g$ is also affine (EGA II, 1.6.1 (v)), hence finite (EGA III, 4.4.2).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.