**27**

votes

**0**answers

977 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.
...

**19**

votes

**0**answers

253 views

### Topological description of inverting a knot

The first figure shows an offset overhand knot. To tie it, you simply bring the two cords together and make an overhand knot in them. It's more secure than it looks, and several climbers have been ...

**13**

votes

**0**answers

180 views

### What do tangles teach us about braids?

A braid is a smooth level-preserving embedding $f\colon\, \{1,2,\ldots,n\}\times[0,1]\hookrightarrow \mathbb{R}^2 \times [0,1]$ such that $f(k,0)=(k,0)$ and $f(k,1) \in \{1,2,\ldots,n\} \times ...

**10**

votes

**0**answers

554 views

### Categorical Schur's Lemma

In attempt to prove (and compute) a formula for the dimensions of the HOMFLY homology
of the (p,q)-torus knot one could try to follow original proof by Jones of a formula for
HOMFLY polynomial of ...

**9**

votes

**0**answers

183 views

### The Markov trace via Bott-Samelson fibers?

Let $H_n$ be the Hecke algebra of GL(n), i.e., the algebra over $\mathbb{Q}(q)$ with generators $T_1,
\ldots, T_{n-1}$ which satisfy the braid relations and also $T^2 = (q-1) T + q$.
Recall the ...

**9**

votes

**0**answers

290 views

### Is the connected sum of knots an isometry?

Take $X$ as the set of knots in the 3-sphere (i.e. smooth embeddings of $S^1$ in $S^3$ up to smooth isotopy), endowed with the Gordian distance $d$.
For a fixed knot $K$ we can define the map ...

**9**

votes

**0**answers

225 views

### Krull rings and determinantal invariants

During another attempt to come to grips with Hillman's excellent book Algebraic Invariants of Links, I am having difficulty figuring out why Krull rings are the setting for Chapter 3- the natural ...

**8**

votes

**0**answers

124 views

### What fraction of knots are ribbon knots?

Pardon the naive question.
Perhaps there are several different variants of my question, but
essentially I am seeking to know whether ribbon knots are
vanishingly rare among all knots, or a positive ...

**8**

votes

**0**answers

153 views

### Does the shortest path between two braids pass through string links?

One of the fundamental facts underlying the application of braid theory to knot theory is that braids inject into string links.
This means that braids $B_1$ and $B_2$, considered inside a cube $I^3$, ...

**8**

votes

**0**answers

494 views

### Categorification of finite type invariants

Recall that finite type invariants are those numerical knots invariants vanishing on knots with enough singularities. The value of an invariant on a singular knots is computed using the Vassiliev ...

**8**

votes

**0**answers

322 views

### What is (explicitly) known about the SL(n,C) character varieties of 3-manifolds ?

The $SL(2,{\bf C})$ character variety of a 3-manifold with 1-cusp $M$ (like a knot complement in the 3-sphere) essentially coincide with the variety defined by the A-polynomial. Those polynomials are ...

**8**

votes

**0**answers

291 views

### Which presentations of (non)planar algebras give rise to knots?

Reidermeister's theorem states that the set of knots, modulo ambient isotopy, is isomorphic to the planar algebra generated by crossings, modulo Reidemeister moves. This planar algebra presentation is ...

**7**

votes

**0**answers

122 views

### Alexander polynomial in branched covers

Suppose I am given a 3-manifold as a double branched cover over a link. Let a null-homologus knot in this space be given as a lift of an arc with endpoints on the link (it is automatically ...

**7**

votes

**0**answers

220 views

### What is the historical connection between Zeeman's twist spinning and Fox's Examples?

Both Ralph Fox and (at that time, yet to be knighted) Sir Christopher Zeeman attended the 1961 Georgia topology conference. Fox's paper from that conference was his seminal work, "A Quick Trip through ...

**6**

votes

**0**answers

119 views

### Stable, tame A-infinity isomorphism?

Linear duality provides a correspondence between differentials on free tensor algebras and A-infinity algebras. Under this correspondence, what is the A-infinity counterpart of "stable, tame ...

**6**

votes

**0**answers

460 views

### Does anyone know this sequence of polynomials?

A referee on a paper of mine showed me the following recurrence for polynomials $P_{n,k}\in\mathbb Q[q,q^{-1}]$ for $n\geq 0$ and $0\leq k\leq n/2$.
...

**6**

votes

**0**answers

253 views

### Is the category of tangles that includes, X, Y, and Lambda a free Frobenius braided category?

Consider the category whose objects are non-negative integers that are represented as dots along a line, and whose morphisms are generated by $X$---positive crossing, $\bar{X}$ --- negative crossing, ...

**5**

votes

**0**answers

127 views

### Software for BMW algebra calculations?

Does software exist for computations in the BMW algebra?
For example, I'd like to be able to express elements in a basis of "totally descending tangles" as in a paper of Morton–Wassermann. At ...

**5**

votes

**0**answers

124 views

### Crossing bound implies Reidemeister move bound?

In 1998 Galatolo established an upper bound on the number of Reidemeister moves needed to convert a diagram $D$ of the unknot into a trivial loop diagram. The upper bound is a function of $n$, the ...

**5**

votes

**0**answers

89 views

### Ribbon knot presentations

Suppose $K$ is a $n$-knot, $n\geq 2$, which bounds two different ribbon disks $D_1, D_2$. These ribbon disks induce unique ribbon $(n+1)$-knots $K_1, K_2$ respectively. Is it known whether $K_1$ and ...

**5**

votes

**0**answers

213 views

### Torsion in chord diagrams for 2-string links?

The abelian group of $k$-chord diagrams on a skeleton of two directed line segments (modulo the STU relation), $\mathcal A_k(\uparrow\uparrow)$, is known to have $2$-torsion when $k=5$. In fact, I ...

**4**

votes

**0**answers

106 views

### Is the normalised Kauffman bracket more powerful than the Kauffman bracket?

The Kauffman bracket polynomial for a knot diagram $D$ is a Laurent polynomial $\langle D \rangle \in \mathbb{Z}[A, A^{-1}]$. Although it is invariant under Reidemeister moves of type II and III, ...

**4**

votes

**0**answers

280 views

### On finding A-polynomials

I have two questions to obtain the explicit forms of A-polynomials.
Takata used the mathematica pacage qMultisum.m to obtain the recursion relation of the colored Jones polynomials for twist knots. ...

**4**

votes

**0**answers

241 views

### Reshetikhin-Turaev and links with a distinguished component

Hi,
This question came up to me when reading the paper of Cartier on Vassiliev invariants, but it can probably be turned into a more general question.
Let $T$ be the category whose objects are ...

**3**

votes

**0**answers

124 views

### More questions about high-dimensional knot invariants

In a question yesterday I asked about the existence of algebraic invariants for embeddings of n-manifolds into n+2-spheres. The answers in the positive dimension all made certain assumptions about ...

**3**

votes

**0**answers

134 views

### Is a generic link diagram semi-adequate?

Each crossing in a link diagram of a link $L$ has an A-resolution and a B-resolution.
Resolving all crossings gives a collection of circles in the plane, connected by dotted lines. A state of a ...

**3**

votes

**0**answers

172 views

### Constructing Markov traces simply

Short version: I wondering how to simply check if a proposed Markov trace, $\phi$ had the correct property using techniques similar to those from the Akutsu-Wadati 1987 paper `Exactly solvable models ...

**3**

votes

**0**answers

325 views

### Connected Sum Decomposition of a Knot

Given a composite knot, is it possible to decompose it in prime knots by an algorithm that runs in polynomial time?

**3**

votes

**0**answers

198 views

### Knot polynomials of non-crystallographic Coxeter groups?

I learnt that the Coxeter groups have a few members more than the
classic simple Lie groups: $H_3, H_4$ and $I_2(p)$. Is there a Reshetikhin-Turaev
invariant for those, too? If not, where does the ...

**3**

votes

**0**answers

242 views

### A tangle matrix

The image should already say everything. But in case it is mute... :-)
List tangles with 2n legs downward as column header, and with 2n legs
upward as row header. (n=3 here.) In the crossing point ...

**3**

votes

**0**answers

343 views

### Positivity of braid monodromy of curve singularities

I recall the notion of braid monodromy. Let $C \subset \mathbb{C}^2$ be an algebraic curve, and choose a projection $\pi: \mathbb{C}^2 \to \mathbb{C}$ such that the restriction $\pi: C \to ...

**3**

votes

**0**answers

291 views

### Computing Quantum Dimensions

Hi,
in "Jaeger’s Higman-Sims state model and the B2 spider" by Greg Kuperberg
(arxiv:math9601221v1, 1996) there are some quantum dimensions listed in the
"Discussion" part. Evidently quantum groups ...

**3**

votes

**0**answers

399 views

### ribbon links - counterexamples

An n-component link is said to be ribbon if it bounds a ribbon surface consisting of n discs.
(a ribbon surface is an immersed surface with only ribbon singularities, see ...

**3**

votes

**0**answers

286 views

### Branched covering vs Covering space of 0-surgery manifold ??

Let $K$ be a knot in $S^3$ and $M^3$ be a 3-manifold obtained by 0-surgery from $S^3$ along $K$. By using Mayer-Vietoris sequence, we can see that $H_i(M^3)=H_i(S^1\times S^2)$. Therefore, we have a ...

**2**

votes

**0**answers

115 views

### Jones Polynomial as an Equivariant Index

In Khovanov homology the Jones polynomial of a given link is computed as the graded Euler characteristic of a certain complex associated with the link. From other side the Atiyah-Singer theorem ...

**2**

votes

**0**answers

61 views

### Mutant pairs distinguished by [2,1]-colored HOMFLY polynomials

Morton and Cromwell showed that the famous mutant pair, Kinoshita-Terasaka and Conway knots, can be distinguished by HOMFLY polynomials colored by [2,1] Young diagram. Are there any other mutant pairs ...

**2**

votes

**0**answers

42 views

### Tait conjectures for alternating w-links

The Tait Conjectures are useful in knot tabulation. For alternating knots and links, two of them state:
Any reduced diagram of an alternating link has the fewest possible crossings.
Any two reduced ...

**2**

votes

**0**answers

93 views

### Why do knot cobordisms result in functoriality with respect to knot homologies so often?

Why do knot cobordisms result in functoriality with respect to knot homologies so often?

**2**

votes

**0**answers

115 views

### Are isolated knots in tangles the same as ordinary knots?

Suppose you have an arc in a ball with ends fixed on a boundary. In other words, we have an isolated knot on one of the arcs of a tangle. If we glue the ends we get an ordinary knot and clearly ...

**2**

votes

**0**answers

132 views

### Simple terminology question about the Dubrovnik (Kauffman) polynomial

In my S matrix classification attempts I encounter a lot of
Dubrovnik polynomials of the form D(z-1/z,z^n) and D(-z+1/z,z^n).
[Second variable is for writhe, n is an integer; for the first I don't
...

**2**

votes

**0**answers

223 views

### Which quandles arise as knot quandles

Is it known which quandles arise as the knot quandle of some knot? I seem - vaguely - to remember hearing that all (finite?) quandles arise this way but I've failed to find a reference to this fact.

**2**

votes

**0**answers

715 views

### ambient isotopy and isotopy on knot

this is elementary question about classical knot equivalence.
I know that just isotopy which need not to be ambient is not proper to define knot equivalence
because bachelor's unknotting.
but this ...

**1**

vote

**0**answers

63 views

### Ozsvath-Szabo orientation convention for Seifert fibred spaces

I am confused by the orientation convention that Ozsvath and Szabo use in On Heegaard Floer homology and Seifert Fibered Surgeries and would appreciate if someone clarifies this for me. On page 15 ...

**1**

vote

**0**answers

98 views

### Entangled helical knots

Consider a pair of disjoint, congruent helices $H_1$ and $H_2$
passing through one another in the following sense.
(Caveat lector: This question is not of general interest! It is also long.)
$H_1$ is ...

**1**

vote

**0**answers

97 views

### Categorification of WRT invariants of integral homology spheres

First, I would like to know how many definitions are there for categorification of WRT invariants. In addition, I wonder if the categorified version of WRT invariants have been explicitly computed for ...

**1**

vote

**0**answers

92 views

### Can all knot polynomials derived from Skein relations be categorified?

Can all knot polynomials derived from Skein relations be categorified?

**1**

vote

**0**answers

159 views

### Things you can do with the self-writhe

I hope "self-writhe" is the established word. (0 for link-crossing, otherwise identical to writhe +1 or -1) I bet the following is known: Take some crossing of a link with self-writhe $w_a$. Flip it ...

**1**

vote

**0**answers

140 views

### Is there a two-variable E8 polynomial? (Conjectural or proven)

On MO I learnt about the two-variable E7 polynomial (status: conjectural).
What about a two-variable E8 polynomial? I have reasons to believe such a
thing exists too, but I do magic, not math, so my ...

**1**

vote

**0**answers

155 views

### Measuring the complexity of a knot by minimum number of simplices to tile the complement

This is essentially a duplicate of: Lower bound on number of tetrahedra needed to triangulate a knot complement
Suppose a knot $K\subseteq\mathbb S^3$ is such that the complement $\mathbb ...

**1**

vote

**0**answers

196 views

### A knot complexity measure

Construct a knot/link by fusing two n-tangles together.
(A tangle matrix shows how
this might look for tangles with 6 legs. But lets use 4 legs for a start
as this is far simpler.)
Now, any rational ...