weakly modular graphs and nonpositive...
TRANSCRIPT
![Page 1: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/1.jpg)
Weakly modular graphs and nonpositive curvature
Hiroshi Hirai The University of Tokyo
Joint work with J. Chalopin, V. Chepoi, and D. Osajda
TGT26, Yokohama, 2014, 11/8
1
![Page 2: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/2.jpg)
• Weakly modular graphs (Chepoi 89)
• Connections to nonpositively curved spaces
• Some results
Contents
J. Chalopin, V. Chepoi, H. Hirai, D. Osajda Weakly modular graphs and nonpositive curvature
arXiv:1409.3892, 2014
2
![Page 3: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/3.jpg)
(TC) ∀ x,y,z : x~y, d(x,z) = d(y,z) ⇒ ∃u: x ~ u ~ y, d(u,z) = d(x,z) - 1
(QC) ∀ x,y,w,z : x~w~y, d(w,z)-1= d(x,z) = d(y,z) ⇒ ∃u: x ~ u ~ y, d(u,z) = d(x,z) - 1
x y
z
k k
x y
z
w
3
G is weakly modular (WM) ⇔
k k
k+1
![Page 4: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/4.jpg)
(TC) ∀ x,y,z : x~y, d(x,z) = d(y,z) ⇒ ∃u: x ~ u ~ y, d(u,z) = d(x,z) - 1
(QC) ∀ x,y,w,z : x~w~y, d(w,z)-1= d(x,z) = d(y,z) ⇒ ∃u: x ~ u ~ y, d(u,z) = d(x,z) - 1
x y
z
x y
z
w
k-1u
k-1u
3
G is weakly modular (WM) ⇔
![Page 5: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/5.jpg)
Classes of WM graph
median graph
distributive lattice
Boolean lattice = cube
tree
bridged graph
projective geometry
modular lattice
modular semilattice
dual polar space
median semilattice
orientable modular graph
modular graph = bipartite WM
weakly bridged graph
4
![Page 6: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/6.jpg)
• Some classes of WM graphs are naturally associated with “metrized complex” of nonpositively-curvature-like property
• median graph ~~ CAT(0) cube complex
• bridged graph ~~ systolic complex
• modular lattice ~~> orthoscheme complex
5
(Gromov 87)
(Haglund 03, Januszkiewicz-Swiantkowski 06)
(Brady-McCammond 10)
![Page 7: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/7.jpg)
CAT(0) space~ geodesic metric space such that every geodesic triangle is “thin”
d(p(t),z) ≦‖p’(t) - z’‖
6
xy
z
x’y’
z’R^2
p’(t)p(t)t t
d(x,y) =‖x’ - y’‖
d(y,z) =‖y’ - z’‖
d(z,x) =‖z’ - x’‖
![Page 8: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/8.jpg)
Median graph⇔ every triple of vertices admits a unique median ⇔ bipartite WM without K2,3
Median graph is obtained by “gluing” cubes7
![Page 9: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/9.jpg)
Median complex:= cube complex obtained by filling “cube” to
each cube-subgraph of median graph
8
![Page 10: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/10.jpg)
Median complex:= cube complex obtained by filling “cube” to
each cube-subgraph of median graph
8
~ [0,1]^3
~ [0,1]^2
![Page 11: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/11.jpg)
Median complex
Thm (Chepoi, 2000) Median complex ≡ CAT(0) cube complex
:= cube complex obtained by filling “cube” to each cube-subgraph of median graph
c.f. Gromov’s characterization of CAT(0) cube complex8
~ [0,1]^3
~ [0,1]^2
![Page 12: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/12.jpg)
Folder complex:= B2-complex obtained by filling “folder” to
each K2,m subgraph of bipartite WM without K3,3 and K3,3^-
9
![Page 13: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/13.jpg)
Folder complex:= B2-complex obtained by filling “folder” to
each K2,m subgraph of bipartite WM without K3,3 and K3,3^-
9
![Page 14: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/14.jpg)
Folder complex:= B2-complex obtained by filling “folder” to
each K2,m subgraph of bipartite WM without K3,3 and K3,3^-
Thm (Chepoi 2000) Folder complex ≡ CAT(0) B2-complex
9
![Page 15: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/15.jpg)
Orthoscheme complex (Brady-McCammond10)P: graded posetK(P): = complex obtained by filling
to each maximal chain x0 < x1 < ・・・< xk, k=1,2,3..
10
x0=(0,0,0) x1=(1,0,0)
x2=(1,1,0)
x3=(1,1,1)
![Page 16: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/16.jpg)
11
What are posets P for which K(P) is CAT(0) ?
P K(P) ~ folder
P K(P) ~ [0,1]^3000
010
011
111
![Page 17: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/17.jpg)
Conjecture (Brady-McCammond 10) K(P) is CAT(0) for modular lattice P.
12
![Page 18: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/18.jpg)
Conjecture (Brady-McCammond 10) K(P) is CAT(0) for modular lattice P.
Theorem (Haettel, Kielak, and Schwer 13) K(P) is CAT(0) for “complemented” modular lattice P.
~ lattice of subspaces of vector space
12
![Page 19: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/19.jpg)
Conjecture (Brady-McCammond 10) K(P) is CAT(0) for modular lattice P.
Theorem (Haettel, Kielak, and Schwer 13) K(P) is CAT(0) for “complemented” modular lattice P.
~ lattice of subspaces of vector space
Theorem (CCHO14) K(P) is CAT(0) for modular lattice P.
12
![Page 20: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/20.jpg)
Obs: If P is distributive, then K(P) = order polytope.
Thm [Birkhoff-Dedekind] For two chains in modular lattice, there is a distributive sublattice containing them.
Idea for proof
plus standard proof technique of “spherical building is CAT(1)”
13
![Page 21: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/21.jpg)
Conjecture [CCHO14] K(P) is CAT(0) for modular semilattice P.
Modular semilattice = semilattice whose covering graph is bipartite WM
14
![Page 22: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/22.jpg)
Conjecture [CCHO14] K(P) is CAT(0) for modular semilattice P.
Modular semilattice = semilattice whose covering graph is bipartite WM
Median semilattice = semilattice whose covering graph is median graph
14
![Page 23: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/23.jpg)
Conjecture [CCHO14] K(P) is CAT(0) for modular semilattice P.
Modular semilattice = semilattice whose covering graph is bipartite WM
Median semilattice = semilattice whose covering graph is median graph
Theorem [CCHO14] K(P) is CAT(0) for median semilattice P.
← Gluing construction (Reshetnyak’s gluing theorem)14
![Page 24: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/24.jpg)
We introduced a new class of WM graph, SWM graph
15
:= WM without K4^- and isometric K3,3^-
![Page 25: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/25.jpg)
We introduced a new class of WM graph, SWM graph
median graph
distributive lattice
Boolean lattice = cube
tree
projective geometry
modular lattice
modular semilattice
dual polar space
median semilattice
orientable modular graph
affine building of type C
15
:= WM without K4^- and isometric K3,3^-
![Page 26: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/26.jpg)
16
Metrized complex K(G) from SWM-graph G
B(G):= the set of all Boolean-gated sets of G
X: Boolean-gated ⇔ x,y ∈ X, x ~ u ~ y ⇒ u ∈ X, x,y ∈ X: d(x,y) =2 ⇒ ∃ 4-cycle ∋ x,y
![Page 27: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/27.jpg)
16
Metrized complex K(G) from SWM-graph G
B(G):= the set of all Boolean-gated sets of G
X: Boolean-gated ⇔ x,y ∈ X, x ~ u ~ y ⇒ u ∈ X, x,y ∈ X: d(x,y) =2 ⇒ ∃ 4-cycle ∋ x,y
→ B(G): graded poset w.r.t. (reverse) inclusion→ Boolean-gated set induces dual polar space
![Page 28: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/28.jpg)
16
Metrized complex K(G) from SWM-graph G
B(G):= the set of all Boolean-gated sets of G
X: Boolean-gated ⇔ x,y ∈ X, x ~ u ~ y ⇒ u ∈ X, x,y ∈ X: d(x,y) =2 ⇒ ∃ 4-cycle ∋ x,y
K(G):= orthoscheme complex of B(G)
→ B(G): graded poset w.r.t. (reverse) inclusion→ Boolean-gated set induces dual polar space
![Page 29: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/29.jpg)
17
B(G) {1}, {2}, {3}, … ,{9} vertices
cliques{1,2,3}, {3,4}, {5,6},…,{8,9}
generalized quadrangle
3
4 5
6
5
6 78
9
1
2
3
4 5
6 7
89
G
![Page 30: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/30.jpg)
17
B(G) {1}, {2}, {3}, … ,{9} vertices
cliques{1,2,3}, {3,4}, {5,6},…,{8,9}
generalized quadrangle
3
4 5
6
5
6 78
9
1
2
3
4 5
6 7
89
B(G)
![Page 31: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/31.jpg)
17
B(G) {1}, {2}, {3}, … ,{9} vertices
cliques{1,2,3}, {3,4}, {5,6},…,{8,9}
generalized quadrangle
3
4 5
6
5
6 78
9
K(G)
![Page 32: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/32.jpg)
18
G: median graph → B(G): set of cube-subgraphs→ K(G) subdivides median complex
![Page 33: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/33.jpg)
18
G: median graph → B(G): set of cube-subgraphs→ K(G) subdivides median complex
G: bipartite WM without K3,3 and K3,3^-
→ B(G): set of maximal K2,m subgraphs
→ K(G) subdivides folder complex
![Page 34: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/34.jpg)
18
G: median graph → B(G): set of cube-subgraphs→ K(G) subdivides median complex
G: bipartite WM without K3,3 and K3,3^-
→ B(G): set of maximal K2,m subgraphs
→ K(G) subdivides folder complex
G: SWM from affine building Δ of type C
→ K(G) = the standard metrication of Δ
![Page 35: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/35.jpg)
19
Conjecture (CCHO14) K(G) is CAT(0) for SWM-graph G.
![Page 36: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/36.jpg)
20
Some Topological Graph Theory result
Lemma (CCHO14) Triangle-Square complex of WM-graph is simply-connected
kk+1
k k
![Page 37: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/37.jpg)
20
Some Topological Graph Theory result
Lemma (CCHO14) Triangle-Square complex of WM-graph is simply-connected
kk+1
k k
k-1
![Page 38: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/38.jpg)
20
Some Topological Graph Theory result
Lemma (CCHO14) Triangle-Square complex of WM-graph is simply-connected
kk+1
k k
k-1k-1
![Page 39: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/39.jpg)
20
Some Topological Graph Theory result
Lemma (CCHO14) Triangle-Square complex of WM-graph is simply-connected
kk+1
k k
k-1k-1
k-2
![Page 40: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/40.jpg)
20
Some Topological Graph Theory result
Lemma (CCHO14) Triangle-Square complex of WM-graph is simply-connected
kk+1
k k
k-1k-1
k-2
![Page 41: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/41.jpg)
21
A Local-to-Grobal characterization of WM-graph (analogue of Cartan-Hadamard theorem ?)
Theorem (CCHO14) If G is locally-WM and TS-complex of G is simply-connected, then G is WM.
Locally-WM: (TC) & (QC) with d(x,z) = d(y,z)= 2
![Page 42: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/42.jpg)
21
A Local-to-Grobal characterization of WM-graph (analogue of Cartan-Hadamard theorem ?)
Theorem (CCHO14) If G is locally-WM and TS-complex of G is simply-connected, then G is WM.
Locally-WM: (TC) & (QC) with d(x,z) = d(y,z)= 2
Theorem (CCHO14) The 1-skeleton of the universal cover of TS-complex of locally-WM-graph is WM.
![Page 43: Weakly modular graphs and nonpositive curvaturemisojiro.t.u-tokyo.ac.jp/~hirai/papers/TGT26.pdfWeakly modular graphs and nonpositive curvature Hiroshi Hirai The University of Tokyo](https://reader033.vdocument.in/reader033/viewer/2022043019/5f3afd54142ff35e6008a881/html5/thumbnails/43.jpg)
22
Thank you for your attention !