Let $S$ be a scheme. Let $X$ be a connected scheme separated over $S$. Let $X\rightarrow Y$ be a surjective $S$-morphism. Is $Y$ separated over $S$? Without connectedness there are counterexamples like the projection from two copies of affine line to the affine line with double origin. What if $X$ is moreover irreducible?
2026-03-29 21:49:29.1774820969
On
Surjection from a connected separated scheme
49 Views Asked by user690882 https://math.techqa.club/user/user690882/detail At
2
There are 2 best solutions below
0
On
In the positive direction, if the surjection is universally closed, then $Y$ is separated over $S$ (https://stacks.math.columbia.edu/tag/09MQ).
Let $S=\operatorname{Spec}\mathbb{C}$, $X=\mathbb{A}^1$, and $Y$ be $\mathbb{A}^1$ with doubled origin. Then there is a surjective morphism $X\to Y$ given by $x\mapsto (x-1)^2$ which maps $1$ to one of the origins and $-1$ to the other.