В первой версии он считал, что два рода гомологий Хохшильда для DG-алгебры/категории совпадают, поскольку, дескать, если тотализовать бар-бикомплекс с помощью бесконечных произведений, все равно свободная резольвента получится. Тут целый ряд ошибок, конечно -- начиная с того, что даже если бы это было так, то нужного ответа бы не получилось, поскольку тотализация с помощью произведений не коммутирует с тензорным произведением. Кончая тем, что для вычисления Tor между DG-модулями нужна не просто свободная, а гомотопически свободная или гомотопически плоская резольвента. Впрочем даже и в самом наивном смысле слова такая резольвента свободной не будет, поскольку класс свободных модулей не замкнут относительно бесконечных произведений.
Во второй версии он просто пишет про гомологии Хохшильда второго рода для DG-категории curved modules, сравнивая их с аналогичными гомологиями исходной curved алгебры и вычисляя в случае матричных факторизаций.
no subject
Date: 2011-04-23 02:58 pm (UTC)no subject
Date: 2011-04-23 07:36 pm (UTC)Во второй версии он просто пишет про гомологии Хохшильда второго рода для DG-категории curved modules, сравнивая их с аналогичными гомологиями исходной curved алгебры и вычисляя в случае матричных факторизаций.