(no subject)

Читаю статью Тоена и Везози про "категорификацию производной категории пучков". Чувства странные. С одной стороны, многие слова и конструкции выглядят очень похоже на то, что у меня в 3-мерной топологической теории получается. С другой стороны, детали вроде другие. Т.е. или они что-то тривиальное пишут, так что совпадения с моей работой тоже не несут глубокого смысла. Либо они что-то умное придумали, и тогда мой скорбный труд тоже преисполнен какого-то высокого смысла.

Более детально. У них 2-категория, ассоциированная со схемой Х, - и у меня тоже (хоть моя Х на самом деле комплексное симплектическое многообразие). У них симметрическая моноидальная структура на 2-категории - а у меня моноидальная. У них категории морфизмов триангулированы - и у меня тоже (но у меня функтор сдвига в квадрате равен единичному). У них категория эндоморфизмов единичного объекта в 2-категории эквивалентна производной категории Х - и у меня тоже (правда, у меня получается производная категория 2-периодических комплексов пучков на Х).

Дальше, правда, не очень похоже. У меня объекты 2-категории - это комплексные лагранжевы подмногообразия в Х х Х. У них - какие-то совершенные пучки над Х со структурой алгебры. Потом у них все должно быть функториально по Х, а у меня наверное роль отображений между Х и Y играют лагранжевы соответствия.