" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ПРЕДСТАВЛЕНИЕ СО СТАРШИМ ВЕКТОРОМ

Значение ПРЕДСТАВЛЕНИЕ СО СТАРШИМ ВЕКТОРОМ в математической энциклопедии:

линейное представление r конечномерной полупростой расщепляемой алгебры Ли над полем kхарактеристики нуль с расщепляющей Картана подалгеброй t, удовлетворяющее следующим условиям.

1) В пространстве Vпредставления r существует циклический вектор v (т. е. V - наименьшее -инвариантное подпространство, содержащее v).

2) p(h)(v)=h(h)vдля всех , где l- некоторая фиксированная линейная форма на t со значениями в k.

3) Если a₁,...,a_r- система простых корней, определенная век-рым лексикографич. упорядочением множества D всех корней алгебры относительно t (см. Корневая система), а - соответствующие корню а; векторы из базиса Шевалле алгебры

для всех i=1, . . ., r.

Таким образом, l является весом относительно сужения r на t (см. Вес представления); он наз. старшим весом. Пространство Vназ. циклическим -модулем со старшим весом l и образующей v, a v наз. старшим вектором.

Для всякой линейной формы l на t существует единственное с точностью до эквивалентности неприводимое представление r_l алгебры со старшим весом l. -модуль V(l), определяемый r_l, является прямой суммой весовых подпространств относительно сужения r_l на t. Их веса имеют вид

где n_i- целые неотрицательные числа. Весовое подпространство V_m(l) веса m конечномерно, натягивается над kна векторы вида

и для любого ограничение r_l(h) на V_m (К).является скалярным оператором умножения на m(h). Пространство V_l(l) одномерно; вес lявляется единственным старшим весом представления r_l и может быть охарактеризован как единственный вес t-модуля V(l) такой, что любой другой вес имеет вид

где n_i - целые неотрицательные числа.

Представление r_l конечномерно тогда и только тогда, когда l - доминантная линейная форма на t, то есть - целое неотрицательное число для всех i=1, . . ., r. Всякое неприводимое конечномерное линейное представление алгебры имеет вид r_l, для нек-рой доминантной линейной формы Кна t (так что все такие представления классифицируются с точностью до эквивалентности доминантными линейными формами на t). Множество всех весов конечномерного представления r_l, относительно t инвариантно относительно Вейля группы алгебры (рассматриваемой как группа линейных преобразований пространства t), и если веса m и g лежат в одной орбите группы Вейля, то размерности пространств V_m(l). и V_g(l) совпадают. Для всякого веса m. и всякого корня

число m (h_a) - целое; если при этом m+a- тоже вес, то (здесь h_a - элемент из t, соответствующий a, а е _a- корневой вектор корня a).

Лит.:[1] Джекобсон Н., Алгебры Ли, пер. с англ., М., 1964; [2] Теория алгебр Ли. Топология групп Ли. Семинар "Софус Ли", пер. с франц., М., 1962; [3] Желобенко Д. П., Компактные группы Ли и их представления, М., 1970; [4] Cartan В., "Bull. sci. math.", 1925, t. 49, p. 130-52; L5] Harish-Chandra, "Trans. Amer. Math. Soc.", 1951, V. 70, p. 28-96. В. Л. Попов.