Математическая энциклопедия - риманова геометрия в целом

раздел римановой геометрии, изучающий связи между локальными и глобальными характеристиками римановых многообразий (р. м.). Термин Р. г. в ц. обычно относят к определенному кругу проблем и методов, характерных для геометрии в целом. Основное место в Р. г. в ц. занимает изучение связи между кривизной и топологией р. м. При этом исследуются вопрос о топологическом и метрич. строении р. м. с данными условиями на кривизну и вопрос о существовании на заданном гладком многообразии римановой метрики с предписанными свойствами кривизны ( секционной кривизны Ks , Риччи кривизныRic, скалярной кривизны K ск). Большая часть полученных результатов относится к пространствам с кривизнами постоянного знака. Р. г. в ц. тесно соприкасается с теорией однородных пространств и вариационной теорией геодезических линий. О подмногообразиях Р. м. см. в статьях Изометрическое погружение и Погруженных многообразий геометрия.

Методы Р. г. в ц. носят синтетич. характер. Наряду с локальной дифференциальной геометрией широко используются теория дифференциальных уравнений и Морса теория. Но основные достижения связаны с нахождением удачных конструкций, напр. построением замкнутых геодезических, минимальных пленок или пленок из геодезических, орисфер, выпуклых множеств. Исследованию топологии р. м. обычно предшествует изучение их метрич. свойств. Последнее часто осуществляется путем сравнения р. м. с подходящим эталонным пространством (см. ниже теоремы сравнения).

Т о п о л о г и ч е с к о е с т р о е н и е. Для замкнутых поверхностей связь между кривизной и топологией по существу исчерпывается формулой Гаусса Бонне. Среди замкнутых поверхностей метрику положительной кривизны могут нести только сфера S² и проективная плоскость Р ², а нулевой кривизны тор и бутылка Клейна. Строение р. м. размерности n>2 известно хуже (1983). Вот примеры известных теорем.

Полное односвязное р. м. М ⁿ с диффеоморфно (т е о р е м а А д а м а р а К а р т а н а), причем для любой точки экспоненциальное отображение expx есть диффеоморфизм касательного пространства Т x М ⁿ на М ^п.

Для замкнутых р. м. с Ks.>0.имеет место следующая т е о р е м а о с ф е р е: полное р. м. М ⁿ с наз. б-з а щ е м л е н н ы м; если оно одно-связно и d>¹/4, то М ^п гомеоморфно Sⁿ. Для четных пграница здесь точная: при d=¹/4 существуют М ^п, негомеоморфные Sⁿ, это симметрические пространства ранга 1 и только они. Для нечетных n теорема о гомеоморфности М ⁿ и Sⁿ верна и при d=¹/4. При , гомеоморфность сфере Sⁿ влечет диффеоморфность. При диффеоморфность сфере установлена при более жестком, чем в теореме о сфере, защемлении (достаточно взять d>0,87, а при взять d>0,66). Известно также, что при еще более жестком защемлении (достаточно d>0,98 и d>0,66 при ) неодносвязное М ^п диффеоморфно пространству постоянной кривизны (факторпространству Sⁿ по дискретной подгруппе изометрий). Есть ряд результатов об условиях на К s, обеспечивающих гомеоморфизм симметрия, пространству ранга 1 (см. [14], [15]).

Открытое, т. е. полное некомпактное, р. м. с К s>0 всегда диффеоморфно . Множество наз. абсолютно выпуклым, если каждая геодезическая с концами в Xвся лежит в X. Пусть М ⁿ - открытое р. м. с , тогда в М ^п существует вполне геодезическое абсолютно выпуклое замкнутое подмногообразие Nтакое, что М ⁿ диффеоморфно пространству нормального расслоения N в М ^п (если К s>0, то dim 7V=0). В случаях dim N=i или n-1, а для однородных пространств всегда, М ^п даже изометрично со стандартной метрикой нормального расслоения. При это дает полную классификацию открытых р. м. с .

Прямой наз. полная геодезическая, кратчайшая на любом своем участке. Теорема о цилиндре: открытое М ⁿ с изометрично прямому метрич. произведению , где не содержит прямых. Условие здесь можно заменить на

.

Фундаментальная группа. При Ks>0 и четном пзамкнутое М ⁿ либо ориентируемо п односвяз-но, либо неориентируемо и фундаментальная группа ; при нечетном n оно всегда ориентируемо, но о p1(Mⁿ) за пределами теоремы о сфере мало что известно. Даже для М ^п постоянной кривизны К s=1 полное описание возможных строений p1(Mⁿ) для нечетных показалось трудной задачей (см. [9]).

Если Ks=0, то универсальное накрывающее пространства М ^п изометрично и фундаментальная группа p1(Mⁿ) изоморфна дискретной группе изометрий без неподвижных точек; она содержит подгруппу сдвигов конечного индекса. (Тем самым Mⁿ допускает конечное изометрич. накрытие плоским тором.)

Если в все , то диффеоморфно . Поэтому все гомотопич. группы pi( М ^п).для i>1 тривиальны, и гомотопич. тин определяется п г( М ^п). Если К s<0, то p1(Mⁿ) полностью некоммутативна в том смысле, что любая абелева (и даже любая разрешимая) ее подгруппа является бесконечной циклической. В случае известно следующее. Пусть Г разрешимая подгруппа p1 (М ⁿ). Тогда Г изоморфна дискретной группе изометрий (без неподвижных точек) и М ⁿ содержит компактное вполне геодезич. подмногообразие, изометричное . Вместо достаточно при этом потребовать отсутствия на геодезических сопряженных точек.

Для двух многообразий одинаковой постоянной отрицательной кривизны и одинаковой размерности изоморфизм p1 влечет изометрию (теорема Мостов а).

Римановы многообразия, для к-рых max, наз. e-п л о с к и м и. Такие многообразия могут при произвольном e>0 топологически отличаться от локально плоских. Для них при любом существует такое en, что для en -плоского М ^п в p1 (Mⁿ) есть нильпотентная подгруппа конечного индекса. При этом М ⁿ допускает конечное (с кратностью, зависящей лишь от п).накрытие, диффеоморфное факторпространству нильпотентной группы Ли по ее дискретной подгруппе (см. [8]).

Полное р. м. с кривизной имеет конечный diam и потому конечную группу p1(Mⁿ). Если для замкнутого , то существует такая конечная нормальная подгруппа ГМp1(Mⁿ), что p1/Г - дискретная группа изометрий , причем разлагается в прямое метрич. произведение , где М* замкнуто, разложение инвариантно относительно p1(Mⁿ), а Г тривиальна на

Наряду с изучением p1(Mⁿ) получены с помощью теории гармонических дифференциальных форм нек-рые оценки для чисел Бетти для d-защемленных М ⁿ. Так, b2=0 при d>(n-3) (4n-9)^-1 и нечетном

Т е о р е м ы с р а в н е н и я. Многие глобальные свойства р. м. доказываются путем сравнения конструкций в изучаемом р. м. с аналогичными конструкциями в эталонном пространстве. В качестве последнего берут многообразие постоянной кривизны, реже другое симметрич. пространство. Ниже с - плоскостью называем при с=0, сферу радиуса при с>0, плоскость Лобачевского кривизны с при с<0.

Многочисленные применения имеет следующая т е ор е м а Т о п о н о г о в а с р а в н е н и я у г л о в. Пусть в р.