concave symplectic embeddings and relations in...

Concave symplectic embeddings and relations in mappingclass groups of surfaces

Laura Starkston

University of Texas at Austin

December 6, 2014

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 1 / 15

Contact3-manifolds(M3, ⇠)

x

y

z

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 2 / 15

Contact3-manifolds(M3, ⇠)

x

y

z

Symplectic convexfillings (X 4,!)

X

MMxI

V

LV! = !

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 2 / 15

Contact3-manifolds(M3, ⇠)

x

y

z

Open bookdecomposition⇡ : M \ L ! S

1

Symplectic convexfillings (X 4,!)

X

MMxI

V

LV! = !

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 2 / 15

Contact3-manifolds(M3, ⇠)

x

y

z

Open bookdecomposition⇡ : M \ L ! S

1 ⌃ = ⇡�1(0)“page”

� : ⌃ ! ⌃monodromy

Symplectic convexfillings (X 4,!)

X

MMxI

V

LV! = !

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 2 / 15

Contact3-manifolds(M3, ⇠)

x

y

z

Open bookdecomposition⇡ : M \ L ! S

1 ⌃ = ⇡�1(0)“page”

� : ⌃ ! ⌃monodromy

Symplectic convexfillings (X 4,!)

X

MMxI

V

LV! = !

Lefschetz fibration

vanishing cyclesc

1

, · · · , cn

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 2 / 15

Contact3-manifolds(M3, ⇠)

x

y

z

Open bookdecomposition⇡ : M \ L ! S

1 ⌃ = ⇡�1(0)“page”

� : ⌃ ! ⌃monodromy

Symplectic convexfillings (X 4,!)

X

MMxI

V

LV! = !

Lefschetz fibration

vanishing cyclesc

1

, · · · , cn

factorization ofmonodromy

� = Dc1

· · ·Dcn

Right-handedDehn twists

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 2 / 15

Concave boundaryof ⌫(⌃

1

[ · · ·[⌃n)

+1

Contact3-manifolds(M3, ⇠)

x

y

z

Open bookdecomposition⇡ : M \ L ! S

1 ⌃ = ⇡�1(0)“page”

� : ⌃ ! ⌃monodromy

Symplectic convexfillings (X 4,!)

X

MMxI

V

LV! = !

Lefschetz fibration

vanishing cyclesc

1

, · · · , cn

factorization ofmonodromy

� = Dc1

· · ·Dcn

Right-handedDehn twists

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 2 / 15

Concave boundaryof ⌫(⌃

1

[ · · ·[⌃n)

+1

Contact3-manifolds(M3, ⇠)

x

y

z

Open bookdecomposition⇡ : M \ L ! S

1 ⌃ = ⇡�1(0)“page”

� : ⌃ ! ⌃monodromy

Complement ofembedded surfacesin CP2 #N CP2

Convex filling

+1

Symplectic convexfillings (X 4,!)

X

MMxI

V

LV! = !

Lefschetz fibration

vanishing cyclesc

1

, · · · , cn

factorization ofmonodromy

� = Dc1

· · ·Dcn

Right-handedDehn twists

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 2 / 15

Concave Caps and Convex Fillings

+1

-2-1 -1

-2

-2

⌃1

, · · · ,⌃n

surfaces in a 4-manifold intersecting positively transversely

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 3 / 15

Concave Caps and Convex Fillings

+1

-2-1 -1

-2

-2

⌃1

, · · · ,⌃n

surfaces in a 4-manifold intersecting positively transversely

Theorem (Gay-Stipsicz, Li-Mak)

There exists ! on ⌫(⌃1

[ · · · [ ⌃n) withconvex boundary negative definite

concave boundary with enough b

+

2

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 3 / 15

Concave Caps and Convex Fillings

+1

-2-1 -1

-2

-2

⌃1

, · · · ,⌃n

surfaces in a 4-manifold intersecting positively transversely

Theorem (Gay-Stipsicz, Li-Mak)

There exists ! on ⌫(⌃1

[ · · · [ ⌃n) withconvex boundary negative definite

concave boundary with enough b

+

2

convexfilling

concave capConvex fillings are more rare than concave caps.

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 3 / 15

Concave Caps and Convex Fillings

+1

-2-1 -1

-2

-2

⌃1

, · · · ,⌃n

surfaces in a 4-manifold intersecting positively transversely

Theorem (Gay-Stipsicz, Li-Mak)

There exists ! on ⌫(⌃1

[ · · · [ ⌃n) withconvex boundary negative definite

concave boundary with enough b

+

2

convexfilling

concave capConvex fillings are more rare than concave caps.

Idea: Use concave caps to find convex fillings.

Theorem [McDu↵]

A closed symplectic manifold containing a symplecticpositive S

2 is symplectomorphic to CP2 #N CP2.

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 3 / 15

Concave embedding approach

Theorem (S.)

For a Seifert fibered space Y over S

2

with k singular fibers and e

0

�k � 1, withits canonical contact structure ⇠can:

1

Every convex filling of (Y , ⇠can) is the complement of a

symplectic embedding of a concave star-shaped plumbing of

spheres into CP2 #N CP2

.

+1

-2-1 -1

-2

-2

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 4 / 15

Concave embedding approach

Theorem (S.)

For a Seifert fibered space Y over S

2

with k singular fibers and e

0

�k � 1, withits canonical contact structure ⇠can:

1

Every convex filling of (Y , ⇠can) is the complement of a

symplectic embedding of a concave star-shaped plumbing of

spheres into CP2 #N CP2

.

2

Every such embedding can be built from

A collection of pseudoholomorphic CP1

’s

+1

-2-1 -1

-2

-2

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 4 / 15

Concave embedding approach

Theorem (S.)

For a Seifert fibered space Y over S

2

with k singular fibers and e

0

�k � 1, withits canonical contact structure ⇠can:

1

Every convex filling of (Y , ⇠can) is the complement of a

symplectic embedding of a concave star-shaped plumbing of

spheres into CP2 #N CP2

.

2

Every such embedding can be built from

A collection of pseudoholomorphic CP1

’s

blow-up at N points, including proper transforms of the

CP1

’s and exceptional spheres into the concave plumbing

+1

-2-1 -1

-2

-2

1-1

-2

-1-1-1

-1 -1-1

1-2

-2

-1-1-1

-1 -1-1

-2

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 4 / 15

Concave embedding approach

Theorem (S.)

For a Seifert fibered space Y over S

2

with k singular fibers and e

0

�k � 1, withits canonical contact structure ⇠can:

1

Every convex filling of (Y , ⇠can) is the complement of a

symplectic embedding of a concave star-shaped plumbing of

spheres into CP2 #N CP2

.

2

Every such embedding can be built from

A collection of pseudoholomorphic CP1

’s

blow-up at N points, including proper transforms of the

CP1

’s and exceptional spheres into the concave plumbing

3

For many such (Y , ⇠can) the isotopy class of the embedding

is determined by combinatorial/homological data

(su�cient conditions: k 5 or e

0

�k � 3).

+1

-2-1 -1

-2

-2

1-1

-2

-1-1-1

-1 -1-1

1-2

-2

-1-1-1

-1 -1-1

-2

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 4 / 15

Monodromy factorization approach

[Gay-Mark] For these Seifert fibered spaces, (Y , ⇠can), there are open bookdecompositions with

Planar pages

Monodromy � = Dc1

Dc2

· · ·Dcn ,c

1

, · · · , cn disjoint

Theorem (Wendl)

Because these contact structures are planar, each (minimal) convex filling of

(Y , ⇠can) corresponds to a di↵erent positive factorization of �.

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 5 / 15

Comparing and translating the two methods

Monodromy substitution approach

Easy to write down

Good for applications for cut and paste operations

Concave embedding approach

Easy to find interesting examples

Easy (in many cases) to classify all fillings of certain contact manifolds(combinatorial reduction)

Translating between the two approaches: Handlebody decompositions forembedded surfaces and Lefschetz fibrations

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 6 / 15

How to draw an embedding of spheres in a 4-manifold

Unknotted circles in S

3 $ equators of spheresFraming $ self-intersection numberLinking $ Pairwise intersections

+1

+1 0 0-1

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 7 / 15

Blowing up and down

-1

+1

-1

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 8 / 15

How to draw a planar Lefchetz fibration

Dotted circle notation: Attachinga 1-handle is equivalent to carving out a 2-handle– a dotted circle denotes the boundary of this core disk.

1

2

34

5

6

7c1

c2

c3

12 3 4 5 6 7

c1c2

c3

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 9 / 15

+1

-n1 -n2 -nd

Concave embeddings: Start with d + 1 pseudoholomorphic CP1’s in CP2.

+1

CP2

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 10 / 15

+1

-1 -1-1

Concave embeddings: Start with 3 + 1 pseudoholomorphic CP1’s in CP2.

+1

0

0

0

cancelling 3-handles

CP2

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 10 / 15

+1

-1 -1-1

Concave embeddings: Start with 3 + 1 pseudoholomorphic CP1’s in CP2.

+1

cancelling 3-handles

+1

+1+1 +1

CP2

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 10 / 15

+1

-1 -1-1

Concave embeddings: Start with 3 + 1 pseudoholomorphic CP1’s in CP2.

+1

cancelling 3-handles

+1 +1 +1

CP2

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 10 / 15

+1

-1 -1-1

Concave embeddings: Start with 3 + 1 pseudoholomorphic CP1’s in CP2.

+1

cancelling 3-handles

+1 +1 +1

+1

cancelling 3-handles

+1 0 0-1

Blow up to remove intersections and change framings. CP2 #CP2

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 10 / 15

+1

-1 -1-1

Concave embeddings: Start with 3 + 1 pseudoholomorphic CP1’s in CP2.

+1

cancelling 3-handles

+1 +1 +1

+1

cancelling 3-handles

0 0 -1-1

-1

Blow up to remove intersections and change framings. CP2 #2CP2

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 10 / 15

+1

-1 -1-1

Concave embeddings: Start with 3 + 1 pseudoholomorphic CP1’s in CP2.

+1

cancelling 3-handles

+1 +1 +1

+1

cancelling 3-handles

-1 -1 -1-1

-1

-1

Blow up to remove intersections and change framings. CP2 #3CP2

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 10 / 15

+1

-1 -1-1

Concave embeddings: Start with 3 + 1 pseudoholomorphic CP1’s in CP2.

+1

cancelling 3-handles

-1 -1 -1-1

-1

-1

+1

cancelling 3-handles

-1 -1 -1-1

-1

-1

Notice the embedding of the dual graph into CP2 #3CP2

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 10 / 15

+1

-1 -1-1

Concave embeddings: Start with 3 + 1 pseudoholomorphic CP1’s in CP2.

+1

cancelling 3-handles

-1 -1 -1-1

-1

-1

-1

-1

-1

Cut out concave cap from CP2 #3CP2. Turn upsidedown. Simplify

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 10 / 15

+1

-1 -1-1

Concave embeddings: Start with 3 + 1 pseudoholomorphic CP1’s in CP2.

-1

-1

-1-1

-1

-1

Lefschetz Fibration!

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 10 / 15

+1

-1 -1-1

Concave embeddings: Start with 3 + 1 pseudoholomorphic CP1’s in CP2.

-1-1

-1

Lantern Relation! D

1

D

2

D

3

D

1,2,3 = D

1,2D1,3D2,3

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 10 / 15

The lantern relation concave embeddingcame from blowing up:

By blowing up more interestingconfigurations of lines, we get newrelations:

11

11

D

2

1

D

2

2

D

3

D

2

4

D

2

5

D

1,2,3,4,5 = D

1,2,3D1,4D1,5D2,4D2,5D3,4,5

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 11 / 15

D

2

1

D

2

2

D

3

D

2

4

D

2

5

D

1,2,3,4,5 = D

1,2,3D1,4D1,5D2,4D2,5D3,4,5

Concave embedding strategy shows: no other fillings ) no other + factorizations.

Such indecomposable relations are essential relators for elements in Dehn+.

There is an infinite family of indecomposable relations generalizing this example.

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 11 / 15

Longer Arms

+1

-2 -2 -2

+1

-2 -2 -2

-2

+1

cancelling 3-handles

-2 -2 -2-1

-1-1

-1-1-1-1-2

-1

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 12 / 15

Longer Arms

+1

-1 -1-1

+1

-2 -2 -2

-2

+1

cancelling 3-handles

-2 -1 -2-1

-1-1

-1 -1 -1 -2

-1

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 12 / 15

-1-2

-2 -1-1

-1-2

-2 -1-1

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 13 / 15

-1-2

-2 -1-1

-1-2

-2 -1-1

-1

-1 -2-1

-1

-2

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 13 / 15

D

1

D

2

D

3

D

1,2,3 = D

1,2D1,3D2,3

D

1aD1bD1a1bD2

2

D

3

D

1a,1b,2,3 = D

1a,2D1b,2D1a,1b,3D2,3

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 14 / 15

Moving towards a complete dictionary: other moves

What is a complete list of embedding moves, and how do they each translateto moves on mapping class group relations?

How does a sequence of embedding moves translate to a sequence ofmapping class group relations?

a b a-1 b-1

-1

a-1 b-2

-1-2

a-2 b-2

-1 -2-3

-1

a ba-1 b-1

-1

a-1 b-2

-1-3

cc-1 c-2

-1

Laura Starkston (University of Texas at Austin) Concave symplectic embeddings and relations in mapping class groups of surfacesDecember 6, 2014 15 / 15