Войти
Теория представлений изучает, как алгебраические структуры «действуют» на объекты. Простой пример - как симметрии правильных многоугольников, состоящие из отражений и поворотов, преобразуют многоугольник. Теория представлений является ветвью математики, что исследования абстрактных алгебраических структур пути представляющих их элементов, как линейные преобразования из векторных пространств, и исследования модулей над этими абстрактными алгебраическими структурами. В сущности, представление делает абстрактный алгебраический объект более конкретным, описывая его элементы с помощью матриц и их алгебраических операций (например, сложения матриц, умножение матриц ). Теория матриц и линейных операторов хорошо изучена, поэтому представление более абстрактных объектов в терминах знакомых объектов линейной алгебры помогает подобрать свойства и иногда упростить вычисления в более абстрактных теориях.
В алгебраических объектах поддаются такое описание в включают группы, ассоциативные алгебры и алгебры Ли. Самая известная из них (и исторически первая) - это теория представлений групп, в которой элементы группы представлены обратимыми матрицами таким образом, что групповой операцией является матричное умножение.
Теория представлений - полезный метод, поскольку она сводит проблемы абстрактной алгебры к проблемам линейной алгебры, предмета, который хорошо изучен. Кроме того, векторное пространство, на котором представлена группа (например), может быть бесконечномерным, и, допуская, что оно может быть, например, гильбертовым пространством, методы анализа могут быть применены к теории групп. Теория представлений также важна в физике, потому что, например, она описывает, как группа симметрии физической системы влияет на решения уравнений, описывающих эту систему.
Теория представлений широко распространена во всех областях математики по двум причинам. Во-первых, приложения теории представлений разнообразны: помимо ее влияния на алгебру, теория представлений:
Во-вторых, существуют разные подходы к теории представлений. Те же объекты можно изучать с помощью методов алгебраической геометрии, теории модулей, аналитической теории чисел, дифференциальной геометрии, теории операторов, алгебраической комбинаторики и топологии.
Успех теории представлений привел к многочисленным обобщениям. Один из самых общих - в теории категорий. Алгебраические объекты, к которым применима теория представлений, можно рассматривать как особые виды категорий, а представления как функторы из категории объектов в категорию векторных пространств. Это описание указывает на два очевидных обобщения: во-первых, алгебраические объекты могут быть заменены более общими категориями; во-вторых, целевая категория векторных пространств может быть заменена другими хорошо понятными категориями.
Пусть V является векторное пространство над полем F. Например, предположим, что V - это R n или C n, стандартное n -мерное пространство векторов-столбцов над действительными или комплексными числами, соответственно. В этом случае идея теории представлений состоит в том, чтобы делать абстрактную алгебру конкретно, используя матрицы n × n действительных или комплексных чисел.
Есть три основных вида алгебраических объектов, для которых это возможно: группы, ассоциативные алгебры и алгебры Ли.
Это обобщает в любую области F и любой векторное пространство V над F, с линейными отображениями замены матриц и композицией, заменяющее умножение матриц: есть группа GL ( V, Р) из автоморфизмов из V, ассоциативной алгебры Конец F ( V) всех эндоморфизмы V и соответствующая алгебра Ли gl ( V, F).
Есть два способа сказать, что такое представление. Первый использует идею действия, обобщая способ действия матриц на векторы-столбцы путем умножения матриц. Представлением группы G или (ассоциативной или Ли) алгебры A в векторном пространстве V является отображение
с двумя свойствами. Во-первых, для любого g в G (или a в A) отображение
линейно (над F). Во-вторых, если мы введем обозначение g v для ( g, v), то для любых g 1, g 2 в G и v в V:
где е есть единичный элемент из G и г 1 г 2 является произведением в G. Требование для ассоциативных алгебр аналогично, за исключением того, что ассоциативные алгебры не всегда имеют единичный элемент, и в этом случае уравнение (1) игнорируется. Уравнение (2) является абстрактным выражением ассоциативности умножения матриц. Это не выполняется для коммутатора матриц, а также для коммутатора отсутствует единичный элемент. Следовательно, для алгебр Ли единственное требование состоит в том, чтобы для любых x 1, x 2 в A и v в V:
где [ x 1, x 2 ] - скобка Ли, обобщающая коммутатор матриц MN - NM.
Второй способ определения представления основан на отображении φ, переводящем g в G в линейное отображение φ ( g): V → V, которое удовлетворяет
и аналогично в других случаях. Этот подход более лаконичен и абстрактен. С этой точки зрения:
Векторное пространство V называется пространством представления φ, а его размерность (если она конечна) называется размерностью представления (иногда степенью, как в). Также общепринято называть V самим представлением, когда гомоморфизм φ ясен из контекста; в противном случае обозначение ( V, φ) можно использовать для обозначения представления.
Если V имеет конечную размерность п, можно выбрать базис для V, чтобы идентифицировать V с F п, и, следовательно, восстановить матричное представление с элементами в поле F.
Эффективное или точное представление является представлением ( V, φ), для которых гомоморфизм φ является инъективен.
Если V и W - векторные пространства над F, снабженные представлениями φ и ψ группы G, то эквивариантное отображение из V в W - это линейное отображение α: V → W такое, что
для всех г в G и V в V. В терминах φ: G → GL ( V) и ψ: G → GL ( W) это означает
для всех g из G, то есть следующая диаграмма коммутирует :
Аналогично определяются эквивариантные отображения для представлений ассоциативной алгебры или алгебры Ли. Если α обратим, то он называется изоморфизмом, и в этом случае V и W (или, точнее, φ и ψ) являются изоморфными представлениями, также называемыми эквивалентными представлениями. Эквивариантную карту часто называют переплетающейся картой представлений. Кроме того, в случае группы G это иногда называют G- отображением.
Изоморфные представления для практических целей «одинаковы»; они предоставляют одинаковую информацию о представленной группе или алгебре. Поэтому теория представлений стремится классифицировать представления с точностью до изоморфизма.
Если это представление (например) группы, и является линейным подпространством, что сохраняется при действии в том смысле, что для всех и, ( Серра называет их стабильной при), то называется подпредставление : по определению
где - ограничение на, - представление, а включение - эквивариантное отображение. Фактор - пространство также может быть сделано в представлении. Если имеет ровно два подпредставления, а именно тривиальное подпространство {0} и само себя, то представление называется неприводимым ; если имеет собственное нетривиальное подпредставление, то представление называется приводимым. Из определения неприводимого представления следует лемма Шура : эквивариантное отображение
между неприводимыми представлениями является либо нулевое отображение, либо изоморфизм, поскольку его ядро и образ являются подпредставлениями. В частности, когда, это показывает, что Эквивариантные эндоморфизмами о форме ассоциативная алгебра с делением над нижележащей области F. Если F является алгебраически замкнуто, то только эквивариантными эндоморфизмами неприводимого представления являются скалярные кратные единицы. Неприводимые представления являются строительными блоками теории представлений для многих групп: если представление не является неприводимым, то оно строится из подпредставления и частного, которые в некотором смысле «проще»; например, если оно конечномерно, то и подпредставление, и частное имеют меньшую размерность. Есть контрпримеры, когда представление имеет подпредставление, но имеет только одну нетривиальную неприводимую компоненту. Например, аддитивная группа имеет двумерное представление
Эта группа имеет вектор, фиксированный этим гомоморфизмом, но подпространство дополнения отображается в
давая только одну неприводимую субрепрентацию. Это верно для всех унипотентных групп стр.112.
Если ( V, φ) и ( W, ψ) являются представлениями (например) группа G, то прямая сумма из V и W является представлением, каноническим образом, с помощью уравнения
Прямая сумма двух представлений несет никакой дополнительной информации о группе G, чем два представления делают индивидуально. Если представление является прямой суммой двух собственных нетривиальных подпредставлений, оно называется разложимым. В противном случае он называется неразложимым.
При благоприятных обстоятельствах всякое конечномерное представление представляет собой прямую сумму неприводимых представлений: такие представления называются полупростыми. В этом случае достаточно понять только неприводимые представления. Примеры, где происходит это явление « полной сводимости », включают конечные группы (см. Теорему Машке ), компактные группы и полупростые алгебры Ли.
В случаях, когда полная сводимость не выполняется, нужно понимать, как неразложимые представления могут быть построены из неприводимых представлений как расширения частного с помощью подпредставления.
Предположим, и являются представлениями группы. Тогда мы можем сформировать представление группы G, действующей в векторном пространстве тензорного произведения, следующим образом:
Если и являются представлениями алгебры Ли, то правильной формулой для использования будет
Этот продукт можно распознать как сопродукт на коалгебре. В общем, тензорное произведение неприводимых представлений не неприводимое; процесс разложения тензорного произведения в виде прямой суммы неприводимых представлений известен как теория Клебша – Гордана.
В случае теории представлений группы SU (2) (или, что то же самое, ее комплексифицированной алгебры Ли) разложение легко вычисляется. Неприводимые представления помечаются параметром, который является неотрицательным целым или полуцелым числом; тогда представление имеет размер. Предположим, мы берем тензорное произведение представления двух представлений, с метками и где мы предполагаем. Затем тензорное произведение разлагается как прямая сумма одной копии каждого представления с меткой, где изменяется от до с шагом 1. Если, например,, то встречаются значения 0, 1 и 2. Таким образом, тензорное произведение размерности разлагается как прямая сумма одномерного представления, трехмерного представления и пятимерного представления.
Теория представлений отличается обилием ветвей и разнообразием подходов к изучению представлений групп и алгебр. Хотя все теории имеют общие уже рассмотренные основные концепции, они значительно различаются в деталях. Отличия минимум в 3 раза:
Представления групп - очень важный инструмент при изучении конечных групп. Они также возникают в приложениях теории конечных групп к геометрии и кристаллографии. Представления конечных групп демонстрируют многие особенности общей теории и указывают путь к другим разделам и темам в теории представлений.
Над полем нулевой характеристики представление конечной группы G обладает рядом удобных свойств. Во-первых, представления группы G полупросты (вполне приводимы). Это является следствием теоремы Машки, в котором говорится, что любое подпредставление V из G - представление W имеет G - инвариантное дополнение. Одно из доказательств состоит в том, чтобы выбрать любую проекцию π из W в V и заменить ее ее средним π G, определяемым формулой
π G эквивариантно, и его ядро является искомым дополнением.
Конечномерные G- представления можно понять с помощью теории характеров : характер представления φ: G → GL ( V) - это классовая функция χ φ: G → F, определяемая формулой
где есть след. Неприводимое представление группы G полностью определяется его характером.
Теорема Машке имеет более общо для полей положительной характеристики р, такие, как конечные поля, до тех пор, как премьер - р является взаимно просты в порядке от G. Когда p и | G | имеют общий фактор, существуют непростые G -представления, которые изучаются в подотрасле, называемом теорией модульных представлений.
Методы усреднения также показывают, что если F - действительные или комплексные числа, то любое G- представление сохраняет скалярное произведение на V в том смысле, что
для всех г в G и V, ш в Вт. Следовательно, любое G -представление унитарно.
Унитарные представления автоматически полупросты, так как результат Машке может быть доказан, взяв ортогональное дополнение к подпредставлению. При изучении представлений групп, которые не являются конечными, унитарные представления обеспечивают хорошее обобщение вещественных и комплексных представлений конечной группы.
Такие результаты, как теорема Машке и унитарность, основанная на усреднении, могут быть обобщены на более общие группы путем замены среднего интегралом при условии, что можно определить подходящее понятие интеграла. Это можно сделать для компактных топологических групп (включая компактные группы Ли), используя меру Хаара, и полученная теория известна как абстрактный гармонический анализ.
Над произвольными полями другим классом конечных групп, имеющих хорошую теорию представлений, являются конечные группы лиева типа. Важными примерами являются линейные алгебраические группы над конечными полями. Теория представлений линейных алгебраических групп и групп Ли распространяет эти примеры на бесконечномерные группы, последние тесно связаны с представлениями алгебры Ли. Важность теории характеров для конечных групп имеет аналог в теории весов для представлений групп Ли и алгебр Ли.
Представления конечной группы G также напрямую связаны с представлениями алгебры через групповую алгебру F [ G ], которая представляет собой векторное пространство над F с элементами G в качестве базиса, снабженное операцией умножения, определяемой групповой операцией, линейность, и требование коммутации групповой операции и скалярного умножения.
Модулярные представления конечной группы G - это представления над полем, характеристика которого не взаимно проста с | G |, так что теорема Машке больше не выполняется (поскольку | G | не обратима в F и поэтому на нее нельзя делить). Тем не менее Ричард Брауэр распространил большую часть теории характеров на модульные представления, и эта теория сыграла важную роль в раннем прогрессе в направлении классификации конечных простых групп, особенно для простых групп, характеризация которых не поддалась чисто теоретико-групповым методам, поскольку их силовские 2 -подгруппы были «слишком малы».
Помимо приложений к теории групп, модульные представления естественным образом возникают в других областях математики, таких как алгебраическая геометрия, теория кодирования, комбинаторика и теория чисел.
Унитарное представление группы G является линейным представлением φ из G на вещественной или (обычно) комплексное гильбертово пространство V такой, что ф ( г) представляет собой унитарный оператор для каждого г ∈ G. Такие представления были широко применяются в квантовой механике с 1920 года, благодаря, в частности, к влиянию Вейль, и это вдохновило развитие теории, прежде всего на основе анализа представлений группы Пуанкаре по Юджина Вигнера. Одним из пионеров в построении общей теории унитарных представлений (для любой группы G, а не только для конкретных групп, полезных в приложениях) был Джордж Макки, а обширная теория была развита Хариш-Чандрой и другими в 1950-х и 1960-х годах.
Основная цель состоит в том, чтобы описать « унитарное двойное », пространство неприводимых унитарных представлений группы G. Теория наиболее развита в случае, когда G - локально компактная (хаусдорфова) топологическая группа и представления сильно непрерывны. Для G абелева, унитарные сопряженное только пространство символов, в то время как для G компактна, то теорема Петера-Вейль показывает, что неприводимые унитарные представления конечномерны и унитарные двойные дискретно. Например, если G представляет собой круг группа S 1, то символы задаются целыми числами, а унитарные сопряженное Z.
Для некомпактной группы G вопрос о том, какие представления унитарны, является тонким. Хотя неприводимые унитарные представления должны быть «допустимыми» (как модули Хариш-Чандры ), и легко определить, какие допустимые представления имеют невырожденную инвариантную полуторалинейную форму, трудно определить, когда эта форма является положительно определенной. Эффективное описание унитарной двойственной группы, даже для групп с относительно хорошим поведением, таких как реальные редуктивные группы Ли (обсуждаемые ниже), остается важной открытой проблемой в теории представлений. Она была решена для многих конкретных групп, таких как SL (2, R) и группа Лоренца.
Двойственность между круговой группой S 1 и целыми числами Z или, в более общем смысле, между тором T n и Z n хорошо известна в анализе как теория рядов Фурье, и преобразование Фурье аналогичным образом выражает тот факт, что пространство характеров на реальном векторном пространстве - это двойное векторное пространство. Таким образом, теория унитарных представлений и гармонический анализ тесно связаны, и абстрактный гармонический анализ использует эту взаимосвязь, развивая анализ функций на локально компактных топологических группах и связанных пространствах.
Основная цель - предоставить общую форму преобразования Фурье и теоремы Планшереля. Это делается путем построения меры по унитарным двойной и изоморфизм между регулярным представлением о G на пространстве L 2 ( G) от квадратично интегрируемых функций на G и ее представление на пространстве L 2 функций на унитарной двойной. Двойственность Понтрягина и теорема Питера – Вейля достигают этого для абелевой и компактной G соответственно.
Другой подход предполагает рассмотрение всех унитарных представлений, а не только неприводимых. Они образуют категорию, и двойственность Таннаки – Крейна позволяет восстановить компактную группу из ее категории унитарных представлений.
Если группа не является ни абелевой, ни компактной, не известна общая теория с аналогом теоремы Планшереля или обращения Фурье, хотя Александр Гротендик расширил двойственность Таннака – Крейна на взаимосвязь между линейными алгебраическими группами и таннакиевыми категориями.
Гармонический анализ также был расширен из анализа функций на группе G функций на однородных пространствах для G. Теория особенно хорошо разработана для симметрических пространств и обеспечивает теорию автоморфных форм (обсуждается ниже).
| Группы Ли | ||||
|---|---|---|---|---|
 | ||||
| Классические группы | ||||
Простые группы Ли
| ||||
| Другие группы Ли | ||||
| Алгебры Ли | ||||
| Полупростая алгебра Ли | ||||
| Теория представлений | ||||
| Группы Ли в физике | ||||
| Ученые | ||||
|
Группа Ли - это группа, которая также является гладким многообразием. Многие классические группы матриц над действительными или комплексными числами являются группами Ли. Многие из групп, важных в физике и химии, являются группами Ли, и их теория представлений имеет решающее значение для применения теории групп в этих областях.
Теория представлений групп Ли может быть разработана сначала путем рассмотрения компактных групп, к которым применимы результаты теории компактных представлений. Эта теория может быть распространена на конечномерные представления полупростых групп Ли с помощью унитарного трюка Вейля : каждая полупростая группы Ли G имеет комплексификацию, который является комплексной группой Ли G с, и это комплексная группой Ли имеет максимальный компактную подгруппу K. Конечномерные представления G близко соответствуют таковым K.
Общая группа Ли является полупрямым произведением из разрешимой группы Ли и полупростой группы Ли (The разложение Леви ). Классификация представлений разрешимых групп Ли в общем сложна, но часто проста в практических случаях. Представления полупрямых произведений затем могут быть проанализированы с помощью общих результатов, называемых теорией Макки, которая является обобщением методов, используемых в классификации Вигнера представлений группы Пуанкаре.
Алгебра Ли над полем F является векторным пространством над F оснащен кососимметрическими операциями билинейной называется скобкой Ли, которая удовлетворяет тождества Якоби. Алгебры Ли возникают, в частности, как касательные пространства к группам Ли в единичном элементе, что приводит к их интерпретации как «бесконечно малые симметрии». Важным подходом к теории представлений групп Ли является изучение соответствующей теории представлений алгебр Ли, но представления алгебр Ли также представляют внутренний интерес.
Алгебры Ли, как и группы Ли, имеют разложение Леви на полупростые и разрешимые части, причем теория представлений разрешимых алгебр Ли вообще неразрешима. Напротив, конечномерные представления полупростых алгебр Ли полностью поняты после работы Эли Картана. Представление полупростой алгебры Ли анализируется путем выбора подалгебры Картана, которая по существу является общей максимальной подалгеброй алгебры, на которой скобка Ли равна нулю («абелева»). Представление можно разложить на весовые пространства, которые являются собственными подпространствами для действия и бесконечно малым аналогом символов. Затем структура полупростых алгебр Ли сводит анализ представлений к легко понимаемой комбинаторике возможных весов.
Существует много классов бесконечномерных алгебр Ли, представления которых изучены. Среди них важным классом являются алгебры Каца – Муди. Они названы в честь Виктора Каца и Роберта Муди, которые независимо открыли их. Эти алгебры образуют обобщение конечномерных полупростых алгебр Ли и обладают многими их комбинаторными свойствами. Это означает, что у них есть класс представлений, которые можно понимать так же, как представления полупростых алгебр Ли.
Аффинные алгебры Ли являются частным случаем алгебр Каца – Муди, которые имеют особое значение в математике и теоретической физике, особенно в конформной теории поля и теории точно решаемых моделей. Кац открыл элегантное доказательство некоторых комбинаторных тождеств, тождеств Макдональда, которое основано на теории представлений аффинных алгебр Каца – Муди.
Супералгебры Ли - это обобщения алгебр Ли, в которых основное векторное пространство имеет Z 2 -градуировку, а свойства кососимметрии и тождества Якоби скобки Ли изменяются знаками. Их теория представлений аналогична теории представлений алгебр Ли.
Линейные алгебраические группы (или в более общем случае, аффинные групповые схемы ) являются аналогами в алгебраической геометрии групп Ли, но на протяжении более общих полей, чем просто R или C. В частности, над конечными полями они порождают конечные группы лиева типа. Хотя линейные алгебраические группы имеют классификацию, которая очень похожа на классификацию групп Ли, их теория представлений довольно отличается (и гораздо менее понятна) и требует других методов, поскольку топология Зарисского относительно слаба, а методы анализа больше не используются. имеется в наличии.
Теория инвариантов изучает действия на алгебраических многообразиях с точки зрения их влияния на функции, образующие представления группы. Классически теория занималась вопросом явного описания полиномиальных функций, которые не меняются или инвариантны относительно преобразований из данной линейной группы. Современный подход анализирует разложение этих представлений на неприводимые.
Теория инвариантов бесконечных групп неразрывно связана с развитием линейной алгебры, особенно теорий квадратичных форм и определителей. Другой предмет с сильным взаимным влиянием - проективная геометрия, где теория инвариантов может использоваться для организации предмета, и в течение 1960-х Дэвид Мамфорд вдохнул новую жизнь в предмет в форме своей геометрической теории инвариантов.
Теория представлений полупростых групп Ли имеет свои корни в теории инвариантов и прочные связи между теорией представлений и алгебраической геометрией имеют много параллелей в дифференциальной геометрии, начиная с Феликсом Клейн «s программой Эрлангена и Эли Картанна » s соединениями, которые налагают группы и симметрии в основе геометрии. Современные разработки связывают теорию представлений и теорию инвариантов с такими разными областями, как голономия, дифференциальные операторы и теория нескольких комплексных переменных.
Автоморфные формы - это обобщение модульных форм на более общие аналитические функции, возможно, от нескольких сложных переменных, с аналогичными свойствами преобразования. Обобщение включает замену модулярной группы PSL 2 ( R) и выбранной конгруэнтной подгруппы полупростой группой Ли G и дискретной подгруппой Γ. Подобно тому, как модульные формы можно рассматривать как дифференциальные формы на частном верхнего полупространства H = PSL 2 ( R) / SO (2), автоморфные формы можно рассматривать как дифференциальные формы (или аналогичные объекты) на Γ \ G / K., где K является (обычно) а максимальная компактная подгруппа из G. Однако требуется некоторая осторожность, поскольку частное обычно имеет особенности. Фактор полупростой группы Ли по компактной подгруппе является симметрическим пространством, и поэтому теория автоморфных форм тесно связана с гармоническим анализом на симметрических пространствах.
До разработки общей теории, многие важные частные случаи были детально проработаны, в том числе модулярных форм Гильберта и модулярных форм Зигеля. Важные результаты в теории включают формулу следа Сельберга и реализацию Робертом Ленглендсом, что теорема Римана-Роха может быть применена для вычисления размерности пространства автоморфных форм. Последующее понятие «автоморфное представление» оказалось очень полезным с технической точки зрения для случая, когда G - алгебраическая группа, рассматриваемая как адельная алгебраическая группа. В результате целая философия, программа Ленглендса, была разработана вокруг связи между представлением и теоретико-числовыми свойствами автоморфных форм.
В каком-то смысле представления ассоциативной алгебры обобщают как представления групп, так и алгебры Ли. Представление группы индуцирует представление соответствующего группового кольца или групповой алгебры, в то время как представления алгебры Ли биективно соответствуют представлениям ее универсальной обертывающей алгебры. Однако теория представлений общих ассоциативных алгебр не обладает всеми хорошими свойствами теории представлений групп и алгебр Ли.
При рассмотрении представлений ассоциативной алгебры можно забыть об основном поле и просто рассматривать ассоциативную алгебру как кольцо, а ее представления как модули. Этот подход на удивление плодотворен: многие результаты теории представлений можно интерпретировать как частные случаи результатов о модулях над кольцом.
Алгебры Хопфа предоставляют способ улучшить теорию представлений ассоциативных алгебр, сохраняя при этом теорию представлений групп и алгебр Ли в качестве частных случаев. В частности, тензорное произведение двух представлений является представлением, как и двойственное векторное пространство.
Алгебры Хопфа, связанные с группами, имеют структуру коммутативной алгебры, и поэтому общие алгебры Хопфа известны как квантовые группы, хотя этот термин часто ограничивается некоторыми алгебрами Хопфа, возникающими как деформации групп или их универсальных обертывающих алгебр. Теория представлений квантовых групп добавила удивительные открытия в теорию представлений групп Ли и алгебр Ли, например, с помощью кристаллического базиса Кашивары.
Представление теоретико-множественный (также известное как действия группы или представление перестановок) от группы G на множестве X задается функция р из G в X X, на множество из функций из X в X, такие, что для всех г 1, g 2 в G и все x в X:
Это условие и аксиомы группы означают, что ρ ( г) представляет собой взаимно однозначное соответствие (или перестановка ) для всех г в G. Таким образом, мы можем определить, что то же самое представление перестановку быть гомоморфизмом из G в симметрической группы S X в X.
Каждую группу G можно рассматривать как категорию с одним объектом; морфизмы в этой категории являются только элементами G. Для произвольной категории С, А представление о G в C является функтор из G в C. Такой функтор выбирает объект X в C и групповой гомоморфизм из G в Aut ( X), в группу автоморфизмов из X.
В случае, когда C - это Vect F, категория векторных пространств над полем F, это определение эквивалентно линейному представлению. Точно так же теоретико-множественное представление - это просто представление группы G в категории множеств.
В качестве другого примера рассмотрим категорию топологических пространств, Top. Представления в Top гомоморфизмы от G до гомеоморфизма группы топологического пространства X.
С линейными представлениями тесно связаны два типа представлений:
Поскольку группы являются категориями, можно также рассмотреть представление других категорий. Самое простое обобщение - это моноиды, которые представляют собой категории с одним объектом. Группы - это моноиды, для которых любой морфизм обратим. Общие моноиды имеют представления в любой категории. В категории множеств это действия моноидов, но можно изучать представления моноидов в векторных пространствах и других объектах.
В более общем плане можно ослабить предположение, что представляемая категория имеет только один объект. В общем, это просто теория функторов между категориями, и о ней мало что можно сказать.
Один частный случай оказал значительное влияние на теорию представлений, а именно на теорию представлений колчанов. Колчан - это просто ориентированный граф (с разрешенными петлями и множественными стрелками), но его можно превратить в категорию (а также в алгебру), рассматривая пути в графе. Представления таких категорий / алгебр пролили свет на некоторые аспекты теории представлений, например, позволив в некоторых случаях свести непростые вопросы теории представлений о группе к вопросам полупростой теории представлений о колчане.
![(2 ') \ quad x_ {1} \ cdot (x_ {2} \ cdot v) -x_ {2} \ cdot (x_ {1} \ cdot v) = [x_ {1}, x_ {2}] \ cdot v](https://wikimedia.org/api/rest_v1/media/math/render/svg/f161cc2d8891fa83e92614158722dd4713c0bdba)
.
.
![\ rho (1) [x] = x](https://wikimedia.org/api/rest_v1/media/math/render/svg/120857e96706f618d4b481e02c9ace79e8a12a0f)
![\ rho (g_ {1} g_ {2}) [x] = \ rho (g_ {1}) [\ rho (g_ {2}) [x]].](https://wikimedia.org/api/rest_v1/media/math/render/svg/debb023e3f5e4ff703726b78494d7cc8acad5391)