Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Рассмотрим уравнение Манакова (1) на алгебре $\mathfrak{s} o(4)$. Через $b_{i}$ $(0 \leqslant i \leqslant 3)$ будем обозначать элементы диагональной матрицы $J$ (см. § 1); мы будем предполагать, что они различны и удовлетворяют неравенству $b_{0}^{2}<b_{1}^{2}<b_{2}^{2}<b_{3}^{2}$. и вычислим характеристический полином $\operatorname{det}\left(M+\lambda J^{2}-\lambda \mu \mathrm{Id}\right)$ (как и выше, собственное значение равно $\lambda \mu$ ), т. е. где Напомним, что пфаффиан кососимметричной матрицы – это значение универсального полинома на элементах матрицы, причем квадрат этого полинома совпадает с определителем (см., например, «Алгебру» Бурбаки $[20]$ ). Например, $f_{2}=0$ тогда и только тогда, когда ранг матрицы $M$ меньше или равен 2 . Очевидно, что $f_{1}$ и $f_{2}$ инвариантны относительно сопряжения ортогональными матрицами и, следовательно, являются орбитальными инвариантами присоединенного и коприсоединенного действий группы $S O(4)$. Классическим результатом (который мы оставляем читателю в качестве упражнения) является утверждение, что они действительно являются орбитальными инвариантами и, следовательно, являются функциями Казимира относительно канонической пуассоновой структуры (см. Приложение 1). Замечание. Именно пфаффиан $f_{2}$ является орбитальным инвариантом, несмотря на то, что в характеристическом полиноме появляется его квадрат, определитель. Ситуация во многом аналогична той, которую мы наблюдали в III.2.3. Зафиксируем орбиту $\mathbf{O}_{f}$, на которой рассмотрим совместную поверхность уровня интегралов $H$ и $K$ : таким образом, $\mathcal{T}_{h}$ является совместной поверхностью уровня функций $f_{1}, f_{2}, H$ и $K$, даже если кривая $C$ определяет только $f_{2}^{2}$. Следовательно, если $f_{1}>\left|2 f_{2}\right|$, то орбита $\mathbf{O}_{f}$, пронумерованная функциями $f_{1}$ и $f_{2}$, диффеоморфна $S^{2} \times S^{2}$. Таким образом, мы определили орбиты общего положения. Если $f_{1}=\left|2 f_{2}\right|$, то орбита является двумерной сферой. Рассмотрим только орбиты $\mathbf{O}_{f}$ общего положения (где $f=\left(f_{1}, f_{2}\right)$ и $f_{1}>\left|2 f_{2}\right|$ ), в частности, будем считать, что $f_{1} (проверяется непосредственно), то наши первые интегралы связаны с этим построением. Следовательно, они коммутируют согласно теоремам об инволюции, приведенным в Приложении 2. Таким образом, система интегрируема. Выполняя, в случае необходимости, сдвиг $\mu \mapsto \mu-b_{0}^{2}$, мы можем предположить, что $b_{0}^{2}=0$. Тогда первые интегралы имеют достаточно простой вид: Замечание. Четыре интеграла $f_{1}, f_{2}, H, K$ являются квадратичными функциями от элементов матрицы $M$, поэтому совместная поверхность уровня представляет собой пересечение квадрик. Эти алгебраические многообразия несут богатую структуру, аналогично примеру кривой $V$ меньшей размерности, приведенному в I. 3.2 и в $§ 2$. По этому аспекту имеется достаточно много работ, например, Адлера и ван Мербеке [3]. «Экзотическая» гамильтонова система на $\mathfrak{s o}(4)^{\star}$ с квадратичным гамильтонианом и дополнительным первым интегралом степени 4 была простроена Рейманом и Семеновым-Тян-Шанским (см. [76]) как побочный результат их работы с Бобенко [18] (см. III.3). Двулистное накрытие $p: C \rightarrow E$ над кривой $E$ : Рис. 15. Вещественная часть $\mathcal{E}$ Для простоты введем обозначения: а также $h=H / f_{1}, k=K / f_{1}$. Кроме того, обозначим так что $(\mu, w)$ – точка на кривой $\mathcal{E}$ рода 1 (рис. 15). Заметим, что мы имеем дело с двумя различными эллиптическими кривыми, которые играют здесь разные роли. Накрытие $C \rightarrow E$ разветвляется в четырех точках $P_{i}:(z, \mu)=\left(\infty, b_{i}^{2}\right)$ кривой $E$. Так как по предположению эти точки различны, то кривая $C$ имеет род 3 и является гладкой тогда и только тогда, когда кривая $E$ гладкая, т. е. когда четыре корня полинома $\delta$ различны. Величина $\mu$ является двукратным корнем полинома $\delta$ тогда и только тогда, когда $\delta(\mu)=\delta^{\prime}(\mu)=0$, т. е. тогда и только тогда, когда Эти уравнения задают параметризацию дискриминанта семейства кривых $E$, если считать $h$ и $k$ переменными. Замечание. Даже если мы интересуемся только кривыми $E$ для вещественных значений $h$ и $k$ и даже если мы интересуемся только их вещественными точками, то мы обязаны учитывать некоторые невещественные значения параметра $\mu$, которые соответствуют двум сопряженным двукратным корням полинома $\delta$. Если $f_{2}=0$, то $C$ редуцируется к объединению двойной линии ( $\lambda^{2}=0$ ) и гиперэллиптической кривой Эта кривая является двулистным накрытием над $\mathbf{P}^{1}$, разветвленным в точках $b_{i}^{2}$ и в дву корнях $\mu_{1}$ и $\mu_{2}$ числителя, поэтому $X$ имеет род 2 . Дискриминант семейства кривых $X$, параметризуемых значениями $h$ и $k$, представляет собой объединение параболь $k=h^{2} / 4$ (числитель в уравнении кривой $X$ имеет двукратный корень) и четырех прямых $k=h b_{i}^{2}-b_{i}^{4}$ (числитель и знаменатель имеют общий корень), касательных к параболе. Рис. 16. Вещественная часть дискриминанта Замечание. Предложение 3.3.1. Если точка $(h, k)$ такова, что кривая $E$ рода 1 (соответственно, гиперэлиптическая кривая $X$ при $f_{2}=0$ ) гладкая, то эта точка является регуяяным значением отображения момента. Доказательство. Отметим, что эти два коцикла антиинвариантны относительно инволюции $(\lambda, \mu) \mapsto(-\lambda, \mu)$. Мы воспользуемся этим замечанием в 3.4. Проверим теперь, что их классы независимы. Для этого найдем их вычеты по отношению к некоторым голоморфным формам на $C$. На кривой $C$ равенство $\lambda=\infty$ имеет место в точности в четырех точках $P_{0}, P_{1}, P_{2}, P_{3}$. Другими словами, Поэтому для любой голоморфной 1-формы $\alpha$ на $C$ соответствие $[f] \mapsto \sum \operatorname{Res}_{P_{i}}(f \alpha)$ определяет линейную форму на $H^{1}\left(\mathcal{O}_{C}\right)$. и становится очевидно, что Положим $u=1 / \lambda$ и вспомним, что по предположению $b_{0}=0$. Поэтому нам остается лишь проверить, что два вектора и Рис. 17. независимы как векторы в $\mathbf{C}^{2}$. Имеем что и завершает доказательство предложения. Мы оставляем заинтересованному читателю проверку того, что образ отображения момента действительно совпадает с незаштрихованной частью рис. 17 и что все точки дискриминанта, которые принадлежат этой области, действительно являются критическими точками. Для этого мы предлагаем рассмогреть точки $x_{i}=y_{i}=0, x_{j}=y_{j}=0$ $(\{i, j\} \subset\{1,2,3\})$ в $\mathbf{O}_{f}$. 3.4. Топология: другой подход Как заметил Хайне, отображение собственных векторов является четырехлистным накрытием над своим образом. является накрытием над своим образом со слоем $\mathbf{Z} / 2 \times \mathbf{Z} / 2$. Этот образ изоморфен открытому подмножеству многообразия $\operatorname{Prym}(C \mid E)$. Замечание. Степень может быть вычислена с помощью теоремы Римана-Роха, как в Приложении 3 и III.2.3. После доказательства предложения 3.1.1 становится очевидно, что $\varphi_{C}$ является накрывающим отображением. Его образ – подмногообразие, параллельное $\operatorname{Prym}(C \mid E)$, поскольку мы заметили, что коциклы антиинвариантны. Матрицы $M=(x, y)$, такие что все соответствующие $M+J^{2} \lambda$ принадлежат одному и тому же классу сопряженности по модулю $G L(4 ; \mathbf{C}$ ) (и лежат на одной и той же орбите группы $S O(4)$ ), задаются в виде Основным результатом работы Хайне [39] является то, что $\mathcal{T}_{h, k}^{\mathbf{C}}$ можно добавить с помощью кривой до абелевой поверхности $A$, двойственной к $\operatorname{Prym}(C \mid E)$. Рис. 18. накрытия над кривой рода 1 (а именно, кривой $\mathcal{E}$ !) при помощи следующей кривой рода 3 : На рис. 18 в зависимости от значений $h$ и $k$ показаны взаимные расположения параболы $\alpha w+\mu^{2}-h \mu+k=0$ и кривой $\mathcal{E}_{\mathbf{R}}$. Дискриминант (рис. 16) соответствует тем значениям $h$ и $k$, для которых эти кривые касаются между собой (еще одно упражнение для читателя). Оба значения $(\mu, w)$, которые дают две точки кривой $D$, принадлежат $\mathcal{E}_{\mathbf{R}}$ и лежат внутри параболы. Таким образом, $D_{\mathbf{R}}$ имеет одну компоненту (над частью одной из компонент кривой $\mathcal{E}_{\mathbf{R}}$ ) в области, обозначенной через $a$, две компоненты (над одной и той же компонентой $\mathcal{E}_{\mathbf{R}}$ ) в области $b$ и две компоненты над одной компонентой кривой $\mathcal{E}_{\mathbf{R}}$ в области $c$. Теперь структуру многообразия $\operatorname{Prym}(D \mid \mathcal{E})_{\mathbf{R}}$ можно получить так же, как и в случае волчка Ковалевской (Глава III и работа Оден и Силола [15]), а также описать торы Лиувилля и их бифуркации. Мы не сомневаемся, что получаются результаты, анонсированные Ошемковым [68].
|
1 |
Оглавление
|