Дифференциальная Геометрия Многообразий

Раздел дифференциальной геометрии, изучающий различные инфинитезималъные структуры на многообразии и их связи со структурой многообразия и его топологией. К середине 19 в. в результате возникновения неевклидовой геометрии Лобачевского, многомерной геометрии Грассмана, а также развития проективной геометрии и геометрии в комплексной области стало ясно, что привычная евклидова геометрия не является единственно возможной, и в математике с пользой можно развивать другие неевклидовы геометрии, независимо от их отношения к геометрии физического пространства. В 1854 Б. Риман (В. Riemann) в лекции "О гипотезах, лежащих в основании геометрии" предложил новую, весьма плодотворную концепцию "многообразия" (см. Риманово пространство). Тем самым он положил начало римановой геометрии, являющейся важнейшей и наиболее разработанной частью Д. г. м. Концепция Римана не только позволила единообразно описать широкий класс геометрий (включая евклидову геометрию и неевклидову геометрию Лобачевского), но и дала математич. аппарат, в рамках к-рого разнообразные задачи математич. физики и анализа, связанные с дифференциальными уравнениями, получили геометрич. трактовку, что позволило применять для их решения различные геометрич. и топологич. соображения, открыв новые возможности для применения геометрии к анализу. Именно в рамках римановой геометрии А. Эйнштейну (A. Einstein) удалось реализовать идеи о физич. пространстве как о континууме, свойства к-рого определяются распределением материи. Римановым пространством наз. дифференцируемое многообразие М, у к-рого в каждом касательном пространстве Т р М задана евклидова метрика gp (т. е. положительно определенное скалярное произведение), гладко зависящая от точки Наличие в касательном пространстве Т р М риманова пространства Мскалярного произведения позволяет по формулам евклидовой геометрии определить угол между инфинитезимальными кривыми (т. е. векторами из Т р М), длину инфинитезимальной кривой, а также объем k-мерного параллелепипеда в Т Р М, а затем, с помощью интегрирования, длину гладкой кривой на Ми объем k-мерного подмногообразия в М. Это, в свою очередь, позволяет рассматривать в рамках римановой геометрии различные вариационные задачи и, в частности, определить в римановом пространстве понятие геодезической (или геодезической линии). как кривой экстремальной длины и минимальной поверхности, как подмногообразия экстремального объема. Изучение геодезических риманова пространства представляет собой одну из основных задач современной (глобальной) римановой геометрии. Важность ее для приложений определяется тем, что разнообразные динамич. системы физики интерпретируются как равномерное движение по геодезическим того или иного псевдориманова пространства. К таким системам относятся, напр., движения пробных тел (см. Геодезических гипотеза )в общей теории относительности, распространение света в неоднородной среде в приближении геометрической оптики, различные системы классической механики. Было обнаружено, что нек-рые важные уравнения с частными производными (уравнение движения идеальной жидкости и уравнение Эйнштейна общей теории относительности) интерпретируются как уравнения геодезических для нек-рых бесконечномерных римановых пространств, называемых также гильбертовыми многообразиями (см. [5], [12]). Эти открытия стимулировали развитие геометрии бесконечномерных многообразий — глобальный анализ. Уравнения геодезических удается полиостью проинтегрировать только в редких случаях. В связи с этим важную роль приобретают геометрич. и топологич. методы качественного исследования поведения геодезических. Важнейшим среди них является созданная М. Морсом (М. Morse) вариационная теория геодезических (см. Морса теория). Обобщение теории Морса на псевдорпмановы пространства привело к доказательству теорем сингулярности, утверждающих, что в рамка" общей теории относительности физическое пространство-время, как правило, должно обладать сингулярностью (неполными геодезическими). Физически сингулярности интерпретируются, напр., как "черные дыры" (см. [7]). Поведение геодезических риманова пространства в значительной степени определяется его кривизны тензором- тензором Римана — геометрическим объектом, характеризующим отклонение риманова пространства от евклидова. Подобно гауссовой кривизне поверхности, обобщением к-рой он является, тензор кривизны риманова пространства Мв точке хопределяет свойства пространства Мв окрестности точки х. Более того, тензор кривизны несет богатую информацию о глобальных свойствах риманова пространства и о его топологии, напр, о фундаментальной группе, о Бemmи числах и о характеристических классах. Изучение связи между локальными свойствами тензора кривизны и глобальными свойствами риманова пространства составляет одну из главных задач современной глобальной римановой геометрии. Любое подмногообразие Nриманова пространства Мнаследует от Мструктуру риманова пространства. Изучение подмногообразий риманова пространства, а также выяснение вопроса о реализации данного риманова пространства Nв виде подмногообразия данного риманова пространства Мсоставляют основное содержание геометрии подмногообразий (см. также Изометрическое погружение). Важным направлением исследования римановых пространств, начатым работами С. Ли (S. Lie) и В. Киллинга (W. Killing), является изучение его группы движений (т. е. преобразований, сохраняющих длины кривых), к-рая всегда есть группа Ли. Многие римановы пространства Мобладают достаточно богатой группой движений, причем наличие такой группы оказывается очень полезным при изучении целого ряда геометрич. вопросов. Наличие транзитивной группы движений Gпозволяет свести изучение геометрии и топологии пространства Мк вопросам теории групп Ли (см. Однородное пространство). Описание (связной) группы Gдвижений риманова пространства ( М, g )сводится к описанию алгебры Ли инфинитезимальных движений (или, иначе, Киллинга векторов), определяемых как поля, скоростей однопараметрич. подгрупп группы G. Важную роль играют качественные геометрич. методы изучения киллинговых полей и выяснение связи между киллинговыми полями и геометрич. свойствами пространства, прежде всего свойствами его тензора кривизны. Так, напр., доказывается, что в компактном римановом пространстве с отрицательной кривизной Риччи не существует киллинговых полей; интегральная кривая киллингова поля, проходящая через точку экстремума его длины, является геодезической [16]; поведение киллингова поля Xвблизи его неподвижных точек (точек, где Х=0 )определяет важный топологич. инвариант риманова пространства — его Понтрягина числа[19]. Особый интерес представляют римановы пространства, обладающие достаточно большой группой движений. Как обнаружил еще в 1868 Г. Гельмгольц (Н. Helmholtz) и строго доказал С. Ли, "-мерное риманово пространство М, обладающее для данного пмаксимальной (в смысле размерности) группой движений является постоянной кривизны пространством (а именно, евклидовым пространством Е n, пространством Лобачевского или сферич. пространством Римана, Sn). Наиболее близкими к пространствам постоянной кривизны по своим свойствам являются симметрические пространства, т. е. римановы пространства, в к-рых геодезич. симметрия относительно произвольной точки является движением. Эти пространства всегда имеют транзитивную группу движений и допускают классификацию с помощью теории полупростых алгебр Ли (см. [8]). Важную роль в дифференциальной геометрии играет понятие ковариантной производной тензорного поля Тна Мпо направлению вектора к-рое ввел Г. Риччи (G. Ricci), развивший на основе этого понятия "абсолютное дифференциальное исчисление" (см. Тензорный анализ). Аппарат ковариантного дифференцирования оказался удобным для получения инвариантов геометрических объектов. Так, найденная Э. Кристоффелем (Е. Christoffel) и Р. Липшицем (R. Liepschitz) полная система инвариантов римановой метрики состоит из тензора кривизны и его последовательных ковариантных производных. Понятие ковариантной производной позволяет канонич. образом определить в римановом пространстве ряд дифференциальных операторов, свойства к-рых тесно связаны с геометрией пространства. Важнейшими из них являются оператор Бельтрами-Лапласа Д, введенный Э. Примерами неримановых инфинитезимальных геометрич. структур являются абсолютный параллелизм (поле реперов), конформная связность, проективная связность; линейная связность, распределение (или, более общо, флаговая структура), почти комплексная структура, почти симплектическая структура, поле аффиноров и т. п. Геометрия этих структур развивается по аналогии с римановой геометрией. Ее основными вопросами являются следующие: 1) Построение по данной геометрической структуре других (производных от нее) структур и, в частности, инвариантов. Иными словами, построение функторов из категории геометрич. структур данного типа в другие категории. 2) Изучение группы автоморфизмов геометрич. структуры, изучение геометрич. структур с достаточно большой группой автоморфизмов, описание структур данного типа с максимальной группой автоморфизмов, классификация структур данного типа на однородных пространствах. 3) Проблема эквивалентности, т. е. нахождение необходимых и достаточных условий для того, чтобы две геометрич. структуры были эквивалентны. 4) Изучение связи между топологией и структурой гладкого многообразия, с одной стороны, и свойствами заданной на нем геометрич. структуры — с другой. 5) Изучение отображений многообразий с геометрич. структурами, в частности изучение расслоений и подмногообразий. Наиболее важным классом геометрических структур являются транзитивные структуры или G-структуры (см. [10]). Все перечисленные выше примеры структур (кроме поля аффиноров) являются G-структурами. Общая теория G-структур основана на двух фундаментальных идеях Э. Картана: понятии продолжения и понятии структурной функции. В частности, для римановой метрики эти понятия приводят к параллельному перенесению Леви-Чивиты и тензору кривизны. Теория G-структур конечного типа развивается во многом аналогично риманпвой геометрии. В геометрииG-структур бесконечного типа наиболее изученные вопросы относятся к случаю локально плоских (интегрируемых) структур. Важнейшими из них являются Комплексная структура (см. Аналитическое многообразие )и симплектическая структура, лежащая в основе гамильтоновой механики. Э. Картан, развивая геометрич. методы решения систем уравнений с частными производными (систем Пфаффа), создал теорию внешних дифференциальных форм, оказавшую исключительно большое влияние на развитие дифференциальной геометрии. Оператор внешнего дифференцирования dоказался полезным для выражения условия интегрируемости систем уравнений с частными производными. Так, напр., необходимым и достаточным условием полной интегрируемости систем уравнений Пфаффа w1= ... =wk=0 является замкнутость идеала J, порожденного линейными дифференциальными формами w1 ..., wk относительно (Фробениуса теорема). Теория дифференциальных форм была успешно применена Э. Картаном для решения разнообразных задач дифференциальной геометрии и теории групп Ли подвижного репера методом. Теория интегрирования устанавливает связь между исчислением дифференциальных форм и гомологиями многообразия (см. Рама когомологии, Дифференциальная форма). В римановом пространстве оператор внешнего дифференцирования dвыражается через оператор ковариантного дифференцирования Более того, теория Ходжа устанавливает глубокую связь между оператором dи оператором Бельтрами — Лапласа Д, действующим в пространстве дифференциальных форм, к-рый можно выразить через оператор Теорема Ходжа утверждает, что пространство когомологии компактного многообразия изоморфно пространству гармонических (т. е. аннулируемых оператором Д) дифференциальных форм (см. Гармоническая форма). Это и ряд других утверждений теории Ходжа дает информацию о строении кольца когомологии Н*М риманова пространства, обладающего нетривиальными параллельными дифференциальными формами (см. Параллельное поле )и, тем самым, имеющего нестандартную группу голономии Г неравно SO (п), О (п). Примерами таких пространств являются кэлеровы многообразия и симметрические пространства. Важным направлением исследований современной дифференциальной геометрии является изучение естественных расслоений над произвольным многообразием М(касательных и кокасательных расслоений порядка k, тензорных расслоений, расслоений реперов порядка k, расслоений струп и др.) и выявление имеющихся там естественных (т. е. инвариантных относительно диффеоморфизмов многообразия М)геометрических структур. Примерами таких структур являются канонические симплектическая структура в кокасательном расслоении Т* М и контактная структура в расслоении J1(M,R) 1-струй функций на М, играющие важную роль в теории дифференциальных уравнений с частными производными 1-го пррядка и в гамильтоновой механике, а также оператор внешнего дифференцирования в расслоении внешних дифференциальных форм на М. Успешно развивается алгебраич. подход к дифференциальной геометрии. В качестве исходного понятия рассматривается не многообразие М, а коммутативное кольцо F(кольцо функций на многообразии), а само многообразие Мопределяется в терминах кольца Fкак пространство максимальных идеалов (см. Схема). Векторные поля на Мопределяются как дифференцирования кольца (см. Дифференциальный оператор модуля). Такой подход позволяет обобщить различные результаты дифференциальной геометрии и упростить их доказательство, применить идеи дифференциальной геометрии к другим математич. теориям (напр., теории колец и модулей) и, наоборот, использовать различные алгебраич. результаты в дифференциальной геометрии (см. [17]). Лит.:[1] Риман Б., Избранные произведения, пер. с нем., М.-Л., 1948; [2] Картан Э., Геометрия римановых пространств, пер. с франц., М.-Л., 1936; [3] Каган В. Ф., Очерки по геометрии, М., 1963, с. 437-519; [4] Рашевский П. К., Риманова геометрия и тензорный анализ, 3 изд., М., 1967; [5] Арнольд В. И., Математические методы классической механики, М., 1974; [6] Эйзенхард Л. П., Риманова геометрия, пер. с англ., М., 1948; [7] Xокинг С, Эллис Дж., Крупномасштабная структура пространства — времени, пер. с англ., М., 1977; [8] Xелгасон С, Дифференциальная геометрия и симметрические пространства, пер. с англ., М., 1964; [9] Бишоп Р.-Л., Криттенден Р.-Д ж., Геометрия многообразий; пер. с англ., М., 1967; [10] Стернберг С, Лекции по дифференциальной геометрии, пер. с англ., М., 1970; [11] Шварц Дж., Дифференциальная геометрия и топология, пер. с англ., М., 1970; [12] Ленг С, Введение в теорию дифференцируемых многообразий, пер. с англ., М., 1967; [13]Зуланке П..Винтген П., Дифференциальная геометрия и расслоения, пер. снем., М., 1975; [141 Уэллс Р., Дифференциальное исчисление на комплексных многообразиях, пер. с англ., М., 1976; [15] Lichnerowicz A., Geometrie des groupes de transformations, P., 1958; [16] Коbayashi S., Nomizu K., Foundations of differential geometry, v. 1-2, N. Y., 1963-69; [17] Виноградов А. М., Красильщик И. С, Лычагин В. В., Применения нелинейных дифференциальных уравнений, М., 1977; [18] Чжень С. С, "Успехи матем. наук", 1973, т. 33, в. 3, с. 15 — 111; [19] Молчанов С. А., там же, 1975, т. 30, в. 1, с. 3-59. Д. В. Алексеевспий.