Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve...
Transcript of Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve...
![Page 1: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/1.jpg)
1
L-spaces and left-orderability
Cameron McA. Gordon
(joint with Steve Boyer and Liam Watson)
BIRS Workshop
Banff, February 2012
![Page 2: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/2.jpg)
2
Left Orderability
A groupG 6= 1 is left orderable(LO) if ∃ strict total order< on G
such thatg < h =⇒ fg < fh ∀ f ∈ G
![Page 3: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/3.jpg)
3
Left Orderability
A groupG 6= 1 is left orderable(LO) if ∃ strict total order< on G
such thatg < h =⇒ fg < fh ∀ f ∈ G
• R is LO
![Page 4: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/4.jpg)
4
Left Orderability
A groupG 6= 1 is left orderable(LO) if ∃ strict total order< on G
such thatg < h =⇒ fg < fh ∀ f ∈ G
• R is LO
• G LO =⇒ G torsion-free
![Page 5: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/5.jpg)
5
Left Orderability
A groupG 6= 1 is left orderable(LO) if ∃ strict total order< on G
such thatg < h =⇒ fg < fh ∀ f ∈ G
• R is LO
• G LO =⇒ G torsion-free
• G, H LO⇐⇒ G ∗ H LO (Vinogradov, 1949)
![Page 6: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/6.jpg)
6
Left Orderability
A groupG 6= 1 is left orderable(LO) if ∃ strict total order< on G
such thatg < h =⇒ fg < fh ∀ f ∈ G
• R is LO
• G LO =⇒ G torsion-free
• G, H LO⇐⇒ G ∗ H LO (Vinogradov, 1949)
• G (countable) LO⇐⇒ ∃ embeddingG⊂ Homeo+(R)
![Page 7: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/7.jpg)
7
Left Orderability
A groupG 6= 1 is left orderable(LO) if ∃ strict total order< on G
such thatg < h =⇒ fg < fh ∀ f ∈ G
• R is LO
• G LO =⇒ G torsion-free
• G, H LO⇐⇒ G ∗ H LO (Vinogradov, 1949)
• G (countable) LO⇐⇒ ∃ embeddingG⊂ Homeo+(R)
• G LO⇐⇒ every finitely generatedH < G has an LO quotient
(Burns-Hale, 1972)
![Page 8: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/8.jpg)
8
G is left circularly orderable(LCO) if ∃ strict circular order onG,
T ⊂ G3, such that(g1, g2, g3) ∈ T ⇒ (fg1, fg2, fg3) ∈ T ∀ f ∈ G
g2
g3 g1
![Page 9: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/9.jpg)
9
G is left circularly orderable(LCO) if ∃ strict circular order onG,
T ⊂ G3, such that(g1, g2, g3) ∈ T ⇒ (fg1, fg2, fg3) ∈ T ∀ f ∈ G
g2
g3 g1
• S1 is LCO
![Page 10: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/10.jpg)
10
G is left circularly orderable(LCO) if ∃ strict circular order onG,
T ⊂ G3, such that(g1, g2, g3) ∈ T ⇒ (fg1, fg2, fg3) ∈ T ∀ f ∈ G
g2
g3 g1
• S1 is LCO
• G (countable) LCO⇐⇒ ∃ embeddingG⊂ Homeo+(S1)
![Page 11: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/11.jpg)
11
G is left circularly orderable(LCO) if ∃ strict circular order onG,
T ⊂ G3, such that(g1, g2, g3) ∈ T ⇒ (fg1, fg2, fg3) ∈ T ∀ f ∈ G
g2
g3 g1
• S1 is LCO
• G (countable) LCO⇐⇒ ∃ embeddingG⊂ Homeo+(S1)
• G LO⇒ G LCO
![Page 12: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/12.jpg)
12
Theorem ((Boyer-Rolfsen-Wiest, 2005))
M a compact, orientable, prime 3-manifold (poss. with boundary).
Thenπ1(M) is LO⇔ π1(M) has an LO quotient.
![Page 13: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/13.jpg)
13
Theorem ((Boyer-Rolfsen-Wiest, 2005))
M a compact, orientable, prime 3-manifold (poss. with boundary).
Thenπ1(M) is LO⇔ π1(M) has an LO quotient.
Sketch Proof. Use Burns-Hale criterion.
H < π1(M) , H finitely generated
![Page 14: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/14.jpg)
14
Theorem ((Boyer-Rolfsen-Wiest, 2005))
M a compact, orientable, prime 3-manifold (poss. with boundary).
Thenπ1(M) is LO⇔ π1(M) has an LO quotient.
Sketch Proof. Use Burns-Hale criterion.
H < π1(M) , H finitely generated
H infinite index: MH → M cover withπ1(MH) ∼= H
Thenβ1(MH) > 0 ∴ ∃ epimorphismH ։ Z
![Page 15: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/15.jpg)
15
Theorem ((Boyer-Rolfsen-Wiest, 2005))
M a compact, orientable, prime 3-manifold (poss. with boundary).
Thenπ1(M) is LO⇔ π1(M) has an LO quotient.
Sketch Proof. Use Burns-Hale criterion.
H < π1(M) , H finitely generated
H infinite index: MH → M cover withπ1(MH) ∼= H
Thenβ1(MH) > 0 ∴ ∃ epimorphismH ։ Z
H finite index: ϕ : π1(M) ։ Q, Q LO
Thenϕ(H) < Q finite index ∴ ϕ(H) 6= 1
![Page 16: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/16.jpg)
16
Hence β1(M) > 0⇒ π1(M) LO
![Page 17: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/17.jpg)
17
Hence β1(M) > 0⇒ π1(M) LO
So interesting case is when
H∗(M; Q) ∼= H∗(S3; Q)
M is aQ-homology 3-sphere (QHS)
![Page 18: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/18.jpg)
18
SupposeM has a (codimension 2)co-orientable taut foliationF
π1(M) acts on leaf spaceL of universal covering ofM
![Page 19: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/19.jpg)
19
SupposeM has a (codimension 2)co-orientable taut foliationF
π1(M) acts on leaf spaceL of universal covering ofM
If L ∼= R (F is R-covered) then we get non-trivial homomorphism
π1(M)→ Homeo+(R) ∴ π1(M) is LO
![Page 20: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/20.jpg)
20
SupposeM has a (codimension 2)co-orientable taut foliationF
π1(M) acts on leaf spaceL of universal covering ofM
If L ∼= R (F is R-covered) then we get non-trivial homomorphism
π1(M)→ Homeo+(R) ∴ π1(M) is LO
Theorem (BRW, 2005)
M a Seifert fiberedQHS. Thenπ1(M) is LO⇔ M has base orbifold
S2(a1, . . . , an) and admits a horizontal foliation.
![Page 21: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/21.jpg)
21
SupposeM has a (codimension 2)co-orientable taut foliationF
π1(M) acts on leaf spaceL of universal covering ofM
If L ∼= R (F is R-covered) then we get non-trivial homomorphism
π1(M)→ Homeo+(R) ∴ π1(M) is LO
Theorem (BRW, 2005)
M a Seifert fiberedQHS. Thenπ1(M) is LO⇔ M has base orbifold
S2(a1, . . . , an) and admits a horizontal foliation.
∃ complete arithmetic characterization of thoseS2(a1, . . . , an)’s that
admit horizontal foliations (Jankins-Neumann, 1985, Naimi, 1994).
![Page 22: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/22.jpg)
22
Theorem (Calegari-Dunfield, 2003)
M a prime, atoroidalQHS with a co-orientable taut foliation,M the
universal abelian cover of M. Thenπ1(M) is LO.
![Page 23: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/23.jpg)
23
Theorem (Calegari-Dunfield, 2003)
M a prime, atoroidalQHS with a co-orientable taut foliation,M the
universal abelian cover of M. Thenπ1(M) is LO.
Thurston’s universal circle construction gives
ρ : π1(M) ⊂ Homeo+(S1)
![Page 24: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/24.jpg)
24
Theorem (Calegari-Dunfield, 2003)
M a prime, atoroidalQHS with a co-orientable taut foliation,M the
universal abelian cover of M. Thenπ1(M) is LO.
Thurston’s universal circle construction gives
ρ : π1(M) ⊂ Homeo+(S1)
Central extension
1→ Z→ Homeo+(S1)→ Homeo+(S1)→ 1// ‖
{integer translations
}⊂
{f ∈ Homeo+(R) : f (x + 1) = f (x) + 1 ∀ x ∈ R
}
![Page 25: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/25.jpg)
25
Theorem (Calegari-Dunfield, 2003)
M a prime, atoroidalQHS with a co-orientable taut foliation,M the
universal abelian cover of M. Thenπ1(M) is LO.
Thurston’s universal circle construction gives
ρ : π1(M) ⊂ Homeo+(S1)
Central extension
1→ Z→ Homeo+(S1)→ Homeo+(S1)→ 1// ‖
{integer translations
}⊂
{f ∈ Homeo+(R) : f (x + 1) = f (x) + 1 ∀ x ∈ R
}
Restriction ofρ to π1(M) lifts to Homeo+(S1) ⊂ Homeo+(R)
![Page 26: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/26.jpg)
26
Heegaard Floer Homology (Ozsvath-Szabo)
M aQHS. A Heegaard diagram ofM gives
HF(M) : finite dimensionalF2-vector space
![Page 27: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/27.jpg)
27
Heegaard Floer Homology (Ozsvath-Szabo)
M aQHS. A Heegaard diagram ofM gives
HF(M) : finite dimensionalF2-vector space
Z2-graded: HF(M) = HF0(M)⊕ HF1(M)
X (HF(M)) = |H1(M; Z)|
∴ dim HF(M) ≥ |H1(M)|
![Page 28: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/28.jpg)
28
Heegaard Floer Homology (Ozsvath-Szabo)
M aQHS. A Heegaard diagram ofM gives
HF(M) : finite dimensionalF2-vector space
Z2-graded: HF(M) = HF0(M)⊕ HF1(M)
X (HF(M)) = |H1(M; Z)|
∴ dim HF(M) ≥ |H1(M)|
M is anL-spaceif equality holds
E.g. lens spaces areL-spaces
Is there a “non-Heegaard Floer” characterization ofL-spaces?
![Page 29: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/29.jpg)
29
Heegaard Floer Homology (Ozsvath-Szabo)
M aQHS. A Heegaard diagram ofM gives
HF(M) : finite dimensionalF2-vector space
Z2-graded: HF(M) = HF0(M)⊕ HF1(M)
X (HF(M)) = |H1(M; Z)|
∴ dim HF(M) ≥ |H1(M)|
M is anL-spaceif equality holds
E.g. lens spaces areL-spaces
Is there a “non-Heegaard Floer” characterization ofL-spaces?
Conjecture
M a primeQHS. Then
M is an L-space⇔ π1(M) is not LO
![Page 30: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/30.jpg)
30
E.g.
π1(M) finiteր
ց
M is anL-space
π1(M) not LO
![Page 31: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/31.jpg)
31
E.g.
π1(M) finiteր
ց
M is anL-space
π1(M) not LO
Theorem (OS, 2004)
If M is an L-space then M does not admit a co-orientable taut
foliation.
![Page 32: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/32.jpg)
32
E.g.
π1(M) finiteր
ց
M is anL-space
π1(M) not LO
Theorem (OS, 2004)
If M is an L-space then M does not admit a co-orientable taut
foliation.
So Conjecture⇒ : if M has a co-orientable taut foliation then
π1(M) is LO
![Page 33: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/33.jpg)
33
E.g.
π1(M) finiteր
ց
M is anL-space
π1(M) not LO
Theorem (OS, 2004)
If M is an L-space then M does not admit a co-orientable taut
foliation.
So Conjecture⇒ : if M has a co-orientable taut foliation then
π1(M) is LO
By Calegari-Dunfield we do have (ifM atoroidal)
(1) π1(M) virtually LO
(2) π1(M) LCO
![Page 34: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/34.jpg)
34
However,∃ QHS’sM with π1(M) LCO but not LO
![Page 35: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/35.jpg)
35
However,∃ QHS’sM with π1(M) LCO but not LO
Example (Calegari)
M Seifert fiberedQHS S2(p1/q1, p2/q2, p3/q3),∑
1/qi < 1
![Page 36: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/36.jpg)
36
However,∃ QHS’sM with π1(M) LCO but not LO
Example (Calegari)
M Seifert fiberedQHS S2(p1/q1, p2/q2, p3/q3),∑
1/qi < 1
∃ central extension
1−→ Z −→ π1(M) −→ ∆ −→ 1
∆ = (q1, q2, q3)-triangle group
∆ ⊂ Isom+(H2) ∼= PSL2(R) ⊂ Homeo+(S1)
![Page 37: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/37.jpg)
37
However,∃ QHS’sM with π1(M) LCO but not LO
Example (Calegari)
M Seifert fiberedQHS S2(p1/q1, p2/q2, p3/q3),∑
1/qi < 1
∃ central extension
1−→ Z −→ π1(M) −→ ∆ −→ 1
∆ = (q1, q2, q3)-triangle group
∆ ⊂ Isom+(H2) ∼= PSL2(R) ⊂ Homeo+(S1)
∆ LCO , Z LO =⇒ π1(M) LCO
But π1(M) LO⇐⇒ M admits a horizontal foliation, and this doesn’t
always hold.
![Page 38: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/38.jpg)
38
(A) Seifert manifolds
Theorem
The Conjecture is true if M is Seifert fibered.
![Page 39: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/39.jpg)
39
(A) Seifert manifolds
Theorem
The Conjecture is true if M is Seifert fibered.
Base orbifold is either
S2(a1, . . . , an) :
M anL-space⇔ M does not admit a horizontal foliation
(Lisca-Stipsicz, 2007)
⇔ π1(M) not LO (BRW, 2005)
(also observed by Peters)
![Page 40: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/40.jpg)
40
(A) Seifert manifolds
Theorem
The Conjecture is true if M is Seifert fibered.
Base orbifold is either
S2(a1, . . . , an) :
M anL-space⇔ M does not admit a horizontal foliation
(Lisca-Stipsicz, 2007)
⇔ π1(M) not LO (BRW, 2005)
(also observed by Peters)
P2(a1, . . . , an) : π1(M) not LO (BRW, 2005)
![Page 41: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/41.jpg)
41
ShowM is anL-space by induction onn; surgery argument using:
X compact, orientable 3-manifold,∂X a torus;α essential scc⊂ ∂X,
X(α) = α-Dehn filling onX
Supposeα, β ⊂ ∂X, α · β = 1, and
|H1(X(α + β)
)= |H1
(X(α)
)|+ |H1
(X(β)
)|
![Page 42: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/42.jpg)
42
ShowM is anL-space by induction onn; surgery argument using:
X compact, orientable 3-manifold,∂X a torus;α essential scc⊂ ∂X,
X(α) = α-Dehn filling onX
Supposeα, β ⊂ ∂X, α · β = 1, and
|H1(X(α + β)
)= |H1
(X(α)
)|+ |H1
(X(β)
)|
Then X(α), X(β) L-spaces⇒ X(α + β) L-space (∗)
(OS, 2005)
(usesHF surgery exact sequence of a triad)
![Page 43: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/43.jpg)
43
Graph manifold = union of Seifert fibered spaces along tori
![Page 44: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/44.jpg)
44
Graph manifold = union of Seifert fibered spaces along tori
Theorem (Clay-Lidman-Watson, 2011)
M a ZHSgraph manifold. Thenπ1(M) is LO.
![Page 45: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/45.jpg)
45
Graph manifold = union of Seifert fibered spaces along tori
Theorem (Clay-Lidman-Watson, 2011)
M a ZHSgraph manifold. Thenπ1(M) is LO.
Theorem (Boileau-Boyer, 2011)
M a ZHSgraph manifold. Then M admits a co-orientable taut
foliation, horizontal in every Seifert piece. Hence M is nota L-space
(andπ1(M) is LO).
![Page 46: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/46.jpg)
46
Graph manifold = union of Seifert fibered spaces along tori
Theorem (Clay-Lidman-Watson, 2011)
M a ZHSgraph manifold. Thenπ1(M) is LO.
Theorem (Boileau-Boyer, 2011)
M a ZHSgraph manifold. Then M admits a co-orientable taut
foliation, horizontal in every Seifert piece. Hence M is nota L-space
(andπ1(M) is LO).
(Also work by Boyer-Clay-Watson)
![Page 47: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/47.jpg)
47
(B) Sol manifolds
N = twistedI -bundle/Klein bottle
![Page 48: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/48.jpg)
48
(B) Sol manifolds
N = twistedI -bundle/Klein bottle
N has two Seifert structures:
baseMobius band; fiberϕ0
baseD2(2, 2); fiberϕ1
ϕ0 · ϕ1 = 1 on∂N
![Page 49: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/49.jpg)
49
(B) Sol manifolds
N = twistedI -bundle/Klein bottle
N has two Seifert structures:
baseMobius band; fiberϕ0
baseD2(2, 2); fiberϕ1
ϕ0 · ϕ1 = 1 on∂N
f : ∂N→ ∂N homeomorphism,M = N ∪f N
AssumeM aQHS (f (ϕ0) 6= ±ϕ0)
![Page 50: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/50.jpg)
50
(B) Sol manifolds
N = twistedI -bundle/Klein bottle
N has two Seifert structures:
baseMobius band; fiberϕ0
baseD2(2, 2); fiberϕ1
ϕ0 · ϕ1 = 1 on∂N
f : ∂N→ ∂N homeomorphism,M = N ∪f N
AssumeM aQHS (f (ϕ0) 6= ±ϕ0)
M Seifert⇔ f (ϕi) = ±ϕj (somei, j ∈ {0, 1})
Otherwise,M is aSol manifold
![Page 51: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/51.jpg)
51
π1(M) is not LO (BRW, 2005)
![Page 52: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/52.jpg)
52
π1(M) is not LO (BRW, 2005)
π1(N) = 〈ϕ0, t : tϕ0t−1 = ϕ−10 〉 (ϕ1 = t2)
![Page 53: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/53.jpg)
53
π1(M) is not LO (BRW, 2005)
π1(N) = 〈ϕ0, t : tϕ0t−1 = ϕ−10 〉 (ϕ1 = t2)
< any LO on π1(N) . Can show
x ∈ π1(N), x /∈ 〈ϕ0〉, x > 1 =⇒ ϕn0 < x ∀ n ∈ Z
![Page 54: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/54.jpg)
54
π1(M) is not LO (BRW, 2005)
π1(N) = 〈ϕ0, t : tϕ0t−1 = ϕ−10 〉 (ϕ1 = t2)
< any LO on π1(N) . Can show
x ∈ π1(N), x /∈ 〈ϕ0〉, x > 1 =⇒ ϕn0 < x ∀ n ∈ Z
∴ π1(M) LO =⇒ f (ϕ0) = ±ϕ0 =⇒ M Seifert (and notQHS)
![Page 55: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/55.jpg)
55
π1(M) is not LO (BRW, 2005)
π1(N) = 〈ϕ0, t : tϕ0t−1 = ϕ−10 〉 (ϕ1 = t2)
< any LO on π1(N) . Can show
x ∈ π1(N), x /∈ 〈ϕ0〉, x > 1 =⇒ ϕn0 < x ∀ n ∈ Z
∴ π1(M) LO =⇒ f (ϕ0) = ±ϕ0 =⇒ M Seifert (and notQHS)
Theorem
M is an L-space
![Page 56: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/56.jpg)
56
π1(M) is not LO (BRW, 2005)
π1(N) = 〈ϕ0, t : tϕ0t−1 = ϕ−10 〉 (ϕ1 = t2)
< any LO on π1(N) . Can show
x ∈ π1(N), x /∈ 〈ϕ0〉, x > 1 =⇒ ϕn0 < x ∀ n ∈ Z
∴ π1(M) LO =⇒ f (ϕ0) = ±ϕ0 =⇒ M Seifert (and notQHS)
Theorem
M is an L-space
f∗ =
[a bc d
](c 6= 0) with respect to basisϕ0, ϕ1
![Page 57: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/57.jpg)
57
(1) True if f∗ =
[a 11 0
]
f (ϕ1) = ϕ0 , soM Seifert
![Page 58: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/58.jpg)
58
(1) True if f∗ =
[a 11 0
]
f (ϕ1) = ϕ0 , soM Seifert
(2) True if f∗ =
[a b1 d
]=
[a 11 0
] [1 d0 1
]=
[a 11 0
](t0)d
∗
wheret0 : ∂N→ ∂N is Dehn twist alongϕ0
Write W(f ) = N ∪f N
BorderedHF calculation showsHF(W(f )) ∼= HF(W(f ◦ t0))
So reduced to case (1)
![Page 59: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/59.jpg)
59
(1) True if f∗ =
[a 11 0
]
f (ϕ1) = ϕ0 , soM Seifert
(2) True if f∗ =
[a b1 d
]=
[a 11 0
] [1 d0 1
]=
[a 11 0
](t0)d
∗
wheret0 : ∂N→ ∂N is Dehn twist alongϕ0
Write W(f ) = N ∪f N
BorderedHF calculation showsHF(W(f )) ∼= HF(W(f ◦ t0))
So reduced to case (1)
(3) In general, induct on|c| : do surgery on suitable simple
closed curves⊂ ∂N and use(∗)
![Page 60: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/60.jpg)
60
(C) Dehn surgery
Theorem (OS, 2005)
K a hyperbolic alternating knot. Then K(r) is not an L-space∀ r ∈ Q
![Page 61: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/61.jpg)
61
(C) Dehn surgery
Theorem (OS, 2005)
K a hyperbolic alternating knot. Then K(r) is not an L-space∀ r ∈ Q
So Conjecture =⇒ π1(K(r)) LO
![Page 62: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/62.jpg)
62
(C) Dehn surgery
Theorem (OS, 2005)
K a hyperbolic alternating knot. Then K(r) is not an L-space∀ r ∈ Q
So Conjecture =⇒ π1(K(r)) LO
Theorem (Roberts, 1995)
K an alternating knot.
(1) If K is not special alternating then K(r) has a taut foliation
∀ r ∈ Q.
(2) If K is special alternating then K(r) has a taut foliation either
∀ r > 0 or ∀ r < 0.
![Page 63: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/63.jpg)
63
K(1/q) is aZHS ∴ foliation is co-orientable
![Page 64: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/64.jpg)
64
K(1/q) is aZHS ∴ foliation is co-orientable
K(1/q) atoroidal ∴ π1(K(1/q)) ⊂ Homeo+(S1)
![Page 65: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/65.jpg)
65
K(1/q) is aZHS ∴ foliation is co-orientable
K(1/q) atoroidal ∴ π1(K(1/q)) ⊂ Homeo+(S1)
H2(π1(K(1/q))) = 0; so lifts toπ1(K(1/q)) ⊂ Homeo+(R)
∴ π1(K(1/q)) is LO (∀ q 6= 0 in (1),∀ q > 0 or ∀ q < 0 in (2))
![Page 66: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/66.jpg)
66
K(1/q) is aZHS ∴ foliation is co-orientable
K(1/q) atoroidal ∴ π1(K(1/q)) ⊂ Homeo+(S1)
H2(π1(K(1/q))) = 0; so lifts toπ1(K(1/q)) ⊂ Homeo+(R)
∴ π1(K(1/q)) is LO (∀ q 6= 0 in (1),∀ q > 0 or ∀ q < 0 in (2))
Theorem
Let K be the figure eight knot. Thenπ1(K(r)) is LO for−4 < r < 4.
Uses representationsρ : π1(S3 \ K)→ PSL2(R)
![Page 67: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/67.jpg)
67
K(1/q) is aZHS ∴ foliation is co-orientable
K(1/q) atoroidal ∴ π1(K(1/q)) ⊂ Homeo+(S1)
H2(π1(K(1/q))) = 0; so lifts toπ1(K(1/q)) ⊂ Homeo+(R)
∴ π1(K(1/q)) is LO (∀ q 6= 0 in (1),∀ q > 0 or ∀ q < 0 in (2))
Theorem
Let K be the figure eight knot. Thenπ1(K(r)) is LO for−4 < r < 4.
Uses representationsρ : π1(S3 \ K)→ PSL2(R)
(Also true forr = ±4 (Clay-Lidman-Watson, 2011))
![Page 68: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/68.jpg)
68
K(1/q) is aZHS ∴ foliation is co-orientable
K(1/q) atoroidal ∴ π1(K(1/q)) ⊂ Homeo+(S1)
H2(π1(K(1/q))) = 0; so lifts toπ1(K(1/q)) ⊂ Homeo+(R)
∴ π1(K(1/q)) is LO (∀ q 6= 0 in (1),∀ q > 0 or ∀ q < 0 in (2))
Theorem
Let K be the figure eight knot. Thenπ1(K(r)) is LO for−4 < r < 4.
Uses representationsρ : π1(S3 \ K)→ PSL2(R)
(Also true forr = ±4 (Clay-Lidman-Watson, 2011))
Theorem (Clay-Teragaito, 2011)
K a hyperbolic 2-bridge knot. If K(r) is non-hyperbolic thenπ1(K(r))
is LO.
![Page 69: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/69.jpg)
69
Surgery triad exact sequence((∗)
)implies
K a knot inS3, K(s) anL-space for somes∈ Q, s > 0.
ThenK(r) is anL-space for allr ∈ Q, r ≥ s.
(K is anL-space knot)
![Page 70: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/70.jpg)
70
Surgery triad exact sequence((∗)
)implies
K a knot inS3, K(s) anL-space for somes∈ Q, s > 0.
ThenK(r) is anL-space for allr ∈ Q, r ≥ s.
(K is anL-space knot)
So Conjecture =⇒ π1(K(r)) not LO, r ≥ s
![Page 71: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/71.jpg)
71
Surgery triad exact sequence((∗)
)implies
K a knot inS3, K(s) anL-space for somes∈ Q, s > 0.
ThenK(r) is anL-space for allr ∈ Q, r ≥ s.
(K is anL-space knot)
So Conjecture =⇒ π1(K(r)) not LO, r ≥ s
Example
Pretzel knotK(−2, 3, n), n odd≥ 5, is anL-space knot.
![Page 72: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/72.jpg)
72
Surgery triad exact sequence((∗)
)implies
K a knot inS3, K(s) anL-space for somes∈ Q, s > 0.
ThenK(r) is anL-space for allr ∈ Q, r ≥ s.
(K is anL-space knot)
So Conjecture =⇒ π1(K(r)) not LO, r ≥ s
Example
Pretzel knotK(−2, 3, n), n odd≥ 5, is anL-space knot.
Theorem (Clay-Watson, 2011)
π1(K(−2, 3, n)(r)) is notLO if r ≥ n + 10.
![Page 73: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/73.jpg)
73
(D) 2-fold branched covers
L a link in S3
Σ(L) =2-fold branched cover ofL
Theorem (OS, 2005)
If L is a non-split alternating link thenΣ(L) is an L-space.
![Page 74: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/74.jpg)
74
(D) 2-fold branched covers
L a link in S3
Σ(L) =2-fold branched cover ofL
Theorem (OS, 2005)
If L is a non-split alternating link thenΣ(L) is an L-space.
(uses(∗) ;
L L0 L 8
=⇒ Σ(L), Σ(L0), Σ(L∞) a surgery triad
with detL = detL0 + detL∞)
![Page 75: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/75.jpg)
75
(D) 2-fold branched covers
L a link in S3
Σ(L) =2-fold branched cover ofL
Theorem (OS, 2005)
If L is a non-split alternating link thenΣ(L) is an L-space.
(uses(∗) ;
L L0 L 8
=⇒ Σ(L), Σ(L0), Σ(L∞) a surgery triad
with detL = detL0 + detL∞)
Theorem
If L is a non-split alternating link thenπ1(Σ(L)) is not LO.
(Also proofs by Greene, Ito)
![Page 76: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/76.jpg)
76
L a link in S3, D a diagram ofL
Define groupπ(D) :
generatorsa1, . . . , an←→ arcs of D
relations←→ crossings ofD
i j
k
a−1j aia
−1j ak
![Page 77: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/77.jpg)
77
L a link in S3, D a diagram ofL
Define groupπ(D) :
generatorsa1, . . . , an←→ arcs of D
relations←→ crossings ofD
i j
k
a−1j aia
−1j ak
Theorem (Wada, 1992)
π(D) ∼= π1(Σ(L)) ∗ Z
![Page 78: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/78.jpg)
78
Supposeπ(D) LO
a−1j aia
−1j ak = 1 ⇐⇒ a−1
j ai = a−1k aj
ai < aj ⇐⇒ a−1j ai < 1
∴ at each crossing either
ai < aj < ak
or ai > aj > ak
or ai = aj = ak
![Page 79: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/79.jpg)
79
Supposeπ(D) LO
a−1j aia
−1j ak = 1 ⇐⇒ a−1
j ai = a−1k aj
ai < aj ⇐⇒ a−1j ai < 1
∴ at each crossing either
ai < aj < ak
or ai > aj > ak
or ai = aj = ak
Shade complementary regions ofD alternately Black/White
Define graphΓ(D) ⊂ S2 :
vertices ←→ B-regions
edges ←→ crossings
![Page 80: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/80.jpg)
80
![Page 81: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/81.jpg)
81
AssumeD connected, alternating
We want to show π1(Σ(L)) not LO
True if L = unknot; so assumeL 6= unknot
Then π1(Σ(L)) LO ⇐⇒ π(D) ∼= π1(Σ(L)) ∗ Z LO
So assume π(D) LO
![Page 82: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/82.jpg)
82
AssumeD connected, alternating
We want to show π1(Σ(L)) not LO
True if L = unknot; so assumeL 6= unknot
Then π1(Σ(L)) LO ⇐⇒ π(D) ∼= π1(Σ(L)) ∗ Z LO
So assume π(D) LO
Orient edges of Γ(D)
ai < aj < ak ai > aj > ak ai = aj = ak
![Page 83: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/83.jpg)
83
Γ a connected,semi-oriented graph⊂ S2
![Page 84: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/84.jpg)
84
Γ a connected,semi-oriented graph⊂ S2
cycle sink source
where, in each case, there is at least one oriented edge
![Page 85: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/85.jpg)
85
Lemma
LetΓ ⊂ S2 be a connected semi-oriented graph with at least one
oriented edge. ThenΓ has a sink, source or cycle.
![Page 86: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/86.jpg)
86
Lemma
LetΓ ⊂ S2 be a connected semi-oriented graph with at least one
oriented edge. ThenΓ has a sink, source or cycle.
Let Γ = Γ(D)
![Page 87: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/87.jpg)
87
cycle:
i1 i2
i3ir
ai1 ≤ ai2 ≤ · · · ≤ air ≤ ai1
∴ ai1 = ai2 = · · · = air
a contradiction, since at least one oriented edge
![Page 88: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/88.jpg)
88
sink:
i1 i2
i3ir
ai1 ≤ ai2 ≤ · · · ≤ air ≤ ai1
∴ ai1 = ai2 = · · · = air
a contradiction, since at least one oriented edge
![Page 89: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/89.jpg)
89
Similarly for a source
ai1 ≥ ai2 ≥ · · · ≥ air ≥ ai1 , contradiction
![Page 90: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/90.jpg)
90
Similarly for a source
ai1 ≥ ai2 ≥ · · · ≥ air ≥ ai1 , contradiction
∴ by Lemma, all edges of Γ(D) are unoriented
∴ (sinceD connected) a1 = a2 = · · · = an
∴ π(D) ∼= Z
∴ π1(Σ(L)) = 1
∴ L = unknot, contradiction
![Page 91: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/91.jpg)
91
(E) Questions
Question 1
If M is aQHS with a co-orientable taut foliation, isπ1(M) LO?
![Page 92: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/92.jpg)
92
(E) Questions
Question 1
If M is aQHS with a co-orientable taut foliation, isπ1(M) LO?
Question 2
If K is a hyperbolic alternating knot, isπ1(K(r)) LO ∀ r ∈ Q?
![Page 93: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/93.jpg)
93
(E) Questions
Question 1
If M is aQHS with a co-orientable taut foliation, isπ1(M) LO?
Question 2
If K is a hyperbolic alternating knot, isπ1(K(r)) LO ∀ r ∈ Q?
L quasi-alternating =⇒ Σ(L) anL-space
![Page 94: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/94.jpg)
94
(E) Questions
Question 1
If M is aQHS with a co-orientable taut foliation, isπ1(M) LO?
Question 2
If K is a hyperbolic alternating knot, isπ1(K(r)) LO ∀ r ∈ Q?
L quasi-alternating =⇒ Σ(L) anL-space
Question 3
DoesL quasi-alternating=⇒ π1(Σ(L)) not LO?
![Page 95: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/95.jpg)
95
(E) Questions
Question 1
If M is aQHS with a co-orientable taut foliation, isπ1(M) LO?
Question 2
If K is a hyperbolic alternating knot, isπ1(K(r)) LO ∀ r ∈ Q?
L quasi-alternating =⇒ Σ(L) anL-space
Question 3
DoesL quasi-alternating=⇒ π1(Σ(L)) not LO?
Conjecture =⇒ Q’s 1, 2 and 3 have answer “yes”
![Page 96: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/96.jpg)
96
Question 4
If M is aQHS withπ1(M) LO doesM admit a co-orientable taut
foliation?
![Page 97: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/97.jpg)
97
Question 4
If M is aQHS withπ1(M) LO doesM admit a co-orientable taut
foliation?
Question 5
Does Conjecture hold for graph manifolds?
![Page 98: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/98.jpg)
98
Question 4
If M is aQHS withπ1(M) LO doesM admit a co-orientable taut
foliation?
Question 5
Does Conjecture hold for graph manifolds?
Only known primeZHSL-spaces areS3 and Poincare HS
![Page 99: Cameron McA. Gordon (joint with Steve Boyer and Liam ... · Cameron McA. Gordon (joint with Steve Boyer and Liam Watson) BIRS Workshop Banff, February 2012. 2 Left Orderability A](https://reader034.fdocuments.in/reader034/viewer/2022050605/5fac42c4497a9f6b5764a9c0/html5/thumbnails/99.jpg)
99
Question 4
If M is aQHS withπ1(M) LO doesM admit a co-orientable taut
foliation?
Question 5
Does Conjecture hold for graph manifolds?
Only known primeZHSL-spaces areS3 and Poincare HS
Question 6
M a hyperbolicZHS. Isπ1(M) LO?