Неприводимое представление

Неприводимое представление $(\rho ,V)$ алгебраической структуры $A$ — это ненулевое представление, которое не имеет собственного подпредставления $(\rho |_{W},W),W\subset V$, замкнутого по $\{\rho (a):a\in A\}$.

Любое конечномерное унитарное представление на эрмитовом векторном пространстве $V$ является прямой суммой неприводимых представлений. Поскольку неприводимые представления всегда неразложимы (то есть не могут быть разложены далее на прямую сумму представлений), эти термины часто путаются. Однако, в общем случае, существует много приводимых, но неразложимых представлений, таких как двумерное представление вещественных чисел, действующее посредством верхних треугольных унипотентных матриц.

История

Теорию представления групп обобщил Ричард Брауэр в 1940-х годах, дав модульную теорию представления, в которой матричные операции действуют на векторном пространстве над полем $K$ с произвольной характеристикой, а не векторное пространство над полем вещественных чисел или над полем комплексных чисел. Структура, аналогичная неприводимому представлению в получающейся теории, — это простой модуль.

Обзор

См. также: Представление группы

Пусть $\rho$ будет представлением, то есть гомоморфизмом $\rho :G\to GL(V)$ группы $G$, где $V$ является векторным пространством над полем $F$. Если мы выберем базис $B$ для $V$, $\rho$ можно считать функцией (гомоморфизмом) из группы в множество обратимых матриц и в этом контексте представление называется матричным представлением. Однако всё сильно упрощается, если мы рассматриваем пространство $V$ без базиса.

Линейное подпространство $W\subset V$ называется $G$-инвариантом, если $\rho (g)w\in W$ для всех $g\in G$ и всех $w\in W$. сужение $\rho$ на $G$-инвариантное подпространство $W\subset V$ известно как подпредставление. Говорят, что представление $\rho :G\to GL(V)$ неприводимо, если оно имеет лишь тривиальные подпредставления (все представления могут образовать подпредставление с тривиальными $G$-инвариантными подпредставлениями, например, со всем векторным пространством $V$ и {0}). Если существует собственное нетривиальное инвариантное подпространство $\rho$, говорят, что представление приводимо.

Обозначения и терминология представления групп

Элементы группы могут быть представлены матрицами, хотя термин «представлена» имеет специфичное и точное значение в данном контексте. Представление группы — это отображение из элементов группы в полную линейную группу матриц. Пусть a, b, c... означают элементы группы G с групповым произведением, которое не отражается каким-либо символом, то есть ab является групповым произведением a и b, которое также является элементом группы G. Пусть представления обозначаются буквой D. Представление элемента a записывается как

$D(a)={\begin{pmatrix}D(a)_{11}&D(a)_{12}&\cdots &D(a)_{1n}\\D(a)_{21}&D(a)_{22}&\cdots &D(a)_{2n}\\\vdots &\vdots &\ddots &\vdots \\D(a)_{n1}&D(a)_{n2}&\cdots &D(a)_{nn}\\\end{pmatrix}}$

По определению представлений групп представление группового произведения переводится в умножение матриц представлений:

$D(ab)=D(a)D(b)$

Если e является нейтральным элементом группы (так, что $ae=ea=a$), то D(e) является единичной матрицей, поскольку мы должны иметь

$D(ea)=D(ae)=D(a)D(e)=D(e)D(a)=D(a)$

и то же самое для других элементов группы. Последние два утверждения соответствуют требованию, чтобы D было гомоморфизмом групп.

Разложимые и неразложимые представления

Представление разложимо, если подобная матрица P может быть найдена для преобразования подобия:

$D'(a)\equiv P^{-1}D(a)P$,

которая диагонализирует любую матрицу в представлении в диагональные блоки — каждый из блоков является представлением группы независимо друг от друга. Говорят, что представления D(a) и D′(a) эквивалентны. Представление может быть разложено в прямую сумму k матриц:

$D'(a)=P^{-1}D(a)P={\begin{pmatrix}D^{(1)}(a)&0&\cdots &0\\0&D^{(2)}(a)&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &D^{(k)}(a)\\\end{pmatrix}}=D^{(1)}(a)\oplus D^{(2)}(a)\oplus \cdots \oplus D^{(k)}(a)$,

так что D(a) является разложимой и обычно метки у матриц разложения пишутся в скобках, как D⁽ⁿ⁾(a) для n = 1, 2, ..., k, хотя некоторые авторы пишут числовые метки без скобок.

Размерность D(a) равна сумме размерностей блоков:

$\dim[D(a)]=\dim[D^{(1)}(a)]+\dim[D^{(2)}(a)]+\cdots +\dim[D^{(k)}(a)]$

Если это невозможно, то есть $k=1$, то представление неразложимо.

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

Тривиальное представление

Все группы $G$ имеют одномерное неприводимое тривиальное представление. Более обще, любое одномерное представление является неприводимым ввиду отсутствия собственных нетривиальных подпространств.

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

Неприводимые комплексные представления конечной группы G можно описать с помощью результатов из теории характеров. В частности, все такие представления разложимы в прямую сумму неприводимых представлений и число неприводимых представлений группы $G$ равно числу классов сопряжённости $G$.

• Неприводимые комплексные представления $\mathbb {Z} /n\mathbb {Z}$ в точности задаются отображениями $1\mapsto \gamma$, где $\gamma$ является $n$-м корнем из единицы.

• Пусть $V$ будет $n$-мерным комплексным представлением $S_{n}$ с базисом $\{v_{i}\}_{i=1}^{n}$. Тогда $V$ разлагается как прямая сумма неприводимых представлений

$V_{triv}=\mathbb {C} \left(\sum _{i=1}^{n}v_{i}\right)$

и ортогональное подпространство задаётся формулой:

$V_{std}=\left\{\sum _{i=1}^{n}a_{i}v_{i}:a_{i}\in \mathbb {C} ,\sum _{i=1}^{n}a_{i}=0\right\}$

Первое неприводимое представление является одномерным и изоморфен тривиальному представлению $S_{n}$. Второе является $n-1$ мерным и известно как стандартное представление $S_{n}$.

• Пусть $G$ — группа. Регулярное представление группы $G$ является свободным комплексным векторным пространством с базисом $\{e_{g}\}_{g\in G}$ с групповым действием $g\cdot e_{g'}=e_{gg'}$, обозначаемым как $\mathbb {C} G.$ Все неприводимые представления $G$ появляются в разложении $\mathbb {C} G$ как прямая сумма неприводимых представлений.

Приложения в теоретической физике и химии

См. также: Симметрия в квантовой механике и Эффект Яна — Теллера

В квантовой механике и квантовой химии каждое множество вырожденных собственных состояний гамильтонова оператора составляет векторное пространство V для представления группы симметрии гамильтониана, «мультиплет», который лучше всего изучается через сведение к неприводимым частям. Обозначения неприводимых представлений поэтому позволяет назначить метки состояниям и предсказать, как они расщепятся при возмущении или перейдут в другое состояние в V. Таким образом, в квантовой механике, неприводимые представления группы симметрии системы частично или полностью определяют метки уровням энергии системы, что позволяет определить правила отбора.

Группы Ли

Основная статья: Теория представления групп Ли

Группа Лоренца

Основная статья: Теория представлений группы Лоренца

Неприводимые представления D(K) и D(J), где J является генератором вращений, а K является генератором бустов, могут быть использованы для построения спинорного представления группы Лоренца, поскольку они связаны со спиновыми матрицами квантовой механики. Это позволяет использовать их для вывода релятивистских волновых уравнений.

См. также

Ассоциативная алгебра

• Простой модуль
• Неразложимый модуль
• Представление ассоциативной алгебры

Группы Ли

• Представление алгебры Ли
• Теория представления группы SU(2)
• Теория представления группы SL2(R)
• Теория представления группы Галилея
• Теория представления диффеоморфизмов групп
• Теория представления группы Пуанкаре
• Теорема о старшем весе

Литература для дальнейшего чтения

• Artin, Michael Noncommutative Rings  (неопр.) (1999). Дата обращения: 20 марта 2019. Архивировано 24 февраля 2021 года.

Ссылки

• Commission on Mathematical and Theoretical Crystallography, Summer Schools on Mathematical Crystallography  (неопр.). Дата обращения: 20 марта 2019. Архивировано 4 августа 2016 года.
• van Beveren, Eef Some notes on group theory  (неопр.) (2012). Дата обращения: 20 марта 2019. Архивировано из оригинала 20 мая 2011 года.
• Teleman, Constantin Representation Theory  (неопр.) (2005). Дата обращения: 20 марта 2019. Архивировано 21 сентября 2019 года.
• Finley Some Notes on Young Tableaux as useful for irreps of su(n)  (неопр.). (недоступная ссылка)
• Hunt Irreducible Representation (IR) Symmetry Labels  (неопр.) (2008). Дата обращения: 20 марта 2019. Архивировано 15 февраля 2020 года.
• Dermisek, Radovan Representations of Lorentz Group  (неопр.) (2008). Дата обращения: 20 марта 2019. Архивировано из оригинала 23 ноября 2018 года.
• Maciejko, Joseph Representations of Lorentz and Poincaré groups  (неопр.) (2007). Дата обращения: 20 марта 2019. Архивировано 25 октября 2017 года.
• Woit, Peter Quantum Mechanics for Mathematicians: Representations of the Lorentz Group  (неопр.) (2015). Дата обращения: 20 марта 2019. Архивировано 30 марта 2019 года., см. главу 40
• Drake, Kyle; Feinberg, Michael; Guild, David; Turetsky, Emma Representations of the Symmetry Group of Spacetime  (неопр.) (2009). Дата обращения: 20 марта 2019. Архивировано 29 августа 2017 года.
• Finley Lie Algebra for the Poincaré, and Lorentz, Groups  (неопр.). Архивировано из оригинала 17 июня 2012 года.
• Bekaert, Xavier; Boulanger, Niclas (2006). "The unitary representations of the Poincaré group in any spacetime dimension". arXiv:hep-th/0611263.
• McGraw-Hill dictionary of scientific and technical terms  (неопр.). Дата обращения: 20 марта 2019. Архивировано 3 марта 2016 года.