Jan 01, 1970
作者:
(1) 江藤优希
这些滑轮具有 T 作用,并且所有箭头都是 T 等变的。通过取移动部分,我们得到以下精确序列:
运动部分可以描述为
另一方面,我们有
这些计算给出了所需的公式。
通过进行与前面证明类似的计算,我们可以建立以下公式。
利用上述引理,我们可以计算 (α, 1) 类型图的贡献。
命题 4.15。
证明首先,我们使用双射 Φ1 重写左边,如下所示:
利用引理 4.11、引理 4.12 和引理 4.13,我们得到
4.4. (α, 2)型图的贡献. (α, 2) 型图的贡献可按如下方式计算。