Schemes
The 16 chapters of the Stacks Project's part Schemes with a tag that a declaration carries, a page each, numbered as the Stacks Project numbers them.
The docstrings and Lean statements are quoted from AxiomMath/Stacks at commit 5ed82d14, under its Apache-2.0 license.
- 26 Schemes
- 27 Constructions of Schemes
- 28 Properties of Schemes
- 29 Morphisms of Schemes
- 30 Cohomology of Schemes
- 31 Divisors
- 32 Limits of Schemes
- 33 Varieties
- 34 Topologies on Schemes
- 35 Descent
- 36 Derived Categories of Schemes
- 37 More on Morphisms
- 38 More on Flatness
- 39 Groupoid Schemes
- 40 More on Groupoid Schemes
- 41 Étale Morphisms of Schemes
Loading dependency explorer…
The dependency explorer needs JavaScript and its graph data.