В математическом центре мирового уровня имени Леонарда Эйлера прошла Весенняя школа-конференция для молодых исследователей. На школе были представлены 5 мини-курсов.
Автоморфизмы торических многообразий
Иван Аржанцев (ФКН НИУ ВШЭ)
В этом курсе мы определим аффинные и произвольные торические многообразия, напомним их описание и основные свойства, а также будем изучать симметрии торических многообразий.
Лекция 1. Аффинные торические многообразий и конуса. Корневые подгруппы и транзитивность действия группы автоморфизмов на гладких точках. Произвольные торические многообразия и веера. Орбиты группы автоморфизмов на торическом многообразии.
Лекция 2. Корни Демазюра, наборы коммутирующих корневых подгрупп и аддитивные действия на полных торических многообразиях. Кольцо Кокса.
Лекция 3. Описание группы автоморфизмов полного торического многообразия. Лучезарные торические многообразия и классификация
корней Демазюра.
Порядок Брюа и касательные конусы к многообразиям Шуберта
Михаил Игнатьев (Самарский национальный исследовательский университет)
Многоугольники Ньютона и автоморфизмы алгебры многочленов
Сергей Гайфуллин (ФКН НИУ ВШЭ)
Курс будет посвящён проблеме поиска системы порождающих группы автоморфизмов алгебры многочленов над полем. Назовём элементарными автоморфизмами алгебры многочленов от n переменных те, которые соответствуют аффинному преобразованию и треугольные автоморфизмы, то есть такие, для которых образ i-ой переменной — это многочлен только от переменных от первой до i-ой. Ручными называются те автоморфизмы, которые можно разложить в композицию элементарных. Остальные автоморфизмы называются дикими. Элементарные автоморфизмы являются естественной системой порождающих для группы ручных автоморфизмов. Возникает вопрос, существуют ли дикие автоморфизмы? Ответ известен лишь для n=2 (Теорема Юнга говорит, что все автоморфизмы ручные) и для n=3 (Умирбаев и Шестаков доказали существование дикого автоморфизма). Мы обсудим доказательство теоремы Юнга, основанное на использовании локально нильпотентных дифференцирований, а также структурную теорему для n=2 (вся группа автоморфизмов разлагается в амальгамированное произведение двух подгрупп).
GKM-многообразия и графы
Виктор Петров (СПбГУ)
Многообразия Горески-Коттвица-Макферсона (сокращено GKM) -- это гладкие многообразия, на которых действует алгебраический тор с конечным числом неподвижных точек и конечным числом инвариантных проективных прямых. По GKM-многообразию строится граф, вершинами которого являются неподвижные точки, а ребрами -- инвариантные прямые; кроме того, на ребре ставится метка -- характер тора, через который пропускается действие тора на прямой. Эти комбинаторные данные позволяют вычислять многие инварианты многообразия. Например, размерность совпадает со степенью (каждой) вершины, а элементы эквивариантного кольца Чжоу (или кольца сингулярных когомологий) задаются расстановками многочленов от характеров тора с некоторыми условиями делимости. Мы приведем примеры (проективные однородные многообразия, торические многообразия) и опишем комбинаторный аналог некоторых конструкций алгебраической геометрии (пуллбэки, пушфорварды, операторы Демазюра, раздутия и т.п.)
Торические и флаговые многообразия: подход Пухликова-Хованского
Евгений Смирнов (матфак НИУ ВШЭ, НМУ)
Пусть S --- произвольная алгебраическая группа. Назовем S-структурой на алгебре Ли g гомоморфизм P: S->Aut(g). S-структуры ранее излучались различными авторами, в том числе Э.Б. Винбергом.
В докладе рассматриваются SL_2-структуры. SL_2-структуру назовем короткой, если представление P группы SL_2 разлагается на неприводимые представления размерностей 1, 2 и 3.
Если рассматривать непроходимые представления размерностей только 1 и 3, то получится известная конструкция Китса-Кантора-Кехера, устанавливающая взаимно-однозначное соответствие между простыми йордановыми алгебрами и простые алгебры Ли определенного вида.
Аналогично теореме Титса–Кантора–Кехера в случае коротких SL_2-структур можно установить взаимно-однозначное соответствие между простыми алгебрами Ли с такой структурой и так называемыми простыми симплектическими структурами Ли-Йордана.
Короткие и очень короткие SL_2-структуры можно задавать на произвольных g-модулях, используя соответствующее линейное представление алгебры Ли g. Подобная конструкция имеет интересные приложения к теории представлений йордановых алгебр, о которых будет рассказано в докладе.
В докладе планируется рассказать про некоторый класс задач из линейной алгебры и фукнционального анализа, называемый linear preserver problems. Я дам общий обзор и расскажу о своём результате в этой области - опишу линейные преобразования, сохраняющие числа Гау-Ву - некоторый матричный инвариант.
Аффинным алгебраическим моноидом называется неприводимое аффинное алгебраическое многообразие X с ассоциативным умножением, являющимся морфизмом алгебраических многообразий и обладающим нейтральным элементом. Я расскажу про классификацию аффинных моноидов коранга один. Рассматриваемые нами моноиды оказываются торическими многообразиями, а умножение связано с их корнями Демазюра. Работа поддержана грантом РНФ 22-41-02019.
Доклад посвящен совместным с Р. Авдеевым статьям про сферические действия на многообразия флагов. В частности, планируется обсудить результаты последней из них: описание правил ветвления (то есть правил разложения простого модуля большей группы в сумму простых модулей меньшей группы), возникающих из таких действий.
Ещё со времён Гаусса стоял вопрос об описания одноклассовых полей вида Q(sqrt(-d)). Довольно давно было известно ,что для d = 1,2,3,7,11,19,43,67,163,было даже известно,что существует не больше 10 таких чисел,но найти 10 такое число долго не удавалось. В докладе будет дан обзор истории решения проблемы о десятом дискриминанте,проблем описания двуклассовых полей такого вида.
Для многих известных многочленов существует комбинаторное описание. Например, многочлены Шура можно описать в терминах таблиц Юнга. В своем докладе я расскажу про многочлены Ласку, которые строятся по некоторой перестановке и по разбиению, а также опишу их связь с многогранниками Гельфанда-Цетлина.
Задача дифференциальное исключение - это дифференциальный аналог задачи исключения переменных для полиномиальных систем. Одна из естественных задач дифференциального исключения состоит в том, чтобы исключить все переменные в системе кроме одной, то есть описать дифференциальный идеал. В докладе будет рассмотрен случай системы дифференциальных уравнений, найден вид многогранника Ньютона для минимального многочлена соответствующего идеала исключения.