Аннотация результатов, полученных в 2025 году
Мы исследовали коприсоединённые орбиты максимальной унипотентной подгруппы U в симплектической группе G над конечным полем из q элементов достаточно большой характеристики. (Другими словами, группа G – простая классическая группа типа C). Поскольку, согласно методу орбит А.А. Кириллова, эти орбиты находятся в естественной биекции с неприводимыми представлениями группы U, их изучение играет огромную роль в теории представлений. Полная классификация орбит является дикой задачей, поэтому особый интерес представляет описание специальных важных классов орбит – в частности, орбит данной размерности. Для типа A орбиты максимальной размерности были описаны Кирилловым в 1962 году, а предмаксимальной – А.Н. Пановым в 2007 году. Для типа С орбиты максимальной размерности были классифицированы К. Андре и А. Нето в 2008 году. Заметим, что для типов B и D даже описание орбит максимальной размерности до сих пор неизвестно; для исключительных групп, кроме E_8, описание всех орбит получено в работе С. Гудвина с соавторами в 2016 году. В рамках выполнения проекта мы описали орбиты предмаксимальной размерности для типа C. Основным инструментом для нас была модификация метода, предложенная в статье С. Гудвина с соавторами в статье 2016 года; ключевое понятие – так называемые кваттерны, подмножества в множестве положительных корней группы G специального вида. Использование этих методов позволяет свести классификацию орбит предмаксимальной размерности к описанию аналогичных орбит для максимальной унипотентной подгруппы в простой группе типа C меньшего ранга, что даёт возможность запустить индукцию по рангу группы. Это в итоге и даёт окончательную классификацию коприсоединённых орбит предмаксимальной размерности. Ответ даётся в терминах подмножеств в положительных корнях группы G. А именно, мы предъявляем набор подмножеств D; для любого такого подмножества и любого отображения t из D в множество ненулевых констант из нашего конечного поля можно построить линейную форму f на алгебре Ли u группы U, которая принимает ненулевые значения t(a) на корневых векторах e_a, где a лежит в D (и нулевые на остальных). Орбиты всех таких форм различны, и это в точности все орбиты предмаксимальной размерности. Оказывается, что этот метод позволяет также классифицировать орбиты малых размерностей (до 6) для типа C, см. https://arxiv.org/abs/2507.20332. Наш второй результат относится к гипотезе М. Айзекса 2007 года, которая утверждает, что для максимальной унипотентной подгруппы в простой алгебраической группе над конечным полем из q элементов количество коприсоединённых орбит данной размерности является многочленом от q – 1 с целыми неотрицательными коэффициентами. (Изначально она была сформулирована Г. Хигманом в 1960 году в более слабой форме, а потом уточнена Г. Лерером в 1974 году, но тоже в несколько более слабом варианте). За последние 20 лет эта гипотеза была доказана для нескольких случае – например, для типа A для орбит максимальной и предмаксимальной размерности и орбит размерности 0, 2, 4, 6, а также для других классических типов для размерностей 0, 2, 4, и для всех исключительных типов, кроме типа E_8. Для типа C орбиты максимальной размерности, как уже было сказано, были классифицированы Андре и Нето в 2008 году. Из этой классификации вытекает, что для них гипотеза Айзекса выполняется, причём можно даже явно выписать соответствующие многочлены. Наша классификация орбит предмаксимальной размерности выглядит так: есть набор подмножеств в множестве положительных корней, для каждого из которых любое отображение t из такого подмножества D в ненулевые константы (их q – 1) даёт нужную нам орбиту. Отсюда сразу вытекает, что количеств орбит предмаксимальной размерности удовлетворяет гипотезе Айзекса, причём мы можем выписать явно соответствующие многочлены. Аналогичное верно и для орбит размерности не более 6, как это указано в упомянутой выше статье. Наш третий результат связан с вычислением неприводимых характеров, отвечающих орбитам предмаксимальной размерности типа C. Подчеркнём, что даже для тех классов орбит, для которых известно полное описание, получение явной формулы для характеров является трудной технической задачей. К примеру, хотя орбиты максимальной размерности для типа A были классифицированы Кирилловым в 1962 году, отвечающие им характеры максимальной размерности были вычислены Андре только в 2001 году. Характеры предмаксимальной размерности для типа A посчитаны Игнатьевым в 2008 году. Формула для характеров максимальной размерности в типе C была получена Андре и Нето в 2008 году (для типов B и D она до сих пор не получена). Нам удалось доказать явную формулу для характеров предмаксимальной размерности для типа C, используя метод Макки малых групп, который позволяет свести вычисление неприводимых характеров группы, являющей полупрямым произведением своих подгрупп с нормальным абелевым сомножителем, к вычислению неприводимых характеров другого сомножителя. Оказалось, что в ответе фигурируют гауссовы суммы для нашего конечного поля – как и в случае характеров максимальной размерности. Более того, аналогичные методы, как выяснилось в ходе выполнения проекта, позволяют описать широкий класс неприводимых характеров для групп типа B и D – так называемых характеров, ассоциированных с расстановками ладей – см. https://arxiv.org/abs/2406.04436.