Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Из леммы 8.1 сразу вытекает способ построения траекторных инвариантов. Нам следует лишь подобрать такие комбинации из элементов избыточного $t$-оснащения, которые не зависят от выбора набора сечений $\mathbb{P}$. С формальной точки зрения мы можем рассмотреть следующую конструкцию. Пусть $\mathbb{T}$ – избыточное $t$-оснащение, соответствующее некоторому набору трансверсальных сечений $\mathbb{P}$. Если мы изменим набор сечений, то избыточное $t$ оснащение также изменится по некоторому вполне определенному правилу. На самом деле это означает, что на множестве всех избыточных $t$-оснащений $\{\mathbb{T}\}$ действует группа замен трансверсальных сечений, которую мы обозначим через $G \mathbb{P}$. Оказывается, в качестве $G \mathbb{P}$ следует рассматривать прямую сумму групп целочисленных когомологий $H^{1}\left(P_{c}, \mathbb{Z}\right)$ для всех седловых атомов данной молекулы и еще $s$ экземпляров группы целых чисел $\mathbb{Z}$. Каждый экземпляр соответствует некоторому атому типа $A$. Начнем с атомов без звездочек. В этом случае 3-атом имеет тип прямого произведения $\left(Q_{c}, f^{-1}(c)\right)=\left(P_{c}, K_{c}\right) \times S^{1}$. Рассмотрим два трансверсальных сечения Поскольку оба сечения интересуют нас с точностью до изотопии, то мы можем без ограничения общности считать, что сечения $P_{t r}$ и $P_{t r}^{\prime}$ пересекаются с критическими окружностями атома в одних и тех же точках. Это означает, что образы каждой вершины графа при отображениях $j$ и $j^{\prime}$ совпадают. Рассмотрим произвольное ребро $K_{i}$ графа $K$ и его образы $j\left(K_{i}\right)$ и $j^{\prime}\left(K_{i}\right)$. Ясно, что $j\left(K_{i}\right)=P_{t r} \cap L_{i}$ и $j^{\prime}\left(K_{i}\right)=P_{t r}^{\prime} \cap L_{i}$, где $L_{i}$ – одно из колец, из которых состоит критический уровень $f^{-1}(c)$ интеграла $f$. Итак, мы имеем на кольце $L_{i}$ два ребра $j\left(K_{i}\right)$ и $j^{\prime}\left(K_{i}\right)$ с совпадающими концами, лежащими на противоположных граничных окружностях кольца. На кольце $L_{i}$ имеется ориентированный цикл $\lambda$ – слой тривиального расслоения Зейферта. На ребрах $j\left(K_{i}\right)$ и $j^{\prime}\left(K_{i}\right)$ таюже имеются естественные ориентации, заданные потоками Пуанкаре $w$ и $w^{\prime}$. Эти потоки индуцированы, в свою очередь, одним и тем же гамильтоновым полем $v$ на кольце $L_{i}$. Отсюда следует, что имеет естественный смысл следующее разложение: $j^{\prime}\left(K_{i}\right)=j\left(K_{i}\right)+m_{i} \lambda$, где $m_{i}$ – некоторое целое число, положительное или отрицательное. Комментарий к этой формуле: разность $j^{\prime}\left(K_{i}\right)-j\left(K_{i}\right)$, очевидно, является 1 -циклом на кольце $L_{i}$ с образующей $\lambda$. Следовательно, этот 1 -цикл кратен $\lambda$ с некоторым целым коэффициентом $m_{i}$. Итак, в результате сравнения двух сечений, на ребре $K_{i}$ понвилось целое число $m_{i}$. Этот набор целых чисел мы будем интерпретировать как 1 -коцепь $m$ и называть различающей коцепью. Заметим теперь, что коцепь $m$ определена с точностью до целочисленной кограницы. Действительно, рассмотрим образ некоторой вершины графа $K_{c}$ при отображении $j^{\prime}$. Поскольку сечения нас интересуют с точностью до изотопии, то мы можем протянуть эту вершину вдоль слоя тривиального $S^{1}$-расслоения и вернуться на прежнее место. С одной стороны при такой операции сечение изменилось на изотопное, с другой, как нетрудно увидеть, к различающей коцепи $m$ добавилась элементарная кограница, отвечающая данной вершине графа $K_{c}$. Таким образом, корректно определенной различающей двух сечений является в данном случае элемент целочисленной группы когомологий $C^{1}\left(K_{c}, \mathbb{Z}\right) / B^{1}\left(K_{c}, \mathbb{Z}\right)=H^{1}\left(K_{c}, \mathbb{Z}\right)$. Учитывая, что атом $P_{c}$ стягивается на свой граф $K_{c}$, мы можем интерпретировать построенную различающую $m$ как элемент группы $H^{1}\left(P_{c}, \mathbb{Z}\right)$. Обратно, пусть $P_{t r}=j\left(P_{c}\right)$ – произвольное сечение и $m$ – любой элемент из $H^{1}\left(P_{c}, \mathbb{Z}\right)$. Тогда можно однозначно, с точностью до изотопии восстановить новое сечение $P_{t r}^{\prime}=j^{\prime}\left(P_{c}\right)$ такое, что различающая между $P_{t r}$ и $P_{t r}^{\prime}$ будет каю раз равняться $m$. Рассмотрим теперь случай атомов со звездочками. Общая схема рассуждений сохраняется. В этом случае в качестве трансверсальных сечений мы должны рассматривать вложения дубля $\widehat{P}_{c}$ соответствующего атома со звездочками $\left(P_{c}, K_{c}\right)$. Итак, пусть даны два вложения Напомним, что говоря здесь о вложении дубля, мы рассматриваем только такие вложения, для которых диаграмма коммутативна. где $\left\{m_{i}\right\}$ – целые числа, а $\widehat{K}_{i}$ – ребра графа $\widehat{K}_{c}$. Это соотношение аналогично формуле $K_{i}^{\prime}=K_{i}+m \lambda$, полученной нами выше для атомов без звездочек. Каждое кольцо $L_{i}$ особого слоя $L$ пересекается, в данном случае, с трансверсальным сечением не по одному отрезку, как в случае атомов без звездочек, а по двум отрезкам. Эти отрезки переходят друг в друга при инволюции $\tau$, определенной на дубле. Их можно обозначить через $\widehat{K}_{i}$ и $\tau\left(\widehat{K}_{i}\right)$. Тогда соотношение, аналогичное полученному выше для отрезка $\widehat{K}_{i}$, будет верно и для отрезка $\tau\left(\widehat{K}_{i}\right)$. где $m_{i}$ – те же самые, что и в формуле для ребер $\widehat{K}_{i}$. Получающийся набор чисел $\left\{m_{i}\right\}$ можно интерпретировать как « $\tau$-симметричную 1-коцепь, то есть элемент группы $C^{1}\left(K_{c}, \mathbb{Z}\right)$. Другими словами, эта коцепь принимает одинаковые значения на «парных ребрах», переходящих друг в друга при инволюции $\tau$. Следовательно, набор чисел $\left\{m_{i}\right\}$ можно интепретировать Обратно, если задан произвольный элемент $m \in H^{1}\left(P_{c}, \mathbb{Z}\right)$, то всегда можно построить по нему трансверсальное сечение $P_{t r}^{\prime}=j^{\prime}\left(\widehat{P}_{c}\right)$ в 3 -атоме $Q_{c}$, отличающееся от сечения $P_{t r}=j\left(\widehat{P}_{c}\right)$ на этот коцикл $m$. В случае атома типа $A$ аналог «различающей» $m$ вводится аналогичным образом. Напомним, что топологически атом $A$ представляет собой полноторие, и произвол в этом случае состоит в выборе слоя $\mu$ тривиального расслоения Зейферта на этом граничном торе. Ясно, что два таких слоя всегда связаны соотношением $\mu^{\prime}=\mu+m \lambda$, где $\lambda$ – меридиан полнотория, а $m$ – некоторое целое число. Именно это число и является аналогом «различающей», и мы для удобства будем употреблять этот термин как для седловых атомов, так и для атомов типа $A$. Итак, если мы имеем некоторый набор сечений $\mathbb{P}=\left\{P_{t r}\right\}$ и некоторый набор коциклов $\mathbb{M}=\left\{m_{c}\right\} \in G \mathbb{P}$, то мы можем естественным способом построить новый набор сечений $\mathbb{P}^{\prime}$, являющийся результатом действия $\mathbb{M}$ на $\mathbb{P}$. Таким образом, мы можем определить действие группы замен трансверсальных сечений $G \mathbb{P}$ на множестве всех трансверсальных сечений $\{\mathbb{M}\}$. Отметим, что структура группы $G \mathbb{P}$ очень проста: это свободная абелева группа $\mathbb{Z}^{n+k}$, где $n-$ число замкнутых гиперболических траекторий системы с ориентируемыми сепаратрисными диаграммами, $k$ – общее число всех атомов. Здесь мы пользуемся тем, что размерность группы гомологий $H^{1}\left(P_{c}, \mathbb{Z}\right)$ для каждого отдельного седлового атома вычисляется по следующей простой формуле: $\operatorname{dim} H^{1}\left(P_{c}, \mathbb{Z}\right)=s_{c}+1$, где $s_{c}$ – число вершин графа $K_{c}$ кратности четыре (т. е. число гиперболических траекторий с ориентируемыми сепаратрисными диаграммами, попавших в данный атом). Следующее утверждение дает ответ на вопрос о том, что происходит с потоком Пуанкаре при замене трансверсального сечения. Доказательство предложения 8.1. Рассмотрим рис. 8.5, на котором изображено плоское кольцо $L_{i}$ с двумя трансверсальными гладкими кривыми $j\left(K_{i}\right)$ и $j^{\prime}\left(K_{i}\right)$, изображенными жирными линиями. Здесь $j^{\prime}\left(K_{i}\right)$ получается из $j\left(K_{i}\right)$ намоткой с коэффициентом $m_{i}=1$ вдоль оси кольца. Тонкой линией изображена траектория векторного поля $v=\operatorname{sgrad} H$, поведение которой в силу наших предположений соответствует рис. $3.16(\mathrm{~b})$. Напомним, что ребра $j\left(K_{i}\right)$ и $j^{\prime}\left(K_{i}\right)$ являются пересечениями трансверсальных сечений $P_{t r}$ и $P_{t r}^{\prime}$ с кольцом $L_{i}$. Мы выбрали их специальным образом, чтобы доказательство сформулированного утверждения было более наглядным. Мы вправе делать это, поскольку сечение можно подвергать изотопии без изменения его свойств. Рис. 8.5 На отрезках $S_{1} X$ и $Y S_{2}$ ребра $j\left(K_{i}\right)$ и $j^{\prime}\left(K_{i}\right)$ совпадают, а накрутка производится на интервале $X Y$. Следовательно, на отрезках $S_{1} X$ и $Y S_{2}$ потоки Пуанкаре $\sigma^{t}$ и ${\sigma^{\prime t}}^{t}$ совпадают. Что происходит между точками $X$ и $Y$ ? Легко видеть по нашему построению, что $Y=$ $=\sigma^{2}(X)$ и в то же время $Y=\sigma^{\prime 1}(X)$. На всех близких торах при аналогичном выборе сечений, т.е. когда они совпадают всюду за исключением правильно подобранного участка, ситуация будет в точности аналогичной. Таким образом, потоку $\sigma^{t}$ требуется на единицу больше времени, чтобы пройти участок от $X$ до $Y$, чем потоку $\sigma^{\prime t}$. Но это и означает, что поток $\sigma^{\prime t}$ получается из $\sigma^{t}$ вырезанием куска единичной длины, что и требовалось доказать. Пункт «б», т.е. случай атомов со звездочками, доказывается аналогично. Нужно в точности повторить все предыдущие рассуждения для обоих парных ребер $\widehat{K}_{i}$ и $\tau\left(\widehat{K}_{i}\right)$. Предложение 8.1 доказано.
|
1 |
Оглавление
|