Заседания семинаров
А. А. Егоров
О числе идеальных вершин прямоугольных многогранников в пространствах Лобачевского старших размерностей.
Владимир Вячеславович Соколов (д.ф.-м.н., профессор, МФТИ, Высшая школа современной математики)
О линейных деформациях матричного умножения.
Аннотация
Две алгебры Ли, заданные на одном и том же векторном пространстве, называются согласованными, если любая линейная комбинация соответствующих скобок задает алгебру Ли. Согласованные алгебры Ли имеют несколько важных приложений в теории интегрируемых систем. Более жесткой структурой являются согласованные ассоциативные алгебры.
В ходе доклада мы рассмотрим задачу об описании ассоциативных алгебр, согласованных с матричной алгеброй $Mat(n)$. Мы поговорим об алгебраической структуре, представления которой соответствуют таким алгебрам. Приведем маломерные примеры. Поговорим о широком классе примеров, порождаемых аффинными схемами Дынкина типов $A, D, E$.
Д. М. Анищенко (НГУ)
Алгебры Гейтинга и теория двойственности (3-я часть, заключительная).
Аннотация
Грузинский логик Лео Эсакиа систематически исследовал алгебры Гейтинга, топобулевы алгебры и связи между данными классами алгебр. Им были установлены:
- классификация элементов топобулевой алгебры;
- двойственность категорий топобулевых алгебр (алгебр Гейтинга) и гибридов (строгих гибридов), гибрид - это топологическое пространство с предпорядком, который согласован с топологией определенным образом;
- фундаментальные свойства гибридов. В серии из трех реферативных докладов будет рассказано про данные исследования.
Доклады основаны на книге Лео Эсакиа, которая была недавно переведена на английский:
[1] Leo Esakia. "Heyting algebras. Duality theory". (ed. G. Bezhanishvili, W. H. Holliday). Springer Nature, Switzerland, 2019.
И. С. Дудин, П. С. Колесников (ИМ СО РАН)
Киральные алгебры с абелевой конформной частью.
Аннотация
Исследуется категорный подход к понятию многообразия киральных алгебр. В частности, киральные алгебры Ли известны как вертексные алгебры; в общем случае киральные алгебры являются обобщением конформных. Доказано, что класс киральных алгебр многообразия, заданного бинарной квадратичной операдой Var, у которых конформная структура является абелевой, совпадает с классом дифференциальных алгебр многообразия, заданного черным произведением Манина операд Var и Com.Zhi-Long Chen (University of Maryland)
Online Integrated Production Scheduling.
Сергей Макогон
Генетический алгоритм для периодической задачи о доставке топлива.
М. И. Кудряшова (НГУ)
$T_0$-пространства с аппроксимациями.
Аннотация
Устанавливается декартова замкнутость некоторых полных подкатегорий категории топологических $T_0$-пространств, состоящих из аппроксимационных пространств.Т. Васильев
Верхние оценки игрового хроматического числа.

