Математическая энциклопедия - корневая система

конечное множество Л векторов векторного пространства Vнад полем R, обладающее следующими свойствами: 1) Rне содержит нулевого вектора и порождает V;2) для каждого существует такой элемент а* сопряженного к F пространства V*, что и что эндоморфизм пространства Vпереводит Rв себя; 3) для всех

Впервые наборы векторов, обладающие перечисленными свойствами, возникли в теории полупростых комплексных алгебр Ли как системы весов присоединенного представления максимального тора такой алгебры (см. Вес представления, Ли полупростая алгебра). Позже было обнаружено, что такие системы векторов естественно появляются и во многих других разделах математики, напр. в алгебраической геометрии [4], [7], в теории особенностей [7], в теории целочисленных квадратичных форм [5]. С К. с. оказались также связанными нек-рые вопросы теории чисел [6].

Общие свойства К. с. Эндоморфизм sa является отражением относительно a и определен свойствами 1) и 2) однозначно. Кеr a* является множеством неподвижных точек эндоморфизма Элементы из Л наз. корнями К. с. Л,dim V - рангом. К. с. Rназ. приведенной, если для любого вектор a является единственным корнем, коллинеарным с a. Множество есть К. с. в V*, для к-рой при всех ; она наз. д у а л ь н о й (или обратной) К. с. к Л. Конечная группа А(R), образованная всеми автоморфизмами пространства F, переводящими Л в себя, наз. группой автоморфизмов К. с. R. Подгруппа W(R).в А(Л), порожденная отражениями наз. группой Вейля К. с. Л. Если V - прямая сумма своих подпространств Vi, i=1, ... , l, и Л,К. с. в Vi, то К. с. в F, она наз. прямой суммой К. с. Ri. Непустая К. с. Л наз. неприводимой, если Л не является прямой суммой двух непустых К. с. Всякая К. с. является прямой суммой некоторого набора неприводимых К. с. и это разложение определено однозначно с точностью до порядка слагаемых.

Связные компоненты множества V -. являются открытыми симплициальными конусами и наз. камерами К. с. Л в У (см. Камера). Группа Вейля действует просто транзитивно на множестве всех камер. Замыкание камеры Сявляется фундаментальной областью дискретной группы W(R). Пусть L1, ..., Lr - стенки камеры С. Для каждой стенки Li существует единственный корень a такой, что и ai; лежит по ту же сторону от Li, что и С. Семейство корней a1, ..., а r образует базис в V, который наз. базисом К. с., определенным камерой С. Говорят также, что a1, ..., а r набор простых корней, определенный камерой С. Группа W(R).порождена отражениями причем где mij - порядок система определяющих соотношений для W(R), так что W(R). Кокстера группа. Группа (К).есть полупрямое произведение подгруппы всех элементов из A(R), оставляющих множество a1, ..., а r инвариантным, и W(R). Выбор камеры Сопределяет отношение порядка в V(согласованное со структурой векторного пространства), при к-ром положительными считаются линейные комбинации простых корней a1, ..., а r с неотрицательными коэффициентами. Всякий корень оказывается либо положительным, либо отрицательным, а все его координаты в базисе a1, ..., а r целочисленными. Подгруппа Q(R).в V, порожденная К. с. R, является решеткой (т, е. дискретной подгруппой ранга r), инвариантной относительно группы Вейля W(R). Ее элементы наз. радикальными весами К. с. Л. Группы Вейля К. с. могут быть охарактеризованы среди всех дискретных линейных групп, порожденных отражениями, как такие, к-рые не имеют ненулевых неподвижных векторов и обладают инвариантной решеткой. Если Q(R).рассматривать как группу параллельных переносов пространства V, то полупрямое произведение Wa(R).группы W(R).на Q(R).наз. аффинной группой Вейля К. с. Л. Wa(R).является дискретной группой преобразований пространства V, порожденной отражениями в гиперплоскостях где Факторпространство пространства Vпо Wa(R).компактно; если Rнеприводима, то фундаментальной областью для Wa(R).будет симплекс.

На Vможет быть выбрана (неоднозначно) билинейная симметрическая положительно определенная форма (,), инвариантная относительно W(R). Эта форма снабжает Vструктурой евклидова пространства, в к-ром элементы из W(R).являются ортогональными преобразованиями, а отражение имеет для всех вид

С помощью формы ( , ) простоанства Vи V* могут быть отождествлены, и тогда а условие 3) определения К. с. означает, что для всех ,

Введение формы (,) позволяет говорить о метрических соотношениях между корнями, в частности об угле между корнями в о длине корня. Величина угла оказывается не зависящей от выбора формы (,), а если К. с. Л неприводима, то это верно и для отношения длин двух корней.

Классификация К. с. Пусть a1, ..., а r некоторый фиксированный базис приведенной К. с. Л и nij=п(ai, а j). Матрица , наз. матрицей К а р т а н а К. с. Л; в ней п ij=2, а л/у при могут быть равны 0, -1, -2 или -3. С точностью до перестановки индексов эта матрица не зависит от выбора базиса. Две К. с. с одинаковыми матрицами Картана изоморфны.