Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике 3.4.1. Случай квадратичного интеграла Напомним, что метрики с квадратично интегрируемыми геодезическими потоками на проективной плоскости описываются так. Поднимая эту метрику на сферу, получаем там метрику с тем же свойством. При исследовании метрик на сфере мы представили сферу как фактор-пространство тора по инволюции $\sigma$ и ввели класс метрик вида: где функции $f$ и $g$ удовлетворяют описанным выше условиям. Представим $\mathbb{R} P^{2}$ в виде фактор-пространства сферы, задав на ней инволюцию $\tau$, а именно: Легко убедиться, что инволюция $\tau$ не имеет неподвижных точек на сфере. Эту инволюцию можно поднять до инволюции на торе, накрывающем сферу. Получится инволюция $\tau^{\prime}:(x, y) \rightarrow\left(\frac{1}{2}-x, \frac{L}{2}+y\right)$. Две инволюции на торе $\sigma$ и $\tau^{\prime}$ коммутируют между собой. Отберем теперь из множества всех ( $L, f, g$ )-метрик те из них, которые инвариантны относительно инволюции $\tau$. Рассмотрим те функции $f$ и $g$, для которых Отсюда сразу следует, что $f(x)=f\left(\frac{1}{2}-x\right)$ и $g(y)=g\left(\frac{L}{2}+y\right)$. Учитывая четность функции $f$ (см. выше условие а) получаем, что $f(x)=f\left(x-\frac{1}{2}\right)$, т.е. функция $f$ просто должна быть периодической с периодом $\frac{1}{2}$. Кроме того, как мы уже видели, функция $g$ должна быть периодической с периодом $\frac{L}{2}$. Выше было доказано, что любая метрика с квадратично интегрируемым геодезическим потоком на проективной плоскости может быть получена таким способом, т.е. она задается тремя параметрами: числом $L$, функциями $f$ и $g$. Мы хотим (как это мы делали ранее) изготовить молекулу для метрики на проективной плоскости из уже найденной нами молекулы для метрики на сфере. Для этого нужно понять, как действует инволюция $\tau$ на слоении Лиувилля в 3-многообразии $Q_{S^{2}}=\mathbb{R} P^{3}$. Отметим сначала, что $\tau$ не имеет неподвижных точек на $\mathbb{R} P^{3}$, поэтому топология изоэнергетической поверхности $Q_{\mathbb{R} P^{2}}=\mathbb{R} P^{3} / \tau$ легко устанавливается. А именно, имеет место следующее утверждение. Так как инволюция $\tau$ действует на $\mathbb{R} P^{3}$, то она действует и на молекуле $W$, отвечающей случаю сферы и показанной на рис. 3.30. Легко проверяется, что центральный атом $C_{2}$ и исходящие из него ребра остаются на месте, т. е. переходят в себя. Инволюция на 3 -атоме $C_{2}$ (представленном в виде прямого произведения 2-атома $C_{2}$ на окружность) является просто сдвигом вдоль оюружности-слоя на угол $\pi$ (поворот на угол $\pi$ ). А на кусках $W(f)$ и $W(g)$ действие инволюции описывается так. Заметим, что функции $f(x)$ на отрезке $\left[0, \frac{1}{2}\right]$ удовлетворяет дополнительному условию симметрии. Она симметрична относительно точки $x=\frac{1}{4}$. Это вытекает из ее четности и ее периодичности с периодом $\frac{1}{2}$. Отсюда следует, что функция $f(x)-p_{x}^{2}$ инвариантна относительно центральной симметрии диска, задаваемого неравенством $f(x)-p_{x}^{2}>0$. При этом центр симметрии находится в точке $\left(\frac{1}{4}, 0\right)$. Слоение Лиувилля имеет тип прямого произведения одномерного слоения на диске, умноженного на окружность. Инволюция на этом прямом произведении устроена так. Вдоль слоя нужно повернуть на угол $\pi$, а на диске-сечении нужно взять отражение в центре симметрии $\left(\frac{1}{4}, 0\right)$. Обозначим через $\widetilde{W}(f)$ молекулу, описывающую слоение Лиувилля, полученное факторизацией указанного прямого произведения на действию такой инволюции. Здесь следует различать два случая. Первый – когда неподвижная точка инволюции на базе-диске является точкой локального максимума функции $f(x)-p_{x}^{2}$. Изоэнергетическое 3-многообразие $Q^{3}$ диффеоморфно здесь линзовому пространству $L_{4,1}$. Оно получается из $\mathbb{R} P^{3}$ факторизацией по действию инволюции, не имеющей неподвижных точек. Тогда отвечающая этому геодезическому потоку молекула $\widetilde{W}$ имеет вид, показанный на рис. 3.42 , где молекулы $\widetilde{W}(f)$ $u \widetilde{W}(g)$ построены указанным выше способом. Числовые метки внутри каждой молекулы $\widetilde{W}(f)$ и $\widetilde{W}(g)$ аналогичны меткам, описанным в теореме классификации для бутылки Клейна. Как мы уже знаем, если на проективной плоскости задана метрика с линейно интегрируемым геодезическим потоком, то, взяв накрытие над $\mathbb{R} P^{2}$, мы можем поднять эту метрику на накрывающую сферу $S^{2}$. Геодезический поток поднятой метрики снова будет линейно интегрируемым. Лиувиллева классификация всех таких потоков на сфере была получена в теореме 3.9. Следовательно, чтобы получить из нее лиувиллеву классификацию линейно интегрируемых потоков на проективной плоскости, нужно рассмотреть действие инволюции $\tau$ на молекуле $W$, отвечающей накрывающей сфере, и действие $\tau$ на соответствующем сфере слоении Лиувилля. Затем профакторизовать слоение Лиувилля по этой инволюции. В результате и получится искомая молекула $\widetilde{W}$, описывающая линейно интегрируемые геодезические потоки на $\mathbb{R} P^{2}$. Как и выше, обозначим метрику на сфере, полученную поднятием метрики с $\mathbb{R} P^{2}$, следующим образом: Отметим, что функция $f$ здесь не произвольна, поскольку метрика $d s^{2}$ должна быть инвариантна относительно инволюции $\tau$. Без ограничения общности можно считать, что координата $\theta$ определена на отрезке $\left[-\theta_{0}, \theta_{0}\right]$, а инволюция $\tau$ имеет вид: Условие на функцию $f(\theta)$ состоит поэтому в том, что $f$
|
1 |
Оглавление
|