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

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис

Проективное представление группы [math]\displaystyle{ G }[/math] на векторном пространстве [math]\displaystyle{ V }[/math] над полем [math]\displaystyle{ F }[/math] — это гомоморфизм [math]\displaystyle{ G }[/math] в проективную группу

[math]\displaystyle{ \mathrm{PGL}(V) = \mathrm{GL}(V) / F^*, }[/math]

где [math]\displaystyle{ \mathrm{GL}(V) }[/math] — полная линейная группа, а [math]\displaystyle{ F^* }[/math] — нормальная подгруппа, состоящая из скалярных множителей тождественного оператора.[1] Иными словами, это набор операторов [math]\displaystyle{ \rho(g)\in\mathrm{GL}(V),\, g\in G }[/math] таких, что

[math]\displaystyle{ \rho(g)\rho(h) = c(g, h)\rho(gh) }[/math]

для некоторой константы [math]\displaystyle{ c(g, h)\in F }[/math].

Некоторые проективные представления можно получить из представлений [math]\displaystyle{ \mathrm{GL}(V) }[/math] с помощью факторотображения [math]\displaystyle{ \mathrm{GL}(V) \to \mathrm{PGL}(V) }[/math]. Особый интерес для алгебры представляет ситуация, когда данное проективное представление может быть «поднятно» до обычного линейного представления [math]\displaystyle{ \mathrm{GL}(V); }[/math] в общем случае препятствия к этому описываются когомологиями групп.

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

Теорема Баргмана утверждает, что если двумерные когомологии [math]\displaystyle{ H^2(\mathfrak g; \mathbb R) }[/math] алгебры Ли [math]\displaystyle{ \mathfrak g }[/math] тривиальны, то всякое проективное унитарное представление [math]\displaystyle{ G }[/math] может быть поднятно до обычного унитарного представления [math]\displaystyle{ G }[/math].[2][3] Условия теоремы выполнены, в частности, для полупростых групп Ли и группы Пуанкаре.

См. также

Примечания

Литература