Math 2.0

Algebraic geometry Definition

Quasi-compact morphism

Builds on Morphism of schemesAffine schemeCompact spaceQuasi-compactness of the spectrum

Definition

A topological space is quasi-compact if every open cover of it has a finite subcover, as for a compact space without any separation axiom. A morphism of schemes f ⁣:X→Yf \colon X \to Y is quasi-compact if for every open affine subscheme V⊆YV \subseteq Y the open set f−1(V)f^{-1}(V) is quasi-compact.

Remarks

It is enough to check this for the sets ViV_i of one cover of YY by open affine subschemes. Every affine scheme is quasi-compact, by quasi-compactness of the spectrum. Example: every closed immersion f ⁣:Z→Yf \colon Z \to Y is quasi-compact. For VV open affine, f−1(V)f^{-1}(V) is homeomorphic to a closed subset of the quasi-compact space VV, and closed subsets of quasi-compact spaces are quasi-compact. Example: if XX is a Noetherian scheme, every morphism X→YX \to Y is quasi-compact, since every subset of a Noetherian space is quasi-compact. Non-example: let XX be the disjoint union of infinitely many copies of Spec⁡k\operatorname{Spec} k for a field kk, and f ⁣:X→Spec⁡kf \colon X \to \operatorname{Spec} k the obvious map. Then f−1(Spec⁡k)=Xf^{-1}(\operatorname{Spec} k) = X is covered by the copies, with no finite subcover, so ff is not quasi-compact.

Reading path

To understand this page from the ground up, read these 9 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Affine scheme concept
  2. Basic open set concept
  3. Compact space concept
  4. Ideal concept
  5. Morphism of schemes concept
  6. Spectrum of a ring concept
  7. Zariski topology concept
  8. Quasi-compactness of the spectrum statement
  9. Quasi-compact morphism definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Quasi-compact_morphism
About this page
TagW007WWX7AN
URIm2://W007WWX7AN
Kinddefinition
WritingW0 stub
MSC14A15
DefinesQuasi-compact morphism
UsesMorphism of schemes, Affine scheme, Compact space, Quasi-compactness of the spectrum

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.