Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике В общем случае алгебра Каца – Муди $A_{1}^{(1)}$ может быть определена заданием шести порож- дающих элементов $p_{0}, p_{1}, q_{0}, q_{1}, r_{0}, r_{1}$ (для алгебры, ассоциированной с $\tilde{\mathrm{sl}}(n+1, C)$, нам бы потребовалось $3(n+1)$ таких элементов) и их коммутаторов следующим образом: где $A_{i j}$ – это элементы обобщенной матрицы Картана $\left(\begin{array}{rr}2 & -2 \\ -2 & 2\end{array}\right)$ алгебры $A_{1}^{(1)}$, по повторяющимся индексам нет суммирования. Выражение $\operatorname{ad}_{q_{i}}^{1-A_{i j}} q_{j}$ означает $\left[q_{i},\left[q_{i}, \ldots,\left[q_{i}, q_{i}\right]\right]\right]$, где коммутатор применяется $1-A_{i j}$ раз (в нашем случае три раза), т. е. $\left[q_{i},\left[q_{i},\left[q_{i}, q_{j}\right]\right]\right]=0, i Правила коммутирования (5.198) согласованы с правилами, установленными для $X_{j}=h_{j} F_{j}+e_{j} E_{j}+f_{j} F_{j}$ при $H_{j}=\zeta^{-j} H, E_{j}=$ $=\zeta^{-i} E, F_{j}=\zeta^{-j} F$. Заметьте, что элемент $p_{0}+p_{1}=Z$ коммутирует со всеми другими; он называется центром. Обратите внимание, как порождаются новые элементы; $H_{1}$ или $\zeta H$ получается с помощью $\left[q_{1}, q_{0}\right] ; F_{2}$ или $\zeta^{-2} F$ с помощью $-\frac{1}{2}\left[\left[q_{1}, q_{0}\right], q_{0}\right]$ и так далее. Читатель может проверить, что последнее условие из (5.198) удовлетворено. Когда центр $Z$ добавлен к базису петель $\left\{H_{j}, E_{j}, F_{j}\right\}_{-\infty}^{\infty}$, новый набор называется центральным расширением алгебры петель $\tilde{\mathrm{sl}}(2, C)$. Қаждому порождающему элементу мы хотим приписать вес $W$ так, чтобы это согласовывалось с правилами коммутации (5.198). Например, мы могли бы сделать это следующим способом: Приняв правило, что вес коммутатора есть сумма весов входящих в него элементов, мы замечаем, что приписывание весов – действительно непротиворечивая процедура; например, $W\left(\left[q_{1}, r_{1}\right]\right)=0=W\left(p_{1}\right)$. Сравнивая отождествление (5.199) с (5.200a), получаем выражение для эквивалентного приписывания весов в случае нашего базиса: Заметьте, что каждое из слагаемых имеет равный вес. Это называется однородной градуировкой. которое может быть достигнуто тем же отождествлением (5.199) Но теперь мы приписываем веса в котором мы отождествляем коэффициенты при $h_{j}, e_{j}, f_{j}$ : Используем это отождествление, чтобы приписать новые веса $H, E, F, \zeta$ в левой части при условии, что в правой части веса таковы: $W(H)=W(E)=W(F)=0, \quad W(\lambda)=1$. Ясно, что веса должны совпадать с (5.201c). И не удивительно, что существует изоморфизм между двумя элекентами $\mathrm{sl}(2, C)$, даже несмотря на то, что базисные векторы и градуирующий параметр имеют другие веса. Но как это отличие может повлиять на динамику? Дело в том, что разные градуировки порождают различные разложения алгебры. В первой градуировке члены $h_{0} H, e_{0} E, f_{0} F$ все имеют один вес, именно нуль, и поэтому приписаны к $N$. Они также принадлежали пространству $N^{*}=K^{\perp}$, которое было фазовым пространством. Во второй градуировке члены $e_{0} E$ и $f_{0} F$ принадлежат разным подалгебрам, первый имеет вес единица и принадлежит $N$, в то время как последний имеет вес -1 и поэтому приписан к $K$. Теперь вспомним, что это в точности разложение, использованное в третьем примере в конце разд. 5с, а именно: Заметим, что все члены в $N$ имеют веса, большие или равные нулю; члены в $K$ имеют веса, меньшие или равные -1 . Элемент общего вида, принадлежащий фазовому пространству $K^{\perp}$, может быть записан в более подходящей форме B (5.203) а нижние индексы обозначают обратные веса каждого члена. Читатель также вспомнит, что в разд. 5с(iii) мы брали $h_{0}=0$, $-f_{0}=e_{1}=1$, и этот выбор был согласован с введением временны́х потоков. В то время как первая градуировка естественно приводит к семейству нелинейных уравнений Шрёдингера (НУШ), вторая градуировка столь же естественно приводит к семействам КдФ и мКдФ. Я сознательно употребляю слово «естественно». Семейство НУШ, конечно, содержит в себе семейства КдФ и мКдФ, но, чтобы их выделить, надо налагать ограничения на фазовое пространство ( $f_{1}=-1$ для КдФ или $f_{1}= \pm e_{1}$ для мКдФ). Во второй градуировке эти уравнения появляются без наложения каких-либо связей. Единственная наложенная нами связь (которая выглядит несколько произвольно) – это выбор $h_{0}=0$, аналогичный выбору $h_{0}=-i, e_{0}=f_{0}=0$ в уравнениях, связанных с первой градуировкой. Этот сравнительно небольшой произвол может быть устранен, если использовать фазовое пространство $\varepsilon+K^{\perp}$ вместо $K^{\perp}$, где $\varepsilon$ – отмеченный элемент, выбранный (с некоторыми ограничениями) в двойственном к $K$ пространстве $K^{*}$. В разделах $5 \mathrm{i}, 5 \mathrm{j}$ мы еще встретимся с этой идеей. В качестве заключительного замечания к этому разделу мы упомянем, что все независимые способы градуировки алгебры петель $\widetilde{\mathrm{sl}}(2, C)$ определяются автоморфизмами $\mathrm{sl}(2, C)$ конечного порядка. Автоморфизм $\sigma$ конечного порядка есть отображение на алгебре, сохраняющее скобку Ли, т. е. $[\sigma(X), \sigma(Y)]=$ $=\sigma([X, Y]), X, Y \in \widetilde{s} 1(2, C)$, такое что $\sigma^{m}$ равняется единице при некотором целом $m$. Все такие отображения суть преобразования подобия $\sigma(X)=a X a^{-1}$ для некоторого $a$ в $\operatorname{sl}(2, C), a^{m}=I$. Для $\operatorname{sl}(2, C)$ заметьте, что при $a=H$ б действует как линейное преобразование на пространстве $H, E, F$ и разбивает его на два подпространства $\sigma(H)=H, \sigma(E, F)=(-E,-F)$. Заметьте, что в (5.203) элементы $H$ и $E, F$ появляются как соответственно четные и нечетные степени взвешивания.
|
1 |
Оглавление
|