Теория представлений конечных групп
Теория представлений групп . — это часть математики, которая исследует, как группы действуют на заданные структуры
Здесь основное внимание уделяется, в частности, операциям групп над векторными пространствами . группы, действующие на другие группы или множества Тем не менее, рассматриваются также . Для получения более подробной информации обратитесь к разделу, посвященному представлениям перестановок .
За исключением нескольких отмеченных исключений, в этой статье будут рассматриваться только конечные группы. Мы также ограничимся векторными пространствами над полями характеристики нулевой . Поскольку теория алгебраически замкнутых полей нулевой характеристики полна, теория, справедливая для специального алгебраически замкнутого поля нулевой характеристики, справедлива и для любого другого алгебраически замкнутого поля нулевой характеристики. Таким образом, без ограничения общности мы можем изучать векторные пространства над
Теория представлений используется во многих разделах математики, а также в квантовой химии и физике. Помимо прочего, он используется в алгебре для изучения структуры групп. Есть также приложения в гармоническом анализе и теории чисел . Например, теория представлений используется в современном подходе для получения новых результатов об автоморфных формах.
Определение
[ редактировать ]Линейные представления
[ редактировать ]Позволять быть – векторное пространство и конечная группа. Линейное представление является групповым гомоморфизмом Здесь — обозначение общей линейной группы , а для группы автоморфизмов . Это означает, что линейное представление — это отображение который удовлетворяет для всех Векторное пространство называется пространством представления Часто термин «представительство» также используется для пространства представления
Представление группы в модуле вместо векторного пространства также называется линейным представлением.
Мы пишем для представительства из Иногда мы используем обозначение если ясно, к какому представлению относится пространство принадлежит.
В этой статье мы ограничимся изучением конечномерных пространств представления, за исключением последней главы. Поскольку в большинстве случаев только конечное число векторов в представляет интерес, достаточно изучить подпредставление, порожденное этими векторами. Пространство представления этого подпредставления тогда конечномерно.
Степень . представления - это размерность его пространства представления Обозначения иногда используется для обозначения степени представления
Примеры
[ редактировать ]Тривиальное представление имеет вид для всех
Представление степени группы является гомоморфизмом в мультипликативную группу Поскольку каждый элемент имеет конечный порядок, значения являются корнями единства . Например, пусть — нетривиальное линейное представление. С является групповым гомоморфизмом, он должен удовлетворять Потому что генерирует определяется его значением Не удалось проанализировать (SVG (MathML можно включить через плагин браузера): неверный ответ («Расширение Math не может подключиться к Restbase.») с сервера «http://localhost:6011/en.wikipedia.org» /v1/":): {\displaystyle \rho(1).} И как является нетривиальным, Таким образом, мы достигаем того результата, что изображение под должна быть нетривиальной подгруппой группы, состоящей из корней четвертой степени из единицы. Другими словами, должна быть одна из следующих трех карт:
Позволять и пусть — групповой гомоморфизм, определяемый формулой:
В этом случае является линейным представлением степени
Представление перестановок
[ редактировать ]Позволять конечное множество и пусть быть группой, действующей Обозначим через группа всех перестановок на с композицией как групповым умножением.
Группа, действующая на конечном множестве, иногда считается достаточной для определения представления перестановок. Однако, поскольку мы хотим построить примеры для линейных представлений, где группы действуют на векторных пространствах, а не на произвольных конечных множествах, нам придется действовать другим путем. Чтобы построить представление перестановок, нам нужно векторное пространство с Основа могут быть индексированы элементами Представление перестановок - это групповой гомоморфизм предоставлено для всех Все линейные карты однозначно определяются этим свойством.
Пример. Позволять и Затем действует на с помощью Соответствующее линейное представление с для
Лево- и право-регулярное представление
[ редактировать ]Позволять быть группой и быть векторным пространством размерности с основой индексируется элементами Леворегулярное представление является частным случаем представления перестановок при выборе Это означает для всех Таким образом, семья изображений являются основой Степень леворегулярного представления равна порядку группы.
Праворегулярное представление определено в том же векторном пространстве с аналогичным гомоморфизмом: Точно так же, как и раньше является основой Как и в случае леворегулярного представления, степень праворегулярного представления равна порядку
Оба представления изоморфны через По этой причине их не всегда выделяют отдельно и часто называют «обычным» представительством.
Более пристальный взгляд дает следующий результат: заданное линейное представление изоморфно существует леворегулярному представлению тогда и только тогда, когда такой, что является основой
Пример. Позволять и с основой Тогда лево-регулярное представление определяется для Праворегулярное представление определяется аналогично формулой для
Представления, модули и алгебра свертки
[ редактировать ]Позволять конечная группа, пусть — коммутативное кольцо и пусть быть групповой алгеброй над Эта алгебра свободна, и ее базис может индексироваться элементами Чаще всего основу отождествляют с . Каждый элемент тогда может быть однозначно выражено как
- с .
Умножение в расширяет это в распределительно.
Теперь позвольте быть – модуль и пусть быть линейным представлением в Мы определяем для всех и . Путем линейного расширения наделен структурой лево- –модуль. Наоборот, мы получаем линейное представление начиная с –модуль . Кроме того, гомоморфизмы представлений находятся в биективном соответствии с гомоморфизмами групповых алгебр. Таким образом, эти термины могут использоваться как взаимозаменяемые. [1] [2] Это пример изоморфизма категорий .
Предполагать В этом случае левый –модуль, заданный само соответствует леворегулярному представлению. Таким же образом как право –module соответствует праворегулярному представлению.
Ниже мы определим алгебру свертки : Пусть быть группой, множеством это –векторное пространство с операциями сложения и скалярного умножения, то это векторное пространство изоморфно Свертка двух элементов определяется
делает алгебра . Алгебра называется алгеброй свертки .
Алгебра свертки свободна и имеет базис, индексированный элементами группы: где
Используя свойства свертки, получаем:
Мы определяем карту между и определяя на основе и расширяя его линейно. Очевидно, что априорное отображение является биективным . Более тщательный анализ свертки двух базисных элементов, как показано в приведенном выше уравнении, показывает, что умножение в соответствует тому, что в Таким образом, алгебра свертки и групповая алгебра изоморфны как алгебры.
Инволюция
поворачивается в – алгебра . У нас есть
Представительство группы распространяется на – алгебраический гомоморфизм к Поскольку мультипликативность является характерным свойством гомоморфизмов алгебр, удовлетворяет Если унитарна, мы также получаем Определение унитарного представления можно найти в главе, посвященной свойствам . В этой главе мы увидим, что (без ограничения общности) любое линейное представление можно считать унитарным.
Используя алгебру свертки, мы можем реализовать преобразование Фурье на группе В области гармонического анализа показано, что следующее определение согласуется с определением преобразования Фурье на
Позволять быть представлением и пусть быть -значная функция на . Преобразование Фурье из определяется как
Это преобразование удовлетворяет
Карты между представлениями
[ редактировать ]Карта между двумя представлениями из той же группы это линейная карта с имуществом, которое держится для всех Другими словами, следующая диаграмма коммутирует для всех :
Такая карта еще называется –линейное , или эквивариантное отображение . Ядро , образ и коядро определены по умолчанию. Композиция эквивариантных карт снова является эквивариантной картой. Существует категория представлений которых являются эквивариантные отображения , морфизмами . Они снова –модули. Таким образом, они обеспечивают представление из-за корреляции, описанной в предыдущем разделе.
Неприводимые представления и лемма Шура.
[ редактировать ]Позволять быть линейным представлением Позволять быть -инвариантное подпространство то есть, для всех и . Ограничение является изоморфизмом на себя. Потому что держится для всех эта конструкция представляет собой в называется субпредставлением Это Любое представление V имеет по крайней мере два подпредставления: одно, состоящее только из 0, и то, которое состоит из V. самого Представление называется неприводимым представлением , если эти два являются единственными подпредставлениями. Некоторые авторы также называют эти представления простыми, поскольку они представляют собой в точности простые модули над групповой алгеброй. .
Лемма Шура накладывает сильные ограничения на отображения между неприводимыми представлениями. Если и оба являются неприводимыми, и является линейным отображением таким, что для всех , существует следующая дихотомия:
- Если и является гомотетией (т.е. для ). В более общем смысле, если и изоморфны, пространство G -линейных отображений одномерно.
- В противном случае, если два представления не изоморфны, F должно быть равно 0. [3]
Характеристики
[ редактировать ]Два представления называются эквивалентными или изоморфными , если существует – изоморфизм линейного векторного пространства между пространствами представления. Другими словами, они изоморфны, если существует биективное линейное отображение такой, что для всех В частности, эквивалентные представления имеют одинаковую степень.
Представительство называется верным, когда является инъективным . В этом случае индуцирует изоморфизм между и изображение Поскольку последняя является подгруппой мы можем рассматривать с помощью как подгруппа
Мы можем ограничить диапазон, а также домен:
Позволять быть подгруппой Позволять быть линейным представлением Обозначим через ограничение в подгруппу
Если нет опасности путаницы, мы можем использовать только или короче
Обозначения или короче также используется для обозначения ограничения представления из на
Позволять быть функцией на Мы пишем или в ближайшее время для ограничения на подгруппу
Можно доказать, что число неприводимых представлений группы (или соответственно количество простых –модулей) равно числу сопряженности классов
Представление называется полупростым или вполне приводимым, если его можно записать в виде прямой суммы неприводимых представлений. Это аналогично соответствующему определению полупростой алгебры.
Для определения прямой суммы представлений обратитесь к разделу о прямых суммах представлений .
Представление называется изотипическим , если оно представляет собой прямую сумму попарно изоморфных неприводимых представлений.
Позволять быть заданным представлением группы Позволять быть неприводимым представлением – изотип из определяется как сумма всех неприводимых подпредставлений изоморфен
Каждое векторное пространство над может быть снабжен внутренним продуктом . Представительство группы в векторном пространстве, наделенном скалярным произведением, называется унитарным , если является единым для каждого Это означает, что, в частности, каждый является диагонализируемым . Подробнее см. статью об унитарных представлениях .
Представление унитарно относительно данного внутреннего продукта тогда и только тогда, когда внутренний продукт инвариантен относительно индуцированной операции то есть тогда и только тогда, когда держится для всех
Данный внутренний продукт можно заменить инвариантным внутренним произведением, заменив с
Таким образом, без ограничения общности можно считать, что каждое дальнейшее рассматриваемое представление унитарно.
Пример. Позволять быть диэдра порядка группой созданный которые удовлетворяют свойствам и Позволять быть линейным представлением определяется на генераторах следующим образом:
Это представление является верным. Подпространство это – инвариантное подпространство. Таким образом, существует нетривиальное подпредставление с Следовательно, представление не является неприводимым. Упомянутое подпредставление имеет степень единицу и неприводимо. подпространство Дополнительное является – тоже инвариант. Таким образом, мы получаем подпредставление с
Это подпредставление также неприводимо. Это означает, что исходное представление полностью приводимо:
Оба подпредставления изотипичны и представляют собой два единственных ненулевых изотипа
Представительство унитарен относительно стандартного внутреннего произведения на потому что и являются унитарными.
Позволять — любой изоморфизм векторного пространства. Затем которое определяется уравнением для всех является представлением, изоморфным
Ограничив область представления подгруппой, например мы получаем представление Это представление определяется изображением явный вид которого показан выше.
Конструкции
[ редактировать ]Двойное представительство
[ редактировать ]Позволять быть заданным представлением. Двойное представление или контрагредиентное представление является представлением в двойственном векторном пространстве Это определяется свойством
Что касается естественного спаривания между и определение выше дает уравнение:
Пример смотрите на главной странице по этой теме: Двойное представление .
Прямая сумма представлений
[ редактировать ]Позволять и быть представителем и соответственно. Прямая сумма этих представлений является линейным представлением и определяется как
Позволять быть представителями одной и той же группы Для простоты прямая сумма этих представлений определяется как представление то есть это дается как просмотрев как диагональная подгруппа
Пример. Пусть (здесь и являются мнимой единицей и примитивным кубическим корнем из единицы соответственно):
Затем
Поскольку достаточно рассмотреть образ порождающего элемента, находим, что
Тензорное произведение представлений
[ редактировать ]Позволять быть линейными представлениями. Определим линейное представление в произведение тензорное и к в котором Это представление называется внешним тензорным произведением представлений и Существование и единственность есть следствие свойств тензорного произведения .
Пример. Мы еще раз рассмотрим пример, приведенный для прямой суммы :
Внешнее тензорное произведение
Используя стандартную основу у нас есть следующее для генерирующего элемента:
Замечание. Обратите внимание, что прямая сумма и тензорные произведения имеют разные степени и, следовательно, представляют собой разные представления.
Позволять — два линейных представления одной и той же группы. Позволять быть элементом Затем определяется для и мы пишем Тогда карта определяет линейное представление которое также называют тензорным произведением данных представлений.
Эти два случая следует строго различать. Первый случай — это представление группового произведения в тензорное произведение соответствующих пространств представления. Второй случай представляет собой представление группы в тензорное произведение двух пространств представления этой одной группы. Но этот последний случай можно рассматривать как частный случай первого, сосредоточив внимание на диагональной подгруппе Это определение можно повторять конечное число раз.
Позволять и быть представителями группы Затем является представлением в силу следующего тождества: . Позволять и пусть быть представителем на Позволять быть представителем на и представительство на Тогда приведенное выше тождество приводит к следующему результату:
- для всех
- Теорема. Неприводимые представления с точностью до изоморфизма являются в точности представлениями в котором и являются неприводимыми представлениями и соответственно.
Симметричный и чередующийся квадрат
[ редактировать ]Позволять быть линейным представлением Позволять быть основой Определять расширяя линейно. Тогда утверждается, что и поэтому распадается на в котором
Эти подпространства –инвариант и тем самым определяют подпредставления, которые называются симметричным квадратом и знакопеременным квадратом соответственно. Эти подпредставления также определены в хотя в данном случае они обозначаются клиновым произведением и симметричное произведение В случае, если векторное пространство вообще не равна прямой сумме этих двух произведений.
Разложения
[ редактировать ]Чтобы легче понимать представления, было бы желательно разложить пространство представлений в прямую сумму более простых подпредставлений.Этого можно достичь для конечных групп, как мы увидим в следующих результатах. Более подробные пояснения и доказательства можно найти в [1] и [2] .
- Теорема. ( Машке ) Пусть быть линейным представлением, где — векторное пространство над полем нулевой характеристики. Позволять быть -инвариантное подпространство Тогда дополнение из существует в и есть -инвариант.
Подпредставление и его дополнение однозначно определяют представление.
Следующая теорема будет представлена в более общем виде, поскольку она дает очень красивый результат о представлениях компактных , а значит, и конечных групп:
- Теорема. Всякое линейное представление компактной группы над полем нулевой характеристики является прямой суммой неприводимых представлений.
Или на языке -модули: Если групповая алгебра полупроста, т. е. является прямой суммой простых алгебр.
Обратите внимание, что это разложение не уникально. Однако количество раз, сколько раз в этом разложении встречается подпредставление, изоморфное данному неприводимому представлению, не зависит от выбора разложения.
Каноническое разложение
Чтобы добиться однозначного разложения, необходимо объединить все неприводимые подпредставления, изоморфные друг другу. Это означает, что пространство представления разлагается в прямую сумму своих изотипов. Это разложение определено однозначно. Это называется каноническим разложением .
Позволять — множество всех неприводимых представлений группы с точностью до изоморфизма. Позволять быть представителем и пусть быть набором всех изотипов Проекция соответствующее каноническому разложению, имеет вид
где и это персонаж, принадлежащий
Далее мы покажем, как определить изотип тривиального представления:
Определение (формула проецирования). Для каждого представления группы мы определяем
В общем, не -линейный. Мы определяем
Затем это -линейная карта, потому что
- Предложение. Карта это проекция из к
Это предложение позволяет нам явно определить изотип тривиального подпредставления данного представления.
Как часто тривиальное представление встречается в дается Этот результат является следствием того факта, что собственные значения проекции равны только или и что собственное пространство, соответствующее собственному значению это изображение проекции. Поскольку след проекции представляет собой сумму всех собственных значений, получаем следующий результат
в котором обозначает изотип тривиального представления.
Позволять — нетривиальное неприводимое представление Тогда изотип тривиального представления это нулевое пространство. Это означает, что справедливо следующее уравнение
Позволять быть ортонормированным базисом Тогда у нас есть:
Поэтому для нетривиального неприводимого представления справедливо следующее :
Пример. Позволять — группы перестановок из трех элементов. Позволять быть линейным представлением определяется на образующих элементах следующим образом:
Это представление можно разложить при первом взгляде на леворегулярное представление который обозначается в дальнейшем и представление с
С помощью критерия неприводимости, взятого из следующей главы, мы могли бы понять, что является неприводимым, но нет. Это потому, что (с точки зрения внутреннего продукта из раздела «Внутренний продукт и символы» ниже) мы имеем
Подпространство из инвариантно относительно леворегулярного представления. Ограничиваясь этим подпространством, мы получаем тривиальное представление.
Ортогональное дополнение является Ограничено этим подпространством, которое также –инвариантно, как мы видели выше, получаем представление предоставлено
Опять же, мы можем использовать критерий неприводимости из следующей главы, чтобы доказать, что является нередуцируемым. Сейчас, и изоморфны, потому что для всех в котором задается матрицей
Разложение в неприводимых подпредставлениях: где обозначает тривиальное представление и
— соответствующее разложение пространства представления.
Каноническое разложение мы получим, объединив все изоморфные неприводимые подпредставления: это -изотип и, следовательно, каноническое разложение имеет вид
Приведенные выше теоремы, вообще говоря, не справедливы для бесконечных групп. Это будет продемонстрировано на следующем примере: пусть
Вместе с матричным умножением представляет собой бесконечную группу. действует на путем матрично-векторного умножения. Мы рассматриваем представление для всех Подпространство это -инвариантное подпространство. Однако не существует -инвариантное дополнение к этому подпространству. Предположение о существовании такого дополнения означало бы, что каждая матрица диагонализуема по Известно, что это неверно и поэтому приводит к противоречию.
Мораль этой истории в том, что если мы рассмотрим бесконечные группы, возможно, что представление — даже то, которое не является неприводимым — не может быть разложено в прямую сумму неприводимых подпредставлений.
Теория персонажей
[ редактировать ]Определения
[ редактировать ]Характер представительства определяется как карта
Несмотря на то, что характер является отображением между двумя группами, он, вообще говоря, не является групповым гомоморфизмом , как показывает следующий пример.
Позволять быть представлением, определяемым:
Персонаж дается
Характеры представлений перестановок особенно легко вычислить. Если V — G -представление, соответствующее левому действию на конечном множестве , затем
Например, [5] характер регулярного представления дается
где обозначает нейтральный элемент
Характеристики
[ редактировать ]Важнейшим свойством символов является формула
Эта формула следует из того, что след произведения AB двух квадратных матриц совпадает со следом BA . Функции удовлетворяющие такой формуле, называются функциями класса . Иными словами, функции класса и, в частности, символы постоянны в каждом классе сопряженности. Из элементарных свойств следа также следует, что представляет собой сумму значений собственных с кратностью. Если степень представления равна n , то длина суммы равна n . Если s имеет порядок m , все эти собственные значения являются корнями m-й степени из единицы . Этот факт можно использовать, чтобы показать, что и это также подразумевает
Поскольку след единичной матрицы равен количеству строк, где является нейтральным элементом и n — размерность представления. В общем, является нормальной подгруппой в В следующей таблице показано, как символы двух данных представлений порождают символы родственных представлений.
Представительство | Характер |
---|---|
двойное представительство | |
прямая сумма | |
тензорное произведение представлений | |
симметричный квадрат | |
чередующийся квадрат |
По построению существует разложение в прямую сумму . На символах это соответствует тому, что сумма двух последних выражений в таблице равна , характер .
Внутренний продукт и персонажи
[ редактировать ]Чтобы продемонстрировать некоторые особенно интересные результаты о персонажах, полезно рассмотреть более общий тип функций для групп:
Определение (функции класса). Функция называется функцией класса, если она постоянна на классах сопряженности , то есть
Обратите внимание, что каждый символ является функцией класса, поскольку след матрицы сохраняется при сопряжении.
Множество всех функций класса представляет собой –алгебра и обозначается . Его размерность равна числу классов сопряженности
Доказательства следующих результатов этой главы можно найти в [1] , [2] и [3] .
Внутренний продукт может быть определен на множестве всех функций класса конечной группы:
Ортонормированное свойство. Если являются отдельными неприводимыми характерами , они образуют ортонормированный базис для векторного пространства всех функций класса относительно скалярного произведения, определенного выше, т.е.
- Каждая функция класса может быть выражено как уникальная линейная комбинация неприводимых характеров .
Можно проверить, что неприводимые характеры порождают показав, что не существует ненулевой функции класса, ортогональной всем неприводимым характерам. Для представительство и функция класса, обозначим Тогда для несводимый, мы имеем из леммы Шура . Предполагать — это функция класса, ортогональная всем символам. Тогда согласно вышеизложенному мы имеем в любое время является нередуцируемым. Но тогда следует, что для всех , по разложимости. Брать быть регулярным представительством. Применение к какому-то конкретному базовому элементу , мы получаем . Поскольку это справедливо для всех , у нас есть
Из ортонормированного свойства следует, что число неизоморфных неприводимых представлений группы равно числу сопряженности классов
Более того, функция класса на является персонажем тогда и только тогда, когда его можно записать как линейную комбинацию различных неприводимых характеров с неотрицательными целыми коэффициентами: если это функция класса на такой, что где неотрицательные целые числа, то — характер прямой суммы представительств соответствующий И наоборот, всегда можно записать любой характер как сумму неприводимых характеров.
Определенный выше внутренний продукт можно расширить на множество всех -значные функции на конечной группе:
Симметричную билинейную форму можно также определить на
Эти две формы совпадают по набору символов. Если нет опасности путаницы, индекс обеих форм и будет опущено.
Позволять быть двумя –модули. Обратите внимание, что –модули — это просто представления . Поскольку ортонормированное свойство дает число неприводимых представлений равно числу его классов сопряженности, то простых –модулей (с точностью до изоморфизма), так как существуют классы сопряженности
Мы определяем в котором векторное пространство всех –линейные карты. Эта форма билинейна относительно прямой суммы.
В дальнейшем эти билинейные формы позволят нам получить некоторые важные результаты относительно разложения и неприводимости представлений.
Например, пусть и быть персонажами и соответственно. Затем
Из приведенных выше результатов, а также леммы Шура и полной приводимости представлений можно вывести следующую теорему.
- Теорема. Позволять быть линейным представлением с характером Позволять где являются нередуцируемыми. Позволять быть неприводимым представлением с характером Тогда число подпредставлений которые изоморфны не зависит от данного разложения и равен скалярному продукту то есть –изотип из не зависит от выбора разложения. Мы также получаем:
- и таким образом
- Следствие. Два представления одного и того же характера изоморфны. Это значит, что каждое представление определяется своим характером.
При этом мы получаем очень полезный результат для анализа представлений:
Критерий неприводимости. Позволять быть характером представления тогда у нас есть Дело имеет место тогда и только тогда, когда является нередуцируемым.
Следовательно, по первой теореме характеры неприводимых представлений образуют ортонормированное множество на относительно этого внутреннего продукта.
- Следствие. Позволять быть векторным пространством с Данное неприводимое представление из содержится – раз в обычном представлении . Другими словами, если обозначает регулярное представление тогда мы имеем: в котором есть множество всех неприводимых представлений которые попарно не изоморфны друг другу.
С точки зрения групповой алгебры это означает, что как алгебры.
В числовом результате получаем:
в котором является регулярным представлением и и соответствующие символы и соответственно. Напомним, что обозначает нейтральный элемент группы.
Эта формула является «необходимым и достаточным» условием задачи классификации неприводимых представлений группы с точностью до изоморфизма. Он дает нам возможность проверить, нашли ли мы все классы изоморфизма неприводимых представлений группы.
Аналогично, используя характер регулярного представления, оцененного в мы получаем уравнение:
Используя описание представлений через алгебру свертки, мы достигаем эквивалентной формулировки этих уравнений:
Формула обращения Фурье :
Кроме того, справедлива формула Планшереля :
В обеих формулах является линейным представлением группы и
Вышеупомянутое следствие имеет дополнительное следствие:
- Лемма. Позволять быть группой. Тогда следующее эквивалентно:
- является абелевым .
- Каждая функция на это функция класса.
- Все неприводимые представления иметь степень
Индуцированное представление
[ редактировать ]Как было показано в разделе о свойствах линейных представлений , мы можем — путем ограничения — получить представление подгруппы, исходя из представления группы. Естественно, нас интересует обратный процесс: можно ли получить представление группы, исходя из представления подгруппы? Мы увидим, что определенное ниже индуцированное представление дает нам необходимое понятие. Правда, эта конструкция не обратная, а сопряженная с ограничением.
Определения
[ редактировать ]Позволять быть линейным представлением Позволять быть подгруппой и ограничение. Позволять быть субпредставительством Мы пишем для обозначения этого представления. Позволять Векторное пространство зависит только от левого смежного класса из Позволять быть репрезентативной системой затем
является субпредставлением
Представительство из в называется индуцированным представлением из в если
Здесь обозначает репрезентативную систему и для всех и для всех Другими словами: представление индуцируется если каждый можно записать однозначно как
где для каждого
Обозначим представление из которое индуцировано представлением из как или короче если нет опасности путаницы. Вместо карты представления часто используется само пространство представления, т.е. или если представление индуцируется
Альтернативное описание индуцированного представления
[ редактировать ]Используя групповую алгебру, мы получаем альтернативное описание индуцированного представления:
Позволять быть группой, а –модуль и а – субмодуль соответствующий подгруппе из Мы говорим, что индуцируется если в котором действует на первый фактор: для всех
Характеристики
[ редактировать ]Результаты, представленные в этом разделе, будут представлены без доказательства. Их можно найти в [1] и [2] .
- Единственность и существование индуцированного представления. Позволять быть линейным представлением подгруппы из Тогда существует линейное представление из который вызван Заметим, что это представление единственно с точностью до изоморфизма.
- Транзитивность индукции. Позволять быть представителем и пусть быть возрастающим рядом групп. Тогда у нас есть
- Лемма. Позволять быть вызвано и пусть быть линейным представлением Теперь позвольте быть линейным отображением, удовлетворяющим тому свойству, что для всех Тогда существует однозначно определенное линейное отображение который простирается и для чего действителен для всех
Это означает, что если мы интерпретируем как –модуль, у нас есть где векторное пространство всех –гомоморфизмы к То же самое справедливо для
Индукция по функциям классов. Точно так же, как это было сделано с представлениями, мы можем — по индукции — получить функцию класса на группе из функции класса на подгруппе. Позволять быть функцией класса на Мы определяем функцию на к
Мы говорим индуцируется и напиши или
- Предложение. Функция это функция класса на Если это характер представления из затем – характер индуцированного представления из
- Лемма. Если это функция класса на и это функция класса на тогда мы имеем:
- Теорема. Позволять быть представителем индуцированный представлением подгруппы Позволять и быть соответствующими символами. Позволять быть репрезентативной системой Индуцированный характер определяется выражением
взаимность Фробениуса
[ редактировать ]Подводя предварительный итог, можно извлечь урок из взаимности Фробениуса: карты и примыкают друг к другу.
Позволять быть неприводимым представлением и пусть быть неприводимым представлением тогда взаимность Фробениуса говорит нам, что содержится в так часто, как содержится в
- Взаимность Фробениуса. Если и у нас есть
Это утверждение справедливо и для внутреннего продукта .
Критерий неприводимости Макки
[ редактировать ]Джордж Макки установил критерий проверки неприводимости индуцированных представлений. Для этого нам сначала понадобятся некоторые определения и некоторые уточнения относительно обозначений.
Два представления и группы называются непересекающимися , если они не имеют общей неприводимой компоненты, т. е. если
Позволять будьте группой и позвольте быть подгруппой. Мы определяем для Позволять быть представлением подгруппы Это определяет ограничением представление из Мы пишем для Мы также определим другое представление из к Эти два представления не следует путать.
- Критерий неприводимости Макки. Индуцированное представление является неприводимым тогда и только тогда, когда выполняются следующие условия:
- является неприводимым
- Для каждого два представления и из непересекающиеся. [6]
Для случая нормально, у нас есть и . Таким образом мы получаем следующее:
- Следствие. Позволять быть нормальной подгруппой Затем неприводимо тогда и только тогда, когда неприводим и не изоморфен сопряженным для
Заявления в специальные группы
[ редактировать ]В этом разделе мы представляем некоторые приложения изложенной до сих пор теории к нормальным подгруппам и к специальной группе — полупрямому произведению подгруппы с абелевой нормальной подгруппой.
- Предложение. Позволять быть нормальной подгруппой группы и пусть быть неприводимым представлением Тогда одно из следующих утверждений должно быть справедливым:
- либо существует собственная подгруппа из содержащий и неприводимое представление из который вызывает ,
- или является изотипическим -модуль.
- Доказательство. Учитывать как -модуль и разложим его на изотипы как . Если это разложение тривиально, мы находимся во втором случае. В противном случае, чем больше -действие меняет местами эти изотипические модули; потому что является неприводимым как -модуля, действие перестановки транзитивно (фактически примитивно ). Исправьте любой ; стабилизатор . в из элементарно видно, что он проявляет заявленные свойства.
Обратите внимание, что если абелева, то изотипические модули неприводимы, имеют степень один и все гомотетии.
Мы получаем также следующее
- Следствие. Позволять — абелева нормальная подгруппа группы и пусть быть любым неприводимым представлением Обозначим через индекс в Затем [1]
Если является абелевой подгруппой (не обязательно нормальный), как правило не удовлетворен, но тем не менее все еще действителен.
Классификация представлений полупрямого произведения
[ редактировать ]В дальнейшем пусть быть полупрямым продуктом, таким что нормальный полупрямой фактор, , является абелевым. Неприводимые представления такой группы можно классифицировать, показав, что все неприводимые представления могут быть построены из определенных подгрупп . Это так называемый метод «малых групп» Вигнера и Макки.
С является абелевым , неприводимые характеры иметь первую степень и сформировать группу Группа действует на к для
Позволять быть системой орбиты представительной в Для каждого позволять Это подгруппа Позволять — соответствующая подгруппа Теперь мы расширяем функцию на к для Таким образом, это функция класса на Более того, поскольку для всех можно показать, что является гомоморфизмом группы из к Таким образом, мы имеем представление о первой степени, которая равна его собственному характеру.
Пусть сейчас быть неприводимым представлением Тогда мы получим неприводимое представление из путем объединения с канонической проекцией Наконец, мы строим произведение тензорное и Таким образом, мы получаем неприводимое представление из
Чтобы окончательно получить классификацию неприводимых представлений мы используем представление из которое индуцировано тензорным произведением Таким образом, мы достигаем следующего результата:
- Предложение.
- является нередуцируемым.
- Если и изоморфны, то и дополнительно изоморфен
- Каждое неприводимое представление изоморфен одному из
Для доказательства предложения, среди прочего, необходимы критерий Макки и вывод, основанный на взаимности Фробениуса. Более подробную информацию можно найти в [1] .
Другими словами, мы классифицировали все неприводимые представления
Представительское кольцо
[ редактировать ]Представительское кольцо определяется как абелева группа
С умножением, обеспечиваемым тензорным произведением , становится кольцом. Элементы называются виртуальными представлениями .
Характер определяет кольцевой гомоморфизм в множестве всех функций класса на со сложными значениями
в котором – неприводимые характеры, соответствующие
Поскольку представление определяется его характером, является инъективным . Изображения называются виртуальными персонажами .
Поскольку неприводимые характеры образуют базис ортонормированный индуцирует изоморфизм
Этот изоморфизм определяется на основе элементарных тензоров к соответственно и расширен билинейно .
Мы пишем для набора всех персонажей и для обозначения группы, порожденной т.е. совокупность всех различий двух символов. Тогда утверждается, что и Таким образом, мы имеем и виртуальные персонажи оптимальным образом соответствуют виртуальным представлениям.
С держит, представляет собой набор всех виртуальных персонажей. Поскольку произведение двух символов дает другой символ, является подкольцом кольца всех функций класса на Потому что составить основу получаем, как и в случае изоморфизм
Позволять быть подгруппой Таким образом, ограничение определяет кольцевой гомоморфизм который будет обозначаться или Аналогично индукция по функциям класса определяет гомоморфизм абелевых групп который будет записан как или короче
Согласно взаимности Фробениуса эти два гомоморфизма сопряжены относительно билинейных форм и Кроме того, формула показывает, что образ является идеалом кольца
По ограничению представлений отображение можно определить аналогично для и по индукции получаем отображение для Благодаря взаимности Фробениуса получаем, что эти отображения сопряжены друг другу и что образ является идеалом кольца
Если — коммутативное кольцо, гомоморфизмы и может быть распространен на –линейные карты:
в котором все это неприводимые представления с точностью до изоморфизма.
С мы получаем, в частности, что и обеспечивают гомоморфизмы между и
Позволять и быть двумя группами с соответствующими представлениями и Затем, является представлением прямого произведения как было показано в предыдущем разделе . Другим результатом этого раздела было то, что все неприводимые представления это именно представления где и являются неприводимыми представлениями и соответственно. Это переходит в кольцо представлений как тождество в котором - тензорное произведение колец представлений как –модули.
Теоремы индукции
[ редактировать ]Теоремы индукции связывают кольцо представлений данной конечной группы G с кольцами представлений семейства X, состоящего из некоторых подмножеств H группы G . Точнее, для такого набора подгрупп функтор индукции дает отображение
- ; теоремы индукции дают критерии сюръективности этого отображения или близких к нему отображений.
Теорема индукции Артина — самая элементарная теорема в этой группе результатов. Он утверждает, что следующие утверждения эквивалентны:
- Ядро конечно.
- есть объединение сопряженных подгрупп, принадлежащих т.е.
С конечно порождена как группа, первый пункт можно перефразировать следующим образом:
- Для каждого персонажа из существуют виртуальные персонажи и целое число такой, что
Серр (1977) дает два доказательства этой теоремы. Например, поскольку G является объединением своих циклических подгрупп, каждый характер группы представляет собой линейную комбинацию с рациональными коэффициентами характеров, индуцированную характерами циклических подгрупп группы Поскольку представления циклических групп хорошо изучены, в частности, неприводимые представления одномерны, это дает некоторый контроль над представлениями G .
В вышеизложенных обстоятельствах в целом неверно, что является сюръективным. Теорема индукции Брауэра утверждает, что является сюръективным при условии, что X — семейство всех элементарных подгрупп .Здесь группа H является элементарной , если существует некоторое простое число p такое, что H является прямым произведением циклической группы порядка, простого с и -группа .Другими словами, персонаж каждый — линейная комбинация с целыми коэффициентами характеров, индуцированная характерами элементарных подгрупп.Элементарные подгруппы H, возникающие в теореме Брауэра, имеют более богатую теорию представлений, чем циклические группы, они, по крайней мере, обладают тем свойством, что любое неприводимое представление для такого H индуцируется одномерным представлением (обязательно также элементарной) подгруппы. . (Можно показать, что это последнее свойство справедливо для любой сверхразрешимой группы , которая включает нильпотентные группы и, в частности, элементарные группы.) Эта способность индуцировать представления из представлений степени 1 имеет некоторые дальнейшие следствия в теории представлений конечных групп.
Реальные представления
[ редактировать ]Для доказательств и дополнительной информации о представлениях над общими подполями пожалуйста, обратитесь к [2] .
Если группа действует в реальном векторном пространстве соответствующее представление в комплексном векторном пространстве называется реальным ( называется комплексификацией ). Соответствующее представление, упомянутое выше, имеет вид для всех
Позволять быть реальным представителем. Линейная карта является - ценен для всех Таким образом, можно заключить, что характер реального представления всегда вещественен. Но не всякое представление вещественного характера является реальным. Чтобы это было понятно, позвольте — конечная неабелева подгруппа группы
Затем действует на Поскольку след любой матрицы в веществен, характер представления вещественен. Предполагать является реальным представлением, то будет состоять только из вещественных матриц. Таким образом, Однако группа кругов абелева, но была выбрана неабелева группа. Теперь нам нужно только доказать существование неабелевой конечной подгруппы Чтобы найти такую группу, заметим, что можно отождествить с единицами кватернионов . Теперь позвольте Следующее двумерное представление не является вещественным, но имеет вещественный характер:
Тогда образ не имеет действительного значения, но, тем не менее, является подмножеством Таким образом, характер представления реален.
- Лемма. Неприводимое представление из действительна тогда и только тогда, когда существует невырожденная симметричная билинейная форма на сохранено
Неприводимое представление в реальном векторном пространстве может стать приводимым при расширении поля до Например, следующее вещественное представление циклической группы приводимо при рассмотрении
Поэтому, классифицируя все неприводимые представления, вещественные над мы еще не классифицировали все неприводимые действительные представления. Но мы добиваемся следующего:
Позволять быть реальным векторным пространством. Позволять действовать непреодолимо на и пусть Если не является неприводимым, существует ровно два неприводимых множителя, которые являются комплексно-сопряженными представлениями
Определение. Кватернионное . представление — это (комплексное) представление который обладает –инвариантный антилинейный гомоморфизм удовлетворяющий Таким образом, кососимметричный невырожденный –инвариантная билинейная форма определяет кватернионную структуру на
- Теорема. Неприводимое представление является одним и только одним из следующих:
- (i) комплекс: не является действительной величиной и не существует –инвариантная невырожденная билинейная форма на
- (ii) реальные: реальное представительство; имеет –инвариантная невырожденная симметричная билинейная форма .
- (iii) кватернион: реально, но не является реальным; имеет –инвариантная кососимметричная невырожденная билинейная форма.
Представления отдельных групп
[ редактировать ]Симметричные группы
[ редактировать ]Представление симметрических групп были интенсивно изучены. Классы сопряжения в согласно вышеизложенному, неприводимые представления) соответствуют разбиениям n . (и, следовательно , Например, имеет три неприводимых представления, соответствующие разбиениям
- 3; 2+1; 1+1+1
из 3. Для такого раздела таблица Юнга представляет собой графическое устройство, изображающее раздел. Неприводимое представление, соответствующее такому разбиению (или таблице Юнга), называется модулем Шпехта .
Представления различных симметрических групп связаны: любое представление дает представление о по индукции и наоборот по ограничению. Прямая сумма всех этих колец представлений
наследует от этих конструкций структуру алгебры Хопфа , которая, оказывается, тесно связана с симметрическими функциями .
Конечные группы лиева типа
[ редактировать ]В определенной степени представления , при изменении n , имеют тот же вкус, что и для ; вышеупомянутый процесс индукции заменяется так называемой параболической индукцией . Однако, в отличие от , где все представления могут быть получены индукцией тривиальных представлений, это неверно для . новые строительные блоки, известные как представления возврата Вместо этого необходимы .
Представления и вообще, представления конечных групп лиева типа тщательно изучены. Боннафе (2010) описывает представления . Геометрическое описание неприводимых представлений таких групп, включая упомянутые выше каспидальные представления, дает теория Делиня-Люстига , строящая такие представления в l-адических когомологиях многообразий Делиня-Люстига .
Сходство теории представлений и выходит за пределы конечных групп. Философия форм возврата подчеркивает родство теоретико-представительных аспектов этих типов групп с общими линейными группами локальных полей , таких как Q p и кольца аделей , см. Bump (2004) .
Outlook — представления компактных групп.
[ редактировать ]Теория представлений компактных групп может быть в некоторой степени распространена на локально компактные группы . В этом контексте теория представлений приобретает большое значение для гармонического анализа и изучения автоморфных форм. Для доказательств, дополнительной информации и более подробного понимания, выходящего за рамки этой главы, пожалуйста, обратитесь к [4] и [5] .
Определение и свойства
[ редактировать ]Топологическая группа — это группа вместе с топологией, по отношению к которой групповой состав и инверсия непрерывны .Такая группа называется компактной , если любое покрытие открытое в топологии, имеет конечное подпокрытие. Замкнутые подгруппы компактной группы снова компактны.
Позволять компактная группа и пусть быть конечномерным – векторное пространство. Линейное представление к является непрерывным групповым гомоморфизмом т.е. является непрерывной функцией двух переменных и
Линейное представление в банахово пространство определяется как непрерывный групповой гомоморфизм в множество всех биективных ограниченных линейных операторов на с непрерывным обратным. С мы можем обойтись без последнего требования. Далее мы рассмотрим, в частности, представления компактных групп в гильбертовых пространствах .
Как и в случае с конечными группами, мы можем определить групповую алгебру и алгебру свертки . Однако групповая алгебра не дает полезной информации в случае бесконечных групп, поскольку при построении теряется условие непрерывности. Вместо этого алгебра свертки занимает свое место.
Большинство свойств представлений конечных групп с соответствующими изменениями можно перенести на компактные группы. Для этого нам понадобится аналог суммирования по конечной группе:
Существование и единственность меры Хаара
[ редактировать ]О компактной группе существует ровно одна мера такой, что:
- Это инвариантная к левой трансляции мера.
- Вся группа имеет единицу измерения:
Такая левотрансляционно-инвариантная нормированная мера называется мерой Хаара группы
С компактна, можно показать, что эта мера также инвариантна относительно правого сдвига, т. е. она также применима
В соответствии с приведенным выше масштабированием мера Хаара на конечной группе определяется выражением для всех
Все определения представлений конечных групп, упомянутые в разделе «Свойства» , применимы и к представлениям компактных групп. Но необходимы некоторые модификации:
Чтобы определить подпредставление, нам теперь нужно замкнутое подпространство. В этом не было необходимости для конечномерных пространств представления, поскольку в этом случае каждое подпространство уже замкнуто. Кроме того, два представления компактной группы называются эквивалентными, если существует биективный непрерывный линейный оператор между пространствами представления, обратное которых также непрерывно и которое удовлетворяет для всех
Если унитарно, то два представления называются унитарным эквивалентом .
Чтобы получить –инвариантный внутренний продукт от не –инвариант, теперь нам придется использовать интеграл по вместо суммы. Если является внутренним произведением в гильбертовом пространстве которое не инвариантно относительно представления из затем
это –инвариантный внутренний продукт на в силу свойств меры Хаара Таким образом, мы можем считать каждое представление в гильбертовом пространстве унитарным.
Позволять компактная группа и пусть Позволять — гильбертово пространство суммируемых с квадратом функций на Определим оператор на этом пространстве от где
Карта является унитарным представлением Это называется леворегулярным представлением . праворегулярное представление Аналогично определяется . Поскольку мера Хаара также инвариантен к правостороннему сдвигу, оператор на дается Праворегулярное представление тогда является унитарным представлением, заданным формулой Два представления и двойственны друг другу.
Если бесконечно, эти представления не имеют конечной степени. Лево- и право-регулярное представление , определенное в начале, изоморфно лево- и право-регулярному представлению, определенному выше, если группа конечно. Это связано с тем, что в данном случае
Конструкции и декомпозиции
[ редактировать ]Различные способы построения новых представлений из заданных можно использовать и для компактных групп, за исключением двойственного представления, о котором мы поговорим позже. и Прямая сумма тензорное произведение с конечным числом слагаемых/множителей определяются точно так же, как и для конечных групп. Это также относится к симметричному и чередующемуся квадрату. Однако нам нужна мера Хаара на прямом произведении компактных групп, чтобы расширить теорему о том, что неприводимые представления произведения двух групп являются (с точностью до изоморфизма) в точности тензорным произведением неприводимых представлений фактор-групп. Прежде всего, заметим, что прямое произведение двух компактных групп снова является компактной группой, если ей присвоена топология произведения . Тогда мера Хаара для прямого произведения определяется произведением мер Хаара на фактор-группы.
Для двойственного представления на компактных группах нам потребуется топологическое двойственное представление векторного пространства Это векторное пространство всех непрерывных линейных функционалов из векторного пространства в базовое поле. Позволять быть представлением компактной группы в
Двойное представительство определяется свойством
Таким образом, мы можем заключить, что двойственное представление имеет вид для всех Карта снова является непрерывным групповым гомоморфизмом и, следовательно, представлением.
О гильбертовых пространствах: неприводимо тогда и только тогда, когда является нередуцируемым.
Перенося результаты секционных разложений на компактные группы, получаем следующие теоремы:
- Теорема. Каждое неприводимое представление компактной группы в гильбертово пространство конечномерна и существует скалярное произведение на такой, что является унитарным. Поскольку мера Хаара нормирована, этот скалярный продукт уникален.
Каждое представление компактной группы изоморфно прямой сумме Гильберта неприводимых представлений.
Позволять — унитарное представление компактной группы Как и для конечных групп, мы определяем для неприводимого представления изотип или изотипический компонент в быть подпространством
Это сумма всех инвариантных замкнутых подпространств. которые –изоморфен
Заметим, что изотипы неэквивалентных неприводимых представлений попарно ортогональны.
- Теорема.
- (я) является замкнутым инвариантным подпространством
- (ii) является –изоморфен прямой сумме копий
- (iii) Каноническое разложение: - прямая сумма Гильберта изотипов в котором проходит через все классы изоморфизма неприводимых представлений.
Соответствующая проекция на каноническое разложение в котором является изотипом для компактных групп, заданных формулой
где и – характер, соответствующий неприводимому представлению
Формула прогноза
[ редактировать ]Для каждого представления компактной группы мы определяем
В общем не –линейный. Позволять
Карта определяется как эндоморфизм на имея собственность
что справедливо для скалярного произведения гильбертова пространства
Затем является –линейный, потому что
где мы использовали инвариантность меры Хаара.
- Предложение. Карта это проекция из к
Если представление конечномерно, то можно определить прямую сумму тривиального подпредставления так же, как и в случае конечных групп.
Характеры, лемма Шура и внутренний продукт
[ редактировать ]Обычно представления компактных групп исследуются в гильбертовых и банаховых пространствах . В большинстве случаев они не являются конечномерными. Поэтому нецелесообразно ссылаться на характеры , когда речь идет о представлениях компактных групп. Тем не менее в большинстве случаев можно ограничиться исследованием случая конечных размерностей:
Поскольку неприводимые представления компактных групп конечномерны и унитарны (см. результаты первого пункта ), мы можем определить неприводимые характеры так же, как это было сделано для конечных групп.
Пока построенные представления остаются конечномерными, характеры вновь построенных представлений можно получить так же, как и для конечных групп.
Лемма Шура справедлива и для компактных групп:
Позволять — неприводимое унитарное представление компактной группы Тогда каждый ограниченный оператор удовлетворение собственности для всех является скалярным кратным единицы, т. е. существует такой, что
Определение. Формула
определяет скалярный продукт на множестве всех интегрируемых с квадратом функций компактной группы Так же
определяет билинейную форму на компактной группы
Билинейная форма в пространствах представлений определена точно так же, как и для конечных групп, и, аналогично конечным группам, поэтому справедливы следующие результаты:
- Теорема. Позволять и — характеры двух неизоморфных неприводимых представлений и соответственно. Тогда справедливо следующее
- т.е. есть "норма"
- Теорема. Позволять быть представителем с характером Предполагать является неприводимым представлением с характером Количество субпредставлений эквивалентно не зависит от какого-либо данного разложения для и равен внутреннему продукту
- Критерий неприводимости. Позволять быть характером представления затем является положительным целым числом. Более того тогда и только тогда, когда является нередуцируемым.
Следовательно, по первой теореме характеры неприводимых представлений образуют ортонормированное множество на относительно этого внутреннего продукта.
- Следствие. Каждое неприводимое представление из содержится – раз в леворегулярном представлении.
- Лемма. Позволять быть компактной группой. Тогда следующие утверждения эквивалентны:
- является абелевым.
- Все неприводимые представления иметь степень
- Ортонормированное свойство. Позволять быть группой. Неизоморфные неприводимые представления образуют ортонормированный базис в относительно этого внутреннего продукта.
Поскольку мы уже знаем, что неизоморфные неприводимые представления ортонормированы, нам нужно лишь проверить, что они порождают Это можно сделать, доказав, что не существует функции, интегрируемой с ненулевым квадратом на ортогональна всем неприводимым характерам.
Как и в случае конечных групп, число неприводимых представлений с точностью до изоморфизма группы равно числу классов сопряженности Однако, поскольку компактная группа, вообще говоря, имеет бесконечное число классов сопряженности, это не дает никакой полезной информации.
Индуцированное представление
[ редактировать ]Если — замкнутая подгруппа конечного индекса в компактной группе определение индуцированного представления можно принять для конечных групп.
Однако индуцированное представление можно определить в более общем смысле, так что определение будет действительным независимо от индекса подгруппы.
Для этого пусть — унитарное представление замкнутой подгруппы Непрерывное индуцированное представление определяется следующим образом:
Позволять обозначают гильбертово пространство всех измеримых функций, интегрируемых с квадратом с собственностью для всех Норма определяется
и представительство дается как правильный перевод:
Тогда индуцированное представление снова является унитарным представлением.
С компактно, индуцированное представление разлагается в прямую сумму неприводимых представлений Заметим, что все неприводимые представления, принадлежащие одному изотипу, появляются с кратностью, равной
Позволять быть представителем то существует канонический изоморфизм
вместе Взаимность Фробениуса с модифицированными определениями скалярного произведения и билинейной формы переносится на компактные группы. Теперь теорема справедлива для функций, интегрируемых с квадратом на вместо функций класса, но подгруппа должен быть закрыт.
Теорема Питера-Вейля
[ редактировать ]Другим важным результатом теории представлений компактных групп является теорема Петера-Вейля. Обычно оно представлено и доказано в гармоническом анализе , поскольку представляет собой одно из его центральных и фундаментальных утверждений.
- Теорема Питера-Вейля. Позволять быть компактной группой. Для каждого неприводимого представления из позволять быть ортонормированным базисом Определим матричные коэффициенты для Тогда мы имеем следующий ортонормированный базис :
Мы можем переформулировать эту теорему, чтобы получить обобщение ряда Фурье для функций на компактных группах:
- Теорема Питера-Вейля (вторая версия). [7] Существует естественный –изоморфизм
- в котором есть множество всех неприводимых представлений с точностью до изоморфизма и — пространство представления, соответствующее Более конкретно:
История
[ редактировать ]Общие черты теории представлений конечной группы G над комплексными числами были открыты Фердинандом Георгом Фробениусом еще до 1900 года. Позже была развита модульная теория представлений Рихарда Брауэра .
См. также
[ редактировать ]- Теория персонажей
- Реальное представительство
- Отношения ортогональности Шура
- Гипотеза Маккея
- Кольцо Бернсайда
Литература
[ редактировать ]- Боннафе, Седрик (2010). Представления SL2(Fq) . Алгебра и приложения. Том. 13. Спрингер. ISBN 9780857291578 .
- Бамп, Дэниел (2004), Группы лжи , Тексты для выпускников по математике, том. 225, Нью-Йорк: Springer-Verlag, ISBN. 0-387-21154-3
- [1] Серр, Жан-Пьер (1977), Линейные представления конечных групп , Нью-Йорк: Springer Verlag, ISBN 0-387-90190-6
- [2] Фултон, Уильям; Харрис, Джо: Теория представлений: первый курс. Спрингер-Верлаг, Нью-Йорк, 1991 г., ISBN 0-387-97527-6 .
- [3] Альперин, Дж.Л.; Белл, Роуэн Б.: Группы и репрезентации Springer-Verlag, Нью-Йорк, 1995, ISBN 0-387-94525-3 .
- [4] Дойтмар, Антон: Автоморфные формы Springer-Verlag 2010, ISBN 978-3-642-12389-4 , с. 89-93,185-189
- [5] Эхтергоф, Зигфрид; Дейтмар, Антон: Принципы гармонического анализа Springer-Verlag 2009, ISBN 978-0-387-85468-7 , с. 127-150
- [6] Ланг, Серж: Алгебра Спрингер-Верлаг, Нью-Йорк, 2002, ISBN 0-387-95385-X , с. 663-729
- [7] Сенгупта, Амбар (2012). Представление конечных групп: полупростое введение . Нью-Йорк. ISBN 9781461412311 . OCLC 769756134 .
{{cite book}}
: CS1 maint: отсутствует местоположение издателя ( ссылка )
Ссылки
[ редактировать ]- ^ ( Серр 1977 , стр. 47)
- ^ ( Сенгупта 2012 , стр. 62)
- ^ Доказательство. Предполагать ненулевое значение. Затем действителен для всех Таким образом, мы получаем для всех и И теперь мы знаем, что является – инвариант. С является неприводимым и мы заключаем Теперь позвольте Это означает, что существует такой, что и у нас есть Таким образом, мы делаем вывод, что это – инвариантное подпространство. Потому что ненулевое значение и неприводимо, мы имеем Поэтому, является изоморфизмом, и первое утверждение доказано.Предположим теперь, что Поскольку наше базовое поле мы знаем это имеет хотя бы одно собственное значение Позволять затем и у нас есть для всех Согласно изложенным выше соображениям, это возможно только в том случае, если т.е.
- ^ Некоторые авторы определяют персонажа как , но в данной статье это определение не используется.
- ^ используя действие G на себя, заданное формулой
- ^ Доказательство этой теоремы можно найти в [1] .
- ^ Доказательство этой теоремы и дополнительную информацию о теории представлений компактных групп можно найти в [5] .