Различия
Показаны различия между двумя версиями страницы.
| Предыдущая версия справа и слева Предыдущая версия Следующая версия | Предыдущая версия | ||
|
s_k_homological_algebra_2024_2025 [09.04.2025 23:28] gordienko |
s_k_homological_algebra_2024_2025 [26.06.2025 15:37] (текущий) gordienko |
||
|---|---|---|---|
| Строка 11: | Строка 11: | ||
| - | Экзамен по задачам весеннего семестра состоится **26 мая** вместо последней лекции. | + | /* Экзамен по задачам весеннего семестра состоится **26 мая** вместо последней лекции.*/ |
| **[[https:// | **[[https:// | ||
| - | **[[https:// | + | **[[https:// |
| Решённые задачи нужно будет принести в **отдельной** тонкой тетради. На экзамене будут заданы задачи и вопросы на понимание по программе ниже. Число вопросов и задач будет зависеть от того, насколько много задач вам удастся сделать дома из списка выше, и того, насколько часто я вас видел на лекциях. На экзамене ничем нельзя будет пользоваться, | Решённые задачи нужно будет принести в **отдельной** тонкой тетради. На экзамене будут заданы задачи и вопросы на понимание по программе ниже. Число вопросов и задач будет зависеть от того, насколько много задач вам удастся сделать дома из списка выше, и того, насколько часто я вас видел на лекциях. На экзамене ничем нельзя будет пользоваться, | ||
| Строка 113: | Строка 113: | ||
| 23) **17.03.2025.** Спектральные последовательности. Морфизм спектральных последовательностей. Лемма об отображении. Сходимость спектральной последовательности. Теорема сравнения. | 23) **17.03.2025.** Спектральные последовательности. Морфизм спектральных последовательностей. Лемма об отображении. Сходимость спектральной последовательности. Теорема сравнения. | ||
| - | 24) **24.03.2025.** Ограниченность спектральной последовательности. Спектральная последовательность фильтрованного комплекса. Классическая теорема сходимости. Спектральная последовательность двойного комплекса (начали). | + | 24) **24.03.2025.** Ограниченность спектральной последовательности. Спектральная последовательность фильтрованного комплекса. Классическая теорема сходимости. Спектральная последовательность двойного комплекса (начало). |
| - | 25) **31.03.2025.** Спектральная последовательность двойного комплекса. | + | 25) **31.03.2025.** Спектральная последовательность двойного комплекса |
| __Упражнение.__ Докажите лемму 3x3, превратив соответствующую диаграмму в двойной комплекс и рассмотрев его спектральную последовательность. | __Упражнение.__ Докажите лемму 3x3, превратив соответствующую диаграмму в двойной комплекс и рассмотрев его спектральную последовательность. | ||
| Строка 121: | Строка 121: | ||
| __Упражнение.__ | __Упражнение.__ | ||
| - | Точная последовательность младших членов спектральной последовательности. Альтернативное доказательство балансировки функторов Tor и Ext. Резольвента Картана-Эйленберга комплекса. | + | Точная последовательность младших членов спектральной последовательности. Альтернативное доказательство балансировки функторов Tor и Ext. Резольвента Картана-Эйленберга комплекса |
| - | 26) **07.04.2025.** Резольвента Картана-Эйленберга комплекса (продолжение). Спектральная последовательность Гротендика. Спектральная последовательность Линдона-Хохшильда-Серра. | + | 26) **07.04.2025.** Резольвента Картана-Эйленберга комплекса (окончание). Спектральная последовательность Гротендика. Спектральная последовательность Линдона-Хохшильда-Серра |
| - | (продолжение следует) | + | 27) **09.04.2025.** Спектральная последовательность Линдона-Хохшильда-Серра |
| + | Формула Хопфа (начало). | ||
| + | |||
| + | |||
| + | 28) **14.04.2025.** Формула Хопфа (окончание). Универсальные центральные расширения (начало). | ||
| + | |||
| + | __Упражнение.__ Пусть G - совершенная группа, | ||
| + | |||
| + | __Упражнение.__ Пусть 0 → A → B → G → 0 — некоторое центральное расширение, | ||
| + | группы B и G совершенны. Покажите, | ||
| + | H_2 (B; Z) → H_2 (G; Z) → A → 0. | ||
| + | |||
| + | 29) **21.04.2025.** Универсальные центральные расширения (окончание). Симплициальная категория (в т.ч. пополненная). (Ко)симплициальные объекты. Операторы взятия (ко)грани и (ко)вырождения. (Ко)симплициальные соотношения. Нормальная форма морфизма в симплициальной категории. Задание (ко)симплициальных объектов. | ||
| + | |||
| + | __Упражнение.__ Доказать косимплициальные соотношения в пополненной симплициальной категории. | ||
| + | |||
| + | 30) **23.04.2025.** Действие факторгруппы на гомологиях нормальной подгруппы (забыли рассказать раньше). Сингулярные (ко)гомологии | ||
| + | Абсолютно свободные алгебраические структуры. | ||
| + | | ||
| + | |||
| + | 31) **28.04.2025.** Относительно свободные алгебраические структуры. | ||
| + | Монады и комонады. Алгебры над монадами. Симплициальные объекты, | ||
| + | |||
| + | 32) **05.05.2025.** Комонадические (ко)гомологии. Абелевы группы в категориях. | ||
| + | |||
| + | __Упражнение.__ Покажите, | ||
| + | |||
| + | |||
| + | 33) **12.05.2025.** Модули Бека. | ||
| + | |||
| + | __Упражнение.__ Как устроены модули Бека в категории модулей над ассоциативным кольцом с 1? | ||
| + | |||
| + | __Упражнение.__ Вычислите когомологии Барра - Бека произвольного модуля над ассоциативной алгеброй R с 1 над полем с коэффициентами в произвольном модуле Бека в категории R-модулей. | ||
| + | |||
| + | __Упражнение.__ Как устроены модули Бека в категории алгебр Ли над полем? | ||
| + | |||
| + | Когомологии Барра - Бека с коэффициентами в модуле Бека. | ||
| + | |||
| + | 34) **19.05.2025.** Теорема Барра - Бека об ациклических моделях. Совпадение комонадических и обычных когомологий групп (проверка условий оставлена в качестве упражнения). | ||
| + | |||
| + | Темы, которые мы рассмотреть **не успели**. Комплекс Мура. Теорема Маклейна о нормализации. Соответствие Дольда - Кана. Отображение Александера - Уитни. Теорема Эйленберга - Зильбера. | ||
| **[[https:// | **[[https:// | ||
| Строка 136: | Строка 176: | ||
| **[[https:// | **[[https:// | ||
| + | |||
| + | **[[https:// | ||
| __Литература: | __Литература: | ||