Abstract:In "Homfly polynomial via an invariant of colored plane graphs", Murakami, Ohtsuki, and Yamada provide a state-sum description of the level $n$ Jones polynomial of an oriented link in terms of a suitable braided monoidal category whose morphisms are $\mathbb{Q}[q,q^{-1}]$-linear combinations of oriented trivalent planar graphs, and give a corresponding description for the HOMFLY-PT polynomial. We extend this construction and express the Khovanov-Rozansky homology of an oriented link in terms of a combinatorially defined category whose morphisms are equivalence classes of formal complexes of (formal direct sums of shifted) oriented trivalent plane graphs. By working combinatorially, one avoids many of the computational difficulties involved in the matrix factorization computations of the original Khovanov-Rozansky formulation: one systematically uses combinatorial relations satisfied by these matrix factorizations to simplify the computation at a level that is easily handled. By using this technique, we are able to provide a computation of the level $n$ Khovanov-Rozansky invariant of the 2-strand braid link with $k$ crossings, for arbitrary $n$ and $k$, confirming and extending previous results and conjectural predictions by Anokhina-Morozov, Beliakova-Putyra-Wehrli, Carqueville-Murfet, Dolotin-Morozov, Gukov-Iqbal-Kozcaz-Vafa, Nizami-Munir-Sohail-Usman, and Rasmussen.

Robertson's conjecture and universal finite generation in the homology of graph braid groups

Classifying spaces for families of abelian subgroups of braid groups, RAAGs and graphs of abelian groups

Universal deformations of the finite quotients of the braid group on 3 strands

Tautological relations and integrable systems

On finite generation in magnitude (co)homology, and its torsion

Homotopy braid groups are torsion-free

Brieskorn spheres, cyclic group actions and the Milnor conjecture

Braid groups, free groups, and the loop space of the 2-sphere

Distinguished categories and the Zilber-Pink conjecture

Equivariant Cohomology Chern Numbers Determine Equivariant Unitary Bordism for Torus Groups

A braided monoidal $(\infty,2)$-category of Soergel bimodules

Borsuk--Ulam property for graphs II: The $\mathbb{Z}_n$-action

Braid and Phantom

On finite generation in magnitude (co)homology and its torsion

Homology of Braid Groups, the Burau Representation, and Points on Superelliptic Curves over Finite Fields

Taut foliations in branched cyclic covers and left-orderable groups

A Categorical Approach To The Baum–Connes Conjecture For Étale Groupoids

Bordism and resolution of singularities

Farber's conjecture and beyond

Computing the Khovanov homology of 2 strand braid links via generators and relations