Представление со старшим вектором
Представле́ние со ста́ршим ве́ктором, линейное представление конечномерной полупростой расщепляемой алгебры Ли над полем характеристики нуль с расщепляющей подалгеброй Картана , удовлетворяющее следующим условиям.
1) В пространстве представления существует циклический вектор (т. е. – наименьшее -инвариантное подпространство, содержащее ).
2) для всех , где – некоторая фиксированная линейная форма на со значениями в .
3) Если – система простых корней, определённая некоторым лексикографическим упорядочением множества всех корней алгебры относительно (см. статью Корневая система), а , , – соответствующие корню векторы из базиса Шевалле алгебры , , то для всех . Таким образом, является весом относительно сужения на (см. статью Вес представления); он называется старшим весом. Пространство называется циклическим -модулем со старшим весом и образующей , а называется старшим вектором.
Для всякой линейной формы на существует единственное с точностью до эквивалентности неприводимое представление алгебры со старшим весом . -модуль , определяемый , является прямой суммой весовых подпространств относительно сужения на . Их веса имеют видгде – целые неотрицательные числа. Весовое подпространство веса конечномерно, натягивается над на векторы видаи для любого ограничение на является скалярным оператором умножения на . Пространство одномерно; вес является единственным старшим весом представления и может быть охарактеризован как единственный вес -модуля – такой, что любой другой вес имеет видгде – целые неотрицательные числа.
Представление конечномерно тогда и только тогда, когда – доминантная линейная форма на , т. е. – целое неотрицательное число для всех . Всякое неприводимое конечномерное линейное представление алгебры имеет вид для некоторой доминантной линейной формы на (так что все такие представления классифицируются с точностью до эквивалентности доминантными линейными формами на ). Множество всех весов конечномерного представления относительно инвариантно относительно группы Вейля алгебры (pacсматриваемой как группа линейных преобразований пространства ), и если веса и лежат в одной орбите группы Вейля, то размерности пространств и совпадают. Для всякого веса и всякого корня число – целое; если при этом – тоже вес, то(здесь – элемент из , соответствующий , а – корневой вектор корня ).