Vertical-to-horizontal trace essential-surjectivity conjecture

Let vTr(SBim)\operatorname{vTr}(\operatorname{SBim}) and hTr(SBim)\operatorname{hTr}(\operatorname{SBim}) denote the vertical and horizontal traces of the category of Soergel bimodules, and let Kar\operatorname{Kar} denote Karoubi completion. Trace essential-surjectivity conjecture. The natural fully faithful functor

Kar(vTr(SBim))Kar(hTr(SBim))\operatorname{Kar}(\operatorname{vTr}(\operatorname{SBim}))\hookrightarrow\operatorname{Kar}(\operatorname{hTr}(\operatorname{SBim}))

is essentially surjective up to grading shifts. This would identify the Karoubi-completed vertical and horizontal trace categories, modulo grading shifts, despite the preceding observation that the corresponding bounded homotopy functor need not be essentially surjective outside type AA. The paper presents this as an expectation and gives no proof or disproof.

Sources & referencesView supporting material

Primary source

Eugene Gorsky and Paul Wedrich, “Evaluations of annular Khovanov–Rozansky homology”, arXiv:1904.04481 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.