Alphabeta MathPersonal research
Supporting prerequisites · 04 — Exact arbitrary-field open-natural classical cycle interface
Presents 26 supporting prerequisites, covering dependency levels 10–17.
1 · Prerequisites
- Motivic complexes and cohomology
- Motivic projective bundle formula
- The Axiom of Choice
- Relative projective space from standard charts
- Quotient and line projectivizations agree after dualizing
- Shifted Nisnevich units and the line-bundle groupoid
- Stable spectra and exact triangles
- Derived global sections on a scheme site
- Quasi-compact and quasi-separated schemes
- Smooth morphism of schemes
- Grothendieck universe closure convention
- Elden Elmanto and Matthew Morrow, Motivic cohomology of equicharacteristic schemes, arXiv:2309.08463v1 · Section 2.1 and Section 2.2, printed pp. 11–12; Definition 4.9 and Theorem 4.10(1),(5), pp. 21–22; Definition 4.23 and Theorem 4.24(1),(4), pp. 27–28; Theorem 1.1(1), p. 3
- Elden Elmanto and Matthew Morrow, Motivic cohomology of equicharacteristic schemes, arXiv:2309.08463v1 · Lemma 5.1 and its proof, printed pp. 33–34; Definition 5.2 and map (5.1), p. 34
- Elden Elmanto and Matthew Morrow, Motivic cohomology of equicharacteristic schemes, arXiv:2309.08463v1 · Map (5.2), negative-weight convention and Theorem 5.3, printed p. 34; paragraph preceding Theorem 5.24, Theorem 5.24(1),(2), map (5.15), and its proof, pp. 43–44
2 · Logical flowchart
Arrows show item dependencies. A grouped prerequisite node points to items that use one or more of its members; their exact links are listed above.
3 · Items
Theorem