ЧЕБЫШЕВСКИЙ СБОРНИК
Том 23. Выпуск 1.
УДК 517.938.5 DOI 10.22405/2226-8383-2022-23-1-53-82
Биллиардные книжки малой сложности и реализация слоений Лиувилля интегрируемых систем1
В. В. Ведюшкина, В. А. Кибкало
Ведюшкина Виктория Викторовна — доктор физико-математических наук, Московский государственный университет имени М. В. Ломоносова (г. Москва). e-mail: [email protected]
Кибкало Владислав Александрович — кандидат физико-математических наук, Московский государственный университет имени М. В. Ломоносова; Московский центр фундаментальной и прикладной математики (г. Москва). e-mail: slava.kibkalo@gm,ail.com,
Аннотация
В статье изучается топология интегрируемых биллиардных книжек, то есть систем на клеточных комплексах, склеенных из столов плоских софокусных биллиардов. Получены существенные продвижения по доказательству локальной версии гипотезы Фоменко о биллиадах. В частности, биллиардами удалось реализовать важный класс подграфов в графе-инварианте Фоменко-Цишанга, классифицирующем интегрируемые системы с точки зрения топологии их слоений Лиувилля. Затем выполнена комбинаторная классификация биллиардных книжек малой сложности (имеющих малое число одномерных клеток), склеенных из плоских областей, содержащие фокусы семейства квадрик. Для этих систем ведется вычисление инвариантов ФоменкоЛДишанга.
Ключевые слова: интегрируемые биллиарды, инвариант Фоменко-Цишанга, перестановка.
Библиография: 37 названий. Для цитирования:
В. В. Ведюшкина, В. А. Кибкало. Биллиардные книжки малой сложности и реализация слоений Лиувилля интегрируемых систем // Чебышевский сборник, 2022, т. 23, бып. 1, с. 53 82.
1 Исследование выполнено за счет гранта Российского научного фонда (проект 20-71-00155 в МГУ имени М. В .Ломоносова).
CHEBYSHEVSKII SBORNIK Vol. 23. No. 1.
UDC 517.938.5 DOI 10.22405/2226-8383-2022-23-1-53-82
Billiard books of low complexity and realization of Liouville foliations of integrable systems
V. V. Vedvushkina, V. A. Kibkalo
Vedyushkina Victoria Viktorovna — doctor of physical and mathematical sciences, Lomonosov Moscow State University (Moscow). e-mail: [email protected]
Kibkalo Vladislav Alexandrovich — candidate of physical and mathematical sciences, Lomonosov Moscow State University (Moscow). e-mail: [email protected]
Abstract
In paper we study the topology of integrable billiard books, (i.e. systems on CW-complexes glued from flat domains of confocal billiards. Significant progress has been made in proving the local version of the billiard Fomenko conjecture. In particular, billiards were used to realize an important class of subgraphs of the Fomenko - Zieschang graph invariants (that classify Liouville foliations of integrable systems in topological sense). Then we classify in combinatorial sense billiard books of low complexity (with a small number of one-dimensional cells), glued from flat domains that contain foci of the family of quadrics. Calculation of Fomenko-Zieschang invariants for these systems is in progress.
Keywords: integrable billiards, Fomenko-Zieschang invariant, permutation.
Bibliography: 37 titles.
For citation:
V. V. Vedyushkina, V. A. Kibkalo, 2022, "Billiard books of low complexity and realization of Liouville foliations of integrable systems" , Chebyshevskii sbornik, vol. 23, no. 1, pp. 53-82.
1. Введение
Системы математических биллиардов — динамических систем с ударами — привлекают внимание исследователей из самых разных областей математики и смежных наук. Теории биллиардов посвящены, например, монографии Д.Биркгофа [1], С.Л.Табачникова [2], В.Драговича и М.Раднович [3], В.В.Козлова и Д.В.Трещева [4]. Важное занимает при этом изучение интегрируемого случая.
Совсем недавно были доказаны различные формулировки гипотезы Биркгофа — критерия интегрируемости биллиардов из тех или иных классов, см. [5, 6]. Так плоский компактный од-носвязный стол с кусочно-гладкой границей (исключая столы-многоугольники) должен быть ограничен дугами квадрик с общими фокусами (с углами f/2 в точках излома).
Открытые В.В.Ведюшкиной биллиардные книжки [7] — кусочно-плоские клеточные комплексы с перестановками, склеенные из плоских софокусных столов — наследуют интегрируемость плоских софокусных биллиардов, но принципиально расширяют их класс. Наличие на каждой 1-клетке циклической перестановки и правило коммутирования перестановок при каждой 0-клетке позволяют задать непрерывное движение шара по столу-комплексу.
Используя новые классы биллиардов, удалось доказать ряд положений фундаментальной гипотезы А.Т.Фоменко о биллиардах [8]. Согласно последней, с точки зрения топологии слоений Лиувилля, интегрируемых биллиардов "не меньше", чем интегрируемых систем (с некоторыми условиями). Как известно из теории топологической классификации интегрируемых систем [10, 11, 12], разработанной А.Т.Фоменко вместе с соавторами и учениками, классифицирующим инвариантом Фоменко-Цишанга этой эквивалентности является граф со следующим оснащением. При вершинах указаны типы особенностей, на ребрах — пары меток г = Q mod 1U {те}, £ = ±1 а метка п £ Z стоит на связных подграфах (состоящих из седловых особенностей), прообраз которых образует единое многообразие Зейферта с нестягиваемым в Q3 слоем.
Любая невырожденная особенность [7] и база слоения Лиувилля с такими вершинами-атомами [13] были реализованы В.В.Ведюшкиной и И.С.Харчевой как инварианты слоения Лиувилля подходящей, причем задаваемой алгоритмически, биллиардной книжки. Естественным вопросом стала реализация произвольных значений числовых меток (да, они реализуются [14, 15]) и их локальных комбинаций, в том числе, на конкретных подграфах инварианта. Эти вопросы стали предметом "локальной" версии гипотезы А.Т.Фоменко [16], формулировку которой приведем в разделе 2. Иными словами, ее вопрос в том реализуется ли любое слоение в окрестности прообраза ребра или подграфа-семьи (прообраз которого — многообразие Зейферта с нестягиваемым слоем)? В настоящей работе получены существенные продвижения, например, полный ответ для случая многообразий Зейферта прямого произведения и любой метки п на нем.
Другой обсуждаемой задачей является классификации биллиардных книжек и вычисление их инвариантов (прежде всего, содержащих фокусы квадрик). Классификация наборов коммутирующих перестановок выполнено для важного класса биллиардных книжек малой сложности. Для важных семейств таких систем получены инварианты Фоменко-Цишанга. Полное решение этой задачи, как ожидается, будет использовать подходы и результаты алгебры и теории чисел: теории конечных групп, колец вычетов и коммутирующих перестановок.
Мы посвящаем нашу работу профессору механико-математического факультета МГУ Владимиру Николаевичу Чубарикову в связи с его 70-тилетием, присоединяемся к поздравлениям и всем добрым пожеланиям.
1.1. Интегрируемость геодезических потоков и плоских биллиардов
В нашей работе рассмотрен случай интегрируемых биллиардов, то есть имеющих, помимо энергии, еще одну функцию (дополнительный первый интеграл), постоянную на фазовых траекториях. Изучение таких систем было начато еще классиками. В первую очередь, отметим известную теорему Якоби и Шаля (см. [17], а также [4]).
Теорема 1 (Якоби, Шаль). Геодезический поток индуцированной метрики на невырожденной квадрике размерности п — 1 в пространетве Мга вполне интегрируем.
А именно, касательная линия к его траектории касается одновременно еще п — 2 квадрик (помимо самого конфигурационного пространства как квадрики в Мга). Все п — 1 квадрик должны быть софокусными, т.е. удовлетворять уравнению
1 п
+ ■ ■ ■ +--- = 1, —те < ai < A i < a¿+i < те, i = 1,... ,п — 1
а 1 — А ап — А
для некоторых значений Хг,г = 1,...,п — 1 параметра А € К и констант а\ < ...,< ап. Последние являются квадратами длин полуосей квадрики со значением А = 0. Тогда числа А как и модуль вектора скорости частицы, могут пониматься как первые интегралы системы.
В последние годы в изучении интегрируемых биллиардов с двумя степенями свободы был достигнут существенный прогресс. С одной стороны, доказательство нескольких формулировок знаменитой гипотезы Биркгофа о биллиардах [18, 5, 6] показало, что интегрируемость плоского биллиарда на компактном односвязном столе с гладкой границей не только следует, из того, что граница — это эллипс или окружность, но и наоборот, требует, этого. Близкие эффекты, отметим, наблюдаются в случае кусочно-гладкой границы стола [18], системах геодезических потоков метрик постоянной кривизны [5], в биллиардах в постоянном магнитном поле [19], а также в случае систем большей размерности [20].
Из гипотезы Биркгофа, наравне с выводом о наличии тесной связи интегрируемости с со-фокусными квадриками, следует также и "узость" класса плоских интегрируемых биллиардов в топологическом смысле. Опуская детали, у таких биллиардов замыкания их фазовых траекторий, попадающих на фиксированный трехмерный уровень энергии Q^ = {Н = h}, устроены одним из конечного числа способов. Иными словами, эти уровни энергии принадлежат к одному классу послойной гомеоморфности (сохраняющей слоение Лиувилля системы — разбиение фазового пространства и его подмногообразий на совместные уровни энергии и интеграла).
В описанной в разделе 1.3 конструкции биллиардной книжки (стола-комплекса с перестановками, склеенного из таких плоских биллиардов), предложенной В.В.Ведюшкиной [21, 7], они играют роль "элементарных кирпичей". Хотя топология слоения для каждого плоского стола хорошо известна [22, 23, 24], топология слоений Лиувилля систем на столах-комплексах оказалась очень разнообразной
Замечание 1. Большой интерес представляет изучение замкнутых траекторий систем биллиардов на столах, ограниченных софокусными квадрикам,и. В недавних работах [25, 26] В.Драговича и М.Раднович была установлена связь п-периодических траекторий биллиарда внутри эллипсоида Ed~l в прост,ране mee Rd с экстремальными полиномами на наборе из нескольких пром,ежут,ков числовой прямой R. Рассмотрены были, в частности, полиномы П.Л.Чебышева, Е.И.Золотарева и Н.И.Ахиезера.
1.2. Топологические инварианты интегрируемых систем
Топологические свойства интегрируемых биллиардов, как и других интегрируемых систем, определяются тем, как неособый трехмерный уровень постоянной энергии в фазовом пространстве расслаивается на двумерные торы и особые слои, на которых постоянны значения дополнительного интеграла. Отметим, что почти все такие слои являются замыканиями фазовых траекторий системы. Иными словами, наличие послойного гомеоморфизма между такими слоениями двух систем на уровнях их энергии означает возможность перевести друг в друга замыкания почти всех решений одной системы в замыкания почти всех решений другой.
В работах А.Т.Фоменко, его соавторов и учеников (см., например, [11, 27]) была построена теория топологической классификации таких слоений (и соответствующих систем). Подробный обзор данной теории и ее приложений к задачам геометрии, механики и математической физики имеется в монографии [12]. В основе лежит отмеченное и изученное А.Т.Фоменко в более ранних работах [28, 10] свойство боттовости (невырожденности) критических точек, обобщающее свойство точек Морса на интегрируемый случай.
Трехмерные уровни энергии Q^ : Н = h невырожденных интегрируемых систем с боттов-скими особенностями склеиваются из окрестностей особых слоев, содержащих критические окружности, по граничным торам этих окрестностей-атомов. Такие связные блоки, содержащие ровно один особый слой, называют 3-атомами Фоменко. Они бывают эллиптическими (минимальными или максимальными) или седловыми (прямого произведения или с поворотом на ж). Это зависит от того, являются вещественными или мнимыми собственные значения оператора линеаризации некоторого гамильтонова векторного поля в критических точках, подробнее [12, т. 1, гл. 1].
Эллиптический атом есть произведение слоя S1 на диск D2, расслоенный функций Морса с одной точкой минимума или максимума. Его особый слой одномерен и совпадает с критическим множеством, а его окрестность послойно гомеоморфна расслоенному полноторию.
Седловые окружности лежат на двумерных особых слоях. Окрестность седловой боттов-ской окружности имеет тип произведения окрестности седловой морсовской точки в D2 на окружность, возможно, с поворотом на ж. В последнем случае говорят о седловом атоме со звездочкам,и. Отметим, что в разделе 2.3 все атомы предполагаются без звездочек, т.е. прямого произведения S1 на двумерную базу V2.
Классифицирующим инвариантом Q^ относительно лиувиллевой эквивалентности (т.е. послойной гомеоморфности с учетом некоторых ориентаций) является граф, оснащенный символами особенностей-атомов при своих вершинах и числовыми метками г, е, п. Его называют инвариантом Фоменко-Цишанга или меченой молекулой.
Для нахождения числовых меток г,е,п по формулам из [12, т.1, гл. 4, пар. 3] требуется определить на граничных торах 3-атомов некоторые базсы, т.е. пары циклов из Hi(T2, Z). Для наглядности будем понимать их как замкнутые кривые на торе без "лишних" точек самопересечения, устранимых путем гомотопии.
Замечание 2. Отметим некоторые детали (подробнее см. [12, т.1, гл. 3, 4J), важные для понимания основных шагов доказательств:
• на каждом, торе базис состоит из однозначно определенного цикла, X (для, атома А это стягиваемый по полноторию цикл, а для седлового без звездочек он гомологичен критической, окружности), и цикла, /л, дополняющего цикл X до базиса и определенного неоднозначно;
• базисы на системе граничных торов седлового 3-атома V связаны условием: циклы, ц, образуют единое 2-сечение атома V
•
тель —1.
Метки г £ Q mod 1 U {те}, е = ±1, стоящие на ребре молекулы и метка п £ Z, стоящая на некоторых подграфах, имеют собственную топологическую интерпретацию. Например, значение метки г = те между двумя седловыми атомами, склеенными по паре своих граничных торов, означает, что критические окружности указанных 3-атомов задают гомологичные циклы в 3-многообразии с границей, получаемом после склейки. В то же время значение г = те на ребре, соединяющем эллиптический атом А и седловой атом, означает, что критическая окружность седлового атома гомологична меридиану — циклу А — полнотория (атома А), т.е. сама гомологична нулю в Hi(Q:i).
1.3. Биллиарды на столах-комплексах и их фазовая топология
Применение описанной выше теории топологической классификации интегрируемых систем к изучению класса интегрируемых биллиардов оказалось весьма плодотворным. Приведем вначале следующий пример.
Рассмотрим интегрируемый геодезический поток на эллипсоиде Е 2 С R3 и устремим малую полуось эллипсоида к нулю. Инварианты Фоменко-Цишанга биллиарда и геодезического потока были вычислены (первый был независимо найден В.В.Ведюшкиной [23] и В.Драговичем, М.Раднович [22], а второй совпадает с таковым для знаменитого волчка Эйлера, см. [12]).
Такой предельный переход от эллипсоида к эллипсу меняет топологию конфигурационного пространства и слоения Лиувилля системы. Например, изменился тип 3-атома: 3-атом В вместо 3-атома С2, см. [12]. Вместе с тем, каждой траектории полученного этим переходом биллиарда в эллипсе естественно соответствует две (проецирующиеся на нее) траектории на биллиарда кусочно-плоском столе 2^2 (склеенном из двух столов плоского биллиарда ^2
внутри эллипса). Возможно, именно поэтому указанное обобщение биллиардов не было замечено ранее, до постановки задачи о топологии слоений Лиувилля на фазовом пространстве этих систем и вычисления их инвариантов, сравнения получаемых ответов.
Система биллиарда на столе 2А2 может служить весьма понятным примером систем топологических (обобщенных) биллиардов, класс которых был введен В.В.Ведюшкиной в работе [29]. Конфигурационное пространство является кусочно-плоским двумерным многообразием, склеенным из плоских софокусных столов по изометричной склейке дуг границы. Топологические свойства таких биллиардов были изучены: как вопрос "структурной" классификации их столов [29, 30], так и последующее вычисление для них инвариантов Фоменко- Цишанга, [29, 31]. В этом случае удается получить полный и обозримый ответ, а найденные инварианты совпадают с таковыми для многих интегрируемых систем из приложений (см. обзоры [8, 32]).
Следующим шагом оказалось введение В.В.Ведюшкиной класса биллиардных книжек. Эти столы-комплексы, как и топологические биллиарды, являются кусочно-плоскими, но теперь по 1-клетке (общему ребру склейки) могут склеиваться более двух плоских столов. В таком случае динамика частицы после удара о данную 1-клетку задается циклической перестановкой на множестве склеенных по ней 2-клеток. При проекции комплекса на плоскость эти 1-клетки отображаются на дуги софокусных квадрик. Таким дугам припишем перестановку, равную произведению независимых циклов. Для корректности определения движения в вершинах (0-клетках комплекса) наложим дополнительное условие на перестановки. При каждой вершине должны коммутировать перестановки на двух взаимно-перпендикулярных квадриках, проходящих через проекцию вершины.
Тем самым, был получен новый и весьма обширный класс, изучение которого сразу ставит вопросы из области алгебры систем перестановок с условиями коммутирования (для классификации столов-комплексов) и теории классов вычетов по конечным модулям (для вычисления инвариантов). Дело в том, что для описания циклов-кривых допустимых базисов (необходимых для вычисления меток инварианта Фоменко-Цишанга) потребуется ответить на вопрос, как устроены независимые циклические перестановки системы коммутирующих перестановок и некоторых их степеней.
Изучение биллиардных книжек и вычисление их топологических инвариантов позволило доказать ряд положений фундаментальной гипотезы А.Т.Фоменко о биллиардах (подробнее см. программную статью [8]). Были алгоритмически построены биллиарды, имеющие в своем слоении произвольный 3-атом [7] (боттовскую особенности интегрируемых систем), а затем — и произвольную наперед заданную базу слоения Лиувилля (инвариант Фоменко-Цишанга в отсутствие меток). Кроме того, слоения многих биллиардов (даже на достаточно простых столах) эквивалентны таковым для многих известных интегрируемых систем из механики и математической физики [9, 33]. Тем не менее, ответ на общий вопрос пока остается неясен.
1.4. Элементарные плоские биллиарды: напоминание
Зафиксируем семейство софокусных квадрик соотношением
(Ь - \)х2 + (а - \)у2 = (Ь - \)(а - X).
Здесь а, Ь — фиксированные параметры семейства, которые в частности фиксируют расстояние между фокусами. Если а > Ь > 0, данное соотношение описывает семейство софокусных эллипсов и гипербол, в которые включены фокальная прямая у = 0 и предельная гипербола ж = 0.
Под элементарным биллиардом понимается компактная связная часть плоскости, граница которой состоит из дуг софокусных квадрик и не содержит углов 3ж/2. Отметим, что софокусные квадрики всегда пересекаются под прямыми углами. Запрет углов 3ж/2 позволяет однозначно определить биллиардное движение после попадания материальной точки в
угол, и это движение непрерывно. А именно, после отражения точка продолжает движение в противоположном направлении но тому же отрезку, но которому попала в угол.
На множестве элементарных биллиардов можно ввести естественное отношение эквивалентности, которое, как было показано ранее [29], сохраняет слоение Лиувилля. Нестрого говоря, два биллиарда называются эквивалентными, если один получается из другого изомет-рией плоскости или же изменением параметров границ стола-области так, чтобы изменяемые дуги границ во время деформации не меняли бы своего тина. Определение запрещает сегменту изменяемой границы менять свой тин, то есть сегменты во время деформации остаются либо эллиптическими (т.е. параметры квадрик, на которых располагаются эти сегменты, непрерывно меняются в пределах (-те, Ь)), либо гиперболическими (т.е. параметры квадрик, па которых располагаются эти сегменты, непрерывно меняются в пределах (Ь, а]), либо все время лежат на фокальной прямой (во все время деформации параметр остается равным Ь). При этом повторим, что мы предполагаем что все эллипсы и гиперболы принадлежат одному семейству софокусных квадрик с параметрами а и Ь. Примеры элементарных биллиардов различных классов, необходимых в настоящей работе изображены на рис. 1. Их обозначения совпадают с теми, которые даны в статье [29].
Рис. 1: Плоские биллиарды, ограниченные дугами софокусных квадрик.
Замечание 3. Для систем биллиардов возможно изобразить цикл на конфигурационном пространстве, спроецировав его за счет известного устройства слоения в прообразе каждой точки биллиардного стола. Отметим, что при этом надо сохранить информацию о направлении обхода по циклу и о том, каким из 4-х способов были направлены вектора скорости, в парах с точками цикла на столе составлявшие цикл на торе. Более подробно процедура изложена в
Тем самым, задание циклов и подсчет меток конкретного биллиарда оказывается весьма наглядным, в отличие от многих систем из приложений [12, т.2|
2. Локальная гипотеза А.Т. Фоменко о биллиардах.
2.1. Формулировка локальной гипотезы
Локальная гипотеза, сформулированная А.Т.Фоменко в [16], предполагает возможность реализовать биллиардом слоение Лиувилля, "фрагмент" инварианта которого имеет произвольный вид. А именно, предполагается возможность реализовать произвольные значения меток г, е (стоящих па каждом ребре инварианта, пункт 1), произвольное значение метки п (стоящей на некоторой семье инварианта, пункт 2), усиления 3 и 4 этих пунктов 1 и 2 (учитывающие типы атомов на концах ребра и вид этой семьи), а также их дальнейшие усиления меченые окрестности ребра или семьи (пункты 5 и 6).
ГИПОТЕЗА (А.Т.Фоменко). Каждое из нижеперечисленных подмножеств инварианта Фоменко Цишанга интегрируемой гамильтоновой системы с 2 степенями свободы реализуется как подмножество инварианта Фоменко-Цишанга некоторого интегрируемого биллиарда:
1. (реберный инвариант) ребро с выбранной парой меток (г,е);
[341-
2. (усиление пункта 1) ребро с выбранной парой меток (г,е) между двумя выбранными атомами;
3. (инвариант семьи) выбранная метка п на некоторой семье
4. (усиление пункта 3) выбранная метка п на произвольной выбранной семье 5";
5. (меченая окрестность семьи), выбранная семья 5 с выбранной меткой п на ней и выбранными реберными инвариантами (г, е) на ее внешних ребрах;
6. (меченая окрестность ребра). Две семьи и 5*2 с метками щи щ, выбранные граничные торы которых соединены ребром с любым выбранным реберным инвариантом (г,е).
Разделы 1 и 3 этой гипотезы, доказанные авторами [14, 15], вместе с результатом В.В.Ведюшкиной и И.С.Харчевой [7] дают следующее утверждение: каждое значение каждого компонента инварианта Фоменко-Цишанга (тип 3-атома при вершине графа, метки г, е на ребре, метка п на некоторой семье) возникает в инварианте слоения подходящего интегрируемого биллиарда. Иными словами, каждое из них не является препятствием к реализации слоения биллиардом.
В настоящем разделе получено существенное продвижение по разделам 2 и 4 локальной гипотезы.
2.2. Реализация новых инвариантов окрестности ребра
Фиксируем в семействе софокусных квадрик некоторый эллипс ео и некоторую гиперболу ко. Рассмотрим следующие плоские интегрируемые биллиарды: биллиард А\, ограниченный дугой эллипса ео и выпуклой дугой гиперболы ко (см. рис. 1), и биллиард Ао, ограниченный тем же эллипсом ео и двумя дугами гиперболы ко. Фиксируем число п и склеим из 2т экземпляров биллиарда А\ и одного биллиарда Ао биллиардную книжку. Рассмотрим т экземпляров А\, склеим их друг с другом вдоль дуги гиперболы, и вдоль этой же дуги приклеим к левой дуге граничной гиперболы биллиарда Ао. Оставшиеся биллиарды А\ также склеим друг с другом вдоль дуги гиперболы и вдоль этой же дуги приклеим вдоль правой дуги гиперболы к биллиарду Ао. Левые биллиарды А\ обозначим через а1, правые - через с^, а биллиард Ао через Ь. Теперь укажем на корешках полученной книжки следующие перестановки. На корешке между группой биллиардов щ и биллиардом & поставим циклическую и, переставляющую биллиарды в следующем порядке Ь, а\, а,2, ..., а,т. На другом корешке книжки -циклическую перестановку р, которая переставляет биллиарды в порядке Ь, с\, С2, ..., ст. Полученную книжку обозначим через В!. Пример такой книжки для т = 3 изображен на рисунке 2 а).
Предложение 1. Инвариант, Фоменко Цишанга, описывающий слоение Лиувилля изо-энергетической поверхности биллиардной книжки В!, состоящей из 2т, экземпляров биллиарда А! и одного биллиарда, Ь с циклическими перестановками на корешках, имеет вид, изображенный на рис. 26).
Доказательство. Разобьем доказательство предложения на два шага. Вначале вычислим грубую молекулу для данной биллиардной книжки, а затем вычислим метки.
Шаг первый. Вычисление грубой молекулы.
Опишем вначале поведение критических траекторий. При наименьшем значении интеграла траектории представляют собой криволинейные движения по дугам эллипса ео. Таких траекторий ровно две. Покажем это, рассмотрев два случая. Пусть т - нечетно. Тогда одна траектория - проходит по нечетным листам а^ вверх, по четным листам а^ вниз, по верхнему граничному сегменту биллиарда Ь слева направо, далее по нечетным листам а вниз, а по
четным - вверх, и после выхода на биллиард Ь проходит по нижнему сегменту справа налево. Другая траектория проходит по тем же листам в противоположном направлении. Пусть теперь т, - четно. Тогда после выхода с листов с^ обратно на л ист Ь траектория опять проходит по верхнему сегменту биллиарда Ь но уже справа налево. Вторая траектория при движении по биллиарду Ь проходит по нижнему сегменту.
Рис. 2: а) биллиардная книжка В1 при т = 3. б) инвариант Фоменко-Цишанга слоения Лиувилля изоэнергетической 3-поверхности биллиардной книжки В1.
При значении параметра дополнительного интеграла соответствующего вырожденной квадрике (оси Ох) траектории лежат па прямых, проходящих через фокусы. Этот уровень назовем фокальным уровнем. Критическая траектория ровно одна, она проходит вдоль отрезков оси Ох. Последовательность отрезков вместе с направлением на них следующая: движение по Ь направо, далее в каждом из биллиардов а движение направо и после удара влево, движение по Ь влево, далее в каждом из биллиардов а^ движение влево и после удара направо.
При значении параметра интеграла, соответствующего гиперболе, лежащей па оси Оу, получаем ровно одну траекторию проходящую только по листу Ь.
Остальные значения интеграла невырождены и им соответствуют двумерные торы. Покажем это, доказав, что окрестности седлового слоя соответствует атом В.
Рассмотрим биллиард А1. Бифуркация на его фокальном слое описывается атомом А*. Соответствующее этому атому слоение Зейферта имеет один особый слой. Траневереальное критической окружности сечение - 2-атом В. Отменим в биллиарде А1 биллиардный закон на дуге граничной гиперболы. Прообраз этой дуги есть траневереальное сечение 3-атома А*,
а)
б)
^в-^д
т.е. 2-атом В. На рисунке 2 в) жирным выделена граничная дуга гиперболы и указана пара векторов, которые были склеены до отмены биллиардного закона: черный вектор при этом направлен наружу области биллиарда А!, а серый - внутрь. После отмены мы получаем, что бифуркация в окрестности фокального слоя распалась в прямое произведение 2-атома В на отрезок. На рисунке г) изображен результат после разреза, а границы этого разреза соответствуют парам точка-вектор своего цвета (черного наружу области, а серого - внутрь).
Склеим теперь т экземпляров разрезанного стола А! по правилу - пары точка-вектор склеиваются, если они соответствуют одной точке на дуге гиперболы и черный вектор предыдущего экземпляра А! отождествляется с серым вектором следующего. Эта склейка продиктована новым биллиардным законом, который отвечает перестановкам а и р. Разрезанные 3-атомы А* склеиваются в единый атом, представляющий собой прямое произведение 2-атома В на отрезок.
Отметим следующий факт. Необходимо помнить, что если биллиардный закон в столе А! вернуть, то соответствующий 3-атом не имеет структуру прямого произведения. В его 3-атоме возникает "перекрутка". Эту перекрутку можно представлять себе так. Протащим по разрезанному 3-атому 2-атом В - дугу гиперболы, оснащенную векторами внутрь. У этой дуги до протаскивания выделяется часть выше оси Ох и ниже оси Ох. После того как эта часть перейдет в эту же гиперболу с векторами наружу эти части поменяются местами (более подробно см. [34]). Этот эффект обеспечивает наличие одного фокуса в биллиарде А!.
Осталось приклеить к двум описанным кускам бифуркации разрезанный прообраз листа Ь. Бифуркация на фокальном слое соответствующего ему биллиарда Ао есть 3-атом В. В самом деле, рассмотрим прообраз любой гиперболы софокусного семейства, пересекающейся с биллиардом Ао. Прообраз этой гиперболы есть пара 2-атомов В, один атом соответствует направлению на критической окружности направо, а другой - налево. Седловой 3-атом разбивается таким образом на два куска - одна часть отвечает движению направо (и гомеоморфна прямому произведению 2-атома В на отрезок), а вторая - движению налево. При этом до отмены биллиардного на гиперболических границах биллиарда Ао эти части склеиваются так что часть прообраза гиперболы на одном куске, расположенная выше оси Ох склеивается с частью прообраза гиперболы на другом куске также расположенной выше оси Ох. Это обеспечивает то, что при склейке всех разрезанных кусков изоэнергетической поверхности Q3 в один в полученном произведении 2-атома В на отрезок будет четное число перекруток. Т.е. итоговый атом гомеоморфен 3-атому В.
Для завершения вычисления грубой молекулы осталось заметить, что если каустика совко,
тельного интеграла по прежнему гомеоморфен двумерному тору.
Шаг второй. Вычисление меток. Напомним, что циклы А на граничных торах седло-вых атомов выбираются гомотопными слоям расслоения Зейферта, т.е. критическим окружностям. Они определены однозначно, причем их ориентация обязана совпадать с ориентацией критических окружностей. Дополняющие их циклы у выбираются неоднозначно, но все они должны лежать на граничных окружностях трансверсального критической окружности сечения — 2-атома. Циклы А на граничных торах минимаксных атомов А однозначно выбираются как стягиваемые в точку внутри атомов-полноторий. Несмотря на то что сами по себе дополняющие их циклы у выбираются неоднозачно, на них тем не менее можно однозначно определить ориентацию. Дело в том, что при стремлении к критическому слою-окружности атома А эти циклы переходят в эту самую критическую окружность траекторию, которая и задаст на них искомую ориентацию.
Для наглядного представления цикла на граничном торе в нашем случае будем изображать проекцию этого цикла на биллиардный стол. Для восстановления цикла необходимо рассмотреть прообраз этой кривой на торе. Этот прообраз может быть несвязен. В этом случае мы либо в качестве цикла берем любую компоненту связности или либо ту, которая соответствует
указанным на рисунке векторам скорости (например, направленным вправо или вверх).
На ребрах графа Фоменко, соответствующих траекториям, касающихся эллипсов (назовем такие ребра и соответствующие им торы эллиптическими) проекции циклов на столы А¿,
В!,
Ав = ^А переходит часть критической траектории при стремлении к тора к особым слоям атомов В и А, а другой цикл их дополняет и стягивается в точку внутри полнотория А. Циклы Хв = ^а на лис те & биллиардной книжк и проходят по сегменту каустики-эллипсу.
Очевидно, что матрица склейки в этом случае имеет вид ^ . Метки, задаваемые такой
матрицей, будут искомыми, причем вклада в метку п такие матрицы не дают.
На гиперболическом ребре (траектории касаются гипербол) проекции циклов изображены на рисунке 2е). Прокомментируем цикл Хв. На листах а^ и сг для этого цикла необходимо выбирать прообраз кривой, оснащенной черными стрелками на нечетных листах и серыми стрелками на четных листах. На листе Ь в случае нечетного т необходимо выбрать часть прообраза кривой, соответствующей векторам направленным вправо вверх и влево вниз (черные и белые стрелки), а в случае четного - только вверх (черные и серые стрелки). Заметим, что этот цикл пересекается с циклом ха, ровно в т точках: каждая пара а1, сг дает только одну точку пересечения с данным циклом.
Выберем ориентацию цикла ^в так, чтобы она была противоположна ориентации цикла ц,А. Напомним, что мы вольны выбирать здесь ориентацию, так как она зависит, вообще гово-
,3 т í1 т
ря, от выбора ориентации на Тогда матрица склейки на этом ребре примет вид , ^ ^
Метки, задаваемые такой матрицей, будут искомыми, а вклад в метку п равен [—^!] = 0.
Предложение доказано. □
Замечание 3. Заметим, что если мм модифицируем книжку и удалим, часть биллиардов А! то это может привести к изменению грубой молекулы. А именно, в том и только в том случае, если число биллиардов станет нечетным. В этом случае у произведения 2-атома В на отрезок будет нечетное число перекруток, что приведет к тому, что полученный седловой, атом будет гомеоморфен 3-атому А*.
к! , ко, рая расположена ближе к оси Оу, чем гипербол а ко. Разобьём в биллиардной книжке В! лист Ь по дуге некоторой гиперболы к! на два ли ста &! и Ьз и вклеим в линию разре за лист 62, который помимо дуг гиперболы к! и эллипса ео ограничен осью Оу. Полученную биллиардную книжку обозначим через В^Ао) (см. пример на рисунке За)).
Предложение 2. Инвариант, Фоменко-Цишанга, описывающий, слоение Лиувилля изо-энергетической поверхности биллиардной книжки В!(Ао), имеет вид, изображенный на рис. 36), где на всех ребрах метки г = 0,е = 1.
Доказательство. Обозначим параметр гиперболы к! через X!. Покажем, что при вклейке в книжку В! листа 62, во-первых, не меняется вид бифуркации на фокальном слое, а во-вторых, появляется новая бифуркация В на уровне Л = X!.
Напомним, что на фокальном слое биллиарда Ао, которому эквивалентен лист 62, бифуркация гомеоморфна прямому произведению атома В на окружность. Отмена биллиардного зако-
к!
Замена биллиардного закона на этой дуге с перестановки (Ь!, Ъ3) на перестановку (Ь!, Ь2, Ь3) представляет собой разрез исходного 3-атома В трансверсально критической окружности и вклейку прямого произведения 2-атома В на отрезок. При этом не происходит смены атома на А* так как в новом листе 62 нет фокусов и следовательно, не происходит "перекруток".
а) 01
С
б) в)
Д п=0 п=т /Д
ъ+4 в
С2 С3
А
Д
Мв=к
Рис. 3: На рисунке а) представлен пример биллиардной книжки В1(Ао) для т, = 3. В молекуле на рисунке б) все метки на ребрах г = 0, е = 1.
рах между атомом В и атомами А матрицы склейки
.
Заметим, что по отношению к биллиардам &2 и 63 дуга гиперболы Л-1 является невыпуклой. Тогда на уровне интеграла Л = Л1 не определено продолжение траектории, которая коснулась этой дуги. При дальнейшем увеличении значения интеграла Л траектории разбиваются па два класса - проходящие по листу 62 и по лис ту Ьз. Каждый тип траектории лежит па одном торе (так как это просто биллиарды, эквивалентные биллиарду Ао). На этих торах прообраз дуги гиперболы Л-1 есть окружность. При Л = А1 происходит склейка этих торов вдоль этих окружностей с образованием особого слоя 3-атома В. При дальнейшем уменьшении значения интеграла происходит разрыв вдоль этой окружности и приклейка кольца разрезанного тора, соответсвующего прообразу листа 61. В качестве критической окружности мы будем здесь рассматривать пары точка-вектор, где точка лежит на дуге гиперболы Ь,1, а вектора скорости ее касаются. Заметим, что в данном случае невыпуклая склейка не является траекторией.
Покажем вычисление меток. На рисунке Зв) показаны проекции циклов Хв и ^в, соответствующих бифуркации па уровне Л = А1, на биллиардный лист 62. Очевидно, что гомеоморф-ный слою расслоения Зейферта на 3-атоме В цикл А.в совпадает с периодическим циклом ^а, который переходит в траекторию па атоме А. Дополняющий их цикл стягивается в точку на атоме А, то есть с одной стороны является циклом ха, а с другой - уд. Получаем что на реб-
01 10
на ребрах и не дают вклада в метки п.
Рассмотрим соотношение циклов на ребре между атомами В. Ориентируем ребро по направлению к фокальному атому В. Фактически, по сравнению с вычислением предыдущей матрицы склейки нам необходимо вместо циклов ха, ^а взять соответственно циклы ^в, Ав нового атома В. Для удобства выберем теперь ориентацию цикла противо положи ой чгм
в доказательстве предыдущего предложения. Тогда матрица склейки примет вид ^^ 0
Метки, задаваемые такой матрицей, будут искомыми, а вклад в метку п равен [— у] = 0 в
левую семью и [у] = т в правую семью. Предложение доказано.
□
Возникает естественный вопрос - можно ли вместо нового атома В добавить в молекулу произвольную семью? Напомним что в терминах теории Фоменко-Цишанга семьей называется часть молекулы, которая содержит только седловые атомы, все метки на ребрах между которыми бесконечны, причем на всех ребрах между семьей и остальным графом конечны. В молекулах выше семьи состоят из одних атомов В.
Напомним здесь два важных результата, которые были получены в рамках доказательства общей гипотезы А.Т. Фоменко о моделировании интегрируемых систем биллиардами.
ТЕОРЕМА 2. Для, любого Ориентируем,ого 3-атома (со звездочкам,и или, без) алгоритмически строится биллиардная книжка, склеенная из простейших биллиардов ^0 (см. рис.
Ь
2
1), такая что слоение Лиувилля прообраза окрест,ност,и особого значения интеграла Л = Ъ (в случае атома А особого значения X = 0) её изоэнергетической поверхности Q3 послойно гомеоморфно данном,у атому.
Теорема 3. Для любой грубой молекулы алгоритмически построена биллиардная книжка, склеенная из простейших биллиардов Во (см. рис. 1), такая, что ее инвариант, Фоменко-Цишанга, имеет структуру графа, совпадающего с данной, грубой молекулой. Более точно: изоэнергетическая поверхность такой биллиардной книжки склеена из кусков наперед заданных атомов в порядке, задаваемом, грубой молекулой.
Теорема 2 была доказана В.В.Ведюшкиной и И.С.Харчевой в работе [7] (см. также [21]), а теорема 3 — ими же в работе [13].
Замечание 4. Теорем,а, 2 и, с доказательство разделов 1 и, 3 локальной, гипотезы Фоменко вместе означают,, что каждый, элемент,, из которых собирается инвариант Фоменко Цишанга — граф с типами особенностей при вершинах и метками г,е,п — реализуется биллиардом, пусть пока и по-отдельности. Из теоремы 3 следует,, что относительно более грубой эквивалентности, чем лиувиллева (ее инвариантом, является база слоения Лиувилля, т.е. инвариант, Фоменко Цишанга без числовых меток) классы, интегрируемых систем и интегрируемых биллиардов совпадают (все особенности послойно гомеоморфны боттовским особен,пост,ям, ра,н,га, 1).
Аналогично данным теоремам докажем следующий факт.
Теорема 4. Пусть Ш — произвольная грубая молекула, в вершинах которой находятся атомы без звездочек, а, из висячих вершин удалены, атомы А. Пусть на ребрах графа между седловыми атомами стоят метки г = ж,е = 1.
Тогда, алгоритмически строится биллиардная книжка В(^, 0) ; склеенная из биллиардов Ао, меченая молекула которой имеет следующий, вид. К каждом,у свободному нижнему ребру графа Ш приписывается атом В и два, исходящих из него ребра, оканчивающихся атомами А. К каждом,у свободном,у верхнему ребру графа Ш приписывается атом А. На, всех ребрах, кром,е ребер между седловыми атомами стоят метки г = 0, е = 1. Все семьи имеют метку п = 0.
Доказательство. Воспользуемся конструкцией-алгоритмом, использованным для доказательства теорем 2, 3. Биллиарды, реализующие произвольные атомы без звездочек устроены следующим образом. Они получены склейкой нескольких экземпляров биллиарда А'о вдоль фокальной прямой и вдоль выпуклого эллиптического ребра. При этом все склейки вдоль фокальной прямой локально склеивают не более двух биллиардов (а каждой такой склейке соответствует транспозиция в перестановке на фокальном корешке). Алгоритм работает по-разному для различных функций высоты на атомах. К примеру, для атома В перестраивающего один тор в два и два тора в один будут получаться различные биллиардные книжки. Теперь заменим все биллиарды А'о на биллиарды Во. В результате фокальный слой переместится на уровень меньшего граничного эллипса. Несмотря на то, что траектории на этом уровне при касании границы склейки не определены, слоение Лиувилля по прежнему можно определить. Окрестность нового особого слоя по-прежнему будет послойно гомеоморфна наперед заданному атому.
Склейка же произвольной грубой молекулы (без атомов со звездочками) происходит следующим образом. Каждому седловому особому слою приписывается некоторый строго положительный параметр эллипса А так, что тем больше А, тем выше в грубой молекуле расположен атом. Далее каждый атом реализуется алгоритмом выше некоторой биллиардной книжкой, склеенной из биллиардов Во. При этом границы биллиарда Во лежат на эллипсах с параметром 0 (больший) и А (меньший). Для всех седловых атомов гиперболические границы
биллиардов Во лежат иа дугах одних и тех же гипербол. Последовательно склеим все атомы в молекулу. Каждой склейке двух атомов по ребру будет соответствовать изменение перестановки на большей дуге эллипса (перестановка на меньшей останется неизменной). Подробнее о том как меняются перестановки, см. работу [13].
Пусть теперь Ш - граф, указанный в формулировке теоремы. Заменим его на граф Ш-поменяв знак соответствующей функции высоты. Эта операция в частности меняет направление роста функции на атомах, а также меняет местами верхние и нижние висячие вершины. Склеим по графу граф Ш- (дополненному атомами А) биллиардную книжку из биллиардов Во по алгоритму Ведюшкиной-Харчевой. Заменим теперь каждый биллиард Во па биллиард В1, удлинив его, выбрав другую дугу гиперболы. В этом случае можно показать, что слоение на уровне А < Ь не изменится. При этом все перестройки, соответствующие графу Ш-, происходят па уровнях X < Ь.
Рассмотрим набор торов Лиувилля, соответствующий движению на уровне интеграла Ь — е для достаточно малого положительного е. Количество торов в точности равно количеству "верхних" ребер в графе Ш-. При прохождении уровня Л = Ь движение то биллиарду В1 распадается на два движения по биллиардам Во. Каждый тор верхнего ребра в графе Ш-распадается на два тора. Перестройка очевидно, происходит с помощью атома В.
Опишем метки в возникающей молекуле. Рассмотрим тор Лиувилля и его проекцию на биллиардную книжку. Она проектируется в некоторое количество биллиардов В1. В каждом биллиарде В1 рассмотрим связную часть прообраза некоторых фиксированных эллипса и гиперболы (см. рис. 4). Очевидно, что на торе эти циклы пересекаются в одной точке. При этом эта пара циклов всегда является подходящей парой циклов для некоторого атома. Например, в графе Ш- па торах между седловыми атомами прообразы эллипсов - это циклы Аз, а прообразы гипербол - дополняющие их циклы ^. Все они гомологичны и одинаково ориентированы, что приводит к меткам г = <х>,е = 1 па ребрах между седловыми атомами в графе ШАналогично разбираются случаи всех остальных ребер: на них циклы А уже не гомологичны, что приводит к меткам г = 0, е = 1, при этом вклад в метку п всегда нулевой.
Рис. 4: В представленных равенствах левые циклы лежат на граничных торах минимальных атомов А, а правые максимальных.
Для получения искомой биллиардной книжки осталось заменить каждый биллиард В1 на биллиард Ао. При этом все дуги эллипсов с параметром 0 переходят в дугу гиперболы с
параметром а (вертикальная прямая). Все склейки теперь происходят вдоль дуг гипербол.
□
2.3. Реализация биллиардами слоений с произвольным классом Эйлера на многообразии Зейферта типа прямого произведения
В данном разделе получим существенное усиление результатов работ [16] и [14] по моделированию подграфов инварианта Фоенко-Цишанга, состоящих из седловых атомов, все особые слои которых гомологичны (а потоки поля sgrad Н на них сонаправлены). В прообразе такого объекта, напомним, находится трехмерное многообразие Зейферта ф со структурой расслоения. Оно согласовано со слоением Лиувилля: каждая окружность лежит на некотором уровне интеграла Р. В частности, все критические окружности интегрируемой системы, лежащие в Q, являютя боттовскими, седловыми и гомологичны друг другу. Такой объект в теории топологической классификации интегрируемых систем был назван "семьей", а его инвариант состоит из графа (все вершины — седловые атомы, все метки на ребрах равны г = те, е = +1) и целого числа — метки п (которая в ряде случаев соответствует классу Эйлера расслоений Зейферта, подробнее см. [35]).
Основной результат можно сформулировать так: пусть расслоение Зейферта имеет вид прямого произведения (окружности в! на двумерную базу М2, т.е. все 3-атомы не имеют звездочек, см. [12]). Тогда пара из любой такой семьи Ш и любого значения целочисленной метки п = шна ней реализуется биллиардом, а именно, содержится в инварианте Фоменко-Цишанга слоения Лиувилля построенных ниже книжек В (Ж, т).
Ранее нами было показано [14], что в слоениях биллиардных систем реализуется произвольное значение метки п, т.е. для каждого т € Ъ была построена биллиардная книжка, у которой одна из семей инварианта Фоменко-Цишанга имеет метку п = т. Отметим, что все метки п проанализированных ранее интегрируемых систем из приложений принимают одно из значений 0, ±1, ±2
Пункт 4 локальной гипотезы задавал более общий вопрос: любая ли пара Ш, т семьи Ш и значения т метки п реализуется биллиардом? Вопрос не очевиден: например, в конструкции из работы [14] сложность семьи (количество критических окружностей системы) и ее валентность (количество граничных торов у многообразия Зейферта) линейно росли с ростом т. В работе [16] была предложена новая конструкция, где на семье из одного конкретного атома с двумя критическими окружностями и четырьмя граничными торами было реализовано любое значение метки п.
Пусть Ш - связный граф Фоменко (граф Риба, в вершинах которого указаны атомы-перестройки), у которого удалены все минимаксные атомы А, а седловые особенности не содержат особых слоев расслоения Зейферта (т.е. описывающие их атомы не содержат звездочек). Для этого графа построим по алгоритму из теоремы 4 биллиардную книжку В(Ж, 0). Эта книжка склеена из биллиардов вида Ао, не содержащих фокусов и расположенных между ветвями гипербол из фиксированного софокусного семейства. Потребуем, что все биллиарды Ао были ограничены дугами одного и того же эллипса.
Все ребра графа Ш ориентируются по направлению роста дополнительного интеграла. Рассмотрим произвольное нижнее ребро е этого графа. При реализации книжкой В(Ж, 0) это ребро (с нулевой меткой г) соединяет граф Ш с атомом В, из которого исходят два атома А. Напомним, что траектории, которые отвечают этому участку молекулы устроены так. Пусть Ао, Ао,... это набор биллиардов-листов книжки В(Ж, 0) причем по биллиардам Ао с нечетными номерами г траектории, отвечающие ребру е совершают движения слева направо, а с четными - справа налево. Направление движения меняется в те моменты, когда траектория достигает граничной гиперболы и переходит на другой биллиард. Если к нечетно, то как минимум один биллиард в этом наборе встретится дважды (один раз с четным, а другой раз - с нечетным номером).
При движении по ребру е вниз при достижении атома В выделяется одна критическая траектория, проходящая по отрезкам фокальной прямой. Расположенным ниже этого атома В
ребрам отвечают движения по двум наборов биллиардов ^о, В2,... Вд, расположенных выше и ниже фокальной прямой. Они являются подобластями биллиардов Ао, Ао,... и получены из них удалением внутренности эллипса - каустики, которой касаются траектории.
Модифицируем книжку В (Ж, 0) следующим образом. Пусть т € N произвольное натуральное число. Рассмотрим биллиарды Ао, и Ао. Пусть биллиарды и ^ склеены вдоль гиперболической дуги Л1, а биллиарды Ад и Ао вдоль гиперболической дуги Л-2- Траектории проходящие по листу Ао слева направо после удара о корешок склейки Л переходят па биллиард Ао и продолжают движение справа палево. Траектории проходящие по листу Ао справа палево после удара о корешок склейки Л2 переходят на биллиард ^ и продолжают движение слева направо. В силу алгоритма построения книжки одна из дуг Л1 или Л2 лежит па оси Оу. Без ограничения общности можно считать, что это дуга Л1, так как можно считать, что на последнем шаге алгоритма все невыпуклые эллиптические дуги склейки перешли в гиперболические дуги, расположенные левее оси Оу.
Приклеим к корешку Л справа от вертикальной оси т подходящих биллиардов А1 (то есть ограниченных тем же эллипсом, что и все биллиарды Ао и вертикальной прямой). На корешке Л1 изменим перестановку, вставив в цикл между номерами биллиардов А1 и ^ новые номера, присвоенные биллиардам А1.
Приклеим к корешку Л2 слева от него т подходящих биллиардов А1 (то есть ограниченных тем же эллипсом, что и все биллиарды Ао и гиперболой, па которой лежит корешок Л2). На корешке Л2 изменим перестановку, вставив в цикл между номерами биллиардов Ад и Ао новые номера, присвоенные биллиардам А1. Полученную биллиардную книжку обозначим через В(Ш,т).
Теорема 5. Пусть Ш — произвольная грубая молекула, в вершинах которой находятся, атомы без звездочек, а, из висячих вершин удалены, атомы А. Пусть на ребрах графа между седловыми атомами стоят метки г = ж,е = 1.
Тогда, алгоритмически строится биллиардная книжка В(^, т) , склеенная из биллиардов Ао и А1, меченая молекула которой имеет следующий вид. К каждом,у свободному нижнему ребру графа Ш приписывается атом В и два, исходящих из него ребра, оканчивающихся атомами А. К каждому свободному верхнему ребру графа Ш приписывается атом А. На, всех ребрах, кром,е ребер между седловыми атомами стоят метки г = 0, е = 1. Семье, которую образует, граф Ш, отвечает м,ет,ка, п = т, все остальные семьи имеют метку п = 0.
Доказательство.
Сделаем важное замечание о связи траекторий биллиардных книжек В(^, 0) и В(Ш,т). Оказывается, что при таком определении книжки В(^, т) меняются только торы Лиувил-ля (и отвечающие им траектории), соответствующие в молекуле Фоменко выбранному ребру е. В самом деле, для того чтобы траектория попала па биллиарды А1 материальная точка должна либо удариться в ребро Л1, совершая движение слева направо, либо ударится в ребро Л2 при движении в обратном направлении. При этом очевидно, она должна находиться на выделенных нами биллиардах и А^. Это позволяет говорить о том, что матрицы склейки на остальных ребрах молекулы не меняются.
Осталось рассмотреть траектории, проходящие по выделенным биллиардам Ао, А^,... А^ в указанном в алгоритме направлении (по нечетным - слева направо, по четным - справа налево). Анализ соответствующих торов и траекторий почти дословно повторяет доказательство Предложения 2. Матрица склейки па ребре е теперь будет давать вклад в метку п для верхней семьи равный т. □
3. Биллиардные книжки малой сложности: классификация, свойства слоений Лиувилля
В работах [29] и [31] В.В.Ведюшкиной были классифицированы топологические биллиарды, имеющие только с выпуклые дуги склейки и имеющие произвольные (выпуклые и невыпуклые) дуги склейки. Напомним, что склейка стола-комплекса происходит по общим гладким дугам границы стола (эллипсам, гиперболам или отрезкам двух осей). А именно, для каждого плоского листа (элементарного биллиардного стола) определена проекция на плоскость, причем проекции всех граничных дуг всех листов являются дугами кривых из одного и того же семейства софокусных квадрик (в том числе, двух вырожденных).
Напомним, что в топологическом биллиарде каждая граничная дуга плоских столов комплекса является либо склейкой ровно двух плоских столов (проекции которых лежат или по одну, или по разные стороны от проекции ребра склейки, т.е. дуги некоторой софокусной квадрики), либо свободной границей ровно одного плоского листа.
При этом могут возникать вершины склейки: когда два листа склеиваются хотя был по двум своим граничным дугам, имеющим общую точку. Здесь и далее мы полагаем, что каждый угол каждого плоского листа равен к/2, т.е. те равен 3ж/2.
В терминах биллиардных книжек топологический биллиард можно описать следующим образом. Каждая перестановка на каждом 1-ребре стол а-комплекса является тождественной (свободная границы) или транспозицией. Тем самым, каждой дуге на плоскости (проекции одной или несколько ребер стола-комплекса) сопоставлена перестановка, состоящая из неподвижных точек и независимых транспозиций. В каждой вершине выполнено условие коммутирования перестановок на пересекающихся ребрах.
Естественным следующим вопросом является задача классификации биллиардных книжек. Данная задача существенно сложнее, чем в случае топологических биллиардов. Дело в том, последние не могли иметь "разветвлений": окрестность каждой точки конфигурационного пространства гомеоморфна или открытому диску, или полудиску (как частный случай, четверть диска с центром в вершине угле). Единственным же условием для книжек является коммутирование перестановок в каждой вершине комплекса.
3.1. Классификация книжек с малым числом ребер склейки
Здесь и далее перестановки на эллиптических дугах обозначим символом ш, на гиперболических — символом ст, а на фокальных, т.е. лежащих на оси Ох — символом т.
Опишем все биллиардные столы-комплексы с малым (1, 2 или 3) числом ребер склейки. Поскольку граница проекции стола на плоскость заведомо не может иметь меньше гладких граничных дуг, чем количество ребер комплекса, то граница стола может быть лишь областями вида ^2,^1,^2,^ (см. например, [34], а также рис. 1):
• область А2: внутренность эллипса, в ней два фокуса;
• область А\: ограничена дугой гиперболы и дугой эллипса, в ней один фокус;
• область А1 и А^: верхняя поло вина у ^ 0 облает ей ^ и А2.
Предложение 3. 1. Любая биллиардная книжка с одним, 1-ребром имеет, вид А2(Ы,ш), т.е. является склейкой N эллипсов по циклической перестановке ш = (1,..., N).
2. Особыми значениям,и интеграла являются X = 0, Ь, а. При этом уровень X = 0 состоит из двух (минимальных) окружностей, уровень X = а состоит из одной, (при нечетном Ы) или двух (при четном Ы) максимальных окружностей. Уровень X = Ь содержит такое же количество особых окружностей, и, слоение Лиувилля в окрестности такой окружности послойно гомеоморфно седловой, боттовской (невырожденной) особенности.
Доказательство. 1. Первый факт следует из того, что элементарные биллиарды (кроме области А2, ограниченной эллипсом) имеют более одной граничной дуги.
2. Класс гомеоморфности поверхности уровня энергии и интеграла биллиардной системы без потенциала меняется лишь при уровнях А, соответствующих полуосям (А = Ь,а) или граничным дугам склеиваемых 2-граней комплекса.
Уровень А = 0 содержит границу каждой плоской области стола А2^,ш). Поскольку в комплексе имеется лишь одно такое ребро, то ему соответствует движение по эллипсу (по или против часовой стрелки). По аналогии с областями А2, 2А2 и.т.п (см. [29]) нетрудно видеть, что в окрестности данной окружности слои являются торами, и каждая из двух полулокальных особенностей послойно гомеоморфна минимальному атому А [12], т.е произведению расслоенного диска на окружность.
При А = а в проекции па плоскость Оху движение частицы происходит по вертикальной оси Оу. Каждая траектория частицы замкнута, т.е. после нескольких отражений она должна вернуться на тот же лист и иметь то же направление (вверх или вниз), что в начале. Поскольку каждое отражение меняет направление, то циклу соответствует четное число ударов о границу
(т.е. четное количество применения ш — степень перестановки ш2). Если N:2, то перестановка ш2 для циклической ш состоит из двух циклов длины N/2. Аналогично доказательству для простейших изученных книжек [36], это один или два атома А.
В случае А = & особое множество проектируется па ось Ох. При этом проекция особого слоя (и близких слоев А = Ь ±е) содержит не только окрестность данного отрезка. Аналогично случаю А = а, особое множество состоит из двух окружностей. В окрестности каждой точки отрезка оси Ох (лежащего внутри эллипса), исключая фокусы и концы отрезка (отражение от границы), слоение Лиувилля послойно гомеоморфно слоению вблизи седловой боттовской точки ранга 1 в интегрируемой системы. Поскольку фокусы лежат далеко от границы, то для них то же саоме следует из анализа области А2, а для окрестности точки отражения это
следует по аналогии с топологическими биллиардами.
□
Теперь опишем все биллиардные книжки с ровно двумя 1-ребрами склейки.
Предложение 4. Любая биллиарпая книжка с двумя граничным,и ребрами, т.е. комплекс с двумя 1-клетками, является либо склейкой N колец С2 (ограниченных двумя эллипсам,и) по перестановкам ш1 = (1,... ,И) и ш2 = (¿(1),..., г(Ы) порядка, N на внешнем и внутреннем эллипсах, либо склейкой N листов вида А1 по перестановкам, а, ш на, гиперболическом и эллиптическом корешках либо склейкой N листов типа А'2 с перестановкам,и ш,т на, эллиптическом и фокальном, корешках следующего вида:
• С2(И, ш1,ш2) : N ш1 = (1,... ,И),ш2 = (¿(1),..., i(N)) € Бп, где порядок ш2 раве н N.
• А2(И,т,ш) : N € N,0- = (1,...,Ы),т = ак, gcd(k,N) = 1.
Доказательство. Если оба ребра (1-клетки) книжки проецируются па одну и ту же квадрику, то книжка не связна. Если проекции двух ребер не пересекаются, то это два софокусных эллипса (и перенумерацией одну из перестановок можно записать как (1,..., N), а ограничения на другую отсутствуют).
Если два ребра (и их проекции) пересекаются, то перестановки коммутируют. Поскольку над каждой дугой проекции находится лишь одно ребро книжки, то перестановки имеют длину N. Следовательно, одна есть степень другой, причем наибольший общий делитель степени к и порядка N равен 1. □
Теперь обсудим свойства особых окружностей их слоений Лиувилля. А именно, выясним, когда окрестность каждой такой точки (и их орбиты целиком) в трехмерном уровне энергии
Q3 послойно гомеоморфна таковой для боттовской (невырожденной) особенности ранга 1 в интегрируемой системе.
Для биллиарда 62(^,^1,^2) особенность, чьи критические окружности проецируются на внутренний эллипс, будет боттовской только при N = 2, т.е• Ш2 = = (12) При N = 1 особенности тут нет: соответствующие слои гомеоморфны торам. Остальным уровням интеграла соответствуют боттовские особенности при всех N и Ш2 порядка N.
Фокальному уровню биллиарда на столе А1 (Ж, а, ш) соответствует одна или несколько сед-ловых критических окружностей, т.е. окрестность каждой такой окружности в полулокальной особенности послойно гомеоморфна боттовской (невырожденной) седловой окружности. На удалении от концевых точек отрезка (оси Ох, лежащего внутри данной области типа А\) это следует из свойств слоения для А\, а вблизи концов (лежащих "вдали" от фокусов) — из поведения слоения Лиувилля при склейке (в биллиардных книжках), далекой от фокусов семейства квадрик.
Фокальному уровню биллиарда на столе А'2(М,т,ш) соответствует неботтовская седловая критическая окружность, если т содержит циклы длины 3 и более (т.к. что напрямую следует для невыпуклой склейки более чем двух областей). В оставшемся (боттовском) случае имеем N = 2,ш = ш! = (12). Его инвариант Фоменко-Цишанга известен и вычислен в [34] (там такой стол был обозначен как (^2)2^)-
Предложение 5. Любая биллиарпая книжка с тремя граничным,и ребрами является либо склейкой N эллиптических колец С2 по перестановкам, и ш2, где одна, из них равна (1,...,Ж) а другая состоит из двух независимых циклов (сумм,а, длин которых равна, Ы), либо склейкой N листов вида А\ по перестановкам, а, ш либо склейкой А2 по перестановкам, т, ш следующего вида:
• М (^,а,ш) : N € М, а = (1,...,Ж ),ш = ак, gcd(k,N) = 2;
• а2(м,т,ш) : N € М, gcЛ(k,N) = 2, где ш = (1,...,И),т = шк ил ит = (1, ...,И ),а = тк.
• стол склеен из N1 "левых" половин эллипса, и N2 "правых" половин, эллипса, (областей типа Ах). Тогда, N1 = = и слоение Лиувилля такого биллиарда совпадает со слоением биллиарда, склеенного из 2Ы областей типа А\ по перестановкам, вида а = (1,..., 2И) на вертикальной (гиперболической) граничной дуге и ш = а2 на эллиптической. Все особые окружности являются боттовскими
• стол склеен из N областей типа А1 (н,а,прим,ер, часть эллипса, лежащая в одном, из четырех квадрантов). При этом каждая, из перестановок ш (на, эллиптической дуге), а (на гиперболической или вертикальной) и т (на, фокальной) должны, быть циклическими длины N степенями одной и той же перестановки (например, а = шк,т = шт). Исключая N = 1, 2; слоения Лиувилля обладают неботтовским,и особен,пост,ям,и.
Случай А1 (Ж, а, ш) с перестановками а = (1,..., N),ш = ак и наибольшим общим делителем gcЛ(k, Ж) = 2 означает, что перестановка ш имеет 2 цикла длины N/2.
Замечание 5. Разумеется, можно построить стол из класса, (Ы,а,ш), поменяв перестановки а, ш местами, т.е. взяв а = ш2,ш = (1,...,Ж). Слоения Лиувилля двух таких систем будут отличаться направлением роста интеграла, а сами столы-комплексы будут изоморфны друг другу.
Отметим, что при разбиении областей А\ или А2 на половинки (и нетривиальной перестановки их склейки) мы получим не менее четырех ребер склейки (новое ребро поделит хотя бы одну из существующих дуг хотя бы на 2 части).
Стол AX(N, ш, а, т), исключая т = (1, 2)... (2т — 1, 2т)(2т + 1) ... (N), имеет неботтовские перестройки на уровне А = Ь. При условии наличия не более трех ребер комплекса, имеем или N = 1, а = ш = т = (1) = fd, или N = 2,а = ш = т = (12). При N = 1 слоение Лиувилля не имеет седловых особенностей, а во втором — имеет атом А* с метка ми г = 1/2, метко й п = —1 и изоэпергетической поверхностью Q3, гомеоморфной сферическому расслоению Зейфера с тремя особыми слоями [34].
3.2. Биллиардные столы над областью Ах
В данном разделе обсудим вопрос классификации билилардных книжек A\(N, а,ш) над областью А\ (содержащей один фокус и ограниченной дугой эллипса и дугой ветви гиперболы), склеенных из N ее одинаковых экземпляров по перестановкам а,ш на гиперболической и эллиптической дугах соответственно.
Напомним, что перестановки ш и а коммутируют, а связность стола означает, что образ любого элемента 1... N под действием перестановок ша, а^ по всем а, ß £ N совпадает со всем множеством N листов (т.е. группа, порожденная перестановками иш, действует транзитивно на множестве листов).
Предложение 6. Пусть ш о а = а о ш, и элемент 1 входит, в Оа(1) — независимый цикл, длины, р перестановки а. Тогда множество Оа(w(1)) есть независимый цикл длины, р перестановки а, который, либо совпадает с Оа(1) (если w(1) = ak(1), 0 < k < р), либо не пересекается с Оа (1).
Доказательство. Данный факт следует из коммутативности а и w. ш(ак(1)) = ак(w(1)).
Если w(1) £ Оа(1) то цикл Оа(w(1)) С Оа(1). Тогда множество образов 1 при действии всех
ша, <jß совпадет с Оа(1^, из связности стола будет следовать цикличность перестановок а к
и ш = а .
Замечание 6. Пара чисел к, N полностью задает, данную пару перестановок. Переста-
N
новка ш = а^ имеет gcd(N,k) независимых циклов длины —,, „т ,. . Отметим, что при
gcd(N, к)
gcd(N,k) = 2 от,сюда, следует, результат Предложения 4 для, столов A\(w,o,N).
Если w(1) £ Оа(1) ^о циклы Оа(1) и Оа(w(1)) не пересекаются. Т.к. число р — первый натуральный номер, начиная с которого стр(1) = ст0(1) = 1, то ш(ак(1)) = ак(w(1)) = w(1) при 0 < к < р ^и номера совпадают при к = р). □
Тем самым, все циклы Оа(1), Оа(w(1)),... Оа(wq(1)) = Оа(1) имеют одну и ту же длину р. Здесь q — длина цикла Ош (1) (и остальных независимых циклов перестановки w).
Иными словами, из связности слоя следует, что обе перестановки а и ш есть произведение независимых циклов соответствующих длин р и q. В группе всех перестановок вида степени перестановки а и степени перестановки ш образуют циклические подгруппы.
Тем самым, возникают следующие соотношения для некоторых наименьших натуральных s, t и некоторых а £ [0,р — 1],:
= aß, а1 = а £ [0,q — 1], ß £ [0,р — 1].
Стартуем с чисел N, p,q. Здесь N — количество листов в книжке, а числа p,q — длины циклов а и ш соответственно. В качестве таких длин подходят любые делители N, такие что
pq:N. Количество циклов в перестановках а и ш равно N/p и N/q соответственно.
Циклы Оа(1) и Ош(1) имеют pq/N пересечений. Расстояние между двумя последовательными (в смысле ст, например) пересечениями равно p/(pq/N) = N/q. Значит, такая степень а переведет первое в Оа пересечение в следующее. Тем самым,
s = N/p, t = N/q.
Числа а, @ являются произведениями чисел И/рж И/д с некоторыми порождающими элементами (натуральными числами а, Ь) в циклической группе длины (т.к. орбиты элемента 1 при действии степени перестановки или ша порождают пересечение Оа и Ош целиком).
а = ш = ш ш = о' = а = (& )= ш .
р=6, q=4, gcd(p, q)=1, N=pq
N=48, р=24, q=8
/ ^
• •
0=д 1
N=6, к=4, ш=ст4
0=n
N-1
n
"gcd(n,k)
Рис. 5: Действие пары перестановок на множестве из N элементов, отмеченных точками. Сплошной и штриховой линией отмечены независимые циклы перестановок а и ш соответственно. Указаны степени, в которые надо возвести перестановки а (число) и ш (число с подчеркиванием) для получения перехода в указанную точку из левой нижней. Иллюстрации приведены для трех случаев: а. ш = ак (внизу слева), N = рд (вверху слева), N < рд, ш2 = , а6 = ш6 (справа).
Иначе говоря, имеем
Р • У
аЬ = 1 шо^——.
N
Р • Я
Тем самым, в кольце вычетов Ъг, где г = , надо выбрать группу обратимых элементов Ъ*, и в ней взять два взаимно-обратных элемента а, Ь.
Теорема 6. Связная биллиардная книжка типа (Ы,р,д) полностью задается следу-ющи.ии данными:
• Же N — количество листов книжки
р,д : N :р, N : д, р ■ д : N — длины, циклов Оа(1), Ош(1) перестлановок а и ш соотв., Р ■ Я
а € (где г = € N задает величины сдвигов на пересечении циклов Оа(1) и Ош (1)
а = ш = ш , ш = о' = а ,
N N
в = — , £ = — , а ■ Ь = 1 шоё г. д р
Все такие биллиарды имеют боттовекие особенности. Данный результат несложно обобщить на случай трех коммутирующих перестановок, где третья перестановка т стоит на фокальной граничной дуге. Если она не является произведением независимых транспозиций и неподвижных элементов, то особенность на уровне А = Ь заведомо не будет боттовской.
3.3. Инварианты слоений для книжек над областью А1
Выше мы получили классификацию биллиардных книжек малой сложности, в частности, столов-комплексов, имеющих малое количество одномерных ребер дуг склейки. Рассмотрим случай, когда одна из перестановок — циклическая порядка т. Тогда из условия коммутирования следует, что другая перестановка будет ее степенью.
Задача вычисления инвариантов биллиардов на столах, листы которых содержат фокусы семейства эллипсов и гипербол, весьма непростая задача даже в случае плоских и топологических биллиардов.
Теорема 7. Пусть а = (12 ... т) — циклическая перестановка, из т элементов. Рассмотрим биллиардные книжки А1(т, а, гй), склеенные из т экземпляров биллиарда А\ по перестановкам а = (12 ... т) на гиперболическом корешке и ш = гй на эллиптическом корешке, а также биллиардные книжки А1(,т,а,а-1) для ш = а-1. Тогда инварианты, Фоменко Цишанга слоения Лиувилля этих биллиардов на изоэнергетической поверхности Я'11,Ь > 0 изображены на рис. 7а) для биллиардной книжки А1(т,а,гй) и на, рис. 76) (для, биллиардной книжки А^т,, а, о'-1)).
а)
А
п=-1.
Г=0, е4\
А
г=-2/т, е=1
А
, п=-1
А
В
=-2/т, е=
Т А
б)
А
п=-т
г=0, е=1
А*
Г=0, е=1
А
Рис. 6: Инварианты Фоменко-Цишанга для книжки, склеенной из т экземпляров биллиарда А1, где на гиперболическом корешке стоит циклическая перестановка а = (12 ... т), а на эллиптическом корешке тождественная (а) или обратная ей (б) перестановка. В случае а) вид грубой молекулы зависит от четности т. Для нечетного т - молекула слева, а для четного справа.
Доказательство.
1. Рассмотрим случай биллиардной книжки А\(т,а,1й).
1а. Количество торов на уровне интеграла X < Ь (на нём траектории касаются эллипсов) описывается количеством циклов в перестановке а2. В самом деле, совершая движение сверху вниз вдоль каустики-эллипса и ударяясь только в эллиптическую границу материальная точка не меняет номер биллиарда. При ударе о гиперболическую границу номер биллиарда увеличивается па единицу (результат необходимо взять по модулю т), но направление вдоль эллипсов (каустики и граничного) меняется на противоположное. Чтобы снова его поменять, материальной точке необходимо дважды удариться о гиперболическую границу, поменяв номер биллиарда по перестановке а2. Количество циклов этой перестановке фиксирует количество торов Лиувилля. Поэтому оно в случае четного т равно двум, т.к. а2 = (13 ... т — 1)(2 4 ... т), а в случае нечетного т - единице, т.к. а2 = (13 ... т 24 ... т — 1).
На уровне интеграла X > Ь (траектории касаются гипербол) всегда один тор. Материальная точка в результате ударов о гиперболическую границу может произвольно поменять номер биллиарда (ударившись подходящее число раз).
На уровне интеграла А = Ь выделена ровно одна критическая траектория, проходящая по фокальной прямой. Так как можно показать, что все перестройки в биллиардах невырожденные, то вид атома этим полностью определяется. Перестройку на этом уровне можно описать и по-другому. Перестройка торов в биллиарде А\ па фокальном уровне описывается атомом А*. Причем отмена биллиардного закона на гиперболической границе приводит к разрезу этого атома вдоль двумерного атома В, трансверсального критической окружности. Склейка т экземпляров разрезанного биллиарда т в биллиардную книжку А\(т, а, гд) приводит к склейке т разрезанных атомов А*. Поэтому если число т четно, то у полученного атома будет четное число "перекруток" (что сделает его гомеоморфным атому 5). Если т нечетно, то итоговый атом останется гомеоморфным атому А* (см. аналогичное доказательство Предложения 1).
А
1Л=/ЛА
Рис. 7: Циклы для книжки А\(т, а, гд).
16. Остается вычислить метки. Ориентируем все ребра по направлению к седловому атому. На рисунке 7 изображены проекции циклов на биллиардный стол. Как и в доказательстве остальных положений данной работы, мы будем изображать циклы их проекциями кривыми на биллиардном столе, прообразы которых на торах Лиувилля будут реализовывать подходящие циклы А и у.
На торах, траектории па которых касаются эллипсов, проекции циклов Ха (и соответственно ц,3) лежат только на одном листе биллиардной книжки (без ограничения общности можно считать, что на первом). Проекция циклов А8 и ^а проходит по всем листам книжки. Вследствие очевидных соотношений А5 = ^а, Ц-в = Аа получаем что матрица склейки имеет
вид 0 | .Откуда метки г = 0, е = 1, а вклада в метку п такая матрица не дает.
Далее вычислим метки на ребре графа, соответствующем семейству торов, для которых траектория частицы касается гипербол (т.е. А). Разберем отдельно случаи четного и нечетного т.
1в. Пусть т четно. Тогда при взятии прообраза кривой для восстановления цикла А5 необходимо брать часть кривой с черными векторами скорости на нечетных номерах листов биллиардной книжки и часть кривой с серыми векторами скорости на четных номерах листов биллиардной книжки (см. рис. 7). Тогда такой цикл будет пересекаться с циклом 1 = в одной точке (напомним что проекция этого цикла лежит только в одном листе биллиарда). Исчезающий цикл Ад проходит по всем листам биллиардной книжки проходя па каждом листе от каустики до границы. В результате мы имеем на этом ребре следующие соотношения. Во-первых, = ^а - цикл 1 пересекается с циклом Ад в одной точке и переходит в критическую траекторию, проходящую по гиперболическому корешку биллиарда. Во-вторых, А5 = —Ад + ?г ^д. Поясним, что цикл Ад па каждом листе биллиарда проходит до каустики и обратно, так же как и соответствующая дуга-проекция цикла А8. Знак минус перед Ад выбран таковым для того, чтобы итоговая матрица склейки имела отрицательный определитель (так как ранее мы фиксировали ориентацию на ф3 ориентацией цикла выбрав её сонаправлен-ной с ориентацией цикла ^д). Далее заметим что цикл А8 проходит вдоль каустики в обоих направлениях на каждой паре биллиардов А\, то есть в итоге он проходит вдоль каустики ровно ?г раз. Когда соответствующий тор Лиувилля стремится к седловому значению этот цикл переходит в критическую траекторию, а когда к максимальному то наматывается на критическую подходящее число раз, оставаясь сонаправленным с ней. Это определяет знак
'_1 тЛ
перед ^а в рассматриваемом соотношении. Матрица склейки имеет вид ^ ^ 1 ^ . Откуда метки г = —1, е = 1, вклад в метку п = [—-щ-] = [—1 ] = —1.
/Тс'' ъ' (.//¿^
1г. Пусть теперь т нечетно. Тогда для восстановления цикла А5 необходимо брать обе части кривой, изображенной на рисунке 7 (как с черными так и с серыми векторами скорости). Теперь выражение этого цикла через базис па граничном торе атома А выглядит так: А5 = —2Ад + т^А (фактически мы вынуждены были удвоить этот цикл). Далее, такой цикл А8 теперь пересекает цикл 1 в двух точках. Теперь в качестве необходимо выбрать цикл (см. подробнее правила выбора циклов па граничных торах атомов со звездочками [12]). Эогда ^ = = = = — д^ + т±1 матрица склейки имеет вид
^ 2 т+1^ .Откуда метки г = — ^, е = 1, вклад в метку п = [—] = [—^^^ ] = —1.
2. Рассмотрим биллиардную книжку А1(т,а,а-1)). Она отличается от предыдущей тем, что вместо тождественной перестановки на эллиптическом корешке теперь на нём стоит обратная к а перестановка.
2а. На минимальном и максимальном уровнях интеграла в силу симметрии теперь одна особая траектория (и примыкающий к ней один тор). А на седловом - ровно т критических траекторий, проходящих по фокальной прямой: траектория двигая по листу г влево и по листу г + 1шоёт влево. Тогда, атом описывающий перестройку однозначно определяется как атом дт*, Где числ0 звездочек равно т (только он перестраивает один тор в один так чтобы на особом слое лежало т критических траекторий). Накрывающий его атом Ст может быть восстановлен как прообраз дуги фиксированной гиперболы.
26. Вычислим метки. Отметим, что на ребре соответствующем тору, траектории которого касаются эллипсов проекции циклов можно взять также как на рисунке 7. Однако теперь цикл Ад = 1 = проходит по всем листам биллиардной книжки, а цикл А5 = ^а только по двум (например по первому и последнему). Поэтому они по-прежнему пересекаются только в одной точке. Рассмотрим тор, траектории которого касаются гипербол. Для выбора циклов А8, Ад, ¡1 также воспользуемся рисунком 7. Цикл А5 также проходит по двум листам, при этом можно
считать, что на первом листе он направлен к каустике-гиперболе, а на последнем (с номером т) от неё. Этот цикл пересекается с циклом в одной точке и переходит в критическую траекторию, проходящую по гиперболическому корешку при стремлении тора к критической максимальной окружности. Следовательно, = цд.
Для выбора согласно правилу выбора циклов необходимо чтобы выполнялось следующее соотношение ^ = ^ так как седловой атом имеет ровно т звездочек. На торе где траектории касаются эллипсов мы имеем один цикл ¡1 который в одной точке пересекается с циклом Л5. Поэтому подправить прибавив необходимое число циклов А8 необходимо цикл ¡1 на другом ребре.
2в. Найдем связь между циклами ¡1 (связной частью прообраза дуги гиперболы) и циклами Ад и = А5. Цикл ^а проходит вдоль каустики в обоих направлениях один раз, и от каустики до гиперболического корешка в обе стороны дважды. Цикл проходит от каустики до гиперболического корешка и обратно т раз (по разу на каждом листе). Сколько раз вдоль каустики проходит связная часть прообраза дуги гиперболы (цикл /1) зависит от четности т. Если т четно, то циклов ¡1 два. Для одного из них на нечетных листах вектора скорости направлены вверх, а на нечетных - вниз, а для другого - наоборот. Получается движение вдоль каустики и обратно было совершено Щ раз. Если т нечетно, то движение вдоль каустики и обратно было совершено ровно т раз (на каждом листе вверх и вниз). Получаем, что при нечетном т искомое соотношение имеет вид
-2Ад + 1 = тцд,
а при четном
—2Ад + 2/1 = тцд.
Здесь, как и в предыдущем случае, знак минус перед выбран таковым для того, чтобы итоговая матрица склейки имела отрицательный определитель. Дело в том, что ориентацию цикла ц, на этом торе мы уже зафиксировали совпадающей с ориентацией цикла уд.
2г. Пусть теперь т нечетно. Тогда цикл ¡1 один и мы получаем, что
¡1 + т\3 тцд + 2Ад + ш\3 тцд + 2Ад + ШЦа , Ра = -2- = -2- = -2- = + т/^А.
Если т четно, то циклов ¡1 два и мы получаем, что
т\3 т т\3 т т/лд , Ц-з = 1 + —— = ^^а + Ад + —— = ^^А + Ад +--— = Ад + тцд.
Матрица склейки равна ( 0 1 | .Откуда мет ки г = 0, е = 1, п = [—] = —т.
у1 т) 1
□
4. Заключение
Построенные в работе биллиарды показывают, что для многообразия Зейферта без особых
п
связным подграфом с седловыми 3-атомами без звездочек в вершинах). Вопрос о реализации многообразий Зейферта со слоями (1, 2), т.е. седловыми критическими окружностями, имеющими неориетируемую сепаратрисную диаграмму, пока открыт. Было бы интересно выяснить, можно ли модифицировать предложенную в работе конструкцию для нового случая. Начатая в работе классификация биллиардных книжек и вычисление их инвариантов также весьма интересна и открывает много вопросов, связанных с теорией накрытий, алгеброй и топологией.
При решении задач о биллиардных книжках и их слоениях, как ожидается, возникнут связи с рядом задач и направлений алгебры и теории чисел: конечные групп, кольца вычетов, коммутирующие перестановки и вопросы делимости. Например, в одной из задач о биллиардных столах, гомеоморфных тору, полученный ответ выражался в терминах коэффициентов Везу [37] из разложения наибольшего общего делителя.
Кроме того, поскольку оба объекта — инвариант Фоменко-Цишанга и биллиардный стол-комплекс — допускают описание в виде графов, оснащенных перестановками и некоторыми метками, а вычисление инварианта биллиарда не требует интегрирования или решения систем алгебраических уравнений (т.е. допускает чисто комбинаторные решения), то вызывает большой интерес построение алгоритма вычисления такого инварианта для биллиардной книжки.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Биркгоф Дж. Динамические системы // Изд. дом «Удмуртский университет», 1999.
2. Табачников С. Л. Геометрия и биллиарды // М.-Ижевск:НИЦ «Регулярная и хаотическая динамика», Ижевский инсп. комп. исслед., 2011.
3. Драгович В., Раднович М. Интегрируемые биллиарды, квадрики и многомерные поризмы Понселе // М.; Ижевск, НИЦ "Регулярная и хаотическая динамика", 2010.
4. Козлов В.В., Трещев Д.В. Генетическое введение в динамику систем с ударам,и, М.: Изд-во МГУ, 1991.
5. Glutvuk A. On polynomiallv integrable Birkhoff billiards on surfaces of constant curvature // J. of the Europ. Math. Soc.*2021. V. 23, №3. P. 995-1049.
6. Kaloshin V., Sorrentino A. On the local Birkhoff conjecture for convex billiards // Ann. of Math. 2018. V. 188, №1. P. 315-380.
7. Ведюшкина В. В., Харчева И. С. Биллиардные книжки моделируют все трехмерные бифуркации интегрируемых гамильтоновых систем // Матем. сб. 2018. Т. 209, №12. С. 17-56.
8. Ведюшкина В. В., Фоменко А. Т. Бильярды и интегрируемость в геометрии и физике. Новый взгляд и новые возможности // Вести. Моск. Унив., Матем. Мех. 2019. №3. С. 15-25.
9. Фокичева В. В., Фоменко А. Т. Интегрируемые биллиарды моделируют важные интегрируемые случаи динамики твердого тела // ДАН. 2015. Т. 465,№2. С. 150-153.
10. Фоменко А. Т. Топология поверхностей постоянной энергии некоторых интегрируемых гамильтоновых систем и препятствия к интегрируемости // Изв. АН СССР. Сер. матем. 1986. Т. 50, №6. С. 1276-1307.
11. Фоменко А.Т, Цишанг X. Топологический инвариант и критерий эквивалентности интегрируемых гамильтоновых систем с двумя степенями свободы // Изв. АН СССР. Сер. матем. 1990. Т. 54, №3. С. 546-575.
12. Болсинов А. В., Фоменко А.Т. Интегрируемые гамильтоновы системы. Геометрия, топология, классификация. Т.1, 2 // Ижевск: Изд. дом "Удмуртский университет". 1999.
13. Ведюшкина В. В., Харчева И. С. Биллиардные книжки реализуют все базы слоений Ли-увилля интегрируемых гамильтоновых систем // Матем. сб. 2021. Т. 212, №8. С. 89-150.
14. Ведюшкина В. В., Кибкало В. А. Реализация бильярдами числового инварианта расслоения Зейферта интегрируемых систем // Вестн. Моск. ун-та. Матем., мех. 2020. №4. С. 22-28.
15. Ведюшкина В. В. Локальное моделирование слоений Лиувилля бильярдами: реализация реберных инвариантов // Вестн. Моск. Унив. Матем. Механ. №2. С. 60-64.
16. Ведюшкина В. В., Кибкало В. А., Фоменко А. Т. Топологическое моделирование интегрируемых систем биллиардами: реализация числовых инвариантов // Докл. РАН. Матем., Механ. Процессы упр. 2020. Т. 493. С. 9-12.
17. Якоби К. Лекции по динамике, \!.. Л. ОНТИ. 1936.
18. Glutsvuk A. A. On Two-Dimensional Polynomially Integrable Billiards on Surfaces of Constant Curvature // Dokl. Math. 2018. V. 98, №1. P. 382-385.
19. Bialv M., Mironov A.E. Algebraic non-integrabilitv of magnetic billiards //J. Phvs. A. 2016. V. 49, №45. P. 455101.
20. Glutsvuk A. A., On commuting billiards in higher-dimensional spaces of constant curvature // Pacific J. Math. 2020. V. 305, №2. P. 577-595.
21. Vedvushkina V. V, Fomenko А. Т., Kharcheva I.S., Modeling nondegenerate bifurcations of closures of solutions for integrable systems with two degrees of freedom by integrable topological billiards // Dokl. Math. 2018. V. 97, №2. P. 174-176.
22. Dragovic V., Radnovic M. Bifurcations of Liouville tori in elliptical billiards // Regul. Chaotic Dvn. 2009. V. 14, №4-5. P. 479-494.
23. Фокичева В. В. Описание особенностей системы "биллиард в эллипсе // Вестн. Моск. унта. Матем. Механ. 2012. №5. С. 31-34.
24. Фокичева В. В., Описание особенностей системы бильярда в областях, ограниченных со-фокусными эллипсами или гиперболами // Вестн. Моск. ун-та. Матем. Механ. 2014, №4. С. 18-27.
25. Dragovic V. & Radnovic М.. Caustics of Poncelet Polygons and Classical Extremal Polynomials // Regul. Chaotic Dvn. 2019. V. 24, №1. P. 1-35.
26. Adabrah A.K., Dragovic V., Radnovic M. Elliptical Billiards in the Minkowski Plane and Extremal Polynomials // Rus. J. Nonlin. Dvn. 2019. V. 15, №4. P. 397-407.
27. Болсинов А. В., Матвеев С. В., Фоменко А. Т. Топологическая классификация интегрируемых гамильтоновых систем с двумя степенями свободы. Список систем малой сложности // УМН. 1990. Т. 45, №2. С. 49-77.
28. Фоменко А. Т. Теория Морса интегрируемых гамильтоновых систем // Доклады АН СССР. 1986. Т. 287, №5. С. 1071-1075.
29. Фокичева В. В. Топологическая классификация биллиардов в локально плоских областях, ограниченных дугами софокусных квадрик // Матем. сб., 2015. Т. 206, №10. С. 127-176.
30. Ведюшкина В. В., Фоменко А. Т. Интегрируемые топологические биллиарды и эквивалентные динамические системы // Изв. РАН. Сер. матем. 2017. Т. 81, №4. С. 20-67.
31. Ведюшкина В. В. Инварианты Фоменко-Цишанга невыпуклых топологических биллиардов // Матем. сб. 2019. Т. 210, №3 17-74.
32. Кибкало В. А., Фоменко А. Т., Харчева И. С. Реализация интегрируемых гамильтоновых систем бильярдными книжками Труды Моск. матем. общ.. 2021. Т. 82, №1. С. 45-78.
33. Ведюшкина В. В., Фоменко А. Т. Силовые эволюционные биллиарды и биллиардная эквивалентность случая Эйлера и случая Лагранжа // Доклады РАН. 2021. Т. 496. С. 5-9.
34. Фокичева В. В. Топологическая классификация интегрируемых биллиардов // Канд. Дис-серт., Москва. МГУ. 2016.
35. Матвеев С. В., Фоменко А. Т. Алгоритмические и компьютерные методы в трехмерной топологии // \!.. изд-во МГУ, 1991, 303 с.
36. Ведюшкина В. В. Интегрируемые биллиарды на клеточных комплексах и интегрируемые гамильтоновы системы // Докт. Диссерт., Москва. МГУ. 2020.
37. Ведюшкина В. В. Интегрируемые биллиарды реализуют торические слоения на линзовых пространствах и 3-торе // Матем. сб. 2020. Т. 211, №2. С. 46-73.
REFERENCES
1. Birkhoff, G. D. 1927, Dynamical systems // AMS Colloq. Publ., 9, AMS, New York, 1927, 295p.
2. Tabachnikov, S.L. 2005, Geometry and Billiards, Student Mathematical Library, vol. 30.
3. Dragovic, V. к Radnovic, M. 2010, Poncelet Porisms and Beyond: Integrable Billiards, Hvperelliptic Jacobians and Pencils of Quadrics, Frontiers in Mathematics, Birkháuser, 302p.
4. Kovlov, V. V к Treshchev, D.V. 1991, Billiards. A genetic introduction to the dynamics of systems with impacts, Transí. Math. Monogr., 89, AMS, Providence, RI, 1991, viii+171 p.
5. Glutvuk, A. 2021, "On polvnomially integrable Birkhoff billiards on surfaces of constant curvature", J. of the Europ. Math. Soc., vol. 23, no. 3, pp. 995-1049.
6. Kaloshin, V. к Sorrentino, A. 2018, "On the local Birkhoff conjecture for convex billiards", Ann. of Math., vol. 188, no. 1, pp. 315-380.
7. Vedvushkina, V. V. к Kharcheva, I. S. 2021, "Billiard books model all three-dimensional bifurcations of integrable Hamiltonian systems", Sb. Math., vol. 209, no. 12, pp. 1690-1727.
8. Fokicheva, V. V. к Fomenko, A.T. 2019, "Billiards and integrabilitv in geometry and physics. New scope and new potential", Mosc. Univ. Math. Bull., vol. 74, no. 3, pp. 98-107.
9. Fokicheva, V. V. к Fomenko, A.T. 2015, Integrable Billiards Model Important Integrable Cases of Rigid Body Dynamics", Dokl. Math., vol. 92, no. 3, pp. 682-684.
10. Fomenko A.T. 1987, "The topology of surfaces of constant energy in integrable Hamiltonian systems, and obstructions to integrabilitv", Math. USSR-Izv., vol. 29, no. 3, pp. 629-658.
11. Fomenko А. Т. к Zieschang H. 1991, "A topological invariant and a criterion for the equivalence of integrable Hamiltonian systems with two degrees of freedom", Math. USSR-Izv., vol. 36, no. 3, pp. 567-596.
12. Bolsinov, A.V. k Fomenko, A.T. 2004, Integrable Hamiltonian systems: geometry, topology, classification, Chapman k Hall /CRC, Boca Raton, London, N.Y., Washington.
13. Vedvushkina, V. V. k Kharcheva, I. S. 2021, "Billiard books realize all bases of Liouville foliations of integrable Hamiltonian systems", Sb. Math., vol. 212, no. 8, pp. 1122-1179.
14. Vedvushkina, V. V. k Kibkalo, V. A. 2020, "Realization of the numerical invariant of the Seifert fibration of integrable systems by billiards", Mosc. Univ. Math. Bull., vol. 75, no. 4, pp. 161-168.
15. Vedvushkina, V. V. 2020, "Local Modeling of Liouville Foliations by Billiards: Implementation of Edge Invariants", Mosc. Univ. Math. Bull., vol. 76, no. 2, pp. 60-64.
16. Vedvushkina, V. V., Kibkalo, V. A. k Fomenko, A.T. 2020, Topological modeling of integrable systems by billiards: realization of numerical invariants", Dokl. Math., vol. 102, no. 1, pp. 269271.
17. Jacobi, C.G. 1884, Vorlesunger uber Dvnamik, Berlin: Druck und Verlag von Reimer.
18. Glutsvuk, A. A. 2018, "On Two-Dimensional Polvnomially Integrable Billiards on Surfaces of Constant Curvature", Dokl. Math., vol. 98, no. 1, pp. 382-385.
19. Bialv, M. k Mironov A.E. 2016, "Algebraic non-integrabilitv of magnetic billiards", J. Phys. A., vol. 49, no. 45, pp. 455101.
20. Glutsvuk, A. A. 2020, "On commuting billiards in higher-dimensional spaces of constant curvature", Pacific J. Math., vol. 305, no. 2, pp. 577-595.
21. Vedvushkina, V. V, Fomenko, A.T. k Kharcheva, I.S. 2018., "Modeling nondegenerate bifurcations of closures of solutions for integrable systems with two degrees of freedom by integrable topological billiards", Dokl. Math., vol. 97, no. 2, pp. 174-176.
22. Dragovic, V. k Radnovic, M. 2009, "Bifurcations of Liouville tori in elliptical billiards", Regul. Chaotic Dyn., vol. 14, no. 4-5, pp. 479-494.
23. Fokicheva, V. V. 2012, "Description of singularities for system "billiard in an ellipse", Moscow Univ. Math. Bull, vol. 67, no. 5-6, pp. 217-220.
24. Fokicheva, V. V. 2014, "Description of singularities for billiard systems bounded by confocal ellipses or hyperbolas", Mosc. Univ. Math. Bull, vol. 69, no. 4, pp. 148-158.
25. Dragovic, V. k Radnovic, M. 2019, "Caustics of Poncelet Polygons and Classical Extremal Polynomials", Regul. Chaotic Dyn., vol. 24, no. 1, pp. 1-35.
26. Adabrah, A. K., Dragovic, V. & Rad novic, M. 2019, "Elliptical Billiards in the Minkowski Plane and Extremal Polynomials", Rus. J. Nonlin. Dyn., vol. 15, no. 4, pp. 397-407.
27. Bolsinov, A. V., Matveev, S. V. k Fomenko A.T. 1990, "Topological classification of integrable Hamiltonian systems with two degrees of freedom. List of systems of small complexity", Russian Math. Surveys, vol. 45, no. 2, pp. 59-94.
28. Fomenko, A.T. 1986, "Morse theory of integrable Hamiltonian systems", Soviet Math. Dokl, vol. 33, no. 2, pp. 502-506.
29. Fokicheva, V. V. 2015, "A topological classification of billiards in locally planar domains bounded by arcs of confocal quadrics", Sb. Math., vol. 206, no. 10, pp. 1463-1507.
30. Vedyushkina, V. V. k Fomenko, A.T., "Integrable Topological Billiards and Equivalent Dynamical Systems", Izv. Math., vol. 81, no. 4, pp. 688-733.
31. Vedyushkina, V. V. 2019, "The Fomenko-Zieschang invariants of nonconvex topological billiards", Sb. Math., vol. 210, no. 3, 310-363.
32. Kibkalo, V. A., Fomenko, A. T. k Kharcheva, I. S. 2021, "Realization of Integrable Hamiltonian Systems by Billiard Books", Trans, of Moscow Math. Soc., vol. 82, no. 1, (in press). Available at: https://arxiv.org/abs/2012.05337 .
33. Vedyushkina, V. V. k Fomenko, A.T. 2021, "Force Evolutionary Billiards and Billiard Equivalence of the Euler and Lagrange Cases", Dokl. Math., vol. 103, no. 1, pp. 1-4.
34. Fokicheva, V. 2016, Topological Classification of Integrable Billiards, PhD Thesis, Moscow, Lomonosov MSU.
35. Matveev, S.V. k Fomenko A.T. 1997, Algorithmic and Computer Methods for Three-Manifolds, Springer, 352 p.
36. Vedyushkina, V. V. 2020, Integrable billiards on CW-complexes and integrable Hamiltonian systems, Doctoral Thesis, Moscow, Lomonosov MSU.
37. Vedyushkina, V. V. 2020, "Integrable billiard systems realize toric foliations on lens spaces and the 3-torus", Sb. Math., vol. 211, no. 2, pp. 201-225.
nojivHeno 15.11.2021 r. npimaTO B nenaib 27.02.2022 r.