Geometry, Topology, and Complexity of Virtual...

23
Geometry, Topology, and Complexity of Virtual Knots Rachael Keller Louisiana State University June 24-27, 2012 AAAS Pacific Division Conference Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Transcript of Geometry, Topology, and Complexity of Virtual...

Page 1: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Geometry, Topology, and Complexity of VirtualKnots

Rachael Keller

Louisiana State University

June 24-27, 2012

AAAS Pacific Division Conference

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 2: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Collaborators:Ashley Earles1, Jens Harlander2, Gabriel Islambouli3, Mingjia

Yang4

1St. Olaf College, 2Boise State University, 3University of Virginia, 4Albion College

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 3: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Quick Review

Given any knot, one can extract the associated 2-complex, bysetting labels for each arc, changing to a new label when the arcstops due to the knot undercrossing itself.

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 4: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Quick Review

Given any knot, one can extract the associated 2-complex, bysetting labels for each arc, changing to a new label when the arcstops due to the knot undercrossing itself.

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 5: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Quick Review

The spherical diagram, a tiling of the sphere with the squares ofthe 2-complex of the knot, is reduced if one can do no moves toreduce the tiling further,or, no square is touching its inverse– the fold move– or is vertexadjacent to its own square– allowing a diamond move– in turnallowing fold moves.

Otherwise, the sphere is called diagrammatically reducible (DR).

Asphericity allows another move, an insertion move, in order to seeif the tiling is reducible.

That a given knot’s 2-complex is (DR) implies that the knot’s2-complex is aspherical.

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 6: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Quick Review

The spherical diagram, a tiling of the sphere with the squares ofthe 2-complex of the knot, is reduced if one can do no moves toreduce the tiling further,or, no square is touching its inverse– the fold move– or is vertexadjacent to its own square– allowing a diamond move– in turnallowing fold moves.

Otherwise, the sphere is called diagrammatically reducible (DR).

Asphericity allows another move, an insertion move, in order to seeif the tiling is reducible.

That a given knot’s 2-complex is (DR) implies that the knot’s2-complex is aspherical.

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 7: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Quick Review

The spherical diagram, a tiling of the sphere with the squares ofthe 2-complex of the knot, is reduced if one can do no moves toreduce the tiling further,or, no square is touching its inverse– the fold move– or is vertexadjacent to its own square– allowing a diamond move– in turnallowing fold moves.

Otherwise, the sphere is called diagrammatically reducible (DR).

Asphericity allows another move, an insertion move, in order to seeif the tiling is reducible.

That a given knot’s 2-complex is (DR) implies that the knot’s2-complex is aspherical.

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 8: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Quick Review

The spherical diagram, a tiling of the sphere with the squares ofthe 2-complex of the knot, is reduced if one can do no moves toreduce the tiling further,or, no square is touching its inverse– the fold move– or is vertexadjacent to its own square– allowing a diamond move– in turnallowing fold moves.

Otherwise, the sphere is called diagrammatically reducible (DR).

Asphericity allows another move, an insertion move, in order to seeif the tiling is reducible.

That a given knot’s 2-complex is (DR) implies that the knot’s2-complex is aspherical.

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 9: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Formulating Questions

The question of whether a 2-complex is aspherical or not isrecursively undecidable[3].

However, reduced spherical diagrams of certain LOIs have beenfound, and one can study these LOIs in an attempt to understandtheir construction.

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 10: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Are All Long Knots DR?

Given a long knot, is the associated 2-complex diagrammaticallyreducible (DR)?

No.If the knot is prime, meaning that the knot is not the sum of anyother knots (and thus does not contain any knots within it) andalternating, then the associated 2-complex is DR.

If the associated LOI of the knot is injective, boundary reduced,and has no subloi, then the knot is DR.

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 11: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Are All Long Knots DR?

Given a long knot, is the associated 2-complex diagrammaticallyreducible (DR)?No.If the knot is prime, meaning that the knot is not the sum of anyother knots (and thus does not contain any knots within it) andalternating, then the associated 2-complex is DR.

If the associated LOI of the knot is injective, boundary reduced,and has no subloi, then the knot is DR.

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 12: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Are All Long Knots DR?

Given a long knot, is the associated 2-complex diagrammaticallyreducible (DR)?No.If the knot is prime, meaning that the knot is not the sum of anyother knots (and thus does not contain any knots within it) andalternating, then the associated 2-complex is DR.

If the associated LOI of the knot is injective, boundary reduced,and has no subloi, then the knot is DR.

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 13: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Construction for non-DR Knots

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 14: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Construction for non-DR Knots

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 15: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Construction for non-DR Knots

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 16: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Construction for non-DR Knots

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 17: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Are All Long Virtual Knots DR?

No.

The smallest[3] example:

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 18: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Are All Long Virtual Knots DR?

No.The smallest[3] example:

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 19: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Are All Long Virtual Knots DR?

No.The smallest[3] example:

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 20: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 21: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Are all long alternating virtual knots DR?

This question is an open problem.

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 22: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Resources

Harlander, Jens. “REU Lectures on Combinatorial Topology.”

Rosebrock, Stephan. “A Reduced Spherical Diagram into aRibbon-Disk Complement and Related Examples.” 1992.

Rosebrock, Stephan. “Some Spherical Diagrams over LabeledOriented Trees and Graphs.” 26 May 2011.

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots

Page 23: Geometry, Topology, and Complexity of Virtual Knotsmath.boisestate.edu/reu/publications/AAASKeller.pdfRachael Keller Geometry, Topology, and Complexity of Virtual Knots. Are All Long

Acknowledgments

Thank you Boise State University REU 2012 in Mathematics,Boise State University, National Science Foundation (DMS

1062857), and Louisiana State University!

Thank you Dr. Oliver Dasbach, Dr. Jens Harlander, Dr. LiljanaBabinkostova, Dr. Marion Scheepers, and my teammates!

Rachael Keller Geometry, Topology, and Complexity of Virtual Knots