Новости псевды
Mar. 15th, 2017 08:48 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicА вот теперь, написав 54 страницы -- http://positselski.narod.ru/pseudo.pdf -- я уперся в некую трудность, про которую смутно помню, что уже бился об нее лбом, когда писал про MGM-двойственность два года назад.
Пока что получается так, что в ситуации с модулями все, вроде бы, работает (о чем уже дописано и выложено в Архив). В ситуациях же с комодулями или модулями кручения, триангулированные эквивалентности между производными категориями каких-то там точных категорий я построить по псевдо-дуализирующему комплексу вроде бы могу.
А вот доказать, что эти производные категории точных категорий являются псевдо-производными категориями всей в целом абелевой категории комодулей/модулей кручения/контрамодулей не удается мне. Замкнутость относительно прямых сумм/произведений не удается доказать для этих точных подкатегорий. А без этого моя наука про псевдо-производные категории не ездит.
Пока что получается так, что в ситуации с модулями все, вроде бы, работает (о чем уже дописано и выложено в Архив). В ситуациях же с комодулями или модулями кручения, триангулированные эквивалентности между производными категориями каких-то там точных категорий я построить по псевдо-дуализирующему комплексу вроде бы могу.
А вот доказать, что эти производные категории точных категорий являются псевдо-производными категориями всей в целом абелевой категории комодулей/модулей кручения/контрамодулей не удается мне. Замкнутость относительно прямых сумм/произведений не удается доказать для этих точных подкатегорий. А без этого моя наука про псевдо-производные категории не ездит.
