Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике 3.1. Пары Лакса для вращающихся волчков В этом пункте мы вкратце объясним, как была найдена пара Лакса, которой мы пользуемся. Мы будем следовать оригинальной работе Бобенко, Реймана и Семенова-Тян-Шанского [18]. Мы находимся в ситуации ${ }^{10}$, когда дана группа Ли $G$ (будем считать, что $G=S O(p, q))$ с алгеброй Ли $\mathfrak{g}$, снабженной инволюцией $\sigma$. Подгруппу неподвижных точек этой инволюции обозначим через $K$ (будем считать, что $K=S O(p) \times S O(q)$ ). На уровне алгебры Ли неподвижные и антинеподвижные точки инволюции $\sigma$ (мы используем одну и ту же букву $\sigma$ для инволюции на $G$ и $\mathfrak{g}$ ) дают разложение где $(A, B) \in \mathfrak{s} o(p) \times \mathfrak{s} o(q)=\mathfrak{k}, c \in\left(\mathbf{R}^{p}\right)^{q}=\mathfrak{p} ;$ здесь инволюция $\sigma$ имеет вид $\left.\sigma(L)=-{ }^{t} L\right)$. Группа $K$ действует на $\mathfrak{g}^{\star}$ как подгруппа группы $G$, и ее действие оставляет $\mathfrak{k}^{\star}$ и $\mathfrak{p}^{\star}$ инвариантными. Отождествим $T^{\star} K$ и $K \times \mathfrak{k}^{\star}$ при помощи левых сдвигов. Зафиксируем элементы $a, h \in \mathfrak{p}^{\star}$ и определим отображение Лемма 3.1.1. Отображение $T^{\star} K \rightarrow \tilde{\mathfrak{g}}^{\sigma}$ есть отображение Пуассона. Удобно, как в оригинальной работе, сделать несложную (симплектическую) замену координат $(k, \xi) \mapsto\left(k^{-1},-\operatorname{Ad}_{k}^{\star} \cdot \xi\right)$. Тогда новая «матрица» принимает вид В конкретном примере $G=S O(p, q)$, и мы окончательно получаем следующую теорему. Теорема 3.1.2 (Бобенко, Рейман и Семенов-Тян-Шанский [18]). Пусть $A$ и $H-$ два фиксированных элемента в $\left(\mathbf{R}^{p}\right)^{q}(p \times q$ матрицы). Тогда коэффициенты характеристического полинома матрицы являются функциями четырех аргументов которые коммутируют относительно канонической пуассоновой структуры. Заметим, что матрица $L_{\lambda}$ инвариантна относительно правого действия стабилизатора $K_{A}$ элемента $A$ в группе $K$. Предположим, таких что $k A^{t} r=A$, т. е., в нашем случае, таких что для произвольного $s \in S O(p-q)$. Следовательно, сталибизатор $K_{A}$ изоморфен $S O(q) \times S O(p-q)$ и вложен в качестве подгруппы в $S O(p) \times S O(q)$ с помощью отображения Выполним редукцию относительно действия диагональной подгруппы $S O(q)(s=1)$. Отображение момента $\mu: T^{\star} K \rightarrow \mathfrak{s} o(q)^{\star}$ для этого действия имеет вид где $\xi^{\prime}$ – матрица, полученная из кососимметричной $p \times p$-матрицы $\xi$ усечением. Полученное редуцированное фазовое пространство изоморфно $T^{\star} S O(p)$. Заметим, что даже если оно не зависит от $q$, то первые интегралы, которые получаются из теоремы 3.1.2, зависят от $q$. Редукция гамильтониана дает где обозначения для потенциала более или менее понятны. На самом деле мы интересуемся квадратичной частью, кинетической энергией. Заметим, что удвоение членов $\xi_{i, j}^{2}(i, j \leqslant q)$ возникло в процессе редукции, так что этот процесс отвечает за появление гамильтониана типа Ковалевской (напомним, что вид матрицы тензора инерции приведен в I.2.1). Случай волчка Ковалевской соответствует $(p, q)=(3,2)$. Случай $(p, q)=(3,1)$ дает матрицу Лакса для волчка Лагранжа (см. 3.2). Возвращаясь к группам Ли общего вида, получаем, что случай $G=S L(n, \mathbf{R})$ и $K=S O(n)$ дает свободное $n$-мерное твердое тело (случай Манакова, см. Главу IV). Рейман и Семенов-Тян-Шанский получили экзотическую систему на $S O(4)$, положив $G=G_{2}$ (см. [76]). Вернемся к случаю симметричного вращаюшегося волчка. Он описывается значениями $p=3, q=1$ в приведенной выше конструкции. Используя обозначения $\S 2$, а также Главы I, сформулируем где а $M_{\lambda}$ – полиномиальная часть $\left(L_{\lambda}^{2}\right)_{+}$матрицы $L_{\lambda}^{2}$. где $A \in \mathfrak{s o}(3)$ – кососимметричная матрица, а $v \in \mathbf{R}^{3}$ – вектор. Следовательно, как векторное пространство $\mathfrak{s o}(3,1)$ представляется в виде $\mathfrak{s o}(3) \times \mathbf{R}^{3}$. Структура алгебры Ли задается скобкой Заметим, что эта скобка Ли отлична от скобки Ли, ассоциированной с алгеброй Ли группы движений, которую мы использовали в I.1.2. Спектральные кривые. Спектральная кривая $Y$ задается уравнением Рассмотрим отображение $\mu: C \rightarrow \mathbf{P}^{1}$ степени 2. Его точки ветвления суть корни дискриминанта уравнения кривой $C$, рассматриваемого как уравнение по $z$ степени 2 . Дискриминант этого уравнения имеет вид так что 0 всегда (т. е. для всех значений $H$ и $K$ ) является двукратным корнем $\Delta$. Это означает, что $C$ всегда имеет двойную точку, следовательно, спектральная кривая $Y$ всегда имеет две двойные точки. Мы хотим обсудить этот пример, главным образом, поскольку он показывает, что нет никакой надежды доказать общее утверждение об эквивалентности между гладкостью спектральной кривой и регулярностью уровней. Замечание. Однако мы можем выделить две ветви в двойной точке кривой $C$, чтобы получить, вообще говоря, гладкие кривые $\widetilde{Y}$ и $\widetilde{C}$. Последняя имеет род 2 и является двулистным накрытием над $E$, разветвленным в двух точках. Если слегка обобщить отображение собственных векторов, то оказывается возможным отобразить соответствующий уровень в $\operatorname{Pic}(\tilde{Y})$. Те же соображения симметрии, что и в 2.3 , показывают, что это обобщенное отображение собственных векторов можно модифицировать и определить отображение в $\operatorname{Pic}(\widetilde{C})$ со значениями в $\operatorname{Prym}(\widetilde{C} \mid E)$. Таким образом, мы получаем одномерное абелево многообразие, которое связано с кривой $X$ рода 1 , построенной в Главе II. 3.3. Курьезный факт, случай Горячева-Чаплыгина Метод $R$-матриц и АКС-теорема (Приложение 2) являются достаточно мощным аппаратом для построения интегрируемых систем. Однако достаточно сложным оказывается представить данную систему в лаксовой форме. Если как-то еще можно понять, что вышеуказанные методы Бобенко, Реймана и Семенова-Тян-Шанского [18] дают пары Лакса для волчков Лагранжа и Ковалевской, то более неожиданным является тот факт, что попутно возникает загадочный результат: Бобенко и Кузнецов получили в [19] пару Лакса для случая Горячева-Чаплыгина. Это выглядит подобно кулинарному рецепту: нужно взять представление пары Лакса для случая Ковалевской, удалить первый столбец и первую строку обеих матриц … и все. Удачным является представление из уравнения (8), слегка преобразованное подходящим сопряжением (процедура, конечно, достаточно чувствительна к сопряжению), которое дает: и Предложение 3.3.1 (Бобенко и Кузнецов [19]). В случае ГорячеваЧаплыгина система (E) из I. 1 эквивалентна следующей: Доказательство этого предложения опять-таки непосредственное, и мы оставляем его читателю в качестве упражнения. Из этой пары Лакса получаем спектральную кривую $Y$ : снабженную инволюцией ( $\lambda \mapsto-\lambda$ ), и ее фактор $X$ : В работе [19] найдены решения системы (E). Оказывается, они могут быть выражены через квадратные корни из $\vartheta$-функций, ассоциированных с якобианом кривой $X$ (это означает, что потоки на якобиане нелинейны). Действительно, хорошо известно, что в этом случае совместные поверхности уровня интегралов $H$ и $K$ являются разветвленными двулистными накрытиями абелевых поверхностей (см., например, работу Пиована [71]). Заметим, что это связано со следующим общим принципом: если пара Лакса, которую мы используем, была получена честным путем, то поток, который она описывает, линеаризуется на абелевом многообразии и наш уровень обладает компактификацией, которая является (стандартным) накрытием этого абелева многообразия ${ }^{11}$. С топологической точки зрения уравнения Лакса не очень удобны. Если бы кривая $X$ обладала вещественной структурой (чтобы это выяснить, нужно выполнить замену $\mu$ на $i \mu$ ) и была бы эквивалентна кривой, используемой Горячевым и Чаплыгиным, то было бы справедливо, но не очевидно, утверждение, что матрица $L$ дает вещественное отображение собственных векторов.
|
1 |
Оглавление
|