Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf ·...
Transcript of Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf ·...
![Page 1: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/1.jpg)
.
......
Uniform hyperbolicity for curve graphs of
nonorientable surfaces
Erika Kuno
Osaka university
December 26, 2014
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 1 / 29
![Page 2: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/2.jpg)
Contents
...1 Motivation
...2 Preliminaries
...3 Unicorn paths
Definition of unicorn pathsUnicorn paths are paths in arc graphs
...4 Curve graphs are hyperbolic
Main theoremConstruction of a retractionOutline of proof of main theorem
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 2 / 29
![Page 3: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/3.jpg)
Motivation
.Theorem 1.1 (Hensel-Przytycki-Webb 2013)..
......
S: an orientable surfaceC(S): the curve graph of SIf C(S) is connected, then it is 17-(Gromov) hyperbolic.
.Theorem 1.2 (Bestvina-Fujiwara 2007, Masur-Schleimer2013)..
......
N : a nonorientable surfaceC(N): the curve graph of NEach C(N) is Gromov hyperbolic.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 3 / 29
![Page 4: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/4.jpg)
Motivation
.Theorem 1.1 (Hensel-Przytycki-Webb 2013)..
......
S: an orientable surfaceC(S): the curve graph of SIf C(S) is connected, then it is 17-(Gromov) hyperbolic.
.Theorem 1.2 (Bestvina-Fujiwara 2007, Masur-Schleimer2013)..
......
N : a nonorientable surfaceC(N): the curve graph of NEach C(N) is Gromov hyperbolic.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 3 / 29
![Page 5: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/5.jpg)
Motivation
.Question 1.3..
......
Is C(N) uniformly hyperbolic?How large is the hyperbolicity constant?
We try applying Hensel-Przytycki-Webb’s argument
to the case of nonorientable surfaces!
[Reference]S. Hensel, P. Przytycki, and R. C. H. Webb,Slim unicorns and uniform hyperbolicity for arc graphs and curvegraphs,to appear in J. of Europ. Math. Soc.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 4 / 29
![Page 6: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/6.jpg)
Motivation
.Question 1.3..
......
Is C(N) uniformly hyperbolic?How large is the hyperbolicity constant?
We try applying Hensel-Przytycki-Webb’s argument
to the case of nonorientable surfaces!
[Reference]S. Hensel, P. Przytycki, and R. C. H. Webb,Slim unicorns and uniform hyperbolicity for arc graphs and curvegraphs,to appear in J. of Europ. Math. Soc.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 4 / 29
![Page 7: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/7.jpg)
Motivation
.Question 1.3..
......
Is C(N) uniformly hyperbolic?How large is the hyperbolicity constant?
We try applying Hensel-Przytycki-Webb’s argument
to the case of nonorientable surfaces!
[Reference]S. Hensel, P. Przytycki, and R. C. H. Webb,Slim unicorns and uniform hyperbolicity for arc graphs and curvegraphs,to appear in J. of Europ. Math. Soc.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 4 / 29
![Page 8: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/8.jpg)
Nonorientable surfaces
N = Ng,n: the nonorientable surface of genus g with n boundary components
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 5 / 29
![Page 9: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/9.jpg)
Arc curve graphs, arc graphs, and curve graphs
arcs on N :properly embedded and essential , i.e. is not homotopicinto ∂N
curves on N :properly embedded and essential , i.e. does not bound adisk or a Mobius band, and is not homotopic into ∂N
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 6 / 29
![Page 10: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/10.jpg)
Arc curve graphs, arc graphs, and curve graphs
.Definition 2.1..
......
Arc curve graph AC(N)
The vertex set AC(0)(N) = { homotopy classes of arcs and curves onN }(a, b): edge in AC(N), (a, b ∈ AC(0)(N))⇔ the corresponding arcs or curves can be realized disjointly.Arc graph A(N)
⇔ the subgraph of AC(N) consists of homotopy classes of arcs on N
Curve graph C(N)
⇔ the subgraph of AC(N) consists of homotopy classes of curves onN .
We consider the graphs as geodesic spaces.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 7 / 29
![Page 11: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/11.jpg)
Gromov hyperbolic graphs
A graph is hyperbolic⇔ there exists a constant k ≥ 0 (we call this constant hyperbolicityconstant) such that for all geodesic triangles T = abd (a, b, d:vertices) in the space, there exists a vertex p such that distancesbetween edges of the triangle and p are at most k (p is calledk-center of T ).
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 8 / 29
![Page 12: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/12.jpg)
Gromov hyperbolic graphs
.Definition 2.2..
......
Uniformly hyperbolic⇔ the hyperbolicity constant does not depend on topological typesof sufaces.
The important point of Main theorem
C(N) is 17-hyperbolic
independently of the topological types of N !
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 9 / 29
![Page 13: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/13.jpg)
Gromov hyperbolic graphs
.Definition 2.2..
......
Uniformly hyperbolic⇔ the hyperbolicity constant does not depend on topological typesof sufaces.
The important point of Main theorem
C(N) is 17-hyperbolic
independently of the topological types of N !
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 9 / 29
![Page 14: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/14.jpg)
Definition of unicorn paths
αα′a: the subarc of an arc a whose endpoints are α and α′
.Definition 3.1 (Unicorn arc)..
......
a, b: arcs on N which are in minimal positionα, β: one of the endpoints of a and bπ ∈ a ∩ ba′ ⊂ a: the arc whose endpoints are α and πb′ ⊂ b: the arc whose endpoints are β and πWhen a′ ∪ b′ is an embedded arc in N ,we say that a′ ∪ b′ is a unicorn arcobtained from aα, bβ and π.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 10 / 29
![Page 15: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/15.jpg)
Definition of unicorn paths
Example
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 11 / 29
![Page 16: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/16.jpg)
Definition of unicorn paths
.Definition 3.2 (Order)..
......
a′ ∪ b′, a′′ ∪ b′′: two unicorn arcs obtained from aα, bβ
a′ ∪ b′ ≤ a′′ ∪ b′′ ⇔ a′′ ⊆ a′ and b′ ⊆ b′′
≤ is total order.
(c1, c2, ..., cn−1): ordered set of unicorn arcs obtained from aα, bβ
.Definition 3.3 (Unicorn path)..
......
P(aα, bβ) := (a = c0, c1, ..., cn−1, cn = b)is called the unicorn path between aα and bβ.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 12 / 29
![Page 17: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/17.jpg)
Definition of unicorn paths
.Definition 3.2 (Order)..
......
a′ ∪ b′, a′′ ∪ b′′: two unicorn arcs obtained from aα, bβ
a′ ∪ b′ ≤ a′′ ∪ b′′ ⇔ a′′ ⊆ a′ and b′ ⊆ b′′
≤ is total order.
(c1, c2, ..., cn−1): ordered set of unicorn arcs obtained from aα, bβ
.Definition 3.3 (Unicorn path)..
......
P(aα, bβ) := (a = c0, c1, ..., cn−1, cn = b)is called the unicorn path between aα and bβ.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 12 / 29
![Page 18: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/18.jpg)
Definition of unicorn paths
.Definition 3.2 (Order)..
......
a′ ∪ b′, a′′ ∪ b′′: two unicorn arcs obtained from aα, bβ
a′ ∪ b′ ≤ a′′ ∪ b′′ ⇔ a′′ ⊆ a′ and b′ ⊆ b′′
≤ is total order.
(c1, c2, ..., cn−1): ordered set of unicorn arcs obtained from aα, bβ
.Definition 3.3 (Unicorn path)..
......
P(aα, bβ) := (a = c0, c1, ..., cn−1, cn = b)is called the unicorn path between aα and bβ.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 12 / 29
![Page 19: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/19.jpg)
Example of a unicorn path
P(aα, bβ) := (a, απ3a ∪ π3βb, απ4a ∪ π4βb, απ5a ∪ π5βb, b).Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 13 / 29
![Page 20: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/20.jpg)
Unicorn paths are paths in arc graphs
a, b: two vertices of A(N).Proposition 3.4..
......
Unicorn path P(aα, bβ) is a path connecting two vertices a and b inA(N).
Proof
□
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 14 / 29
![Page 21: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/21.jpg)
Unicorn paths are paths in arc graphs
a, b: two vertices of A(N).Proposition 3.4..
......
Unicorn path P(aα, bβ) is a path connecting two vertices a and b inA(N).
Proof
□
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 14 / 29
![Page 22: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/22.jpg)
Main theorem
.Theorem 4.1 (K.)........If C(N) is connected, then it is 17-hyperbolic.
Hensel-Przytycki-Webb’s hyperbolicity constant
does not depend on the topological types of surfaces!
NoteC(N) is connected if g = 1, 2 and g + n ≥ 5, and g ≥ 3.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 15 / 29
![Page 23: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/23.jpg)
Main theorem
.Theorem 4.1 (K.)........If C(N) is connected, then it is 17-hyperbolic.
Hensel-Przytycki-Webb’s hyperbolicity constant
does not depend on the topological types of surfaces!
NoteC(N) is connected if g = 1, 2 and g + n ≥ 5, and g ≥ 3.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 15 / 29
![Page 24: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/24.jpg)
Construction of a retraction.Definition 4.2..
......
Define a retraction r : AC(N) → C(N) as follows.If a ∈ C(0)(N), then r(a) = a.If a ∈ A(0)(N), we assign a boundary component of a regularneighborhood of its union with ∂N to r(a).
NoteIf there are two boundary components of the regular neighborhood,then we choose the essential one.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 16 / 29
![Page 25: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/25.jpg)
Construction of a retraction.Definition 4.2..
......
Define a retraction r : AC(N) → C(N) as follows.If a ∈ C(0)(N), then r(a) = a.If a ∈ A(0)(N), we assign a boundary component of a regularneighborhood of its union with ∂N to r(a).
NoteIf there are two boundary components of the regular neighborhood,then we choose the essential one.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 16 / 29
![Page 26: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/26.jpg)
Construction of a retraction
Similar to the case of orientable surfaces, we can show the followingclaim.
.Claim 4.3..
......
r is 2-Lipschitz,i.e. dC(r(a), r(b)) ≤ 2dAC(a, b) for any a, b ∈ AC(N).
The difference fromthe case of orientable surfaces
We have to consider ”twisted” r(a) and r(b).
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 17 / 29
![Page 27: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/27.jpg)
Construction of a retraction
Similar to the case of orientable surfaces, we can show the followingclaim.
.Claim 4.3..
......
r is 2-Lipschitz,i.e. dC(r(a), r(b)) ≤ 2dAC(a, b) for any a, b ∈ AC(N).
The difference fromthe case of orientable surfaces
We have to consider ”twisted” r(a) and r(b).
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 17 / 29
![Page 28: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/28.jpg)
Construction of a retraction
Similar to the case of orientable surfaces, we can show the followingclaim.
.Claim 4.3..
......
r is 2-Lipschitz,i.e. dC(r(a), r(b)) ≤ 2dAC(a, b) for any a, b ∈ AC(N).
The difference fromthe case of orientable surfaces
We have to consider ”twisted” r(a) and r(b).
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 17 / 29
![Page 29: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/29.jpg)
Construction of a retraction
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 18 / 29
![Page 30: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/30.jpg)
Construction of a retraction
Outline of Proof of Claim 4.3
We prove only for the pairs (a, b) (a, b ∈ AC(N))which fill dAC(a, b) = 1 .
The goal: to show dC(r(a), r(b)) ≤ 2
(1) a, b ∈ C(0)(N)dC(r(a), r(b)) = dC(a, b) = dAC(a, b) = 1 ≤ 2.
(2) a ∈ C(0)(N) and b ∈ A(0)(N)We can take the regular neighborhood of the union of b and boundarycomponents which have endpoints of b without intersecting a.dC(r(a), r(b)) = dC(a, r(b)) ≤ 1 ≤ 2.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 19 / 29
![Page 31: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/31.jpg)
Construction of a retraction
Outline of Proof of Claim 4.3
We prove only for the pairs (a, b) (a, b ∈ AC(N))which fill dAC(a, b) = 1 .
The goal: to show dC(r(a), r(b)) ≤ 2
(1) a, b ∈ C(0)(N)dC(r(a), r(b)) = dC(a, b) = dAC(a, b) = 1 ≤ 2.
(2) a ∈ C(0)(N) and b ∈ A(0)(N)We can take the regular neighborhood of the union of b and boundarycomponents which have endpoints of b without intersecting a.dC(r(a), r(b)) = dC(a, r(b)) ≤ 1 ≤ 2.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 19 / 29
![Page 32: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/32.jpg)
Construction of a retraction
Outline of Proof of Claim 4.3
We prove only for the pairs (a, b) (a, b ∈ AC(N))which fill dAC(a, b) = 1 .
The goal: to show dC(r(a), r(b)) ≤ 2
(1) a, b ∈ C(0)(N)dC(r(a), r(b)) = dC(a, b) = dAC(a, b) = 1 ≤ 2.
(2) a ∈ C(0)(N) and b ∈ A(0)(N)We can take the regular neighborhood of the union of b and boundarycomponents which have endpoints of b without intersecting a.dC(r(a), r(b)) = dC(a, r(b)) ≤ 1 ≤ 2.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 19 / 29
![Page 33: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/33.jpg)
Construction of a retraction
Outline of Proof of Claim 4.3
We prove only for the pairs (a, b) (a, b ∈ AC(N))which fill dAC(a, b) = 1 .
The goal: to show dC(r(a), r(b)) ≤ 2
(1) a, b ∈ C(0)(N)dC(r(a), r(b)) = dC(a, b) = dAC(a, b) = 1 ≤ 2.
(2) a ∈ C(0)(N) and b ∈ A(0)(N)We can take the regular neighborhood of the union of b and boundarycomponents which have endpoints of b without intersecting a.dC(r(a), r(b)) = dC(a, r(b)) ≤ 1 ≤ 2.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 19 / 29
![Page 34: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/34.jpg)
Construction of a retraction
Outline of Proof of Claim 4.3
We prove only for the pairs (a, b) (a, b ∈ AC(N))which fill dAC(a, b) = 1 .
The goal: to show dC(r(a), r(b)) ≤ 2
(1) a, b ∈ C(0)(N)dC(r(a), r(b)) = dC(a, b) = dAC(a, b) = 1 ≤ 2.
(2) a ∈ C(0)(N) and b ∈ A(0)(N)We can take the regular neighborhood of the union of b and boundarycomponents which have endpoints of b without intersecting a.dC(r(a), r(b)) = dC(a, r(b)) ≤ 1 ≤ 2.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 19 / 29
![Page 35: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/35.jpg)
Construction of a retraction
(3) a, b ∈ A(0)(N)The following is all cases of the pairs.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 20 / 29
![Page 36: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/36.jpg)
Construction of a retraction
If r(a) and r(b) are not disjoint, we can take a curve α withoutintersect both r(a) and r(b) as follows.
Example
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 21 / 29
![Page 37: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/37.jpg)
Construction of a retraction
In all cases, there exists an essential curve α which does not intersectboth r(a) and r(b).
Hence, we can show that
dC(r(a), r(b)) ≤ dC(r(a), α) + dC(α, r(b)) ≤ 2. □
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 22 / 29
![Page 38: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/38.jpg)
Outline of proof of Main theorem
.Theorem 4.4 (K.)........If C(N) is connected, then it is 17-hyperbolic.
Outline of Proof of Main theorem
T = abd: any geodesic triangle in C(N) (a, b, d ∈ C(0)(N))a, b, d ∈ A(0)(N):arcs which are adjacent to a, b, d in AC(N).Now we use the following claim..Claim 4.5..
......
P : any unicorn path between a and b.G = ab: the edge of T connecting a and b in C(N).c ∈ P : at maximal distance k from G.Then k ≤ 8.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 23 / 29
![Page 39: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/39.jpg)
Outline of proof of Main theorem
.Theorem 4.4 (K.)........If C(N) is connected, then it is 17-hyperbolic.
Outline of Proof of Main theoremT = abd: any geodesic triangle in C(N) (a, b, d ∈ C(0)(N))a, b, d ∈ A(0)(N):arcs which are adjacent to a, b, d in AC(N).
Now we use the following claim..Claim 4.5..
......
P : any unicorn path between a and b.G = ab: the edge of T connecting a and b in C(N).c ∈ P : at maximal distance k from G.Then k ≤ 8.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 23 / 29
![Page 40: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/40.jpg)
Outline of proof of Main theorem
.Theorem 4.4 (K.)........If C(N) is connected, then it is 17-hyperbolic.
Outline of Proof of Main theoremT = abd: any geodesic triangle in C(N) (a, b, d ∈ C(0)(N))a, b, d ∈ A(0)(N):arcs which are adjacent to a, b, d in AC(N).Now we use the following claim..Claim 4.5..
......
P : any unicorn path between a and b.G = ab: the edge of T connecting a and b in C(N).c ∈ P : at maximal distance k from G.Then k ≤ 8.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 23 / 29
![Page 41: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/41.jpg)
Outline of proof of Main theorem
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 24 / 29
![Page 42: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/42.jpg)
Outline of proof of Main theorem
α, β, δ: one of the endpoints of a, b, d..Lemma 4.6..
......
There exist c′ ∈ P(aα, bβ), c′′ ∈ P(bβ, dδ), and c′′′ ∈ P(dδ, aα) suchthat each pair represent adjacent vertices in A(N).
By Claim 4.5 and Lemma 4.6,vertex c′ of AC(N) is at distance ≤ 9 from all sides of T, inparticular from a vertex of G = ab, which is a curve.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 25 / 29
![Page 43: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/43.jpg)
Outline of proof of Main theorem
α, β, δ: one of the endpoints of a, b, d..Lemma 4.6..
......
There exist c′ ∈ P(aα, bβ), c′′ ∈ P(bβ, dδ), and c′′′ ∈ P(dδ, aα) suchthat each pair represent adjacent vertices in A(N).
By Claim 4.5 and Lemma 4.6,vertex c′ of AC(N) is at distance ≤ 9 from all sides of T, inparticular from a vertex of G = ab, which is a curve.
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 25 / 29
![Page 44: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/44.jpg)
Outline of proof of Main theorem
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 26 / 29
![Page 45: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/45.jpg)
Outline of proof of Main theorem
Recall the retraction r : AC(N) → C(N).
Since r is 2-Lipschitz,
r(c′) becomes 17-center of the triangle T in C(N). □
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 27 / 29
![Page 46: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/46.jpg)
Thank you for your attention !
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 28 / 29
![Page 47: Uniform hyperbolicity for curve graphs of nonorientable surfacesmok7/slide/Kuno_s.pdf · 2014-12-22 · Question 1.3.. Is C(N) uniformly hyperbolic? How large is the hyperbolicity](https://reader034.fdocuments.in/reader034/viewer/2022050515/5f9ef7e701929774551745a4/html5/thumbnails/47.jpg)
Contents
...1 Motivation
...2 Preliminaries
...3 Unicorn pathsDefinition of unicorn pathsUnicorn paths are paths in arc graphs
...4 Curve graphs are hyperbolicMain theoremConstruction of a retractionOutline of proof of Main theorem
Erika Kuno (Osaka university) Uniform hyperbolicity for C(N) December 26, 2014 29 / 29