Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Рассмотрим теперь матрицы размера $3 \times 3$ (что соответствует случаю трех частиц). 2.1. Кривая и интегралы Рассмотрим гиперэллиптическую кривую рода 2 , которая является пополнением кривой где Зафиксируем значения $h_{1}$ и $h_{2}$ функций $H_{1}$ и $H_{2}$. Соответствующая кривая $X$ является гладкой, когда корни полинома различны, т. е. когда оба полинома $-\mu^{3}+h_{1} \mu+h_{2} \pm 2$ имеют простые корни. Собственные векторы легко вычисляются в терминах миноров матрицы $A_{\lambda}^{\prime}-\mu \mathrm{Id}$ (заметим, что вычисления являются достаточно общими и взяты из работы ван Мербеке и Мамфорда [62]). Находим, что Заметим, что третья координата $u_{3}$ является функцией от $\mu$, так что она обращается в нуль в двух парах точек $\left(Q_{1}, \tau Q_{1}\right),\left(Q_{2}, \tau Q_{2}\right)$. Пусть $Q_{1}$ и $Q_{2}$ – общие нули функций $u_{1}$ и $u_{3}$. Заметим, что $u_{1}=u_{3}=0$ $\Rightarrow u_{2}=0$, так что эти точки также являются общими нулями функций $u_{2}$ и $u_{3}$. Положим $P_{i}=\tau Q_{i}$ и рассмотрим сечение ${ }^{t}\left(f_{1}, f_{2}, 1\right)={ }^{t}\left(\frac{u_{1}}{u_{2}}, \frac{u_{2}}{u_{3}}, 1\right)$ расслоения собственных векторов. Заметим, что порядок полюса в точке $A$ равен а точка $B$ не является полюсом функций $f_{1}$ и $f_{2}$. Тогда и дивизор полюсов этого ссчсния равсн $P_{1}\left|P_{2}\right| 2 A$. Замстим также, что $B$ является простым нулем функции $f_{2}$ и двойным нулем $f_{1}$. Таким образом, мы нашли представителя образа точки $(b, x)$ в $\operatorname{Pic}^{4}(X)$ при отображении собственных векторов. Упомянутый выше дивизор $D$ есть не что иное как $P_{1}+P_{2}$. Следующей нашей целью будет изучение его свойств. и такой, что $D+2 A$ является представителем класса дивизора собственных векторов. Доказательство. Например, $h^{0}(D+A)=2$. Из этого следует, что $h^{0}(D)=1$, так как было замечено, что причем это включение строгое. Иными словами, $D$ является общим. Как следствие, $\mathcal{L}(D)=\mathbf{C}$ (постоянные функции), таким образом, и $h^{0}(D+A-2 B)=0$. Аналогично, $f_{1} \in \mathcal{L}(D+2 A-2 B)$, поэтому $h^{0}(D+2 A-2 B)=h^{0}(D+A-2 B)+1=1$ и $h^{0}(D+2 A-3 B)=0$. Предположим теперь, что мы имеем дивизор $D$ на кривой $X$, который удовлетворяет указанным выше свойствам. Можно построить матрицу $A_{\lambda}^{\prime}$, такую что дивизор $D+2 A$ является ее образом. Следовательно, мы получаем наш основной результат. Пусть $\mathcal{D}_{1}$ – его образ (это копия кривой $X$, вложенная в $\operatorname{Pic}^{4}(X)$, сдвиг $\Theta$-дивизора). Аналогично, пусть $\mathcal{D}_{2}$ и $\mathcal{D}_{3}$ – образы дивизора $\mathcal{D}_{1}$, полученные сдвигами порядка 3 на $A-B$ и $2 A-2 B$, соответственно. Теорема 2.2.2. Предположим, что кривая $X$ гладкая. Тогда уровень $\mathcal{T}_{h}^{\prime}$ регулярен, отображение собственных векторов является изоморфизмом на свой образ, а образ $\varphi^{\prime}$ есть дополнение до объединения $\mathcal{D}_{1} \cup \mathcal{D}_{2} \cup \mathcal{D}_{3}$. Доказательство. Поскольку оба эти подпространства пространства $\mathcal{L}(D+2 A)$ одномерны, то $g_{1}$ и $g_{2}$ корректно определены с точностью до умножения на ненулевое комплексное число. Нам необходимо понять, как действует операция умножения на $\mu$ на этих функциях. откуда $\mu g_{2} \in \mathcal{L}(D+2 A)$ и Поскольку мы знаем, что $\mathcal{L}(D+A-2 B)=0$, то нуль функции $g_{2}$ в точке $B$ является простым, поэтому $\mu g_{2}$ не может обращаться в нуль в точке $B$ и $c Рассмотрим теперь $\mu g_{1}$. Имеем: Таким образом, $\left(\mu g_{1}\right) \geqslant-D+B-3 A$. Действительно, мероморфная функция $\mu g_{1}$ имеет полюсы на $D$ и тройной полюс в точке $A$, никаких других полюсов у этой функции нет. Кроме того, она обращается в нуль в точке $B$. Вспомним, что $\lambda$ также имеет тройной полюс в точке $A$, поэтому существует ненулевое комплексное число $y_{3}$, такое что $\mu g_{1}-y_{3} \lambda^{-1}$ имеет, самое худшее, полюс второго порядка в точке $A$. Следовательно, $\mu g_{1}-y_{3} \lambda^{-1} \in \mathcal{L}(D+2 A-B)$. Тогда ( $g_{1}, f_{2}$ ) является базисом пространства $\mathcal{L}(D+2 A-B)$, и мы можем записать: Наконец, рассмотрим $\mu \cdot 1$. Напомним, что в точке $B$ функция $\mu$. имеет простой полюс, $\lambda$ имеет тройной полюс, а $g_{1}$ имеет двойной нуль, поэтому $\lambda g_{1}$ имеет простой полюс в точке $B$. Заменяя $g_{1}$ на подходящий множитель $f_{1}$, мы можем заключить, что $\mu-\lambda f_{1}$ не имеет полюсов в точке $B$. В точке $A$ функция $\lambda f_{1}$ имеет простой нуль, так что $\mu-\lambda f_{1}$ имеет простой полюс. Все полюсы функции $\lambda f_{1}$ являются простыми и принадлежат $D$, поэтому $\mu-\lambda f_{1} \in \mathcal{L}(D+A)$. Таким образом получаем, что $\mu-\lambda f_{1}$ равно $x_{2} f_{2}+b_{3}$ для некоторых корректно определенных констант $x_{2}$ и $b_{3}$. Заметим, что теперь $f_{1}$ и $f_{2}$ полностью определены и удовлетворяют равенству Поскольку $(\lambda, \mu) \in X$, то $c^{\prime}=1$ и мы построили матрицу $A_{\lambda}^{\prime}$, исходя из дивизора $D$. Таким образом, мы показали, что любой общий дивизор $D$, удовлетворяющий дополнительным свойствам, указанным в предложении 2.2.1, является образом ровно одной матрицы $A_{\lambda}^{\prime}$, поэтому отображение собственных векторов инъективно и указанные свойства описывают его образ. Нам осталось проверить, что свойства, перечисленные в предложении 2.2 .1 , в точности означают, что $D+2 A Здесь мы опишем топологию поверхностей уровня $\mathcal{T}_{h}^{\prime}$, используя теорему 2.2.2: эти поверхности возникают на вещественной части дополнения ${ }^{2}$ к дивизорам $\mathcal{D}_{i}$ на якобиане. Мы должны сначала изучить относительное расположение дивизоров $\mathcal{D}_{i}$, а затем понять, как они вложены в якобиан. Относительное расположение дивизоров $\mathcal{D}_{1}, \mathcal{D}_{2}, \mathcal{D}_{3}$. Каждый дивизор $\mathcal{D}_{i}$ касается двух соседних. Обычно это описывают с помощью комбинаторной схемы, как показано на рис. 19; на рис. 21 приведено более детальное описание. Дадим точную формулировку этого свойства. Рис. 19. Предложение 2.3.1. Пересечение дивизоров $\mathcal{D}_{i}$ и $\mathcal{D}_{i+1}(i \bmod 3)$ состоит из одной точки, которая является вещественной и в которой две кривые касаются. Касательный вектор в точке пересечения принадлежит прямой, порожденной коциклом $\mu \in H^{1}\left(X ; \mathcal{O}_{X}\right)$. Доказательство. Теоретико-множественное пересечение $\mathcal{D}_{1} \cap \mathcal{D}_{2}$ содержит класс дивизора $4 A$, который появляется в $\mathcal{D}_{1}$ как образ $A+3 A$ точки $A$ и в $\mathcal{D}_{2}$ как образ $B+3 A+(A-B)$ точки $B$. Заметим, что точка $4 A$ вещественна. Для доказательства предложения достаточно показать, что прямая с направляющим коциклом $\mu$ касается в этой точке как $\mathcal{D}_{1}$, так и $\mathcal{D}_{2}$ : это гарантирует, что $\mathcal{D}_{1}$ и $\mathcal{D}_{2}$ касаются в этой точке. Поскольку индекс самопересечения равен 2 , то точка $4 A$ будет единственной точкой в $\mathcal{D}_{1} \cap \mathcal{D}_{2}$. С помощью сдвигов мы хотим показать, что (в образе кривой $X$ в ее якобиане при отображении Абеля-Якоби) касательная прямая в обеих точках $A$ и $B$ является прямой с направляющим коциклом $\mu$. Действительно, запишем отображение Абеля-Якоби в виде Тогда его касательное отображение имеет вид и прямая, касательная к образу кривой в точке образа $P$, есть прямая, порожденная линейной формой $\omega \mapsto \omega_{P}$. Мы хотим показать, что обе прямые в $H^{0}\left(\Omega_{X}^{1}\right)^{\star}$, порожденные формами $\omega \mapsto \omega_{A}$ и $\omega \mapsto \omega_{B}$, совпадают с прямыми, порожденными коциклом $\mu$. В точках $A$ и $B$ функция $u=1 / \mu$ является голоморфной локальной координатой. Поэтому, если $\omega=\alpha(u) d u$ в точке $A$ и $\omega=\beta(u) d u$ в точке $B$, то $\operatorname{Res}_{A}(\mu \omega)=\alpha(0), \operatorname{Res}_{B}(\mu \omega)=\beta(0)$ и что и требовалось доказать. Регулярные значения. Построим вещественную кривую $X_{\mathbf{R}}$ (в координатах ( $\mu, y$ ), см. лемму 1.2.3) в зависимости от расположения точки $\left(h_{1}, h_{2}\right.$ ) (рис. 20). Рис. 20. Дискриминантная кривая состоит из двух экземпляров дискриминантов полиномов степени 3 (см. 2.1). Вне этих кривых мы имеем регулярные уровни, и можно проверить, что точки дискриминанта фактически являются критическими значениями. Дополнение до дискриминанта состоит из четырех областей, обозначенных соответственно $(1),(2),(3)$ и (4). Они соответствуют вещественной части $X_{\mathbf{R}}$, имеющей соответственно три, две, две или одну связную компоненту. Вещественная кривая на якобине. Заметим, что $\operatorname{Pic}^{4}(X)_{\mathbf{R}}$ можно отождествить с вещественной частью якобиана, поскольку $X_{\mathbf{R}}$ всегда непусто. Единственное, что нам осталось сделать, – это изучить вещественные аспекты отображения Абеля-Якоби. Лемма 2.3.2. Любая связная компонента кривой $X_{\mathbf{R}}$ представляет собой примитивный ненулевой элемент группы $H_{1}\left(\operatorname{Jac}(X)_{\mathbf{R}} ; \mathbf{Z}\right)$. Доказательство. Если рассматривать $X$ как двулистное накрытие над $\mathbf{P}^{1}(\mathbf{C})$, разветвленное в корнях полинома $P(\mu)^{2}-4$, то более или менее очевидно, что каждая компонента вещественной части дает примитивный ненулевой элемент в $H_{1}(X ; \mathbf{Z})$ и, следовательно, в $H_{1}(\operatorname{Jac}(X) ; \mathbf{Z})$. Рис. 21. Связная компонента $T_{0}$ многообразия $\operatorname{Jac}(X)_{\mathbf{R}}$ задается включением $P \hookrightarrow \mathbf{C}^{2}$ некоторого сдвига вещественной плоскости $\mathbf{R}^{2}$ и соответствующей решеткой $\Lambda_{0} \hookrightarrow \Lambda$, так что мы получаем коммутативную диаграмму Генератор $H_{1}\left(X_{0}\right)$ отображается на примитивный ненулевой элемент $H_{1}\left(T_{0}\right)$. Таким образом, дополнение любой компоненты кривой $X_{\mathbf{R}}$ в своем торе является цилиндром. Используя относительное расположение дивизоров $\mathcal{D}_{i}$ (см. предложение 2.3.1), можно легко получить полное описание топологии вещественных поверхностей уровня $\mathcal{T}_{h}^{\prime}$, как показано на рис. 21. Предложение 2.3.3. Вещественная поверхность уровня $\mathcal{T}_{h}^{\prime}$ состоит из трех открытых дисков, если $X_{\mathrm{R}}$ связно, трех открытых дисков $и$ трех иилиндров, если $X_{\mathbf{R}}$ состоит из двух компонент, и трех открытых дисков, шести цилиндров и тора, если $X_{\mathbf{R}}$ имеет три компоненты связности. Собственная цепочка Тода. Используя это предложение, можно описать топологию исходной поверхности уровня $\mathcal{T}_{h}$ (которая компактна): отображение собственных векторов $\varphi: \mathcal{T}_{h} \rightarrow \operatorname{Pic}^{4}(X)$ является четырехлистным накрытием над своим образом, который содержится в вещественной части якобиана без дивизоров $\mathcal{D}_{i}$ (поскольку $\varphi$ не инъективно, то могут найтись, и они действительно есть, вещественные точки на якобиане, которые являются образами невещественных точек поверхности $\mathcal{T}_{h}$ ). Поскольку гамильтониан является собственной функцией, единственные значения $h$, которые могут дать непустые уровни $\mathcal{T}_{h}$, – это те, для которых $\mathcal{T}_{h}^{\prime}$ имеет компактную компоненту (случай, когда $X_{\mathbf{R}}$ имеет максимально возможное число компонент). Кроме того, знаки $a_{1}, a_{2}$ и $a_{3}$ (где $a_{1} a_{2} a_{3}=1$ ) позволяют делать различие между четырьмя группами связных компонент в $\mathcal{T}_{h}$. Окончательно получаем Замечание. Как показывает рис. 21 и предложение 2.3.1, существует выделенное направление, касательное к многообразию $\operatorname{Jac}(X)$. Исходя из изоспектрального множества $\mathcal{T}_{h}$ матриц Якоби (которое фактически не имеет отношения ни к одной дифференциальной системе), мы находим, используя отображение собственных векторов $\varphi$, выделенное направление, касательное к $\mathcal{T}_{h}$. А это уже неожиданный результат. Еще более удивительным является то, что это есть направление потока Тода, потока гамильтониана $H$ (как видно из доказательства предложения 1.2.2). Более подробную информацию по этому вопросу можно найти в [12]. Бифуркации. Заметим, что торы, равно как и цилиндры, могут исчезать, становясь все тоньше и тоньше. Однако не существует никакой морсовской модели, согласно которой могут исчезать диски … поэтому они остаются.
|
1 |
Оглавление
|