three theorems about generating mapping class...

91

Upload: others

Post on 20-Aug-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 2: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 3: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 4: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 5: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 6: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 7: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

reducible, nonperiodic reducible, periodic

Page 8: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 9: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 10: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 11: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 12: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

!?

Page 13: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

!?

Tara Brendle and Benson Farb

Page 14: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

!?

!!??

Tara Brendle and Benson Farb

Page 15: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

There are numbers bigger than 2.

Page 16: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 17: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

Order of elements

Number of elements

Genus

Brendle-Farb 2 6 g ≥ 3

Kassabov 2 4 g ≥ 7

Page 18: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

Order of elements

Number of elements

Genus

Brendle-Farb 2 6 g ≥ 3

Kassabov 2 4 g ≥ 7

Monden 3 3 g ≥ 3

4 4 g ≥ 3

Page 19: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

Order of elements

Number of elements

Genus

Brendle-Farb 2 6 g ≥ 3

Kassabov 2 4 g ≥ 7

Monden 3 3 g ≥ 3

4 4 g ≥ 3

Yoshihara 6 3 g ≥ 10

6 4 g ≥ 5

Page 20: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

Obstacle:When do higher-order elements even exist in

Mod(Sg)?

Page 21: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

Orders of torsion elements in Mod(S3):

1, 2, 3, 4, 6, 7, 8, 9, 12, 14

Page 22: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

Number theoretic conditions for the existence of torsion elements

in Mod(Sg)

(Ashikaga and Ishizaka)

Page 23: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 24: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

Strategy:

1) Find some order 2 elements.2) Write a Dehn twist as a product in these.3) Show that the order 2 elements generate a subgroup that puts all the Humphries curves in the same orbit.

(Luo, Brendle-Farb)

Page 25: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

1) Find some order 2 elements.2) Write a Dehn twist as a product in these.3) Show that the order 2 elements generate a subgroup that puts all the Humphries curves in the same orbit.

Strategy:(Luo, Brendle-Farb)

Page 26: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

(Luo)

Td = (TxTa-1)(TyTb

-1)(TzTc-1)

Page 27: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

(Luo)

TxTa-1 = Tx(f Tx

-1f-1) = (Txf Tx-1)f-1

x a

f

Td = (TxTa-1)(TyTb

-1)(TzTc-1)

Page 28: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

(Brendle-Farb)

Page 29: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

(Brendle-Farb)

Page 30: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

Strategy:

1) Find some order k elements.2) Write a Dehn twist as a product in these.3) Show that the order k elements generate a subgroup that puts all the Humphries curves in the same orbit.

Page 31: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

genus 4genus 5

k = 5

Page 32: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 33: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

TxTa-1 = Tx(f Tx

-1f-1) = (Txf Tx-1)f-1

Td = (TxTa-1)(TyTb

-1)(TzTc-1)

f xa

Page 34: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 35: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 36: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 37: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

Other groups?

Sharpening these results?

Other periodic elements?

Page 38: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 39: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 40: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 41: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 42: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 43: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 44: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 45: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

reducible elements

Page 46: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

reducible elements

Page 47: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

periodic elements

Page 48: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

periodic elements

Page 49: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 50: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

Obstacle:How can you even get a handle

on all the periodic elements?

Page 51: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 52: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 53: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 54: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 55: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 56: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 57: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 58: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 59: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 60: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 61: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 62: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 63: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 64: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 65: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 66: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 67: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 68: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 69: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 70: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 71: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 72: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 73: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 74: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 75: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 76: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 77: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 78: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 79: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 80: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 81: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier

Obstacle

Page 82: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 83: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 84: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 85: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 86: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 87: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 88: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 89: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 90: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier
Page 91: Three theorems about generating mapping class …people.math.gatech.edu/~etnyre/TechTopology/2017/TTC17...Three theorems about generating mapping class groups Author Justin Lanier