[Recent Entries][Archive][Friends][User Info]
| Time | Text |
|---|---|
02:42 pm![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} kaledin[Link] | >Т.е. чтобы установить такой изоморфизм, придется. видимо, выделить какой-то неканонический класс "хороших морфизмов треугольников". Imenno. Durackij sposob ehto delat' ehto vernut'sya obratno na uroven' modelej (DG, ili kakikh pridetsya v closed model smysle). Umnyj -- aksiomatizirovat' situaciyu. Otchasti ehto sdelano v staroj stat'e Beilinsona "On the dervied category of perverse sheaves", lecture note 1289 (v appendiske pro "fil'trovannye proizvodnye kategorii"). U nego byla ochen' konkretnaya zadacha, emu nuzhen byl funktor sraveniya iz proizvodnoj ot yadra t-struktury, poehtomu on ogranichilsya kategoriyami fil'trovannykh ob'ektov (v chastnosti treugol'niki, takzhe i simpleksy bol'shej dliny). Obshchij formalizm ehto formalizm derivatorov, kotoryj v nastoyashchij moment v prigodnom vide ne propisan i ne sdelan. No budet sdelan rano ili pozdno. T.e. ponyatie, kotoroe ne vyzyvaet ottorzheniya -- ehto triangulirovannaya kategoriya plyus chto-to eshche, no chto-to eshche kanonicheskoe, kotoroe v primerakh est' i odno -- a ne modeli, kotorye byvayut raznye. Esli my gotovy vozit'sya s modelyami, triangulirovannye kategorii kak by i ne nuzhny. V principe, uzhe Beilinsonovskogo osnashcheniya hvataet na mnogoe -- naprimer, kak raz sejchas pro ehto dumal, vrode by K-teoriya vosstanavlivaetsya po nemu. |
| Reply: | |