Jan 01, 1970
作者:
(1)原和平;
(2)平野由希。
本附录回顾了导出分解类别的定义和基本属性。有关详细信息,请参阅 [Pos, BFK1, BDFIK, Hir1, Hir3]。
其中左侧 LG 模型中的 W 滥用符号表示 f ∗W,而函子 (AA) 定义了右侧导出函子
以下显示了倾斜等价的等变和因式分解版本。
引理 A.6 ([BFK1,命题 3.20][1])。假设截面 s 和 t ∗ 是正则的。则有同构
[1] 同上,后一个断言有一个拼写错误。