| 9:22a |
Котензорное произведение абелевых групп кручения
Любимая игрушечная задачка -- как определить тензорную структуру на категории абелевых групп кручения, чтобы группа Q/Z была единичным объектом. Правильный ответ, конечно -- функтор TorZ1. Но как бы это попроще сконструировать явно? Время от времени начинаю думать на эту тему, что-то придумываю, потом обратно забываю; и так всю жизнь. (См., например, раздел 1.9 препринта 1202.2697.) |
| 9:38a |
Простой пример, который украсил бы полубесконечную книжку
Инд-про-аффинная инд-про-схема, плоская над инд-конечной инд-схемой над полем -- это то же самое, что полукоммутативная полуассоциативная полуалгебра, коплоская над кокоммутативной коассоциативной коалгеброй. (Соответствие не вполне тривиально -- используется конструкция перехода от тензорного к котензорному произведению из главы 10 полубеск. книжки.) |