Главная » Просмотр файлов » Труды семинара Бурбаки за 1991 г

Труды семинара Бурбаки за 1991 г (947404), страница 77

Файл №947404 Труды семинара Бурбаки за 1991 г (Семинар Н. Бурбаки) 77 страницаТруды семинара Бурбаки за 1991 г (947404) страница 772013-09-15СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 77)

элементами Л», 1в), и пусть У+ (соотв. Уе, У ) — ее обертывающая алгебра. Обозначим через У обертываюшую алгебру алгебры 9(1) . Тогда 9(1) =9+ ~9'~9- (треугольное разложение Картана) и У+ ® Уо ® У- Пусть г1 — отображение 1 в Х. Обозначим через д,г подпространство в ц, образованное линейными комбинациями скобок Ли элементов 1г, в которые каждый элемент 1г входит с кратностью гг(в), так что мы имеем разложение д = ®9 .

В том случае, когда векторное пространство ц~ ненулевое, оно имеет в точности размерность 1, и г( тогда называется отрицательаым корнем алгебры 9(1) . Обозначим через Ф множество отрицательных корней. Аналогично, через У обозначим подпространство пространства У , образованноелинейными комбинациями произведений элементов Д, в которых каждый элемент 1г встречается с кратностью о(г), так что имеет место разложение У = ЩУя . Обозначим через Ф+ множество функций г1: 1 -+ л, таких, что — г( принадлежит Ф . Аналогичным образом, д+ = ®э еь ц~.

Множество Ф называется множеством положительньпг корней. Через Ф будем обозначать множество всех корней. Определим теперь отображение хв: У -г Це) по формуле яи(и) = о. х. Из теоремы Пуанкаре-Биркгофа-Витта следует, что отображение яи сюръективао. Канонический базис в Ь(е), построенный Люстигом, дает базис пространства У . Более точно, Люстиг построил канонический базис В пространства У, удовлетворяющий следующему условию: (*) Пусть В„= (и 6 В ( яв(и) ~ О) .

Тогда для всякого с множество яи(В„) есть базис в 1(с). Работа Люстига заключается в описании канонического базиса В пространства У, удовлетворяющего условию (в) . Важно дать его явное описание. 2. КОЛЧАНЫ Колчан С вЂ” это четверка (1, Е, я, Ь), где 1 и Р— множества, а я н Ь вЂ” отображения ю 7 в 1. Элементы множества 1 называются вершинами колчана, а элементы множества Г называются его стрелками, и для всякого 1 б Р вершины я(1) и Ь(,1) называются началом и концом стрелки 1. Пусть Ь вЂ” поле. Тогда Ь-представление Е колчана — это задание набора векторных й-пространств Е;, в 6 1, и БАЗИСЫ ПРЕДСТАВЛЕНИЙ ПРОСТЫХ КОМПЛЕКСНЫХ ГРУПП 363 для каждой стрелки 1 линейного отображения о(1) = Е,< тт -т Еь(П . Ниже мы будем предполагать, что колчан С конечен и что рассматриваемые представления конечномерны.

По определению размерность представления Š— зто,функция тт: 1 -т ут, определяемая равенствами тт(т) = бипЕт. Г1 Пример колчлиа с 4 лершиилми и б стрелками Пусть (1, А) — граф. Ориентация графа определяется заданием двух отображений з, Ь: А -+ 1, таких, что для всякого ребра а имеем а = (з(а), Ь(а)) . Кроме того, всякий ориентированный граф является частным случаем колчана. Пример ориеитации графа Ал Пусть С вЂ” колчан.

Естественным образом определяется понятие морфизма представления. Категория Нера(С) (конечномерных) представлений колчана С есть абелева категория. Представление Е колчана называется неразложимым, если оно не может быть представлено в виде црямой суммы двух ненулевых представлений. Известно, что всякое представление Е есть прямая сумма неразложимых представлений и такое разложение единственно с точностью до изоморфизма. Говорят, что колчан С вЂ” колчан конечного типа, если он имеет лишь конечное число нердзложимых представлений.

Напомним теорему Габриэля. Теорема 3.1 (Габризль). Колчан С «месит конечиый тпип тпогда и тполько тогда, когда он лвллептсл ориепптироеоииым графом Дыикиню. Более того, в атом случае можно описать все неразложимые представления колчана С. Творима л,л (Габризль), Пустпь С = (А,1) — ориеитпироеаииыб граф Дыикииат и пуспть тт — фуикииа, опьображаитщаа 1 в гт, если д — размерностпь иекотпороео неразложимого представления графа С, то оиа лвлаептаа отрииатпельным коркам алгебры д(1).

Обратпио, если д лв метпсл оитрииатпельиым караем алгебры у(1), тпо С допусквепт едиистпвеииое неразложимое прсдсптавление размерности д. Оливье Матье 364 Кроме того, если С вЂ” колчан ориентированного графа Дынкина 1, то отображение Е ье Сбш Е определяет биекцию множества классов изоморфных неразложимых представлений этого колчана на множество отрицательных корней алгебры п(1), Пример 2.3. Рассмотрим следующую ориентацию граФа Дынкина А„: п-1 и 1 2 3 Отрицательные корни алгебры Ли п(1) — это в точности все ненулевые функции 41: 1 -+ Х, которые принимают значения 0 и 1 и такие, что носитель,7 = (4 ( Ы(4) ,-4 0) связен.

Пусть 44 — такая функция, и пусть (г,г + 1,...,а) — ее носитель. Единственное неразложимое представление размерности 4 — зто векторное пространство Е = ® Е4, где векторные пространства Е; имеют размерность 1, если 4 6 (г,в), и 0 в противном случае, причем заданы вложения Еи 4 Ее+41 1 Еа-4 4 Ел ° Пример 2.4. Рассмотрим следующую ориентацию графа Дынкина Р4: Наибольший отрицательный корень — это функция 4, такая, что 41(0) = 2, а остальные ее значения равны 1. Соответствующее неразложимое представление — это задание векторного пространства Ео размерности 2 (соответствующего вершине 0) и трех различных прямых пространства Ее. Это единственное неразложимое представление размерности 4, так как известно, что СЬ(2, й) действует трижды транзитивно на проективной прямой.

3. ЭЛЕМЕНТАРНАЯ КОНСТРУКЦИЯ ЛЮСТИГА В этом разделе мы коротко опишем элементарную конструкцию Люстига. Настоящий раздел не зависит от остальной части изложения. Мы не напоминаем определения, касающиесл квантовых групп, и отсылаем за ними читателя к статье М. Россо из этого сборника. Пусть 1 — граф Дынкина. Ему сопоставляется матрица Картана А = (аьв) по следующим правилам. Ее диагональные элементы а4; равны 2, а внедиагонзльный элемент а4, равен -1, если 4 и у— БАЗИСЫ ПРЕДСТАВЛЕНИЙ ПРОСТЫХ КОМПЛЕКСНЫХ ГРУПП 365 концы одного и того же ребра, и равен О в противном случае. Квантовая обертывающая алгебра Дринфельда и Джимбо — это ассоциативная алгебра 11 над полем Ще), порожденная образующими Ет, Рт, Кт и К, ~ и полностью определяемая следующими соотношениями: КК; '=1, К;К.

= К.К;, КтЕ, = и"'ЕтКт, (1) (2) КтР = о "стРтКт, Кт — К, ' с †о ' +Е,Ег =О, если а;, = — 1, ЕтР, — Р;Ет ЕгЕ, — (и+ и ') ЕтЕ Ет и ЕтЕ;=ЕЕ; Рг РЗ вЂ” (и + о т) РтР Рт и РтР; = РЗРт (4) в противном случае, +РРг =О, если аь = -1, в противном случае. Пусть о — инволюция Я-алгебры 11, переводящая Ет в Ет, Р, в Рт, Кт в К, т и о в о '. Пусть 11 есть Що,о ']-подалгебра алгебры Ю, порожденная элементами Рт~, где Р ~=Р"~[ДЧ [ (]= П тт>л>т Р' = Р;, .

Т(' )Р;,... Т(' )... Т(ттт) Рт„. Элементы Р' образуют базис, называемый базисом ПуанкареВиркгофа — Витта Се[с, с т]-влгебры 11 . Так как этот базис зависит от выбора приведенного рвало;кения г элемента ы, то он будет обозначаться через В,. Пусть .С„есть С1[и ']-модуль, порожденный В„. Предложение 3.1 (Люстнг), (1) 41[и "]-модуль С„, рассматприваемыб как подпросщрансщво подалгебры Ю, нв зависитп отп выбора приведенного розлоткения. Можно положитпь ь„= С. (2) Пустая тт; я.' -е и тя. — каноническая проекиил.

Тогда я(В„) естпь базис Д простпранства С/о тЮ, нс завислияиб отп приведенного разложения г, Для всякого я Е 1 Люстнг определяет некоторый автоморфнэм Т(т) алгебры У. Пусть ьт — наибольший элемент группы Вейля 14т алгебры Лн у(1), и пусть Ж вЂ” его длина. Выберем приведенное разложение т элемента ьт. Это дает некоторую последовательность ят,..., ттт элементов из 1. Для последовательности целых чисел с = (ст,..., стт) Люстиг полагает Оянеье Матье Хотя формулировка следующей теоремы элементарна, ее доказательство использует теорию колчанов.

Теорема 3.2 (Люстиг). (1) Ограничение проекции х, ь" -+ С/и тт". индуцируетп изоморфизм р: ь' й оь ~ ь/о та.. (2) Положим В = р т(Д). Тогда В есть Базис С1[е т]-модуля С. Формально соотношения, определяющие обертывающую алгебру алгебры д(1), получаются, если в представлении квантовой обертывающей алгебры Джимбо и Дринфельда положить о = 1.

Следовательно, глобальный базис В подалгебры 11 определяет базис В подалгебры П 4. БАЗИСЫ РИНГЕЛЯ Пусть 1 — граф Дынкина. Выберем ориентацию на 1, что позволит связать с 1 колчан С (см. равд. 2). Пусть й — поле, и пусть й — множество классов изоморфных к-представлений колчана С. Обозначим через 2Ф свободный 2-модуль, порожденный Ф . Теорема Габриэля (см. ргзд. 2) утверждает, что имеется естественный изоморфизм й ЕФ . В частности, й не зависит от й. Обозначим через Сй векторное пространство над С с базисом й. Предположим теперь, что й — конечное поле с д элементами, и пусть У, У', Уо Е Й. Обозначим через дтт,ю,о число подпредставлений представления И, изоморфных Ун, факторы по которым изоморфны У'.

Рингель (В1) определил структуру ассоциативной алгебры на Сй, положив У! Ут! ~~, ~ У Заметим, что указанная сумма на самом деле конечна. Действительно, если коэффициент ди к,т! — не нуль, то дтш У = аппп У' + т)ип У", так что для данных У' и У" только конечное число коэффициентов отлично от нуля. Теорема 4.1 (Рннгель). Пуствь У, У', Уо Е й. Тогда козффициеннт д~ тт ю, рассмантриваемыт1 как функция онт д, *вляетнсл многочленом одт д с целыми козффициеннтами. Можно также определить новую структуру ассоциативной алгебры на Сй, положив д~,ю,тт (1)У. Пусть т Е 1.

Обозначим через Рт элемент модуля й, соответствующий простому корню дт, определенному равенством дт(у) = 6;,т, где Бт,т — символ Кронекера. Легкое вычисление показывает, что БАЗИСЫ ПРЕДСТАВЛЕНИЙ ПРОСТЫХ КОМПЛЕКСНЫХ ГРУПП Зб7 (Г;, Г ] = О, если 1, 1 не являются концами ребра графа 1, ао(Г;)~(Г1) = О в противном случае. Следовательно, существует единственный морфнзм алгебр Е: 11 -+ Сй, такой, что Е(1;) = Г;. Теорема 4.2 (Рингель). Морфеем Е есшь иэоморфиэм. Поясним принцип доказательства. Пусть 4: 1 ~ Х. Выберем векторное пространство Г, имеющее разложение Г = Щ Г;, такое, что 41шГ; = 4(1).

Положим Ео = ЩНош(Г<, Гб), причем суммирование проводится по парам (1,1), которые соответствуют ориентированным ребрам графа 1. Положим Со = ПОЬ(Г;). Пространство Ео отождествляется с пространством представлений колчана С, ассоциированного с ориентированным графом 1, и фактормножество Ео/Со есть множество классов изоморфизма представлений размерности д.

Характеристики

Тип файла
DJVU-файл
Размер
9,76 Mb
Тип материала
Предмет
Учебное заведение
Неизвестно

Список файлов книги

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