Проективное представление - Projective representation

В области теория представлений в математика, а проективное представление из группа грамм на векторное пространство V через поле F это групповой гомоморфизм из грамм к проективная линейная группа

PGL (V ) = GL (V ) / F ^∗,

где GL (V ) это общая линейная группа обратимых линейных преобразований V над F, и F^∗ это нормальная подгруппа состоящий из ненулевых скалярных кратных единицы; скалярные преобразования ).^[1]

Говоря более конкретно, проективное представление - это набор операторов ${\displaystyle \rho (g),\,g\in G}$, где подразумевается, что каждый ${\displaystyle \rho (g)}$ определяется только с точностью до умножения на константу. Они должны удовлетворять свойству гомоморфизма с точностью до константы:

${\displaystyle \rho (g)\rho (h)=c(g,h)\rho (gh)}$

для некоторых констант ${\displaystyle c(g,h)}$.

Поскольку каждый ${\displaystyle \rho (g)}$ в любом случае определяется только с точностью до константы, строго говоря, не имеет смысла спрашивать, являются ли константы ${\displaystyle c(g,h)}$ равны 1. Тем не менее, возникает вопрос: можно выбрать конкретный представитель каждой семьи ${\displaystyle \rho (g)}$ операторов таким образом, чтобы ${\displaystyle \rho (g)}$удовлетворяют свойству гомоморфизма на носу, а не только с точностью до константы. Если такой выбор возможен, мы говорим, что ${\displaystyle \rho }$ может быть "лишен проекции" или что ${\displaystyle \rho }$ может быть «возведен к обычному представлению». Эта возможность обсуждается ниже.

Линейные представления и проективные представления

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

${\displaystyle \operatorname {GL} (V,F)\rightarrow \operatorname {PGL} (V,F)}$

что является фактором по подгруппе F^∗ из скалярные преобразования (диагональные матрицы с одинаковыми диагональными элементами). Интерес к алгебре находится в другом направлении: при наличии проективное представление, попробуйте "поднять" его до обычного линейное представление. Общее проективное представление ρ: грамм → PGL (V) нельзя поднять до линейного представления грамм → GL (V), а препятствие к этому поднятию можно понять через гомологию групп, как описано ниже.

Однако один может поднять проективное представление ${\displaystyle \rho }$ из грамм к линейному представлению другой группы ЧАС, который будет центральное расширение из грамм. Группа ${\displaystyle H}$ является подгруппой ${\displaystyle G\times \mathrm {GL} (V)}$ определяется следующим образом:

${\displaystyle H=\{(g,A)\in G\times \mathrm {GL} (V)\mid \pi (A)=\rho (g)\}}$,

куда ${\displaystyle \pi }$ это фактор-карта ${\displaystyle \mathrm {GL} (V)}$ на ${\displaystyle \mathrm {PGL} (V)}$. С ${\displaystyle \rho }$ является гомоморфизмом, легко проверить, что ${\displaystyle H}$ действительно является подгруппой ${\displaystyle G\times \mathrm {GL} (V)}$. Если исходное проективное представление ${\displaystyle \rho }$ верен, тогда ${\displaystyle H}$ изоморфен прообразу в ${\displaystyle \mathrm {GL} (V)}$ из ${\displaystyle \rho (G)\subset \mathrm {PGL} (V)}$.

Мы можем определить гомоморфизм ${\displaystyle \phi :H\rightarrow G}$ установив ${\displaystyle \phi ((g,A))=g}$. Ядро ${\displaystyle \phi }$ является:

${\displaystyle \mathrm {ker} (\phi )=\{(e,cI)\mid c\in F^{*}\}}$,

который содержится в центре ${\displaystyle H}$. Ясно также, что ${\displaystyle \phi }$ сюръективно, так что ${\displaystyle H}$ является центральным продолжением ${\displaystyle G}$. Мы также можем определить обычное представление ${\displaystyle \sigma }$ из ${\displaystyle H}$ установив ${\displaystyle \sigma ((g,A))=A}$. В обычный представление ${\displaystyle \sigma }$ из ${\displaystyle H}$ это лифт проективный представление ${\displaystyle \rho }$ из ${\displaystyle G}$ в том смысле, что:

${\displaystyle \pi (\sigma ((g,A)))=\rho (g)=\rho (\phi ((g,A)))}$.

Если грамм это идеальная группа есть сингл универсальное идеальное центральное расширение из грамм что можно использовать.

Групповые когомологии

Анализ подъемного вопроса предполагает: групповые когомологии. Действительно, если исправить для каждого грамм в грамм поднятый элемент L(грамм) в подъеме с PGL (V) вернуться к GL (V), тогда лифты удовлетворяют

${\displaystyle L(gh)=c(g,h)L(g)L(h)}$

для некоторого скаляра c(грамм,час) в F^∗. Отсюда следует, что 2-коцикл или Множитель Шура c удовлетворяет уравнению коцикла

${\displaystyle c(h,k)c(g,hk)=c(g,h)c(gh,k)}$

для всех грамм, час, k в грамм. Этот c зависит от выбора подъемника L; другой выбор лифта L ′(грамм) = ж(грамм) L(грамм) приведет к другому коциклу

${\displaystyle c^{\prime }(g,h)=f(gh)f(g)^{-1}f(h)^{-1}c(g,h)}$

когомологичен c. Таким образом L определяет уникальный класс в ЧАС²(грамм, F^∗). Этот класс может быть нетривиальным. Например, в случае симметричная группа и переменная группа, Шур установил, что существует ровно один нетривиальный класс множителей Шура, и полностью определил все соответствующие неприводимые представления.^[2]

В общем случае нетривиальный класс приводит к проблема с расширением за грамм. Если грамм правильно расширен, мы получаем линейное представление расширенной группы, которое индуцирует исходное проективное представление, когда оно возвращается к грамм. Решение всегда центральное расширение. Из Лемма Шура, следует, что неприводимые представления центральных расширений грамм, и неприводимые проективные представления грамм, по сути, являются одними и теми же объектами.

Первый пример: дискретное преобразование Фурье

Смотрите также: Представление осциллятора и Тета-представление

Рассмотрим поле ${\displaystyle \mathbb {Z} /p}$ целых чисел ${\displaystyle p}$, куда ${\displaystyle p}$ простое, и пусть ${\displaystyle V}$ быть ${\displaystyle p}$-мерное пространство функций на ${\displaystyle \mathbb {Z} /p}$ со значениями в ${\displaystyle \mathbb {C} }$. Для каждого ${\displaystyle a}$ в ${\displaystyle \mathbb {Z} /p}$, определим два оператора, ${\displaystyle T_{a}}$ и ${\displaystyle S_{a}}$ на ${\displaystyle V}$ следующее:

${\displaystyle {\begin{aligned}(T_{a}f)(b)&=f(b-a)\\(S_{a}f)(b)&=e^{2\pi iab/p}f(b).\end{aligned}}}$

Запишем формулу для ${\displaystyle S_{a}}$ будто ${\displaystyle a}$ и ${\displaystyle b}$ были целыми числами, но легко видеть, что результат зависит только от значения ${\displaystyle a}$ и ${\displaystyle b}$ мод ${\displaystyle p}$. Оператор ${\displaystyle T_{a}}$ это перевод, а ${\displaystyle S_{a}}$ представляет собой сдвиг в частотном пространстве (то есть имеет эффект перевода дискретное преобразование Фурье из ${\displaystyle f}$).

Легко проверить, что для любого ${\displaystyle a}$ и ${\displaystyle b}$ в ${\displaystyle \mathbb {Z} /p}$, операторы ${\displaystyle T_{a}}$ и ${\displaystyle S_{b}}$ коммутируют с точностью до умножения на константу:

${\displaystyle T_{a}S_{b}=e^{-2\pi iab/p}S_{b}T_{a}}$.

Поэтому мы можем определить проективное представление ${\displaystyle \rho }$ из ${\displaystyle \mathbb {Z} /p\times \mathbb {Z} /p}$ следующее:

${\displaystyle \rho (a,b)=[T_{a}S_{b}]}$,

куда ${\displaystyle [A]}$ обозначает образ оператора ${\displaystyle A\in \mathrm {GL} (V)}$ в фактор-группе ${\displaystyle \mathrm {PGL} (V)}$. С ${\displaystyle T_{a}}$ и ${\displaystyle S_{b}}$ ездить до постоянной, ${\displaystyle \rho }$ легко видеть, что это проективное представление. С другой стороны, поскольку ${\displaystyle T_{a}}$ и ${\displaystyle S_{b}}$ фактически не ездят - и никакие ненулевые кратные им не будут ездить -${\displaystyle \rho }$ нельзя поднять до обычного (линейного) представления ${\displaystyle \mathbb {Z} /p\times \mathbb {Z} /p}$.

Поскольку проективное представление ${\displaystyle \rho }$ верен, центральное расширение ${\displaystyle H}$ из ${\displaystyle \mathbb {Z} /p\times \mathbb {Z} /p}$ полученный конструкцией в предыдущем разделе, является лишь прообразом в ${\displaystyle \mathrm {GL} (V)}$ изображения ${\displaystyle \rho }$. В явном виде это означает, что ${\displaystyle H}$ группа всех операторов вида

${\displaystyle e^{2\pi ic/p}T_{a}S_{b}}$

за ${\displaystyle a,b,c\in \mathbb {Z} /p}$. Эта группа представляет собой дискретную версию Группа Гейзенберга и изоморфна группе матриц вида

${\displaystyle {\begin{pmatrix}1&a&c\\0&1&b\\0&0&1\\\end{pmatrix}}}$

с ${\displaystyle a,b,c\in \mathbb {Z} /p}$.

Проективные представления групп Ли

Смотрите также: Спинор и Отжим-½

Изучение проективных представлений Группы Ли приводит к рассмотрению истинных представлений их центральных расширений (см. Расширение группы § Группы Ли ). Во многих интересных случаях достаточно рассмотреть представления группы покрытия. В частности, предположим ${\displaystyle {\hat {G}}}$ является связным покрытием связной группы Ли ${\displaystyle G}$, так что ${\displaystyle G\cong {\hat {G}}/N}$ для дискретной центральной подгруппы ${\displaystyle N}$ из ${\displaystyle {\hat {G}}}$. (Обратите внимание, что ${\displaystyle {\hat {G}}}$ является особым видом центрального расширения ${\displaystyle G}$.) Предположим также, что ${\displaystyle \Pi }$ является неприводимым унитарным представлением ${\displaystyle {\hat {G}}}$ (возможно бесконечное измерение). Затем по Лемма Шура, центральная подгруппа ${\displaystyle N}$ будет действовать скалярными кратными идентичности. Таким образом, на проективном уровне ${\displaystyle \Pi }$ спустится к ${\displaystyle G}$. То есть для каждого ${\displaystyle g\in G}$, мы можем выбрать прообраз ${\displaystyle {\hat {g}}}$ из ${\displaystyle g}$ в ${\displaystyle {\hat {G}}}$, и определим проективное представление ${\displaystyle \rho }$ из ${\displaystyle G}$ установив

${\displaystyle \rho (g)=\left[\Pi \left({\hat {g}}\right)\right]}$,

куда ${\displaystyle [A]}$ обозначает изображение в ${\displaystyle \mathrm {PGL} (V)}$ оператора ${\displaystyle A\in \mathrm {GL} (V)}$. С ${\displaystyle N}$ содержится в центре ${\displaystyle {\hat {G}}}$ и центр ${\displaystyle {\hat {G}}}$ действует как скаляры, значение ${\displaystyle \left[\Pi \left({\hat {g}}\right)\right]}$ не зависит от выбора ${\displaystyle {\hat {g}}}$.

Предыдущая конструкция - важный источник примеров проективных представлений. Теорема Баргмана (обсуждается ниже) дает критерий, при котором каждый неприводимое проективное унитарное представление ${\displaystyle G}$ возникает таким образом.

Проективные представления SO (3)

Физически важный пример вышеупомянутой конструкции взят из случая группа вращения SO (3), чей универсальный чехол СУ (2). Согласно теория представлений SU (2), существует ровно одно неприводимое представление SU (2) в каждой размерности. Когда размерность нечетная (случай «целочисленного вращения»), представление опускается до обычного представления SO (3).^[3] Когда размерность четная (случай «дробного спина»), представление не опускается до обычного представления SO (3), но (согласно результату, обсужденному выше) спускается к проективному представлению SO (3). Такие проективные представления SO (3) (те, которые не происходят из обычных представлений) называются «спинорными представлениями».

Согласно рассуждению, обсуждаемому ниже, всякая конечномерная неприводимая проективный представление SO (3) происходит из конечномерного неприводимого обычный представление SU (2).

Примеры покрытий, приводящих к проективным представлениям

Известные случаи покрывающих групп, дающих интересные проективные представления:

• В специальная ортогональная группа ТАК(п, F) дважды покрывается Спиновая группа Вращение(п, F).
• В частности, группа SO (3) (группа вращения в 3-х измерениях) дважды покрывается SU (2). Это имеет важные приложения в квантовой механике, поскольку изучение представлений SU (2) приводит к нерелятивистской (низкоскоростной) теории вращение.
• Группа ТАК⁺(3;1), изоморфный Группа Мебиуса, также дважды покрывается SL₂ (C). Обе являются супергруппами вышеупомянутых SO (3) и SU (2) соответственно и образуют релятивистский теория спина.
• Универсальный чехол Группа Пуанкаре - двойное покрытие (полупрямое произведение SL₂(C) с р⁴). Неприводимые унитарные представления этого покрытия порождают проективные представления группы Пуанкаре, как в Классификация Вигнера. Переход к обложке необходим, чтобы включить случай дробного вращения.
• В ортогональная группа O (п) дважды покрывается Группа контактов Штырь_±(п).
• В симплектическая группа Sp (2п) = Sp (2п, р) (не путать с компактной вещественной формой симплектической группы, иногда также обозначаемой Sp (м)) дважды покрывается метаплектическая группа Мп (2п). Важное проективное представление Sp (2п) происходит из метаплектическое представление Мп (2п).

Конечномерные проективные унитарные представления

В квантовой физике симметрия физической системы обычно реализуется посредством проективного унитарного представления ${\displaystyle \rho }$ группы Ли ${\displaystyle G}$ на квантовом гильбертовом пространстве, т. е. непрерывный гомоморфизм

${\displaystyle \rho :G\rightarrow \mathrm {PU} ({\mathcal {H}})}$,

куда ${\displaystyle \mathrm {PU} ({\mathcal {H}})}$ является фактором унитарной группы ${\displaystyle \mathrm {U} ({\mathcal {H}})}$ операторами вида ${\displaystyle cI,\,|c|=1}$. Причина использования частного заключается в том, что физически два вектора в гильбертовом пространстве, которые пропорциональны, представляют одно и то же физическое состояние. [То есть пространство (чистых) состояний - это набор классов эквивалентности единичных векторов, где два единичных вектора считаются эквивалентными, если они пропорциональны.] Таким образом, унитарный оператор, кратный тождеству, фактически действует как тождество на уровне физических состояний.

Конечномерное проективное представление ${\displaystyle G}$ тогда порождает проективное унитарное представление ${\displaystyle \rho _{*}}$ алгебры Ли ${\displaystyle {\mathfrak {g}}}$ из ${\displaystyle G}$. В конечномерном случае всегда можно "депроективизировать" представление алгебры Ли ${\displaystyle \rho _{*}}$ просто выбрав представителя для каждого ${\displaystyle \rho _{*}(X)}$ с нулевым следом.^[4] В свете теорема о гомоморфизмах, тогда можно де-проективизировать ${\displaystyle \rho }$ сам, но за счет перехода на универсальный чехол ${\displaystyle {\tilde {G}}}$ из ${\displaystyle G}$.^[5] Иными словами, любое конечномерное проективное унитарное представление ${\displaystyle G}$ возникает из обычного унитарного представления ${\displaystyle {\tilde {G}}}$ в соответствии с процедурой, указанной в начале этого раздела.

В частности, поскольку представление алгебры Ли было депроективизировано путем выбора представителя с нулевым следом, каждое конечномерное проективное унитарное представление ${\displaystyle G}$ возникает из детерминант-один обычное унитарное представление ${\displaystyle {\tilde {G}}}$ (т.е. такой, в котором каждый элемент ${\displaystyle {\tilde {G}}}$ действует как оператор с определителем). Если ${\displaystyle {\mathfrak {g}}}$ полупрост, то каждый элемент ${\displaystyle {\mathfrak {g}}}$ является линейной комбинацией коммутаторов, и в этом случае каждый представление ${\displaystyle {\mathfrak {g}}}$ операторами с нулевым следом. Тогда в полупростом случае соответствующее линейное представление ${\displaystyle {\tilde {G}}}$ уникален.

Наоборот, если ${\displaystyle \rho }$ является несводимый унитарное представление универсального покрытия ${\displaystyle {\tilde {G}}}$ из ${\displaystyle G}$, затем по Лемма Шура, центр ${\displaystyle {\tilde {G}}}$ действует как скалярное кратное идентичности. Таким образом, на проективном уровне ${\displaystyle \rho }$ спускается к проективному представлению исходной группы ${\displaystyle G}$. Таким образом, существует естественное взаимно однозначное соответствие между неприводимыми проективными представлениями ${\displaystyle G}$ и неприводимые, детерминантные обычные представления ${\displaystyle {\tilde {G}}}$. (В полупростом случае квалификатор "определитель-один" может быть опущен, потому что в этом случае каждое представление ${\displaystyle {\tilde {G}}}$ автоматически является определяющим.)

Важный пример - случай ТАК (3), универсальное покрытие которого SU (2). Теперь алгебра Ли ${\displaystyle \mathrm {su} (2)}$ полупростой. Кроме того, поскольку SU (2) является компактная группа, каждое его конечномерное представление допускает скалярный продукт, относительно которого представление унитарно.^[6] Таким образом, неприводимая проективный представления SO (3) находятся во взаимно однозначном соответствии с неприводимым обычный представления SU (2).

Бесконечномерные проективные унитарные представления: случай Гейзенберга

Результаты предыдущего пункта не верны в бесконечномерном случае просто потому, что след ${\displaystyle \rho _{*}(X)}$ обычно не очень хорошо определяется. В самом деле, результат неверен: рассмотрим, например, трансляции в позиционном пространстве и в импульсном пространстве для квантовой частицы, движущейся в ${\displaystyle \mathbb {R} ^{n}}$, действующий в гильбертовом пространстве ${\displaystyle L^{2}(\mathbb {R} ^{n})}$.^[7] Эти операторы определены следующим образом:

${\displaystyle {\begin{aligned}(T_{a}f)(x)&=f(x-a)\\(S_{a}f)(x)&=e^{iax}f(x),\end{aligned}}}$

для всех ${\displaystyle a\in \mathbb {R} ^{n}}$. Эти операторы представляют собой просто непрерывные версии операторов ${\displaystyle T_{a}}$ и ${\displaystyle S_{a}}$ описано в разделе «Первый пример» выше. Как и в этом разделе, мы можем затем определить проективный унитарное представительство ${\displaystyle \rho }$ из ${\displaystyle \mathbb {R} ^{2n}}$:

${\displaystyle \rho (a,b)=[T_{a}S_{b}]}$,

потому что операторы коммутируют до фазового фактора. Но никакой выбор фазовых множителей не приведет к обычному унитарному представлению, поскольку сдвиги по положению не коммутируют со сдвигами по импульсу (и умножение на ненулевую константу этого не изменит). Однако эти операторы происходят из обычного унитарного представления Группа Гейзенберга, которое является одномерным центральным расширением ${\displaystyle \mathbb {R} ^{2n}}$.^[8] (См. Также Теорема Стоуна – фон Неймана.)

Бесконечномерные проективные унитарные представления: теорема Баргмана

С другой стороны, Баргманна Теорема утверждает, что если двумерный Когомологии алгебры Ли ${\displaystyle H^{2}({\mathfrak {g}};\mathbb {R} )}$ из ${\displaystyle {\mathfrak {g}}}$ тривиально, то всякое проективное унитарное представление ${\displaystyle G}$ можно де-проективизировать после перехода на универсальную обложку.^[9][10] Точнее, предположим, что мы начинаем с проективного унитарного представления ${\displaystyle \rho }$ группы Ли ${\displaystyle G}$. Тогда теорема утверждает, что ${\displaystyle \rho }$ можно поднять до обычного унитарного представления ${\displaystyle {\hat {\rho }}}$ универсального покрытия ${\displaystyle {\hat {G}}}$ из ${\displaystyle G}$. Это означает, что ${\displaystyle {\hat {\rho }}}$ отображает каждый элемент ядра карты покрытия в скалярное кратное тождества, так что на проективном уровне ${\displaystyle {\hat {\rho }}}$ спускается к ${\displaystyle G}$- и что ассоциированное проективное представление ${\displaystyle G}$ равно ${\displaystyle \rho }$.

Теорема не распространяется на группу ${\displaystyle \mathbb {R} ^{2n}}$- как показывает предыдущий пример - потому что двумерные когомологии ассоциированной коммутативной алгебры Ли нетривиальны. Примеры, в которых результат действительно применим, включают полупростые группы (например, SL (2, R) ) и Группа Пуанкаре. Последний результат важен для Классификация Вигнера проективных унитарных представлений группы Пуанкаре.

Доказательство теоремы Баргмана проводится путем рассмотрения центральное расширение ${\displaystyle H}$ из ${\displaystyle G}$, построенный аналогично предыдущему разделу о линейных представлениях и проективных представлениях, как подгруппа группы прямых произведений ${\displaystyle G\times U({\mathcal {H}})}$, куда ${\displaystyle {\mathcal {H}}}$ гильбертово пространство, на котором ${\displaystyle \rho }$ действует и ${\displaystyle U({\mathcal {H}})}$ группа унитарных операторов на ${\displaystyle {\mathcal {H}}}$. Группа ${\displaystyle H}$ определяется как

${\displaystyle H=\{(g,U)\mid \pi (U)=\rho (g)\}}$.

Как и в предыдущем разделе, карта ${\displaystyle \phi :H\rightarrow G}$ данный ${\displaystyle \phi (g,U)=g}$ сюръективный гомоморфизм, ядро ​​которого ${\displaystyle \{(e,cI)\mid |c|=1\},}$ так что ${\displaystyle H}$ является центральным продолжением ${\displaystyle G}$. Снова, как и в предыдущем разделе, мы можем затем определить линейное представление ${\displaystyle \sigma }$ из ${\displaystyle H}$ установив ${\displaystyle \sigma (g,U)=U}$. потом ${\displaystyle \sigma }$ это лифт ${\displaystyle \rho }$ в том смысле, что ${\displaystyle \rho \circ \phi =\pi \circ \sigma }$, куда ${\displaystyle \pi }$ это фактор-карта из ${\displaystyle U({\mathcal {H}})}$ к ${\displaystyle PU({\mathcal {H}})}$.

Ключевой технический момент - показать, что ${\displaystyle H}$ это Ложь группа. (Это утверждение не так очевидно, потому что если ${\displaystyle {\mathcal {H}}}$ бесконечномерна, группа ${\displaystyle G\times U({\mathcal {H}})}$ является бесконечномерной топологической группой.) Как только этот результат установлен, мы видим, что ${\displaystyle H}$ является одномерным центральным расширением группы Ли ${\displaystyle G}$, так что алгебра Ли ${\displaystyle {\mathfrak {h}}}$ из ${\displaystyle H}$ также является одномерным центральным расширением ${\displaystyle {\mathfrak {g}}}$ (обратите внимание, что прилагательное «одномерный» не относится к ${\displaystyle H}$ и ${\displaystyle {\mathfrak {h}}}$, а скорее к ядру карты проекции от этих объектов на ${\displaystyle G}$ и ${\displaystyle {\mathfrak {g}}}$ соответственно). Но группа когомологий ${\displaystyle H^{2}({\mathfrak {g}};\mathbb {R} )}$ может быть идентифицирован с пространством одномерных (опять же в указанном выше смысле) центральных расширений ${\displaystyle {\mathfrak {g}}}$; если ${\displaystyle H^{2}({\mathfrak {g}};\mathbb {R} )}$ тривиально, то всякое одномерное центральное расширение ${\displaystyle {\mathfrak {g}}}$ тривиально. В таком случае, ${\displaystyle {\mathfrak {h}}}$ это просто прямая сумма ${\displaystyle {\mathfrak {g}}}$ с копией реальной линии. Отсюда следует, что универсальная крышка ${\displaystyle {\tilde {H}}}$ из ${\displaystyle H}$ должен быть прямым продуктом универсального покрытия ${\displaystyle G}$ с копией реальной линии. Затем мы можем поднять ${\displaystyle \sigma }$ из ${\displaystyle H}$ к ${\displaystyle {\tilde {H}}}$ (составив карту покрытия) и, наконец, ограничим этот подъем универсальным покрытием ${\displaystyle {\tilde {G}}}$ из ${\displaystyle G}$.

Примечания

1. Гэннон 2006 С. 176–179.
2. Щур 1911
3. Зал 2015 Раздел 4.7
4. Зал 2013 Предложение 16.46
5. Зал 2013 Теорема 16.47.
6. Зал 2015 доказательство теоремы 4.28
7. Зал 2013 Пример 16.56
8. Зал 2013 Упражнение 6 в главе 14
9. Баргманн 1954 г.
10. Симмс 1971

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

• Баргманн, Валентин (1954), "Об унитарных лучевых представлениях непрерывных групп", Анналы математики, 59: 1–46, Дои:10.2307/1969831
• Гэннон, Терри (2006), Moonshine Beyond the Monster: мост, соединяющий алгебру, модульные формы и физику, Издательство Кембриджского университета, ISBN  978-0-521-83531-2
• Холл, Брайан К. (2013), Квантовая теория для математиков, Тексты для выпускников по математике, 267, Спрингер, ISBN  978-1461471158
• Холл, Брайан К. (2015), Группы Ли, алгебры Ли и представления: элементарное введение, Тексты для выпускников по математике, 222 (2-е изд.), Springer, ISBN  978-3319134666
• Шур, И. (1911), "Über die Darstellung der simrischen und der alternierenden Gruppe durch gebrochene lineare Substitutionen", Журнал Крелля, 139: 155–250
• Симмс, Д. Дж. (1971), "Краткое доказательство критерия Баргмана подъема проективных представлений групп Ли", Доклады по математической физике, 2: 283–287, Дои:10.1016/0034-4877(71)90011-5

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

• Аффинное представление
• Групповое действие
• Центральное расширение
• Физика элементарных частиц и теория представлений
• Отжим-½
• Спинор
• Симметрия в квантовой механике
• Группа Гейзенберга