Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $f: X\rightarrow Y$ a smooth morphism over a field $k$. We assume that $X$ is locally of finite type, does it imply that $Y$ is also locally of finite type?

share|improve this question
4  
Dear prochet: You've been asking a lot of "basic" algebraic geometry questions recently. Do you have anybody you can speak with about them in person? Anyway, the answer is negative for a silly reason because you omitted the hypothesis that $f$ is surjective (consider $X$ empty, or $Y$ disconnected with $f$ only hitting one connected component, etc.) If $f$ is surjective then the answer is affirmative in much greater generality. See EGA IV$_4$, 17.7.5. –  user61789 Jun 30 '13 at 21:18

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.