2.7. Неприводимые представления и антидоминантные веса
Каждое неприводимое представление компактной группы конечномерно. Если G действует на конечномерном комплексном: векторном пространстве У, то в У имеется базис в котором; действие максимального тора Т диагонально. Тогда тор действует на с помощью характера называемого весом вектора Множество весов есть конечное подмножество» в инвариантное относительно
Если представление V неприводимо, то оно обладает единственным базисным вектором вес которого доминируете» остальными весами X - (говорят, что X доминирует если принимает положительные значения на положительной камере). Сопоставляя представлению V вес мы получим взаимно однозначное соответствие между классами эквивалентности неприводимых представлений группы G и множеством антидоминантных весов (вес называется антидоминантным, если X доминируется всеми для или, эквивалентным образом (из (2.6.1)), если для всех положительных корней а). Мы можем отождествить с множеством орбит группы на
Лишь после значительных колебаний мы решились (имея в виду группы петель) описывать представления в терминах младших весов, а не старших, как это обычно принято. Это вынудило нас использовать непривлекательный компромиссный термин «антидоминантный». Разумеется, вес X антидоминантен тогда и только тогда, когда доминантен в обычным смысле.
Один из способов построения неприводимого представления по весу описан в разд. 2.9.