Abstract
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 (up to suspension), 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 shedding light on 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.
Similar content being viewed by others
Notes
It is worth mentioning here a classical Theorem of Cannon [13], stating that the double suspension of a 3-dimensional homological sphere, e.g., Poincaré sphere, is \(S^5\).
Recall that a semiring is a set X with two binary operations \(+\) and \(\cdot \) and two constants 0 and 1 such that:
(1) \((X,+,0)\) is a commutative monoid with neutral element 0,
(2) \((X,\, \cdot \, , 1)\) is a monoid with neutral element 1,
(3) Multiplication is distributive with respect to addition, that is \((a+b) \cdot c = (a \cdot c) + (b \cdot c)\) and \(c \cdot (a+b) = (c \cdot a) + (c \cdot b)\),
(4) \(0\cdot a = 0 = a \cdot 0\).
This formula can be interpreted as a lift of a skein relation at the crossing leading to the vertex v (we review the relation vertex-crossing in Sect. 7.2). We do not use this observation in the paper, but one should keep it in mind together with the reflection of Everitt and Turner cited in the Introduction.
In [9] Bouchet gives a complete characterization of circle graphs by combining a minimal set of obstructions with what he calls local complementation operation.
We consider a contractible set to be homotopy equivalent to an empty wedge of spheres.
Given a connected graph G, let \(G_3\) be the graph obtained by replacing each edge of G by a path of length 3. Csorba shows that if G is not a tree and has n vertices and e edges, then \(I_{G_3}\) is homotopy equivalent to \(S^{e-1} \vee S^{n-1}\) [18]. This result follows immediately by using Corollary 6.9(3) \(n-1\) times till one gets the wedge of \(e-n+1\) triangles.
One can conjecture that for torus knots \(T(p,sp+r)\) with \(p>3\) and fixed \(r < s\), the real-extreme Khovanov homology converges to a finite abelian group when \(s \rightarrow \infty \). With much less confidence we can ask whether in the case \(r=1\) this limit is equal to the real-extreme Khovanov homology of \(T(p,p+1)\). For example, Lukas Lewark checked that for \(T(5,5s+1)\) the real-extreme Khovanov homology \(H^{12s+2,36s+7}T(5,5s+1)=Z_3\), for \(1 \le s \le 8\) [32]. Compare with [24, 37, 43] and with [35, Conjecture 6.1].
References
Adamaszek, M., Stacho, J.: Complexity of simplicial homology and independence complexes of chordal graphs. Comput. Geom. Theory Appl. 57, 8–18 (2016)
Babson, E.: Personal communication via e-mail to S. Chmutov, 16 Dec 2011
Bae, Y., Morton, H.R.: The spread and extreme terms of Jones polynomials. J. Knot Theory Ramif. 12, 359–373 (2003)
Barmak, J.A.: Star clusters in independence complexes of graphs. Adv. Math. 214, 33–57 (2013)
Bar-Natan, D., Morrison, S.: The Knot Atlas. http://katlas.org
Bar-Natan, D.: On Khovanov’s categorification of the Jones polynomial. Algebr. Geom. Topol. 2, 337–370 (2002)
Björner, A.: Topological methods. In: Graham, R., Grötschel, M., Lovász, L. (eds.) Handbook of Combinatorics, vol. II, pp. 1819–1872. North-Holland, Amsterdam (1995). Chapter 34
Borsuk, K.: On the imbedding of systems of compacta in simplicial complexes. Fund. Math. 35, 217–234 (1948)
Bouchet, A.: Circle graph obstructions. J. Comb. Theory Series B 60, 107–144 (1994)
Brown, R.: Elements of Modern Topology. McGraw Hill, London (1968)
Brown, R.: Topology and Groupoids. Booksurge LLC, Charleston, SC (2006)
Cabello, S., Jejcic, M.: Refining the Hierarchies of Classes of Geometric Intersection Graphs. e-print: arXiv:1603.08974
Cannon, J.W.: Shrinking cell-like decompositions of manifolds. Codimension three. Ann. Math. (2) 110(1), 83112 (1979)
Chartrand, G., Harary, F.: Planar permutation graphs. Ann. Inst. Henri Poincaré 3(4), 433438 (1967)
Chmutov, S.: Extreme parts of the Khovanov complex. Abstract of the talk delivered at the conference Knots in Washington XXI: Skein modules, Khovanov homology and Hochschild homology, George Washington University, 9–11 Dec 2005. Notes to the talk are available at https://people.math.osu.edu/chmutov.1/talks/2005/Wash-XXI-2005.pdf
Chmutov, S., Duzhin, S., Mostovoy, J.: Introduction to Vassiliev Knot Invariants. Cambridge University Press, Cambridge (2012)
Chmutov, S., Lando, S.K.: Mutant knots and intersection graphs. Algebr. Geom. Topol. 7, 1579–1598 (2007)
Csorba, P.: Subdivision yields Alexander duality on independence complexes. Electron. J. Comb. 16(2), Research paper 11 (2009)
Engström, A.: Complexes of directed trees and independence complexes. Discrete Math. 309(10), 3299–3309 (2009)
Everitt, B., Turner, P.: The homotopy theory of Khovanov homology. Algebr. Geom. Topol. 14, 2747–2781 (2014)
Ghier, L.: Double occurrence words with the same alternance graph. Ars Comb. 36, 57–64 (1993)
Głazek, K.: A Guide to the Literature on Semirings and Their Applications in Mathematics and Information Sciences. With Complete Bibliography. Kluwer Academic Press, Dordrecht (2002)
González-Meneses, J., Manchón, P.M.G., Silvero, M.: A geometric description of the extreme Khovanov cohomology. In: Proceedings of the Royal Society of Edinburgh, Section: A Mathematics (2016, to appear). e-print: arXiv:1511.05845
Gorsky, E., Oblomkov, A., Rasmussen, J.: On stable Khovanov homology of torus knots. Exp. Math. 22(3), 265–281 (2013)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Jonsson, J.: Simplicial complexes of graphs. Lecture Notes on Mathematics. Springer, Berlin (2005)
Jonsson, J.: On the topology of independence complexes of triangle-free graphs (2011). https://people.kth.se/jakobj/doc/preprints/indbip.pdf
Khovanov, M.: A categorification of the Jones polynomial. Duke Math. J. 101, 359–426 (2000)
Kozlov, D.M.: Complexes of directed trees. J. Comb. Theory Series A 88(1), 112–122 (1999)
Kronheimer, P.B., Mrowka, T.S.: Khovanov homology is an unknot detector. Publ. Math. l’IHÉS 113, 97–208 (2011)
Kucharik, M., Hofacker, I., Stadler, P.F., Qin, J.: Pseudoknots in RNA folding landscapes. Bioinformatics 32(2), 187–194 (2016)
Lewark, L.: Personal communication, 26 Sept 2016
Manchón, P.M.G.: Extreme coeffcients of the Jones polynomial and graph theory. J. Knot Theory Ramif. 13(2), 277–295 (2004)
Nagel, U., Reiner, V.: Betti numbers of monomial ideals and shifted skew shapes. Electron. J. Comb. 16, 2 (2009)
Przytycki, J. H., Sazdanovic, R.: Torsion in Khovanov homology of semi-adequate links. Fund. Math. 225, 277–303 (2014). e-print: arXiv:1210.5254
Shumakovitch, A.: KhoHo—a program for computing and studying Khovanov homology. http://github.com/AShumakovitch/Khoho
Stosic, M.: Homological thickness and stability of torus knots. Algebr. Geom. Topol. 7, 261–284 (2007)
Traldi, L.: The transition matroid of a 4-regular graph: an introduction. Eur. J. Comb. 50, 180–207 (2015)
Viro, O.: Khovanov homology, its definitions and ramifications. Fund. Math. 184, 317–342 (2004)
Vernizzi, G., Orland, H., Zee, A.: Prediction of RNA pseudoknots by Monte Carlo simulations. e-print: arXiv:q-bio/0405014
Welsh, D.: Complexity: knots, colourings and countings. London Mathematical Society Lecture Note Series no. 186. Cambridge University Press, Cambridge (1993)
Wessel, W., Pöschel, R.: On circle graphs. In: Sachs, Horst, Graphs, Hypergraphs and Applications: Proceedings of the Conference on Graph Theory held in Eyba, Teubner-Texte zur Mathematik, vol. 73, p. 207210 (1984)
Willis, M.: Stabilization of the Khovanov homotopy type of torus links. Int. Math. Res. Not. 11, 3350–3376 (2017). doi:10.1093/imrn/rnw127
Acknowledgements
J. H. Przytycki was partially supported by Simons Collaboration Grant-316446, and M. Silvero was partially supported by MTM2013-44233-P and FEDER. We would like to thank Michał Adamaszek and Victor Reiner for many useful discussions. In particular, Reiner helped us with the original version of Sect. 2.2. The authors are grateful to the Institute of Mathematics of the University of Seville (IMUS) and the Institute of Mathematics of the University of Barcelona (IMUB) for their hospitality.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Przytycki, J.H., Silvero, M. Homotopy type of circle graph complexes motivated by extreme Khovanov homology. J Algebr Comb 48, 119–156 (2018). https://doi.org/10.1007/s10801-017-0794-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801-017-0794-y