Characterizing the ribbon graphs of knots Iain Moffatt University - - PowerPoint PPT Presentation

characterizing the ribbon graphs of knots
SMART_READER_LITE
LIVE PREVIEW

Characterizing the ribbon graphs of knots Iain Moffatt University - - PowerPoint PPT Presentation

Characterizing the ribbon graphs of knots Iain Moffatt University of South Alabama AMS Spring Southeastern Section Meeting, 11 th March 2012 Graphs and link diagrams There is a well known way to get a plane graph from a link diagram: Tait


slide-1
SLIDE 1

Characterizing the ribbon graphs of knots

Iain Moffatt

University of South Alabama

AMS Spring Southeastern Section Meeting, 11th March 2012

slide-2
SLIDE 2

Graphs and link diagrams

There is a well known way to get a plane graph from a link diagram:

Tait graphs

+

  • +

+ +

slide-3
SLIDE 3

Graphs and link diagrams

There is a well known way to get a plane graph from a link diagram:

Tait graphs

+

  • +

+ +

+ + +

slide-4
SLIDE 4

Graphs and link diagrams

There is a well known way to get a plane graph from a link diagram:

Tait graphs

+

  • +

+ +

+ + +

  • Properties

The Tait graphs of a link diagram are duals. Every plane graph describes a link diagram. A Tait graph describes a unique link diagram.

slide-5
SLIDE 5

Ribbon graphs

The ribbon graphs of a link diagram

Extend Tait graphs by associating a set of ribbon graphs to a link diagram (Dasbach, Futer, Kalfagianni, Lin & Stoltzfus ’08). Applications: Jones poly, HOMFLY-PT poly, Khovanov homology, knot Floer homology, Turaev genus, quasi-alternating links, the coloured Jones poly, signature, determinant, hyperbolic knots.

Ribbon graph Cellularly embedded graph * *

d e l e t e f a c e s g l u e i n f a c e s

* *

t a k e n e i g h b

  • u

r h

  • d

T a k e s p i n e

* *

slide-6
SLIDE 6

Arrow marked ribbon graphs

Edges can be described by pairs of coloured arrows on the boundary:

1

  • rient edge e

2

add arrows where e meets vertices

3

remove edge.

e e e e e e

Example

1 2 3

=

3 3 1 2 2

=

1 3 2 2

=

1 2 3 2 1

=

1 1

=

1 2 3 2 1 3

=

1 2 3 2 1 3

Arrow presentation

= · · ·

slide-7
SLIDE 7

Embedded graphs

Cellularly embedded graph

* *

Ribbon graph Arrow presentation

2 3 1 1 2 3

2 3 1 1 2 3

1 2 3

slide-8
SLIDE 8

The ribbon graphs of a link diagram

The ribbon graphs of a link diagram (Dasbach, Futer, Kalfagianni, Lin & Stoltzfus ’08)

Choose a decorated smoothing at each crossing:

+/- +/- e e

  • r

+/- e e +/-

Gives an arrow presentation ↔ ribbon graph.

Example

  • +

+ +

  • a

b c d e f g

+

  • +

+

slide-9
SLIDE 9

The ribbon graphs of a link diagram

The ribbon graphs of a link diagram (Dasbach, Futer, Kalfagianni, Lin & Stoltzfus ’08)

Choose a decorated smoothing at each crossing:

+/- +/- e e

  • r

+/- e e +/-

Gives an arrow presentation ↔ ribbon graph.

Example

The set of (unsigned) ribbon graphs of the trefoil is

slide-10
SLIDE 10

Fundamental questions

Recall Tait graphs:

+

  • +

+ +

Tait graphs

Tait graphs are duals. All plane graphs describe links. Tait graph describes a unique link diagram.

Ribbon graphs

Q1 How are RGs of a diagram

related?

Q2 Which RGs describe links? Q3 How are diagrams with same set

  • f RGs related?

Not all RG’s describe links, e.g. doesn’t. Different link diagrams can give rise to the same set of RGs.

slide-11
SLIDE 11

The geometric dual

The (geometric) dual G∗ of a cellularly embedded graph G

One vertex of G∗ in each face of G. One edge of G∗ whenever faces of G are adjacent. G = = G∗

slide-12
SLIDE 12

The geometric dual

The (geometric) dual G∗ of a cellularly embedded graph G

One vertex of G∗ in each face of G. One edge of G∗ whenever faces of G are adjacent. G = = G∗

The (geometric) dual G∗ of a ribbon graph G

Fill in punctures of surface G with vertices of G∗, then delete vertices of G to get G∗. G = = = = G∗ Note: markings on G induce markings on G∗.

slide-13
SLIDE 13

Partial duals

The partial dual GA of G is obtained by forming the dual only at the edges in A ⊆ E(G).

Definition: partial dual (Chmutov ’09)

1

A ⊆ E(G)

2

Replace edges not in A by arrows.

3

Form geometric dual.

4

Add back edges.

5

Gives the partial dual GA.

Example

e

G =

= G{e}

slide-14
SLIDE 14

Another example

Forming GA with A = {2, 3}. G=

1 3 2

= 1: given G and A 2: “hide” edges not in A = = 3: form the dual 4 & 5: add edge back to get GA

slide-15
SLIDE 15

The example continued...

G=

1 3 2

has four partial duals (up to isomorphism): Observe that G and GA can have very different graph theoretic and topological properties.

slide-16
SLIDE 16

Relating the ribbon graphs of a link diagram

Q1: How the RGs of a link diagram are related Tait graphs are geometric duals. RGs are all partial duals. In fact:

Proposition (Chmutov ’09)

G is a RG of D ⇐ ⇒ G is a partial dual of a Tait graph of D.

slide-17
SLIDE 17

Relating the ribbon graphs of a link diagram

Q1: How the RGs of a link diagram are related Tait graphs are geometric duals. RGs are all partial duals. In fact:

Proposition (Chmutov ’09)

G is a RG of D ⇐ ⇒ G is a partial dual of a Tait graph of D.

Reformulating the second question

Q2: Which RGs describe links? ↔ Which RGs are partial duals of plane graphs?

slide-18
SLIDE 18

plane-biseparations of ribbon graphs

1-sums

G = P ⊕ Q if G = P ∪ Q P∩Q = {v}

P

Q

v v

P

Q

v

Ribbon graphs P and Q. A 1-sum P ⊕ Q

plane-biseparations

Idea: P, Q sets of plane RGs 1-sum elts. of P to elts. of Q

P Q

slide-19
SLIDE 19

plane-biseparations of ribbon graphs

1-sums

G = P ⊕ Q if G = P ∪ Q P∩Q = {v}

P

Q

v v

P

Q

v

Ribbon graphs P and Q. A 1-sum P ⊕ Q

plane-biseparations

Idea: P, Q sets of plane RGs 1-sum elts. of P to elts. of Q

P Q

slide-20
SLIDE 20

plane-biseparations of ribbon graphs

1-sums

G = P ⊕ Q if G = P ∪ Q P∩Q = {v}

P

Q

v v

P

Q

v

Ribbon graphs P and Q. A 1-sum P ⊕ Q

plane-biseparations

Idea: P, Q sets of plane RGs 1-sum elts. of P to elts. of Q

P Q

slide-21
SLIDE 21

plane-biseparations of ribbon graphs

1-sums

G = P ⊕ Q if G = P ∪ Q P∩Q = {v}

P

Q

v v

P

Q

v

Ribbon graphs P and Q. A 1-sum P ⊕ Q

plane-biseparations

Idea: P, Q sets of plane RGs 1-sum elts. of P to elts. of Q

P Q

slide-22
SLIDE 22

plane-biseparations of ribbon graphs

1-sums

G = P ⊕ Q if G = P ∪ Q P∩Q = {v}

P

Q

v v

P

Q

v

Ribbon graphs P and Q. A 1-sum P ⊕ Q

plane-biseparations

Idea: P, Q sets of plane RGs 1-sum elts. of P to elts. of Q

P Q

slide-23
SLIDE 23

plane-biseparations of ribbon graphs

1-sums

G = P ⊕ Q if G = P ∪ Q P∩Q = {v}

P

Q

v v

P

Q

v

Ribbon graphs P and Q. A 1-sum P ⊕ Q

plane-biseparations

Idea: P, Q sets of plane RGs 1-sum elts. of P to elts. of Q

P Q

slide-24
SLIDE 24

plane-biseparations of ribbon graphs

1-sums

G = P ⊕ Q if G = P ∪ Q P∩Q = {v}

P

Q

v v

P

Q

v

Ribbon graphs P and Q. A 1-sum P ⊕ Q

plane-biseparations

Idea: P, Q sets of plane RGs 1-sum elts. of P to elts. of Q

P Q

slide-25
SLIDE 25

plane-biseparations of ribbon graphs

1-sums

G = P ⊕ Q if G = P ∪ Q P∩Q = {v}

P

Q

v v

P

Q

v

Ribbon graphs P and Q. A 1-sum P ⊕ Q

plane-biseparations

Idea: P, Q sets of plane RGs 1-sum elts. of P to elts. of Q

P Q

slide-26
SLIDE 26

plane-biseparations of ribbon graphs

plane-biseparations

Idea: P, Q sets of plane RGs 1-sum elts. of P to elts. of Q

P Q

Definition

Formally: A ⊆ E(G) defines a plane-biseparation if either A = E(G) or A = ∅ and G plane; or G can be written as a sequence of 1-sums each of which involves a component of plane graphs G|A and G|Ac.

slide-27
SLIDE 27

Characterizing plane partial duals

Plane-biseparations characterize partial duals of plane graphs:

Theorem

Let G be a ribbon graph and A ⊆ E(G). Then GA is a plane ribbon graph if and only if A defines a plane-biseparation of G.

Example

,

+

  • +

+

, partial duals of plane graphs not p.ds of plane graphs Q2: Which RGs describe links?

Corollary

G a ribbon graph of a link diagram ⇐ ⇒ it admits a plane-biseparation.

slide-28
SLIDE 28

Idea of proof

Q

P

vG

1

vG

2

vG

3

P

vP

1

vP

2

vP

3

Q

vQ

1

vQ

2

vQ

3

G = P ⊕3 Q P ⊂ ΣP and Q ⊂ ΣQ

P ∗

Q

vQ

1

vQ

2

vQ

3

Q

P ∗

P∗ ⊂ ΣP and Q ⊂ ΣQ. (P ⊕n Q)E(P) ⊂ Σ

slide-29
SLIDE 29

Link diagrams presented by the same ribbon graphs

Tait graphs

Tait graphs are duals. All plane graphs describe links. Tait graph describes a unique link diagram.

Ribbon graphs

Q1 How are RGs of a diagram

related?

Q2 Which RGs describe links? Q3 How are diagrams with same set

  • f RGs related?
slide-30
SLIDE 30

Link diagrams presented by the same ribbon graphs

Recovering link diagrams from a ribbon graph

Given G form a plane partial dual GA. Draw link on plane graph using

+

and

  • .
slide-31
SLIDE 31

Link diagrams presented by the same ribbon graphs

Recovering link diagrams from a ribbon graph

Given G form a plane partial dual GA. Draw link on plane graph using

+

and

  • .

How are the link diagrams related?

slide-32
SLIDE 32

Relating link digrams

Approach

Determine how plane partial duals are related. Look at how this affects link diagrams. G and GA both plane = ⇒ A defines plane-biseparation of plane graph These have a special structure: = ⇒ G and GA related by

H1 H2 H1 H∗

2

Embed in S2 and look at link diagram.

slide-33
SLIDE 33

Relating link digrams

G and GA both plane = ⇒ A defines plane-biseparation of plane graph These have a special structure: = ⇒ G and GA related by

H1 H2 H1 H∗

2

Embed in S2 and look at link diagram. v

H1

a b c a b c

H2 H1

c c

v

H∗

2

a b c a b c

D(H1) D(H2)

c c

v

D(H1) D(H∗

2)

.

slide-34
SLIDE 34

Relating link digrams

Theorem

D and D′ represented by same set of ribbon graphs ⇐ ⇒ related by

a b c a b c

D D′

a b c a b c

D D′ D D′

D1 = D#D′ cut, flip and glue D2

Corollary

Isotopy class of a link is represented by a unique set of ribbon graphs. Tait graphs are duals. All plane graphs describe links. Tait graph describes a unique link diagram. RGs of a diagram are partial duals RG describes a diagram ⇐ ⇒ admits a plane-biseparation. RGs describe diagrams up to “summand-flips”

slide-35
SLIDE 35

Thanks!

References

Mostly from: Partial duals of plane graphs, separability and the graphs of knots Bits from: Separability and the genus of a partial dual