Detecting Linkage in an n -Component Brunnian Link IMUS Mini-Course - - PowerPoint PPT Presentation

detecting linkage in an n component brunnian link
SMART_READER_LITE
LIVE PREVIEW

Detecting Linkage in an n -Component Brunnian Link IMUS Mini-Course - - PowerPoint PPT Presentation

Detecting Linkage in an n -Component Brunnian Link IMUS Mini-Course Session 1 Work in progress with H. Molina-Abril & B. Nimershiem Presented by Dr. Ron Umble Millersville U and IMUS 24 April 2018 Dr. Ron Umble (Millersville U and IMUS)


slide-1
SLIDE 1

Detecting Linkage in an n-Component Brunnian Link

IMUS Mini-Course Session 1

Work in progress with H. Molina-Abril & B. Nimershiem

Presented by Dr. Ron Umble

Millersville U and IMUS

24 April 2018

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 1 / 35

slide-2
SLIDE 2

Goal of the Project:

To computationally detect the linkage in an n-component Brunnian link

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 2 / 35

slide-3
SLIDE 3

Review of Cellular Complexes

Let X be a connected network, surface, or solid embedded in S3

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 3 / 35

slide-4
SLIDE 4

Cellular Decompositions

A cellular decomposition of X is a finite collection of Discrete points (vertices or 0-cells)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 4 / 35

slide-5
SLIDE 5

Cellular Decompositions

A cellular decomposition of X is a finite collection of Discrete points (vertices or 0-cells) Closed intervals (edges or 1-cells)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 4 / 35

slide-6
SLIDE 6

Cellular Decompositions

A cellular decomposition of X is a finite collection of Discrete points (vertices or 0-cells) Closed intervals (edges or 1-cells) Closed disks (faces or 2-cells)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 4 / 35

slide-7
SLIDE 7

Cellular Decompositions

A cellular decomposition of X is a finite collection of Discrete points (vertices or 0-cells) Closed intervals (edges or 1-cells) Closed disks (faces or 2-cells) Closed balls (solids or 3-cells)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 4 / 35

slide-8
SLIDE 8

Cellular Decompositions

A cellular decomposition of X is a finite collection of Discrete points (vertices or 0-cells) Closed intervals (edges or 1-cells) Closed disks (faces or 2-cells) Closed balls (solids or 3-cells) Glued together in such a way that the

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 4 / 35

slide-9
SLIDE 9

Cellular Decompositions

A cellular decomposition of X is a finite collection of Discrete points (vertices or 0-cells) Closed intervals (edges or 1-cells) Closed disks (faces or 2-cells) Closed balls (solids or 3-cells) Glued together in such a way that the

Non-empty boundary of a k-cell is a union of (k − 1)-cells

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 4 / 35

slide-10
SLIDE 10

Cellular Decompositions

A cellular decomposition of X is a finite collection of Discrete points (vertices or 0-cells) Closed intervals (edges or 1-cells) Closed disks (faces or 2-cells) Closed balls (solids or 3-cells) Glued together in such a way that the

Non-empty boundary of a k-cell is a union of (k − 1)-cells Non-empty intersection of cells is a cell

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 4 / 35

slide-11
SLIDE 11

Cellular Decompositions

A cellular decomposition of X is a finite collection of Discrete points (vertices or 0-cells) Closed intervals (edges or 1-cells) Closed disks (faces or 2-cells) Closed balls (solids or 3-cells) Glued together in such a way that the

Non-empty boundary of a k-cell is a union of (k − 1)-cells Non-empty intersection of cells is a cell Union of all cells is X

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 4 / 35

slide-12
SLIDE 12

Example: 2-dim’l Sphere

S2 = D2/∂D2 (Grandma’s draw string bag) Vertex: {v} Edges: ∅ Face: {S2}

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 5 / 35

slide-13
SLIDE 13

Example: Torus

T = S1 × S1 Product cells: {v,a} × {v,b} Vertex: {v: = v × v} Edges: {a := a × v, b := v × b} Face: {T := a × b}

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 6 / 35

slide-14
SLIDE 14

Example: Pinched Sphere

P = T/b Vertex: {v} Edge: {a} Face: {S}

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 7 / 35

slide-15
SLIDE 15

Example: Link Complement of Two Unknots

Let UN be the complement of disjoint tubular neighborhoods U1 and U2

  • f two unlinked unknots in S3

∂ (U1 ∪ U2) is the wedge of two pinched spheres t1 and t2 with respective edges a and b and shared vertex v ∂ (U1 ∪ U2) = ∂ (UN)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 8 / 35

slide-16
SLIDE 16

Cellular Structure of UN

∂ (UN) is wedged with the equatorial 2-sphere s ⊂ S3 p = upper hemispherical 3-ball q = lower hemispherical 3-ball (U1 ∪ U2) p and q are attached along s UN = p ∪ q Vertices: {v} Edges: {a, b} Faces: {s, t1, t2} Solids: {p, q}

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 9 / 35

slide-17
SLIDE 17

Example: Link Complement of the Hopf Link

Let LN be the complement of disjoint tubular neighborhoods Ui of the Hopf Link in S3 ∂ (U1 ∪ U2) is the union of two linked tori t

1 and t 2 sharing edges a

and b and vertex v ∂ (U1 ∪ U2) = ∂ (LN)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 10 / 35

slide-18
SLIDE 18

Cellular Structure of LN

∂ (LN) is wedged with the equatorial 2-sphere s ⊂ S3 p = upper hemispherical 3-ball q = lower hemispherical 3-ball (U1 ∪ U2) p and q are attached along s LN = p ∪ q Vertex: {v} Edges: {a, b} Faces: {s, t

1, t 2}

Solids: {p, q}

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 11 / 35

slide-19
SLIDE 19

Homeomorphisms

X and Y are homeomorphic if X can be continuously deformed into Y

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 12 / 35

slide-20
SLIDE 20

Homeomorphisms

X and Y are homeomorphic if X can be continuously deformed into Y ∃ a bijective bicontinuous h : X → Y , called a homeomorphism

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 12 / 35

slide-21
SLIDE 21

Homeomorphisms

X and Y are homeomorphic if X can be continuously deformed into Y ∃ a bijective bicontinuous h : X → Y , called a homeomorphism A square and a circle are homeomorphic

h

− →

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 12 / 35

slide-22
SLIDE 22

Homeomorphisms

X and Y are homeomorphic if X can be continuously deformed into Y ∃ a bijective bicontinuous h : X → Y , called a homeomorphism A square and a circle are homeomorphic

h

− → The boundaries of a doughnut and coffee mug are homeomorphic

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 12 / 35

slide-23
SLIDE 23

Homeomorphisms

X and Y are homeomorphic if X can be continuously deformed into Y ∃ a bijective bicontinuous h : X → Y , called a homeomorphism A square and a circle are homeomorphic

h

− → The boundaries of a doughnut and coffee mug are homeomorphic An animated deformation of a doughnut to a coffee mug

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 12 / 35

slide-24
SLIDE 24

Homeomorphisms

X and Y are homeomorphic if X can be continuously deformed into Y ∃ a bijective bicontinuous h : X → Y , called a homeomorphism A square and a circle are homeomorphic

h

− → The boundaries of a doughnut and coffee mug are homeomorphic An animated deformation of a doughnut to a coffee mug UN and LN are not homeomorphic because...

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 12 / 35

slide-25
SLIDE 25

Homeomorphisms

Shrinking the tubular neighborhood of the red component to point

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 13 / 35

slide-26
SLIDE 26

Homeomorphisms

Shrinking the tubular neighborhood of the red component to point

Shrinks ∂ (UN) to a pinched sphere ⇒

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 13 / 35

slide-27
SLIDE 27

Homeomorphisms

Shrinking the tubular neighborhood of the red component to point

Shrinks ∂ (UN) to a pinched sphere ⇒ Shrinks ∂ (LN) to a 2-sphere ⇒

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 13 / 35

slide-28
SLIDE 28

Homeomorphisms

Shrinking the tubular neighborhood of the red component to point

Shrinks ∂ (UN) to a pinched sphere ⇒ Shrinks ∂ (LN) to a 2-sphere ⇒

How do we can detect this computationally?

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 13 / 35

slide-29
SLIDE 29

The Geometric Diagonal

Geometric diagonal ∆X : X → X × X is defined x → (x, x)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 14 / 35

slide-30
SLIDE 30

The Geometric Diagonal

Geometric diagonal ∆X : X → X × X is defined x → (x, x) A homeomorphism h : X → Y respects diagonals ∆Y h = (h × h) ∆X

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 14 / 35

slide-31
SLIDE 31

The Geometric Diagonal

Geometric diagonal ∆X : X → X × X is defined x → (x, x) A homeomorphism h : X → Y respects diagonals ∆Y h = (h × h) ∆X Objective: Compute the obstruction to a homeomorphism h : UN → LN

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 14 / 35

slide-32
SLIDE 32

The Geometric Diagonal

Geometric diagonal ∆X : X → X × X is defined x → (x, x) A homeomorphism h : X → Y respects diagonals ∆Y h = (h × h) ∆X Objective: Compute the obstruction to a homeomorphism h : UN → LN Strategy:

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 14 / 35

slide-33
SLIDE 33

The Geometric Diagonal

Geometric diagonal ∆X : X → X × X is defined x → (x, x) A homeomorphism h : X → Y respects diagonals ∆Y h = (h × h) ∆X Objective: Compute the obstruction to a homeomorphism h : UN → LN Strategy:

Assume a homeomorphism h exists

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 14 / 35

slide-34
SLIDE 34

The Geometric Diagonal

Geometric diagonal ∆X : X → X × X is defined x → (x, x) A homeomorphism h : X → Y respects diagonals ∆Y h = (h × h) ∆X Objective: Compute the obstruction to a homeomorphism h : UN → LN Strategy:

Assume a homeomorphism h exists Show that h fails to respect diagonals

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 14 / 35

slide-35
SLIDE 35

The Geometric Diagonal

Problem: Im ∆X is typically not a subcomplex of X × X

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 15 / 35

slide-36
SLIDE 36

The Geometric Diagonal

Problem: Im ∆X is typically not a subcomplex of X × X Example: Im ∆I is not a subcomplex of I × I :

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 15 / 35

slide-37
SLIDE 37

Diagonal Approximations

A map ∆ : X → X × X is a diagonal approximation if

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 16 / 35

slide-38
SLIDE 38

Diagonal Approximations

A map ∆ : X → X × X is a diagonal approximation if

∆ is homotopic to ∆X

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 16 / 35

slide-39
SLIDE 39

Diagonal Approximations

A map ∆ : X → X × X is a diagonal approximation if

∆ is homotopic to ∆X ∆ (en) is a subcomplex of en × en for every n-cell en ⊆ X

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 16 / 35

slide-40
SLIDE 40

Diagonal Approximations

A map ∆ : X → X × X is a diagonal approximation if

∆ is homotopic to ∆X ∆ (en) is a subcomplex of en × en for every n-cell en ⊆ X Geometric boundary ∂ : X → X is a coderivation of ∆ ∆∂ = (∂ × Id + Id ×∂) ∆

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 16 / 35

slide-41
SLIDE 41

Diagonal Approximations

A map ∆ : X → X × X is a diagonal approximation if

∆ is homotopic to ∆X ∆ (en) is a subcomplex of en × en for every n-cell en ⊆ X Geometric boundary ∂ : X → X is a coderivation of ∆ ∆∂ = (∂ × Id + Id ×∂) ∆

Cellular Approximation Theorem There is a diagonal approximation ∆ : X → X × X

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 16 / 35

slide-42
SLIDE 42

Properties of Diagonal Approximations

Diagonal approximations preserve Cellular structure: ∆ (en) ⊆ en × en

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 17 / 35

slide-43
SLIDE 43

Properties of Diagonal Approximations

Diagonal approximations preserve Cellular structure: ∆ (en) ⊆ en × en Dimension: dim ∆ (en) = dim en

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 17 / 35

slide-44
SLIDE 44

Properties of Diagonal Approximations

Diagonal approximations preserve Cellular structure: ∆ (en) ⊆ en × en Dimension: dim ∆ (en) = dim en Cartesian products: ∆ (X × Y ) = ∆ (X) × ∆ (Y )

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 17 / 35

slide-45
SLIDE 45

Properties of Diagonal Approximations

Diagonal approximations preserve Cellular structure: ∆ (en) ⊆ en × en Dimension: dim ∆ (en) = dim en Cartesian products: ∆ (X × Y ) = ∆ (X) × ∆ (Y ) Wedge products: ∆ (X ∨ Y ) = ∆ (X) ∨ ∆ (Y )

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 17 / 35

slide-46
SLIDE 46

Dan Kravatz’s Diagonal Approximation on a Polygon

Given n-gon G, arbitrarily choose vertices v and v (possibly equal)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 18 / 35

slide-47
SLIDE 47

Dan Kravatz’s Diagonal Approximation on a Polygon

Given n-gon G, arbitrarily choose vertices v and v (possibly equal) Edges {e1, . . . , ek} and {ek+1, . . . , en} form edge-paths from v to v (one path {e1, . . . , en} if v = v )

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 18 / 35

slide-48
SLIDE 48

Dan Kravatz’s Diagonal Approximation on a Polygon

Given n-gon G, arbitrarily choose vertices v and v (possibly equal) Edges {e1, . . . , ek} and {ek+1, . . . , en} form edge-paths from v to v (one path {e1, . . . , en} if v = v ) Theorem (Kravatz 2008): There is a diagonal approximation ∆G = v × G + G × v +

1≤i<j≤k

ei × ej +

n≥j>i≥k+1

ej × ei

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 18 / 35

slide-49
SLIDE 49

Example: The Heptagon G

∆G = v × G + G × v +e1 × (e2 + e3 + e4) + e2 × (e3 + e4) + e3 × e4 +e7 × (e6 + e5) + e6 × e5

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 19 / 35

slide-50
SLIDE 50

Example: The Pinched Sphere

Think of the pinched sphere t1 ⊂ ∂ (UN) as a 2-gon with vertices identified first, then edges identified ∆t1 = v × t1 + t1 × v ∆ descends to quotients when edge-paths are consistent with identifications

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 20 / 35

slide-51
SLIDE 51

Example: The Torus

Think of the torus t

1 ⊂ ∂ (LN) as a square with horizontal edges a

identified and vertical edges b identified ∆t

1 = v × t 1 + t 1 × v + a × b + b × a

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 21 / 35

slide-52
SLIDE 52

Cellular Chains of a Space

C (X) denotes the Z2-vector space with basis {cells of X}

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 22 / 35

slide-53
SLIDE 53

Cellular Chains of a Space

C (X) denotes the Z2-vector space with basis {cells of X}

Elements are formal sums called cellular chains of X

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 22 / 35

slide-54
SLIDE 54

Cellular Chains of a Space

C (X) denotes the Z2-vector space with basis {cells of X}

Elements are formal sums called cellular chains of X

Examples:

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 22 / 35

slide-55
SLIDE 55

Cellular Chains of a Space

C (X) denotes the Z2-vector space with basis {cells of X}

Elements are formal sums called cellular chains of X

Examples:

C (UN) has basis {v, a, b, s, t1, t2, p, q}

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 22 / 35

slide-56
SLIDE 56

Cellular Chains of a Space

C (X) denotes the Z2-vector space with basis {cells of X}

Elements are formal sums called cellular chains of X

Examples:

C (UN) has basis {v, a, b, s, t1, t2, p, q} C (LN) has basis {v, a, b, s, t

1, t 2, p, q}

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 22 / 35

slide-57
SLIDE 57

Cellular Chains of a Space

C (X) denotes the Z2-vector space with basis {cells of X}

Elements are formal sums called cellular chains of X

Examples:

C (UN) has basis {v, a, b, s, t1, t2, p, q} C (LN) has basis {v, a, b, s, t

1, t 2, p, q}

Note that C (UN) ≈ C (LN)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 22 / 35

slide-58
SLIDE 58

The Boundary Operator

Geometric boundary of an n-cell Dn is Sn−1

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 23 / 35

slide-59
SLIDE 59

The Boundary Operator

Geometric boundary of an n-cell Dn is Sn−1

∂v = ∅; ∂e = S0; ∂f = S1; ∂s = S2

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 23 / 35

slide-60
SLIDE 60

The Boundary Operator

Geometric boundary of an n-cell Dn is Sn−1

∂v = ∅; ∂e = S0; ∂f = S1; ∂s = S2 ∂ (∂Dn) = ∂Sn−1 = ∅

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 23 / 35

slide-61
SLIDE 61

The Boundary Operator

Geometric boundary of an n-cell Dn is Sn−1

∂v = ∅; ∂e = S0; ∂f = S1; ∂s = S2 ∂ (∂Dn) = ∂Sn−1 = ∅

The boundary operator ∂ : C (X) → C (X) is

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 23 / 35

slide-62
SLIDE 62

The Boundary Operator

Geometric boundary of an n-cell Dn is Sn−1

∂v = ∅; ∂e = S0; ∂f = S1; ∂s = S2 ∂ (∂Dn) = ∂Sn−1 = ∅

The boundary operator ∂ : C (X) → C (X) is

Induced by the geometric boundary

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 23 / 35

slide-63
SLIDE 63

The Boundary Operator

Geometric boundary of an n-cell Dn is Sn−1

∂v = ∅; ∂e = S0; ∂f = S1; ∂s = S2 ∂ (∂Dn) = ∂Sn−1 = ∅

The boundary operator ∂ : C (X) → C (X) is

Induced by the geometric boundary Zero on vertices

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 23 / 35

slide-64
SLIDE 64

The Boundary Operator

Geometric boundary of an n-cell Dn is Sn−1

∂v = ∅; ∂e = S0; ∂f = S1; ∂s = S2 ∂ (∂Dn) = ∂Sn−1 = ∅

The boundary operator ∂ : C (X) → C (X) is

Induced by the geometric boundary Zero on vertices Linear on chains

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 23 / 35

slide-65
SLIDE 65

The Boundary Operator

Geometric boundary of an n-cell Dn is Sn−1

∂v = ∅; ∂e = S0; ∂f = S1; ∂s = S2 ∂ (∂Dn) = ∂Sn−1 = ∅

The boundary operator ∂ : C (X) → C (X) is

Induced by the geometric boundary Zero on vertices Linear on chains A derivation of the Cartesian product ∂ (a × b) = ∂a × b + a × ∂b

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 23 / 35

slide-66
SLIDE 66

Examples

∂ : C (UN) → C (UN) is defined ∂v = ∂a = ∂b = ∂s = ∂t1 = ∂t2 = 0 ∂p = s ∂q = s + t1 + t2

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 24 / 35

slide-67
SLIDE 67

Examples

∂ : C (UN) → C (UN) is defined ∂v = ∂a = ∂b = ∂s = ∂t1 = ∂t2 = 0 ∂p = s ∂q = s + t1 + t2 ∂ : C (LN) → C (LN) is defined ∂v = ∂a = ∂b = ∂s = ∂t

1 = ∂t 2 = 0

∂p = s ∂q = s + t

1 + t 2

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 24 / 35

slide-68
SLIDE 68

Cellular Homology

∂ ◦ ∂ = 0 implies Im ∂ ⊆ ker ∂

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 25 / 35

slide-69
SLIDE 69

Cellular Homology

∂ ◦ ∂ = 0 implies Im ∂ ⊆ ker ∂ H (X) := ker ∂/ Im ∂ is the cellular homology of X

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 25 / 35

slide-70
SLIDE 70

Cellular Homology

∂ ◦ ∂ = 0 implies Im ∂ ⊆ ker ∂ H (X) := ker ∂/ Im ∂ is the cellular homology of X Elements of H (X) are cosets [c] := c + Im ∂

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 25 / 35

slide-71
SLIDE 71

Cellular Homology

∂ ◦ ∂ = 0 implies Im ∂ ⊆ ker ∂ H (X) := ker ∂/ Im ∂ is the cellular homology of X Elements of H (X) are cosets [c] := c + Im ∂ Examples

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 25 / 35

slide-72
SLIDE 72

Cellular Homology

∂ ◦ ∂ = 0 implies Im ∂ ⊆ ker ∂ H (X) := ker ∂/ Im ∂ is the cellular homology of X Elements of H (X) are cosets [c] := c + Im ∂ Examples

H (UN) = {[v] , [a] , [b] , [t1] = [t2]}

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 25 / 35

slide-73
SLIDE 73

Cellular Homology

∂ ◦ ∂ = 0 implies Im ∂ ⊆ ker ∂ H (X) := ker ∂/ Im ∂ is the cellular homology of X Elements of H (X) are cosets [c] := c + Im ∂ Examples

H (UN) = {[v] , [a] , [b] , [t1] = [t2]} H (LN) = {[v] , [a] , [b] , [t

1] = [t 2]}

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 25 / 35

slide-74
SLIDE 74

Cellular Homology

∂ ◦ ∂ = 0 implies Im ∂ ⊆ ker ∂ H (X) := ker ∂/ Im ∂ is the cellular homology of X Elements of H (X) are cosets [c] := c + Im ∂ Examples

H (UN) = {[v] , [a] , [b] , [t1] = [t2]} H (LN) = {[v] , [a] , [b] , [t

1] = [t 2]}

Note that H (UN) ≈ H (LN)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 25 / 35

slide-75
SLIDE 75

Cellular Homology

∂ ◦ ∂ = 0 implies Im ∂ ⊆ ker ∂ H (X) := ker ∂/ Im ∂ is the cellular homology of X Elements of H (X) are cosets [c] := c + Im ∂ Examples

H (UN) = {[v] , [a] , [b] , [t1] = [t2]} H (LN) = {[v] , [a] , [b] , [t

1] = [t 2]}

Note that H (UN) ≈ H (LN)

How do diagonal approximations on UN and LN descend to homology?

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 25 / 35

slide-76
SLIDE 76

Key Facts

Homotopic maps of spaces induce the same map on their homologies

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 26 / 35

slide-77
SLIDE 77

Key Facts

Homotopic maps of spaces induce the same map on their homologies Every diagonal approximation ∆ : X → X × X induces the same map ∆2 : H (X) → H (X × X)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 26 / 35

slide-78
SLIDE 78

Key Facts

Homotopic maps of spaces induce the same map on their homologies Every diagonal approximation ∆ : X → X × X induces the same map ∆2 : H (X) → H (X × X) A homeomorphism h : X → Y induces maps h∗ : H (X) → H (Y ) and (h × h)∗ : H (X × X) → H (Y × Y ) such that ∆2h∗ = (h × h)∗ ∆2

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 26 / 35

slide-79
SLIDE 79

Key Facts

Homotopic maps of spaces induce the same map on their homologies Every diagonal approximation ∆ : X → X × X induces the same map ∆2 : H (X) → H (X × X) A homeomorphism h : X → Y induces maps h∗ : H (X) → H (Y ) and (h × h)∗ : H (X × X) → H (Y × Y ) such that ∆2h∗ = (h × h)∗ ∆2 Assume h : UN → LN is a homeomorphism; show that ∆2h∗ = (h × h)∗ ∆2

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 26 / 35

slide-80
SLIDE 80

Homology of Cartesian Products

If vector space A has basis {a1, . . . , ak} , the tensor product vector space A ⊗ A has basis {ai ⊗ aj}1≤i,j≤k

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 27 / 35

slide-81
SLIDE 81

Homology of Cartesian Products

If vector space A has basis {a1, . . . , ak} , the tensor product vector space A ⊗ A has basis {ai ⊗ aj}1≤i,j≤k C (X × X) ≈ C (X) ⊗ C (X) via e × e → e ⊗ e

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 27 / 35

slide-82
SLIDE 82

Homology of Cartesian Products

If vector space A has basis {a1, . . . , ak} , the tensor product vector space A ⊗ A has basis {ai ⊗ aj}1≤i,j≤k C (X × X) ≈ C (X) ⊗ C (X) via e × e → e ⊗ e The boundary map ∂ × Id + Id ×∂ : X × X → X × X induces the boundary operator ∂ ⊗ Id + Id ⊗∂ : C (X) ⊗ C (X) → C (X) ⊗ C (X)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 27 / 35

slide-83
SLIDE 83

Homology of Cartesian Products

If vector space A has basis {a1, . . . , ak} , the tensor product vector space A ⊗ A has basis {ai ⊗ aj}1≤i,j≤k C (X × X) ≈ C (X) ⊗ C (X) via e × e → e ⊗ e The boundary map ∂ × Id + Id ×∂ : X × X → X × X induces the boundary operator ∂ ⊗ Id + Id ⊗∂ : C (X) ⊗ C (X) → C (X) ⊗ C (X) Since Z2 is a field, torsion vanishes and H (X × X) ≈ H (X) ⊗ H (X)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 27 / 35

slide-84
SLIDE 84

Induced Diagonal on H(X)

A diagonal approximation ∆ : X → X × X induces a coproduct ∆2 : H (X) → H (X) ⊗ H (X) defined by ∆2 [c] := [∆c]

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 28 / 35

slide-85
SLIDE 85

Induced Diagonal on H(X)

A diagonal approximation ∆ : X → X × X induces a coproduct ∆2 : H (X) → H (X) ⊗ H (X) defined by ∆2 [c] := [∆c] A class [c] of positive dimension is primitive if ∆2 [c] = [v] ⊗ [c] + [c] ⊗ [v]

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 28 / 35

slide-86
SLIDE 86

Induced Diagonal on H(X)

A diagonal approximation ∆ : X → X × X induces a coproduct ∆2 : H (X) → H (X) ⊗ H (X) defined by ∆2 [c] := [∆c] A class [c] of positive dimension is primitive if ∆2 [c] = [v] ⊗ [c] + [c] ⊗ [v] Examples ∆2 [t1] = [∆t1] = [v] ⊗ [t1] + [t1] ⊗ [v] ∆2

  • t

1

=

  • ∆t

1

= [v] ⊗

  • t

1

+

  • t

1

⊗ [v] + [a] ⊗ [b] + [b] ⊗ [a]

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 28 / 35

slide-87
SLIDE 87

Non-Primitivity Detects the Hopf Link

If h : UN → LN is a homeomorphism, (h∗ ⊗ h∗) ∆2 = ∆2h∗

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 29 / 35

slide-88
SLIDE 88

Non-Primitivity Detects the Hopf Link

If h : UN → LN is a homeomorphism, (h∗ ⊗ h∗) ∆2 = ∆2h∗ But h∗ [t1] = [t

1] implies

(h∗ ⊗ h∗) ∆2 [t1] = (h∗ ⊗ h∗) ([v] ⊗ [t1] + [t1] ⊗ [v]) = [v] ⊗

  • t

1

+

  • t

1

⊗ [v] = [v] ⊗

  • t

1

+

  • t

1

⊗ [v] + [a] ⊗ [b] + [b] ⊗ [a] = ∆2

  • t

1

= ∆2h∗ [t1] (⇒⇐)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 29 / 35

slide-89
SLIDE 89

Non-Primitivity Detects the Hopf Link

If h : UN → LN is a homeomorphism, (h∗ ⊗ h∗) ∆2 = ∆2h∗ But h∗ [t1] = [t

1] implies

(h∗ ⊗ h∗) ∆2 [t1] = (h∗ ⊗ h∗) ([v] ⊗ [t1] + [t1] ⊗ [v]) = [v] ⊗

  • t

1

+

  • t

1

⊗ [v] = [v] ⊗

  • t

1

+

  • t

1

⊗ [v] + [a] ⊗ [b] + [b] ⊗ [a] = ∆2

  • t

1

= ∆2h∗ [t1] (⇒⇐) The non-primitive coproduct has detected the Hopf Link!

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 29 / 35

slide-90
SLIDE 90

Non-Primitivity Detects the Hopf Link

If h : UN → LN is a homeomorphism, (h∗ ⊗ h∗) ∆2 = ∆2h∗ But h∗ [t1] = [t

1] implies

(h∗ ⊗ h∗) ∆2 [t1] = (h∗ ⊗ h∗) ([v] ⊗ [t1] + [t1] ⊗ [v]) = [v] ⊗

  • t

1

+

  • t

1

⊗ [v] = [v] ⊗

  • t

1

+

  • t

1

⊗ [v] + [a] ⊗ [b] + [b] ⊗ [a] = ∆2

  • t

1

= ∆2h∗ [t1] (⇒⇐) The non-primitive coproduct has detected the Hopf Link! Goal: Apply this strategy to n-component Brunnian Links

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 29 / 35

slide-91
SLIDE 91

Brunnian Links

A nontrivial link is Brunnian if removing any link produces the unlink

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 30 / 35

slide-92
SLIDE 92

Brunnian Links

A nontrivial link is Brunnian if removing any link produces the unlink A non-standard example is the Hopf link

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 30 / 35

slide-93
SLIDE 93

Brunnian Links

A nontrivial link is Brunnian if removing any link produces the unlink A non-standard example is the Hopf link The most familiar example is the Borromean rings

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 30 / 35

slide-94
SLIDE 94

Brunnian Links

A 4-component Brunnian link

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 31 / 35

slide-95
SLIDE 95

Brunnian Links

An animated 6-component Brunnian link

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 32 / 35

slide-96
SLIDE 96

The Hopf link: A Brunnian link with two components

April 23, 2018 1 / 8

slide-97
SLIDE 97

Constructing a Brunnian link with 3 components

April 23, 2018 2 / 8

slide-98
SLIDE 98

Constructing a Brunnian link with 3 components

April 23, 2018 2 / 8

slide-99
SLIDE 99

Constructing a Brunnian link with 3 components

April 23, 2018 2 / 8

slide-100
SLIDE 100

Constructing a Brunnian link with 3 components

April 23, 2018 2 / 8

slide-101
SLIDE 101

Constructing a Brunnian link with 3 components

April 23, 2018 2 / 8

slide-102
SLIDE 102

Constructing a Brunnian link with 3 components

April 23, 2018 2 / 8

slide-103
SLIDE 103

Constructing a Brunnian link with 3 components

April 23, 2018 2 / 8

slide-104
SLIDE 104

Constructing a Brunnian link with 3 components

April 23, 2018 2 / 8

slide-105
SLIDE 105

Constructing a Brunnian link with 3 components

April 23, 2018 2 / 8

slide-106
SLIDE 106

Constructing a Brunnian link with 4 components

April 23, 2018 3 / 8

slide-107
SLIDE 107

Constructing a Brunnian link with 4 components

April 23, 2018 3 / 8

slide-108
SLIDE 108

Constructing a Brunnian link with 4 components

April 23, 2018 3 / 8

slide-109
SLIDE 109

Constructing a Brunnian link with 4 components

April 23, 2018 3 / 8

slide-110
SLIDE 110

Constructing a Brunnian link with 4 components

April 23, 2018 3 / 8

slide-111
SLIDE 111

Constructing a Brunnian link with 5 components

April 23, 2018 4 / 8

slide-112
SLIDE 112

Constructing a Brunnian link with 5 components

April 23, 2018 4 / 8

slide-113
SLIDE 113

Constructing a Brunnian link with 5 components

April 23, 2018 4 / 8

slide-114
SLIDE 114

Constructing a Brunnian link with 5 components

April 23, 2018 4 / 8

slide-115
SLIDE 115

And so on . . .

April 23, 2018 5 / 8

slide-116
SLIDE 116

And so on . . .

April 23, 2018 5 / 8

slide-117
SLIDE 117

And so on . . .

April 23, 2018 5 / 8

slide-118
SLIDE 118

And so on . . .

April 23, 2018 5 / 8

slide-119
SLIDE 119

Current Work in Progress

Let BRn denote the complement of a tubular neighborhood of an n-component Brunnian link in S3, n ≥ 3

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 33 / 35

slide-120
SLIDE 120

Current Work in Progress

Let BRn denote the complement of a tubular neighborhood of an n-component Brunnian link in S3, n ≥ 3 Conjecture: An A∞-coalgebra structure on C∗ (BRn) induces

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 33 / 35

slide-121
SLIDE 121

Current Work in Progress

Let BRn denote the complement of a tubular neighborhood of an n-component Brunnian link in S3, n ≥ 3 Conjecture: An A∞-coalgebra structure on C∗ (BRn) induces

A primitive diagonal ∆2 : H (BRn) → H (BRn) ⊗ H (BRn)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 33 / 35

slide-122
SLIDE 122

Current Work in Progress

Let BRn denote the complement of a tubular neighborhood of an n-component Brunnian link in S3, n ≥ 3 Conjecture: An A∞-coalgebra structure on C∗ (BRn) induces

A primitive diagonal ∆2 : H (BRn) → H (BRn) ⊗ H (BRn) A non-trivial n-ary operation ∆n : H (BRn) → H (BRn)⊗n

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 33 / 35

slide-123
SLIDE 123

Current Work in Progress

Let BRn denote the complement of a tubular neighborhood of an n-component Brunnian link in S3, n ≥ 3 Conjecture: An A∞-coalgebra structure on C∗ (BRn) induces

A primitive diagonal ∆2 : H (BRn) → H (BRn) ⊗ H (BRn) A non-trivial n-ary operation ∆n : H (BRn) → H (BRn)⊗n Trivial k-ary operations for all k = 2, n ∆k : H (BRn) → H (BRn)⊗k

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 33 / 35

slide-124
SLIDE 124

Concluding Remarks

There is strong evidence to support this conjecture

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 34 / 35

slide-125
SLIDE 125

Concluding Remarks

There is strong evidence to support this conjecture The analogous statement for Massey products on cohomology holds

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 34 / 35

slide-126
SLIDE 126

Concluding Remarks

There is strong evidence to support this conjecture The analogous statement for Massey products on cohomology holds In my next lecture I’ll discuss the Transfer Algorithm, which transfers an A∞-coalgebra structure on cellular chains to homology

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 34 / 35

slide-127
SLIDE 127

Concluding Remarks

There is strong evidence to support this conjecture The analogous statement for Massey products on cohomology holds In my next lecture I’ll discuss the Transfer Algorithm, which transfers an A∞-coalgebra structure on cellular chains to homology Such A∞-coalgebra structures on homology are topologically invariant and (presumably) detect Brunnian linkage

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 34 / 35

slide-128
SLIDE 128

Concluding Remarks

There is strong evidence to support this conjecture The analogous statement for Massey products on cohomology holds In my next lecture I’ll discuss the Transfer Algorithm, which transfers an A∞-coalgebra structure on cellular chains to homology Such A∞-coalgebra structures on homology are topologically invariant and (presumably) detect Brunnian linkage I’ll present a cellular decomposition of BRn and define an A∞-coalgebra structure on C (BRn)

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 34 / 35

slide-129
SLIDE 129

Concluding Remarks

There is strong evidence to support this conjecture The analogous statement for Massey products on cohomology holds In my next lecture I’ll discuss the Transfer Algorithm, which transfers an A∞-coalgebra structure on cellular chains to homology Such A∞-coalgebra structures on homology are topologically invariant and (presumably) detect Brunnian linkage I’ll present a cellular decomposition of BRn and define an A∞-coalgebra structure on C (BRn) Hopefully our computations in the meantime will confirm the conjecture for n = 3

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 34 / 35

slide-130
SLIDE 130

The End

Thank you!

  • Dr. Ron Umble (Millersville U and IMUS)

Brunnian Links 24 April 2018 35 / 35