**65**

votes

**10**answers

6k views

### Are there any very hard unknots?

Some years ago I took a long piece of string, tied it into a loop, and tried to twist it up into a tangle that I would find hard to untangle. No matter what I did, I could never cause the later me any ...

**46**

votes

**4**answers

3k views

### Tying knots with reflecting lightrays

Let a lightray bounce around inside a cube whose faces
are (internal) mirrors.
If its slopes are rational, it will eventually form a cycle.
For example, starting with a point $p_0$ in the interior
of ...

**39**

votes

**2**answers

2k views

### Prime numbers as knots: Alexander polynomial

A naive and idle number theory question from a topologist (but not a knot theorist):
I have heard it said (and this came up recently at MO) that there is a fruitful analogy between Spec $\mathbb Z$ ...

**36**

votes

**3**answers

2k views

### Kirby calculus and local moves

Every orientable 3-manifold can be obtained from the 3-sphere by doing surgery along a framed link. Kirby's theorem says that the surgery along two framed links gives homeomorphic manifolds if and ...

**33**

votes

**2**answers

1k views

### Knot security (When to trust your life with a knot)

This question is related to a a question about self-tightening knots.
I am supervising a senior thesis and my student is interested in knots. My student is also a rock climber and has an ...

**31**

votes

**9**answers

2k views

### In knot theory: Benefits of working in $S^3$ instead of $\mathbb{R}^3$?

In several textbooks on knot theory (e.g. Lickorish's, Rolfsen's) knots are considered in $\mathbb{R}^3$ or $S^3$. The reason for working in $S^3$ is sometimes given at the beginning of a text as that ...

**26**

votes

**3**answers

952 views

### Random knot on six vertices

This question is inspired by Joseph O'Rourke's beautiful question on random knots. Choose an random ordered 6-tuple of points on the unit sphere in $\mathbf{R}^3$, and form a knot by connecting ...

**26**

votes

**1**answer

1k views

### Does this knot invariant distinguish trefoil chiralities?

Let $C_N$ denote the labelled configuration of $N^{th}$ roots of unity with $p_J = e^{\frac{2\pi iJ}{N}}$ for $J = 1\ldots N$.
As a corollary of something else I was playing around with, I recently ...

**26**

votes

**1**answer

920 views

### Intuitive explanation for the use of matrix factorizations in knot theory

Hello!
I read through parts of Khovanov/Rozansky's paper on the categorification of the HOMFLY polynomial using Matrix Factorizations. Technically, I can follow (though it seems to me that quite a ...

**25**

votes

**0**answers

895 views

### What is the three-dimensional hyperbolic volume of a four-manifold?

Every smooth closed orientable 4-manifold may be constructed via a handle decomposition. Before asking a couple of questions, I recall some well-known facts about handle-decompositions of 4-manifolds.
...

**20**

votes

**3**answers

1k views

### How expensive is knowledge? Knots, Links, 3 and 4-manifold algorithms. [closed]

With geometrization, Rubinstein's 3-sphere recognition algorithm and the Manning algorithm, 3-manifold theory has reached a certain maturity where many questions are "readily" answerable about ...

**19**

votes

**1**answer

2k views

### Propagation of an error in the LMO invariant? (Revision: I don't think LMO is wrong!)

Edit: I think LMO is correct. Massuyeau has a nice explanation here.
Edit: Renaud Gauthier has retracted the claim of an error in the foundations of the LMO construction, and has withdrawn both ...

**18**

votes

**3**answers

2k views

### Why is it so hard to implement Haken's Algorithm for knot theory?

Why is it so hard to implement Haken's Algorithm for recognizing whether a knot is unknotted? (Is there a computer implementation of this algorithm?)

**18**

votes

**4**answers

890 views

### Complexity of random knot with vertices on sphere

Connect $n$ random points on a sphere in a cycle of
segments between succesive points:
I would like to know the growth rate, with respect to $n$, of the crossing ...

**17**

votes

**8**answers

3k views

### Resources for graphical languages / Penrose notation / Feynman diagrams / birdtracks?

There is an idea I've recently gotten interested in that doesn't seem to have a good agreed-upon name ("diagrammatic algebra?"). It centers around the use of two-dimensional diagrams of dots, ...

**17**

votes

**4**answers

2k views

### Utility of virtual knot theory?

Virtual knot theory is an interesting generalization of knot theory in which ``virtual" crossings are allowed. See Kauffman's Virtual Knot Theory for an introduction. Greg Kuperberg gave a nice ...

**17**

votes

**3**answers

1k views

### What would the slice-ribbon conjecture imply?

What would the slice-ribbon conjecture imply for 4-dimensional topology?
I've heard people speak of the slice-ribbon conjecture as an approach to the 4-dimensional smooth Poincare conjecture, and to ...

**17**

votes

**2**answers

560 views

### Lie algebra automorphisms and detecting knot orientation by Vassiliev invariants

Recall that there are knots in $\mathbf{R}^3$ that are not invertible, i.e. not isotopic to themselves with the orientation reversed. However, it is not easy to tell whether or not a given knot is ...

**17**

votes

**2**answers

1k views

### Why is the Alexander polynomial a quantum invariant?

When we think of quantum invariants, we usually think of the Jones polynomial or of the coloured HOMFLYPT. But (arguably) the simplest example of a quantum invariant of a knot or link is its Alexander ...

**16**

votes

**3**answers

370 views

### Looking for “large knot” examples

This question is about knots and links in the 3-sphere. I want to find an example of a "large" knot or link with some special properties. I'm looking for some fairly specific examples, but I'm also ...

**16**

votes

**7**answers

1k views

### probabilistic knot theory

Take a smooth closed curve in the plane. At each self-intersection, randomly choose one of the two pieces and lift it up just out of the plane. (Perturb the curve so there are no triple ...

**16**

votes

**3**answers

516 views

### What is the state of the art for algorithmic knot simplification?

Question: Given a `hard' diagram of a knot, with over a hundred crossings, what is the best algorithm and software tool to simplify it? Will it also simplify virtual knot diagrams, tangle diagrams, ...

**16**

votes

**3**answers

581 views

### Visualize Fourth Homotopy Group of $S^2$

I know $\pi_4(S^2)$ is $\mathbb{Z}_2$. However, I don't know how to visualize it. For example, it is well known that $\pi_3(S^2)=\mathbb{Z}$ can be understood by Hopf Fibration. Elements in ...

**15**

votes

**7**answers

2k views

### Is there a “knot theory” for graphs?

I think knot theory has been studied for quite a while (like a century or so), so I'm just wondering whether there is a "knot theory" for graphs, i.e. the study of (topological properties of) ...

**15**

votes

**4**answers

1k views

### Who thought that the Alexander polynomial was the only knot invariant of its kind?

I apologize that this is vague, but I'm trying to understand a little bit of the historical context in which the zoo of quantum invariants emerged.
For some reason, I have in my head the folklore:
...

**15**

votes

**3**answers

1k views

### Complete knot invariant?

I've seen a couple papers (that I now can't find) that say that in his paper "On irreducible 3-manifolds which are sufficiently large" Waldhausen proved that the data $\pi_1(\partial (S^3\setminus K)) ...

**15**

votes

**4**answers

816 views

### HOMFLY and homology; also superalgebras

My understanding is that an analogy along the following lines is (roughly) true:
"The Alexander polynomial is to knot Floer homology is to gl(1|1)
as the Jones polynomial is to Khovanov homology is ...

**15**

votes

**2**answers

1k views

### Is the 4x5 chessboard complex a link complement?

The 2x3 and 3x4 chessboard complexes (form a square grid of vertices and make a simplex for any set of vertices no two of which are in the same row or column) are a 6-cycle and a triangulated torus ...

**15**

votes

**2**answers

1k views

### How many definitions are there of the Jones polynomial?

Even with the connection to quantum groups being made clearer (I believe it was not known when the Jones polynomial was first introduced), it seems to me that still we don't have the "right" ...

**15**

votes

**1**answer

1k views

### What is a path in K-theory space?

In a comment on Tom Goodwillie's question about relating the Alexander polynomial and the Iwasawa polynomial, Minhyong Kim makes the cryptic but tantalizing statement:
In brief, the current view is ...

**15**

votes

**2**answers

878 views

### Does the super Temperley-Lieb algebra have a Z-form?

Background Let V denote the standard (2-dimensional) module for the Lie algebra sl2(C), or equivalently for the universal envelope U = U(sl2(C)). The Temperley-Lieb algebra TLd is the algebra of ...

**15**

votes

**1**answer

1k views

### How are the Conway polynomial and the Alexander polynomial different?

Background story:
I have just come out from a talk by Misha Polyak on generalizations of an arrow-diagram formula for coefficients of the Conway polynomial by Chmutov, Khoury, and Rossi. In it, he ...

**14**

votes

**2**answers

371 views

### Are there piecewise-linear unknots that are not metrically unknottable?

A stick knot is a just a piecewise linear knot. We could define "stick isotopy" as isotopy that preserves the length of each linear piece.
Are there stick knots which are topologically trival, but ...

**14**

votes

**4**answers

788 views

### Can the n-string sphere braid group embed in to the (n+1)-string sphere braid group?

This question was originally posted on math.SE by myself nearly a year ago. I've been thinking again about the problem after it recently received a little attention, but little progress was made in ...

**14**

votes

**3**answers

1k views

### Is anything known about this braid group quotient?

Let $B_n$ be the braid group on $n$ strands. As is well known, if $\sigma_i$ is the operation of crossing the string in position $i$ over the string in position $i+1$, then the elements ...

**14**

votes

**5**answers

2k views

### can you fool SnapPea?

A while back I thought I had some simple knots that "fooled" SnapPea. But I no longer remember those examples, if I ever had them to begin with.
What I'm looking for is a non-hyperbolizable knot ...

**13**

votes

**9**answers

6k views

### Applications of knot theory

An answer of André Henriques' inspired the following closely related CW question. Parts of the following is extracted from his answer and my comments.
I regularly teach a knot theory class. ...

**13**

votes

**1**answer

2k views

### What is the knot associated to a prime?

I can't help but ask this question, having found out about arithmetic topology here on MO. There is a concise description of the MKR dictionary central to this philosophy here. This dictionary is used ...

**13**

votes

**4**answers

823 views

### What are the points of Spec(Vassiliev Invariants)?

Background
Recall that a (oriented) knot is a smoothly embedded circle $S^1$ in $\mathbb R^3$, up to some natural equivalence relation (which is not quite trivial to write down). The collection of ...

**13**

votes

**2**answers

2k views

### What's about “quantum modular forms”?

Do you know where one could read on "Modular Forms, K-theory and Knots"? The combination of themes sounds thrilling!
Edit: Zagier's paper on "quantum modular forms" will be published in Clay's ...

**13**

votes

**2**answers

832 views

### Are there moves between Reidemeister moves?

Background
Knots are typically written in 2 dimensions as a loop in the plane with normal crossings. One then asks when two such diagrams describe the same knot. Two diagrams describe the same knot ...

**13**

votes

**2**answers

920 views

### topological “milnor's conjecture” on torus knots.

Here's a question that has come up in a couple of talks that I have given recently.
The 'classical' way to show that there is a knot $K$ that is locally-flat slice in the 4-ball but not smoothly ...

**13**

votes

**2**answers

231 views

### Random rings linked into one component?

Let $S$ be a sphere of unit radius.
Let $C_n$ be a collection of unit-radius circles/rings whose centers
are (uniformly distributed)
random points in $S$, and which are oriented (tilted) randomly ...

**13**

votes

**2**answers

627 views

### Knots that unknot in a manifold

Take a closed $n$-manifold $M$ and fix a nice $n$-ball $B$ in $M$. How much information about $M$ does the set of knotted $(n-2)$-spheres of $B$ which are unknotted in $M$ give?

**13**

votes

**1**answer

532 views

### Are homological knot invariants of finite type?

It is well known that, after a change of variables, the quantum knot invariants (Jones, HOMFLY, Kauffman, etc.) can be written as power series whose coefficients are finite type (i.e., Vassiliev) ...

**12**

votes

**5**answers

880 views

### Can surfaces be interestingly knotted in five-dimensional space?

It's possible this question is trivial, in which case it will be answered quickly. In any case, I realized that it's a basic question the answer to which I should know but do not.
Everybody loves ...

**12**

votes

**4**answers

742 views

### What properties of knots lead Lord Kelvin to hypothesize that atoms were knots in the ether?

I've often heard that Lord Kelvin was one of the first people to study knot theory, as he hypothesized that atoms were knots in the ether. I assume that he had some compelling evidence for this fact.
...

**12**

votes

**5**answers

1k views

### Is the pure braid group on three strands generated as a normal subgroup of the braid group by the six-crossing braid?

Artin's presentation of braid group on three strands is:
$$ B_3 = \langle l,r : lrl = rlr \rangle $$
where you should think of "$l$" as the positive crossing between the left and middle strands and ...

**12**

votes

**3**answers

581 views

### Representing SU(3) with 3 ropes in 3 dimensions

The short question is: how exactly is SU(3) realized with ropes?
The long question: There is this idea that deformations of a configuration of three infinitely long, flexible ropes that cross each ...

**12**

votes

**3**answers

2k views

### Proof of the Reidemeister theorem

While preparing for my introduction to topology course, I've realized that I don't know where to find a detailed proof of the Reidemeister theorem (two link diagrams give isotopic links, iff they can ...