Jan 01, 1970
Auteurs:
(1) Wahei Hara ;
(2) Yuki Hirano.
Cette annexe rappelle les définitions et propriétés fondamentales des catégories de factorisation dérivées. Voir [Pos, BFK1, BDFIK, Hir1, Hir3] pour plus de détails.
où W dans le modèle LG de gauche désigne f ∗W par abus de notation, et le foncteur (AA) définit le foncteur dérivé de droite
Ce qui suit montre une version équivariante et factorisée d'une équivalence basculante.
Lemme A.6 ([BFK1, Proposition 3.20][1]). Supposons que les sections s et t ∗ soient régulières. Ensuite il y a les isomorphismes
Cet article est disponible sur arxiv sous licence CC0 1.0 DEED.
[1] Il y a une faute de frappe dans cette dernière affirmation dans la loc. cit.