fibre of a scheme of finite type over a field being quasi-compact

Mathematics Asked on January 1, 2022

Let $X,Y$ be schemes of finite type over a field $k$. In particular, they are quasi-compact. Let $f: X to Y$ be a morphism of finite type (for all open affines $U subset Y$, $f^{-1}(U)$ is quasi-compact and $Gamma(V, O_X)$ is finitely generated over $Gamma(U, O_Y)$ for all open affine $V subset f^{-1}(U)$).

I would like to deduce that the fibre $f^{-1}(y)$ as a scheme over $operatorname{Spec}kappa(y)$ is quasi-compact, for any $y in Y$. How can I prove this? Any comments are appreciated. Thank you!

2 Answers

We know that morphisms of finite type are stable under base extension (see Hartshorne exercise 3.13 (d)). Then $f:X rightarrow Y$ being of finite type implies that $f^{-1}(y) rightarrow $ Spec $k(y)$ is of finite type. Note that morphisms of finite type are necessarily quasi-compact (see Hartshorne exercise 3.3(a)), since the preimage of Spec $k(y)$ is $f^{-1}(y)$, we must have it is quasi-compact space.

Answered by Rikka on January 1, 2022

A scheme is quasicompact iff it can be covered by finitely many open affine subschemes.

When $X, Y$ are affine, it’s easy to see that the fiber is the spectrum of $mathcal{O}_X(X) otimes_{mathcal{O}_Y(Y)} kappa(y)$ so is quasicompact.

In general, let $y in V subset Y$ be an affine open subset, let $f^{-1}(V)=bigcup_i{U_i}$ be a finite reunion of affine open subsets of $X$ (as $X$ is a Noetherian scheme, all its affine open subsets are quasicompact). Then $X_y$ is the (finite) reunion of the $(U_i)_y$ which are open affine (they are fibers of $U_i rightarrow V$ affine of finite type), so is quasi-compact.

Answered by Mindlack on January 1, 2022

Add your own answers!

Ask a Question

Get help from others!

© 2024 All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP