Структурные константы

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

Используя векторное произведение в качестве скобки Ли, алгебра 3-мерных вещественных векторов является алгеброй Ли, изоморфной алгебрам Ли SU(2) и SO(3). Структурные константы:

f^{abc}=\epsilon ^{abc}

, где

\epsilon ^{abc}

— антисимметричный символ Леви-Чивиты.

Структурные константы используются всякий раз, когда необходимо указать явную форму алгебры. Таким образом, они часто используются при обсуждении алгебры Ли в физике, поскольку базисные векторы указывают конкретные направления в физическом пространстве или соответствуют конкретным частицам. Напомним, что алгебры Ли — это алгебры над полем, причём билинейное произведение задаётся скобкой Ли или коммутатором.

Определение

Учитывая набор базисный векторов $\{\mathbf {e} _{i}\}$ для базового векторного пространства алгебры, структурные константы или структурные коэффициенты $c_{ij}^{\;k}$ выражают умножение $\cdot$ пар векторов в качестве линейной комбинации:

\mathbf {e} _{i}\cdot \mathbf {e} _{j}=\sum _{k}c_{ij}^{\;\;k}\mathbf {e} _{k}

.

Верхний и нижний индексы часто не различаются, если алгебра не наделена какой-либо другой структурой, которая потребовала бы этого (например, псевдориманова метрика на алгебре неопределённой ортогональной группы so(p,q)). То есть структурные константы часто записываются с верхними или нижними индексами. Различие между верхним и нижним является условием, напоминающим читателю, что нижние индексы ведут себя как компоненты двойственного вектора, то есть ковариантно при изменении базиса, а верхние индексы — контравариантно.

Очевидно, что структурные константы зависят от выбранного базиса. Для алгебр Ли одно часто используемое соглашение о базисе выражается в терминах лестничных операторов, определённых подалгеброй Картана; это представлено ниже в статье после некоторых предварительных примеров.

Пример: алгебры Ли

Для алгебры Ли базисные векторы называются генераторами алгебры, а произведение задаётся скобкой Ли. То есть, произведение алгебры $\cdot$ "определено" как скобка Ли: для двух векторов $A$ и $B$ в алгебре, результатом будет $A\cdot B\equiv [A,B].$ В частности, произведение алгебры $\cdot$ нельзя путать с матричным произведением, поэтому иногда требуются альтернативные обозначения.

В этом случае нет особой необходимости различать верхний и нижний индексы; они могут быть записаны все вверху или все внизу. В физике обычно используются обозначения $T_{i}$ для генераторов, а $f_{ab}^{\;\;c}$ или $f^{abc}$ (игнорируя различие между верхним и нижним) для структурных констант. Скобка Ли пар генераторов представляет собой линейную комбинацию генераторов из множества, т.е.

[T_{a},T_{b}]=\sum _{c}f_{ab}^{\;\;c}T_{c}

.

Путём линейного расширения структурные константы полностью определяют скобки Ли всех элементов алгебры Ли.

Все алгебры Ли удовлетворяют тождеству Якоби. Для базисных векторов это можно записать как

[T_{a},[T_{b},T_{c}]]+[T_{b},[T_{c},T_{a}]]+[T_{c},[T_{a},T_{b}]]=0

и это непосредственно приводит к соответствующему тождеству в терминах структурных констант:

f_{ad}^{\;\;e}f_{bc}^{\;\;d}+f_{bd}^{\;\;e}f_{ca}^{\;\;d}+f_{cd}^{\;\;e}f_{ab}^{\;\;d}=0.

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

Структурные константы играют роль в представлениях алгебры Ли и фактически дают в точности матричные элементы присоединённого представления. Форма Киллинга и инвариант Казимира также имеют особенно простую форму, когда записываются в терминах структурных констант.

Структурные константы часто появляются в приближении к формуле Бейкера – Кэмпбелла – Хаусдорфа для произведения двух элементов группы Ли. Для малых элементов $X,Y$ алгебры Ли структура группы Ли около единичного элемента задается формулой

\exp(X)\exp(Y)\approx \exp(X+Y+{\tfrac {1}{2}}[X,Y]).

Обратите внимание на коэффициент 1/2. Они также появляются в явных выражениях для дифференциалов, таких как $e^{-X}de^{X}$ .

Примеры алгебры Ли

𝖘𝖚(2) и 𝖘𝖔(3)

Алгебра 𝖘𝖚(2) специальной унитарной группы SU(2) трёхмерна, с генераторами, заданными матрицами Паули $\sigma _{i}$ . Генераторы группы SU(2) удовлетворяют коммутационным соотношениям (где $\epsilon ^{abc}$ — символ Леви-Чивиты):

[\sigma _{a},\sigma _{b}]=2i\epsilon ^{abc}\sigma _{c}

где

\sigma _{1}={\begin{pmatrix}0&1\\1&0\end{pmatrix}}

\sigma _{2}={\begin{pmatrix}0&-i\\i&0\end{pmatrix}}

\sigma _{3}={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}

В этом случае структурные константы равны $f^{abc}=2i\epsilon ^{abc}$ . Обратите внимание, что константа 2i может быть включена в определение базисных векторов; таким образом, определяя $t_{a}=-i\sigma _{a}/2$ , можно одинаково хорошо написать

[t_{a},t_{b}]=\epsilon ^{abc}t_{c}

Это подчёркивает, что алгебра Ли 𝖘𝖚(2) группы Ли SU(2) изоморфна алгебре Ли 𝖘𝖔(3) группы SO(3). Это приводит структурные константы в соответствие с константами группа вращения SO(3). То есть коммутатор для оператора углового момента обычно записывается как

[L_{i},L_{j}]=\epsilon ^{ijk}L_{k}

где

L_{x}=L_{1}={\begin{pmatrix}0&0&0\\0&0&-1\\0&1&0\end{pmatrix}}

L_{y}=L_{2}={\begin{pmatrix}0&0&1\\0&0&0\\-1&0&0\end{pmatrix}}

L_{z}=L_{3}={\begin{pmatrix}0&-1&0\\1&0&0\\0&0&0\end{pmatrix}}

написаны так, чтобы подчиняться правилу правой руки для вращений в трёхмерном пространстве.

Разница в множителе «2i» между этими двумя наборами структурных констант может приводить в бешенство, поскольку включает в себя некоторую тонкость. Таким образом, например, двумерному комплексному векторному пространству можно придать реальную структуру. Это приводит к двум неэквивалентным двумерным фундаментальному представлению группы (2), которые изоморфны, но являются комплексно сопряжённым представлением; оба, однако, считаются действительными представлениями именно потому, что они действуют в пространстве с реальной структурой[1]. В случае трёх измерений существует только одно трёхмерное представление, присоединённое представление, которое является действительным представлением; точнее, это то же самое, что и его двойное представление, показанное выше. Другими словами, транспонировать является минусом самого себя: $L_{k}^{T}=-L_{k}.$

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

𝖘𝖚(3)

Менее тривиальный пример даётся в SU(3)[2].

Его генераторы "T" в определяющем представлении таковы:

T^{a}={\frac {\lambda ^{a}}{2}}.\,

где $\lambda \,$ матрицы Гелл-Манна являются SU(3) аналогом матриц Паули для SU(2):

$\lambda ^{1}={\begin{pmatrix}0&1&0\\1&0&0\\0&0&0\end{pmatrix}}$	$\lambda ^{2}={\begin{pmatrix}0&-i&0\\i&0&0\\0&0&0\end{pmatrix}}$	$\lambda ^{3}={\begin{pmatrix}1&0&0\\0&-1&0\\0&0&0\end{pmatrix}}$
$\lambda ^{4}={\begin{pmatrix}0&0&1\\0&0&0\\1&0&0\end{pmatrix}}$	$\lambda ^{5}={\begin{pmatrix}0&0&-i\\0&0&0\\i&0&0\end{pmatrix}}$	$\lambda ^{6}={\begin{pmatrix}0&0&0\\0&0&1\\0&1&0\end{pmatrix}}$
$\lambda ^{7}={\begin{pmatrix}0&0&0\\0&0&-i\\0&i&0\end{pmatrix}}$	$\lambda ^{8}={\frac {1}{\sqrt {3}}}{\begin{pmatrix}1&0&0\\0&1&0\\0&0&-2\end{pmatrix}}.$

Они подчиняются отношениям

\left[T^{a},T^{b}\right]=if^{abc}T^{c}\,

\{T^{a},T^{b}\}={\frac {1}{3}}\delta ^{ab}+d^{abc}T^{c}.\,

Структурные константы полностью антисимметричны. Их дают:

f^{123}=1\,

f^{147}=-f^{156}=f^{246}=f^{257}=f^{345}=-f^{367}={\frac {1}{2}}\,

f^{458}=f^{678}={\frac {\sqrt {3}}{2}},\,

и все другие $f^{abc}$ , не связанные с ними перестановкой индексов, равны нулю.

d принимают значения:

d^{118}=d^{228}=d^{338}=-d^{888}={\frac {1}{\sqrt {3}}}\,

d^{448}=d^{558}=d^{668}=d^{778}=-{\frac {1}{2{\sqrt {3}}}}\,

d^{146}=d^{157}=-d^{247}=d^{256}=d^{344}=d^{355}=-d^{366}=-d^{377}={\frac {1}{2}}.\,

Примеры из других алгебр

Полиномы Холла

Полиномы Холла - это структурные константы алгебры Холла.

Алгебры Хопфа

В дополнение к произведению копроизведение и антипод алгебры Хопфа могут быть выражены в терминах структурных констант. Соединяющая аксиома, которая определяет условие согласованности алгебры Хопфа, может быть выражена как связь между этими различными структурными константами.

Приложения

Группа Ли абелева в точности тогда, когда все структурные константы равны 0.
Группа Ли является вещественной именно тогда, когда её структурные константы вещественны.
Структурные константы полностью антисимметричны по всем индексам тогда и только тогда, когда алгебра Ли является прямой суммой простой компактной алгебры Ли.
нильпотентная группа Ли допускает решётку тогда и только тогда, когда её алгебра Ли допускает базис с рациональными структурными константами: это критерий Мальцева. Не все нильпотентные группы Ли допускают решётки; для более подробной информации см.также Рагунатан[3].
В квантовой хромодинамике символ $G_{\mu \nu }^{a}\,$ представляет калибровочный ковариант тензор напряжённости глюонного поля, аналогичный тензору напряжённости электромагнитного поля, F^μν, в квантовая электродинамика. Это даётся в[4]:

G_{\mu \nu }^{a}=\partial _{\mu }{\mathcal {A}}_{\nu }^{a}-\partial _{\nu }{\mathcal {A}}_{\mu }^{a}+gf^{abc}{\mathcal {A}}_{\mu }^{b}{\mathcal {A}}_{\nu }^{c}\,,

где f_abc — структурные константы SU(3). Обратите внимание, что правила отжимания или опускания индексов a, b или c являются тривиальными, (+, ... +), так что f^abc = f_abc = fa
bc, тогда как для индексов μ или ν существуют нетривиальные релятивистские правила, соответствующие, например, метрической подписи (+ - - -).

Выбор базиса для алгебры Ли

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

Для алгебры Ли ${\mathfrak {g}}$ подалгебра Картана ${\mathfrak {h}}\subset {\mathfrak {g}}$ является максимальной абелевой подалгеброй. По определению, он состоит из тех элементов, которые коммутируют друг с другом. Ортонормированный базис можно свободно выбирать на ${\mathfrak {h}}$ ; запишите эту основу как $H_{1},\cdots ,H_{r}$ с

\langle H_{i},H_{j}\rangle =\delta _{ij}

где $\langle \cdot ,\cdot \rangle$ — это внутреннее произведение в векторном пространстве. Размерность $r$ этой подалгебры называется рангом алгебры. Матрицы $\mathrm {ad} (H_{i})$ в присоединённом представлении взаимно коммутируют и могут быть одновременно диагонализованы. Матрицы $\mathrm {ad} (H_{i})$ имеют (одновременные) собственные векторы; которые с ненулевым собственным значением $\alpha$ обычно обозначаются $E_{\alpha }$ . Вместе с $H_{i}$ они охватывают всё векторное пространство ${\mathfrak {g}}$ . Тогда коммутационные соотношения имеют вид:

[H_{i},H_{j}]=0\quad {\mbox{и}}\quad [H_{i},E_{\alpha }]=\alpha _{i}E_{\alpha }

Собственные векторы $E_{\ }alpha$ определяются только до общего масштаба; обычную нормализацию можно установить

\langle E_{\alpha },E_{-\alpha }\rangle =1

Это позволяет записать оставшиеся коммутационные соотношения в виде

[E_{\alpha },E_{-\alpha }]=\alpha _{i}H_{i}

и

[E_{\alpha },E_{\beta }]=N_{\alpha ,\beta }E_{\alpha +\beta }

с этим последним при условии, что корни (определённые ниже) $\alpha ,\beta$ с ненулевым значением: $\alpha +\beta \neq 0$ . $E_{\alpha }$ иногда называют операторами лестницы, поскольку они обладают этим свойством повышения/понижения значения $\beta$ .

Для данного $\alpha$ существует столько $\alpha _{i}$ , сколько имеется $H_{i}$ , поэтому можно определить вектор $\alpha =\alpha _{i}H_{i}$ , этот вектор называется корень алгебры. Корни алгебр Ли появляются в регулярных структурах (например, в простая алгебра Ли корни могут иметь только две разные длины); подробности см. в корневой системе.

Структурные константы $N_{\alpha ,\beta }$ имеют свойство отличаться от нуля только тогда, когда $\alpha +\beta$ является корнем. Кроме того, они антисимметричны:

N_{\alpha ,\beta }=-N_{\beta ,\alpha }

и всегда можно выбрать так, чтобы

N_{\alpha ,\beta }=-N_{-\alpha ,-\beta }

Они также подчиняются условиям коцикла[5]:

N_{\alpha ,\beta }=N_{\beta ,\gamma }=N_{\gamma ,\alpha }

всякий раз, когда $\alpha +\beta +\gamma =0$ , а также что

N_{\alpha ,\beta }N_{\gamma ,\delta }+N_{\beta ,\gamma }N_{\alpha ,\delta }+N_{\gamma ,\alpha }N_{\beta ,\delta }=0

всякий раз, когда $\alpha +\beta +\gamma +\delta =0$ .

Примечания

Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103.
Weinberg, Steven. The Quantum Theory of Fields. — Cambridge University Press, 1995. — Vol. 1 Foundations. — ISBN 0-521-55001-7.
Raghunathan, Madabusi S. 2. Lattices in Nilpotent Lie Groups // Discrete Subgroups of Lie Groups. — Springer, 2012. — ISBN 978-3-642-86428-5.
Eidemüller, M.; Dosch, H.G.; Jamin, M. (2000) [1999]. “The field strength correlator from QCD sum rules”. Nucl. Phys. B Proc. Suppl. 86: 421—5. arXiv:hep-ph/9908318. Bibcode:2000NuPhS..86..421E. DOI:10.1016/S0920-5632(00)00598-3.
Cornwell, J.F. Group Theory In Physics. — Academic Press, 1984. — Vol. 2 Lie Groups and their applications. — ISBN 0121898040.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103.

[2] Weinberg, Steven. The Quantum Theory of Fields. — Cambridge University Press, 1995. — Vol. 1 Foundations. — ISBN 0-521-55001-7.

[3] Raghunathan, Madabusi S. 2. Lattices in Nilpotent Lie Groups // Discrete Subgroups of Lie Groups. — Springer, 2012. — ISBN 978-3-642-86428-5.

[4] Eidemüller, M.; Dosch, H.G.; Jamin, M. (2000) [1999]. “The field strength correlator from QCD sum rules”. Nucl. Phys. B Proc. Suppl. 86: 421—5. arXiv:hep-ph/9908318. Bibcode:2000NuPhS..86..421E. DOI:10.1016/S0920-5632(00)00598-3.

[5] Cornwell, J.F. Group Theory In Physics. — Academic Press, 1984. — Vol. 2 Lie Groups and their applications. — ISBN 0121898040.