Jump to content

Глоссарий теории представлений

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

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

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

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

А [ править ]

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

Б [ править ]

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

С [ править ]

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

Д [ править ]

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

Э [ править ]

Эйзенштейн
серия Эйзенштейна
эквивариантный
Термин « G -эквивариантный» является другим термином для « G -линейного».
экстерьер
Внешняя степень представления V — это представление с групповым действием, индуцированным .

Ф [ править ]

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

Г [ править ]

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

Х [ править ]

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

Я [ править ]

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

Дж [ править ]

Нарды
Функтор Жаке

К [ править ]

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

Л [ править ]

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

М [ править ]

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

О [ править ]

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

П [ править ]

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

Вопрос [ править ]

частное
Учитывая представление V и подпредставление , факторпредставление - это представление данный .
кватернионный
Кватернионное представление группы G — это комплексное представление, снабженное G -инвариантной кватернионной структурой .
колчан
Колчан . по определению является ориентированным графом Но обычно изучают изображения колчана.

Р [ править ]

рациональный
Представление V является рациональным , если каждый вектор v из V содержится в некотором конечномерном подпредставлении (зависящем от v ).
настоящий
1. Вещественное представление векторного пространства — это представление в действительном векторном пространстве.
2. Настоящий персонаж – это персонаж группы G такая, что для g в G. всех [2]
обычный
1. Регулярное представление конечной группы G — это индуцированное представление группы G в групповой алгебре над полем G. группы
2. Регулярным представлением линейной алгебраической группы G является индуцированное представление на координатном кольце группы G . См. также: представление на кольцах координат .
представительство
1.  

Теорию представлений определить просто: это изучение способов, которыми данная группа может действовать в векторных пространствах. Однако среди столь четко очерченных тем она почти наверняка уникальна по широте своего интереса для математиков. Это неудивительно: групповые действия повсеместно распространены в математике 20-го века, и там, где объект, на который действует группа, не является векторным пространством, мы научились заменять его другим (например, группой когомологий, касательным пространством и т. д.). .). Как следствие, многие математики, не являющиеся специалистами в этой области (или даже теми, кто думает, что они хотят им быть), вступают в контакт с этим предметом различными способами.

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

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

С [ править ]

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

Т [ править ]

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

У [ править ]

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

V [ edit ]

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

В [ править ]

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

Ю [ править ]

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

З [ править ]

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

Примечания [ править ]

  1. ^ «Индукция и теория Макки» (PDF) . Архивировано из оригинала (PDF) 1 декабря 2017 г. Проверено 23 ноября 2017 г.
  2. ^ Джеймс, Гордон Дуглас (2001). Представления и характеры групп . Либек, Мартин В. 1954- (2-е изд.). Кембридж, Великобритания: Издательство Кембриджского университета. ISBN  978-0521003926 . OCLC   52220683 .
  3. ^ Редакционное примечание : это определение дано в ( Humphreys 1972 , § 20.3.), а также в ( Gaitsgory 2005 , § 1.2.) и отличается от оригинала на половину суммы положительных корней.

Ссылки [ править ]

Дальнейшее чтение [ править ]

  • М. Дюфло и М. Вернь, Формула Планшереля вещественных полупростых групп Ли, в «Представлениях групп Ли»; Киото, Хиросима (1986), Передовые исследования в области чистой математики 14, 1988.
  • Люстиг, Г. (август 1988 г.), «Квантовые деформации некоторых простых модулей над обертывающими алгебрами», Advance in Mathematics , 70 (2): 237–249, doi : 10.1016/0001-8708(88)90056-4

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 5c56f625f06cea77e31de0c31693f57d__1706283960
URL1:https://arc.ask3.ru/arc/aa/5c/7d/5c56f625f06cea77e31de0c31693f57d.html
Заголовок, (Title) документа по адресу, URL1:
Glossary of representation theory - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)