Vertical-to-horizontal trace essential-surjectivity conjecture
Let vTr(SBim)\operatorname{vTr}(\operatorname{SBim})vTr(SBim) and hTr(SBim)\operatorname{hTr}(\operatorname{SBim})hTr(SBim) denote the vertical and horizontal traces of the category of Soergel bimodules, and let…