Let $f:X\to Y$ be a morphism of finite type of (Noetherian) schemes . Is $X$ of finite dimension when $Y$ is? Could you please provide a reference, or a counter example?
It is rather obvious when $Y$ is the spectrum of a field, but I am not sure how to approach it in general.