Difference between revisions of "Algebraic Knot Theory - A Call for Action"

From Drorbn
Jump to: navigation, search
(Definability and Knotted Trivalent Graphs)
(Definability and Knotted Trivalent Graphs)
Line 30: Line 30:
 
Why is this so?
 
Why is this so?
  
Take for example the property of "being a ribbon knot". This property has a lovely definition in terms of of knotted trivalent graphs and some operations between such graphs. Let <math>{\mathcal R}</math> denote the collection of all ribbon knots, and let <math>{\mathcal K}(\bigcirc)</math>, <math>{\mathcal K}(\bigcirc\bigcirc)</math> and <math>{\mathcal K}(\dumbbell)</math> denote the spaces of knotted circles, knotted pairs of circles, and knotted embeddings of the graph <math>\dumbbell</math> into <math>{\mathbb R}^3</math>.
+
Take for example the property of "being a ribbon knot". This property has a lovely definition in terms of of knotted trivalent graphs and some operations between such graphs. Let <math>{\mathcal R}</math> denote the collection of all ribbon knots, and let <math>{\mathcal K}(\bigcirc)</math>, <math>{\mathcal K}(\bigcirc\bigcirc)</math> and <math>{\mathcal K}(\dumbbell)</math> denote the spaces of knotted circles, knotted pairs of circles, and knotted embeddings of the graph <math>(\dumbbell)</math> into <math>{\mathbb R}^3</math>.
  
 
===What We Seek - An "Algebraic Knot Theory"===
 
===What We Seek - An "Algebraic Knot Theory"===

Revision as of 20:43, 25 September 2006

Contents

Abstract

We knot theorists have lots of algebraically-defined knot invariants, but they tell us just little about knots. In this manifesto we suggest a reason for the failure and the means to rectify it.

Algebraic Knot Invariants: What They Do and What They Don't

There is now a highly developed theory of knot invariants defined (or that can be defined) by algebraic means. The list contains the Alexander-Conway polynomial, the Jones polynomial and its various generalizations depending on a choice of a Lie algebra and a representation thereof, finite type invariants and the Kontsevich integral, various knot homologies and more.

These invariants are quite good at telling knots apart. While it is not known if these invariants separate knots, in practice, for the first few million knots as enumerated by computers, these invariants are either separating or they come very close to that (which one it is also depends on the precise class of invariants under consideration).

But beyond knot separation, knot theorists are interested in many other questions. Let me list just a few, with some bias in favour of the questions our still-imaginary "Algebraic Knot Theory" seems more likely to address:

Forbidden and allowed for ribbon knots
  1. How many crossing changes are required to unknot a given knot K?
  2. What is the minimal genus of a Seifert surface whose boundary is K?
  3. Is a given link L a boundary link? (That is, is there a collection of disjoint Seifert surfaces for the components of L?)
  4. Is K a ribbon knot? (Recall that a ribbon knot is a knot that bounds a disk that is allowed to have "ribbon-type" singularities but is not allowed to have "clasp-type" singularities; see the image on the right).
  5. Is K a slice knot? That is, does K bound a singularity-free disk in the four-ball?
  6. Is K fibered? (See an animation by Robert Barrington Leigh).
  7. Does K have some symmetries?
  8. Is K the closure of a braid on at most 6 strands?
  9. Does K have a projection with less than 23 crossings?
  10. Does K have an alternating projection?
  11. Is K algebraic?

With the exception of the Alexander polynomial (and its corresponding knot homology theory), currently algebraic knot invariants say very little on these questions. And while the Alexander polynomial is useful in answering some of these questions for some knots, it is simply not as strong as we wish it could be, and is not powerful enough to answer many of these questions for many other knots.

Thus as a whole, algebraically-defined knot invariants tell as very little about the knot properties we care about.

Definability and Knotted Trivalent Graphs

Why is this so?

Take for example the property of "being a ribbon knot". This property has a lovely definition in terms of of knotted trivalent graphs and some operations between such graphs. Let {\mathcal R} denote the collection of all ribbon knots, and let {\mathcal K}(\bigcirc), {\mathcal K}(\bigcirc\bigcirc) and Failed to parse (unknown function\dumbbell): {\mathcal K}(\dumbbell)

denote the spaces of knotted circles, knotted pairs of circles, and knotted embeddings of the graph Failed to parse (unknown function\dumbbell): (\dumbbell)
into {\mathbb R}^3.

What We Seek - An "Algebraic Knot Theory"

The Kontsevich Integral of Knotted Trivalent Graphs

The Challenges