"Geometric quotients are algebraic schemes" based on Fogarty's idea

Mitsuyasu Hashimoto

Let S be a Noetherian scheme, f:X->Y a surjective S-morphism of S-schemes, with X of finite type over S. We discuss what makes Y of finite type. First, we prove that if S is excell…