9 votos

fiberwise-cuasi-compact implica cuasi-compact?

Sea $f\colon X\to \mathbb{A}^n_{\mathbb{C}}$ un morfismo de $\mathbb{C}$ -schemes. Suponga que $f$ está (a) separada, (b) plana, (c) localmente de tipo finito, (d) todas las fibras son cuasi compactas, ¿ $X$ es necesariamente cuasi compacta?

3voto

Owen Puntos 1984

Sea $X$ el esquema obtenido al pegar los puntos genéricos de todos los $\operatorname{Spec}\mathcal{O}_p$ para todos los puntos cerrados $p$ de $\mathbb{A}^1_{\mathbb C}$ . El morfismo obvio $X \to \mathbb{A}^1_{\mathbb C}$ es una biyección, pero $X$ no es cuasi-compacto.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X