Аннотация:
Алгебраическое многообразие — это, грубо говоря, множество решений системы полиномиальных уравнений. Я расскажу про группы автоморфизмов таких объектов. Одна из целей курса — разобрать теорему Мацумуры—Монского о том, что группа автоморфизмов гладкой проективной гиперповерхности (то есть многообразия, заданного в проективном пространстве одним уравнением) конечна за исключением нескольких легко обозримых случаев.
Также мы поговорим про некоторые утверждения, лежащие поблизости от этой теоремы.
Пререквизиты: хорошо бы понимать базовую алгебру (что такое идеалы и т. п.).
Ещё лучше понимать немного алгебраической геометрии: всё что надо, я напомню,
но тем, кто и так в курсе основных определений, остальное будет проще
воспринимать.
Обратная связь: