Jan 01, 1970
tác giả:
(1) Wahei Hara;
(2) Yuki Hirano.
Phụ lục này nhắc lại các định nghĩa và tính chất cơ bản của các phạm trù phân tích nhân tử dẫn xuất. Xem [Pos, BFK1, BDFIK, Hir1, Hir3] để biết thêm chi tiết.
trong đó W trong mô hình LG bên trái biểu thị f ∗W bằng cách lạm dụng ký hiệu và hàm tử (AA) xác định hàm tử dẫn xuất bên phải
Phần sau đây trình bày một phiên bản tương đương và phân tích nhân tử của một tương đương nghiêng.
Bổ đề A.6 ([BFK1, Mệnh đề 3.20][1]). Giả sử rằng các phần s và t ∗ là chính quy. Sau đó có sự đẳng cấu
Bài viết này có sẵn trên arxiv theo giấy phép CC0 1.0 DEED.
[1] Có lỗi đánh máy trong xác nhận sau trong loc. cit.