Индуцированное представление - Induced representation

В теория групп, то индуцированное представление это представление группы, г, который строится с использованием известного представления подгруппа ЧАС. Учитывая представление ЧАС, индуцированное представление является в некотором смысле «наиболее общим» представлением г который расширяет данный. Поскольку зачастую легче найти представления меньшей группы ЧАС чем из г, операция формирования индуцированных представлений - важный инструмент для построения новых представлений.

Индуцированные представления изначально были определены Фробениус, для линейные представления из конечные группы. Идея никоим образом не ограничивается случаем конечных групп, но теория в этом случае особенно хороша.

Конструкции

Алгебраический

Смотрите также: Теория представлений конечных групп § Индуцированное представление

Позволять г конечная группа и ЧАС любая подгруппа г. Кроме того, пусть (π, V) быть представлением ЧАС. Позволять п = [г : ЧАС] быть показатель из ЧАС в г и разреши г₁, ..., г_п быть полным набором представителей в г из левые классы в г/ЧАС. Индуцированное представление Ind^г
_ЧАС π можно рассматривать как действующие в следующем пространстве:

${\displaystyle W=\bigoplus _{i=1}^{n}g_{i}V.}$

Здесь каждый г_я V является изоморфный копия векторного пространства V элементы которого записываются как г_я v с участием v∈V. Для каждого г в г и каждый г_я существует час_я в ЧАС и j(я) в 1, ..., п} такой, что г г_я = г_{j (я)} час_я . (Это просто еще один способ сказать, что г₁, ..., г_п - полный набор представителей.) Через индуцированное представление г действует на W следующим образом:

${\displaystyle g\cdot \sum _{i=1}^{n}g_{i}v_{i}=\sum _{i=1}^{n}g_{j(i)}\pi (h_{i})v_{i}}$

где ${\displaystyle v_{i}\in V}$ для каждого я.

В качестве альтернативы можно построить индуцированные представления, используя тензорное произведение: Любые K-линейное представление ${\displaystyle \pi }$ группы ЧАС можно рассматривать как модуль V над групповое кольцо K[ЧАС]. Затем мы можем определить

${\displaystyle \operatorname {Ind} _{H}^{G}\pi =K[G]\otimes _{K[H]}V.}$

Эту последнюю формулу также можно использовать для определения Ind^г
_ЧАС π для любой группы г и подгруппа ЧАС, не требуя какой-либо конечности.^[1]

Примеры

Для любой группы индуцированное представление тривиальное представление из тривиальная подгруппа это право регулярное представительство. В более общем смысле индуцированное представление тривиальное представление любой подгруппы является представлением перестановки на смежных классах этой подгруппы.

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

Свойства

Если ЧАС является подгруппой группы г, то каждые K-линейное представление ρ из г можно рассматривать как K-линейное представление ЧАС; это известно как ограничение из ρ к ЧАС и обозначается Res (ρ). В случае конечных групп и конечномерных представлений Теорема взаимности Фробениуса заявляет, что с учетом представлений σ из ЧАС и ρ из г, пространство ЧАС-эквивариантный линейные карты из σ к Res (ρ) имеет такое же измерение над K как у г-эквивариантные линейные отображения из Ind (σ) к ρ.^[2]

В универсальная собственность индуцированного представления, которое также верно для бесконечных групп, эквивалентно присоединению, утвержденному в теореме взаимности. Если ${\displaystyle (\sigma ,V)}$ представляет собой представление ЧАС и ${\displaystyle (\operatorname {Ind} (\sigma ),{\hat {V}})}$ это представление г индуцированный ${\displaystyle \sigma }$, то существует ЧАС-эквивариантное линейное отображение ${\displaystyle j:V\to {\hat {V}}}$ со следующим свойством: при любом представлении (ρ,W) из г и ЧАС-эквивариантное линейное отображение ${\displaystyle f:V\to W}$, есть уникальный г-эквивариантное линейное отображение ${\displaystyle {\hat {f}}:{\hat {V}}\to W}$ с участием ${\displaystyle {\hat {f}}j=f}$. Другими словами, ${\displaystyle {\hat {f}}}$ уникальная карта, делающая следующие диаграмма коммутируют:^[3]

В Формула Фробениуса заявляет, что если χ это характер представительства σ, данный χ(час) = Tr σ(час), то персонаж ψ индуцированного представления задается формулой

${\displaystyle \psi (g)=\sum _{x\in G/H}{\widehat {\chi }}\left(x^{-1}gx\right),}$

где сумма берется по системе представителей левых классов смежности ЧАС в г и

${\displaystyle {\widehat {\chi }}(k)={\begin{cases}\chi (k)&{\text{if }}k\in H\\0&{\text{otherwise}}\end{cases}}}$

Аналитический

Если г это локально компактный топологическая группа (возможно бесконечное) и ЧАС это закрыто подгруппа тогда существует общая аналитическая конструкция индуцированного представления. Позволять (π, V) быть непрерывный унитарное представление ЧАС в Гильбертово пространство V. Затем мы можем позволить:

${\displaystyle \operatorname {Ind} _{H}^{G}\pi =\left\{\phi \colon G\to V\ :\ \phi (gh^{-1})=\pi (h)\phi (g){\text{ for all }}h\in H,\;g\in G{\text{ and }}\ \phi \in L^{2}(G/H)\right\}.}$

Вот φ∈L²(г/ЧАС) означает: пространство г/ЧАС несет подходящую инвариантную меру, а поскольку норма φ (г) постоянно на каждом левом смежном классе ЧАС, мы можем проинтегрировать квадрат этих норм по г/ЧАС и получить конечный результат. Группа г действует на индуцированное пространство представления сдвигом, т. е. (г.φ) (Икс) = φ (г⁻¹Икс) для г, х∈г и φ∈Ind^г
_ЧАС π.

Эту конструкцию часто модифицируют различными способами, чтобы она соответствовала нужным приложениям. Общая версия называется нормализованная индукция и обычно использует те же обозначения. Определение пространства представления следующее:

${\displaystyle \operatorname {Ind} _{H}^{G}\pi =\left\{\phi \colon G\to V\ :\ \phi (gh^{-1})=\Delta _{G}^{-{\frac {1}{2}}}(h)\Delta _{H}^{\frac {1}{2}}(h)\pi (h)\phi (g){\text{ and }}\phi \in L^{2}(G/H)\right\}.}$

Вот Δ_г, Δ_ЧАС являются модульные функции из г и ЧАС соответственно. С добавлением нормализация факторы этой индукции функтор берет унитарные представления к унитарным представлениям.

Еще один вариант индукции называется компактная индукция. Это просто стандартная индукция, ограниченная функциями с компактная опора. Формально он обозначается ind и определяется как:

${\displaystyle \operatorname {ind} _{H}^{G}\pi =\left\{\phi \colon G\to V\ :\ \phi (gh^{-1})=\pi (h)\phi (g){\text{ and }}\phi {\text{ has compact support mod }}H\right\}.}$

Обратите внимание, что если г/ЧАС компактно, то Ind и ind - один и тот же функтор.

Геометрический

Предположим г это топологическая группа и ЧАС это закрыто подгруппа из г. Также предположим π представляет собой представление ЧАС над векторным пространством V. потом г действует на продукте г × V следующим образом:

${\displaystyle g.(g',x)=(gg',x)}$

где г и г′ являются элементами г и Икс является элементом V.

Определить на г × V то отношение эквивалентности

${\displaystyle (g,x)\sim (gh,\pi (h^{-1})(x)){\text{ for all }}h\in H.}$

Обозначим класс эквивалентности ${\displaystyle (g,x)}$ от ${\displaystyle [g,x]}$. Заметим, что это отношение эквивалентности инвариантно относительно действия г; вследствие этого, г действует на (г × V)/~ . Последний является векторный набор над факторное пространство г/ЧАС с участием ЧАС как структурная группа и V как волокно. Позволять W быть пространством разделов ${\displaystyle \phi :G/H\to (G\times V)/\!\sim }$ этого векторного расслоения. Это векторное пространство, лежащее в основе индуцированного представления Ind^г
_ЧАС π. Группа г действует в разделе ${\displaystyle \phi :G/H\to {\mathcal {L}}_{W}}$ данный ${\displaystyle gH\mapsto [g,\phi _{g}]}$ следующим образом:

${\displaystyle (g\cdot \phi )(g'H)=[g',\phi _{g^{-1}g'}]\ {\text{ for }}g,g'\in G.}$

Системы импримитивности

На случай, если унитарные представления локально компактных групп индуктивная конструкция может быть сформулирована в терминах системы импримитивности.

Теория лжи

В Теория лжи, чрезвычайно важным примером является параболическая индукция: индуцирование представлений о восстановительная группа из представлений своего параболические подгруппы. Это ведет через философия куспид-форм, в Программа Langlands.

Смотрите также

• Ограниченное представительство
• Нелинейная реализация
• Формула характера Фробениуса

Заметки

1. Браун, Когомологии групп, III.5.
2. Серр, Жан-Пьер (1926–1977). Линейные представления конечных групп. Нью-Йорк: Springer-Verlag. ISBN  0387901906. OCLC  2202385.
3. Thm. 2.1 с Миллер, Элисон. "Математика 221: Примечания по алгебре 20 ноября". В архиве из оригинала на 2018-08-01. Получено 2018-08-01.

использованная литература

• Альперин, Дж. Л.; Роуэн Б. Белл (1995). Группы и представления. Springer-Verlag. стр.164 –177. ISBN  0-387-94526-1.
• Фолланд, Г.Б. (1995). Курс абстрактного гармонического анализа. CRC Press. стр.151 –200. ISBN  0-8493-8490-7.
• Kaniuth, E .; Тейлор, К. (2013). Индуцированные представления локально компактных групп. Издательство Кембриджского университета. ISBN  9780521762267.
• Макки, Дж. У. (1951), «Об индуцированных представлениях групп», Американский журнал математики, 73 (3): 576–592, Дои:10.2307/2372309, JSTOR  2372309
• Макки, Г. В. (1952), "Индуцированные представления локально компактных групп I", Анналы математики, 55 (1): 101–139, Дои:10.2307/1969423, JSTOR  1969423
• Макки, Г. В. (1953), "Индуцированные представления локально компактных групп II: теорема взаимности Фробениуса", Анналы математики, 58 (2): 193–220, Дои:10.2307/1969786, JSTOR  1969786