Алгебраические системы: группы, кольца, универсальные алгебры; алгебраическая геометрия; группы Ли и теория инвариантов; 
компьютерная алгебра, теория кодирования.НИР

Algebric systems: groups, rings, universal algebra; algebraic geometry; Lie groups and invariant theory; computer algebra, coding theory.

Источник финансирования НИР

госбюджет, раздел 0110 (для тем по госзаданию)

Этапы НИР

# Сроки Название
1 1 января 2021 г.-31 декабря 2021 г. Алгебраические системы: группы, кольца, универсальные алгебры; алгебраическая геометрия; группы Ли и теория инвариантов; 
компьютерная алгебра, теория кодирования.
Результаты этапа: Построена новая серия примеров конечномерных супералгебр Ли с целочисленной PI-экспонентой. Доказано, что две симплектических линейных группы над полями универсально эквивалентны тогда и только тогда, когда их размерности совпадают, а поля универсально эквивалентны. Описаны все эндоморфизмы полугруппы неотрицательных обратимых матриц над коммутативными частично упорядоченными кольцами с некоторыми дополнительными условиями. Описаны в терминах аффинных диаграмм Дынкина и решёток кохарактеров центральных торов когомологии Галуа вещественных редуктивных алгебраических групп. Доказаны критерии рациональности над алгебраически незамкнутыми полями характеристики 0 для пяти из шести типов геометрически рациональных трехмерных многообразий Фано с числом Пикара 1 и геометрическим числом Пикара >1. Описаны аннуляторы и ортогонализаторы элементов такой алгебры, а также устанавливаются связи между централизаторами и ортогонализаторами. Доказано существование аналога вещественной жордановой нормальной формы для контроктонионов. Рассмотрены графы коммутативности, ортогональности и делителей нуля для алгебр контркомплексных чисел, контркватернионов и контроктонионов. Исследованы направленные упорядоченные алгебраические системы и упорядоченные проективные геометрии. Доказано, что среди всех алгебр Хопфа, задающих эквивалентные (ко)модульные структуры, существуют универсальные. Универсальные (ко)действующие алгебры Хопфа были вычислены для важных классов алгебр.
2 1 января 2022 г.-31 декабря 2022 г. Алгебраические системы: группы, кольца, универсальные алгебры; алгебраическая геометрия; группы Ли и теория инвариантов; 
компьютерная алгебра, теория кодирования.
Результаты этапа: Получена явная формула для группы компонент связности группы Ли вещественных точек произвольной связной алгебраической группы, определённой над полем действительных чисел. Исследовано множество реализуемых значений функции перманента для многомерных матриц из 0 и 1. Исследованы некоторые числовые и комбинаторные инварианты таких неассоциативных алгебр, как алгебры Кэли-Диксона, стандартные композиционные алгебры и алгебры Окубо над произвольным полем. Изучались трехмерные многообразия Фано с терминальными горенштейновыми особенностями и числом Пикара 1 с точки зрения их рациональности. Доказаны достаточные условия существования универсальных (ко)действующих бимоноидов и моноидов Хопфа в заплетённых моноидальных категориях. Исследовали вопрос о том, что можно сказать про число гомоморфизмов, удовлетворяющих некоторым естественным условиям вроде инъективности или сюръективности. Исследовано, для данных групп $A$ и $B$, какова минимальная возможная коммутаторная длина n-й степени элемента свободного произведения $A*B$, не сопряжённого элементам свободных множителей.
3 1 января 2023 г.-31 декабря 2023 г. Алгебраические системы: группы, кольца, универсальные алгебры; алгебраическая геометрия; группы Ли и теория инвариантов; 
компьютерная алгебра, теория кодирования.
Результаты этапа: Доказано, что алгебры Витта, лево-симметрические алгебры Витта, симплектические алгебры Пуассона, а также свободные алгебры многообразий, порожденные этими алгебрами, нетеровы по уравнениям. Доказан общий факт, включающий в себя в качестве частных случаев с одной стороны, теорему Герстенхабера–Ротхауза (1962) и её обобщение, принадлежащее Ницше и Тому (2022), а с другой стороны, теорему Бродского–Хауи–Шорта (1980–1984), обобщающую классическую теорему Магнуса о свободе (1930). Показано, что, если конечная группа H является ретрактом всякой конечной группы, содержащей H в качестве вербально замкнутой подгруппы, то центр группы H выделяется в ней прямым сомножителем. Построен пример с двумя двумерными клетками двух конечных CW-комплексов, имеющих общее накрытие, но не имеющих общего конечного накрытия. Изучены квазипростые конечные подгруппы в группах автоморфизмов рациональных и рационально связных многообразий. Доказана теорему двойственности для универсальных действующих и кодействующих бимоноидов и моноидов Хопфа в преджёстких симметрических моноидальных категориях. Доказано, что для торических многообразий наличие аддитивных действия и эйлерова-симметричность равносильны. Вычислена в явном виде группа компонент связности вещественной группы Ли G(R) для произвольной (не обязательно линейной) связной алгебраической группы G, определённой над полем вещественных чисел R. Расширен класс алгебр, у которых PI-экспонента совпадает с размерностью, но сами алгебры при этом не являются простыми. Получено обобщение на случай произвольных алгебр Кэли-Диксона с анизотропной нормой свойства делителей нуля в вещественных алгебрах главной последовательности, доказанные в работах Морено, а также Бисса, Даггера и Исаксена. Показано, что если существенная полугруппа конечно порождена, то это может быть использовано для построения правил ветвления с алгебры g на подалгебру. Для алгебры Ли типа F_4 получено описание существенной полугруппы, которая также конечно порождена. Получено правило ветвления с алгебры F_4 на B_4. Исследовались коммутативные подалгебры алгебры матриц над алгебраически замкнутыми полями, порожденные матрицами, удовлетворяющими некоторым ограничениям на степени минимальных многочленов. Изучалась группа Aut(X) регулярных автоморфизмов.
4 1 января 2024 г.-31 декабря 2024 г. Алгебраические системы: группы, кольца, универсальные алгебры; алгебраическая геометрия; группы Ли и теория инвариантов; 
компьютерная алгебра, теория кодирования.
Результаты этапа: • Построен первый пример неассоциативной алгебры, у которой рост коразмерностей инволютивных тождеств имеет характер $2^\sqrt{n}$. • Построен первый пример разрешимой супералгебры Ли с дробной PI-экспонентой, у которой умножение на нечетной компоненте нетривиально. • С помощью заплетённого аналога алгебраических теорий Ловира и ПРОПов Маклейна введено понятие полиномиального тождества для произвольной алгебраической структуры в заплетённой моноидальной категории С, а в случае, когда категория C линейна над некоторым полем, введены коразмерности тождеств. Вычислены базис и коразмерности тождеств в некоторых важных частных случаях. • Получены новые оценки для числа примитивных элементов данной степени свободных неассоциативных алгебр и свободных алгебр Ли над конечными полями. • Не всякое невырожденное уравнение над метабелевой группой имеет решение в большей метабелевой группе. Доказано, что наличие в разрешимой группе субнормального ряда с абелевыми факторами без кручения гарантирует существование такого решения в некоторой большей группе с субнормальным рядом такой же длины с абелевыми факторами без кручения. • Теорема Минеева--Фридмана, ранее известная как (усиленная) гипотеза Ханны Нейман, даёт неулучшаемую оценку для ранга пересечения двух подгрупп свободной группы. Получен аналог этого неравенства, применимый к двум произвольным подгруппам почти свободной группы. • Доказано, что центр конечно порождённой сильно вербально замкнутой группы почти всегда чист (=сервантен). • Получена формулу для индекса алгебры Ли, полученной сжатием типа Инёню-Вигнера полупрострой алгебры Ли вдоль произвольной алгебраической подалгебры Ли. • Получен новый подход к решению задач ветвления. • Получено достаточное условие для отсутствия кручения в факторгруппе свободной группы по взаимному коммутанту двух нормальных подгрупп. • Исследованы коммутативные подалгебры алгебры вещественных матриц, порожденные матрицами, с минимальными многочленами большой степени. • Установлено, что различных с точностью до сопряженности алгебр данного типа конечное число, это количество определено в зависимости от порядка матриц. Установлена взаимосвязь данной задачи о количестве алгебр с классическими целочисленными последовательностями и числом разбиений натуральных чисел. • Описаны орбиты связной компоненты группы автоморфизмов орисферических многообразий в терминах весов однородных локально нильпотентных дифференцирований на алгебре регулярных функций. • Показано, что модифицированный инвариант Макар-Лиманова совпадает с обычным инвариантом Макар-Лиманова, и поэтому не дает нового инварианта. Изучен модифицированный инвариант Дерксена. • Разобран случай, когда все дифференцирования локально нильпотентны, а также разобран противоположный случай, когда все рассматриваемые дифференцирования не являются нильпотентными. В обоих случаях получен критерий конечномерности алгебры Ли, порождённой этим набором дифференцирований. • Классифицированы все проективные гиперповерхности, на которых есть аддитивное действие с конечным числом орбит. • Получен критерий того, когда на полном симплициальном торическом многообразии существует действие унипотентной группы с конечным числом орбит.
5 1 января 2025 г.-31 декабря 2025 г. Алгебраические системы: группы, кольца, универсальные алгебры; алгебраическая геометрия; группы Ли и теория инвариантов; 
компьютерная алгебра, теория кодирования.
Результаты этапа:

Прикрепленные к НИР результаты

Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".