Localization, germs, and dense subcategories dependency map
Project map · Full theorem DAG · Open textbook chapter
This map contains the 7 decomposed items in this chapter. Dashed chapter boxes stand for external prerequisites or dependents. ready to state2Nothing it needs is blocked, so the statement can be written in Lean.planned15Described in the blueprint only.
graph LR
n0("Objects supported in an open set"):::planned
n1("Cutoff"):::planned
n2("Dense doubling"):::can_state
n3("Germ description"):::planned
n4("Open-cover bound"):::planned
n5("Open cover dense inclusion"):::planned
n6("Witt localization"):::planned
n7["External chapter: Background prerequisites<br/><small>1 item · 1 ready to state</small>"]:::boundary
n8["External chapter: Character classes and the contradiction<br/><small>3 items · 3 planned</small>"]:::boundary
n9["External chapter: Sheaf categories and homotopy invariance<br/><small>3 items · 3 planned</small>"]:::boundary
n10["External chapter: A bounded lattice on the test sphere<br/><small>3 items · 3 planned</small>"]:::boundary
n7 -.-> n6
n9 --> n0
n9 -. 2 .-> n0
n9 --> n1
n9 -.-> n1
n9 --> n3
n9 --> n5
n9 -.-> n5
n9 --> n6
n0 --> n3
n0 --> n5
n0 --> n6
n1 -.-> n0
n1 -.-> n3
n1 -.-> n5
n2 -. 2 .-> n10
n2 -.-> n4
n3 --> n8
n3 -. 2 .-> n8
n3 -.-> n5
n5 -. 2 .-> n10
n5 --> n4
n6 -.-> n8
n6 -. 3 .-> n10
click n0 "../../roadmap/localization/index.html#compact-support" "Objects supported in an open set — 1 item · 1 planned"
click n1 "../../roadmap/localization/index.html#cutoff" "Cutoff — 1 item · 1 planned"
click n2 "../../roadmap/localization/index.html#dense-doubling" "Dense doubling — 1 item · 1 ready to state"
click n3 "../../roadmap/localization/index.html#germs" "Germ description — 1 item · 1 planned"
click n4 "../../roadmap/localization/index.html#open-cover-bound" "Open-cover bound — 1 item · 1 planned"
click n5 "../../roadmap/localization/index.html#open-cover" "Open cover dense inclusion — 1 item · 1 planned"
click n6 "../../roadmap/localization/index.html#witt-localization" "Witt localization — 1 item · 1 planned"
click n7 "background.html" "Background prerequisites — 1 item · 1 ready to state"
click n8 "character-classes.html" "Character classes and the contradiction — 3 items · 3 planned"
click n9 "sheaf-categories.html" "Sheaf categories and homotopy invariance — 3 items · 3 planned"
click n10 "sphere-lattice.html" "A bounded lattice on the test sphere — 3 items · 3 planned"