ScalingStacks

Lemma 2.4.2. [04NX]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Lemma 2.4.2.

Let C⊆ZC\subseteq Z be the curve associated with the cone σ∩σ′\sigma\cap\sigma^{\prime}. We have

{Wiσ′=Wiσ−(C⋅Di)​Wi0σ for ​i∈Lσ​σ′Wi∞σ′=−Wi0σWjσ′=Wjσ−(C⋅Dj)​Wi0σ for ​j∈J\begin{cases}W^{\sigma^{\prime}}_{i}=W^{\sigma}_{i}-(C\cdot D_{i})W^{\sigma}_{i_{0}}&\textrm{ \hskip 10.22217ptfor }i\in L_{\sigma\sigma^{\prime}}\\ W^{\sigma^{\prime}}_{i_{\infty}}=-W^{\sigma}_{i_{0}}&\\ W^{\sigma^{\prime}}_{j}=W^{\sigma}_{j}-(C\cdot D_{j})W^{\sigma}_{i_{0}}&\textrm{ \hskip 10.22217ptfor }j\in J\end{cases}

In other words, the relation Wσ′=(Mℬ′​ℬ⊗Id)WσW^{\sigma^{\prime}}=(M_{\mathcal{B}^{\prime}\mathcal{B}}\otimes\Id)W^{\sigma} holds.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.