Algebraic Knot Theory - A Call for Action: Difference between revisions
No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
===Algebraic Knot Invariants: What They Do and What They Don't=== |
===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: |
|||
[[Image:ClaspAndRibbonSingularities.png|thumb|right|140px|Forbidden and allowed for ribbon knots]] |
|||
# How many crossing changes are required to unknot a given knot <math>K</math>? |
|||
# What is the minimal genus of a Seifert surface whose boundary is <math>K</math>? |
|||
# Is a given link <math>L</math> a boundary link? (That is, is there a collection of disjoint Seifert surfaces for the components of <math>L</math>?) |
|||
# Is <math>K</math> 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). |
|||
# Is <math>K</math> a slice knot? That is, does <math>K</math> bound a singularity-free disk in the four-ball? |
|||
# Is <math>K</math> fibered? (See an [http://www.math.toronto.edu/~drorbn/People/BarringtonLeigh/FiberedKnot.html animation] by Robert Barrington Leigh). |
|||
# Does <math>K</math> have some symmetries? |
|||
# Is <math>K</math> the closure of a braid on at most 6 strands? |
|||
# Does <math>K</math> have a projection with less than 23 crossings? |
|||
# Does <math>K</math> have an alternating projection? |
|||
# Is <math>K</math> 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. |
|||
===Definability and Knotted Trivalent Graphs=== |
===Definability and Knotted Trivalent Graphs=== |
||
Revision as of 14:49, 25 September 2006
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:
- How many crossing changes are required to unknot a given knot ?
- What is the minimal genus of a Seifert surface whose boundary is ?
- Is a given link a boundary link? (That is, is there a collection of disjoint Seifert surfaces for the components of ?)
- Is 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).
- Is a slice knot? That is, does bound a singularity-free disk in the four-ball?
- Is fibered? (See an animation by Robert Barrington Leigh).
- Does have some symmetries?
- Is the closure of a braid on at most 6 strands?
- Does have a projection with less than 23 crossings?
- Does have an alternating projection?
- Is 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.
