Главная » Все файлы » Просмотр файлов из архивов » Файлы формата DJVU » Бурбаки - Группы и алгебры Ли. Гл. 9. Компактные вещественные группы Ли

Бурбаки - Группы и алгебры Ли. Гл. 9. Компактные вещественные группы Ли (Бурбаки Н. - Начала математики), страница 11

DJVU-файл Бурбаки - Группы и алгебры Ли. Гл. 9. Компактные вещественные группы Ли (Бурбаки Н. - Начала математики), страница 11 Математика (215): Книга - в нескольких семестрахБурбаки - Группы и алгебры Ли. Гл. 9. Компактные вещественные группы Ли (Бурбаки Н. - Начала математики) - DJVU, страница 11 (215) - СтудИзба2013-09-15СтудИзба

Описание файла

Файл "Бурбаки - Группы и алгебры Ли. Гл. 9. Компактные вещественные группы Ли" внутри архива находится в папке "Бурбаки Н. - Начала математики". DJVU-файл из архива "Бурбаки Н. - Начала математики", который расположен в категории "". Всё это находится в предмете "математика" из , которые можно найти в файловом архиве . Не смотря на прямую связь этого архива с , его также можно найти и в других разделах. Архив можно найти в разделе "книги и методические указания", в предмете "математика" в общих файлах.

Просмотр DJVU-файла онлайн

Распознанный текст из DJVU-файла, 11 - страница

Согласно гл. Ч1, й 1, п' 1, для любого а~Я элемент а~ из М* единственным образом определяется элементом а; обозначим через з, эндоморфнэм х~-~ х — а" (х) а модуля М. Кроме того (см. там же), векторное 0-пространство 0чвМ является прямой суммой 0®Мь н векторного подпространства У(Н), порожденного Н, н Я есть система корней в У()г) (см. там же, определение 1). Элементы из И называются корнями корневой диаграммы Р, а эле. менты а из М* называются дуалыинми корнями.

Группа, порожденная автоморфизмами з, модуля М, называется группой Вейля диаграммы Р н обозначается через Ж'(Р). Ее элементы индуцвруют тождественное преобразование на Мь, а на У (И) — преобразования группы Вейля системы корней Я. гл. ~х. комплкгныв вкшвстввнные ггзппы ли Примеры. 1) Для любого свободного Е-модуля М конечного типа тройка (М, М, Я) является корневой диаграммой. 2) Если Р=(М, М», И) — корневая диаграмма, то пусть Мй — ортогональное дополнение к У (П) в М», и пусть Р" — множество дуальных корней для О.

Тогда 0=(М», ейй )Т) — корневая диаграмма, называемая дуальной к О. Для любого аеи)1 симметрия з"„множества М» является автоморфнзмом, контрагреднентным к симметрии з, множества М. Отображение ы»-»'ю ' есть нзоморфнзм (У(0) на йт(0'). Кроме того, УЯ") естественным образом отождествляются с пространством, сопряженным к векторному 14-пространству У ()1); тем самым П" отождествляется с системой корней, дуальной к Я. Если отождествить пространство, сопряженное к М*, с М, то диаграммой, дуальной к 0", будет Р. 3) Пусть (й, й) — редуктнвная расщепленная 41-алгебра Ли в М ~ й— дозволенная решетка (гл. ЧП1, $12, и'6, определение 1).

Пусть ̻— подгруппа в М, ортогональная корням расщепленной алгебры Ли (й, о), и пусть Я" — множество Н„агир(й, й). Тогда (М. М», Р") — корневая диаграмма, а (М*, Мй П(й, й)) — дуальная к ней диаграмма. 4) Пусть У вЂ” векторное пространство над 14 и П вЂ” система корней в У. Обозначим через Р (П) группу весов системы П, а через б (11) — группу радикальных весов этой системы (гл. Ч1, 4 1, п'9). Тогда (б(П), О, П) и (Р(Я), О, Я) — корневые диаграммы. Для того чтобы диаграмма (М, М»,5) была иэоморфна диаграмме вида (б(Я), О, Я) (соотв. вида (Р(!1), О, П)), необходимо и достаточно, чтобы модуль М был порожден системой 5 (соотв.

чтобы модуль М» был порожден системой 5"), Для любой подгруппы Х в Р (П), содержащей б (П), (Х, О, )2) является корневой диаграммой, и тем самым мы получаем с точностью до изоморфизма все диаграммы (М, М», 5), такие, что М»=О, т. е. такие, что 5 порождает подгруппу конечного индекса в М. Говорят, что корневая диаграмма (М, М», П) приведенная, если система корней Я обладает этим свойством (т. е. (гл. Ч1,4 1, и' 4) если соотношения а, () шр, )ш Е, 6=Ха влекут за собой Х»»1 или Х= — 1). Диаграммы из примеров !) н 3) приведенные.

У. Компактные группы Ди и корневые дмагралглгы В терминологии предыдущего пункта можно резюмировать важную часть результатов нз пп' 4 н 6 в следующей теореме: Твогвмх 2. а) (Х (Т), Х (Т/(Т() Р (б))), И (б, Т)) — приведенная корневая диаграмма; ее группа Вейля состоит из Х (ш), где шгп йт. Группа Х (С(б)) изоморфна факторгруппе группы Х (Т) по подгруппе, порожденной системой П(б, Т). б) (Г (Т), Г (С (б)»), П" (б, Т)) — приведенная корневая диаграмма, ее группа Вейля состоит из Г(ю), где жги )У. Группа я~ (б) изоморфна факторгруппе группы Г (Т) по подгруппе, лорозсденной системой !с (б, Т).

4 ». системА кОРней в) Если огоясдествигь каждый из 2-модулей Х (Т) и Г (Т) с сопряженным к другому Тп' 2, предложение 3), го каждая из предыдуи<ик корнееыл диаграмм отождествляется с дуальной диаграммой к другой, Обозначим через О» (б, Т) диаграмму (Х (Т), Х (Т/(ТП 0 (6))), <Т(Г, Т)) и через 0 (О, Т) диаграмму (Г(Т), Г(С(б)ь), 1«(б, Т)); говорят, что зто соответственно коиграеариангная диаграмма н коеариангиая диаграмма группы Ли 6 (относнтельно Т). Примеры. 1) Если группа Ли б полупроста и имеет ранг 1, то 0'(О, Т) и О, (б, Т) обязательно изоморфны одной из двух диаграмм Лз=(2, О, (2, — 2)), Л| =(2, О, [1, — Ц).

Если группа Ли б изоморфна Ь«) (2, С), то диаграмма 0„(0, Т) изоморфна Л< (поскольку б односвязна); следовательно, 0»(6, Т) нзоморфна Ль Если группа б изоморфна БО(3, 1«), то диаграмма О, (Г, Т) изоморфиа Л< (поскольку С(0)=(Ц)„ а значит, 0»(0, Т) нзоморфна Ль 2) Если 6 н О' — две связные компактные группы Лн с макснмальнымн тарами Т и Т' соответственно н если О» (б, Т)=(М, Мь, 1«) н 0»(6', Т') (М', Мь, 1«'), то 0»(ОХ 6', ТХ Т') отождествляется с (Мф ЕМ', Мь<НМ», ))01!'). Аналогичное утверждение имеет место для ковариантных диаграмм. 3) Пусть Ф вЂ” замкнутая подгруппа в Т, центральная в 6, и пусть (М, Мь, <Т) — контравариантная диаграмма группы О относительно Т.

Тогда контравариантная диаграмма группы Ли О/<<< относительно Т/(У отождествляетси с (М', Мь, г!), где М' — подгруппа в М, состоящая из таКИХ Л, Чта А(<«)=(Ц Н М»=М ПМ» 4) Аналогично пусть У вЂ” конечная коммутативная группа, и <р: л<(б)- й< — сюръективный гомоморфизм. Пусть О' — накрывающая группы Лн О, ассоциированная с зтнм гомоморфизмом. Это связная компактная группа Ли, причем й< — ее центральная подгруппа (Тор.

уея., СЬар. Х!), а 6 естественным образом отождествляется с 0'/)У. Пусть Т'— максимальный тор в 6', являющийся прообразом Т. Если (Р„рь 5)— ковариантная диаграмма группы Ли 6 относительно Т, то ковариантная диаграмма группы Лн б' относительно Т' отождествляется с (Р', Рь, 5), где Р' — ядро гомоморфнзма ф ! (б, Т): Р-» У (см. п'б, предложение !! ), а Рь Р»ПР', Замечания. 1) Пусть с — центр алгебры Ли йс.

Тогда с =Ь (С (6))<сг Имеют место следующие соотношения между диаграммами группы Лн 6 относительно Т и системами дуальных и прямых корней редуктивиой расщепленной алгебры Ли (яс, «г): а) Канонический нзоморфнзм С ® Г (Т) иа «с индуцирует биекцию С ® ®Г(С(б)ь) на с н биекцию 1®1! (О, Т) на 2н<.1< (йо «с). б) Канонический нзомоРфизм С ЕРХ (Т) на пРостРанство «о сопРЯженное к «о индуцирует биекцню С<3Х(Т/(ТП0(б))) на ортогональное дополнение к «СПй«(в)с н биекцню 19)) (6, Т) на )Т(йо «г). ГЛ.

СХ. КОМПАКТНЫЕ ВЕЩЕСТВЕННЫЕ ГРУППЫ ЛН 2) Предположим, что 6 — полупростая группа Лн. Обозначим через )с (соотв. )с) систему корней )с(6, Т) (соотв. йе(6, Т)), так что нмеют место следующне включення: Ц(Р) ~ Х(Т) с РЯ Ц()Т) с: Г(7) с: Р()1") Конечные коммутатявные группы Р (И)/9 (Я) н Р ()т)/с) ()с).

находятся в двойственности (гл. Ч1, 4 1, п' 9). Если через М обозначить группу, двойственную к конечной коммутатнвной группе М, то нз сказанного ранее получаем канонические изоморфизмы Г(Т)/Е()Г)-п, (6), Р()Т)/Г(Т)- С(6), Р ()с)/Х (7) -~- (пс (6))", Х (Т)/сг Я) -Р (С (6))". В частностн, произведение порядков групп пс (6) и С (6) равно индексу связности системы )с (6,1) (гам же). Пусть теперь 6' — другая связная компактная группа Лн и Т'— макснмальный тор в 6'. Пусть 1: 6 -~- 6' — нзоморфнзм групп Лн, такой, что 1(У)= Т'; обозначнм через гг нзоморфнзм между Т н Т', определяемый нзоморфнзмом г. Тогда Х(гг) есть нзоморфнзм 0*(6', Т') на Рь(6, Т), обозначаемый через 0*()), а Г(ГГ) — нзоморфнзм Р (6, Т) на 0 (б', Т'), обозначаемый через 0 ()).

Если Г~Т н еслн положить д=) 1п1 Г= =(1™ГЯ) 7, то Р (в)=0 О), 0„(а)=0~(1). ПРедложенне 15. Пусть ср — изоморфизм Р* (6', Т') на Ре (6, Т) (соотв, Р (6, Т) на Р (6', Т')). Сущестеуег изоморфизм 1: 6- б', такой, что 1(Т)=Г и ср=0*(/) (соотв. ц=Р„(()). Если (, и (т — деа таках изоморфизма, то существует элемент Г из Т, такой, что (э=1, е 1п( Е Второе утверждение сразу следует нз предложеяня 9 (п' 4); докажем первое утверждение, например, для коварнантних диаграмм.

Обозначнм через 0' (соотв. У) алгебру Лн группы Лн 6' (соотв. Т'), а через 9'с (соотв. Ус) ее комплекснфнкацню. Согласно теореме 2 (1) нз гл. ЧП1, 4 4, п' 4, СУщеСтвУет нзомоРфнзм ф: ус -~- 0'о котоРый отобРажает Тсв Ус н нндУцнРУет на Г(Т)с=ге заДанный нзомоРфизм ф. 'Г(Т)-Р Г(Т). Тогда 0 н ф ' (0') — две компактные вещественные фоРмы алгебРы Лн йо котоРые имеют одно н то же пересечение 1 с гс.

Согласно предложенню 3 нз 4 3, и' 2, существует внутренннй автоморфнзм 0 алгебры Лн Ео нндуцнрующнй тождественное преобразование яа Сс н такой, что 0(9)=ф '(9'). Заменяя ф на ф е 0, можно предполагать, что ф отображает 0 в й'. Кроме того, согласно предложению 4 нз п' 2, существует едннственный морфнзм )г: Т-э.

Т', такой, что Г()г)=ср. Тогда ограниченна ср на 1 есть Е((т), н ввиду предложения 8 нз $2, и' 6, существует едннственний морфнзм 1: б -~- 6', нндуцнрующий (г на Т н ф на йс. Применяя сказанное выше к ср ' н ф ', можно построить морфнзм, обратный к морфизму 1, который, следовательно, является нзоморфнзмом. Далее, 0„(1)=Г (Гт)=ф, откуда следует доказываемое предложенне. $ е снстемх кОРнеЙ Отметим, что если Т и Т' — два максимальных тора в 6, то диаграммы 0* (6, Т) и Р' (6, Т') изоморфны (если элемент я~ 6 обладает свойством у Тй '=Т', то!п1п является нзоморфнзмом 6 на 6, отображающим Т на Т') Обозначим через Р'(6) класс диаграмм, изоморфиых диаграмме 04 ( 6, Т). (см. Тй. епз., сЛар П, р. 47); это корневая диаграмма, которая зависит только от группы Ли 6 и которую называют ее контравариантной диаграммой. Аналогично определяется коварнантная диаграмма 0,(6) группы 6, откуда получаем Следствие.

Лля того чтобы связные компактные группы Ли 6 и 6' были изоморфны, необходимо и достаточно, чтобы диаграммы Р4 (6) и 0*(6') (соотв. Р, (6) и О, (6')) были равны. Пгедложение 1б. Для любой приведенной корневой диаграммы Р существует связная компактная группа Ли 6, такая, что Р'(6) (соотвг 0 (6)) изоморфна О. а) Эаменяя, если нужно, Р на дуальную диаграмму, мы приходим к построению такой группы 6, что Р* (6) нзоморфна О. Положим Р= =(М, Ме, 14); тогда Я®М является прямой суммой 41 ®Ме и векторного надпространства У()7), порожденного системой )7. Кроме того, поскольку дуальные корни принимают целые значения на М, проекция М в У(1с) параллельно 41 8 Ме содержится в группе весов Р (1г) системы )7, так что М вЂ” подгруппа конечного индекса в М4ЕР Я). Обозначим через Р' диаграмму (Мо чг Р ()7), Мо )7) б) Пусть в — полупростая комплексная алгебра Лн с канонической системой корней, изоморфной Я с: С® У()7) (гл.

Свежие статьи
Популярно сейчас
Как Вы думаете, сколько людей до Вас делали точно такое же задание? 99% студентов выполняют точно такие же задания, как и их предшественники год назад. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
5288
Авторов
на СтудИзбе
417
Средний доход
с одного платного файла
Обучение Подробнее