Различия
Показаны различия между двумя версиями страницы.
| Предыдущая версия справа и слева Предыдущая версия Следующая версия | Предыдущая версия | ||
|
s_k_rings_and_algebras_2025_2026 [08.02.2026 14:33] gordienko |
s_k_rings_and_algebras_2025_2026 [17.04.2026 09:44] (текущий) gordienko |
||
|---|---|---|---|
| Строка 8: | Строка 8: | ||
| **понедельник**, | **понедельник**, | ||
| - | **среда**, | + | **среда**, |
| Экзамен по задачам весеннего семестра (спецкурс " | Экзамен по задачам весеннего семестра (спецкурс " | ||
| **[[https:// | **[[https:// | ||
| + | |||
| + | **[[https:// | ||
| Решённые задачи нужно будет принести в **отдельной** тонкой тетради. На экзамене будут заданы задачи и вопросы на понимание по программе ниже. Число вопросов и задач будет зависеть от того, насколько много задач вам удастся сделать дома из списка выше, и того, насколько часто я вас видел на лекциях. На экзамене ничем нельзя будет пользоваться, | Решённые задачи нужно будет принести в **отдельной** тонкой тетради. На экзамене будут заданы задачи и вопросы на понимание по программе ниже. Число вопросов и задач будет зависеть от того, насколько много задач вам удастся сделать дома из списка выше, и того, насколько часто я вас видел на лекциях. На экзамене ничем нельзя будет пользоваться, | ||
| Строка 97: | Строка 99: | ||
| **15.12.2025**. Экзамен по задачам осеннего семестра (спецкурс " | **15.12.2025**. Экзамен по задачам осеннего семестра (спецкурс " | ||
| - | **[[https://teach-in.ru/ | + | 18) **09.02.2026.** Организационные вопросы. Алгебры Ли. Разные определения антикоммутативности. |
| + | |||
| + | __Упражнение.__ Проверить тождество Якоби для векторного произведения векторов - направленных отрезков. | ||
| + | |||
| + | __Упражнение.__ Показать, | ||
| + | |||
| + | Дифференцирования. Внутренние дифференцирования. | ||
| + | |||
| + | __Упражнение.__ Как устроены дифференцирования кольца многочленов от n переменных над произвольным полем? | ||
| + | |||
| + | Алгебра Ли дифференцирований | ||
| + | |||
| + | __Упражнение.__ Сформулировать и доказать теорему о гомоморфизме для алгебр Ли. | ||
| + | |||
| + | __Упражнение.__ Доказать теоремы об изоморфизме для алгебр Ли. | ||
| + | |||
| + | Гомоморфизм ad. | ||
| + | |||
| + | __Упражнение.__ Показать, | ||
| + | |||
| + | Простые алгебры Ли. Коммутант. Абелевы алгебры Ли. | ||
| + | Разрешимые алгебры Ли. | ||
| + | |||
| + | 19) **16.02.2026.** Значение дифференцирования на единице алгебры с единицей. Представление алгебр Ли. Модули над алгебрами Ли. | ||
| + | |||
| + | __Упражнение.__ Покажите, что алгебра Ли верхнетреугольных матриц разрешима. | ||
| + | |||
| + | Разрешимый радикал. | ||
| + | |||
| + | __Упражнение.__ Пусть $L$ --- конечномерная алгебра Ли. Тогда факторалгебра $L/ | ||
| + | |||
| + | Нильпотентные алгебры Ли. | ||
| + | |||
| + | __Упражнение.__ В любой алгебре Ли произвольный длинный коммутатор представляется в виде целочисленной линейной комбинации левонормированных коммутаторов. | ||
| + | |||
| + | __Упражнение.__ Сумма двух нильпотентных идеалов нильпотентна. | ||
| + | |||
| + | Теорема Энгеля. | ||
| + | |||
| + | 20) **02.03.2026.** Теорема Ли. Нильпотентность коммутанта конечномерной разрешимой алгебры Ли. Разложение Жордана-Шевалле. | ||
| + | |||
| + | 21) **16.03.2026.** Критерий Картана разрешимости алгебры Ли. Форма Киллинга. | ||
| + | Критерий Картана полупростоты алгебры Ли. Разложение полупростых алгебр Ли в прямую сумму идеалов, | ||
| + | |||
| + | 22) **23.03.2026.** Единственность такого разложения. Все дифференцирования полупростых алгебр Ли - внутренние. Универсальные обёртывающие алгебр Ли. Свободные и тензорные алгебры. Соответствующие пары сопряжённых функторов. | ||
| + | Существование универсальных обертывающих. Частично, | ||
| + | | ||
| + | |||
| + | 23) **30.03.2026.** Теорема Пуанкаре-Биркгофа-Витта. Свободная алгебра Ли. | ||
| + | |||
| + | 24) **01.04.2026.** Свободная ассоциативная алгебра как универсальная обёртывающая свободной алгебры Ли. Когомологии алгебр Ли: определение через явное описание коцепей. | ||
| + | |||
| + | __Упражнение.__ Дифференциал коцепи является кососимметрическим полилинейным отображением. | ||
| + | |||
| + | 25) **06.04.2026.** Закончили доказательство того, что $d^2=0$. | ||
| + | Модули над ассоциативными алгебрами с единицей. Связь представлений алгебры Ли и модулей над её универсальной обёртывающей. Неприводимые и вполне приводимые модули. Свойство отщепляемости. | ||
| + | Группа $H^0$. Группа $H^1$ и дифференцирования. | ||
| + | |||
| + | 26) **13.04.2026.** Группа $H^1$, свойство отщепляемости и полная приводимость модулей. | ||
| + | |||
| + | 27) **15.04.2026.** Группа $H^2$ и расширения алгебр Ли с абелевым ядром. Центральные расширения. | ||
| + | |||
| + | (Продолжение следует.) | ||
| + | |||
| + | **[[https:// | ||
| + | |||
| + | Видеозаписи лекций на сайте teach-in | ||
| + | |||
| + | **[[https:// | ||
| + | |||
| + | **[[https:// | ||
| __Литература: | __Литература: | ||
| Строка 106: | Строка 178: | ||
| - | - | ||
| - Гото М., Гроссханс Ф. Полупростые алгебры Ли. | - Гото М., Гроссханс Ф. Полупростые алгебры Ли. | ||
| + | - Постников М.М. Лекции по геометрии. Семестр V. Группы и алгебры Ли. | ||