![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicМожно вот как: пусть точный функтор между триангулированными категориями консервативен (отражает изоморфизмы, или, что то же самое, переводит ненулевые объекты в ненулевые). Тогда если он сюръективен на морфизмах, то он также и инъективен на морфизмах.
(Это я посмотрел статью Д.О. про особенности и модель Ландау-Гинзбурга. Ну, что сказать? Там, конечно, само собой напрашивается рассмотрение неаффинного случая и производной категории второго рода, но превратить это в теорему мне не удается -- похоже, мое понимание алгебраической геометрии недостаточно.)
(Это я посмотрел статью Д.О. про особенности и модель Ландау-Гинзбурга. Ну, что сказать? Там, конечно, само собой напрашивается рассмотрение неаффинного случая и производной категории второго рода, но превратить это в теорему мне не удается -- похоже, мое понимание алгебраической геометрии недостаточно.)
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2009-05-19 05:54 am (UTC)а бывает что проверить сюръективность (для всех пар объектов) проще чем изоморфизм?
no subject
Date: 2009-05-19 06:47 am (UTC)no subject
Date: 2009-05-21 05:10 pm (UTC)http://www2.math.uni-paderborn.de/index.php?id=9174&L=2
[вдруг тебе пригодится?]
no subject
Date: 2009-05-21 05:37 pm (UTC)no subject
Date: 2009-05-21 06:05 pm (UTC)