Лёня Посицельский's Journal
 
[Most Recent Entries] [Calendar View]

Wednesday, January 14th, 2015

    Time Event
    10:58a
    Дедуализирующий комплекс для пары коалгебр над полем
    Продолжение серии сентябрьских постингов http://posic.livejournal.com/1106295.html , http://posic.livejournal.com/1109490.html , http://posic.livejournal.com/1114558.html и декабрьского http://posic.livejournal.com/1153742.html

    Пусть C и D -- две коассоциативные коалгебры с коединицами над одним и тем же полем k. Конечный комплекс C-D-бикомодулей B над k называется дедуализирующим комплексом для пары коалгебр C и D, если

    - B имеет конечную проективную размерность как комплекс над C-comod и как комплекс над comod-D
    - естественные отображения C* → RHomDop(B,B) и D* → RHomC(B,B) являются (квази)изоморфизмами;
    - коалгебра С кокогерентна слева, коалгебра D кокогерентна справа, и бикомодули когомологий комплекса B являются конечно копредставимыми левыми C-комодулями и конечно копредставимыми правыми D-комодулями.

    Теорема. Для любого (в обозначениях препринта Contraherent cosheaves) символа * = b, +, -, ∅, abs+, abs- или abs, производные функторы RHomC(B,−) и B⊙LD− задают эквивалентность "обычных" производных категорий D*(C-comod) и D*(D-contra) левых C-комодулей и левых D-контрамодулей.

    (Продолжение следует.)
    11:02a
    Еще два архивных обновления
    Weakly curved A-infinity algebras over a topological local ring: четвертая версия -- http://arxiv.org/abs/1202.2697

    Categorical Bockstein sequences: четвертая версия -- http://arxiv.org/abs/1404.5011

    Можно следить по http://arxiv.org/a/positselski_l_1.html

    << Previous Day 2015/01/14
    [Calendar]
    Next Day >>

Лёня Посицельский   About LJ.Rossia.org