Alphabeta MathPersonal research
Supporting prerequisites · 01 — Localization sequence for Chow groups and homotopy invariance of affine space
Presents 28 supporting prerequisites, covering published library prerequisites and dependency levels 0–1.
1 · Prerequisites
- Affine bundles and finite projective modules
- The Axiom of Choice
- External symmetric P¹ model, orientation criterion and fundamental stabilization
- Annala–Iwasa, Motivic spectra and universality of K-theory (author PDF,14April2025) · Definition4.4.1 and Lemma4.4.3(ii)–(iii), full proof pp30–31; §2.1.5 quotient convention and Lemma3.2.3
- External symmetric P¹ model, orientation criterion and fundamental stabilization
- Annala–Iwasa, Motivic spectra and universality of K-theory (author PDF,14April2025) · Definition4.4.1 and Lemma4.4.3(ii)–(iii), full proof pp30–31; §2.1.5 quotient convention and Lemma3.2.3
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
Lemma
Affine bundle classes are actual projective-module classes
Theorem
External non-A¹ projective-relation filtered and Whitney theorem
Theorem