arXiv++ Combinatorics

Unoriented SL(3) foams are two-dimensional CW complexes with generic singularities embedded in 3- and 4-manifolds. They naturally come up in the Kronheimer-Mrowka SO(3) gauge theory for 3-orbifolds and, in the oriented case, in a categorification of the Kuperberg bracket quantum invariant. The present paper studies the more technically complicated case of SL(4) foams. Combinatorial evaluation of unoriented SL(4) foams is defined and state spaces for it are studied. In particular, over a suitably localized ground ring, the state space of any web is free of the rank given by the number of its 4-colorings.

Our main result has topological, combinatorial and computational flavor. It is motivated by a fundamental conjecture stating that computing Khovanov homology of a closed braid of fixed number of strands has polynomial time complexity. We show that the independence simplicial complex $I(w)$ associated to the 4-braid diagram $w$ (and therefore its Khovanov spectrum at extreme quantum degree) is contractible or homotopy equivalent to either a sphere, or a wedge of 2 spheres (possibly of different dimensions), or a wedge of 3 spheres (at least two of them of the same dimension), or a wedge of 4 spheres (at least three of them of the same dimension). On the algorithmic side we prove that finding the homotopy type of $I(w)$ can be done in polynomial time with respect to the number of crossings in $w$. In particular, we prove the wedge of spheres conjecture for circle graphs obtained from 4-braid diagrams. We also introduce the concept of Khovanov adequate diagram and discuss criteria for a link to have a Khovanov adequate braid diagram with at most 4 strands.

It was proven by González-Meneses, Manchón and Silvero that the extreme Khovanov homology of a link diagram is isomorphic to the reduced (co)homology of the independence simplicial complex obtained from a bipartite circle graph constructed from the diagram. In this paper we conjecture that this simplicial complex is always homotopy equivalent to a wedge of spheres. In particular, its homotopy type, if not contractible, would be a link invariant and it would imply that the extreme Khovanov homology of any link diagram does not contain torsion. We prove the conjecture in many special cases and find it convincing to generalize it to every circle graph (intersection graph of chords in a circle). In particular, we prove it for the families of cactus, outerplanar, permutation and non-nested graphs. Conversely, we also give a method for constructing a permutation graph whose independence simplicial complex is homotopy equivalent to any given finite wedge of spheres. We also present some combinatorial results on the homotopy type of finite simplicial complexes and a theorem generalizing previous results by Csorba, Nagel and Reiner, Jonsson and Barmak. We study the implications of our results to Knot Theory; more precisely, we compute the real-extreme Khovanov homology of torus links $T(3,q)$ and obtain examples of $H$-thick knots whose extreme Khovanov homology groups are separated either by one or two gaps as long as desired.