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

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

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

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

Запишем разложения ==1 ⊗ ,⨁︀∞ = =1 ⊗ . Морфизм распадается в прямую сумму морфизмов из ⊗ в ⊗ и для ̸= это отображение может быть только нулевым, адля = оно имеет вид ⊗, где – линейное отображение из в . Мор­физм ⊗ из диаграмы (2.2.2) тогда является прямой суммой морфизмоввида ⊗ из ⊗ () в ⊗ () для () = . Запишем теперь условиекоммутативности диаграмы (2.2.2) на каждом подмодуле () ⊗ () :() ⊗ ∘ 1 , ⊗ = 2 , ⊗ ∘ () ⊗ ,то есть:() ∘ 1 , = 2 , ∘ () .Но это – условие на то, что набор отображений { } пространств в точках кол­чана является морфизмом представлений колчана из { , 1 , } в { , 2 , }.Тем самым мы получили отображение на объектах и морфизмах. Функтори­альность этого отображения очевидна.Наоборот, рассмотрим представление { , } колчана .

Построим⨁︀-модуль = ∞=1 ⊗ . Зададим морфизм : ⊗ → на подмоду­лях () ⊗ () → () ⊗ () набором отображений ⊗ . Тем самыммы задали отображение на объектах рассматриваемых категорий. Так же поморфизму { } представлений колчана построим морфизм пар, задав отобра­жение на подпространствах ⊗ : ⊗ → ⊗ .

Как было показановыше, утверждение о том, что этот морфизм модулей задает морфизм пар,эквивалентно тому, что { } – морфизм представлений . Тем самым мыпостроили функтор и нетрудно видеть, что построенные здесь функторы яв­ляются взаимно сопряженными. Следовательно, рассматриваемые категорииэквивалентны.(ii) Рассмотрим полную подкатегорию пар = (, : ⊗ → ) сосвойством (2.2.1). В силу формулы (2.2.6) мы имеем: ⊗ ⊗ ≃ ⊗∞ ⨁︁⨁︁ ⊗ () ≃ ⊗⨁︁() ⊗ ()(2.2.7)=1 ()=Применив результаты предыдущего пункта получаем, что образ одногопрямого слагаемого ⊗ () ⊗ () под действием отображения ⊗ будет13лежать в ⊗ () ⊗ () и отображение на этом слагаемом будет иметь вид ⊗ , ⊗ .⨁︁ ⊗ ⊗ () ≃ ⊗() .()=()Поэтому ⊗ () ⊗ () ≃ ()=() () ⊗ () и отображение ⊗ будетпереводить прямое слагаемае () ⊗ () в прямое слагаемое () ⊗ () ииметь вид , ⊗ .

Поэтому отображение ∘ ( ⊗ ) на каждом прямомслагаемом () ⊗ () (напомним, что () = ()) имеет вид , , ⊗ .Рассмотрим ограничение отображения ∘ ( ⊗ ) на ( ∧ ) ⊗ , то естьпару 1 = (, ∘ ( ⊗ )). На прямых слагаемых оно имеет вид 1 , ⊗ ,где – стрелка в (∧) . Тогда условие (2.2.1) эквивалентно тому, что все1 , = 0. Но по построению все 1 , являются линейными комбинациямилинейных отображений вида , , . Следовательно, условие (2.2.1) эквива­лентно некоторому набору линейных соотношений на , , , причем дляточек и количество соотношений для путей длины 2 равно кратностивхождения в ( ∧ ) ⊗ .

Поэтому эквивалентность категорий из пунк­та (i) задает эквивалентность полных подкатегорий пар с условием (2.2.1) ипредставлений колчана с тербуемым в условии Леммы количеством соот­ношений длины 2 между каждой парой точек.Тем самым доказательство Леммы завершено.⨁︀Теорема 2.2.5. Категория конечномерных представлений i () экви­валентна категории представлений колчана . Категория конечномерныхпредставлений i эквивалентна категории представлений колчана снабором соотношений второй степени, количество которых для путей източки в равно кратности вхождения в ( ∧ ) ⊗ .Доказательство. Утверждение Теоремы легко следует из Леммы 2.2.4, За­мечания 2.2.2 и Леммы 2.2.1.2.3. Исследование представлений колчана ,дикостьалгебр с абелевым радикаломИз теоремы (2.2.5) следует, что если для колчана алгебра /( )2 дикая, то и алгебра i дикая, так как категория ее пред­14ставлений эквивалентна категории представлений алгебры с факторалгеброй,изоморфной алгебре /( )2 .

Очевидно, что /( )2 дикая, ес­ли дикий колчан без последовательных стрелок. В общем случае имеетсяследующий, принадлежащий Габриелю критерий того, что фактор по квадра­ту радикала алгебры путей колчана дикий. Ссылку на него найти не удалось,так что приведем набросок доказательства.Предложение 2.3.1.

Пусть Γ – колчан. Тогда алгебра KΓ/(KΓ)2 дикаятогда и только тогда, когда следующий колчан Γ′ является диким. ТочкиΓ′ – это точки ′ , ′′ для каждой точки из Γ. Стрелок из ′ в ′′ – столько,сколько из в в колчане Γ, и других стрелок нет.Для доказательства нужно взять представление Γ, в качестве простран­ства в каждой точке ′′ взять сумму образов всех стрелок, входящих в , а вкачестве пространства в точках ′ - фактор пространства в точке по сум­ме этих образов. Таким образом получим все неразложимые представленияΓ′ кроме тривиальных в точках ′′ . Колчан Γ′ называется дублем Габриэляколчана Γ.Отсюда сразу же получаем следующееПредложение 2.3.2.

Пусть – -модуль такой, что для него существу­ет такой неприводимый -модуль , что ⊗ содержит 5 различныхнеприводимых компонент, или компоненту кратности не меньше 3, иликомпоненту кратности 2 и еще одну ненулевой кратности (и все эти ком­поненты отличны от ). Тогда алгебра i – дикая.Доказательство.

В описанных выше случаях дубль Габриэля колчана содержит одинизr следующих подколчанов:rr6r-rr-rr,,Эти колчаны дикие [Naz].r?rrПредложение 2.3.3. Пусть – полупростая алгебра Ли, – простой-модуль такой, что (i) для некоторых двух простых корней ∨ , ∨ :15⟨Λ , ∨ ⟩ ≥ 1, ⟨Λ , ∨ ⟩ ≥ 1 или (ii) для его старшего веса Λ и для неко­торого простого корня ∨ из подалгебры Картана верно ⟨Λ , ∨ ⟩ ≥ 2, (iii)вообще модуль простой имеющий размерность больше 2. Тогда алгебра i – дикая.Доказательство.

Если для некоторых модулей 1 , 2 со старшими весамиΛ1 , Λ2 : ⟨Λ , ∨ ⟩ ≥ 1, = 1, 2, то тензорное произведение 1 ⊗ 2 содер­жит в разложении простой модуль со старшим весом Λ1 + Λ2 − . Дей­ствительно, пусть 1 , 2 – старшие вектора этих модулей. Рассмотрим вектор⟨Λ2 , ∨ ⟩ 1 ⊗2 −⟨Λ1 , ∨ ⟩1 ⊗ 2 . Нетрудно видеть, что этот элемент име­ет вес Λ1 + Λ2 − , ненулевой, так как = 0 тогда и только тогда, когда⟨Λ , ∨ ⟩ = 0, и обнуляется всеми положительными корнями. Следовательно,он является старшим весовым элементом некоторого простого подмодуля.Если же ⟨Λ , ∨ ⟩ ≥ 2, то все элементы 1 ⊗ 2 , 1 ⊗ 2 ,1 ⊗ 2 ненулевые. Для простого корня ̸= обнуляет все этиэлементы, так как коммутирует с .

Элемент переводит пространство,порожденное этими элементами в двумерное. Поэтому существует линейнаякомбинация элементов 1 ⊗ 2 , 1 ⊗ 2 , 1 ⊗ 2 , обнуляемаяэтим элементом. Но тогда эта линейная комбинация обнуляется всеми поло­жительными корнями, то есть является старшим весом некоторого простогоподмодуля. Поэтому тензорное произведение 1 ⊗ 2 содержит простое пря­мое слагаемое со старшим весом Λ1 + Λ2 − 2.(i)Рассмотрим простой модуль такой, что для его старшего веса Λформы Λ + , Λ + также являются доманинтными и ⟨Λ , ∨ ⟩ ≥ 1,⟨Λ , ∨ ⟩ ≥ 1.

По доказанному выше тензорное произведение ⊗ содержитв разложении подмодули со старшими весами Λ +Λ −, Λ +Λ − . Такжеэто произведение содержит простой подмодуль со старшим весом Λ + Λ .Далее, для модуля со старшим весом Λ + в разложении ⊗ естьподмодули со старшими весами Λ + Λ , Λ + Λ + , и для модуля состаршим весом Λ + один из простых подмодулей разлодения тензорногопроизведения этого модуля на имеет старший вес Λ + Λ (так как ⟨Λ +, ∨ ⟩ ≥ 1, ⟨Λ + , ∨ ⟩ ≥ 1).

Все эти модули различны в силу свойстврассматриваемого модуля , кроме случая = + . Поэтому колчан содержит следующий подколчан:16rΛ +6Λ − r-rrΛΛ 6+ ΛΛ + r?rr?Λ + Λ − Λ + Λ + Λ + В случае = + дубль Габриеля колчана будет содержать рас­сматриваемый колчан.Этот колчан дикий и без последовательных стрелок, поэтому в силуТеоремы (2.2.5) алгебра i – дикая.(ii) Пусть – такой простой модуль, что для его старшего веса Λформа Λ − 2 также является доминантной.

Тогда ⟨Λ − , ∨ ⟩ ≥ 1, сле­довательно, по доказанному выше ⊗ содержит в разложении простыемодули весов Λ + Λ , Λ + Λ − , Λ + Λ − 2, а произведение моду­ля со старшим весом Λ − на содержит подмодули со старшими весамиΛ + Λ − , Λ + Λ − 2. Поэтому в зависимости от того, равняется ли Λ,2 или ни тому, ни другому, содержит один из следующих подколчанов:? rΛ − rΛ + 2rΛ + Λ ? rΛ?rHΛHHHrΛr?rΛ + rΛ − HHjr?HΛ + -rΛ + Λ6 − 2rΛ + Λ − Λ − У всех этих колчанов дикий фактор по квадрату радикала (так какдикий дубль Габриэля). Поэтому алгебра i – дикая.(iii) Из вышедоказанного следует, что алгебра Ли ⊗ , где – полу­простая, – -модуль, дикая, если в разложении присутствует нефундамен­тальное представление.

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

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

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

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