Пусть дана молекула и пусть — произвольное ребро, на котором заданы два вектора и .
Определение 8.3. В качестве инварианта, стоящего на ребре с меткой , мы возьмем вектор . В качестве инварианта, стоящего на ребре с меткой , мы возьмем вектор вращения по модулю 1 . Будем иногда обозначать этот инвариант .
Вектор на конечном ребре и вектор на бесконечном ребре молекулы мы будем называть -инвариантом системы на данном ребре.
Комментарий. В этом определении вычитание числа из вектора понимается так: из каждой компоненты вектора вычитается это число. При этом . Говоря о , мы имеем в виду, что все компоненты вектора определены с точностью до целого числа, одинакового для всех компонент.
Тот факт, что построенный нами набор чисел действительно является корректно определенным инвариантом системы, не зависящим от выбора трансверсальных сечений, сразу следует из явных формул действия группы замен (предложение 8.2). Отметим, что для конечных ребер -инвариант имеет естественный смысл. Он просто является -вектором для функции вращения , записанной в «базисе» , который определен однозначно и не зависит от выбора трансверсальных сечений. Термин «базис» мы взяли в кавычки, поскольку циклы являются независимыми, но базиса фундаментальной группы, вообще говоря, не образуют. Это, однако, не препятствует тому, чтобы записать функцию вращения относительно этой пары циклов.
Вектор вращения фактически описывает эволюцию вектора нашей системы при изменении вдоль ребра молекулы. Определим еще один траекторный инвариант ind , называемый индексом системы на ребре и показывающий «число оборотов», совершенных вектором при его движении вдоль ребра. Этот инвариант однозначно вычисляется по -вектору, поэтому его не нужно вносить в полный окончательный список независимых инвариантов. Однако этот индекс необходим для формулировки ограничений на векторы вращения, накладываемье системой.
Поскольку число оборотов, совершаемое вектором , не является целым, то нам понадобится некоторая дополнительная конструкция. Дадим точное определение.
Шаг 1. Восстановим по -вектору функцию вращения с точностью до сопряженности. Затем мы восстановим по функцию угла
Углы и всегда удовлетворяют некоторым естественным ограничениям, сформулированным выше при обсуждении перекрестных ограничений 2 -го типа. См. пункт 3 .
Шаг 2. Отметим, что интегрируемую невырожденную систему можно всегда так пошевелить в окрестности атома на ребре, чтобы предельное положение вектора системы совпало по направлению с любым наперед заданным вектором , где . Здесь и — допустимая система координат. Доказательство следует из того факта, что в окрестности атома система движется по торам Лиувилля, являющимся граничными торами «тонкого» полнотория с очень «маленьким» меридианом. Запишем поле в виде . Здесь переменная-угол отвечает сжимающемуся циклу , и поэтому, рассматривая произвольные конечные возмущения функции , мы будем получать
малые возмущения поля (в смысле -метрики). Итак, шевеля систему, мы можем произвольно менять предельное положение вектора в некоторой полуплоскости.
Шаг 3. Шевельнем систему в окрестности атома так, чтобы предельное положение угла стало кратным . Этим условием оно будет определено однозначно, поскольку мы не имеем права выходить за пределы полуплоскости.
Отметим, что в окрестности седлового атома шевеление системы не влияет на предельное положение вектора, но здесь и без этого шевеления предельное положение вектора уже совпадает с одним из базисных циклов (в зависимости от того, начало или конец ребра мы рассматриваем). Таким образом, предельное положение угла кратно автоматически.
Шаг 4. После этого определим индекс системы на ребре, положив ind . Индекс не зависит от выбора шевеления системы. Ясно, что он полностью определяется лишь вектором вращения и типом ребра. ЗАмЕчАниЕ. Это определение впервые возникло в теории бордизмов интегрируемых гамильтоновых систем и принадлежит А. В. Болсинову и Т. З. Нгуену. Оно было, в частности, использовано Т. З. Нгуеном в работе [342] для построения примера интегрируемой системы не бордантной нулю.