Второй курс
— Алгебраическая топология (Фукс-Фоменко). Когомологии (симплициальные, сингулярные, де Рама), их эквивалентность, двойственность Пуанкаре, гомотопические группы. Размерность. Расслоения (в смысле Серра), спектральные последовательности (Мищенко, "Векторные расслоения..."). Вычисление когомологий классических групп Ли и проективного пространства.
— Векторные расслоения, связность, формула Гаусса-Бонне, классы Эйлера, Черна, Понтрягина, Штифеля-Уитни. Мультипликативность характера Черна. Классифицирующие пространства ("Характеристические Классы", Милнор и Сташеф).
— Дифференциальная геометрия. Связность Леви-Чивита, кривизна, алгебраическое и дифференциальное тождество Бьянки. Поля Киллинга. Кривизна Гаусса двумерного риманова многообразия. Клеточное разбиение пространства петель в терминах геодезических. Теория Морса на пространстве петель (по книге Милнора "Теория Морса" и Артура Бессе "Эйнштейновы Многообразия"). Главные расслоения и связности в них.
— Коммутативная алгебра (Атья-Макдональд). Нетеровы кольца, размерность Крулля, лемма Накаямы, адическое пополнение, целозамкнутость, кольца дискретного нормирования. Плоские модули, локальный критерий плоскости.
— Начала алгебраической геометрии. (первая глава Хартсхорна либо Шафаревич либо зеленый Мамфорд). Афинное многообразие, проективное многообразие, проективный морфизм, образ проективного многообразия проективен (через результанты). Пучки. Топология Зариского. Алгебраическое многообразие как окольцованное пространство. Теорема Гильберта о нулях. Спектр кольца.
— Начала гомологической алгебры. Группы Ext, Tor для модулей над кольцом, резольвенты, проективные и инъективные модули (Атья-Макдональд). Построение инъективных модулей. Двойственность Гротендика (по книжке Springer Lecture Notes in Math, Grothendieck Duality, номера примерно 21 и 40).
— Теория чисел; локальные и глобальные поля, дискриминант, норма, группа классов идеалов (синяя книжка Касселса и Фрелиха).
— Редуктивные группы, системы корней, представления полупростых групп, веса, форма Киллинга. Группы, порожденные отражениями, их классификация. Когомологии алгебр Ли. Вычисление когомологий в терминах инвариантных форм. Сингулярные когомологии компактной группы Ли и когомологии ее алгебры. Инварианты классических групп Ли. (желтый Серр, вторая половина; Герман Вейль, "Инварианты классических групп"). Конструкции специальных групп Ли. Алгебры Хопфа. Квантовые группы (определение).