Covariance of character classes: 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. planned8Described in the blueprint only.
graph LR
n0("Direct images and open extension"):::planned
n1("Witt localization"):::planned
n2("Germ description"):::planned
n3("Character coproducts"):::planned
n4["Character classes"]:::planned
n5("Covariance of character classes"):::planned
n6("Homotopy of character classes"):::planned
n7("Contradiction on the invariant chart"):::planned
n4 --> n5
n4 --> n6
n3 -.-> n4
n3 -.-> n5
n5 -.-> n6
n5 -.-> n7
n6 -.-> n7
n2 --> n4
n2 -.-> n5
n1 -.-> n5
n0 -.-> n5
click n0 "../../../roadmap/sheaf-categories/index.html#test-pushforward" "Direct images and open extension — 1 item · 1 planned"
click n1 "../../../roadmap/localization/index.html#witt-localization" "Witt localization — 1 item · 1 planned"
click n2 "../../../roadmap/localization/index.html#germs" "Germ description — 1 item · 1 planned"
click n3 "../../../roadmap/character-classes/index.html#character-coproduct" "Character coproducts — 1 item · 1 planned"
click n4 "../../../roadmap/character-classes/index.html#character-classes" "Character classes — 1 item · 1 planned"
class n5 focus
click n5 "../../../roadmap/character-classes/index.html#class-covariance" "Covariance of character classes — 1 item · 1 planned"
click n6 "../../../roadmap/character-classes/index.html#class-homotopy" "Homotopy of character classes — 1 item · 1 planned"
click n7 "../../../roadmap/character-classes/index.html#contradiction" "Contradiction on the invariant chart — 1 item · 1 planned"