ScalingStacks

Given z∈Zoz\in Z_{o}, we denote by C​(z)+C(z)^{+} the set of c∈C⁡(z)c\in C(z) such that there is an oriented path γ\gamma in ZZ with mc+​(γ)=1m_{c}^{+}(\gamma)=1. Note that C⁡(z)=C​(z)+​∐ι⁡(C​(z)+)C(z)=C(z)^{+}\coprod\iota(C(z)^{+}). Note also that given ζ\zeta an oriented homotopy class of paths in ZZ, we have

(7.3.2) mc​(ζ)​ec+mι⁡(c)​(ζ)​eι⁡(c)=(mc+​(ζ)+mι⁡(c)−​(ζ))​ec​ for ​z∈Zo​ and ​c∈C​(z)+.m_{c}(\zeta)e_{c}+m_{\iota(c)}(\zeta)e_{\iota(c)}=(m_{c}^{+}(\zeta)+m_{\iota(c)}^{-}(\zeta))e_{c}\text{ for }z\in Z_{o}\text{ and }c\in C(z)^{+}.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2