CC BY
35
УДК 513.81
ПРОСТРАНСТВА А.Д. АЛЕКСАНДРОВА ОГРАНИЧЕННОЙ СВЕРХУ КРИВИЗНЫ
Д.В. Лахин
In this paper the following problem is studied. Let 7Г : M —> M be a branched covering of smooth riemannian manifold M with metric d by manifold M. It is possible to draw the metric d from M into some metric d on M. And there appears a question: what conditions about M and ж can ensure the metric space (M, d ) to be an Alexandrov space of bounded curvature? This question is considered in given paper.
1. Введение
В последнее время в геометрии проявляется большой интерес к изучению вопросов, связанных с пространствами А.Д.Александрова ограниченной сверху кривизны. Эта работа посвящена следующей задаче. Пусть М - гладкое рима-ново многообразие и я : М —У М - разветвленное накрытие М многообразием М. Определение разветвленного накрытия, а также все остальные, см. в пункте
2. Обозначим метрику на М через d. Метрика на М с помощью отображения я может быть поднята на М. Возникает вопрос, какие условия на М и я являются достаточными для того, чтобы многообразие М превратилось в пространство А.Д.Александрова ограниченной сверху кривизны? Этот вопрос исследовался В [1]'
В нашей работе многообразия М и М мы считаем линейно связными, а отображение я непрерывным. Тогда метрику d можно поднять на М, например, с помощью следующего определения.
Пусть ж, у £ М. Тогда
d(x,y) = inf sd(Tr(L)), (1)
xLy
где L - это всевозможные непрерывные пути на М, соединяющие ж и у, а зД7г(Т)) - это длина пути я(L) на М в метрике d.
В этой работе исследуется другой способ задания той же самой метрики, а именно, с помощью субметрии. Результатом является следующее предложение.
© 1999 Д.В. Лахин
E-mail: guts@univer.omsk.su Омский государственный университет
Предложение 1. Пусть тт : М -Д М разветвленное накрытие гладкого риманова многообразия М компактным многообразием М. Многообразия М и М линейно связны. Риманова метрика на М обозначается через d. Тогда на М существует единственная внутренняя метрика р, такая, что отображение тт : (М,р) —>■ (М, d) является субметрией. Я
В процессе доказательства мы получаем, что эта метрика совпадает с d. Все дальнейшие результаты доказаны только для двумерных многообразий. На основании полученных в [1] результатов показана справедливость следующего предложения.
Предложение 2. Пусть тт : М —У М - разветвленное накрытие гладкого двумерного риманова многообразия М двумерным многообразием М. Многообразия М и М линейно связны. Риманова метрика на М обозначается через
d. Гауссова кривизна М не превосходит у- Тогда метрика d на М, поднятая
из метрики d на М с помощью отображения тт, превращает М в пространство кривизны < X по А.Д.Александрову. Я
Здесь d определяется по формуле (1).
Далее исследуется следующий вопрос. Мы рассматриваем три частных случая разветвленного накрытия тт : М —У М. В каждом из них в качестве М берется единичная сфера Римана S, реализованная как подмножество Е3, т.
e. риманово многообразие. Далее, в первом случае М - это также сфера Римана, и она накрывает S с помощью рациональной функции. Во втором случае М - это тор, накрывающий сферу S с помощью эллиптической функции. В третьем случае М представляет собой сферу с g ручками, а отображение тт будет построено ниже (в пункте 6). Для всех этих случаев из Предложения 1 и Предложения 2 мы получаем следующие следствия.
Следствие 1. Пусть сфера Римана S отображается на сферу Римана S с помощью рациональной функции /. Тогда на S существует единственная внутренняя метрика, такая, что отображение / является субметрией, и эта метрика превращает S в пространство кривизны <1. ■
Следствие 2. Пусть тор Т отображается на сферу Римана S с помощью эллиптической функции v. Тогда на Т существует единственная внутренняя метрика, такая,, что отображение v является субметрией, и эта метрика превращает Т в пространство кривизны <1. ■
Следствие 3. Пусть многообразие N - сфера с g ручками, g > 0, отображается на сферу Римана S с помощью отображения h (отображение h определяется в пункте 6). Тогда на N существует единственная внутренняя метрика, такая, что отображение h является субметрией, и эта метрика превращает N в пространство кривизны <1. ■
В каждом случае мы получаем метрическое пространство (М, d ) кривизны < 1. Далее, оказывается, что если отображение тт задано явно, то метрику d
на М можно вычислить. Для этого удобно воспользоваться римановой поверхностью R отображения я-1, обратного к тт. На римановой поверхности определена естественная метрика (см. 1.2), и отображение тт~1 : R —>■ М является изометрией. Таким образом, для вычисления d достаточно построить рима-нову поверхность для тт~1. Основная часть работы как раз и посвящена этому вопросу. Результатом является алгоритм, позволяющий построить риманову поверхность для функции, обратной к произвольной рациональной или четной эллиптической.
2. Предварительные сведения
1.1. Опишем, как конкретно будут реализованы наши частные случаи разветвленного накрытия тт : М —У М. Как уже говорилось, М представляет собой сферу Римана S, вложенную в Е3 - трехмерное евклидово пространство. Она снабжается индуцированной римановой метрикой d. Как множество точек, S можно рассматривать в виде С U {оо}. Далее, в первом случае М также представляет собой сферу Римана, и мы также будем рассматривать М в виде С U {оо}. Таким образом, тт в этом случае действует из С U {оо} в С U {оо}. В качестве тт мы берем все рациональные функции. Во втором случае М - это тор, который мы представляем как результат факторизации С по действию группы, порожденной двумя сдвигами на векторы сщ и
(coi,co2 £ С, сщ ф- 0,ю2 ф- 0, сщ/сщ (ji R). Поэтому отображение тт в этом случае задано на параллелограмме, стороны которого - это векторы сщ и сэ2. В качестве тт мы берем четные эллиптические функции с периодами сщ и сэ2. Реализация М в виде сферы с g ручками для третьего случая описана в пункте 6. Для всех трех случаев у из Предложения 1 равно единице, т. к. гауссова кривизна S равна 1.
1.2. Пусть мы находимся в рамках одного из трех частных случаев. Введем некоторые обозначения. Риманову поверхность для тт~1 обозначим через R. Далее, многозначную функцию тт~1 обычно считают заданной на i?, но в таком случае это отображение не является обратным к тт. Чтобы не произошло путаницы, мы введем обозначение тт~1 : R -Д М. Под этим отображением будет пониматься то, что обычно понимается под тт~1. Таким образом, следующая диаграмма будет коммутативной:
R
¥_1)/
м A s
Здесь <р - это естественная проекция римановой поверхности на сферу Римана, т. е. две точки проектируются в одну, если они имеют одно и то же положение на соответствующих сферах, из которых склеена риманова поверхность R. Отметим также существование отображения л : М —> i?, обратного к л-1, оно нам впоследствии понадобится.
На R существует естественная метрика, которая определяется как инфи-мум длин всех непрерывных кривых L, соединяющих точки, между которыми измеряется расстояние. Длина кривой L - это длина кривой <p(L). Из этого определения, определения метрики d по формуле (1) и коммутативности построенной выше диаграммы следует, что М изометрично римановой поверхности R и отображения 1т~1 : R —>■ М или и W : М —>■ R являются изометриями. Таким образом, вместо метрического пространства (М, d ) можно исследовать риманову поверхность R с естественной метрикой, и если мы хотим вычислить метрику d на М, то нужно всего лишь построить риманову поверхность для отображения 7Г-1.
3. Основные понятия и определения
Определение 1. Метрическое пространство (М, d) называется пространством с внутренней метрикой, если
где L - это всевозможные непрерывные пути на М, соединяющие ж и у, a зДА) - это длина пути L в метрике d.
Определение 2. Кратчайшей метрического пространства называется кривая, длина которой равна расстоянию между ее концами.
Определение 3. Набор из трех точек р, у, г £ М метрического пространства М и трех кратчайших py,pr, qr называется треугольником в М и обозначается Apqr.
Зафиксируем вещественное число к. Назовем Ачплоскостыо двумерное полное односвязное риманово многообразие кривизны к. Пусть М - пространство с внутренней метрикой. Тройке точек р, у, г из М сопоставим треугольник Apqr на Ачплоскости с вершинами р, у, г и длинами сторон |ру| = |ру|, |рг| = |рг|, |ут| = |уг|. При к < 0 такой треугольник всегда существует, а при к > 0 только в предположении, что периметр Apqr меньше
Определение 4. Пусть М - пространство с внутренней метрикой, в котором локально любые две точки соединимы кратчайшей. Тогда М называется пространством кривизны < к по А.Д.Александрову, если для любой точки ж £ М существует окрестность UX} такая, что выполнено следующее:
Для любого треугольника Apqr с вершинами в Ux и любой точки s на стороне qr выполнено неравенство |ps| < |рз|, где s - точка на стороне qr треугольника Apqr, соответствующая з, т. е. такая, что |уз| = |уз|.
Определение 5. Пусть M}N - n-мерные многообразия, а р : N —> М -непрерывное отображение. Отображение р называется разветвленным накрытием, если в М существует (п — 2)-мерный полиэдр А, прообраз которого p~l(L)
\/ж, у • М й(ж, у) = inf Sd(L),
xby
является (п — 2)-мерным полиэдром, причем ограничение р на N\tt~1(L) является накрытием. Порядок этого накрытия есть также по определению и порядок разветвленного накрытия р. Полиэдр L называется множеством ветвления р. В случае двумерных многообразий L представляет собой конечное число точек, а 7Г-1(Й) дискретное множество. Тогда точки множества L называются точками ветвления разветвленного накрытия р.
Определение 6. Отображение р метрических пространств, такое, что р : (N,pw) -Д (М, Дм), называется субметрией, если
где Вг\х\ и Вг\р(х)] - замкнутые шары радиусов г с центрами в точках х и р(х) соответственно.
Определение 7. n-мерный орбифолд Q - это отделимое паракомпактное пространство Q0, снабженное покрытием открытыми множествами {Ui}, замкнутым относительно взятия конечных пересечений. Каждому множеству Ui сопоставляется некоторая конечная группа Gi, некоторое действие группы Gi на открытом подмножестве Ui в R” и гомеоморфизм дч : Ui/Gi -Д Ui. Если Ui С Uj, то должны существовать включение /гд : Gi -Д Gj и эквивариантное по отношению к /гд вложение фч3 : Ui -Д Uj, такие, что следующая диаграмма коммутативна:
Пространство Q0 называется подстилающим пространством.
Обозначим через i\)i отображение Ui -Д Ui, представляющее собой композицию отображений факторизации Ui -Д Ui/Gi и гомеоморфизма дч : Ui/Gi -Д Ui. На дизьюнктном объединении ]J Ui определим отображение ф = II др • Q0. Рассмотрим псевдогруппу всевозможных локальных гомеоморфизмов 1№ эквивариантных относительно ф.
Определение 8. Говорят, что на орбифолде Q задана метрика, если метрика задана на каждом Ui, и каждый элемент псевдогруппы является изометрией. Говорят, что орбифолд с этой метрикой имеет кривизну < у, если каждое множество Ui является пространством, удовлетворяющим Определению 4 при к = х, но не для некоторой окрестности Ux, а глобально.
4. Римановы поверхности рациональных функ-
ции
Пусть S и S - две сферы Римана, а / : S —>■ S - рациональная функция, отображающая S в S.
Уж £ М Уг > 0 р(Вг[ж]) = Вг[р(х)\,
Общий вид рациональной функции:
_ axzn Н----1~ anz + an+1 _ a(z)
bizm + • • • + bmz + bm+1 6(z)
арф £ C, ai ^ 0,6i ф 0.
Можно считать, что числитель и знаменатель f(z) не имеют одинаковых корней.
Отображение / представляет собой разветвленное накрытие, и, как уже говорилось выше, нам нужно узнать строение римановой поверхности многозначной функции f~x(z).
Пусть R - это и есть та самая риманова поверхность. Построение ее проводится следующим образом. Берется несколько сфер Римана, а именно, столько, каков порядок разветвленного накрытия /. Далее все эти сферы Римана определенным образом склеиваются (см. ниже). В результате мы получаем поверхность, у которой некоторое конечное число точек имеет следующую особенность. Во-первых, в каждой такой точке склеивается несколько сфер Римана, а во-вторых, всякая ее достаточно малая окрестность получается при склеивании нескольких окрестностей с этих сфер, причем каждая из них является окрестностью прообраза этой точки при отображении склейки. Такие особые точки называются точками ветвления римановой поверхности. Порядком точки ветвления называется число сфер Римана, которые в ней склеиваются. Эти точки ветвления поверхности R следует отличать от точек ветвления разветвленного накрытия / (см. Определение 5), хотя они и имеют к ним определенное отношение:
Пусть г £ R - точка ветвления R. Тогда образ s = <р(г) при отображении точки г с помощью <р будет точкой ветвления /, где <р : R -У S - это естественная проекция (см. 1.2). Также верно, что для любой s £ S - точки ветвления /, существует г £ R - точка ветвления R (не обязательно единственная), такая, что <p(r) = s. Кроме того, если s £ S - произвольная точка ветвления и U - ее достаточно малая окрестность, то можно установить взаимно однозначное соответствие между точками ветвления R, принадлежащими прообразу (д_1(з), и теми компонентами связности Uj множества f~l{U), для которых выполняется следующее условие:
Отображение / Uj\{x} -У П\{з}, где точка х - это единственная
точка из прообраза /_1(з), лежащая в Uj, является обычным (неразветвленным) накрытием порядка pj > 1. При этом компонента Uj с порядком накрытия pj соответствует точке ветвления на R, также имеющей порядок рг
Во всех этих рассуждениях не использовалось особого вида многообразия S или разветвленного накрытия /, поэтому они также годятся и для общего случая.
Через I обозначим тах{п,т}. Утверждается, что R склеена в точности из I сфер Римана. Для этого достаточно показать, что уравнение f(z) = ш, разрешенное относительно z, имеет ровно I различных корней (здесь со £ S - не точка ветвления /). Это действительно так, потому что уравнение f(z) = ш,
домноженное на знаменатель b(z) рациональной функции /, представляет собой многочлен степени I относительно z.
Наша задача - понять строение римановой поверхности R.
4.1. Нахождение точек ветвления и определение их порядка
Рассмотрим случай точки ветвления /, имеющей конечный прообраз. Эта точка может быть и бесконечностью. Берем производную функции f(z):
a'(z)b(z) — a(z)b'(z)
/'(*) =
b2(z)
He сокращая получившейся дроби, приравниваем к нулю числитель. Пусть Zi,. . . , zq - это его корни с кратностями рх,... ,pq соответственно (z{ ф Zj,i ф j). Тогда точка s = f(z{) будет точкой ветвления разветвленного накрытия /, и ее прообраз (д_1(з) £ R будет содержать точку ветвления г £ R порядка pi + 1, причем будет выполнено f(zi) = г (про / см. 1.2).
Чтобы разобраться с точкой, имеющей прообразом бесконечность, нужно сделать замену g(z) = /(д). Функция g(z) также является рациональной. Приравняем к нулю числитель g'(z). Мы получаем какое-то уравнение, и пусть у этого уравнения есть корень 0 кратности р. Тогда точка д(0) будет точкой ветвления разветвленного накрытия /, и в прообразе (д-1(д(0)) будет точка ветвления римановой поверхности R порядка р + 1.
Пусть у нас имеется к точек щ,. . ., щ,, таких, что f'(zi) = 0, i = 1,. . . , к. Тогда точки /(щ), • • •, f(zk), как уже было сказано, будут точками ветвления для разветвленного накрытия /, а точки /(щ), • • • ,f(zk) будут точками ветвления на i?, причем все они будут различны, в отличие от /(щ),..., f(zk), которые могут и совпадать. Следовательно, на R у нас есть к точек ветвления, и пусть pi,. . . }рк - их порядки. Можно показать, что выполняется соотношение
Pi + • • • + Рк ~ к = 21 — 2.
Эта формула представляет собой частный случай формулы Римана-Гурвица для разветвленных накрытий, и она может быть получена из следующей формулы Гаусса-Бонне:
Р к
К ds + ^Д27г — 2ттрф = 2ttx(S). %=1
Здесь К - кривизна S во всех точках, кроме {щ,. . . ,гц}, и она равна 1, т. к. метрика у нас перенесена с единичной сферы S с помощью локально изометрич-ного отображения. Поэтому J К ds = площади S = площади R = йл/,
т. к. риманова поверхность R склеена из I сфер Римана. Через х(б') обозначена эйлерова характеристика сферы S, т. е. х(б') = 2. Эта формула может использоваться и в более общем случае, достаточно заменить S на М и S на М.
4.2. Построение римановой поверхности
Для построения римановой поверхности нужно взять I сфер Римана. Далее на этих сферах нужно разместить точки ветвления и провести между ними разрезы. По этим разрезам сферы Римана следует склеить между собой. Утверждается, что все это можно сделать с помощью следующей процедуры. Берется одна сфера Римана, и на ней отмечаются точки, имеющие те же координаты, что и /ДД, i = 1,. . . , к. Далее эти точки определенным образом разбиваются на (/ — 1) пару, причем одна и та же точка может попасть в разные пары, и не исключен случай, когда пару составляет дважды взятая одна и та же точка. Зафиксируем одну пару. Между точками этой пары опять же определенным образом проводится разрез. Затем мы берем еще одну сферу Римана, отмечаем на ней точки, имеющие те же координаты, что и точки данной пары, и проводим между ними точно такой же разрез. Эти два разреза склеиваем между собой, причем каждый край разреза склеивается с ему противоположным. Далее та же процедура проводится для второй пары и т. д. Таким образом, нам остается научиться разбивать точки на пары и проводить разрезы.
Опишем процедуру составления пар. Пусть со £ S - произвольная точка -не точка ветвления /. Решаем уравнение /Д) = Пусть Д,. . ., Д £ S - его корни. Пусть сц i = 1,...,к - это путь на S, который представляет собой петлю, начинающуюся и заканчивающуюся в точке Д. Кроме того, эта петля должна из всех точек на S обойти только вокруг точки щ, причем
один раз. Пусть также dj, j = 1это путь на S, соединяющий точку Д с точкой Д. Зафиксируем j. Рассмотрим некоторое множество путей. Во-первых, в это множество включаем dj, а кроме него, также пути, которые получаются следующим образом. Сначала проводится петля сц, затем сг2, сгз,..., сг- , 1 < Д < ... < iq < к, q = В конце проводится путь dj. Образ каждого
пути из этого множества при отображении / представляет собой петлю на S, начинающуюся и заканчивающуюся в точке ш. Все эти петли обходят одну или несколько точек /ДД, i = Но только два из них обходят по одной
точке. Пусть это будут точки /Дц) и /Дг2). Тогда мы объединяем их в одну пару, и между ними будет проводиться разрез. Затем мы фиксируем другое j и т. д.
Пусть точки /Дг-Д и /Дг2) попали в одну пару. Теперь надо провести разрез, соединяющий эти точки. Пусть g^, i = 1,. . . , к - это путь на S, соединяющий точку Д с точкой щ. Будем также считать, что Д и щ - начало и конец д^, не принадлежат д^, и д^ не содержит также никакой другой точки Zj, j Д i. Разрез между /Дц) и /(щ2) представляет собой путь, соединяющий эти точки и, кроме того, удовлетворяющий следующим условиям:
1. Считаем, что начальная и конечная точки такого пути - /Дц) и /Дг2), ему не принадлежат.
2. Этот путь не пересекает ни один из путей /ДД, г = 1,. . . , к, i Д Д, г Д г2, нечетное число раз.
3. Этот путь не пересекает ни один из уже проведенных разрезов.
Нужно учесть, что «касание» двух путей не следует считать пересечением.
В случае гладких путей «касание» означает, что один путь лежит локально по одну сторону от касательной к другому пути в точке, общей для них. Мы можем ограничиться только гладкими путями. Оказывается, что всегда существуют разрезы, удовлетворяющие поставленным условиям.
Далее мы берем сферу Римана, отмечаем на ней все точки /(щ),. . ., /(гц), соединяем их соответствующими разрезами и, как описано выше, к каждому разрезу подклеиваем свою сферу Римана.
В результате мы получим риманову поверхность для многозначной функции
f~4z)-
Для вычисления метрики d на S гораздо удобнее, если разрезы проведены по дугам больших окружностей. Но в результате нашего построения римано-вой поверхности разрезы могут оказаться самого произвольного вида, и, если мы хотим вычислять метрику, эти разрезы надо «выпрямить». Опишем этот процесс. Предположим, что на какой-то сфере у нас есть две точки и соединяющий их разрез. Проведем дугу большой окружности, соединяющую эти точки, и рассмотрим преобразование, представляющее собой гомотопию с закрепленными концами нашего разреза в эту дугу. Так как при склеивании римановой поверхности у нас есть две сферы с одинаковыми точками ветвления и тем же разрезом, преобразования на одной из сфер нужно проводить одновременно с преобразованиями на другой сфере. При гомотопии на любой из сфер наш разрез может «заметать» какие-то точки ветвления или части каких-то других разрезов. В этом случае «заметенная» часть переносится в те же самые точки, но на другую сферу, а именно на ту, на которой в данной момент также производится гомотопия. То есть наши две сферы как бы обмениваются «заметенными» кусками. В результате мы получаем разрез в виде дуги большой окружности. Затем те же самые действия могут быть применены к другому разрезу, но может так оказаться, что этот разрез будет начинаться на одной сфере, а продолжаться на другой. В таком случае нужно будет вести гомотопию сразу обоих частей разреза, причем каждого куска на двух сферах, т. е. одновременно придется рассматривать четыре сферы. Возможно также, что разрез будет проходить больше чем по двум сферам, и в таком случае их число еще увеличивается. Но в результате этих операций мы получим, что все наши разрезы будут дугами больших окружностей, и мы сможем вычислить метрику
I
Приведем пример вычисления метрики.
Пример 1. В этом примере вычисляется метрика на сфере S, перенесенная со сферы S с помощью рациональной функции
Z2 + Z + 1
Отображение / представляет собой двулистное разветвленное накрытие. Найдем точки, в которых производная f'(z) зануляется. Для этого решаем уравнение:
(ж2 + l)'(z2 + z + l)-(z2 + 1 )(z2 + z + iy = 0.
Проведя элементарные преобразования, мы получим, что корнями будут точки Zi = — 1 и z2 = 1. Следовательно, точки ветвления отображения / -это точки /( — 1) = 2 и /(1) = 2/3 на сфере S. Поэтому риманова поверхность R многозначной функции f~l(z) представляет собой две сферы, склеенные по разрезу, соединяющему точки 2 и 2/3 (см. рисунок).
Разрезы проведены по кратчайшей, соединяющей точки ветвления.
Вычисляя метрику на R} мы тем самым вычисляем ее и на S, т. к. эти пространства можно отождествить с помощью изометрии / : S —>■ R (см. 1.2). Пусть нужно определить расстояние между точками Ж1,ж2 £ R. Возможны два случая:
1. Точки Х\ и ж2 лежат на какой-то одной сфере. Мы считаем, что эта сфера пока еще не разрезана для склейки, хотя путь, по которому будет делаться разрез, уже проведен. Проведем также путь, соединяющий х\ и ж2 и представляющий собой кратчайшую данной сферы. Предположим, что этот путь не имеет общей точки с внутренностью пути-разреза. Тогда расстояние между точками х\ и ж2 будет равно длине этого пути. В противном случае мы от каждой из этих точек проводим по две кратчайших до концов разреза. В результате мы получим две ломаных, соединяющих точки х\ и ж2. Выберем ту из них, которая будет не длиннее другой. Ее длина как раз и будет равна расстоянию от точки Xi до ж2.
2. Точки х\ и ж2 принадлежат разным сферам. В этом случае отметим на сфере, на которой лежит xi, точку ж2, имеющую то же самое положение, что и точка ж2 на другой сфере. Так же, как и первом случае, проведем кратчайшую, соединяющую точки xi и ж2. Но сейчас, если эта кратчайшая имеет общую точку с путем-разрезом, то ее длина и будет равняться расстоянию между Ж1 и ж2. В противном случае, как и прежде, проводим по две кратчайших от каждой из точек xi и ж2 до концов разреза. Мы опять получаем две ломаных, соединяющих xi с ж2. Длина той из них, которая будет не длиннее другой, и равна расстоянию между точками xi и ж2.
Если какая-нибудь из точек xi и ж2 лежит непосредственно на разрезе, то можно считать, что она принадлежит любой из сфер.
Таким образом, мы вычислили метрику на римановой поверхности i?, а, следовательно, и на S.
Далее мы будем рассматривать римановы поверхности для четных эллиптических функций.
5. Римановы поверхности четных эллиптических функций
Определение 9. Мероморфная функция v(u),u £ С называется эллиптической, если она имеет периоды ид и ид, отношение которых ид/ид не является действительным числом.
Из определения видно, что эллиптическую функцию можно считать заданной на торе.
В дальнейших рассуждениях предполагаем периоды ид и ид фиксированными.
В теории эллиптических функций существует своего рода основная эллиптическая функция - функция Вейерштрасса р(и), определяемая рядом
где суммирование ведется по всем ш ф- 0 вида ш = тщд + то2ид, т\ и т2 -произвольные целые числа (не равные одновременно нулю).
Известна следующая теорема (см. [3, с. 192]):
Любую эллиптическую функцию v(u) с периодами ид и ид можно представить в виде:
v(u) = P(p(u)) + p'(m)Pi(p(m)),
где P(z) и P\(z) - некоторые рациональные функции, а функция р(и) построена по периодам ид и ид.
В этой работе мы будем рассматривать построение римановых поверхностей только для четных эллиптических функций. Они могут быть представлены в виде v(u) = P(p(u))} где P(z) - рациональная функция.
Риманова поверхность для функции p~l(u) имеет четыре точки ветвления, причем каждая второго порядка. Одна точка всегда оо, а остальные три обозначаются ei,e2,e3 и определяются периодами ид и ид. При изменении ид,ид мы будем получать различные точки е1? е2, е3, но всегда будет выполнено условие е\ + е2 + е3 = 0. Риманова поверхность состоит из двух сфер, на каждой из которых проведены по три разреза, каждый от точки ег-, i = 1,2,3 до оо. Сферы склеиваются по этим разрезам.
Опишем, как строить риманову поверхность для функции (P(p(it)))_1, если известна риманова поверхность для рациональной P(z). Нужно взять сферу Римана, на которой проведены разрезы от точек ег-, i = 1,2,3 до точки оо. Затем применим отображение Р (про Р см. 1.2), переводящее эту сферу в риманову поверхность многозначной функции P~l(z). Разрезы на сфере при этом перейдут в какие-то разрезы на римановой поверхности. Возьмем второй экземпляр этой римановой поверхности с такими же разрезами и склеим его
по этим разрезам с первым экземпляром. Понятно, что склеивать между собой следует одинаковые разрезы. В результате мы получим риманову поверхность для (Р(р(м)))-1.
Рассмотрим пример, связанный с переносом метрики с помощью функции Вейерштрасса.
Пример 2. Мы посмотрим, какой диаметр может иметь тор, снабженный метрикой, перенесенной со сферы S с помощью функции Вейерштрасса р(и). При вариации р(и), обусловленной тем, что мы можем брать функции Вейерштрасса с различными периодами сщ и сэ2, мы найдем inf и sup всех возможных диаметров.
Будем представлять себе нашу метрику заданной на римановой поверхности многозначной функции p~l(u). Очевидно, что диаметр всякой поверхности, склеенной из двух сфер, не может превышать 2тт и быть меньше тт. Как раз эти числа и являются искомыми sup и inf соответственно.
sup получается, когда мы устремляем точки ei,e2,e3 к точке оо. Условие е\ + е2 + е3 = 0 нам не мешает. Расстояние от точки 0 на одной сфере до точки О на другой сфере стремится к 27г.
inf получается, когда мы устремляем точки ei,e2,e3 к точке 0. Расстояние между двумя точками, расположенными на одной сфере, очевидно, не превосходит я. В случае, если точки расположены на разных сферах, между ними можно провести путь либо через оо, если его длина меньше тт, либо через одну из точек ег-. Так как ег- —>■ 0, мы получаем, что длина такого пути будет < я.
Теперь опишем эквивалентные способы переноса метрики с М на М.
6. Перенос метрики
Кроме способа переноса метрики с М на М, описанного во введении, можно использовать и следующие два способа. Первый годится для общего случая, а второй только для частных случаев из Следствий 1 и 2, когда отображение я дифференцируемо:
1. Пусть р - это метрика на М. Определим на М сначала полуметрику рр.
Pi(x,y) = р(тг(х),тг(у)).
Затем уже определяем метрику р'\
Р'{х,у) = inf sPl(L),
xLy
где L - это всевозможные непрерывные пути на М, соединяющие ж и у, a sPl (L) - это длина пути L в полуметрике щ.
2. Так как тт сейчас - дифференцируемое отображение, то р' можно задать так:
Р\х,у) = inf
xLy
\Ттт (L(t))\dt,
о
где L - это всевозможные кусочно гладкие пути на М, определенные на [0,1] и соединяющие точки ж и у.
Легко можно показать, что каждый из способов дает одну и ту же метрику, которая совпадает с метрикой d, определенной по формуле (1).
7. Еще один частный случай
Опишем еще один частный случай разветвленного накрытия, при котором можно вычислять перенесенную метрику.
Пусть многообразие N - это сфера с g ручками, g > 0. Предполагаем, что N вложено в R3. Вложение осуществляется так, чтобы ось OZ протыкала это многообразие «вдоль» и имела с ним 2д + 2 общие точки. В каждом случае ось OZ должна быть осью симметрии для многообразия N.
Далее, пусть h - это отображение, которое отождествляет точки N, симметричные относительно оси OZ. Очевидно, что в результате этого отождествления мы получаем сферу. Обозначим ее через S. Видно также, что отображение h является разветвленным накрытием, причем точки ветвления h - это точки сферы S, общие с осью OZ. Это те самые 2д + 2 точки, по которым OZ пересекается с N. Все они имеют второй порядок ветвления.
Описанная конструкция является построением на топологическом уровне. Если же мы хотим, чтобы сфера S была снабжена метрикой, эту же самую ситуацию можно представить следующим образом. Сфера S рассматривается как единичная сфера, стандартно вложенная в Е3, т. е. с центром в 0. Она является римановым многообразием. Многообразие N, сферу с g ручками, мы строим по следующему алгоритму. Сначала берем единичную сферу и отмечаем на ней 2д + 2 различные точки. Затем разбиваем эти точки на пары и обе точки каждой пары соединяем между собой разрезами. Разрезы не должны пересекаться друг с другом. Далее берем второй экземпляр сферы с такими же разрезами и по этим разрезам подклеиваем одну сферу к другой. В результате мы получаем пространство, гомеоморфное сфере с g ручками. Это и будет N. Если мы хотим, чтобы будущая метрика на N хорошо вычислялась, надо так выбирать точки и составлять пары, чтобы в качестве разрезов можно было брать дуги больших окружностей. В общем случае это может не получиться, так как такие разрезы будут пересекаться. Отображение h : N -Д S представляем в виде проекции двух наших сфер на сферу S, т. е. ограничение h на каждую из сфер - это тождественное отображение.
Вся эта конструкция представляет собой частный случай Предложения 2, и мы можем переносить метрику со сферы S на сферу с g ручками N, получая при этом пространство кривизны < 1 по А.Д.Александрову. Если при построении N проводить «хорошие» разрезы, т. е. разрезы по дугам больших окружностей, то эту метрику можно эффективно вычислять.
8. Доказательство Предложения 1
Пусть 7Г : М —> М - разветвленное накрытие гладкого риманова многообразия М компактным многообразием М. Многообразия М и М предполагаются линейно связными. Риманова метрика на М обозначается через d.
Сначала докажем две леммы.
Лемма 1. На компактном топологическом пространстве X нельзя задать метрику р : X X X —>■ R, которая индуцировала бы топологию слабее, чем исходная.
Доказательство. Докажем от противного. Пусть такая метрика р существует. Тогда на X найдется такая точка ж и ее открытая окрестность U в исходной топологии, что никакой открытый шар Вг(х) с центром в точке ж радиуса г > 0, взятый в метрике р, не содержится целиком в этой окрестности U. Пусть Bi/n(ж) - открытый шар радиуса 1/п с центром в точке ж и пусть хп -это точка из Bi/n{ж), такая, что хп ^ U. Так как X - компактное пространство, то у последовательности {ж„} существует сходящаяся подпоследовательность {хПк}. Обозначим ее предел через ж0. Таким образом, lim хПк = ж0. Метрика р
к—^оо
непрерывна на X X X, поэтому р(ж0,ж) = lim р(хПк,х) = 0. Но ж0 ф- ж, так как
к—^оо
ж0 ^ U. Противоречие. ■
Лемма 2. Пусть на М задана метрика р, превращающая отображение тт в субметрию. Тогда для любой точки ж £ М, такой, что 7г(ж) не принадлежит множеству ветвления тт , существует окрестность U в исходной топологии, такая, что отображение U тт(U) является изометрией.
Доказательство. Сначала покажем, что топология, индуцированная метрикой р, совпадает с исходной топологией многообразия М. Пусть Вг\х\,г > 0 - шаровая окрестность точки ж в топологии метрики р. Тогда 7г(Нг[ж]) = Вг [я(ж)], так как тт - субметрия. Если в М взять достаточно малую окрестность U' точки у = 7г(ж), то каждая компонента связности из прообраза tt~1(U') будет взаимно однозначно соответствовать содержащейся в ней единственной точке из прообраза тт~1(у). Возьмем именно такую окрестность U' и, кроме того, потребуем, чтобы U' С Вг\тт(х)]. Тогда компонента связности из прообраза 7г_1(С/), содержащая точку ж, будет окрестностью в исходной топологии М и будет содержаться в Вг\ж]. Мы показали, что топология метрики р не сильнее исходной. Применяя Лемму 1, мы получим, что она совпадает с ней.
Пусть точка ж £ М такая, что 7г(ж) не принадлежит множеству ветвления отображения тт. Пусть U - такая окрестность точки ж, что U тт(U) - гомеоморфизм. Пусть также Вг\ж] - это шар радиуса г в точке ж, такой, что Вг\ж] С U. Тогда окрестность U = Вг/3[ж] будет искомой окрестностью, т. е. отображение U тт(U) будет изометрией. Это действительно так. Предположим, что Ж1,ж2 £ U и /?(Ж1,ж2) = з. Возьмем шар Bs[xi] радиуса s с центром в точке х\. Ясно, что Bs[xi] С Вг\ж]. Точка ж2 принадлежит границе этого шара. Так как тт субметрия, tt(Bs[xi}) = Bs[tt(xi)\, а так как ограничение тт на
Bs[x 1] еще и гомеоморфизм, 7г(ж2) принадлежит границе шара Bs[tt(xi)\, т. е. 6?(7r(xi), 7г(ж2)) = s, что и требовалось доказать. ■
Теперь докажем предложение.
Предложение 1. Пусть тт : М -Д М - разветвленное накрытие гладкого риманова многообразия М компактным многообразием М. Многообразия М и М линейно связны. Риманова метрика на М обозначается через d. Тогда на М существует единственная внутренняя метрика р, такая, что отображение тт : (М,р) —>■ (М, d) является субметрией.
Доказательство. Сначала докажем существование. Для этого явно построим метрику d и покажем, что отображение тт : (М, d ) —>■ (М, d) превращается при этом в субметрию. После этого докажем, что метрика d - внутренняя. Метрика d определяется следующим образом.
Пусть ж, у £ М. Тогда
d(x,y) = inf sd(Tr(L)),
xLy
где L - это всевозможные непрерывные пути на М, соединяющие ж и у, а ■S(i(tt(L)) - это длина пути тт(Ь) на М в метрике d.
Пусть Вг\ж] - шар радиуса г с центром в точке ж. Покажем, что 7г(Нг[ж]) С Вг\тт(х)]. Пусть у £ Вг\ж]. Тогда существует последовательность кривых
ф,. . ., с'п,. . ., соединяющих точки ж и у, такая, что й(ж, у) = inf зДДс')) < г. Но
i
поскольку метрика d на М внутренняя, а каждая из кривых 7г(с') представляет собой непрерывную кривую, соединяющую точки 7г(ж) и тт (у), мы получаем,
что й(7г(ж), 7г(у)) < inf зДДсД) < г, т. е. 7г(у) £ Вг[я(ж)], что и требовалось
i
доказать.
Покажем, что Вг\тт(х)\ С 7г(Нг[ж]). Пусть z' £ Вг\тт(х)\. Тогда существует последовательность кривых щ,. . ., сп,. . ., соединяющих точки 7г(ж) и ж', такая,
что й(7г(ж), Д) = inf зДсД < г. Без ограничения общности можно считать, что
i
поднятие каждой кривой сд начинающееся в точке ж, оканчивается в одной и той же точке. Обозначим эту точку через ж. Понятно, что 7г(ж) = z'. Для d(ж, z)
в соответствии с определением имеем неравенство d(x,z) < inf зДДсД) < г,
i
т. е. ж £ Вг[ж], что и требовалось доказать.
Покажем, что метрика d внутренняя. Так как отображение тт представляет собой субметрию, то применяя Лемму 2, мы получаем, что тт : (М, d ) —> (М, d) будет локальной изометрией, если с М выбросить дискретное множество точек и с М их образы. Отсюда, в силу определения длины кривой, напрямую следует, что длина любой кривой L на М в метрике d совпадает с длиной кривой тт(Ь) на М в метрике d. Поэтому из определения d мы получаем, что
й(ж,у) = inf sj(L),
xLy
где L - это всевозможные непрерывные пути на М, соединяющие ж и у, а зДЬ) - это длина пути L на М в метрике d. Это в точности и означает, что метрика d - внутренняя.
Пусть теперь на М существует внутренняя метрика р, превращающая отображение я : (М, р) -У (М, d) в субметрию. Покажем, что она совпадает с d. Тем самым мы докажем единственность р. Пусть ж, у £ М. Так как р - внутренняя метрика, р(ж, у) = inf sp(L), где Т - это всевозможные непрерывные пути на М,
хЬу
соединяющие жну. Но так как тт : (М, р) -У (М, б?) субметрия, применяя Лемму 2, мы получаем, что sp(L) = зД7г(Т)), и, следовательно, р(ж,у) = inf зД7г(Т)),
хЬу
что и требовалось доказать.
Предложение доказано. ■
9. Доказательство Предложения 2
В этом пункте мы рассматриваем только двумерные многообразия. Метрика б?, поднимаемая из метрики d на М с помощью отображения тт, определяется по формуле (1) из введения.
Предложение 2. Пусть тт : М -У М разветвленное накрытие гладкого двумерного риманова многообразия М двумерным многообразием М. Многообразия М и М линейно связны. Риманова метрика на М обозначается через d. Гауссова кривизна М не превосходит у- Тогда метрика d на М, поднятая из метрики d на М с помощью отображения тт , превращает М в пространство кривизны < X по А.Д.Александрову.
Доказательство. Пусть {Ui} - открытое покрытие М, замкнутое относительно конечного числа пересечений. Обозначим через {Uij}, 1 < j < щ компоненты связности прообраза 7г_1(Пг). Если Ui не содержит точек ветвления и при этом достаточно мала, что можно было обеспечить при выборе покрытия, то щ равно порядку разветвленного накрытия тт, и для каждой компоненты {Uij} отображение я |р. : Uij -У Ui является гомеоморфизмом. Можно также рассматривать все эти отображения как накрытия порядка kj = 1.
Пусть теперь Ui содержит точку ветвления у. Будем считать Ui достаточно малой окрестностью, а именно, настолько малой, чтобы Ui не содержало других точек ветвления, отличных от у, и чтобы каждая компонента Uij, 1 < j < щ содержала только одну точку Xj из прообраза {х\,. . . ,хПг} = 7г-1(у). Если это условие выполнено, то каждое из отображений
п Uij\{xj} -у НДЫ, 1 < j < щ,
является накрытием некоторого порядка kj (возможно что kj = f).
Теперь опять рассмотрим все Ui. Для каждого Ui из покрытия {Ui} многообразия М выберем только одну компоненту связности Uij. Зафиксируем этот выбор. Тогда этот выбор определит некоторый орбифолд О следующим образом. М будет подстилающим пространством этого орбифолда, {Ui} - требуемым покрытием М (см. Определение 7), а в качестве Ui для каждого множества Ui берем выбранную компоненту Uij (если Ui достаточно малая окрестность, то Uij гомеоморфна R2). Ui ставится в соответствие группа Z*, . - циклическая
группа порядка кг Эта группа действует на Ui = R2 как группа поворотов вокруг начала координат на углы, кратные л/kj.
На каждом из этих орбифолдов задана метрика, так как метрики на каждом из множеств Uij, индуцированные метрикой на М, удовлетворяют Определению 8 (см. пункт 2). Таким образом, можно говорить о кривизне орбифолдов.
Утверждение о том, что М является пространством А.Д.Александрова кривизны < у, эквивалентно утверждению о том, что все наши орбифолды имеют кривизну < у. Покажем, что это требование выполняется. Применим теорему 5.3 из [1], утверждающую следующее:
Пусть Q - это орбифолд с метрикой, индуцированной гладкой римановой метрикой его подстилающего пространства Q0. Следующие условия необходимы и достаточны, чтобы кривизна Q была < у.
(1) Секционная кривизна Q0 не превосходит у.
(2) Локально замыкание каждой линейно связной компоненты каждого слоя является выпуклым множеством в Q0.
(3) Для каждой точки х £ Q0 кусочно-сферический полиэдр Sx удовлетворяет условию САТ(1).
В нашем случае подстилающее пространство Q0 - это многообразие М, его секционная кривизна совпадает с гауссовой и не превосходит у, линейносвязные компоненты каждого слоя - конечное множество точек на М (это в точности точки ветвления разветвленного накрытия тт), Sx - это окружность длины 2irk1} a Q - наш орбифолд О. Условие С АТ (к), наложенное на метрическое пространство, означает, что это пространство удовлетворяет Определению 4 (см. пункт 2), но не локально, для некоторой окрестности Ux, а глобально. Очевидно, что все условия теоремы выполнены, и пространство М имеет кривизну < у по А.Д.Александрову.
Предложение доказано. ■
Из Предложений 1 и 2 для наших частных случаев вытекают следующие следствия.
Следствие 1. Пусть сфера Римана S отображается на сферу Римана S с помощью рациональной функции /. Тогда на S существует единственная внутренняя метрика, такая, что отображение / является субметрией, и эта метрика превращает S в пространство кривизны <1. ■
Следствие 2. Пусть тор Т отображается на сферу Римана S с помощью эллиптической функции v. Тогда на Т существует единственная внутренняя метрика, такая, что отображение v является субметрией, и эта метрика превращает Т в пространство кривизны <1. ■
Следствие 3. Пусть многообразие N - сфера с g ручками, g > 0, отображается на сферу Римана S с помощью отображения h (отображение h определяется в пункте 6). Тогда на N существует единственная внутренняя метрика, такая, что отображение h является субметрией, и эта метрика превращает N в пространство кривизны <1. ■
Математические структуры и моделирование. 1999. Вып. 4.
51
Литература
1. Charney R., Davis М. Singular metrics of nonpositive curvature on branched covers of riemannian manifolds // American Journal of Mathematics 115 (1993). P.929-1009.
2. Бураго Ю., Громов M., Перельман Г. Пространства А.Д.Александрова с ограниченными снизу кривизнами // УМН. 1992. N 2. С.16.
3. Гурвиц А., Курант Р. Теория функций. М.: Наука, 1986.
