**Data**

- Title: HOMFLYPT homology for links in handlebodies via type $\mathsf{A}$ Soergel bimodules
- Authors: David E.V. Rose and Daniel Tubbenhauer
- Status: Preprint. Last update: Mon, 19 Aug 2019 15:31:29 UTC
- ArXiv link: https://arxiv.org/abs/1908.06878
- LaTex Beamer presentation: Slides1, Slides2, Slides3, Slides4, Slides5

**Abstract**

**A few extra words**

Khovanov's categorification of this approach replaces the Hecke algebra by the corresponding Hecke category, i.e. the category of type $A$ Soergel bimodules. The latter admits a categorical action of $\mathrm{Br}(n)$ via so-called Rouquier complexes, and the link homology results by taking Hochschild (co)homology, which provides a categorical analog of the Jones-Ocneanu trace.

In this paper, we remedy this by constructing generalizations of the triply-graded homology for links in $3$-manifolds distinct from the $3$-sphere, namely in genus $g$ handlebodies. (For $g=1$, this is the case of links in the thickened annulus.) Our key insights are: (1) to consider various generalizations of the classical braid group that are related to links in handlebodies, and (2) that certain structures in categorical representation theory model the topology of the handlebody.

Regarding (1), we consider the genus $g$ handlebody braid $\mathrm{Br}(g,n)$ (the classical story here is the $g=0$ case, where $\mathrm{Br}(n)=\mathrm{Br}(0,n)$) for which analogs of Alexander's and Markov's theorem hold. analogues of Alexander's and Markov's Theorems hold for links in the genus $g$ handlebody.

Braids in $\mathrm{Br}(g,n)$ can be pictured as classical braids in the presence of non-intersecting ``core strands''. We then obtain a link in a handlebody by allowing the tops and bottoms of the core strands to meet at $\infty$, and by taking a closure of the ``usual strands''. The latter then form a link in the complement of the (glued) core strands, which is a handlebody.

Regarding (2), it turns out that a slightly adjusted presentation is more suitable: We expand the point at infinity to a small segment, which we move close to the top of the core strands. As a result, we can view the closure of the ``usual strands'' as a link in the handlebody given by the complement of the graph determined by the core strands and the segment at infinity, e.g.:

In this modified presentation we are able to assign an invariant to handlebody link using known structures in categorical representation theory. In this way, we obtain a triply-graded homology for such links. We show that this indeed produces a well-defined invariant of handlebody links, and that it is sensitive to the topology of the handlebody.

Last, but not least, let us mention the relation from $\mathrm{Br}(g,n)$ to classical Artin-Tits braid groups, which is summarized by It is an interesting question to pursue this connection to Artin-Tits groups further. In fact, our motivation for this project, from which we have now somewhat strayed, was to further our understanding of the connection between low-dimensional topology and Artin-Tits groups.