Главная » Просмотр файлов » Диссертация

Диссертация (1137439), страница 10

Файл №1137439 Диссертация (Некоторые классы циклических модулей над алгебрами Ли) 10 страницаДиссертация (1137439) страница 102019-05-20СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

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

Стартовые значения зафиксированыравенствами (22 , 12 , 11 ) = 0, если некоторое из чисел отрицательно и (0, 0, 0) = 1.Предложение 4.2.3. Специализации несимметрических полиномов Макдо­(2)дональда в типе 2 могут быть записаны в следующем виде ( ≥ 0):∑︁(2)−2 (, , 0) =2 (22 , 12 , 11 )22 −11 .(4.2.4)22 +12 +11 =(2)∑︁2+1(, , 0) =(︀)︀ 2+1 2 (22 − 1, 12 , 11 ) + 1 (22 , 12 − 1, 11 ) 11 −22 +1 .22 +12 +11 =+1(4.2.5)(2)2∑︁− (, −1 , ∞) =1 (22 , 12 , 11 )11 −22 .(4.2.6)22 +12 +11 =(2)2+1(, −1 , ∞) =∑︁2 (22 , 12 , 11 )11 −22 +1 .22 +12 +11 =(2)(2)2В частности, +1(, −1 , ∞) = −2 (, , 0).56(4.2.7)Доказательство. Для начала докажем (4.2.4), (4.2.5) используя Теорему4.2.1.

Пусть – длина элемента . Мы знаем, что +1− = −1 + . Сле­довательно, +1− = 2 = . Значит, если мы изучаем специализацию в = 0, мы можем считать все знаменатели равными 1:∑︁∏︁ ∏︁(2)2(()−1)/2+( )−|| (, , 0) = lim ( ) =→0∈0∑︀∈ℬ()= lim∑︁ (()−1)/2+( )−||+2|0 ∪− | →0∈−∈0 ∪− ( ).∈ℬ()Мы утверждаем, что показатель (() − 1)/2 + ( ) − || + 2|0 ∪ − | об­нуляется тогда и только тогда, когда нет положительных 0-складок и он по­ложителен, когда такие складки имеются. Действительно, пусть 0+ и 0− –множество положительных и отрицательных нулевых складок.

Тогда:(() − 1)/2 + ( ) − || + 2|0 ∪ − | − 2|0+ | =(4.2.8)(() − 1)/2 + ( ) − |+ | − |0+ | + |0− ∪ − | = 0.Следовательно, (() − 1)/2 + ( ) − || + 2|0 ∪ − | = 2|0+ |. Обозна­чим множество путей с |0+ | = 0 как ℬ . Тогда мы имеем:(2)2(, , 0) =∑︁∑︀∈0 ∪− ( ).∈ℬ()Теперь запишем альковные пути в следующем виде. Мы их закодируем после­довательностями h = (ℎ0 , . . . , ℎ ) (см. [HHL]) чисел 1 и 2. Положим ℎ0 = 1,если > 0 и ℎ0 = 2 если < 0.

Если -й шаг пути заканчивается стрелкойвправо (то есть это пересечение слева направо или положительная складка),то ℎ = 1. Если -й шаг заканчивается левой стрелкой, то ℎ = 2. Тогда под­последовательности 12 соответствуют отрицательным складкам и подпосле­довательности 21 соответствуют положительным складкам. Рассматриваемпоследовательность (ℎ0 , .

. . , ℎ ) как последовательность из пар 11, 12, 21, 22и, возможно, первого ээлемента без пары. Тогда множество последователь­ностей пар без пары 21 соответствует ℬ(). Обозначим множество такихпоследовательностей как ().Для любой последовательности h длины + 1 обозначим leg(h) =∑︀ℎ− =1,ℎ−+1 =2 . Тогда:(2)2(, , 0) =∑︁ leg(h) [(|{>0|ℎ =1}|−|{>0|ℎ =2}|+1)/2] ,h∈()57где [] – целая часть .Рассмотриммногочлены(2)−2 (, , 0).Обозначимчерез(, 22 , 12 , 11 ) ⊂ (−) множество последовательностей пар иэлемента ℎ0 , такого что ℎ0 = и там присутствуют пар .

Положим∑︁ (22 , 12 , 11 ) = leg(h) .h∈(,22 ,21 ,11 )Разделим множества (, 22 , 12 , 11 ) на три подмножества последователь­ностей в соответствии со значением первой пары ℎ1 , ℎ2 ((2, 2), (1, 2) или (1, 1)).Рассмотрим случай = 2. Если (ℎ1 , ℎ2 ) = (2, 2), тогда нога последова­тельности не изменится, если мы отрежем (ℎ0 , ℎ1 ). Легко видеть, что все эле­менты (2, 22 − 1, 12 , 11 ) могут быть получены такой процедурой. Если(ℎ1 , ℎ2 ) = (1, 2), то если мы отрежем первые два элемента, то уменьшитсяна 2 − 1.

Если (ℎ1 , ℎ2 ) = (1, 1), то если мы отрежем первые два элемента,то не изменится и мы получим = 1 вместо = 2. То есть мы получаемрекуррентное соотношение (4.2.3). Рекуррентное соотношение (4.2.2) можетбыть получено тем же способом. Более того, мы по определению получаем,что они удовлетворяют (4.2.4).Аналогично мы получаем соотношение (4.2.5).(2)Теперь рассмотрим многочлены 2 (, −1 , ∞). При → ∞:11−∼ −−1 . После замены → −1 мы имеем:(2)−2 (, −1 , ∞) = lim∑︁→∞=∼(− −2 )wt( ) =∈0 ∪+∈ℬ()∑︁∏︁ ((−)−1)/2+( )+||1−2(−()−1)/2+( )+||−2|0 |−2|+ |∑︀∈0 ∪+ wt( ).∈ℬ()Аналогично (4.2.8) мы имеем, что (() − 1)/2 + ( ) + || − 2|0 | −2|+ | = 0, если 0− = ∅.

Поэтому мы получаем:(2)−2 (, −1 , ∞) =∑︁∑︀∈0 ∪+ [(|{>0|1 =1}|−|{>0|1 =2}|+1)/2].∈ℬ(),|0− |=0В терминах последовательностей мы получаем, что любая прогулка, дающаянетривиальное слагаемое, получается из последовательности пар 22, 21, 11с ℎ0 = 2. Обозначим множество таких последовательностей как ′ () и58положим leg′ (h) =ℎ− =1,ℎ−−1 =2 .∑︀(2)′∑︁−2 (, −1 , ∞) =Тогда: leg (h) [(|{>0|ℎ =1}|−|{>0|ℎ =2}|+1)/2] .h∈ ′ ()Теперь мы получаем (4.2.6), меняя местами 1 и 2 по всех определениях преды­дущего абзаца.В итоге:(2)2∑︁−1(, , ∞) = lim→∞=(− −2 )wt( ) =∈0 ∪+∈ℬ()∑︁∏︁(( )+||( )+||−2|0 |−2|+ |∑︀∈0 ∪+ wt( ),∈ℬ()и мы получаем (4.2.7).Лемма 4.2.4. Единственное решение уравнений (22 , 12 , 11 ) из определе­ния 4.2.2 дается формулами:(︃1 (22 , 12 , 11 ) = 2+22212(︃2 (22 , 12 , 11 ) = 21222 + 12 + 1122 , 12 , 1122 + 12 + 1122 , 12 , 11)︃,(4.2.9)2)︃(4.2.10)2Доказательство.

Прямое вычисление.4.2.3. Двойственные полиномы МакдональдаВ этом разделе мы будем работать с полиномами Макдональда типаМы сохраняем обозначения из разделов 4.2.1 и 4.2.2.(2)†2 .1/2Теорема 4.2.5. (Рам, Йип, (2)†. Тогда:2 -случай) Положим = (2)†2(, , ) =∑︁(︀)︀|| (()−1)/2+( )−|| 1 − 2×∈ℬ()∏︁∈0+∏︁ 2 ∏︁ 1 ∏︁ 1( ) .221 − 1 − 1 − 1 − ∈0−59∈+∈−Определение 4.2.6. Определим элементы † (22 , 21 , 11 ) ∈ Z[], = 1, 2 следу­ющими рекуррентными соотношениями:†1 (22 , 21 , 11 ) = 2 †2 (22 − 1, 21 , 11 ) + 2 †1 (22 , 21 − 1, 11 ) + †1 (22 , 21 , 11 − 1),(4.2.11)†2 (22 , 21 , 11 ) = †2 (22 − 1, 21 , 11 ) + †1 (22 , 21 − 1, 11 ) + †1 (22 , 21 , 11 − 1),(4.2.12)где = 11 + 21 + 22 . Стартовые условия – † (22 , 21 , 11 ) = 0, если любое < 0, и † (0, 0, 0) = 1.Предложение 4.2.7.

Мы имеем следующие уравнения ( ≥ 0):(2)††2 (22 , 21 , 11 )11 −22 .(4.2.13)†1 (22 , 21 , 11 )11 −22 +1 .(4.2.14)†1 (22 , 21 , 11 )11 −22 .(4.2.15)∑︁−2 (, , 0) =22 +21 +11 =(2)†∑︁2(, , 0) =+122 +21 +11 =(2)†∑︁−2 (, −1 , ∞) =22 +21 +11 =(2)†2+1∑︁−1(, , ∞) =(︁†2 (22 , 21 , 11 )+)︁†1 (22 , 21 , 11 )11 −22 +1 .22 +21 +11 =(2)†2(4.2.16)(2)†2В частности, +1 (, , 0) = − (, −1 , ∞).Доказательство. Доказательство полностью аналогично доказательствуПредложения 4.2.3.

Мы имеем те же самые элементы = 2 = . По­этому, если мы изучаем специализации в = 0, мы можем положить всезнаменатели равными 1:∑︁∏︁ ∏︁(2)†2 (, , 0) = lim( ) (()−1)/2+( )−|| =→0∈0∈ℬ()= lim∑︁→0( ) (()−1)/2+( )−||+2|+ |+4|0+ | ∈−∑︀∈0 ∪−.∈ℬ()Показатель (() − 1)/2 + ( ) − || + 2|+ | + 4|0+ | обнуляется если итолько если нет отрицательных 0-складок. Закодируем альковную прогулкадвоичным словом тем же образом, что и в доказательстве Предложения 4.2.3.Теода ненулевые слагаемые соответствуют словам без 12. Это – единственноеотличие от предыдущего доказательства.60Лемма 4.2.8.

Единственное возможное значение для † (22 , 12 , 11 ) изОпределения 4.2.6 задается формулами:(︃†1 (22 , 21 , 11 ) = 21 (21 −1)+222 +221(︃†2 (22 , 21 , 11 ) = 21 (21 −1)22 + 21 + 1122 , 21 , 11)︃22 + 21 + 1122 , 21 , 11)︃,(4.2.17)2(4.2.18)2Доказательство. Прямая проверка.4.3. СравнениеВ этом разделе мы обсудим связь между характерами модулей Вейля испециализированными многочленами Макдональда.Теорема 4.3.1. Для любого ∈ Z имеем(2)†(2)ch (, 2 ) = 2 (, , 0), ch (, ) = 2 (, , 0).Доказательство. Лемма 4.1.2 и Лемма 4.1.4 дают для ≥ 0(︃)︃∑︁ch− (, 2 ) = (−1) −++2,,,−−2+≤(︃)︃ ∑︁ 2ch−(, ) = −++2.,,−−2+≤(4.3.1)(4.3.2)Формула (4.3.1) согласуется с формулами (4.2.13), (4.2.18).

Формула (4.3.2)согласуется с формулами (4.2.4), (4.2.10).Применяя Следствие 4.1.12 и Следствие 4.1.14, мы получаем следующиеформулы ( ≥ 0)(︃)︃,(4.3.3),,−−+≤2(︃)︃(︁ 2)︁∑︁2ch+1(, ) =+1−−2 +2 + −1 +2+1.,,−−2+≤ch+1 (, 2 ) =∑︁ (+1)+2 +1−−2(4.3.4)61Формула (4.3.3) согласуется с формулой (4.2.14), (4.2.17).Нетривиальную часть формулы (4.3.4) мы хотим сравнить с формула­ми (4.2.5), (4.2.9) и (4.2.10).

Мы имеем условия (4.1.5) и (4.1.6) на элементыбазиса +1 . Элементы, удовлетворяющие условию (4.1.5), параметризованыданными, очень близкими к данным (4.1.2). Более точно, мы получаем (4.1.5),если мы увеличиваем степень по элементов в (4.1.2) на 2. Поэтому послесопоставления = 11 , = 12 , 22 + 12 + 11 = + 1 характер элементов(4.1.5) равен∑︁2 (22 − 1, 12 , 11 ) 222 11 −22 +1 =22 +12 +11 =+1∑︁1 (22 − 1, 12 , 11 )11 −22 +1 .22 +12 +11 =+1Аналогично, элементы, удовлетворяющие условиям (4.1.6) – это элемен­−ты, удовлетворяющие условиям (4.1.2), умноженные на 2+1. Поэтому иххарактер равен∑︁2 (22 , 12 − 1, 11 ) 2+1 11 −22 .22 +12 +11 =+1Введем ПБВ-фильтрацию на модулях Вейля − .

А именно, опреде­лим 0 = C− , +1 = + n− []. . Ассоциированное градуированноепространство является циклическим модулем над алгеброй C[0 , 1 , . . . ] ⊗⋀︀ + +(0 , 1 , . . . ). Присвоим степень 1 элементам и + . Мы тогда получа­ем дополнительную градуировку на gr− . Обозначим этот характер какch(gr− )(, , ).Для скрученных алгебр применим схожую процедуру. Для начала перей­⋀︀дем к градуированному C[0 , 1 , .

. . ] ⊗ (0+ , 1+ , . . . )-модулю gr−. Тогдаприсвоим степерь 1 переменным и степень 0 переменным + . Используяновую градуировку, мы получим новый характер, зависящий от , , . Обо­значим его как ch(gr−)(, , ).Теорема 4.3.2. Пусть ≥ 0. Тогда(2)†(2)chgr− (, 2 , 2 ) = −2 (, −1 , ∞), ch(gr−)(, , ) = −2 (, −1 , ∞).62Доказательство.

Нетрудно видеть, что множество векторов (4.1.1) образу­ет базис модуля gr− , и множество векторов (4.1.2) образует базис модуляgr−. Поэтому мы получаем следующие формулы для градуированых ха­рактеров:(︃)︃∑︁, (−1)+2+2 −++2ch(gr− )(, 2 , 2 ) =,,−−2+≤(4.3.5)(︃ch(gr−)(, , )=∑︁2+ −++2+≤, , − − )︃.(4.3.6)2Теперь формула (4.3.5) совпадает с формулой (4.2.15), (4.2.17). Формула(4.3.6) совпадает с формулой (4.2.6), (4.2.9).4.4.

Квантовый граф Брюа для22Здесь мы вкратце опишем методы статьи [OS]. Несмотря на то, что мы непользуемся их техникой, идеи из [OS] очень близки описанным выше идеям.(2)Рассмотрим группу Вейля = ⟨0 ⟩ ⋆ ⟨1 ⟩ корневой системы 2 .Определение 4.4.1. Пусть ( ) – группа Кокстера корневой системы , – отражение в корне , – функция длины на ( ). Тогда квантовый графБрюа – это следующий ориентированный граф:· множество вершин – ( );· мы имеем стрелку Брюа из в , если ( ) = () + 1;· мы имеем квантовую стрелку из в , если ( ) = () − ⟨2, ⟩ + 1.̂︁1 . Положим = 1 и =Рассмотрим квантовый граф Брюа типа 100 . Тогда мы имеем следующий отмеченный ориентированный граф на двухвершинах:00rid r j* I11где стрелки из id в – стрелки Брюа и стрелки из в id – квантовые.Положим = .

. . +1 , где – простой корень. Запишем вследующем виде: = ′ + () , где ′ ∈ Z.63Для любой альковной прогулки (, ) пусть = {| = 0}, то естьмножество складок прогулки. Тогда мы рассмотрим следуюций путь на кван­товом графе Брюа, начинающийся в элементе id:(-1 ). . .(- )Нетрудно видеть, что любая нечетная стрелка этого графа – квантовая, алюбая четная – стрелка Брюа. Стрелки Брюа соответствуют отрицательнымскладкам, а квантовые стрелки – положительным. Определим квантовые пу­(2)†ти Брюа как пути без стрелок Брюа (квантовых стрелок для 2 ), отмечен­(2)ных элементом 0 . В [OS] доказано, что 2 (, , 0) получается как сумманекоторых слагаемых, находящихся во взаимно-однозначном соответствии сквантовыми путями Брюа.6465 5ГлаваОбобщенные модули Вейля и их связь смногочленами МакдональдаПусть g – простая алгебра Ли и пусть (, , ) – несимметрическиемногочлены Макдональда, соответствующие g [Ch1, O, M2].

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

Тип файла
PDF-файл
Размер
995,43 Kb
Высшее учебное заведение

Список файлов диссертации

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