WikiSort.ru - Музыка

Не следует путать с порождающем множеством группы (англ. group generator).

Генератор группы (инфинитезимальный оператор) — понятие, используемое в теории групп Ли. Генераторы группы G — это элементы, образующие базис её алгебры Ли, или, в общем случае, базис алгебры Ли образа группы G.

Это оператор, являющийся производной операторного (или матричного) представления элемента группы по некоторому параметру представления при нулевом значении всех параметров (предполагается, без ограничения общности, что при нулевых значениях параметров оператор, представляющий данный элемент, равен единичному и соответствует единичному элементу группы). Представление произвольного элемента группы, достаточно близкого к единичному элементу, выражается линейным образом через генераторы группы (генераторы — это члены первого порядка в разложении оператора представления в степенной ряд по параметрам). Более того, при определённых слабых предположениях любой элемент группы (его представление) можно выразить через генераторы, поскольку члены второго и более высокого порядка выражаются через генераторы. Для определённого класса связных групп Ли с попарно коммутирующими генераторами $A_{1},A_{2},\dots A_{n}$ элементы группы могут быть представлены с помощью экспоненциального отображения в виде $\exp(A_{1}\alpha _{1}+\cdots +A_{n}\alpha _{n})$ . Свойства группы очевидным образом следуют из тождества $\exp(A+B)=\exp(A)\exp(B)$ для коммутирующих матриц. Если генераторы не коммутируют, то в таком виде могут быть представлены не все элементы группы, даже если группа связна.

Определение понятия

Пусть произвольный элемент группы $G$ имеет $k$ -параметрическое представление (операторная функция $k$ параметров, операторы действуют на некотором векторном пространстве) $g(\alpha _{1},\dots ,\alpha _{k})$ , причём единичному элементу группы соответствует значение операторной функции при нулевых значениях параметров. Тогда генераторами группы являются величины:

A_{k}=\left.{\frac {\partial g(\alpha _{1},\dots ,\alpha _{n})}{\partial \alpha _{k}}}\right\vert _{\alpha =\,0}

Тогда произвольный элемент $g(\alpha _{1},\dots ,\alpha _{n})$ из рассматриваемой окрестности (где параметры $\alpha _{k}$ , естественно, малы) может быть разложен вблизи единичного преобразования с точностью до членов второго порядка малости:

g(\alpha _{1},\dots ,\alpha _{n})=1+\sum _{k=1}^{n}A_{k}\alpha _{k}+O(\sum _{k,\,j=1}^{n}\alpha _{k}\alpha _{j}),

Алгебра Ли. Экспоненциальное отображение

Пусть группа является связной группой Ли — группа преобразований $T(\alpha )$ , зависящих от конечного набора параметров так, что любой элемент группы можно соединить с единичным элементом путём, целиком лежащим внутри данной группы. Обозначим $t_{a}$ — генераторы группы. Тогда можно показать, что они порождают алгебру Ли с коммутационным соотношением

[t_{b},t_{c}]=iC_{bc}^{a}t_{a}

,

где $C_{bc}^{a}$ — т. н. структурные константы^[en] алгебры Ли (также говорят, «структурные константы группы»).

Доказательство

Групповой закон умножения имеет вид

T(\alpha )T(\beta )=T(f(\alpha ,\beta ))

,

где $f$ - некоторая функция. Поскольку нулевой вектор параметров принимается в качестве "координат" единичного элемента, то эта функция должна обладать свойствами $f^{a}(\alpha ,0)=f^{a}(0,\alpha )=\alpha ^{a}$ . Кроме этого эту функцию можно разложить в степенной ряд

f^{a}(\alpha ,\beta )=\alpha ^{a}+\beta ^{a}+f_{bc}^{a}\alpha ^{b}\beta _{c}+...

,

причём, слагаемые пропорциональные квадратам параметров нарушили бы указанное выше свойство этой функции, поэтому они отсутствуют в разложении.

Пусть задано представление группы $U(T(\alpha ))$ . Его можно в некоторой окрестности нуля по параметрам разложить в виде следующего ряда (мнимую единицу добавляем для применяемого в физике подхода).

U(T(\alpha ))=1+i\alpha ^{a}t_{a}+1/2\alpha ^{b}\alpha _{c}t_{bc}+...

,

где $t_{a},t_{bc}$ - операторы, не зависяцие от параметров $\alpha$ .

В случае унитарности представления $U$ операторы $t_{a}$ (генераторы группы) являются эрмитовыми. Предполагается, что представление непроективное, то есть обычное и поэтому можно записать

U(T(\alpha ))U(T(\beta ))=U(T(f(\alpha ,\beta ))

.

Левая часть этого соотношения равна

(1+i\alpha ^{a}t_{a}+1/2\alpha ^{b}\alpha _{c}t_{bc}+...)*(1+i\beta ^{a}t_{a}+1/2\beta ^{b}\beta _{c}t_{bc}+...)=1+i(\alpha ^{a}+\beta ^{a})t_{a}-\alpha ^{b}\beta _{c}t_{b}t_{c}+....

.

Правая же часть может быть представлена следующим образом (используя разложение представления и разложение функции f)

1+i(\alpha ^{a}+\beta ^{a}+f_{bc}^{a}\alpha ^{b}\beta _{c}+...)t_{a}+1/2(\alpha ^{b}+\beta ^{b}+...)(\alpha ^{c}+\beta ^{c}+...)t_{bc}+...=1+i(\alpha ^{a}+\beta ^{a})t_{a}+f_{bc}^{a}\alpha ^{b}\beta _{c}t_{a}+\alpha ^{b}\beta _{c}t_{bc}+...

,

где пропущены несмешанные члены второго порядка в силу очевидного их совпадения с левой частью. Очевидно совпадают и члены первого порядка. Нетривиальным оказываются соотношения для смешанных членов второго порядка. А именно, для равенства левой и правой частей групоового условия для представления U необходимо выполнение соотношения

t_{bc}=-t_{b}t_{c}-if_{bc}^{a}t_{a}

.

Таким образом, оператор второго порядка для разложения представления группы оказался выраженным через операторы первого порядка - через генераторы группы. Однако, для полной согласованности требуется симметричность оператора $t_{bc}$ по индексам. Используя выражение через генераторы требование симметричности означает

0=t_{cb}-t_{bc}=(t_{b}t_{c}-t_{c}t_{b})-i(f_{cb}^{a}-f_{bc}^{a})t_{a}

.

Отсюда получаем выражение для коммутатора генераторов группы

[t_{b},t_{c}]=iC_{bc}^{a}t_{a}

,

где $C_{bc}^{a}=f_{cb}^{a}-f_{bc}^{a}$ - т. н. структурные константы группы.

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

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

В одном частном случае, когда $C_{bc}^{a}=0$ коммутационные соотношения показывают, что генераторы коммутируют попарно $[t_{b},t_{c}]=0$ . Такая группа является абелевой. Для такой группы возможно выражение операторов представления группы через генераторы

U(T(\alpha ))=e^{i\alpha ^{a}t_{a}}

.

Такое отображение алгебры Ли в группу Ли называется экспоненциальным отображением.

Доказательство

В такой группе $f(\alpha ,\beta )=\alpha +\beta$ , следовательно $f(\alpha /n,\alpha /n,...,\alpha /n)=\sum _{n}\alpha /n=\alpha$ . Следовательно можно записать следующее групповое соотношение

U(T(\alpha ))=U(T(\alpha /n))^{n}

при достаточно большом $n$ можно использовать инфинитезимальное представление в силу малости $\alpha /n$ . Получаем

U(T(\alpha ))=(1+i/n\alpha ^{a}t_{a})^{n}

.

Переходя к пределу по $n$ получим искомое выражение представления группы для произвольных параметров через экспоненту

U(T(\alpha ))=e^{i\alpha ^{a}t_{a}}

.

Примеры генераторов

Мнимая единица — генератор группы U(1).
Матрицы Паули — генераторы специальной унитарной группы SU(2).
Матрицы Гелл-Манна — генераторы специальной унитарной группы SU(3).

Ссылки

В. С. Замиралов «Основные понятия теории групп и их представлений и некоторые приложения к физике частиц» на сайте НИИЯФ МГУ.

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .

Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

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

2019-2024
WikiSort.ru - проект по пересортировке и дополнению контента Википедии