A Kirby color for Khovanov homology

. We construct a Kirby color in the setting of Khovanov homology: an ind-object of the annular Bar-Natan category that is equipped with a natural handle slide isomorphism. Using functo- riality and cabling properties of Khovanov homology, we define a Kirby-colored Khovanov homology that is invariant under the handle slide Kirby move, up to isomorphism. Via the Manolescu–Neithalath 2-handle formula, Kirby-colored Khovanov homology agrees with the gl 2 skein lasagna module, hence is an invariant of 4-dimensional 2-handlebodies.

[1]  Hoel Queffelec.  Gl2 Foam Functoriality and Skein Positivity , 2022, 2209.08794.

[2]  K. Walker,et al.  Skein lasagna modules and handle decompositions , 2022, Advances in Mathematics.

[3]  L. Sutton,et al.  $$\text {SL}_{2}$$ SL 2 tilting modules in the mixed case , 2021, Selecta Mathematica.

[4]  Ciprian Manolescu,et al.  Skein lasagna modules for 2-handlebodies , 2020, Journal für die reine und angewandte Mathematik (Crelles Journal).

[5]  Paul Wedrich,et al.  Derived Traces of Soergel Categories , 2020, 2002.06110.

[6]  S. Ryom-Hansen,et al.  The nil-blob algebra: An incarnation of type A˜1 Soergel calculus and of the truncated blob algebra , 2019, 2001.00073.

[7]  K. Walker,et al.  Invariants of 4–manifolds from Khovanov–Rozansky link homology , 2019, Geometry & Topology.

[8]  Paul Wedrich,et al.  Evaluations of annular Khovanov–Rozansky homology , 2019, Mathematische Zeitschrift.

[9]  S. Wehrli,et al.  On the functoriality of 𝔰𝔩2 tangle homology , 2019, Algebraic & Geometric Topology.

[10]  C. Stroppel,et al.  Semi-Infinite Highest Weight Categories , 2018, Memoirs of the American Mathematical Society.

[11]  Paul Wedrich,et al.  Khovanov homology and categorification of skein modules , 2018, Quantum Topology.

[12]  D. Tubbenhauer,et al.  Functoriality of colored link homologies , 2017, Proceedings of the London Mathematical Society.

[13]  Paul Wedrich.  Exponential growth of colored HOMFLY-PT homology , 2016, Advances in Mathematics.

[14]  David E. V. Rose,et al.  Sutured annular Khovanov-Rozansky homology , 2015, 1506.08188.

[15]  Anthony M. Licata,et al.  Annular Khovanov homology and knotted Schur–Weyl representations , 2015, Compositio Mathematica.

[16]  Anna Beliakova,et al.  Current algebras and categorified quantum groups , 2014, J. Lond. Math. Soc..

[17]  David E. V. Rose,et al.  The $\mathfrak{sl}_n$ foam 2-category: a combinatorial formulation of Khovanov-Rozansky homology via categorical skew Howe duality , 2014, 1405.5920.

[18]  C. Blanchet.  An oriented model for Khovanov homology , 2010, 1405.7246.

[19]  Heather M. Russell.  The Bar-Natan skein module of the solid torus and the homology of (n, n) Springer varieties , 2008, 0805.0286.

[20]  U. Kaiser.  Frobenius Algebras and Skein Modules of Surfaces in 3-Manifolds , 2008, 0802.4068.

[21]  C. Frohman,et al.  A NOTE ON THE BAR-NATAN SKEIN MODULE , 2006, math/0602262.

[22]  柏原 正樹,et al.  Categories and Sheaves , 2005 .

[23]  D. Bar-Natan.  Khovanov's homology for tangles and cobordisms , 2004, math/0410495.

[24]  Adam S. Sikora,et al.  Categorification of the Kauffman bracket skein module of I-bundles over surfaces , 2004, math/0409414.

[25]  M. Khovanov,et al.  Matrix factorizations and link homology , 2004, math/0401268.

[26]  A. Virelizier.  Kirby Elements and Quantum Invariants , 2003, math/0312337.

[27]  Thang T. Q. Lê,et al.  The colored Jones function is q-holonomic , 2003, math/0309214.

[28]  C. Blanchet.  INTRODUCTION TO QUANTUM INVARIANTS OF 3-MANIFOLDS, TOPOLOGICAL QUANTUM FIELD THEORIES AND MODULAR CATEGORIES , 2003 .

[29]  M. Khovanov.  Categorifications of the colored Jones polynomial , 2003, math/0302060.

[30]  M. Saito,et al.  Knotted Surfaces and Their Diagrams , 1997 .

[31]  J. Barrett,et al.  Temperley-Lieb Recoupling Theory and Invariants of 3-Manifolds , 1994 .

[32]  W. Lickorish.  Calculations with the temperley—Lieb algebra , 1992 .

[33]  Vladimir Turaev,et al.  Invariants of 3-manifolds via link polynomials and quantum groups , 1991 .

[34]  Edward Witten,et al.  Quantum field theory and the Jones polynomial , 1989 .

[35]  R. Lathe.  Phd by thesis , 1988, Nature.

[36]  Robion Kirby,et al.  A calculus for framed links inS3 , 1978 .

[37]  Dominic R. Verity,et al.  ∞-Categories for the Working Mathematician , 2018 .

[38]  Lyla Fadali.  Bar-Natan Skein Modules in Black and White , 2016 .

[39]  Igor Frenkel,et al.  A Categorification of the Jones Polynomial , 2008 .

[40]  Takuya Kon-no,et al.  Transactions of the American Mathematical Society , 1996 .

[41]  B. Day.  On closed categories of functors , 1970 .