ScalingStacks

Corollary 4.6. The functors $H^{*}\operatorname{HH}\nolimits_{*}^{S}$ define a Markov $2$-trace on finite Coxeter groups with value in ${\mathcal{C}}_{S}=\bigl((P_{S}\operatorname{\!-modgr}\nolimits)^{\mathbf{Z}}\bigr)^{{\mathbf{Z}}}$ and with $T_{S,s,+}=[-1]\{1\}$ and $T_{S,s,-}=\operatorname{Id}\nolimits$.