A note on the local relations in geometric formalism of Khovanov homology theory
Abstract
In this short note, we prove that the sphere and 4-tube relations “almost” imply the torus relation in Bar-Natan’s geometric formalism of Khovanov homology theory. As an application, we point out that the invariance and the functoriality can be proved without using the torus relation.