Генератор группы

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

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

Генератор является производной операторного (или матричного) представления элемента группы по некоторому параметру представления при нулевом значении всех параметров (предполагается без ограничения общности, что при нулевых значениях параметров оператор, представляющий данный элемент, равен единичному и соответствует единичному элементу группы). Представление произвольного элемента группы, достаточно близкого к единичному элементу, выражается линейным образом через генераторы группы (генераторы — это члены первого порядка в разложении оператора представления в степенной ряд по параметрам). Более того, при определённых слабых предположениях любой элемент группы (его представление) можно выразить через генераторы, поскольку члены второго и более высоких порядков опять-таки выражаются через генераторы. Для определённого класса связных групп Ли любой элемент группы может быть представлен с помощью экспоненциального отображения в виде $\exp <!--\; \; -->(A_1{\mathrm{\alpha <!--\; \alpha \; -->}}_1+\cdots <!--\; \cdots \; -->+A_n{\mathrm{\alpha <!--\; \alpha \; -->}}_n)$$\exp(A_{1}\alpha _{1}+\cdots +A_{n}\alpha _{n})$. В частности, такое представление справедливо для односвязных коммутативных групп: свойства группы в этом случае очевидным образом следуют из тождества $\exp <!--\; \; -->(A+B)=\exp <!--\; \; -->(A)\exp <!--\; \; -->(B)$$\exp(A+B)=\exp(A)\exp(B)$ для коммутирующих операторов $A$$A$ и $B$$B$. Если генераторы не коммутируют, то экспоненциальное представление для элементов группы, вообще говоря, справедливо только локально в достаточно малой окрестности единицы группы, даже если группа связна.

Определение понятияПравить

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

$A_k={\frac{\mathrm{\partial <!--\; \partial \; -->}g({\mathrm{\alpha <!--\; \alpha \; -->}}_1,\dots <!--\; \dots \; -->,{\mathrm{\alpha <!--\; \alpha \; -->}}_s)}{\mathrm{\partial <!--\; \partial \; -->}{\mathrm{\alpha <!--\; \alpha \; -->}}_k}|}_{\mathrm{\alpha <!--\; \alpha \; -->}=0}$$A_{k}=\left.{\frac {\partial g(\alpha _{1},\dots ,\alpha _{s})}{\partial \alpha _{k}}}\right\vert _{\alpha =\,0}$ 

Тогда произвольный элемент $g({\mathrm{\alpha <!--\; \alpha \; -->}}_1,\dots <!--\; \dots \; -->,{\mathrm{\alpha <!--\; \alpha \; -->}}_s)$$g(\alpha _{1},\dots ,\alpha _{s})$  из рассматриваемой окрестности (где параметры ${\mathrm{\alpha <!--\; \alpha \; -->}}_k$$\alpha _{k}$ , естественно, малы) может быть разложен вблизи единичного преобразования с точностью до членов второго порядка малости:

$g({\mathrm{\alpha <!--\; \alpha \; -->}}_1,\dots <!--\; \dots \; -->,{\mathrm{\alpha <!--\; \alpha \; -->}}_s)=1+\underset{k=1}{\overset{s}{\sum <!--\; \sum \; -->}}{A}_k{\mathrm{\alpha <!--\; \alpha \; -->}}_k+O(\underset{k,j=1}{\overset{s}{\sum <!--\; \sum \; -->}}{\mathrm{\alpha <!--\; \alpha \; -->}}_k{\mathrm{\alpha <!--\; \alpha \; -->}}_j),$$g(\alpha _{1},\dots ,\alpha _{s})=1+\sum _{k=1}^{s}A_{k}\alpha _{k}+O(\sum _{k,\,j=1}^{s}\alpha _{k}\alpha _{j}),$ 

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

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

$[t_b,t_c]=i{C}_{bc}^a{t}_a$$[t_{b},t_{c}]=iC_{{bc}}^{a}t_{a}$ ,

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

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

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

$T(\mathrm{\alpha <!--\; \alpha \; -->})T(\mathrm{\beta <!--\; \beta \; -->})=T(f(\mathrm{\alpha <!--\; \alpha \; -->},\mathrm{\beta <!--\; \beta \; -->}))$$T(\alpha )T(\beta )=T(f(\alpha ,\beta ))$ ,

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

$f^a(\mathrm{\alpha <!--\; \alpha \; -->},\mathrm{\beta <!--\; \beta \; -->})={\mathrm{\alpha <!--\; \alpha \; -->}}^a+{\mathrm{\beta <!--\; \beta \; -->}}^a+f_{bc}^a{\mathrm{\alpha <!--\; \alpha \; -->}}^b{\mathrm{\beta <!--\; \beta \; -->}}^c+\dots <!--\; \dots \; -->$$f^{a}(\alpha ,\beta )=\alpha ^{a}+\beta ^{a}+f_{bc}^{a}\alpha ^{b}\beta ^{c}+\dots$ ,

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

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

$U(T(\mathrm{\alpha <!--\; \alpha \; -->}))=1+i{\mathrm{\alpha <!--\; \alpha \; -->}}^a{t}_a+1/2{\mathrm{\alpha <!--\; \alpha \; -->}}^b{\mathrm{\alpha <!--\; \alpha \; -->}}_c{t}_{bc}+\dots <!--\; \dots \; -->$$U(T(\alpha ))=1+i\alpha ^{a}t_{a}+1/2\alpha ^{b}\alpha _{c}t_{bc}+\dots$ ,

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

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

$U(T(\mathrm{\alpha <!--\; \alpha \; -->}))U(T(\mathrm{\beta <!--\; \beta \; -->}))=U(T(f(\mathrm{\alpha <!--\; \alpha \; -->},\mathrm{\beta <!--\; \beta \; -->}))$$U(T(\alpha ))U(T(\beta ))=U(T(f(\alpha ,\beta ))$ .

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

$(1+i{\mathrm{\alpha <!--\; \alpha \; -->}}^a{t}_a+1/2{\mathrm{\alpha <!--\; \alpha \; -->}}^b{\mathrm{\alpha <!--\; \alpha \; -->}}_c{t}_{bc}+\dots <!--\; \dots \; -->)\ast <!--\; \ast \; -->(1+i{\mathrm{\beta <!--\; \beta \; -->}}^a{t}_a+1/2{\mathrm{\beta <!--\; \beta \; -->}}^b{\mathrm{\beta <!--\; \beta \; -->}}_c{t}_{bc}+\dots <!--\; \dots \; -->)=1+i({\mathrm{\alpha <!--\; \alpha \; -->}}^a+{\mathrm{\beta <!--\; \beta \; -->}}^a)t_a-<!--\; -\; -->{\mathrm{\alpha <!--\; \alpha \; -->}}^b{\mathrm{\beta <!--\; \beta \; -->}}_c{t}_b{t}_c+\dots <!--\; \dots \; -->$$(1+i\alpha ^{a}t_{a}+1/2\alpha ^{b}\alpha _{c}t_{bc}+\dots )*(1+i\beta ^{a}t_{a}+1/2\beta ^{b}\beta _{c}t_{bc}+\dots )=1+i(\alpha ^{a}+\beta ^{a})t_{a}-\alpha ^{b}\beta _{c}t_{b}t_{c}+\dots$ .

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

$1+i({\mathrm{\alpha <!--\; \alpha \; -->}}^a+{\mathrm{\beta <!--\; \beta \; -->}}^a+f_{bc}^a{\mathrm{\alpha <!--\; \alpha \; -->}}^b{\mathrm{\beta <!--\; \beta \; -->}}_c+\dots <!--\; \dots \; -->)t_a+1/2({\mathrm{\alpha <!--\; \alpha \; -->}}^b+{\mathrm{\beta <!--\; \beta \; -->}}^b+...)({\mathrm{\alpha <!--\; \alpha \; -->}}^c+{\mathrm{\beta <!--\; \beta \; -->}}^c+\dots <!--\; \dots \; -->)t_{bc}+\cdots <!--\; \cdots \; -->=1+i({\mathrm{\alpha <!--\; \alpha \; -->}}^a+{\mathrm{\beta <!--\; \beta \; -->}}^a)t_a+f_{bc}^a{\mathrm{\alpha <!--\; \alpha \; -->}}^b{\mathrm{\beta <!--\; \beta \; -->}}_c{t}_a+{\mathrm{\alpha <!--\; \alpha \; -->}}^b{\mathrm{\beta <!--\; \beta \; -->}}_c{t}_{bc}+\dots <!--\; \dots \; -->$$1+i(\alpha ^{a}+\beta ^{a}+f_{bc}^{a}\alpha ^{b}\beta _{c}+\dots )t_{a}+1/2(\alpha ^{b}+\beta ^{b}+...)(\alpha ^{c}+\beta ^{c}+\dots )t_{bc}+\dots =1+i(\alpha ^{a}+\beta ^{a})t_{a}+f_{bc}^{a}\alpha ^{b}\beta _{c}t_{a}+\alpha ^{b}\beta _{c}t_{bc}+\dots$ ,

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

$t_{bc}=-<!--\; -\; -->t_b{t}_c-<!--\; -\; -->i{f}_{bc}^a{t}_a$$t_{{bc}}=-t_{b}t_{c}-if_{{bc}}^{a}t_{a}$ .

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

$0=t_{cb}-<!--\; -\; -->t_{bc}=(t_b{t}_c-<!--\; -\; -->t_c{t}_b)-<!--\; -\; -->i(f_{cb}^a-<!--\; -\; -->f_{bc}^a)t_a$$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]=i{C}_{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}=f_{{cb}}^{a}-f_{{bc}}^{a}$  — так называемые структурные константы группы.

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

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

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

$U(T(\mathrm{\alpha <!--\; \alpha \; -->}))=e^{i{\mathrm{\alpha <!--\; \alpha \; -->}}^a{t}_a}$$U(T(\alpha ))=e^{{i\alpha ^{a}t_{a}}}$ .

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

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

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

$U(T(\mathrm{\alpha <!--\; \alpha \; -->}))=U(T(\mathrm{\alpha <!--\; \alpha \; -->}/n){)}^n$$U(T(\alpha ))=U(T(\alpha /n))^{n}$ ;

при достаточно большом $n$$n$  можно использовать инфинитезимальное представление в силу малости $\mathrm{\alpha <!--\; \alpha \; -->}/n$$\alpha /n$ . Получаем

$U(T(\mathrm{\alpha <!--\; \alpha \; -->}))=(1+i/n{\mathrm{\alpha <!--\; \alpha \; -->}}^a{t}_a{)}^n$$U(T(\alpha ))=(1+i/n\alpha ^{a}t_{a})^{n}$ .

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

$U(T(\mathrm{\alpha <!--\; \alpha \; -->}))=e^{i{\mathrm{\alpha <!--\; \alpha \; -->}}^a{t}_a}$$U(T(\alpha ))=e^{{i\alpha ^{a}t_{a}}}$ .

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

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

СсылкиПравить

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