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 is quasi-compact if for every open affine subscheme the open set is quasi-compact.
Remarks
It is enough to check this for the sets of one cover of by open affine subschemes. Every affine scheme is quasi-compact, by quasi-compactness of the spectrum. Example: every closed immersion is quasi-compact. For open affine, is homeomorphic to a closed subset of the quasi-compact space , and closed subsets of quasi-compact spaces are quasi-compact. Example: if is a Noetherian scheme, every morphism is quasi-compact, since every subset of a Noetherian space is quasi-compact. Non-example: let be the disjoint union of infinitely many copies of for a field , and the obvious map. Then is covered by the copies, with no finite subcover, so 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
- no evidence level
- Affine scheme concept
- Basic open set concept
- Compact space concept
- Ideal concept
- Morphism of schemes concept
- Spectrum of a ring concept
- Zariski topology concept
- Quasi-compactness of the spectrum statement
- Quasi-compact morphism definition
Further reading
About this page
| Tag | W007WWX7AN |
|---|---|
| URI | m2://W007WWX7AN |
| Kind | definition |
| Writing | W0 stub |
| MSC | 14A15 |
| Defines | Quasi-compact morphism |
| Uses | Morphism 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.