, , ,

For many basic invariants of knots in

S^{3}

there is no known algorithm for their computation. This paper lists the prime knots among those of few crossings for which the value of some of these invariants is not known.

Definitions of each of these invariants is given in the sections that follow. References in the initial version of this paper are limited, but may be included as progress is made and contributions are received.

More details can be found on the accompanying website KnotInfo [1] at www.indiana.edu/~knotinfo, presenting an updated list of values ofknot invariants for low-crossing number knots.Conventions for tabulation In the table that follows, if a knot islisted of

n

–crossings, then the table lists all prime knots of that numberof crossings or less for which the value is unknown. Some values includeentries with question marks, such as “12?” For these invariants thereis no known algorithm for the computation of the invariant, but thevalues for low-crossing number knots are known. The notation “12?”indicates that the value is known for all prime knots of 11 crossingsor less, and that the computation for 12–crossing prime knots has notbeen undertaken yet. The notation “???” indicates that we do not havea preliminary survey of known values.Submissions It is the intention of the authors to keep this paperup-to-date. We cannot verify all the results submitted to us, so willonly include new information when we can reference a source thatreaders can refer to; these can be posted papers or websites with moreinformation.

Invariant	List of knots
A-Polynomial	???
Braid Index	$13 ?$
Bridge Index	$11 ?$
Concordance Genus	$8_{18}, 9_{40}, 10_{82}$
Concordance Order	$8_{1}, 8_{13}, 8_{17}$
Genus (3–genus)	13?
Genus (non-orientable 3–genus)	$6_{3}$
Genus (smooth 4–genus)	$10_{51}$
Genus (topological 4–genus)	$10_{51}, 10_{139}, 10_{145}, 10_{152}, 10_{154}$
Nakanishi Index	$11 ?$
Oszváth–Szabó Invariant	$10_{141}, 11 n ?$
Super-Bridge Number	$5_{2}, 6_{1}, 6_{2}, 6_{3}$
Thurston–Bennequin Number	$9_{42}$
Unknotting Number	$9_{10}, 9_{13}, 9_{35}, 9_{38}$
Unknotting Number 1	$10_{163}$

Table 1 . Table of Unknown Values of Knot Invariants

2 Definitions

2.1 A-Polynomial

There is a map of the

S L_{2} (C)

representation space of a knot complement to

C^{*} \times C^{*}

, given by evaluating the trace of the representation on the meridian and longitude. The closure of the image is a variety defined by a single polynomial, called the A-Polynomial. Jim Hoste informs us that for 2–bridge knots the computation of the A-Polynomial is algorithmic, but beyond that only sporadic values are known.

2.2 Braid Index

Every knot can be described as the closure of a braid. The braid index of the knot is the minimum number of strands required for such a braid.

2.3 Bridge Index

Given a regular diagram for a knot in the

(x, y)

–plane, the projection onto the line

x = 0

has a finite number of local maximum points.

The minimum number of such local maxima, taken over all possible diagrams, is the bridge index of the knot.

2.4 Concordance Genus

The concordance genus of a knot

K

is the minimum 3–genus among all knots concordant to

K

. The value of this invariant depends on the category. For instance, for a topologically slice but not smoothly slice knot, the topological concordance genus would be 0 but the smooth concordance genus would be positive. For the three unknown knots of crossing number 10 or less, we do not know if the distinction of category appears.

2.5 Concordance Order

The concordance order of a knot is the order of the element it represents in the concordance group. There is a map of the concordance group to Levine's algebraic concordance group, having elements only of order 2, 4 and infinite. All knots of 10 crossings or less with algebraic order 4 are known to have infinite concordance order. Some knots of algebraic order 2 are (or are concordant to) negative amphicheiral knots, and thus are of order 2. Other than these, all those of algebraic order 2 are known to have concordance order greater than 2, with the exception of

10_{158}

, which has unknown order.

2.6 Genus (3–genus)

The genus of a knot is the minimum genus among all embedded orientable surface in

S^{3}

with boundary the knot.

2.7 Genus (non-orientable)

The non-orientable genus of a knot is the minimum genus among all non-orientable surfaces embedded in

S^{3}

with boundary the knot. Here, the genus of the once puncture connected sum,

#_{g} P^{2}

, is said to be

g

This is also called the crosscap number of a knot.

2.8 Genus (smooth 4–genus)

The smooth 4–genus of a knot is the minimum genus among all smoothly embedded orientable surfaces in the 4–ball having boundary the knot.

2.9 Genus (topological 4–genus)

The topological 4–genus of a knot is the minimum genus among all topologically locally flat embedded orientable surfaces in the 4–ball having boundary the knot.

2.10 Nakanishi Index.

The Alexander module of a knot has a square presentation. The minimum size of such a presentation is the Nakanishi index.

2.11 Oszváth–Szabó Invariant

Ozsváth and Szabó have defined a homomorphism

τ

from the concordance group of knots to

Z

using their theory of Heegaard Floer homology. Its value is called the Ozsváth–Szabó invariant of the knot. For alternating knots it is determined by the classical signature, but there is no algorithm for its general computation.

2.12 Super-Bridge Number

For a given diagram of a knot in the

(x, y)

–plane, there is a maximum value for the number of local maxima for orthogonal projections to lines in the plane, taken over all lines in the plane for which the projection map is regular. The smallest value of the maximum, taken over all possible diagrams of a knot is called the super-bridge number.

2.13 Thurston–Bennequin Number

Every knot has a Legendrian representative and the Thurston–Bennequin number of such a representative is defined using that Legendrian structure.

The Thurston–Bennequin number of a knot is the maximum value of that invariant, taken over all possible Legendrian representatives.

There is also a combinatorial definition. Every knot has a diagram such that at each crossing one strand intersects the bottom right and top left quadrants (formed by the vertical and horizontal lines at the crossing) and the other intersects the bottom left and top right quadrant.

Furthermore it can be arranged that the strand that meets the bottom right quadrant passes over the other strand. For such a diagram, the Thuston–Bennequin number is the wirthe minus the number of right cusps (maximum points with respect to projection onto the

x

–axis.

The Thurston–Bennequin number is the maximum value of this, taken over all diagrams satisfying the crossing criteria.

Lenhard Ng [2] has shown that basic bounds for this invariant are strict in the case of 2–bridge knots. For the remaining cases for knots of 9 or fewer crossings, he has determined the value for all but

9_{42}

, with one of its possible orientations. (A knot and its mirror image might have different Thurston–Bennequin numbers.)

2.14 Unknotting Number

The minimum number of crossing changes required to convert a diagram of a given knot into a diagram for the unknot, taken over all possible diagrams of the knot, is called the unknotting number of the knot.

2.15 Unknotting Number 1

The 10–crossing knot

10_{163}

is the first knot on the table, and the only knot of 10–crossings, for which it is unknown whether the knot has unknotting number 1.

References

Cha, J. C. and Livingson, C. KnotInfo: an online table of knot invariants at www.indiana.edu/~knotinfo .
Ng, L. Maximal Thurston–Bennequin Number of Two-Bridge Links, Algebr, Geom. Topol. 1 (2001) 427-434.

Information and Communications University, 119 MunjiroYuseong-gu, Daejeon 305-714, Korea E-mail address : jccha@icu.ac.kr Department of Mathematics, Indiana University, Bloomington,IN 47405 E-mail address : livingst@indiana.edu

Jae Choon Cha

Charles Livingston