discrete homotopy and homology for graphs€¦ · overview i invariants of dynamic processes:...
TRANSCRIPT
![Page 1: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/1.jpg)
Discrete Homotopy and Homology Theory forMetric Spaces
Helene BarceloMathematical Sciences Research Institute
Algebraic and Combinatorial Approachesin Systems Biology — UConn
May 23, 2015
![Page 2: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/2.jpg)
Overview
I Invariants of Dynamic Processes: Aq
n
(�,�o
)(Atkin, Maurer, Malle, Lovasz 1970’s)
I Discrete Homotopy Theory for Graphs
Aq
1(�,�0) ⇠= ⇡1(�q
�, v0)/N(3, 4 cycles) ⇠= ⇡1(X�q�, x0)
I Discrete Homotopy for Cubical Sets
Aq
n
(�,�0)?⇠= ⇡
n
(X�q�, x0)
I Discrete Homology Theory
I Unexpected Application of Discrete Homotopy Theory
A1(R-Coxeter complex) ⇠= ⇡1�M(W -3-parabolic arr.)
�
generalizing Brieskorn’s results for C-hyperbolic arrangement
![Page 3: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/3.jpg)
Overview
I Invariants of Dynamic Processes: Aq
n
(�,�o
)(Atkin, Maurer, Malle, Lovasz 1970’s)
I Discrete Homotopy Theory for Graphs
Aq
1(�,�0) ⇠= ⇡1(�q
�, v0)/N(3, 4 cycles) ⇠= ⇡1(X�q�, x0)
I Discrete Homotopy for Cubical Sets
Aq
n
(�,�0)?⇠= ⇡
n
(X�q�, x0)
I Discrete Homology Theory
I Unexpected Application of Discrete Homotopy Theory
A1(R-Coxeter complex) ⇠= ⇡1�M(W -3-parabolic arr.)
�
generalizing Brieskorn’s results for C-hyperbolic arrangement
![Page 4: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/4.jpg)
Overview
I Invariants of Dynamic Processes: Aq
n
(�,�o
)(Atkin, Maurer, Malle, Lovasz 1970’s)
I Discrete Homotopy Theory for Graphs
Aq
1(�,�0) ⇠= ⇡1(�q
�, v0)/N(3, 4 cycles) ⇠= ⇡1(X�q�, x0)
I Discrete Homotopy for Cubical Sets
Aq
n
(�,�0)?⇠= ⇡
n
(X�q�, x0)
I Discrete Homology Theory
I Unexpected Application of Discrete Homotopy Theory
A1(R-Coxeter complex) ⇠= ⇡1�M(W -3-parabolic arr.)
�
generalizing Brieskorn’s results for C-hyperbolic arrangement
![Page 5: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/5.jpg)
Overview
I Invariants of Dynamic Processes: Aq
n
(�,�o
)(Atkin, Maurer, Malle, Lovasz 1970’s)
I Discrete Homotopy Theory for Graphs
Aq
1(�,�0) ⇠= ⇡1(�q
�, v0)/N(3, 4 cycles) ⇠= ⇡1(X�q�, x0)
I Discrete Homotopy for Cubical Sets
Aq
n
(�,�0)?⇠= ⇡
n
(X�q�, x0)
I Discrete Homology Theory
I Unexpected Application of Discrete Homotopy Theory
A1(R-Coxeter complex) ⇠= ⇡1�M(W -3-parabolic arr.)
�
generalizing Brieskorn’s results for C-hyperbolic arrangement
![Page 6: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/6.jpg)
Overview
I Invariants of Dynamic Processes: Aqn(∆, σo)
(Atkin, Maurer, Malle, Lovasz 1970’s)
I Discrete Homotopy Theory for Graphs
Aq1(∆, σ0) ∼= π1(Γq
∆, v0)/N(3, 4 cycles) ∼= π1(XΓq∆, x0)
I Discrete Homotopy for Cubical Sets
Aqn(∆, σ0)
?∼= πn(XΓq∆, x0)
I Discrete Homology Theory
I Unexpected Application of Discrete Homotopy Theory
A1(R-Coxeter complex) ∼= π1
(M(W -3-parabolic arr.)
)generalizing Brieskorn’s results for C-parabolic arrangement
![Page 7: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/7.jpg)
Overview
I Invariants of Dynamic Processes: Aqn(∆, σo)
(Atkin, Maurer, Malle, Lovasz 1970’s)
I Discrete Homotopy Theory for Graphs
Aq1(∆, σ0) ∼= π1(Γq
∆, v0)/N(3, 4 cycles) ∼= π1(XΓq∆, x0)
I Discrete Homotopy for Cubical Sets
Aqn(∆, σ0)
?∼= πn(XΓq∆, x0)
I Discrete Homology Theory
I Unexpected Application of Discrete Homotopy Theory
A1(R-Coxeter complex) ∼= π1
(M(W -3-parabolic arr.)
)generalizing Brieskorn’s results for C-parabolic arrangement
![Page 8: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/8.jpg)
Discrete Homotopy Theory for Graphs
(Babson, B., Kramer, de Longueville, Laubenbacher, Severs, Weaver, White)
Definitions
1. � - graph (� simplicial complex; X metric space)
v0 - distinguished vertex (�0; x0)
Zn
- infinite lattice (usual metric)
2. An
(�, v0) - set of graph homs f : Zn ! V (�), that is,
if d(~a, ~b ) = 1 in Zn then d(f (~a), f (~b)) = 0 or 1, with
f (~i ) = v0 almost everywhere
3. f , g are discrete homotopic if there exist h 2 An+1(�, v0) and k, ` 2 N
such that for all
~i 2 Zn
,
h(
~i , k) = f (
~i )
h(
~i , ` ) = g(
~i )
4. A
n
(�, v0) - set of equivalence classes of maps in An
(�, v0)Note: translation preserves discrete homotopy
![Page 9: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/9.jpg)
Discrete Homotopy Theory for Graphs
(Babson, B., Kramer, de Longueville, Laubenbacher, Severs, Weaver, White)
Definitions
1. � - graph (� simplicial complex; X metric space)
v0 - distinguished vertex (�0; x0)
Zn
- infinite lattice (usual metric)
2. An
(�, v0) - set of graph homs f : Zn ! V (�), that is,
if d(~a, ~b ) = 1 in Zn then d(f (~a), f (~b)) = 0 or 1, with
f (~i ) = v0 almost everywhere
3. f , g are discrete homotopic if there exist h 2 An+1(�, v0) and k, ` 2 N
such that for all
~i 2 Zn
,
h(
~i , k) = f (
~i )
h(
~i , ` ) = g(
~i )
4. A
n
(�, v0) - set of equivalence classes of maps in An
(�, v0)Note: translation preserves discrete homotopy
![Page 10: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/10.jpg)
Discrete Homotopy Theory for Graphs
(Babson, B., Kramer, de Longueville, Laubenbacher, Severs, Weaver, White)
Definitions
1. � - graph (� simplicial complex; X metric space)
v0 - distinguished vertex (�0; x0)
Zn
- infinite lattice (usual metric)
2. An
(�, v0) - set of graph homs f : Zn ! V (�), that is,
if d(~a, ~b ) = 1 in Zn then d(f (~a), f (~b)) = 0 or 1, with
f (~i ) = v0 almost everywhere
3. f , g are discrete homotopic if there exist h 2 An+1(�, v0) and k, ` 2 N
such that for all
~i 2 Zn
,
h(
~i , k) = f (
~i )
h(
~i , ` ) = g(
~i )
4. A
n
(�, v0) - set of equivalence classes of maps in An
(�, v0)Note: translation preserves discrete homotopy
![Page 11: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/11.jpg)
Discrete Homotopy Theory for Graphs
(Babson, B., Kramer, de Longueville, Laubenbacher, Severs, Weaver, White)
Definitions
1. � - graph (� simplicial complex; X metric space)
v0 - distinguished vertex (�0; x0)
Zn
- infinite lattice (usual metric)
2. An
(�, v0) - set of graph homs f : Zn ! V (�), that is,
if d(~a, ~b ) = 1 in Zn then d(f (~a), f (~b)) = 0 or 1, with
f (~i ) = v0 almost everywhere
3. f , g are discrete homotopic if there exist h 2 An+1(�, v0) and k, ` 2 N
such that for all
~i 2 Zn
,
h(
~i , k) = f (
~i )
h(
~i , ` ) = g(
~i )
4. A
n
(�, v0) - set of equivalence classes of maps in An
(�, v0)Note: translation preserves discrete homotopy
![Page 12: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/12.jpg)
Discrete Homotopy Theory for Graphs
(Babson, B., Kramer, de Longueville, Laubenbacher, Severs, Weaver, White)
Definitions
1. � - graph (� simplicial complex; X metric space)
v0 - distinguished vertex (�0; x0)
Zn
- infinite lattice (usual metric)
2. An
(�, v0) - set of graph homs f : Zn ! V (�), that is,
if d(~a, ~b ) = 1 in Zn then d(f (~a), f (~b)) = 0 or 1, with
f (~i ) = v0 almost everywhere
3. f , g are discrete homotopic if there exist h 2 An+1(�, v0) and k, ` 2 N
such that for all
~i 2 Zn
,
h(
~i , k) = f (
~i )
h(
~i , ` ) = g(
~i )
4. A
n
(�, v0) - set of equivalence classes of maps in An
(�, v0)Note: translation preserves discrete homotopy
![Page 13: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/13.jpg)
Discrete Homotopy Theory for Graphs
(Babson, B., Kramer, de Longueville, Laubenbacher, Severs, Weaver, White)
Definitions
1. � - graph (� simplicial complex; X metric space)
v0 - distinguished vertex (�0; x0)
Zn
- infinite lattice (usual metric)
2. An
(�, v0) - set of graph homs f : Zn ! V (�), that is,
if d(~a, ~b ) = 1 in Zn then d(f (~a), f (~b)) = 0 or 1, with
f (~i ) = v0 almost everywhere
3. f , g are discrete homotopic if there exist h 2 An+1(�, v0) and k, ` 2 N
such that for all
~i 2 Zn
,
h(
~i , k) = f (
~i )
h(
~i , ` ) = g(
~i )
4. A
n
(�, v0) - set of equivalence classes of maps in An
(�, v0)Note: translation preserves discrete homotopy
![Page 14: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/14.jpg)
Discrete Homotopy Theory for Graphs
Group Structure
I Multiplication: for f , g 2 An
(�, v0) of radius M,N,
f g (~i ) =
(f (~i ) i1 M
g(i1 � (M + N), i2, . . . in) i1 > M
v0
v0
v0
v0 f v0 g v0
v0
v0
v0
[f g ] = [f ] [g ]
![Page 15: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/15.jpg)
Discrete Homotopy Theory for Graphs
Group Structure
I Multiplication: for f , g 2 An
(�, v0) of radius M,N,
f g (~i ) =
(f (~i ) i1 M
g(i1 � (M + N), i2, . . . in) i1 > M
v0
v0
v0
v0 f v0 g v0
v0
v0
v0
[f g ] = [f ] [g ]
![Page 16: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/16.jpg)
Discrete Homotopy Theory for Graphs
Group Structure
I Multiplication: for f , g 2 An
(�, v0) of radius M,N,
f g (~i ) =
(f (~i ) i1 M
g(i1 � (M + N), i2, . . . in) i1 > M
v0
v0
v0
v0 f v0 g v0
v0
v0
v0
[f g ] = [f ] [g ]
![Page 17: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/17.jpg)
Discrete Homotopy Theory for Graphs
Group Structure
I Multiplication: for f , g 2 An
(�, v0) of radius M,N,
f g (~i ) =
(f (~i ) i1 M
g(i1 � (M + N), i2, . . . in) i1 > M
v0
v0
v0
v0 f v0 g v0
v0
v0
v0
[f g ] = [f ] [g ]
![Page 18: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/18.jpg)
Discrete Homotopy Theory for Graphs
Group Structure
I Identity: e(~i ) = v0 8~i 2 Zn
I Inverses: f �1(~i ) = f (�i1, . . . , in) 8~i 2 Zn
Example (n = 2)
f :
1 d e t i n U0 m E b a r A
�1 s e t a r i
�2 �1 0 1 2 3
f �1 :
1 U n i t e d0 A r a b E m
�1 i r a t e s
�2 �1 0 1 2 3
![Page 19: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/19.jpg)
Discrete Homotopy Theory for Graphs
Group Structure
I Identity: e(~i ) = v0 8~i 2 Zn
I Inverses: f �1(~i ) = f (�i1, . . . , in) 8~i 2 Zn
Example (n = 2)
f :
1 d e t i n U0 m E b a r A
�1 s e t a r i
�2 �1 0 1 2 3
f �1 :
1 U n i t e d0 A r a b E m
�1 i r a t e s
�2 �1 0 1 2 3
![Page 20: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/20.jpg)
Discrete Homotopy Theory for Graphs
Group Structure
I Identity: e(~i ) = v0 8~i 2 Zn
I Inverses: f �1(~i ) = f (�i1, . . . , in) 8~i 2 Zn
Example (n = 2)
f :
1 d e t i n U0 m E b a r A
�1 s e t a r i
�2 �1 0 1 2 3
f �1 :
1 U n i t e d0 A r a b E m
�1 i r a t e s
�2 �1 0 1 2 3
![Page 21: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/21.jpg)
Discrete Homotopy Theory for Graphs
Group Structure
I Identity: e(~i ) = v0 ∀~i ∈ Zn
I Inverses: f −1(~i ) = f (−i1, . . . , in) ∀~i ∈ Zn
Example (n = 2)
f :
1 r a h n i e R0 n e b u a L d−1 60 r e h c a b
−3 −2 −1 0 1 2 3
f −1 :
1 R e i n h a r0 d L a u b e n−1 b a c h e r 60
−3 −2 −1 0 1 2 3
![Page 22: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/22.jpg)
Discrete Homotopy Theory for Graphs
Group Structure
I Identity: e(~i ) = v0 ∀~i ∈ Zn
I Inverses: f −1(~i ) = f (−i1, . . . , in) ∀~i ∈ Zn
Example (n = 2)
f :
1 r a h n i e R0 n e b u a L d−1 60 r e h c a b
−3 −2 −1 0 1 2 3
f −1 :
1 R e i n h a r0 d L a u b e n−1 b a c h e r 60
−3 −2 −1 0 1 2 3
![Page 23: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/23.jpg)
Discrete Homotopy Theory for Graphs
Group StructureAn
(�, v0) is an abelian group 8 n � 2
f g ⇠g
f⇠
g
f⇠ g f
![Page 24: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/24.jpg)
Discrete Homotopy Theory for Graphs
Group StructureAn
(�, v0) is an abelian group 8 n � 2
f g ⇠g
f⇠
g
f⇠ g f
![Page 25: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/25.jpg)
Discrete Homotopy Theory for Graphs
Examples
A1
⇣v0 v1 , v0
⌘= 1
A1
⇣v2
v0 v1
, v0⌘= 1
v0 v1 v2 v0
v0 v0 v0 v0
A1
⇣v3 v2
v0 v1
, v0⌘= 1
v0 v1 v2 v3 v0
v0 v0 v1 v0 v0
v0 v0 v0 v0 v0
A1
⇣, v0
⌘⇠= Z
A1(�, v0) ⇠= ⇡1(�, v0)/N(3, 4 cycles) ⇠= ⇡1(X�, v0)
(2-dim cell complex: attach 2-cells to 4, ⇤ of �)
![Page 26: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/26.jpg)
Discrete Homotopy Theory for Graphs
Examples
A1
⇣v0 v1 , v0
⌘= 1
A1
⇣v2
v0 v1
, v0⌘= 1
v0 v1 v2 v0
v0 v0 v0 v0
A1
⇣v3 v2
v0 v1
, v0⌘= 1
v0 v1 v2 v3 v0
v0 v0 v1 v0 v0
v0 v0 v0 v0 v0
A1
⇣, v0
⌘⇠= Z
A1(�, v0) ⇠= ⇡1(�, v0)/N(3, 4 cycles) ⇠= ⇡1(X�, v0)
(2-dim cell complex: attach 2-cells to 4, ⇤ of �)
![Page 27: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/27.jpg)
Discrete Homotopy Theory for Graphs
Examples
A1
⇣v0 v1 , v0
⌘= 1
A1
⇣v2
v0 v1
, v0⌘= 1
v0 v1 v2 v0
v0 v0 v0 v0
A1
⇣v3 v2
v0 v1
, v0⌘= 1
v0 v1 v2 v3 v0
v0 v0 v1 v0 v0
v0 v0 v0 v0 v0
A1
⇣, v0
⌘⇠= Z
A1(�, v0) ⇠= ⇡1(�, v0)/N(3, 4 cycles) ⇠= ⇡1(X�, v0)
(2-dim cell complex: attach 2-cells to 4, ⇤ of �)
![Page 28: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/28.jpg)
Discrete Homotopy Theory for Graphs
Examples
A1
⇣v0 v1 , v0
⌘= 1
A1
⇣v2
v0 v1
, v0⌘= 1
v0 v1 v2 v0
v0 v0 v0 v0
A1
⇣v3 v2
v0 v1
, v0⌘= 1
v0 v1 v2 v3 v0
v0 v0 v1 v0 v0
v0 v0 v0 v0 v0
A1
⇣, v0
⌘⇠= Z
A1(�, v0) ⇠= ⇡1(�, v0)/N(3, 4 cycles) ⇠= ⇡1(X�, v0)
(2-dim cell complex: attach 2-cells to 4, ⇤ of �)
![Page 29: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/29.jpg)
Discrete Homotopy Theory for Graphs
Examples
A1
⇣v0 v1 , v0
⌘= 1
A1
⇣v2
v0 v1
, v0⌘= 1
v0 v1 v2 v0
v0 v0 v0 v0
A1
⇣v3 v2
v0 v1
, v0⌘= 1
v0 v1 v2 v3 v0
v0 v0 v1 v0 v0
v0 v0 v0 v0 v0
A1
⇣, v0
⌘⇠= Z
A1(�, v0) ⇠= ⇡1(�, v0)/N(3, 4 cycles) ⇠= ⇡1(X�, v0)
(2-dim cell complex: attach 2-cells to 4, ⇤ of �)
![Page 30: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/30.jpg)
Discrete Homotopy Theory for Graphs
Examples
A1
⇣v0 v1 , v0
⌘= 1
A1
⇣v2
v0 v1
, v0⌘= 1
v0 v1 v2 v0
v0 v0 v0 v0
A1
⇣v3 v2
v0 v1
, v0⌘= 1
v0 v1 v2 v3 v0
v0 v0 v1 v0 v0
v0 v0 v0 v0 v0
A1
⇣, v0
⌘⇠= Z
A1(�, v0) ⇠= ⇡1(�, v0)/N(3, 4 cycles) ⇠= ⇡1(X�, v0)
(2-dim cell complex: attach 2-cells to 4, ⇤ of �)
![Page 31: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/31.jpg)
Discrete Homotopy Theory for Graphs
Examples
A1
⇣v0 v1 , v0
⌘= 1
A1
⇣v2
v0 v1
, v0⌘= 1
v0 v1 v2 v0
v0 v0 v0 v0
A1
⇣v3 v2
v0 v1
, v0⌘= 1
v0 v1 v2 v3 v0
v0 v0 v1 v0 v0
v0 v0 v0 v0 v0
A1
⇣, v0
⌘⇠= Z
A1(�, v0) ⇠= ⇡1(�, v0)/N(3, 4 cycles) ⇠= ⇡1(X�, v0)
(2-dim cell complex: attach 2-cells to 4, ⇤ of �)
![Page 32: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/32.jpg)
Discrete Homotopy Theory for Graphs
Examples
A1
⇣v0 v1 , v0
⌘= 1
A1
⇣v2
v0 v1
, v0⌘= 1
v0 v1 v2 v0
v0 v0 v0 v0
A1
⇣v3 v2
v0 v1
, v0⌘= 1
v0 v1 v2 v3 v0
v0 v0 v1 v0 v0
v0 v0 v0 v0 v0
A1
⇣, v0
⌘⇠= Z
A1(�, v0) ⇠= ⇡1(�, v0)/N(3, 4 cycles) ⇠= ⇡1(X�, v0)
(2-dim cell complex: attach 2-cells to 4, ⇤ of �)
![Page 33: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/33.jpg)
Discrete Homotopy Theory for Graphs
Examples
A1
⇣v0 v1 , v0
⌘= 1
A1
⇣v2
v0 v1
, v0⌘= 1
v0 v1 v2 v0
v0 v0 v0 v0
A1
⇣v3 v2
v0 v1
, v0⌘= 1
v0 v1 v2 v3 v0
v0 v0 v1 v0 v0
v0 v0 v0 v0 v0
A1
⇣, v0
⌘⇠= Z
A1(�, v0) ⇠= ⇡1(�, v0)/N(3, 4 cycles) ⇠= ⇡1(X�, v0)
(2-dim cell complex: attach 2-cells to 4, ⇤ of �)
![Page 34: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/34.jpg)
Discrete Homotopy Theory
I Aq
n
(�,�0) ⇠= An
(�q�,�0)�q� vertices = all maximal simplices of � of dim� q(�,�0) 2 E (�q�) () dim(� \ �0) � q
I Ar
n
(X , x0) r -Lipschitz maps f : Zn ! X (stabilizing in alldirections)
f : X ! Y is r -Lipschitz () d(f (x1), f (x2)) r d(x1, x2)
![Page 35: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/35.jpg)
Discrete Homotopy Theory
I Aq
n
(�,�0) ⇠= An
(�q�,�0)�q� vertices = all maximal simplices of � of dim� q(�,�0) 2 E (�q�) () dim(� \ �0) � q
I Ar
n
(X , x0) r -Lipschitz maps f : Zn ! X (stabilizing in alldirections)
f : X ! Y is r -Lipschitz () d(f (x1), f (x2)) r d(x1, x2)
![Page 36: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/36.jpg)
Is it a Good Analogy to Classical Homotopy?
1. If � is connected, An
(�, v0)independent of v0
2. Siefert-van Kampen: if
� = �1 [ �2�i
connectedv0 2 �1 \ �2�1 \ �2 connected4, ⇤ lie in one of the �
i
then
A1(�, v0) ⇠= A1(�1, v0) ⇤ A1(�2, v0)/N([`] ⇤ [`]�1)
for ` a loop in �1 \ �2
3. Relative discrete homotopy theory and long exact sequences
4. Associated discrete homology theory. . . ?
![Page 37: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/37.jpg)
Is it a Good Analogy to Classical Homotopy?
1. If � is connected, An
(�, v0)independent of v02. Siefert-van Kampen: if
� = �1 [ �2�i
connectedv0 2 �1 \ �2�1 \ �2 connected4, ⇤ lie in one of the �
i
then
A1(�, v0) ⇠= A1(�1, v0) ⇤ A1(�2, v0)/N([`] ⇤ [`]�1)
for ` a loop in �1 \ �2
3. Relative discrete homotopy theory and long exact sequences
4. Associated discrete homology theory. . . ?
![Page 38: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/38.jpg)
Is it a Good Analogy to Classical Homotopy?
1. If � is connected, An
(�, v0)independent of v02. Siefert-van Kampen: if
� = �1 [ �2�i
connectedv0 2 �1 \ �2�1 \ �2 connected4, ⇤ lie in one of the �
i
then
A1(�, v0) ⇠= A1(�1, v0) ⇤ A1(�2, v0)/N([`] ⇤ [`]�1)
for ` a loop in �1 \ �2
3. Relative discrete homotopy theory and long exact sequences
4. Associated discrete homology theory. . . ?
![Page 39: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/39.jpg)
Is it a Good Analogy to Classical Homotopy?
1. If � is connected, An
(�, v0)independent of v02. Siefert-van Kampen: if
� = �1 [ �2�i
connectedv0 2 �1 \ �2�1 \ �2 connected4, ⇤ lie in one of the �
i
then
A1(�, v0) ⇠= A1(�1, v0) ⇤ A1(�2, v0)/N([`] ⇤ [`]�1)
for ` a loop in �1 \ �2
3. Relative discrete homotopy theory and long exact sequences
4. Associated discrete homology theory. . . ?
![Page 40: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/40.jpg)
Is it a Good Analogy to Classical Homotopy?
1. If � is connected, An
(�, v0)independent of v02. Siefert-van Kampen: if
� = �1 [ �2�i
connectedv0 2 �1 \ �2�1 \ �2 connected4, ⇤ lie in one of the �
i
then
A1(�, v0) ⇠= A1(�1, v0) ⇤ A1(�2, v0)/N([`] ⇤ [`]�1)
for ` a loop in �1 \ �2
3. Relative discrete homotopy theory and long exact sequences
4. Associated discrete homology theory. . . ?
![Page 41: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/41.jpg)
Discrete Homology Theory for Graphs
(B., Capraro, White)
Necessities
1. Discrete n-dim cube Q
n
= {(a1, . . . , an) | ai = 0 or 1}2. Singular n-cube � : Q
n
! � graph homomorphism
3. Ln
(�) := free abelian group generated by all singular n-cubes �
I i th front and back faces of � are singular (n � 1)-cubesI Front: (An
i
�)(a1, . . . , an�1) = �(a1, . . . , ai�1, 0, ai , . . . , an�1)I Back: (Bn
i
�)(b1, . . . , bn�1) = �(b1, . . . , bi�1, 1, bi , . . . , bn�1)I Degenerate singular n-cube: if 9 i s.t. (An
i
�) = (Bn
i
�)I D
n
(�) := free abelian group generated by all degeneratesingular n-cubes
C
n
(�) := Ln
(�)/Dn
(�)
elements of C
n
correspond to n-chains
![Page 42: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/42.jpg)
Discrete Homology Theory for Graphs
(B., Capraro, White)
Necessities
1. Discrete n-dim cube Q
n
= {(a1, . . . , an) | ai = 0 or 1}2. Singular n-cube � : Q
n
! � graph homomorphism
3. Ln
(�) := free abelian group generated by all singular n-cubes �
I i th front and back faces of � are singular (n � 1)-cubesI Front: (An
i
�)(a1, . . . , an�1) = �(a1, . . . , ai�1, 0, ai , . . . , an�1)I Back: (Bn
i
�)(b1, . . . , bn�1) = �(b1, . . . , bi�1, 1, bi , . . . , bn�1)I Degenerate singular n-cube: if 9 i s.t. (An
i
�) = (Bn
i
�)I D
n
(�) := free abelian group generated by all degeneratesingular n-cubes
C
n
(�) := Ln
(�)/Dn
(�)
elements of C
n
correspond to n-chains
![Page 43: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/43.jpg)
Discrete Homology Theory for Graphs
(B., Capraro, White)
Necessities
1. Discrete n-dim cube Q
n
= {(a1, . . . , an) | ai = 0 or 1}
2. Singular n-cube � : Qn
! � graph homomorphism
3. Ln
(�) := free abelian group generated by all singular n-cubes �
I i th front and back faces of � are singular (n � 1)-cubesI Front: (An
i
�)(a1, . . . , an�1) = �(a1, . . . , ai�1, 0, ai , . . . , an�1)I Back: (Bn
i
�)(b1, . . . , bn�1) = �(b1, . . . , bi�1, 1, bi , . . . , bn�1)I Degenerate singular n-cube: if 9 i s.t. (An
i
�) = (Bn
i
�)I D
n
(�) := free abelian group generated by all degeneratesingular n-cubes
C
n
(�) := Ln
(�)/Dn
(�)
elements of C
n
correspond to n-chains
![Page 44: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/44.jpg)
Discrete Homology Theory for Graphs
(B., Capraro, White)
Necessities
1. Discrete n-dim cube Q
n
= {(a1, . . . , an) | ai = 0 or 1}2. Singular n-cube � : Q
n
! � graph homomorphism
3. Ln
(�) := free abelian group generated by all singular n-cubes �
I i th front and back faces of � are singular (n � 1)-cubesI Front: (An
i
�)(a1, . . . , an�1) = �(a1, . . . , ai�1, 0, ai , . . . , an�1)I Back: (Bn
i
�)(b1, . . . , bn�1) = �(b1, . . . , bi�1, 1, bi , . . . , bn�1)I Degenerate singular n-cube: if 9 i s.t. (An
i
�) = (Bn
i
�)I D
n
(�) := free abelian group generated by all degeneratesingular n-cubes
C
n
(�) := Ln
(�)/Dn
(�)
elements of C
n
correspond to n-chains
![Page 45: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/45.jpg)
Discrete Homology Theory for Graphs
(B., Capraro, White)
Necessities
1. Discrete n-dim cube Q
n
= {(a1, . . . , an) | ai = 0 or 1}2. Singular n-cube � : Q
n
! � graph homomorphism
3. Ln
(�) := free abelian group generated by all singular n-cubes �
I i th front and back faces of � are singular (n � 1)-cubesI Front: (An
i
�)(a1, . . . , an�1) = �(a1, . . . , ai�1, 0, ai , . . . , an�1)I Back: (Bn
i
�)(b1, . . . , bn�1) = �(b1, . . . , bi�1, 1, bi , . . . , bn�1)I Degenerate singular n-cube: if 9 i s.t. (An
i
�) = (Bn
i
�)I D
n
(�) := free abelian group generated by all degeneratesingular n-cubes
C
n
(�) := Ln
(�)/Dn
(�)
elements of C
n
correspond to n-chains
![Page 46: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/46.jpg)
Discrete Homology Theory for Graphs
(B., Capraro, White)
Necessities
1. Discrete n-dim cube Q
n
= {(a1, . . . , an) | ai = 0 or 1}2. Singular n-cube � : Q
n
! � graph homomorphism
3. Ln
(�) := free abelian group generated by all singular n-cubes �
I i th front and back faces of � are singular (n � 1)-cubes
I Front: (An
i
�)(a1, . . . , an�1) = �(a1, . . . , ai�1, 0, ai , . . . , an�1)I Back: (Bn
i
�)(b1, . . . , bn�1) = �(b1, . . . , bi�1, 1, bi , . . . , bn�1)I Degenerate singular n-cube: if 9 i s.t. (An
i
�) = (Bn
i
�)I D
n
(�) := free abelian group generated by all degeneratesingular n-cubes
C
n
(�) := Ln
(�)/Dn
(�)
elements of C
n
correspond to n-chains
![Page 47: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/47.jpg)
Discrete Homology Theory for Graphs
(B., Capraro, White)
Necessities
1. Discrete n-dim cube Q
n
= {(a1, . . . , an) | ai = 0 or 1}2. Singular n-cube � : Q
n
! � graph homomorphism
3. Ln
(�) := free abelian group generated by all singular n-cubes �
I i th front and back faces of � are singular (n � 1)-cubesI Front: (An
i
�)(a1, . . . , an�1) = �(a1, . . . , ai�1, 0, ai , . . . , an�1)
I Back: (Bn
i
�)(b1, . . . , bn�1) = �(b1, . . . , bi�1, 1, bi , . . . , bn�1)I Degenerate singular n-cube: if 9 i s.t. (An
i
�) = (Bn
i
�)I D
n
(�) := free abelian group generated by all degeneratesingular n-cubes
C
n
(�) := Ln
(�)/Dn
(�)
elements of C
n
correspond to n-chains
![Page 48: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/48.jpg)
Discrete Homology Theory for Graphs
(B., Capraro, White)
Necessities
1. Discrete n-dim cube Q
n
= {(a1, . . . , an) | ai = 0 or 1}2. Singular n-cube � : Q
n
! � graph homomorphism
3. Ln
(�) := free abelian group generated by all singular n-cubes �
I i th front and back faces of � are singular (n � 1)-cubesI Front: (An
i
�)(a1, . . . , an�1) = �(a1, . . . , ai�1, 0, ai , . . . , an�1)I Back: (Bn
i
�)(b1, . . . , bn�1) = �(b1, . . . , bi�1, 1, bi , . . . , bn�1)
I Degenerate singular n-cube: if 9 i s.t. (An
i
�) = (Bn
i
�)I D
n
(�) := free abelian group generated by all degeneratesingular n-cubes
C
n
(�) := Ln
(�)/Dn
(�)
elements of C
n
correspond to n-chains
![Page 49: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/49.jpg)
Discrete Homology Theory for Graphs
(B., Capraro, White)
Necessities
1. Discrete n-dim cube Q
n
= {(a1, . . . , an) | ai = 0 or 1}2. Singular n-cube � : Q
n
! � graph homomorphism
3. Ln
(�) := free abelian group generated by all singular n-cubes �
I i th front and back faces of � are singular (n � 1)-cubesI Front: (An
i
�)(a1, . . . , an�1) = �(a1, . . . , ai�1, 0, ai , . . . , an�1)I Back: (Bn
i
�)(b1, . . . , bn�1) = �(b1, . . . , bi�1, 1, bi , . . . , bn�1)I Degenerate singular n-cube: if 9 i s.t. (An
i
�) = (Bn
i
�)
I Dn
(�) := free abelian group generated by all degeneratesingular n-cubes
C
n
(�) := Ln
(�)/Dn
(�)
elements of C
n
correspond to n-chains
![Page 50: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/50.jpg)
Discrete Homology Theory for Graphs
(B., Capraro, White)
Necessities
1. Discrete n-dim cube Q
n
= {(a1, . . . , an) | ai = 0 or 1}2. Singular n-cube � : Q
n
! � graph homomorphism
3. Ln
(�) := free abelian group generated by all singular n-cubes �
I i th front and back faces of � are singular (n � 1)-cubesI Front: (An
i
�)(a1, . . . , an�1) = �(a1, . . . , ai�1, 0, ai , . . . , an�1)I Back: (Bn
i
�)(b1, . . . , bn�1) = �(b1, . . . , bi�1, 1, bi , . . . , bn�1)I Degenerate singular n-cube: if 9 i s.t. (An
i
�) = (Bn
i
�)I D
n
(�) := free abelian group generated by all degeneratesingular n-cubes
C
n
(�) := Ln
(�)/Dn
(�)
elements of C
n
correspond to n-chains
![Page 51: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/51.jpg)
Discrete Homology Theory for Graphs
(B., Capraro, White)
Necessities
1. Discrete n-dim cube Q
n
= {(a1, . . . , an) | ai = 0 or 1}2. Singular n-cube � : Q
n
! � graph homomorphism
3. Ln
(�) := free abelian group generated by all singular n-cubes �
I i th front and back faces of � are singular (n � 1)-cubesI Front: (An
i
�)(a1, . . . , an�1) = �(a1, . . . , ai�1, 0, ai , . . . , an�1)I Back: (Bn
i
�)(b1, . . . , bn�1) = �(b1, . . . , bi�1, 1, bi , . . . , bn�1)I Degenerate singular n-cube: if 9 i s.t. (An
i
�) = (Bn
i
�)I D
n
(�) := free abelian group generated by all degeneratesingular n-cubes
C
n
(�) := Ln
(�)/Dn
(�)
elements of C
n
correspond to n-chains
![Page 52: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/52.jpg)
Discrete Homology Theory for Graphs
Necessities
4. Boundary operators @n
for each n � 1
@n
(�) =nX
i=1
(�1)i�An
i
(�)� Bn
i
(�)�
I extend linearly to Ln
(�)I @
n
(Dn
(�)) ✓ Dn�1(�)
I so @n
: Cn
(�) ! Cn�1(�) is well-defined
I @n
� @n+1 = 0
![Page 53: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/53.jpg)
Discrete Homology Theory for Graphs
Necessities
4. Boundary operators @n
for each n � 1
@n
(�) =nX
i=1
(�1)i�An
i
(�)� Bn
i
(�)�
I extend linearly to Ln
(�)
I @n
(Dn
(�)) ✓ Dn�1(�)
I so @n
: Cn
(�) ! Cn�1(�) is well-defined
I @n
� @n+1 = 0
![Page 54: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/54.jpg)
Discrete Homology Theory for Graphs
Necessities
4. Boundary operators @n
for each n � 1
@n
(�) =nX
i=1
(�1)i�An
i
(�)� Bn
i
(�)�
I extend linearly to Ln
(�)I @
n
(Dn
(�)) ✓ Dn�1(�)
I so @n
: Cn
(�) ! Cn�1(�) is well-defined
I @n
� @n+1 = 0
![Page 55: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/55.jpg)
Discrete Homology Theory for Graphs
Necessities
4. Boundary operators @n
for each n � 1
@n
(�) =nX
i=1
(�1)i�An
i
(�)� Bn
i
(�)�
I extend linearly to Ln
(�)I @
n
(Dn
(�)) ✓ Dn�1(�)
I so @n
: Cn
(�) ! Cn�1(�) is well-defined
I @n
� @n+1 = 0
![Page 56: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/56.jpg)
Discrete Homology Theory for Graphs
Necessities
4. Boundary operators @n
for each n � 1
@n
(�) =nX
i=1
(�1)i�An
i
(�)� Bn
i
(�)�
I extend linearly to Ln
(�)I @
n
(Dn
(�)) ✓ Dn�1(�)
I so @n
: Cn
(�) ! Cn�1(�) is well-defined
I @n
� @n+1 = 0
![Page 57: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/57.jpg)
Discrete Homology Theory for Graphs
DefinitionThe discrete homology groups of �:
DHn
(�) = Ker(@n
)/Im(@n+1)
Examples
DHn
(�) = 0 8 n � 1 DHn
(4) = 0 8 n � 1
DHn
(⇤) = 0 8 n � 1 DH1( ) = Z
DefinitionIf �0 ✓ �, then @
n
(Cn
(�0)) ✓ Cn�1(�
0) and there are maps
@n
: Cn
(�, �0) = Cn
(�)/Cn
(�0) ! Cn�1(�, �
0)
The relative homology groups of (�, �0):
DHn
(�, �0) = Ker(@n
)/Im(@n+1)
![Page 58: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/58.jpg)
Discrete Homology Theory for Graphs
DefinitionThe discrete homology groups of �:
DHn
(�) = Ker(@n
)/Im(@n+1)
Examples
DHn
(�) = 0 8 n � 1 DHn
(4) = 0 8 n � 1
DHn
(⇤) = 0 8 n � 1 DH1( ) = Z
DefinitionIf �0 ✓ �, then @
n
(Cn
(�0)) ✓ Cn�1(�
0) and there are maps
@n
: Cn
(�, �0) = Cn
(�)/Cn
(�0) ! Cn�1(�, �
0)
The relative homology groups of (�, �0):
DHn
(�, �0) = Ker(@n
)/Im(@n+1)
![Page 59: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/59.jpg)
Discrete Homology Theory for Graphs
DefinitionThe discrete homology groups of �:
DHn
(�) = Ker(@n
)/Im(@n+1)
Examples
DHn
(�) = 0 8 n � 1
DHn
(4) = 0 8 n � 1
DHn
(⇤) = 0 8 n � 1 DH1( ) = Z
DefinitionIf �0 ✓ �, then @
n
(Cn
(�0)) ✓ Cn�1(�
0) and there are maps
@n
: Cn
(�, �0) = Cn
(�)/Cn
(�0) ! Cn�1(�, �
0)
The relative homology groups of (�, �0):
DHn
(�, �0) = Ker(@n
)/Im(@n+1)
![Page 60: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/60.jpg)
Discrete Homology Theory for Graphs
DefinitionThe discrete homology groups of �:
DHn
(�) = Ker(@n
)/Im(@n+1)
Examples
DHn
(�) = 0 8 n � 1 DHn
(4) = 0 8 n � 1
DHn
(⇤) = 0 8 n � 1 DH1( ) = Z
DefinitionIf �0 ✓ �, then @
n
(Cn
(�0)) ✓ Cn�1(�
0) and there are maps
@n
: Cn
(�, �0) = Cn
(�)/Cn
(�0) ! Cn�1(�, �
0)
The relative homology groups of (�, �0):
DHn
(�, �0) = Ker(@n
)/Im(@n+1)
![Page 61: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/61.jpg)
Discrete Homology Theory for Graphs
DefinitionThe discrete homology groups of �:
DHn
(�) = Ker(@n
)/Im(@n+1)
Examples
DHn
(�) = 0 8 n � 1 DHn
(4) = 0 8 n � 1
DHn
(⇤) = 0 8 n � 1
DH1( ) = Z
DefinitionIf �0 ✓ �, then @
n
(Cn
(�0)) ✓ Cn�1(�
0) and there are maps
@n
: Cn
(�, �0) = Cn
(�)/Cn
(�0) ! Cn�1(�, �
0)
The relative homology groups of (�, �0):
DHn
(�, �0) = Ker(@n
)/Im(@n+1)
![Page 62: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/62.jpg)
Discrete Homology Theory for Graphs
DefinitionThe discrete homology groups of �:
DHn
(�) = Ker(@n
)/Im(@n+1)
Examples
DHn
(�) = 0 8 n � 1 DHn
(4) = 0 8 n � 1
DHn
(⇤) = 0 8 n � 1 DH1( !
) = Z
DefinitionIf �0 ✓ �, then @
n
(Cn
(�0)) ✓ Cn�1(�
0) and there are maps
@n
: Cn
(�, �0) = Cn
(�)/Cn
(�0) ! Cn�1(�, �
0)
The relative homology groups of (�, �0):
DHn
(�, �0) = Ker(@n
)/Im(@n+1)
![Page 63: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/63.jpg)
Discrete Homology Theory for Graphs
DefinitionThe discrete homology groups of �:
DHn
(�) = Ker(@n
)/Im(@n+1)
Examples
DHn
(�) = 0 8 n � 1 DHn
(4) = 0 8 n � 1
DHn
(⇤) = 0 8 n � 1 DH1( !
) = Z
DefinitionIf �0 ✓ �, then @
n
(Cn
(�0)) ✓ Cn�1(�
0) and there are maps
@n
: Cn
(�, �0) = Cn
(�)/Cn
(�0) ! Cn�1(�, �
0)
The relative homology groups of (�, �0):
DHn
(�, �0) = Ker(@n
)/Im(@n+1)
![Page 64: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/64.jpg)
Discrete Homology Theory for Graphs
DefinitionThe discrete homology groups of �:
DHn
(�) = Ker(@n
)/Im(@n+1)
Examples
DHn
(�) = 0 8 n � 1 DHn
(4) = 0 8 n � 1
DHn
(⇤) = 0 8 n � 1 DH1( !
) = Z
DefinitionIf �0 ✓ �, then @
n
(Cn
(�0)) ✓ Cn�1(�
0) and there are maps
@n
: Cn
(�, �0) = Cn
(�)/Cn
(�0) ! Cn�1(�, �
0)
The relative homology groups of (�, �0):
DHn
(�, �0) = Ker(@n
)/Im(@n+1)
![Page 65: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/65.jpg)
How to Judge if Homology Theory is Good?
1. Hurewicz Theorem: DH1(�) ⇠= Aab1 (�) n � 2
2. Discrete version of Eilenberg-Steenrod axioms andMayer-Vietoris sequence:
Discrete open cover: n-dim discrete cover of � (or �, X ) is afamily of subgraphs (or subsets) of � such that:
(i) � =
S�
i
(ii) for each non-degenerate n-cube �, we have � 2 �
i
for some i
(iii) Discrete cover is an n-dim cover for each n
A. Mayer-Vietoris sequence:
· · · @⇤�! DHn
(�1 \ �2)diag��! DH
n
(�1)� DHn
(�2)di↵��! DH
n
(�1 [ �2)@⇤�! DH
n�1(�1 \ �2) · · ·
![Page 66: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/66.jpg)
How to Judge if Homology Theory is Good?
1. Hurewicz Theorem: DH1(�) ⇠= Aab1 (�) n � 2
2. Discrete version of Eilenberg-Steenrod axioms andMayer-Vietoris sequence:
Discrete open cover: n-dim discrete cover of � (or �, X ) is afamily of subgraphs (or subsets) of � such that:
(i) � =
S�
i
(ii) for each non-degenerate n-cube �, we have � 2 �
i
for some i
(iii) Discrete cover is an n-dim cover for each n
A. Mayer-Vietoris sequence:
· · · @⇤�! DHn
(�1 \ �2)diag��! DH
n
(�1)� DHn
(�2)di↵��! DH
n
(�1 [ �2)@⇤�! DH
n�1(�1 \ �2) · · ·
![Page 67: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/67.jpg)
How to Judge if Homology Theory is Good?
1. Hurewicz Theorem: DH1(�) ⇠= Aab1 (�) n � 2
2. Discrete version of Eilenberg-Steenrod axioms andMayer-Vietoris sequence:
Discrete open cover: n-dim discrete cover of � (or �, X ) is afamily of subgraphs (or subsets) of � such that:
(i) � =
S�
i
(ii) for each non-degenerate n-cube �, we have � 2 �
i
for some i
(iii) Discrete cover is an n-dim cover for each n
A. Mayer-Vietoris sequence:
· · · @⇤�! DHn
(�1 \ �2)diag��! DH
n
(�1)� DHn
(�2)di↵��! DH
n
(�1 [ �2)@⇤�! DH
n�1(�1 \ �2) · · ·
![Page 68: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/68.jpg)
How to Judge if Homology Theory is Good?
1. Hurewicz Theorem: DH1(�) ⇠= Aab1 (�) n � 2
2. Discrete version of Eilenberg-Steenrod axioms andMayer-Vietoris sequence:
Discrete open cover: n-dim discrete cover of � (or �, X ) is afamily of subgraphs (or subsets) of � such that:
(i) � =
S�
i
(ii) for each non-degenerate n-cube �, we have � 2 �
i
for some i
(iii) Discrete cover is an n-dim cover for each n
A. Mayer-Vietoris sequence:
· · · @⇤�! DHn
(�1 \ �2)diag��! DH
n
(�1)� DHn
(�2)di↵��! DH
n
(�1 [ �2)@⇤�! DH
n�1(�1 \ �2) · · ·
![Page 69: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/69.jpg)
How to Judge if Homology Theory is Good?
1. Hurewicz Theorem: DH1(�) ⇠= Aab1 (�) n � 2
2. Discrete version of Eilenberg-Steenrod axioms andMayer-Vietoris sequence:
Discrete open cover: n-dim discrete cover of � (or �, X ) is afamily of subgraphs (or subsets) of � such that:
(i) � =
S�
i
(ii) for each non-degenerate n-cube �, we have � 2 �
i
for some i
(iii) Discrete cover is an n-dim cover for each n
A. Mayer-Vietoris sequence:
· · · @⇤�! DHn
(�1 \ �2)diag��! DH
n
(�1)� DHn
(�2)di↵��! DH
n
(�1 [ �2)@⇤�! DH
n�1(�1 \ �2) · · ·
![Page 70: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/70.jpg)
How to Judge if Homology Theory is Good?
1. Hurewicz Theorem: DH1(�) ⇠= Aab1 (�) n � 2
2. Discrete version of Eilenberg-Steenrod axioms andMayer-Vietoris sequence:
Discrete open cover: n-dim discrete cover of � (or �, X ) is afamily of subgraphs (or subsets) of � such that:
(i) � =
S�
i
(ii) for each non-degenerate n-cube �, we have � 2 �
i
for some i
(iii) Discrete cover is an n-dim cover for each n
A. Mayer-Vietoris sequence:
· · · @⇤�! DHn
(�1 \ �2)diag��! DH
n
(�1)� DHn
(�2)di↵��! DH
n
(�1 [ �2)@⇤�! DH
n�1(�1 \ �2) · · ·
![Page 71: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/71.jpg)
How to Judge if Homology Theory is Good?
1. Hurewicz Theorem: DH1(�) ⇠= Aab1 (�) n � 2
2. Discrete version of Eilenberg-Steenrod axioms andMayer-Vietoris sequence:
Discrete open cover: n-dim discrete cover of � (or �, X ) is afamily of subgraphs (or subsets) of � such that:
(i) � =
S�
i
(ii) for each non-degenerate n-cube �, we have � 2 �
i
for some i
(iii) Discrete cover is an n-dim cover for each n
A. Mayer-Vietoris sequence:
· · · @⇤�! DHn
(�1 \ �2)diag��! DH
n
(�1)� DHn
(�2)di↵��! DH
n
(�1 [ �2)@⇤�! DH
n�1(�1 \ �2) · · ·
![Page 72: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/72.jpg)
How to Judge if Homology Theory is Good?
1. Hurewicz Theorem: DH1(�) ⇠= Aab1 (�) n � 2
2. Discrete version of Eilenberg-Steenrod axioms andMayer-Vietoris sequence:
Discrete open cover: n-dim discrete cover of � (or �, X ) is afamily of subgraphs (or subsets) of � such that:
(i) � =
S�
i
(ii) for each non-degenerate n-cube �, we have � 2 �
i
for some i
(iii) Discrete cover is an n-dim cover for each n
A. Mayer-Vietoris sequence:
· · · @⇤�! DHn
(�1 \ �2)diag��! DH
n
(�1)� DHn
(�2)di↵��! DH
n
(�1 [ �2)@⇤�! DH
n�1(�1 \ �2) · · ·
![Page 73: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/73.jpg)
How to Judge if Homology Theory is Good?
B. Eilenberg-Steenrod axioms:
I Homotopy: Iff , g : (�, �1) ! (�0, �01)
are discrete homotopic maps then their induced maps onhomology are the same
I Excision:DH⇤(�2, �1 \ �2) ⇠= DH⇤(�, �1)
if � = �1 [ �2 is a discrete coverI Dimension:
DHn
( • , ;) = {0} 8 n � 1
I Long exact sequence:
· · · ! DHn
(�0) ,! DHn
(�) ,! DHn
(�, �0)@⇤�! DH
n�1(�0) · · ·
![Page 74: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/74.jpg)
How to Judge if Homology Theory is Good?
B. Eilenberg-Steenrod axioms:I Homotopy: If
f , g : (�, �1) ! (�0, �01)
are discrete homotopic maps then their induced maps onhomology are the same
I Excision:DH⇤(�2, �1 \ �2) ⇠= DH⇤(�, �1)
if � = �1 [ �2 is a discrete coverI Dimension:
DHn
( • , ;) = {0} 8 n � 1
I Long exact sequence:
· · · ! DHn
(�0) ,! DHn
(�) ,! DHn
(�, �0)@⇤�! DH
n�1(�0) · · ·
![Page 75: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/75.jpg)
How to Judge if Homology Theory is Good?
B. Eilenberg-Steenrod axioms:I Homotopy: If
f , g : (�, �1) ! (�0, �01)
are discrete homotopic maps then their induced maps onhomology are the same
I Excision:DH⇤(�2, �1 \ �2) ⇠= DH⇤(�, �1)
if � = �1 [ �2 is a discrete cover
I Dimension:DH
n
( • , ;) = {0} 8 n � 1
I Long exact sequence:
· · · ! DHn
(�0) ,! DHn
(�) ,! DHn
(�, �0)@⇤�! DH
n�1(�0) · · ·
![Page 76: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/76.jpg)
How to Judge if Homology Theory is Good?
B. Eilenberg-Steenrod axioms:I Homotopy: If
f , g : (�, �1) ! (�0, �01)
are discrete homotopic maps then their induced maps onhomology are the same
I Excision:DH⇤(�2, �1 \ �2) ⇠= DH⇤(�, �1)
if � = �1 [ �2 is a discrete coverI Dimension:
DHn
( • , ;) = {0} 8 n � 1
I Long exact sequence:
· · · ! DHn
(�0) ,! DHn
(�) ,! DHn
(�, �0)@⇤�! DH
n�1(�0) · · ·
![Page 77: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/77.jpg)
How to Judge if Homology Theory is Good?
B. Eilenberg-Steenrod axioms:I Homotopy: If
f , g : (�, �1) ! (�0, �01)
are discrete homotopic maps then their induced maps onhomology are the same
I Excision:DH⇤(�2, �1 \ �2) ⇠= DH⇤(�, �1)
if � = �1 [ �2 is a discrete coverI Dimension:
DHn
( • , ;) = {0} 8 n � 1
I Long exact sequence:
· · · ! DHn
(�0) ,! DHn
(�) ,! DHn
(�, �0)@⇤�! DH
n�1(�0) · · ·
![Page 78: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/78.jpg)
How to Judge if Homology Theory is Good?C. Which groups can we obtain?
I For a fine enough rectangulation R of a compact, metrizable,smooth, path-connected manifold M, let �
R
be the naturalgraph associated to R . Then
⇡1(M) ⇠= A1(�R)
+ (+ suspension)
I For each abelian group G and n 2 N, there is a finiteconnected simple graph � such that
DHn
(�) =
(G if n = n
0 if n n
I There is a graph Sn such that
DHk
(Sn) =
(Z if k = n
0 if k 6= n
![Page 79: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/79.jpg)
How to Judge if Homology Theory is Good?C. Which groups can we obtain?
I For a fine enough rectangulation R of a compact, metrizable,smooth, path-connected manifold M, let �
R
be the naturalgraph associated to R . Then
⇡1(M) ⇠= A1(�R)
+ (+ suspension)
I For each abelian group G and n 2 N, there is a finiteconnected simple graph � such that
DHn
(�) =
(G if n = n
0 if n n
I There is a graph Sn such that
DHk
(Sn) =
(Z if k = n
0 if k 6= n
![Page 80: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/80.jpg)
How to Judge if Homology Theory is Good?C. Which groups can we obtain?
I For a fine enough rectangulation R of a compact, metrizable,smooth, path-connected manifold M, let �
R
be the naturalgraph associated to R . Then
⇡1(M) ⇠= A1(�R)
+ (+ suspension)
I For each abelian group G and n 2 N, there is a finiteconnected simple graph � such that
DHn
(�) =
(G if n = n
0 if n n
I There is a graph Sn such that
DHk
(Sn) =
(Z if k = n
0 if k 6= n
![Page 81: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/81.jpg)
How to Judge if Homology Theory is Good?C. Which groups can we obtain?
I For a fine enough rectangulation R of a compact, metrizable,smooth, path-connected manifold M, let �
R
be the naturalgraph associated to R . Then
⇡1(M) ⇠= A1(�R)
+ (+ suspension)
I For each abelian group G and n 2 N, there is a finiteconnected simple graph � such that
DHn
(�) =
(G if n = n
0 if n n
I There is a graph Sn such that
DHk
(Sn) =
(Z if k = n
0 if k 6= n
![Page 82: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/82.jpg)
How to Judge if Homology Theory is Good?C. Which groups can we obtain?
I For a fine enough rectangulation R of a compact, metrizable,smooth, path-connected manifold M, let �
R
be the naturalgraph associated to R . Then
⇡1(M) ⇠= A1(�R)
+ (+ suspension)
I For each abelian group G and n 2 N, there is a finiteconnected simple graph � such that
DHn
(�) =
(G if n = n
0 if n n
I There is a graph Sn such that
DHk
(Sn) =
(Z if k = n
0 if k 6= n
![Page 83: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/83.jpg)
Unexpected Application of Discrete Homotopy Theory
Complex K (⇡, 1) Spaces Real K (⇡, 1) Spaces
ACn,2 braid arrangement:�~z 2 Cn
�� zi
= zj
, i < j
ARn,3 3-equal subspace arr:�~x 2 Rn
�� xi
= xj
= xk
, i < j < k
M(ACn,2) is K (⇡, 1)
(Fadell-Neuwirth 1962)M(AR
n,3) is K (⇡, 1)(Khovanov 1996)
⇡1(M(ACn,2))
⇠= pure braid gp.(Fox-Fadell 1963)
⇡1(M(ARn,3))
⇠= pure triplet gp.(Khovanov 1996)
⇡1(M(C-ified refl. arr. type W ))⇠= pure Artin group⇠= Ker(�)(Brieskorn 1971)
⇡1(M(Wn,3)) ⇠= Ker(�0)
where Wn,3 is a 3-parabolic
subgroup of type W(B-Severs-White 2009)
![Page 84: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/84.jpg)
Unexpected Application of Discrete Homotopy Theory
Complex K (⇡, 1) Spaces
Real K (⇡, 1) Spaces
ACn,2 braid arrangement:�~z 2 Cn
�� zi
= zj
, i < j
ARn,3 3-equal subspace arr:�~x 2 Rn
�� xi
= xj
= xk
, i < j < k
M(ACn,2) is K (⇡, 1)
(Fadell-Neuwirth 1962)M(AR
n,3) is K (⇡, 1)(Khovanov 1996)
⇡1(M(ACn,2))
⇠= pure braid gp.(Fox-Fadell 1963)
⇡1(M(ARn,3))
⇠= pure triplet gp.(Khovanov 1996)
⇡1(M(C-ified refl. arr. type W ))⇠= pure Artin group⇠= Ker(�)(Brieskorn 1971)
⇡1(M(Wn,3)) ⇠= Ker(�0)
where Wn,3 is a 3-parabolic
subgroup of type W(B-Severs-White 2009)
![Page 85: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/85.jpg)
Unexpected Application of Discrete Homotopy Theory
Complex K (⇡, 1) Spaces Real K (⇡, 1) Spaces
ACn,2 braid arrangement:�~z 2 Cn
�� zi
= zj
, i < j
ARn,3 3-equal subspace arr:�~x 2 Rn
�� xi
= xj
= xk
, i < j < k
M(ACn,2) is K (⇡, 1)
(Fadell-Neuwirth 1962)M(AR
n,3) is K (⇡, 1)(Khovanov 1996)
⇡1(M(ACn,2))
⇠= pure braid gp.(Fox-Fadell 1963)
⇡1(M(ARn,3))
⇠= pure triplet gp.(Khovanov 1996)
⇡1(M(C-ified refl. arr. type W ))⇠= pure Artin group⇠= Ker(�)(Brieskorn 1971)
⇡1(M(Wn,3)) ⇠= Ker(�0)
where Wn,3 is a 3-parabolic
subgroup of type W(B-Severs-White 2009)
![Page 86: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/86.jpg)
Unexpected Application of Discrete Homotopy Theory
Complex K (⇡, 1) Spaces Real K (⇡, 1) Spaces
ACn,2 braid arrangement:�~z 2 Cn
�� zi
= zj
, i < j
ARn,3 3-equal subspace arr:�~x 2 Rn
�� xi
= xj
= xk
, i < j < k
M(ACn,2) is K (⇡, 1)
(Fadell-Neuwirth 1962)
M(ARn,3) is K (⇡, 1)
(Khovanov 1996)
⇡1(M(ACn,2))
⇠= pure braid gp.(Fox-Fadell 1963)
⇡1(M(ARn,3))
⇠= pure triplet gp.(Khovanov 1996)
⇡1(M(C-ified refl. arr. type W ))⇠= pure Artin group⇠= Ker(�)(Brieskorn 1971)
⇡1(M(Wn,3)) ⇠= Ker(�0)
where Wn,3 is a 3-parabolic
subgroup of type W(B-Severs-White 2009)
![Page 87: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/87.jpg)
Unexpected Application of Discrete Homotopy Theory
Complex K (⇡, 1) Spaces Real K (⇡, 1) Spaces
ACn,2 braid arrangement:�~z 2 Cn
�� zi
= zj
, i < j
ARn,3 3-equal subspace arr:�~x 2 Rn
�� xi
= xj
= xk
, i < j < k
M(ACn,2) is K (⇡, 1)
(Fadell-Neuwirth 1962)M(AR
n,3) is K (⇡, 1)(Khovanov 1996)
⇡1(M(ACn,2))
⇠= pure braid gp.(Fox-Fadell 1963)
⇡1(M(ARn,3))
⇠= pure triplet gp.(Khovanov 1996)
⇡1(M(C-ified refl. arr. type W ))⇠= pure Artin group⇠= Ker(�)(Brieskorn 1971)
⇡1(M(Wn,3)) ⇠= Ker(�0)
where Wn,3 is a 3-parabolic
subgroup of type W(B-Severs-White 2009)
![Page 88: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/88.jpg)
Unexpected Application of Discrete Homotopy Theory
Complex K (⇡, 1) Spaces Real K (⇡, 1) Spaces
ACn,2 braid arrangement:�~z 2 Cn
�� zi
= zj
, i < j
ARn,3 3-equal subspace arr:�~x 2 Rn
�� xi
= xj
= xk
, i < j < k
M(ACn,2) is K (⇡, 1)
(Fadell-Neuwirth 1962)M(AR
n,3) is K (⇡, 1)(Khovanov 1996)
⇡1(M(ACn,2))
⇠= pure braid gp.(Fox-Fadell 1963)
⇡1(M(ARn,3))
⇠= pure triplet gp.(Khovanov 1996)
⇡1(M(C-ified refl. arr. type W ))⇠= pure Artin group⇠= Ker(�)(Brieskorn 1971)
⇡1(M(Wn,3)) ⇠= Ker(�0)
where Wn,3 is a 3-parabolic
subgroup of type W(B-Severs-White 2009)
![Page 89: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/89.jpg)
Unexpected Application of Discrete Homotopy Theory
Complex K (⇡, 1) Spaces Real K (⇡, 1) Spaces
ACn,2 braid arrangement:�~z 2 Cn
�� zi
= zj
, i < j
ARn,3 3-equal subspace arr:�~x 2 Rn
�� xi
= xj
= xk
, i < j < k
M(ACn,2) is K (⇡, 1)
(Fadell-Neuwirth 1962)M(AR
n,3) is K (⇡, 1)(Khovanov 1996)
⇡1(M(ACn,2))
⇠= pure braid gp.(Fox-Fadell 1963)
⇡1(M(ARn,3))
⇠= pure triplet gp.(Khovanov 1996)
⇡1(M(C-ified refl. arr. type W ))⇠= pure Artin group⇠= Ker(�)(Brieskorn 1971)
⇡1(M(Wn,3)) ⇠= Ker(�0)
where Wn,3 is a 3-parabolic
subgroup of type W(B-Severs-White 2009)
![Page 90: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/90.jpg)
Unexpected Application of Discrete Homotopy Theory
Complex K (⇡, 1) Spaces Real K (⇡, 1) Spaces
ACn,2 braid arrangement:�~z 2 Cn
�� zi
= zj
, i < j
ARn,3 3-equal subspace arr:�~x 2 Rn
�� xi
= xj
= xk
, i < j < k
M(ACn,2) is K (⇡, 1)
(Fadell-Neuwirth 1962)M(AR
n,3) is K (⇡, 1)(Khovanov 1996)
⇡1(M(ACn,2))
⇠= pure braid gp.(Fox-Fadell 1963)
⇡1(M(ARn,3))
⇠= pure triplet gp.(Khovanov 1996)
⇡1(M(C-ified refl. arr. type W ))⇠= pure Artin group⇠= Ker(�)(Brieskorn 1971)
⇡1(M(Wn,3)) ⇠= Ker(�0)
where Wn,3 is a 3-parabolic
subgroup of type W(B-Severs-White 2009)
![Page 91: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/91.jpg)
Unexpected Application of Discrete Homotopy Theory
Complex K (⇡, 1) Spaces Real K (⇡, 1) Spaces
ACn,2 braid arrangement:�~z 2 Cn
�� zi
= zj
, i < j
ARn,3 3-equal subspace arr:�~x 2 Rn
�� xi
= xj
= xk
, i < j < k
M(ACn,2) is K (⇡, 1)
(Fadell-Neuwirth 1962)M(AR
n,3) is K (⇡, 1)(Khovanov 1996)
⇡1(M(ACn,2))
⇠= pure braid gp.(Fox-Fadell 1963)
⇡1(M(ARn,3))
⇠= pure triplet gp.(Khovanov 1996)
⇡1(M(C-ified refl. arr. type W ))⇠= pure Artin group⇠= Ker(�)(Brieskorn 1971)
⇡1(M(Wn,3)) ⇠= Ker(�0)
where Wn,3 is a 3-parabolic
subgroup of type W(B-Severs-White 2009)
![Page 92: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/92.jpg)
Unexpected Application of Discrete Homotopy Theory
Complex K (⇡, 1) Spaces Real K (⇡, 1) Spaces
ACn,2 braid arrangement:�~z 2 Cn
�� zi
= zj
, i < j
ARn,3 3-equal subspace arr:�~x 2 Rn
�� xi
= xj
= xk
, i < j < k
M(C-ified refl. arr.) is K (⇡, 1)(Deligne 1972)
M(Wn,3) is K (⇡, 1)
(Davis-Janusz.-Scott 2008)
Theorem
An�k+11 (Coxeter complex W ) ⇠= ⇡1(M(W
n,k)) 3 k n
Note: An�k+11
⇠= ⇡1 ⇠= 1 for k > 3
![Page 93: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/93.jpg)
Unexpected Application of Discrete Homotopy Theory
Complex K (⇡, 1) Spaces Real K (⇡, 1) Spaces
ACn,2 braid arrangement:�~z 2 Cn
�� zi
= zj
, i < j
ARn,3 3-equal subspace arr:�~x 2 Rn
�� xi
= xj
= xk
, i < j < k
M(C-ified refl. arr.) is K (⇡, 1)(Deligne 1972)
M(Wn,3) is K (⇡, 1)
(Davis-Janusz.-Scott 2008)
Theorem
An�k+11 (Coxeter complex W ) ⇠= ⇡1(M(W
n,k)) 3 k n
Note: An�k+11
⇠= ⇡1 ⇠= 1 for k > 3
![Page 94: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/94.jpg)
Unexpected Application of Discrete Homotopy Theory
Complex K (⇡, 1) Spaces Real K (⇡, 1) Spaces
ACn,2 braid arrangement:�~z 2 Cn
�� zi
= zj
, i < j
ARn,3 3-equal subspace arr:�~x 2 Rn
�� xi
= xj
= xk
, i < j < k
M(C-ified refl. arr.) is K (⇡, 1)(Deligne 1972)
M(Wn,3) is K (⇡, 1)
(Davis-Janusz.-Scott 2008)
Theorem
An�k+11 (Coxeter complex W ) ⇠= ⇡1(M(W
n,k)) 3 k n
Note: An�k+11
⇠= ⇡1 ⇠= 1 for k > 3
![Page 95: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/95.jpg)
Unexpected Application of Discrete Homotopy Theory
Complex K (⇡, 1) Spaces Real K (⇡, 1) Spaces
ACn,2 braid arrangement:�~z 2 Cn
�� zi
= zj
, i < j
ARn,3 3-equal subspace arr:�~x 2 Rn
�� xi
= xj
= xk
, i < j < k
M(C-ified refl. arr.) is K (⇡, 1)(Deligne 1972)
M(Wn,3) is K (⇡, 1)
(Davis-Janusz.-Scott 2008)
Theorem
An�k+11 (Coxeter complex W ) ⇠= ⇡1(M(W
n,k)) 3 k n
Note: An�k+11
⇠= ⇡1 ⇠= 1 for k > 3
![Page 96: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/96.jpg)
Preparation for Proof
1. Presentation of a Coxeter group (W , S)
(i) s2 = 1 for s 2 S(ii) (st)2 = 1 for s, t such that m(s, t) = 2(iii) (st)3 = 1 for s, t such that m(s, t) = 3
...
2. Braid group: “Sn
� (i)” i.e.
(si
sj
)2 = 1 (si
si+1si )
2 = 1
3. Pure braid gp: Ker(�), where � : “Sn
� (i)”! Sn
by �(si
) = si
⇡1(M(ACn,2))
⇠= Ker(�)
![Page 97: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/97.jpg)
Preparation for Proof
1. Presentation of a Coxeter group (W , S)
(i) s2 = 1 for s 2 S(ii) (st)2 = 1 for s, t such that m(s, t) = 2(iii) (st)3 = 1 for s, t such that m(s, t) = 3
...
2. Braid group: “Sn
� (i)” i.e.
(si
sj
)2 = 1 (si
si+1si )
2 = 1
3. Pure braid gp: Ker(�), where � : “Sn
� (i)”! Sn
by �(si
) = si
⇡1(M(ACn,2))
⇠= Ker(�)
![Page 98: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/98.jpg)
Preparation for Proof
1. Presentation of a Coxeter group (W , S)(i) s2 = 1 for s 2 S
(ii) (st)2 = 1 for s, t such that m(s, t) = 2(iii) (st)3 = 1 for s, t such that m(s, t) = 3
...
2. Braid group: “Sn
� (i)” i.e.
(si
sj
)2 = 1 (si
si+1si )
2 = 1
3. Pure braid gp: Ker(�), where � : “Sn
� (i)”! Sn
by �(si
) = si
⇡1(M(ACn,2))
⇠= Ker(�)
![Page 99: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/99.jpg)
Preparation for Proof
1. Presentation of a Coxeter group (W , S)(i) s2 = 1 for s 2 S(ii) (st)2 = 1 for s, t such that m(s, t) = 2
(iii) (st)3 = 1 for s, t such that m(s, t) = 3...
2. Braid group: “Sn
� (i)” i.e.
(si
sj
)2 = 1 (si
si+1si )
2 = 1
3. Pure braid gp: Ker(�), where � : “Sn
� (i)”! Sn
by �(si
) = si
⇡1(M(ACn,2))
⇠= Ker(�)
![Page 100: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/100.jpg)
Preparation for Proof
1. Presentation of a Coxeter group (W , S)(i) s2 = 1 for s 2 S(ii) (st)2 = 1 for s, t such that m(s, t) = 2(iii) (st)3 = 1 for s, t such that m(s, t) = 3
...
2. Braid group: “Sn
� (i)” i.e.
(si
sj
)2 = 1 (si
si+1si )
2 = 1
3. Pure braid gp: Ker(�), where � : “Sn
� (i)”! Sn
by �(si
) = si
⇡1(M(ACn,2))
⇠= Ker(�)
![Page 101: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/101.jpg)
Preparation for Proof
1. Presentation of a Coxeter group (W , S)(i) s2 = 1 for s 2 S(ii) (st)2 = 1 for s, t such that m(s, t) = 2(iii) (st)3 = 1 for s, t such that m(s, t) = 3
...
2. Braid group: “Sn
� (i)” i.e.
(si
sj
)2 = 1 (si
si+1si )
2 = 1
3. Pure braid gp: Ker(�), where � : “Sn
� (i)”! Sn
by �(si
) = si
⇡1(M(ACn,2))
⇠= Ker(�)
![Page 102: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/102.jpg)
Preparation for Proof
1. Presentation of a Coxeter group (W , S)(i) s2 = 1 for s 2 S(ii) (st)2 = 1 for s, t such that m(s, t) = 2(iii) (st)3 = 1 for s, t such that m(s, t) = 3
...
2. Braid group: “Sn
� (i)” i.e.
(si
sj
)2 = 1 (si
si+1si )
2 = 1
3. Pure braid gp: Ker(�), where � : “Sn
� (i)”! Sn
by �(si
) = si
⇡1(M(ACn,2))
⇠= Ker(�)
![Page 103: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/103.jpg)
Preparation for Proof
1. Presentation of a Coxeter group (W , S)(i) s2 = 1 for s 2 S(ii) (st)2 = 1 for s, t such that m(s, t) = 2(iii) (st)3 = 1 for s, t such that m(s, t) = 3
...
2. Braid group: “Sn
� (i)” i.e.
(si
sj
)2 = 1 (si
si+1si )
2 = 1
3. Pure braid gp: Ker(�), where � : “Sn
� (i)”! Sn
by �(si
) = si
⇡1(M(ACn,2))
⇠= Ker(�)
![Page 104: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/104.jpg)
Preparation for Proof
4. k-parabolic arrangement (generalization of k-equalarrangement of type W )
I P - a collection of rank k � 1 parabolic subgroups of W closedunder conjugation
I Wk
= {Fix(G ) | G 2 P}I W 0 - new group with same generators as W and subject to
m0(s, t) =
(1 if hs, ti 2 Pm(s, t) otherwise
Note: if k = 3 we have hs, si /2 P, and if |i � j | � 2 we havehs
i
, sj
i /2 P5. W 0 =“W � {(iii),(iv), . . .}” =) ⇡1(M(W
n,3)) ⇠= Ker(�0)
![Page 105: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/105.jpg)
Preparation for Proof
4. k-parabolic arrangement (generalization of k-equalarrangement of type W )
I P - a collection of rank k � 1 parabolic subgroups of W closedunder conjugation
I Wk
= {Fix(G ) | G 2 P}I W 0 - new group with same generators as W and subject to
m0(s, t) =
(1 if hs, ti 2 Pm(s, t) otherwise
Note: if k = 3 we have hs, si /2 P, and if |i � j | � 2 we havehs
i
, sj
i /2 P5. W 0 =“W � {(iii),(iv), . . .}” =) ⇡1(M(W
n,3)) ⇠= Ker(�0)
![Page 106: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/106.jpg)
Preparation for Proof
4. k-parabolic arrangement (generalization of k-equalarrangement of type W )
I P - a collection of rank k � 1 parabolic subgroups of W closedunder conjugation
I Wk
= {Fix(G ) | G 2 P}
I W 0 - new group with same generators as W and subject to
m0(s, t) =
(1 if hs, ti 2 Pm(s, t) otherwise
Note: if k = 3 we have hs, si /2 P, and if |i � j | � 2 we havehs
i
, sj
i /2 P5. W 0 =“W � {(iii),(iv), . . .}” =) ⇡1(M(W
n,3)) ⇠= Ker(�0)
![Page 107: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/107.jpg)
Preparation for Proof
4. k-parabolic arrangement (generalization of k-equalarrangement of type W )
I P - a collection of rank k � 1 parabolic subgroups of W closedunder conjugation
I Wk
= {Fix(G ) | G 2 P}I W 0 - new group with same generators as W and subject to
m0(s, t) =
(1 if hs, ti 2 Pm(s, t) otherwise
Note: if k = 3 we have hs, si /2 P, and if |i � j | � 2 we havehs
i
, sj
i /2 P5. W 0 =“W � {(iii),(iv), . . .}” =) ⇡1(M(W
n,3)) ⇠= Ker(�0)
![Page 108: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/108.jpg)
Preparation for Proof
4. k-parabolic arrangement (generalization of k-equalarrangement of type W )
I P - a collection of rank k � 1 parabolic subgroups of W closedunder conjugation
I Wk
= {Fix(G ) | G 2 P}I W 0 - new group with same generators as W and subject to
m0(s, t) =
(1 if hs, ti 2 Pm(s, t) otherwise
Note: if k = 3 we have hs, si /2 P, and if |i � j | � 2 we havehs
i
, sj
i /2 P
5. W 0 =“W � {(iii),(iv), . . .}” =) ⇡1(M(Wn,3)) ⇠= Ker(�0)
![Page 109: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/109.jpg)
Preparation for Proof
4. k-parabolic arrangement (generalization of k-equalarrangement of type W )
I P - a collection of rank k � 1 parabolic subgroups of W closedunder conjugation
I Wk
= {Fix(G ) | G 2 P}I W 0 - new group with same generators as W and subject to
m0(s, t) =
(1 if hs, ti 2 Pm(s, t) otherwise
Note: if k = 3 we have hs, si /2 P, and if |i � j | � 2 we havehs
i
, sj
i /2 P5. W 0 =“W � {(iii),(iv), . . .}” =) ⇡1(M(W
n,3)) ⇠= Ker(�0)
![Page 110: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/110.jpg)
Essence of Proof
A. Bjorner-Ziegler: given a simplicial decomposition � of Sk
�0 a sub-complex of �
+9 regular CW-complex X s.t. ⇡1(X ) ⇠= ⇡1(�/�0)
B. Intersect Sn�1 with hyperplane arrangement W simplicialdecomposition of Sn�1
�0 the 3-parabolic subspace arrangement of type W
+⇡1(�/�0) ⇠= ⇡1(X )
![Page 111: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/111.jpg)
Essence of Proof
A. Bjorner-Ziegler: given a simplicial decomposition � of Sk
�0 a sub-complex of �
+9 regular CW-complex X s.t. ⇡1(X ) ⇠= ⇡1(�/�0)
B. Intersect Sn�1 with hyperplane arrangement W simplicialdecomposition of Sn�1
�0 the 3-parabolic subspace arrangement of type W
+⇡1(�/�0) ⇠= ⇡1(X )
![Page 112: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/112.jpg)
Essence of Proof
A. Bjorner-Ziegler: given a simplicial decomposition � of Sk
�0 a sub-complex of �
+9 regular CW-complex X s.t. ⇡1(X ) ⇠= ⇡1(�/�0)
B. Intersect Sn�1 with hyperplane arrangement W simplicialdecomposition of Sn�1
�0 the 3-parabolic subspace arrangement of type W
+⇡1(�/�0) ⇠= ⇡1(X )
![Page 113: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/113.jpg)
Essence of Proof
What is X?
I The W -permutahedron is the Minkowski sum of unit linesegments ? to hyperplanes of W
I Its 2-skeleton has:
vertices w 2 W
edges (w ,ws), where s is a simple reflection
2-faces are bounded by cycles (w ,ws,wst, . . . ,w(st)
m(s,t))
4-cycles (st)
2= 1 (s and t commute)
6-cycles (st)
3= 1
8-cycles (st)
4= 1
I X is the subcomplex of the W -permutahedron gotten byremoving the faces corresponding to �0,
i.e. removing thefaces bounded by 6-cycles, 8-cycles,. . .
![Page 114: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/114.jpg)
Essence of Proof
What is X?I The W -permutahedron is the Minkowski sum of unit line
segments ? to hyperplanes of W
I Its 2-skeleton has:
vertices w 2 W
edges (w ,ws), where s is a simple reflection
2-faces are bounded by cycles (w ,ws,wst, . . . ,w(st)
m(s,t))
4-cycles (st)
2= 1 (s and t commute)
6-cycles (st)
3= 1
8-cycles (st)
4= 1
I X is the subcomplex of the W -permutahedron gotten byremoving the faces corresponding to �0,
i.e. removing thefaces bounded by 6-cycles, 8-cycles,. . .
![Page 115: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/115.jpg)
Essence of Proof
What is X?I The W -permutahedron is the Minkowski sum of unit line
segments ? to hyperplanes of WI Its 2-skeleton has:
vertices w 2 W
edges (w ,ws), where s is a simple reflection
2-faces are bounded by cycles (w ,ws,wst, . . . ,w(st)
m(s,t))
4-cycles (st)
2= 1 (s and t commute)
6-cycles (st)
3= 1
8-cycles (st)
4= 1
I X is the subcomplex of the W -permutahedron gotten byremoving the faces corresponding to �0,
i.e. removing thefaces bounded by 6-cycles, 8-cycles,. . .
![Page 116: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/116.jpg)
Essence of Proof
What is X?I The W -permutahedron is the Minkowski sum of unit line
segments ? to hyperplanes of WI Its 2-skeleton has:
vertices w 2 W
edges (w ,ws), where s is a simple reflection
2-faces are bounded by cycles (w ,ws,wst, . . . ,w(st)
m(s,t))
4-cycles (st)
2= 1 (s and t commute)
6-cycles (st)
3= 1
8-cycles (st)
4= 1
I X is the subcomplex of the W -permutahedron gotten byremoving the faces corresponding to �0,
i.e. removing thefaces bounded by 6-cycles, 8-cycles,. . .
![Page 117: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/117.jpg)
Essence of Proof
What is X?I The W -permutahedron is the Minkowski sum of unit line
segments ? to hyperplanes of WI Its 2-skeleton has:
vertices w 2 W
edges (w ,ws), where s is a simple reflection
2-faces are bounded by cycles (w ,ws,wst, . . . ,w(st)
m(s,t))
4-cycles (st)
2= 1 (s and t commute)
6-cycles (st)
3= 1
8-cycles (st)
4= 1
I X is the subcomplex of the W -permutahedron gotten byremoving the faces corresponding to �0,
i.e. removing thefaces bounded by 6-cycles, 8-cycles,. . .
![Page 118: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/118.jpg)
Essence of Proof
What is X?I The W -permutahedron is the Minkowski sum of unit line
segments ? to hyperplanes of WI Its 2-skeleton has:
vertices w 2 W
edges (w ,ws), where s is a simple reflection
2-faces are bounded by cycles (w ,ws,wst, . . . ,w(st)
m(s,t))
4-cycles (st)
2= 1 (s and t commute)
6-cycles (st)
3= 1
8-cycles (st)
4= 1
I X is the subcomplex of the W -permutahedron gotten byremoving the faces corresponding to �0,
i.e. removing thefaces bounded by 6-cycles, 8-cycles,. . .
![Page 119: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/119.jpg)
Essence of Proof
What is X?I The W -permutahedron is the Minkowski sum of unit line
segments ? to hyperplanes of WI Its 2-skeleton has:
vertices w 2 W
edges (w ,ws), where s is a simple reflection
2-faces are bounded by cycles (w ,ws,wst, . . . ,w(st)
m(s,t))
4-cycles (st)
2= 1 (s and t commute)
6-cycles (st)
3= 1
8-cycles (st)
4= 1
I X is the subcomplex of the W -permutahedron gotten byremoving the faces corresponding to �0,
i.e. removing thefaces bounded by 6-cycles, 8-cycles,. . .
![Page 120: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/120.jpg)
Essence of Proof
What is X?I The W -permutahedron is the Minkowski sum of unit line
segments ? to hyperplanes of WI Its 2-skeleton has:
vertices w 2 W
edges (w ,ws), where s is a simple reflection
2-faces are bounded by cycles (w ,ws,wst, . . . ,w(st)
m(s,t))
4-cycles (st)
2= 1 (s and t commute)
6-cycles (st)
3= 1
8-cycles (st)
4= 1
I X is the subcomplex of the W -permutahedron gotten byremoving the faces corresponding to �0, i.e. removing thefaces bounded by 6-cycles, 8-cycles,. . .
![Page 121: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/121.jpg)
Essence of Proof
C. ⇡1(X ) ⇠= ⇡1(2-skeleton of X )
⇠= ⇡1(1-skeleton of X )/N(3, 4 cycles)⇠= A1(X )
D. Let W1 := “W � {(ii),(iii),(iv),. . . }” (keep involutions only)and let � : W1 ! W by �(s
i
) = si
Ker(�) ⇠= ⇡1(1-skeleton of X )
= ⇡1(1-skeleton of W -permutahedron)
E. Ker(�)/N ⇠= Ker(�0)
where �0 : “W � {(iii),(iv),. . . }”! W by �(si
) = si
![Page 122: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/122.jpg)
Essence of Proof
C. ⇡1(X ) ⇠= ⇡1(2-skeleton of X )⇠= ⇡1(1-skeleton of X )/N(3, 4 cycles)
⇠= A1(X )
D. Let W1 := “W � {(ii),(iii),(iv),. . . }” (keep involutions only)and let � : W1 ! W by �(s
i
) = si
Ker(�) ⇠= ⇡1(1-skeleton of X )
= ⇡1(1-skeleton of W -permutahedron)
E. Ker(�)/N ⇠= Ker(�0)
where �0 : “W � {(iii),(iv),. . . }”! W by �(si
) = si
![Page 123: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/123.jpg)
Essence of Proof
C. ⇡1(X ) ⇠= ⇡1(2-skeleton of X )⇠= ⇡1(1-skeleton of X )/N(3, 4 cycles)⇠= A1(X )
D. Let W1 := “W � {(ii),(iii),(iv),. . . }” (keep involutions only)and let � : W1 ! W by �(s
i
) = si
Ker(�) ⇠= ⇡1(1-skeleton of X )
= ⇡1(1-skeleton of W -permutahedron)
E. Ker(�)/N ⇠= Ker(�0)
where �0 : “W � {(iii),(iv),. . . }”! W by �(si
) = si
![Page 124: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/124.jpg)
Essence of Proof
C. ⇡1(X ) ⇠= ⇡1(2-skeleton of X )⇠= ⇡1(1-skeleton of X )/N(3, 4 cycles)⇠= A1(X )
D. Let W1 := “W � {(ii),(iii),(iv),. . . }” (keep involutions only)and let � : W1 ! W by �(s
i
) = si
Ker(�) ⇠= ⇡1(1-skeleton of X )
= ⇡1(1-skeleton of W -permutahedron)
E. Ker(�)/N ⇠= Ker(�0)
where �0 : “W � {(iii),(iv),. . . }”! W by �(si
) = si
![Page 125: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/125.jpg)
Essence of Proof
C. ⇡1(X ) ⇠= ⇡1(2-skeleton of X )⇠= ⇡1(1-skeleton of X )/N(3, 4 cycles)⇠= A1(X )
D. Let W1 := “W � {(ii),(iii),(iv),. . . }” (keep involutions only)and let � : W1 ! W by �(s
i
) = si
Ker(�) ⇠= ⇡1(1-skeleton of X )
= ⇡1(1-skeleton of W -permutahedron)
E. Ker(�)/N ⇠= Ker(�0)
where �0 : “W � {(iii),(iv),. . . }”! W by �(si
) = si
![Page 126: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/126.jpg)
Essence of Proof
C. ⇡1(X ) ⇠= ⇡1(2-skeleton of X )⇠= ⇡1(1-skeleton of X )/N(3, 4 cycles)⇠= A1(X )
D. Let W1 := “W � {(ii),(iii),(iv),. . . }” (keep involutions only)and let � : W1 ! W by �(s
i
) = si
Ker(�) ⇠= ⇡1(1-skeleton of X )
= ⇡1(1-skeleton of W -permutahedron)
E. Ker(�)/N ⇠= Ker(�0)
where �0 : “W � {(iii),(iv),. . . }”! W by �(si
) = si
![Page 127: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/127.jpg)
Essence of Proof
C. ⇡1(X ) ⇠= ⇡1(2-skeleton of X )⇠= ⇡1(1-skeleton of X )/N(3, 4 cycles)⇠= A1(X )
D. Let W1 := “W � {(ii),(iii),(iv),. . . }” (keep involutions only)and let � : W1 ! W by �(s
i
) = si
Ker(�) ⇠= ⇡1(1-skeleton of X )
= ⇡1(1-skeleton of W -permutahedron)
E. Ker(�)/N ⇠= Ker(�0)
where �0 : “W � {(iii),(iv),. . . }”! W by �(si
) = si
![Page 128: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/128.jpg)
We have replaced a group (⇡1) defined in terms of the topology ofa space with a group (A1) defined in terms of the combinatorialstructure of the space.
![Page 129: Discrete Homotopy and Homology for Graphs€¦ · Overview I Invariants of Dynamic Processes: Aqn(,o) (Atkin, Maurer, Malle, Lov´asz 1970’s) I Discrete Homotopy Theory for Graphs](https://reader033.vdocuments.us/reader033/viewer/2022042215/5ebd22d794cb0f49d0513cb8/html5/thumbnails/129.jpg)