Fixed sphere lattice: local context
Project map · Chapter map · Full theorem DAG · Open textbook statement
This local map shows one dependency hop in either direction. The highlighted item is the current focus. planned7Described in the blueprint only.
graph LR
n0["Test categories"]:::planned
n1("Bounded comparison"):::planned
n2("Rational sphere calculation"):::planned
n3("Signature on a finite relation"):::planned
n4("Fixed sphere lattice"):::planned
n5("Action of degree"):::planned
n6("Contradiction on the invariant chart"):::planned
n0 --> n1
n0 --> n5
n0 --> n3
n0 --> n4
n0 --> n2
n1 -.-> n4
n5 -.-> n6
n3 -.-> n4
n4 -.-> n6
n4 --> n5
n2 -.-> n3
n2 -.-> n4
click n0 "../../../roadmap/sheaf-categories/index.html#test-categories" "Test categories — 1 item · 1 planned"
click n1 "../../../roadmap/sphere-lattice/index.html#bounded-comparison" "Bounded comparison — 1 item · 1 planned"
click n2 "../../../roadmap/sphere-lattice/index.html#sphere-rank" "Rational sphere calculation — 1 item · 1 planned"
click n3 "../../../roadmap/sphere-lattice/index.html#generic-signature" "Signature on a finite relation — 1 item · 1 planned"
class n4 focus
click n4 "../../../roadmap/sphere-lattice/index.html#sphere-lattice" "Fixed sphere lattice — 1 item · 1 planned"
click n5 "../../../roadmap/sphere-lattice/index.html#degree-action" "Action of degree — 1 item · 1 planned"
click n6 "../../../roadmap/character-classes/index.html#contradiction" "Contradiction on the invariant chart — 1 item · 1 planned"