Jan 01, 1970
저자:
(1) 하라 와헤이;
(2) 히라노 유키.
이 부록에서는 파생 인수분해 범주의 정의와 기본 속성을 상기합니다. 자세한 내용은 [Pos, BFK1, BDFIK, Hir1, Hir3]을 참조하세요.
여기서 왼쪽 LG 모델의 W는 표기법을 남용하여 f *W를 나타내고, 펑터(AA)는 오른쪽 파생 펑터를 정의합니다.
다음은 틸팅 등가의 등변 및 인수분해 버전을 보여줍니다.
정리 A.6 ([BFK1, 제안 3.20][1]). 섹션 s와 t*가 규칙적이라고 가정합니다. 그런 다음 동형이 있습니다.
이 문서는 CC0 1.0 DEED 라이선스에 따라 arxiv에서 볼 수 있습니다.
[1] loc의 후자 주장에 오타가 있습니다. cit.