ScalingStacks

Proposition 4.4. The maps $\tau_{(W,S)}$ come uniquely from ${\mathbf{Z}}[q^{\pm 1}]$-linear maps ${\mathcal{H}}_{(W,S)}\to R$. They define a Markov trace on ${\mathcal{F}}$.