Глоссарий теории представлений - Википедия - Glossary of representation theory

Это глоссарий теория представлений в математика.

Термин «модуль» часто используется как синоним представления; теоретико-модульную терминологию см. также глоссарий теории модулей.

Смотрите также Словарь групп Ли и алгебр Ли, список тем теории представлений и Категория: Теория представлений.

Обозначения: Мы пишем . Так, например, единичное представление (т.е. персонаж) группы грамм имеет форму .

А

Адамс
Операции Адамса.
прилегающий
В присоединенное представительство группы Ли грамм - представление, заданное присоединенным действием грамм на алгебре Ли грамм (Сопряженное действие получается, грубо говоря, дифференцированием действия сопряжения.)
допустимый
Представление реальной редуктивной группы называется допустимый если (1) максимальная компактная подгруппа K действует как унитарные операторы и (2) каждое неприводимое представление K имеет конечную кратность.
чередование
В переменный квадрат представительства V является субпредставлением второй тензорная мощность .
Артин
1.  Эмиль Артин.
2.  Теорема Артина об индуцированных характерах утверждает, что характер на конечной группе является рациональной линейной комбинацией характеров, индуцированных из циклических подгрупп.
3.  Представительство Артина используется в определении Артин дирижер.
автоморфный
автоморфное представление

B

Теорема Бореля – Вейля – Ботта.
Над алгебраически замкнутым полем нулевой характеристики Теорема Бореля – Вейля – Ботта. реализует неприводимое представление редуктивная алгебраическая группа как пространство глобальных сечений линейного пучка на многообразии флагов. (В случае положительной характеристики конструкция дает только Модули Вейля, который не может быть неприводимым.)
разветвление
правило ветвления
Брауэр
Теорема Брауэра об индуцированных характерах утверждает, что характер на конечной группе является линейной комбинацией с целыми коэффициентами характеров, индуцированных из элементарных подгрупп.

C

Теория Картана – Вейля
Другое название для теория представлений полупростых алгебр Ли.
Элемент Казимира
А Элемент Казимира является выделенным элементом центра универсальной обертывающей алгебры алгебры Ли.
категория представительств
Представления и эквивариантные отображения между ними образуют категория представительств.
персонаж
1. А персонаж - одномерное представление.
2. Характером конечномерного представления π является функция . Другими словами, это композиция .
3. An неприводимый характер (соответственно тривиальный персонаж ) - характер неприводимого представления (соответственно тривиального представления).
4. группа персонажей группы грамм это группа всех персонажей на грамм; а именно, .
5. кольцо персонажа является групповым кольцом (над целыми числами) группы характеров грамм.
6. Виртуальный персонаж - это элемент кольца персонажей.
7. А распределительный характер может быть определен для бесконечномерного представления.
8. Ан бесконечно малый символ.
Chevalley
1. Шевалле
2.  Генераторы Chevalley
3.  Группа Шевалле.
4.  Теорема ограничения Шевалле.
функция класса
А функция класса ж в группе грамм функция такая, что ; это функция на классах сопряженности.
сопряженный
А коприсоединенное представление - двойственное представление присоединенного представления.
полный
«Полностью приводимый» - это еще один термин для «полупростого».
сложный
1. А сложное представление представляет собой представление грамм на сложном векторном пространстве. Многие авторы называют сложные представления просто представлениями.
2. Программа комплексно-сопряженный сложного представления V представление с той же основной аддитивной группой V с линейным действием грамм но с действием комплексного числа через комплексное сопряжение.
3. Комплексное представление самосопряжено, если оно изоморфно своему комплексно-сопряженному.
дополнительный
Дополнительное представление к подпредставлению W представительства V это представление W' такой, что V прямая сумма W и W'.
куспидальный
куспидальное представление
кристалл
кристаллическая основа
циклический
Циклический грамм-модуль - это грамм-модуль, порожденный одним вектором. Например, неприводимое представление обязательно циклическое.

D

Дедекинд
Теорема Дедекинда о линейной независимости характеров.
определяется по
Учитывая расширение поля , представление V группы грамм над K как говорят определяется по F если для некоторого представления над F такой, что индуцируется ; т.е. . Здесь, называется F-форма V (и не обязательно уникален).
Демазюр
Формула персонажа Демазюра
прямая сумма
В прямая сумма представлений V, W - представление, являющееся прямой суммой векторных пространств вместе с действием линейной группы .
дискретный
Неприводимое представление группы Ли грамм говорят, что находится в дискретная серия если все его матричные коэффициенты интегрируемы с квадратом. Например, если грамм компактно, то всякое его неприводимое представление находится в дискретной серии.
доминирующий
Неприводимые представления односвязной компактной группы Ли индексируются по их старшему весу. Эти доминирующие веса образуют точки решетки в ортанте весовой решетки группы Ли.
двойной
В двойное представительство (или противоположное представление) представления V это представление, которое является двойственным векторным пространством вместе с действием линейной группы, сохраняющим естественное спаривание

E

Эйзенштейн
Серия Эйзенштейна
эквивариантный
Период, термин "грамм-эквивариантный »- это еще один термин для«грамм-линейный ».
внешний вид
An внешняя сила представительства V это представление с действием группы, индуцированным .

F

верный
А верное представление такое представление, что является инъективный как функция.
волоконный функтор
волоконный функтор.
Взаимность Фробениуса
В Взаимность Фробениуса заявляет, что для каждого представления из ЧАС и представительство из грамм есть биекция
это естественно в том смысле, что это право присоединенный функтор на функтор ограничения .
фундаментальный
Фундаментальное представление: Для неприводимых представлений односвязного компактная группа Ли существует набор основные веса, проиндексированных вершинами Диаграмма Дынкина группы G, такой что доминирующие веса являются просто неотрицательными целочисленными линейными комбинациями фундаментальных весов. соответствующие неприводимые представления суть фундаментальные представления группы Ли. В частности, из разложения доминирующего веса по фундаментальным весам можно взять соответствующий тензорное произведение фундаментальных представлений и извлечь одну копию неприводимого представления, соответствующего этому доминирующему весу. особая унитарная группа SU(п), п - 1 фундаментальным представлением являются изделия клина
состоящий из переменные тензоры, для k = 1,2, ..., n-1.

грамм

грамм-линейный
А грамм-линейная карта между представлениями - это линейное преобразование, которое коммутирует с грамм-действия; т.е. для каждого грамм в грамм.
грамм-модуль
Другое название представительства. Это позволяет использовать теоретико-модульную терминологию: например, тривиальный грамм-модуль, грамм-подмодули и др.
грамм-эквивариантное векторное расслоение
А грамм-эквивариантное векторное расслоение это векторное расслоение на грамм-Космос Икс вместе с грамм-действие на E (скажи правильно) такой, что является корректно определенным линейным отображением.
хороший
А хорошая фильтрация представительства восстановительная группа грамм такая фильтрация, что факторы изоморфны куда линейные пучки на многообразии флагов .

ЧАС

Хариш-Чандра
1.  
Хариш-Чандра
Хариш-Чандра (11 октября 1923 - 16 октября 1983), индийско-американский математик.
2. Программа Теорема Хариш-Чандры Планшереля.
самый высокий вес
1. Для комплексной полупростой алгебры Ли , Подалгебра Картана и выбор положительная камера Вейля, то самый высокий вес представительства это вес -вес вектор v такой, что для каждого положительного корня (v называется вектором старшего веса).
2. Программа теорема наивысшего веса состояния (1) два конечномерных неприводимых представления изоморфны тогда и только тогда, когда они имеют одинаковый старший вес и (2) для каждого доминирующего интеграла , существует конечномерное неприводимое представление, имеющее как его наибольший вес.
Hom
В Hom представление представительств V, W представление с групповым действием, полученное отождествлением в векторном пространстве .

я

неразложимый
An неразложимое представление представляет собой представление, которое не является прямой суммой по крайней мере двух собственных подпредставлений.
индукция
1. Учитывая представление подгруппы ЧАС группы грамм, то индуцированное представление
представляет собой представление грамм индуцируется на ЧАС-линейные функции ; ср. # Фробениус взаимность.
2. В зависимости от приложений на функции обычно накладываются дополнительные условия. ; например, если требуется, чтобы функции имели компактный носитель, то полученная индукция называется компактная индукция.
бесконечно мало
Два допустимых представления вещественной редуктивной группы называются бесконечно малый эквивалент если их ассоциированные представления алгебры Ли на пространстве K-конечные векторы изоморфны.
интегрируемый
Представление Алгебра Каца – Муди как говорят интегрируемый если (1) это сумма весовых пространств и (2) генераторы Шевалле находятся локально нильпотентный.
переплетение
Период, термин "оператор переплетения "- старое название грамм-линейная карта между представлениями.
инволюция
An инволюционное представление является представлением C * -алгебра на гильбертовом пространстве, сохраняющем инволюцию.
несводимый
An неприводимое представление представляет собой представление, единственные подпредставления которого равны нулю и самому себе. Термин «неприводимый» является синонимом слова «простой».
изоморфизм
Изоморфизм между представлениями группы грамм обратимый грамм-линейная карта между представлениями.
изотипический
1. Учитывая представление V и простое представление W (субпредставительство или иное), изотипический компонент из V типа W прямая сумма всех подпредставлений V которые изоморфны W. Например, пусть А быть кольцом и грамм группа, действующая на нем как автоморфизмы. Если А является полупростой как грамм-модуль, затем кольцо инвариантов изотипический компонент А тривиального типа.
2. Программа изотипическое разложение полупростого представления - это разложение на изотипические компоненты.

J

Жаке
Функтор Жаке

K

Kac
В Формула символа каца
K-конечный
Вектор v в пространстве представления группы K как говорят K-конечно, если охватывает конечномерное векторное пространство.
Кириллов
В Формула характера Кириллова

L

решетка
1. В корневая решетка - свободная абелева группа, порожденная корнями.
2. Программа весовая решетка группа всех линейных функционалов на подалгебре Картана которые являются неотъемлемыми: целое число для каждого корня .
Littlemann
Модель пути Литтельмана

M

Теорема Машке
Теорема Машке утверждает, что конечномерное представление над полем F конечной группы грамм это полупростое представление если характеристика F не делит порядок грамм.
Теория Макки
В Теория Макки можно подумать об инструменте, чтобы ответить на вопрос: учитывая представление W подгруппы ЧАС группы грамм, когда - индуцированное представление неприводимое представление грамм?[1]
Маасс – Сельберг
Соотношения Маасса – Сельберга.
матричный коэффициент
А матричный коэффициент представительства является линейной комбинацией функций на грамм формы за v в V и в двойном пространстве . Обратите внимание, что это понятие имеет смысл для любой группы: если грамм является топологической группой и непрерывна, то матричный матричный коэффициент будет непрерывной функцией на грамм. Если грамм и алгебраические, это было бы обычная функция на грамм.
модульный
В модульная теория представлений.

О

Осциллятор
Представление осциллятора
орбита
орбитальный метод, подход к теории представлений, использующий инструменты симплектической геометрии

п

Питер – Вейль
В Теорема Питера – Вейля утверждает, что линейная оболочка матричные коэффициенты на компактной группе грамм плотно в .
перестановка
Учитывая группу грамм, а грамм-набор Икс и V векторное пространство функций из Икс к фиксированному полю, перестановочное представление из грамм на V - представление, заданное индуцированным действием грамм на V; т.е. . Например, если Икс - конечное множество и V рассматривается как векторное пространство с базисом, параметризованным Икс, то симметрическая группа переставляет элементы базиса, и его линейное расширение является в точности представлением перестановки.
Plancherel
Формула планшереля
представление положительной энергии
представление положительной энергии.
примитивный
Термин «примитивный элемент» (или вектор) - это старый термин для обозначения вектора борелевских весов.
проективный
А проективное представление группы грамм является гомоморфизмом групп . С , проективное представление - это в точности групповое действие из грамм на как автоморфизмы.
правильный
Правильное подпредставление представления V это подпредставление, которое не V.

Q

частное
Учитывая представление V и субпредставительство , то частное представление это представление данный .
кватернионный
А кватернионное представление группы грамм это сложное представление оснащен грамм-инвариантный кватернионная структура.

р

рациональный
Представление V является рациональный если каждый вектор v в V содержится в некотором конечномерном подпредставлении (в зависимости от v.)
настоящий
1. А реальное представление векторного пространства - это представление в реальном векторном пространстве.
2. Настоящий персонаж - это персонаж. группы грамм такой, что для всех грамм в грамм.[2]
обычный
1. А регулярное представительство конечной группы грамм индуцированное представление грамм на групповая алгебра над полем грамм.
2. Регулярное представление линейная алгебраическая группа грамм индуцированное представление на координатном кольце грамм. Смотрите также: представление на координатных кольцах.
представление
1.  
Теорию представлений легко определить: это изучение способов, которыми данная группа может действовать в векторных пространствах. Однако среди таких четко очерченных предметов он почти наверняка уникален по широте своего интереса для математиков. В этом нет ничего удивительного: групповые действия повсеместны в математике 20-го века, и там, где объект, на котором действует группа, не является векторным пространством, мы научились заменять его на то, что есть (например, группа когомологий, касательное пространство и т. Д. .). Как следствие, многие математики, помимо специалистов в данной области (или даже те, кто думают, что могут захотеть им стать), вступают в контакт с предметом различными способами.

Фултон, Уильям; Харрис, Джо, Теория представлений: первый курс

А линейное представление группы грамм это групповой гомоморфизм из грамм к общая линейная группа . В зависимости от группы грамм, гомоморфизм часто неявно требуется быть морфизмом в категории, к которой грамм принадлежит; например, если грамм это топологическая группа, тогда должен быть непрерывным. Прилагательное «линейный» часто опускается.
2. Эквивалентно линейное представление - это групповое действие из грамм в векторном пространстве V это линейно: действие так что для каждого грамм в грамм, является линейным преобразованием.
3. А виртуальное представительство является элементом кольца Гротендика категории представлений.
представитель
Период, термин "представительская функция "это еще один термин для матричный коэффициент.

S

Schur
1.  
Иссай Шур
Иссай Шур
2.  Лемма Шура заявляет, что грамм-линейное отображение между неприводимыми представлениями должно быть либо биективным, либо нулевым.
3. В Соотношения ортогональности Шура на компактной группе говорит, что характеры неизоморфных неприводимых представлений ортогональны друг другу.
4. Функтор Шура строит представления, такие как симметричные степени или внешние силы в соответствии с разделом . Персонажи находятся Полиномы Шура.
5. Двойственность Шура – ​​Вейля вычисляет неприводимые представления, встречающиеся в тензорных степенях -модули.
6. А Полином Шура это симметричная функция, типа, встречающегося в формуле характера Вейля, применяемой к унитарным группам.
7.  Индекс Шура.
8. А Комплекс Шура.
полупростой
А полупростое представление (также называемое полностью приводимым представлением) представляет собой прямую сумму простых представлений.
просто
Еще один термин для «неприводимого».
гладкий
1. А гладкое представление из локально проконечная группа грамм - сложное представление такое, что для каждого v в V, существует некоторая компактная открытая подгруппа K из грамм это исправляет v; т.е. для каждого грамм в K.
2. А гладкий вектор в пространстве представления группы Ли - это вектор v такой, что - гладкая функция.
Шпехт
Модуль Specht
Steinberg
Представление Штейнберга.
субпредставительство
А субпредставительство представительства из грамм векторное подпространство W из V такой, что хорошо определен для каждого грамм в грамм.
Лебедь
В Лебединое представление используется для определения Лебединый дирижер.
симметричный
1. А симметричная мощность представления V это представление с действием группы, индуцированным .
2. В частности, симметричный квадрат представительства V это представление с действием группы, индуцированным .
система импримитивности
Концепция в Теория Макки. Видеть система импримитивности.

Т

Таннакианская двойственность
В Таннакианская двойственность это примерно идея о том, что группу можно восстановить по всем ее представлениям.
закаленный
сдержанное представление
тензор
А тензорное представление является примерно представлением, полученным из тензорных произведений (некоторых представлений).
тензорное произведение
В тензорное произведение представлений V, W представление, являющееся тензорным произведением векторных пространств вместе с действием линейной группы .
банальный
1. А тривиальное представление группы грамм - представление π такое, что π (грамм) является тождеством для каждого грамм в грамм.
2. А тривиальный персонаж группы грамм - это символ, который является тривиальным представлением.

U

равномерно ограниченный
А равномерно ограниченное представление локально компактной группы - это представление в алгебре ограниченных операторов, непрерывное в сильной операторной топологии и такое, что норма оператора, заданного каждым элементом группы, равномерно ограничена.
унитарный
1. А унитарное представительство группы грамм - представление π такое, что π (грамм) это унитарный оператор для каждого грамм в грамм.
2. А унитаризуемое представление является представлением, эквивалентным унитарному представлению.

V

Модуль Верма
Для комплексной полупростой алгебры Ли , подалгебра Картана и выбор положительная камера Вейля, то Модуль Верма связанный с линейным функционалом является фактором обертывающей алгебры левым идеалом, порожденным для всех положительных корней а также для всех .[3]

W

масса
1. Термин «вес» - это еще одно название персонажа.
2. Программа весовое подпространство представительства V веса подпространство это имеет положительное измерение.
3. Аналогично для линейного функционала комплексной алгебры Ли , это вес -модуль V если имеет положительное измерение; ср. # наибольший вес.
4. весовая решетка
5. Доминирующий вес: вес лямбда является доминирующим, если для некоторых
6. фундаментальный доминантный вес:: дан набор простых корней , это основа . является основой тоже; двойная основа определяется , называется фундаментальными доминантными весами.
7. наибольший вес
Weyl
1.  Герман Вейль
2. Программа Формула характера Вейля выражает характер неприводимого представления комплекса полупростая алгебра Ли с точки зрения наибольшего веса.
3. В Формула интегрирования Вейля говорит: учитывая компактную связную группу Ли грамм с максимальным тором Т, существует действительная непрерывная функция ты на Т такое, что для любой непрерывной функции ж на грамм,
(Явно, равна 1 по мощности группы Вейля, умноженной на произведение над корнями .)
4.  Модуль Вейля.
5. А Фильтрация Вейля является фильтрацией представления редуктивной группы такой, что частные изоморфны Модули Вейля.

Y

Молодой
1.  Альфред Янг
2. Программа Юный симметризатор это грамм-линейный эндоморфизм тензорной степени грамм-модуль V определяется в соответствии с данным разделом . По определению Функтор Шура представительства V присваивает V образ .

Z

нуль
А нулевое представление - нульмерное представление. Примечание: хотя нулевое представление является тривиальным представлением, тривиальное представление не обязательно должно быть нулем (поскольку «тривиальное» означает грамм действует тривиально.)

Примечания

  1. ^ https://www.dpmms.cam.ac.uk/~nd332/Mackey.pdf
  2. ^ Джеймс, Гордон Дуглас (2001). Представления и персонажи групп. Либек, Мартин В.. 1954- (2-е изд.). Кембридж, Великобритания: Издательство Кембриджского университета. ISBN  978-0521003926. OCLC  52220683.
  3. ^ От редакции: это определение в (Хамфрис 1972, § 20.3.), А также (Гайтсгори 2005, § 1.2.) и отличается от оригинала на половина суммы положительных корней.

Рекомендации

дальнейшее чтение

  • M. Duflo et M. Vergne, La formule de Plancherel des groupes de Lie semi-simples réels, в «Представлениях групп Ли»; Киото, Хиросима (1986), углубленные исследования чистой математики 14, 1988.
  • Lusztig, G .: Квантовые деформации некоторых простых модулей над обертывающими алгебрами, Adv. Математика. 70 (1988), 237–249.

внешняя ссылка