Вейля группа

1) В. г. симметрий корневой системы. В зависимости от конкретной реализации корневой системы рассматривают п различные В. г.; так возникают В. г. полупростой расщепляемой алгебры Ли, В. г. симметрич. пространства, В. г. алгебраич. группы. Пусть [img: http://localhost:8080/file/010306-79.jpg] - связная аффинная алгебраич. группа, определенная над алгебраически замкнутым полем k. В. г. группы [img: http://localhost:8080/file/010306-80.jpg] относительно тора [img: http://localhost:8080/file/010306-81.jpg] наз. факторгруппа [img: http://localhost:8080/file/010306-82.jpg] рассматриваемая как группа автоморфизмов тора Т, индуцированных сопряжениями Тс помощью [img: http://localhost:8080/file/010306-83.jpg] Здесь [img: http://localhost:8080/file/010306-84.jpg] - нормализатор, а [img: http://localhost:8080/file/010306-85.jpg] - централизатор подгруппы Тв G. Группа [img: http://localhost:8080/file/010306-86.jpg] конечна. Если [img: http://localhost:8080/file/010306-87.jpg] - максимальный тор, то [img: http://localhost:8080/file/010306-88.jpg] наз. группой Вейля [img: http://localhost:8080/file/010306-89.jpg] алгебраической группы G. Это определение (с точностью до изоморфизма) не зависит от выбора максимального тора [img: http://localhost:8080/file/010306-90.jpg]. Действие с помощью сопряжений группы [img: http://localhost:8080/file/010306-91.jpg] на множестве [img: http://localhost:8080/file/010306-92.jpg] Бореля подгрупп в G, содержащих Т 0, индуцирует просто транзитивное действие [img: http://localhost:8080/file/010306-93.jpg] на [img: http://localhost:8080/file/010306-94.jpg]. Действие Г на G сопряжениями индуцирует присоединенное действие Тна алгебре Ли [img: http://localhost:8080/file/010306-95.jpg] группы [img: http://localhost:8080/file/010306-96.jpg]. Пусть Ф(Т, G) - множество ненулевых весов весового разложения относительно этого действия, т. е. [img: http://localhost:8080/file/010306-97.jpg] - корневая система [img: http://localhost:8080/file/010306-98.jpg] относительно [img: http://localhost:8080/file/010306-99.jpg] (см. Вес представления), [img: http://localhost:8080/file/010306-100.jpg] является подмножеством в группе Х(Т).рациональных характеров тора Т, причем Ф(Т, G).инвариантно относительно действия [img: http://localhost:8080/file/010306-101.jpg] на Х(Т). Пусть G - редуктивная группа, [img: http://localhost:8080/file/010306-102.jpg] - связная компонента единицы ее центра и [img: http://localhost:8080/file/010306-103.jpg] - максимальный тор. Векторное пространство [img: http://localhost:8080/file/010306-104.jpg] канонически отождествляется с подпространством в векторном пространстве [img: http://localhost:8080/file/010306-105.jpg] Множество [img: http://localhost:8080/file/010306-106.jpg] (как подмножество в [img: http://localhost:8080/file/010306-107.jpg]) является приведенной системой корней в [img: http://localhost:8080/file/010306-108.jpg], причем естественное действие [img: http://localhost:8080/file/010306-109.jpg] на [img: http://localhost:8080/file/010306-110.jpg] определяет изоморфизм [img: http://localhost:8080/file/010306-111.jpg] с В. г. корневой системы [img: http://localhost:8080/file/010306-112.jpg]. Таким образом, [img: http://localhost:8080/file/010306-113.jpg] обладает всеми свойствами В. г. приведенной корневой системы, напр, она порождается отражениями. Как обобщение этой ситуации возникает В. г. системы Титса (ее точное определение см. Tunica система). Группа Вейля Wконечномерной редуктивной алгебры Ли [img: http://localhost:8080/file/010306-114.jpg] над алгебраически замкнутым полем нулевой характеристики определяется как В. г. ее присоединенной группы. Присоединенное действие Wв подалгебре Картана [img: http://localhost:8080/file/010306-115.jpg] ал-гобры [img: http://localhost:8080/file/010306-116.jpg] является точным представлением W;группу Wчасто отождествляют с образом этого представления, рассматривая ее как соответствующую линейную группу в [img: http://localhost:8080/file/010306-117.jpg], порожденную отражениями. Понятие "В. г." впервые появилось в работе Г. Вейля [1] для частного случая рассматриваемых здесь алгебр - для конечномерной полупростой алгебры Ли над полем комплексных чисел. В. г. может быть определена и для любой расщепляемой полупростой конечномерной алгебры Ли как В. г. ее корневой системы. Для аффинной алгебраич. группы G, определенной над алгебраически незамкнутым полем, может быть определена относительная В. г. А именно, если Т- максимальный разложимый над kтор группы G, то факторгруппа [img: http://localhost:8080/file/010306-118.jpg] (нормализатора тора Тпо его централизатору в G), рассматриваемая как группа автоморфизмов Т, индуцированных сопряжениями Тс помощью элементов из [img: http://localhost:8080/file/010306-119.jpg] i, наз. относительной группой Вейля группы С. О В. г. симметрического пространства см. Симметрическое пространство. В. г. действительной связной некомпактной полупростой алгебраич. группы совпадает с В. г. соответствующего симметрического пространства. Об аффинной В. г. см. Корневая система.