A_бесконечность-алгебры

[posic]

Все же начиная с некоторого момента начинают требовать операд для своего понимания. Вот утверждение, которое без операд у меня не доказывается: локализация категории A_бесконечность-алгебр по строгим квазиизоморфизмам эквивалентна ее локализации по A_бесконечность-квазиизоморфизмам. Доказательство требует конструкции свободной A_бесконечность-алгебры, порожденной градуированным векторным пространством ("A_бесконечность-кобар-конструкции" для коассоциативной коалгебры).

A propos: интересно, рассматривал ли кто-нибудь бесконечность-операды? Бесконечность-операду можно было бы определить как структуру DG-кооперады на косвободной коопераде...

P.S. Напишу-ка я про это дело подробнее. Есть две категории A_бесконечность-алгебр -- категория A_бесконечность алгебр и A_бесконечность-морфизмов и категория A_бесконечность-алгебр и строгих морфизмов. Первая есть категория косвободных (если забыть дифференциал) DG-коалгебр, а вторая есть категория DG-алгебр над DG-операдой A_бесконечность. Эквивалентность этих двух теорий есть разновидность кошулевой двойственности для DG-(ко)алгебр над DG-(ко)операдами.

Аналогично, есть две DG-категории A_бесконечность-модулей над фиксированной A-бесконечность-алгеброй A -- с A_бесконечность-морфизмами и со строгими морфизмами. Первая есть DG-категория косвободных DG-комодулей над DG-коалгеброй C = Bar(A), а вторая есть категория DG-модулей над обертывающей DG-алгеброй U(A) = Cob(C). Эквивалентность этих двух теорий есть разновидность кошулевой двойственности для DG-(ко)модулей над DG-(ко)алгебрами.

Сказанное в последних двух абзацах относится к A_бесконечность-алгебрам без единицы; ненулевые A_бесконечность-алгебры со строгой единицей описываются как косвободные (если забыть CDG-структуру) CDG-коалгебры.

Если определить бесконечность-операды как структуры DG-кооперад на косвободных кооперадах, то категория бесконечность-операд и бесконечность-морфизмов между ними будет категорией косвободных (если забыть дифференциал) DG-кооперад, а категория бесконечность-операд и строгих морфизмов между ними будет описываться как?

Comments

[leblon.livejournal.com]

А существует ли понятие моноидальной А-бесконечность категории?

[posic.livejournal.com]

Не знаю. Для начала можно было бы попробовать определить понятие декартова произведения A_бесконечность-категорий. Это по существу то же самое, что тензорное произведение A_бесконечность-алгебр. Я не знаю, как построить такую вещь. И потом -- моноидальная DG-категория с одним объектом это коммутативная DG-алгебра, так? А моноидальная A_бесконечность-категория с одним объектом это должно быть что -- E_бесконечность-алгебра?

[hippie57.livejournal.com]

Yes, it does exist, in several versions, one of the definitions was given by Liubashenko if I am not mistaken. One should start from trying to define the tensor product of A-infty algebras.