Jan 01, 1970
作者:
(1)原和平;
(2)平野由希。
4.1.跨墙与倾斜等价.本节表明魔法窗的跨墙对应于倾斜模块引起的等价。
证明。根据 Teleman 量化定理 [Tel],对于所有 k ∈ Z,自然限制映射都会产生同构
等价性是可交换的。
证明. (1) 该伴随给出同构
因此我们只需证明 (4.E) 和 (4.F) 的右侧是同构函子。但这是由自然同构得出的
引理4.8。符号与上面相同。
(2)这也由引理 3.19 和 µδ,δ′ 是双射的事实得出。
(3)这是(2)的结果。
对于每个 F ∈ F(δ,δ′)
定理4.9。符号与上面相同。