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

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

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

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

непрерывных функций на компактной группе. МТо есть функций, орбиты которых порождают конечномерные надпространства, — Прим. иерее. ПРЕДСТАВЛЕНИЯ КВАНТОВЫХ ГРУПП 397 5.1. Воронович ввел компактные квантовые группы матриц следующим образом [%1, %2]: Определение. Компактная квантовая группа матриц задается С'-алгеброй А и И х Л-матрицей и = (ип) элементов из А, удовлетворяющей следующим условиям: (1) инволютивная подалгебра А, порожденная элементами п;, плотна в А; (Я) существует морфизм С*-алгебр Д»: А -» А ® А, такой, что Ь(и»1) = ~ ом Эиау; (ш) и обратима и существует линейное антимультипликативное отображение 5: А -+ А, такое, что 5(8(а')') = а Ча Е А и матрица (5(иб)) является обратной к и. Воронович установил, что в данном случае существует мера Хаара (т.

е. такое состояниец й Е А', для которого Ь, »1 = и. Ь = п(1) . й при всех и Е А') [%2]. Он развил общую теорию (унитарных) конечномерных представлений (т.е. А-комодулей) и получил характеризацию этой категории в духе Танаки-Крейна [%3]. Это позволяет, отправляясь от дуального объекта (И,);„, е ) О, строить компактные квантовые группы матриц [Но4, Яо2, Ап]. Алгебра И, действует тогда в алгебре А «подкрученными дифференциальными операторами». Представления соответствующей алгебры А подробно изучаются в [Яо1, Яо2, Ь-Я]. 6.2. Рассмотренные квантовые группы придают геометрический ха рактер теории д-аналогов специальных функций, в частности, ортогонельных полиномов.

Например, »д-малые полиномы Якоби» естественно возникают как матричные элементы неприводимых унитарных представлений квантовой группы ЯЩ2), а коэффициенты Клебша — Гордана выражаются через о-полиномы Хана. уравнения в конечных разностях для этих полиномов возникают из действия оператора Казимира 2.8.б. Мера Хаара выражается через интеграл Джексона д-перечислений, а соотиощения ортогональности полиномов интерпретируются как П В квантовой мвханнхв состовнкв — функционал на алгебре наблюдаемых.— Првм. перев.

398 Марк Россо таковые для матричных элементов представлений по отношению к мере Хаара. См., например, [К-К, Коо, К-В2, ММНН1), Во-7]. б. АРИФМЕТИЧЕСКАЯ (ИЛИ ОГРАНИЧЕННАЯ) СПЕЦИАЛИЗАЦИЯ В данном разделе 1 есть целое нечетное число, взаимно простое со всеми элементами матрицы Картана. Пусть й = ь1 и А = Е[9, д т]. Напомним (см. и. 2.5), что А-аягебра Ил обладает базисом типа Пуанкаре-Биркгофа — Витта. Для каждой А-алгебры А можно взять Е<лА и получить А-алгебру Ил, в частности, это можно сделать для А = Е или 1г, где д действует как 1. Пусть  — фактор кольца А по идеалу, порожденному Им круговым полиномом. Можно определить В-алгебры Ив, Ивц, Иво.

Точно так же можно рассмотреть фактор В кольца ь)[д, д '] по тому же круговому папиному (В С В) и получить Ив, Ив~, Ин. Кроме того, обозначим через Ус< обертываюшую алгебру над Ч простой <1-алгебры Ли, ассоциированной с (а<т), и пусть Е<, Р<, Й< — ее образующие, удовлетворятощие стандартным соотношениям. Пусть Лг — это 2-форма Костанта, порожденная разделенными степенями: Е~ ) = Е,'~(<АП<, г ~ ~ = РР<(Х< для 1 (т ( и, и ) О. Если р — нечетное простое число, то пусть Рр — поле из р элементов. Тогда УР, = Уг Эг Рр есть гипералгебра простой алгебраической группы над Рр, ассоциированной с (а<т) .

6.1. И в Ив, и в Ив справедливо соотношение Кг' = 1, причем К,'. — центральный элемент. Обозначим через Йв и Йн соответствующие факторы по двустороннему идеалу, порожденному элементами К< — 1, 1 < т ( и. Кроме того, К< является центральным элементом в Иг или в И<1 и можно определить алгебры Йг, Йта. Предложение [1А, Ь5]. (<) Йц и 0<1 (соотпв. Иг и Уг) изоморфны как алгебры Хопфа. ' (Я) Лустпь 1 = р. Можно отозсдествить В((у — 1)В и Рр, превратив тпгм самым Рр в В-алгебру, и образоватпь Й<р„= Йв «рв Рр. Тогда ЙР, и УР, изоморфны как алгебры Хопфа. 6.2. Пусть  — подалгебра в УР„, порожденная элементами Е<, Р<, 1 ( т ( и. Это алгебра Хопфа размерности рг"+" над Рр.

ПРЕДСТАВЛЕНИЯ КВАНТОВЫХ ГРУПП 399 Е( Ртс (ет) Ес О ( рОе~б ру(Ф")) = ~ ~с 6(К») =1. если 1 делит )(т, в прогнанном случае, если 1 делит Ж, в пропп»вном случае, Ограничимся морфизмом В-алгебр ЕУ: Ив -» Их Эх В и пропустим его через факторы Ив и Йв. Пусть и' есть В-подаягебра алгебры Ив, порожденная элементами Ес, Г;, К(, 1 <» < п, н н'~ — ее В-подалгебра, порожденная элементами Ес.

Доказательство существования морфизма Рт основано на интерпретации алгебры Йв+ как »скрещенного произведения» и' на обертывающую алгебру Й<+~ Эс) В, действующую на н'~ с помощью некоторых дифференцирований. Точнее, пусть бс (соотв. б,') — дифференцирование алгебры Ив, определенное соотношением б(х) = Е( ) х -хЕ( ) (О О) »)В оригинале — е)фЬ»е Ое сое(вс!ени. — Прим. нерее. Двусторонний идеал алгебры сГР,, порожденный ядром аугментации алгебры Б — не что иное, как ядро отображения Фробениуса й". 7»у, -+ ГГР, (обобщение обычного отображения Фробениуса на групповом кольце'> простой группы над Рр): Рт(Е( ~)) = Е( У ), если — (и) -(и~о) р делит ))т, и гг(е( )) = О в противном случае, гт(Г~ )) = г)~~р~, если р делит Г»т, и гт(г'» )) = О в противном случае.

Рассмотрим параллельно В-подалгебру и алгебры Йв, порожденную элементами Е;, Р», Кс, 1 <» < и, и ее фактор й по двустороннему идеалу, порожденному К,' — 1. Тогда й является свободным В-модулем ранга 1»"+". Мы увидим, что он допускает интерпретацию, аналогичную интерпретации алгебры В, в терминах некоторого »отображения Фробениуса в характеристике нуль». 6.3.

Отображение Фробениуса в характеристике нуль (Люстиг )Ь5]). Теорема. Суо»ествует едвнсп»еенный мору»изм В-алгебр Рг: Ив -+ 7(с) Эс) В, такой, что 400 Марк Россо (соотв. б,' = г;~ х — хг," ). Тогда б; оставляет и и и+ на месте, а б,' <0 (0 оставляет на месте и и и Можно показать, что на (Иц+ЭсзВ)Эви'+ существует единственная структура В-алгебры, которая совпадает с известными структурами на Ис+ Э В и на и'+ и такова, что Е;х = хЕ; + б;(х) для всех х в и'+. Эта алгебра изоморфна Ив+, причем соответствующий изоморфизм у переводит Е; й И~ц Э<~ В в Е, ~ и Ив+ и у 6 и'+ в себя.

Тогда Рг определен на Ив~, для чего используется у ' и отображение алгебры (1Я Эсз В) Эв и'+ на ~Я Эц В с помощью аугментации алгебры и'+. 6.4. Ядро отображения гг, Ив -+ Ух Эх В есть ие что иное, как двусторонний идеал, порожденный идеалом аугментации алгебры Хопфа й, введенной в п. 6.2.

6.5. В данном пункте ( = р. Применим функтор ЭвРр к Йв и к Пх Эх В. Согласно и. 6.1, получаем в обоих случаях Ур,, и Й становится отображением Фробениуса из п. 6.2. Кроме того, йЭв Рр и й взоморфны как алгебры Хопфа над Рр. Пусть й' = й Эв В. Предложение (Люстиг [1А]). (() Простые й'-модули вараметризуютсл миохсвством (Е/рЕ)" .

(й) Если М является простым й'-модулем, то оп содерхсит В-решетку Мо, которая является й-подмодулем, такую, что Мо ЗвРр имеет у«актер, являющийся простым й-модулем с твм хсе параметром, что и у'М в (Е/рЕ)". Люстиг фактически предполагает, что и н й имеют одинаковые теории представлений (для малых р). В частности, простые й-модули, связанные с М, как указано вьппе, должны иметь ту же размерность, что и М. 6.6. Возвратимся к случаю не обязательно простого ! и рассмотрим категорию С конечномерных Ив-модулей, на которых К~ действует как 1 (можно всегда свести дело к этому случаю). (См. (1 2].) 6.6:1. Простые объекты категории классифицируются доминантными весами.

Действительно, если Л вЂ” доминантный вес, то имеется конечномерный простой И-модуль ЦЛ) над Ц(д) и вектор старщего веса с. Пусть ЦЛ)л является Ил-подмодулем, порождейным вектором о, и )а'(Л) = Ь(Л) л Э.я В. Это Ив-модуль, который имеет единственный простой фактор С(Л). Отображение Л «+ С(Л) является 401 ПРЕДСТАВЛЕНИЯ КВАНТОВЫХ ГРУПП биекцией множества Ра на множество классов эквивалентности про- стых объектов в С.

6.6.2. Если М является ««л-модулем из категории С и Л Е Р, Л = л«ш«, Люстиг определяет подпространство веса Л =( «««)««=«,' [ '] =['] « =~,..., ). М является суммой весовых подпространств, и если М = 1У(Л), то размерность весовых подпространств дается формулой Г. Вейля. Для С(Л) эти размерности неизвестны. По аналогии с имеющимися гипотезами для простых рациональных модулей над простыми алгебраическими группами над алгебраически замкнутым полем ненулевой характеристики Люстиг предложил гипотетическую формулу для размерностей весовых подпространств модуля ь(Л) в терминах полиномов Каждана — Люстига аффинной группы Вейля, связанной с (а; ) [1 2].

6.7. В силу аналога теоремы Стейнберга о тензорном произведении все сводится на самом деле к случаю, когда координаты Й«доминантных весов Л таковы, что О < я«< 1 — 1 (Ьоеэ116 [Ь2]). Действительно, доминантный вес Л единственным образом записывается в виде Л = Л'+1Л", где Л" — доминантный вес, а координаты веса Л' заключены между О и 1 — 1. Тогда С(Л) ь(Л') З ь(1Л") как 1«в-модули. На самом деле и' действует в ь((Л") тривиально, и представление ИВ в ь(1Л") пропускается через отображение Фробениуса Рг: УВ -+ УО Э«1 В, так что структура весовых подпространств модуля,С(1Л") известна.

Кроме того, ограничение ь(Л') на и' остается неприводимым, и каждый неприводимый и'-модуль, на котором п( действует умножением на 1, получается именно как такое ограничение. 6.8. Теория представлений алгебры 1«в для случая, когда (а;.) имеет тип А, подробно изучается в [А-Р-Ж1, А-Р-%2, А-%] и в [Р-%]. Андерсен, Поло и Вен ввели для 1«' «алгебру координат«, которая является свободным Е[д]-модулем, я испольэовали ее для развития общей теории индукции.

В частности, они получили аналоги теоремы Серра, теоремы об обращении в нуль Кемпфа для доминантных характеров и формулы характеров Демазюра, а также определили фильтрацию типа Янсена. Они проверили гипотезу Люстига для случая системы корней ранга 2 и для случая, когда (а; ) имеет тип Аэ. За более точной информацией мы отсылаем читателя к их статьям. 402 Марк Россо 7. СПЕЦИАЛИЗАЦИЯ БЕЗ ОГРАНИЧЕНИЯ Результаты данного раздела получены Де Кончини и Кацем [ПСК). Пусть й = С н г — примитивный корень (-й степени из 1. Положим У = 1, если ! нечетко, и У = 1/2, если четно. Предположим, что У ) шах(д») 7.1. Элементы Е~, Р|, Кос, удовлетворяют следующим соотноше- ниям: Е' Рэ = РэЕ', КлгЕа с ' ЕаКлг ~ Р„'Р, = <'д>'Р,Р.', Р' Еэ = ЕдР~, КРР -(к,о)РР КГ д к — г а О ° 0<т;<1, 0<я <1, 0<го<(. (ьч) и,'Лг;=Ее.

(ч) Ео инвариантна относительно автоморфиэмов Т;. Следовательно, элементы Е~, Р~, КЭ~ (а Е В»., Д Е ()) лежат в центре Е, алгебры У,, И Р~~ил порождает в модуле Верма М(Л) собственный подмодуль старшего веса для каждого а б В+ . Диагональный 17;модуль М(Л) определяется как фактор модуля М(Л) по подмодулю, порожденному всевозможными Р~„ол, а Е В».. Из этого непосредственно следует, что элементы Рл '... Рв "и~, где 0 < ть < Г, образуют базис модуля М(Л) над С. Кроме того, при рассмотрении детерминанта контравариантной эрмитовой формы (которую можно специализировать, когда [г[ = 1).

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

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

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

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