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

From Drorbn
Jump to: navigation, search
Line 2: Line 2:
  
 
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.
 
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.
 +
 +
In summary, we argue that we need to study knot theory within the larger context of knotted trivalent graphs and a certain collection of operations between those. With these operations, many interesting properties of knots become algebraically definable and hence susciptible to algebraic study. A required tool is a structure-respecting map from the topological world of knotted graphs and operations on those to an algebraic context. Such maps exist, with a prime example being an appropriate extention of the Kontsevich integral. But while the Kontsevich integral was thoroughly studied from other perspectives, it remains severly under-studied as a foundation for an algebraic knot theory.
  
 
===Algebraic Knot Invariants: What They Do and What They Don't===
 
===Algebraic Knot Invariants: What They Do and What They Don't===
Line 30: Line 32:
 
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 dumbbell graph <math>(\dumbbell)</math> into <math>{\mathbb R}^3</math>. Let <math>d</math> and <math>u</math> be the operations <math>d:{\mathcal K}(\dumbbell)\to{\mathcal K}(\bigcirc\bigcirc)</math> and <math>u:{\mathcal K}(\dumbbell)\to{\mathcal K}(\bigcirc)</math> defined by deleting and "unziping" the middle edge of the dumbbell graph, as illustrated in the following figure:
+
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 dumbbell graph <math>(\dumbbell)</math> into <math>{\mathbb R}^3</math>. Let <math>d</math> and <math>u</math> be the operations <math>d:{\mathcal K}(\dumbbell)\to{\mathcal K}(\bigcirc\bigcirc)</math> and <math>u:{\mathcal K}(\dumbbell)\to{\mathcal K}(\bigcirc)</math> defined by deleting and "unzipping" the middle edge of the dumbbell graph, as illustrated in the following figure:
  
 
[[Image:AKTLogo.png|center|640px]]
 
[[Image:AKTLogo.png|center|640px]]
Line 46: Line 48:
 
===What We Seek - An "Algebraic Knot Theory"===
 
===What We Seek - An "Algebraic Knot Theory"===
  
To remedy this we seek more than merely knot invariants - we seek an '''Algebraic Knot Theory''', which sees not only knots but also knotted trivalent graphs, and more importantly, which sees the edge deletion and edge unzip operations. More precisely, an Algebraic Knot Theory should consist of the following stucture:
+
To remedy this we seek more than merely knot invariants - we seek an '''Algebraic Knot Theory''', which sees not only knots but also knotted trivalent graphs, and more importantly, which sees the edge deletion and edge unzip operations. More precisely, an Algebraic Knot Theory should consist of the following structure:
 
* To every trivalent graph <math>\Gamma</math> some algebraically-defined space <math>{\mathcal A}(\Gamma)</math> and a knotted graph invariant <math>Z_\Gamma:{\mathcal K}(\Gamma)\to{\mathcal A}(\Gamma)</math> (so <math>Z_\Gamma</math> is an invariants of knottings of <math>\Gamma</math> with values in <math>{\mathcal A}(\Gamma)</math>).
 
* To every trivalent graph <math>\Gamma</math> some algebraically-defined space <math>{\mathcal A}(\Gamma)</math> and a knotted graph invariant <math>Z_\Gamma:{\mathcal K}(\Gamma)\to{\mathcal A}(\Gamma)</math> (so <math>Z_\Gamma</math> is an invariants of knottings of <math>\Gamma</math> with values in <math>{\mathcal A}(\Gamma)</math>).
 
* For every pair <math>(\Gamma, e)</math>, where <math>e</math> is an edge of <math>\Gamma</math>, there is a pair of operations <math>d_e</math> and <math>u_e</math> defined on <math>{\mathcal K}(\Gamma)</math> which delete (for <math>d_e</math>) or unzip (for <math>u_e</math>) the edge <math>e</math> in any knotting of <math>\Gamma</math>. With the obvious definition of <math>d_e\Gamma</math> and of <math>u_e\Gamma</math>, <math>d_e</math> and <math>u_e</math> take values in <math>{\mathcal K}(d_e\Gamma)</math> and <math>{\mathcal K}(u_e\Gamma)</math>, respectively. In an algebraic knot theory there should be corresponding operations <math>d_e:{\mathcal A}(\Gamma)\to{\mathcal A}(d_e\Gamma)</math> and <math>u_e:{\mathcal A}(\Gamma)\to{\mathcal A}(u_e\Gamma)</math> that commute with <math>Z</math> in the obvious sense.
 
* For every pair <math>(\Gamma, e)</math>, where <math>e</math> is an edge of <math>\Gamma</math>, there is a pair of operations <math>d_e</math> and <math>u_e</math> defined on <math>{\mathcal K}(\Gamma)</math> which delete (for <math>d_e</math>) or unzip (for <math>u_e</math>) the edge <math>e</math> in any knotting of <math>\Gamma</math>. With the obvious definition of <math>d_e\Gamma</math> and of <math>u_e\Gamma</math>, <math>d_e</math> and <math>u_e</math> take values in <math>{\mathcal K}(d_e\Gamma)</math> and <math>{\mathcal K}(u_e\Gamma)</math>, respectively. In an algebraic knot theory there should be corresponding operations <math>d_e:{\mathcal A}(\Gamma)\to{\mathcal A}(d_e\Gamma)</math> and <math>u_e:{\mathcal A}(\Gamma)\to{\mathcal A}(u_e\Gamma)</math> that commute with <math>Z</math> in the obvious sense.
* There should also be binary "connected sum" operations defined on pairs of spaces <math>({\mathcal A}(\Gamma_1), {\mathcal A}(\Gamma_2))</math>, and they too should be compatible with <math>Z</math>. But in the interest of simplicity, we omit the details here.
+
* There should also be binary "connected sum" operations defined on pairs of spaces <math>({\mathcal A}(\Gamma_1), {\mathcal A}(\Gamma_2))</math>, and they too should be compatible with <math>Z</math>. But in the interest of brevity, we omit the details here.
 +
 
 +
An algebraic knot theory will allow us to convert certain knot theoretical problems from topology to algebra in much of the same way that a homology functor turns certain questions in the toplogy of spaces to questions in algebra. For example, given an algebraic knot theory, we have that
 +
 
 +
<center><math>Z({\mathcal R})\subset{\mathcal A}_{\mathcal R}:=\{u\zeta:\zeta\in{\mathcal A}(\dumbbell)\mbox{ and }d\zeta=Z(\bigcirc\bigcirc)\}</math>.</center>
 +
 
 +
Note that the right hand side <math>{\mathcal A}_{\mathcal R}</math> of this equality is belongs entirely to the world of algebra. So if the spaces and operations making up our algebraic knot theory are sufficiently well understood, <math>{\mathcal A}_{\mathcal R}</math> can be computed explicitly. But then we get a criterion for a knot to be ribbon - if <math>Z(K)</math> isn't in <math>{\mathcal A}_{\mathcal R}</math>, then <math>K</math> isn't a ribbon knot.
 +
 
 +
Similar logic leads to similar algebraic criteria for detecting other definable properties of interest, including many (but not all) of the ones listed above.
  
 
===The Kontsevich Integral of Knotted Trivalent Graphs===
 
===The Kontsevich Integral of Knotted Trivalent Graphs===
  
 
===The Challenges===
 
===The Challenges===

Revision as of 19:46, 26 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.

In summary, we argue that we need to study knot theory within the larger context of knotted trivalent graphs and a certain collection of operations between those. With these operations, many interesting properties of knots become algebraically definable and hence susciptible to algebraic study. A required tool is a structure-respecting map from the topological world of knotted graphs and operations on those to an algebraic context. Such maps exist, with a prime example being an appropriate extention of the Kontsevich integral. But while the Kontsevich integral was thoroughly studied from other perspectives, it remains severly under-studied as a foundation for an algebraic knot theory.

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 dumbbell graph Failed to parse (unknown function\dumbbell): (\dumbbell)
into {\mathbb R}^3. Let d and u be the operations Failed to parse (unknown function\dumbbell): d:{\mathcal K}(\dumbbell)\to{\mathcal K}(\bigcirc\bigcirc)
and Failed to parse (unknown function\dumbbell): u:{\mathcal K}(\dumbbell)\to{\mathcal K}(\bigcirc)
defined by deleting and "unzipping" the middle edge of the dumbbell graph, as illustrated in the following figure:
AKTLogo.png

Finally, standing by themselves, let \bigcirc\bigcirc denote the two unknotted and unlinked circles.

Almost Theorem. The collection of all ribbon knots is equal to the collection of all unzips of knotted dumbbell whose middle deletion is the two components unlink. In symbols, Failed to parse (unknown function\dumbbell): {\mathcal R}=\{u\gamma:\gamma\in{\mathcal K}(\dumbbell)\mbox{ and }d\gamma=\bigcirc\bigcirc\} .

Semi Proof. The inclusion \subset is very easy. The other inclusion is a bit harder and also a bit false. But it is not hard to fix, and for the purpose of this quick discussion, it is better to pretend that it is true.

Let us get back now to the failure of most algebraic knot invariants to detect the property of being ribbon. The property of being ribbon is best defined in terms of knotted dumbbells, edge deletions and edge unzips. But most algebraic knot invariants were hardly studied from this perspective. Only a few of those were generalized to knotted graphs, and even those were not studied with the operations d and u in mind.

To summarize and somewhat generalize: Many of the properties of interest in knot theory are definable using simple formulae (such as \{u\gamma:d\gamma=\bigcirc\bigcirc\}) involving knotted trivalent graphs, edge deletions and edge unzips (and also a certain binary "connected sum" operation which we ignore here). But the algebraically defined knot invariants we now know are largely incompatible with those operations and so we can hardly expect them to yield useful information about our properties of interest.

What We Seek - An "Algebraic Knot Theory"

To remedy this we seek more than merely knot invariants - we seek an Algebraic Knot Theory, which sees not only knots but also knotted trivalent graphs, and more importantly, which sees the edge deletion and edge unzip operations. More precisely, an Algebraic Knot Theory should consist of the following structure:

  • To every trivalent graph \Gamma some algebraically-defined space {\mathcal A}(\Gamma) and a knotted graph invariant Z_\Gamma:{\mathcal K}(\Gamma)\to{\mathcal A}(\Gamma) (so Z_\Gamma is an invariants of knottings of \Gamma with values in {\mathcal A}(\Gamma)).
  • For every pair (\Gamma, e), where e is an edge of \Gamma, there is a pair of operations d_e and u_e defined on {\mathcal K}(\Gamma) which delete (for d_e) or unzip (for u_e) the edge e in any knotting of \Gamma. With the obvious definition of d_e\Gamma and of u_e\Gamma, d_e and u_e take values in {\mathcal K}(d_e\Gamma) and {\mathcal K}(u_e\Gamma), respectively. In an algebraic knot theory there should be corresponding operations d_e:{\mathcal A}(\Gamma)\to{\mathcal A}(d_e\Gamma) and u_e:{\mathcal A}(\Gamma)\to{\mathcal A}(u_e\Gamma) that commute with Z in the obvious sense.
  • There should also be binary "connected sum" operations defined on pairs of spaces ({\mathcal A}(\Gamma_1), {\mathcal A}(\Gamma_2)), and they too should be compatible with Z. But in the interest of brevity, we omit the details here.

An algebraic knot theory will allow us to convert certain knot theoretical problems from topology to algebra in much of the same way that a homology functor turns certain questions in the toplogy of spaces to questions in algebra. For example, given an algebraic knot theory, we have that

Failed to parse (unknown function\dumbbell): Z({\mathcal R})\subset{\mathcal A}_{\mathcal R}:=\{u\zeta:\zeta\in{\mathcal A}(\dumbbell)\mbox{ and }d\zeta=Z(\bigcirc\bigcirc)\} .

Note that the right hand side {\mathcal A}_{\mathcal R} of this equality is belongs entirely to the world of algebra. So if the spaces and operations making up our algebraic knot theory are sufficiently well understood, {\mathcal A}_{\mathcal R} can be computed explicitly. But then we get a criterion for a knot to be ribbon - if Z(K) isn't in {\mathcal A}_{\mathcal R}, then K isn't a ribbon knot.

Similar logic leads to similar algebraic criteria for detecting other definable properties of interest, including many (but not all) of the ones listed above.

The Kontsevich Integral of Knotted Trivalent Graphs

The Challenges