Четвертый курс
— Рациональный и проконечный гомотопический тип Нерв этального покрытия клеточного пространства гомотопически эквивалентен его проконечному типу. Топологическое определение этальных когомологий. Действие группы Галуа на проконечном гомотопическом типе (Сулливан, "Геометрическая топология").
— Этальные когомологии в алгебраической геометрии, функтор сравнения, гензелевы кольца, геометрические точки. Замена базы. Любое гладкое многообразие над полем локально в этальной топологии изоморфно $A^n$. Этальная фундаментальная группа (Милн, обзор Данилова из ВИНИТИ и SGA 4 1/2, первая статья Делиня).
— Эллиптические кривые, j-инвариант, автоморфные формы, гипотеза Таниямы-Вейля и ее приложения к теории чисел (теорема Ферма).
— Рациональные гомотопии (по последней главе книжки Гельфанда-Манина либо статье Гриффитса-Моргана-Длиня-Сулливана). Операции Масси и рациональный гомотопический тип. Зануление операций Масси на кэлеровом многообразии.
— Группы Шевалле, их образующие и соотношения (по книжке Стейнберга). Вычисление группы K_2 от поля (Милнор, Алгебраическая К-Теория).
— Алгебраическая К-теория Квиллена, $BGL^+$ и $Q$-конструкция (обзор Суслина в 25-м томе ВИНИТИ, лекции Квиллена - Lecture Notes in Math. 341).
— Комплексные аналитические многообразия, когерентные пучки, теорема Ока о когерентности, теорема Гильберта о нулях для идеалов в пучке голоморфных функций. Нетеровость кольца ростков голоморфных функций, теорема Вейерштрасса о делении, подготовительная теорема Вейерштрасса. Теорема о разветвленном накрытии. Теорема Грауэрта-Реммерта (образ компактного аналитического пространства при голоморфном морфизме аналитичен). Теорема Хартогса о продолжении аналитической функции. Многомерная формула Коши и ее приложения (равномерный предел голоморфных функций голоморфен).