Author:
(1) Yuki Koto
These sheaves are endowed with T-actions, and all arrows are T-equivariant. By taking the moving parts we obtain the following exact sequence:
The moving part can be described as
On the other hand, we have
These computations give the desired formula.
By performing calculations similar to those in the previous proof, we can establish the following formulas.
Using the above lemmas, we can compute the contributions of the graphs of type (α, 1).
Proposition 4.15.
Proof. To begin with, we rewrite the left-hand side using the bijection Φ1 as follows:
By using Lemma 4.11, Lemma 4.12 and Lemma 4.13, we have
4.4. Contribution of the (α, 2)-type graphs. The contribution of the (α, 2)-type graphs can be computed as follows.
This paper is available on arxiv under CC 4.0 license.