# Questions tagged [khovanov-homology]

Khovanov homology, constructed by Mikhail Khovanov, is a categorification of the Jones polynomial.

26
questions

**3**

votes

**0**answers

45 views

### Are the tangle functors based off Khovanov homology braided monoidal functors?

I was wondering if the tangle functors constructed in
"A functor-valued invariant of tangles"
https://arxiv.org/pdf/math/0103190.pdf
"An invariant of tangle cobordisms via subquotients of arc rings"
...

**2**

votes

**0**answers

90 views

### Khovanov Homology in Macaulay2

Has anyone ever written code for computing Khovanov homology in Macaulay2 or other similar software? I know there are various excellent programs for computing Khovanov homology, but I'm currently ...

**4**

votes

**2**answers

463 views

### Background needed to understand modern research on knot homology theories

I am a student of mathematics, and have some background in
Algebraic Topology (Hatcher, Bott-Tu, Milnor-Stasheff),
Differential Geometry (Lee, Kobayashi-Nomizu),
Riemannian Geometry (Do Carmo),
...

**1**

vote

**1**answer

135 views

### Khovanov homology definition using vector spaces, Z-modules, abelian groups?

When I read various papers on Khovanov homology, sometimes it is defined in terms of graded vector spaces, sometimes as graded $\mathbb{Z}$-modules. Is there a difference? E.g. can the vector field ...

**4**

votes

**1**answer

211 views

### Categorifying skein algebras?

We can obtain the Jones polynomial by the Temperly-Lieb algebra and the HOMFLYPT polynomial from the Hecke algebra. Were there attempts to categorify the algebras itself and obtain the Khovanov ...

**4**

votes

**0**answers

112 views

### Relation between different versions of Bar-Natan homology

In Bar-Natan's paper: Khovanov’s homology for tangles and cobordisms, he defined a deformation of Khovanov homology. Namely, for any $m\geq 0$, Bar-Natan's homology $BN^{m}(K)$ is obtained by ...

**9**

votes

**0**answers

170 views

### What is the “classical limit” of Khovanov homology?

Let me first explain what I mean by the "classical limit".
For quantum group invariants of links and webs (such as colored Jones polynomials), the "classical limit" means the limit $k\rightarrow +\...

**3**

votes

**1**answer

144 views

### Version of Khovanov homology that does not produce torsion?

Khovanov homology usualy has torsion. But there are also different versions of Khovanov homology. Is there a Khovanov homology theory that naturaly does not produce torsion?
A followup question: can I ...

**6**

votes

**0**answers

132 views

### What is the relationship between the Khovanov-Rozansky homology of a digraph and that of a link?

Motivation: I'm reading this preprint, which takes a digraph $G = (V, E)$ and then builds a projective algebraic set $P(G)$ by assigning a variable to each edge and then defining certain polynomial "...

**13**

votes

**0**answers

245 views

### Are there two non-equivalent exotic structures on $\mathbb{R}^4$ coming from topologically slice, non-slice knots?

For a knot $K \subset S^3$, which is topologically slice but not slice (in a smooth way), there's a four manifold $\mathbb{R}^4_K$, homeomorphic but not diffeomorphic to standard euclidean $\mathbb{R}^...

**6**

votes

**0**answers

283 views

### Khovanov homology and Crane-Yetter TQFT

Crane-Yetter(-Kauffman) have constructed 4-dimensional TQFT in such a way that Reshetikhin-Turaev theory lives on the boundary $\partial M$ of a 4-manifold $M$. Therefore, Crane-Yetter TQFT can be ...

**8**

votes

**1**answer

882 views

### Why is Khovanov homology considered a 'categorification'?

I understand that the Euler characteristic of Khovanov homology is the Jones polynomial. But in what sense does this give category theory structure to the Jones polynomial, i.e., what are the objects ...

**4**

votes

**1**answer

215 views

### Invariance of Khovanov homology under first Reidemester move

I am studying Khovanov homology from five lectures on Khovanov homology
and I want to try to show Khovanov homology is invariant under first Reidemester move but I cannot understand how we can write
...

**6**

votes

**1**answer

745 views

### Understanding “Decategorified” symplectic Khovanov homology

In http://arxiv.org/abs/math/0405089 Seidel and Smith constructed a link invariant using Lagrangian Floer theory that was conjectured to be equivalent to Khovanov homology. The equivalence was ...

**2**

votes

**0**answers

119 views

### Unnormalized Kauffman homology of the unknot

Is the unnormalized Kauffman homology of the unknot known? The Poincare polynomial of HOMFLY homology of the unknot is known as
$$\frac{1+at}{1-q}.$$
Is the Poincare polynomials of Kauffman homology ...

**8**

votes

**1**answer

354 views

### Questions on poincare homology spheres and branched covers

I have two questions:
Question 1. Suppose that $K$ is a knot in $S^3$. Let $\Sigma(K)$ be the double branched cover of $S^3$ branched along $K$. If $\Sigma(K)=\#_{i=1}^n\Sigma(2,3,5)$, then $K=\#_{i=...

**15**

votes

**1**answer

732 views

### Is Rasmussen's s-invariant of a knot an invariant of a 4-manifold?

Let $K$ be a knot in the 3-sphere $S^3$.
Here we denote by $s(K)$ Rasmussen's s-invariant for $K$,
and by $X_{K}(n)$ the 4-manifold obtained from the standard 4-ball $B^4$
by attaching a $2$-...

**2**

votes

**0**answers

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

**0**

votes

**0**answers

319 views

### Understanding a program for computing Khovanov homology

I would like to understand how a computer program for computing Khovanov homology works. The particular program I have in mind is by John Baldwin: https://web.math.princeton.edu/~baldwinj/Kh.cpp
The ...

**4**

votes

**1**answer

266 views

### Khovanov $sl_2$ homology of a connected sum of some torus knots

Let $T_{p,q}$ be the (p,q) torus knot. Could anybody possibly compute either unreduced or reduced Khovanov $\mathfrak{sl}(2)$ homology of the connected sum $T_{2,3} \sharp T_{3,4}$ of the (2,3) and (3,...

**0**

votes

**1**answer

259 views

### Is Khovanov's Frobenius algebra self-dual over the integers?

Khovanov's Frobenius algebra (used in the definition of Khovanov homology) is $\mathbb{Z}[X]/X^2$ with the comultiplication. $\Delta(X)=X\otimes X, \Delta(1)=1\otimes X+X\otimes 1$ and the trace $\...

**1**

vote

**0**answers

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

**8**

votes

**2**answers

798 views

### Khovanov-Rozansky homology and spectral sequences

In arXiv:math/0607544 (following conjectures in arXiv:math/0505662), Rasmussen constructs a family of spectral sequences (the "d_N differentials"), starting at the HOMFLY homology of a knot, and ...

**6**

votes

**1**answer

416 views

### Computations and applications of Khovanov's functor valued invariant of tangles

Soon after his famous paper "A categorification of the Jones polynomial", Khovanov
introduced a "bordered" version. His theory assingns to every oriented even tangle
a complex of (H_n,H_m)-bimodules, ...

**8**

votes

**0**answers

582 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$.
\begin{align}
P_{0,0}&=1\\
\text{for $n\geq 1$}...

**6**

votes

**1**answer

808 views

### Is the complete functorial structure for Khovanov--Lee homology known?

I'm interested in Lee's modification of Khovanov homology, which I'll denote $\operatorname{Kh}_{\operatorname{Lee}}^\ast$. Below $L$ is a link in $\mathbb R^3$.
The groups $\operatorname{Kh}_{\...