Геометрия орбит векторных полей и сингулярные слоения

Аннотация

Предметом настоящей работы является геометрия орбит семейства гладких векторных полей, заданных на гладком многообразии, и сингулярные слоения, порожденные орбитами. Как известно, геометрия орбиты векторных полей является одним из основных объектов исследования в геометрии и теории управления. В настоящей работе излагаются некоторые результаты автора по этому вопросу. Гладкость всюду в работе будет означать гладкость класса C∞.

Полный текст

ВВЕДЕНИЕ Изучению структуры орбиты семейства гладких векторных полей посвящены исследования мно- гих математиков в связи с ее важностью в приложениях, в теории оптимального управления, динамических системах, в геометрии и в теории слоений [1, 10, 13, 18, 28, 29]. В качественной теории управления множество управляемости (или множество достижимости) системы управления на гладком многообразии в классе кусочно-постоянных управлений совпада- ет с отрицательной (положительной) орбитой семейства векторных полей, которое определяется системой управления однозначно. В случае симметричных систем множество управляемости (и также множество достижимости) совпадает с орбитой. С другой стороны, любое семейство векторных полей определяет некоторую динамическую по- лисистему. Таким образом, изучение структуры множества управляемости тесно связано с изуче- нием структуры орбиты семейства векторных полей. Хорошо известно, что множество управляе- мости является одним из основных объектов качественной теории оптимального управления [20]. Начиная с второй половины 20 века появилось много работ о структуре орбит и множества управляемости нелинейных систем управления. Большой вклад в этом направлении внесли Р. Бро- кетт [14], Суссман [19], В. Джарджевич [18], К. Лобри [20] и многие другие. Пусть M - гладкое (класса C∞) многообразие размерности n, V (M ) - множество всех гладких (класса C∞) векторных полей, определенных на M. Обозначим через [X, Y ] скобку Ли векторных полей X, Y ∈ V (M ). Относительно скобки Ли множество V (M ) является алгеброй Ли. Рассмотрим множество D ⊂ V (M ), через A(D) обозначим наименьшую подалгебру Ли, содер- жащую множество D, через L(x)- орбиту семейства D, содержащую точку x ∈ M. Обозначим через P (x) линейную оболочку множества векторов D(x) = {X(x) : X ∈ D} и введем подпространство Ax(D)= {X(x): X ∈ A(D)} касательного пространства TxM в точке x. Рассмотрим отображения P : x → P (x) и PD : x → Ax(D), соотносящие точке x подпро- странства P (x) и Ax(D) касательного пространства TxM соответственно. Такие отображения называются распределениями. Связное подмногообразие N многообразия M называется интегральным подмногообразием для распределения P (или PD ), если для каждой точки x ∈ N имеет место TxN = P (x) (соответ- ственно TxN = Ax(D)). Qc РОССИЙСКИЙ УНИВЕРСИТЕТ ДРУЖБЫ НАРОДОВ, 2019 54 Р. Германн в своей работе [17] «О проблеме достижимости в теории управления», доложенной на международной конференции по нелинейным дифференциальным уравнениям и нелинейной механике в 1961 году, первым указал на важность следующего результата Чжоу в теории управ- ления [16] (этот результат почти одновременно был доказан П. Рашевским в [12]): Если размерности dim P (x) и dim Ax(D) не зависят от x, то для каждой точки x множе- ство L(x) является интегральным подмногообразием распределения PD. В случае, когда размерность линейного пространства Ax(D) не постоянна, Р. Германн получил достаточные условия, при выполнении которых для каждой точки x ∈ M орбита L(x) является интегральным подмногообразием вполне интегрируемого распределения x → Ax(D). Джарджевич и Сусманн, изучая орбиты и положительные орбиты произвольного семейства аналитических векторных полей на аналитическом многообразии [28, 30], показали, что: для каждой точки x ∈ M положительная орбита L+(x) имеет непустую внутренность в M тогда и только тогда, когда dim Ax(D)= n для всех x ∈ M ; для каждой точки x ∈ M орбита L(x) является областью тогда и только тогда, когда dim Ax(D)= n для всех x ∈ M. В случае гладкости класса C∞ К. Лобри показал, что если dim Ax(D) = n, то внутренность положительной орбиты L+(x) всюду плотна в L+(x) (см. [4]). Фундаментальным результатом в этом направлении стала теорема Сусманна, которая утвержда- ет, что если многообразие M и векторные поля из D класса C∞, то для каждого x ∈ M орбита L(x) является погруженным подмногообразием класса C∞ многообразия M (см. [28]). Более точно этот результат формулируется таким образом: существует вполне интегрируемое распределение P ∗ на M такое, что для каждой точки x ∈ M орбита L(x) совпадает с максималь- ным интегральным подмногообразием P ∗, проходящим через точку x. П. Стефан этот результат доказал в случае, когда M и векторные поля из D имеют гладкость класса Cr,r � 1 (см. [27]). Известно, что если векторные поля из D класса C0, то орбита не является многообразием. Примером может служить непрерывное векторное поле, когда нет единственности решения соответствующего дифференциального уравнения. Из результатов Нагано [23] следует, что если M и векторные поля из D аналитичны, то распре- деление PD : x → Ax(D) вполне интегрируемо, причем каждая орбита является интегральным под- многообразием для PD. Таким образом в этом случае размерность орбиты L(x) равна dim Ax(D) для всех x ∈ M. В общем случае имеет место dim Ax(D) � dim L(x) для всех x ∈ M. П. Стефан ввел понятие слоения с особенностями, которое является обобщением понятия слоения из дифференциальной геометрии, и показал, что орбиты являются слоями некоторого слоения с особенностями [27]. В случае, когда все орбиты имеют одинаковую размерность, разбиение M на орбиты является слоением, что позволяет привлечь методы теории слоений для изучения свойств орбит и множе- ства управляемости гладких систем. Таким образом, с одной стороны, теория слоений, имеющая приложения во многих разделах математики, находит свое применение в теории систем управле- ния. С другой стороны, орбиты систем управления порождают структуру слоения с особенностями, изучение которой включает в себя и изучение теории слоений. ПРЕДВАРИТЕЛЬНЫЕ СВЕДЕНИЯ Пусть M - гладкое многообразие размерности n, TxM - касательное пространство к M в точ- ке x, TM - касательное расслоение многообразия M. Отображение π : TM → M при котором π(X, x)= x, где X ∈ TxM (и, следовательно, π(TxM )= x), называется проекцией. Определение 2.1. Пусть M - гладкое многообразие размерности n. Отображение X:M → TM, при котором π ◦ X(x)= x, называется векторным полем на M. Таким образом, векторное поле - такое отображение, которое каждой точке x ∈ M сопоставляет касательный вектор X(x) ∈ TxM. Если при этом векторное поле X : M → TM как отображение двух гладких многообразий M, TM является гладким, то оно называется гладким векторным полем. По теореме о существовании и единственности решения дифференциального уравнения через каждую неособую точку многообразия M проходит единственная интегральная кривая. Если точка p является особой, то сама точка является интегральной кривой, проходящей через точку p. Для точки x ∈ M через t → Xt(x) обозначим интегральную кривую векторного поля X, про- ходящую через точку x при t = 0. Отображение t → Xt(x) определено в некоторой области I(x), которая в общем случае зависит не только от поля X, но и от начальной точки x. В дальнейшем, всюду в формулах вида Xt(x) будем считать, что t ∈ I(x). Если для всех точек x ∈ M область определения I(x) кривой t → Xt(x) совпадает с числовой осью, то векторное поле X называется полным векторным полем. В этом случае поток векторного поля порождает динамическую систему. Известно, что гладкое векторное поле на компактном многообразии M является полным и, следовательно, порождает гладкую динамическую систему. Пример 2.1. На евклидовой плоскости M = R2, векторное поле X(x, y) = x ∂ + y ∂ ∂x ∂y яв- ляется полным векторным полем, а векторное поле X(x, y) = x2 ∂ + y ∂ ∂x ∂y является неполным. Интегральные кривые второго поля определяются следующими уравнениями: x0 x(t)= 1 - tx0 , y(t)= y0et. (2.1) Векторное поле X неполное, так как область определения переменной t зависит от x0, и в точке 1 t = решение не определено. x0 Пример 2.2. Пусть отображение евклидовой плоскости на двумерный тор ϕ : R2 → T 2 ⊂ R3 задается формулой ϕ(u, v) = ((2 + cos 2πv) cos 2πu, (2 + cos 2πv) sin 2πv, sin 2v). Очевидно, что ϕ - локальный диффеоморфизм, который отображает горизонтальные прямые из R2 в параллели на торе, вертикальные прямые в меридианы, и квадрат [0; 1] × [0; 1] на весь тор T 2. Равенство ϕ(u, v)= ϕ(� � выполняется тогда и только тогда, когда u - � = m и v - -� = n для u, v) u v некоторых целых m и n. Для каждого λ ∈ R рассмотрим векторное поле в R2, заданное формулой Xλ(u, v) = {1, λ}. Легко видеть, что Y λ = dϕ(Xλ) - векторное поле на торе T 2 класса C∞. Траектории Y λ - это образы траекторий Xλ при отображении ϕ, которые являются прямыми в R2 с угловым коэффициентом λ. При рациональном λ каждая траектория векторного поля Y λ замкнута, а при иррациональном λ каждая траектория векторного поля Y λ всюду плотна в торе T 2. Векторное поле Y λ называется рациональным или иррациональным полем на торе T 2 соответственно тому, рационально λ или нет. Если λ рационально, то ω - предельное множество всякой траектории - эта сама траектория. Если λ иррационально, то ω - предельное множество всякой траектории - это весь тор T 2. Множество V (M ) гладких векторных полей класса C∞, заданных на гладком многообразии M, является алгеброй Ли над полем действительных чисел, в которой произведением векторных полей X и Y служит их скобка Ли [X, Y ]. Если векторные поля X и Y рассмотреть как операцию дифференцирования гладких функций, то скобка Ли [X, Y ] определяется как отображение [X, Y ]: F (M ) → F (M, ), [X, Y ](f )= Y (X(f )) - X(Y (f )), где F (M ) - множество гладких функций. Следующее свойство скобки Ли хорошо известно [2]. Теорема 2.1. Если векторные поля X и Y всюду касаются подмногообразия N ⊂ M, то векторное поле [X, Y ] также всюду касается подмногообразия N. ОРБИТЫ СЕМЕЙСТВА ВЕКТОРНЫХ ПОЛЕЙ Пусть M - гладкое многообразие размерности n, D - семейство гладких векторных полей, за- данных на многообразии M. Семейство D может содержать конечное и бесконечное число гладких векторных полей. Определение 3.1. Положительная (отрицательная) полуорбита L+(x) (соответственно, L-(x)) семейства D векторных полей, проходящая через точку x, определяется (см. в [1]) как множество таких точек y из M, для которых существуют неотрицательные (соответственно, непо- ложительные) действительные числа t1, t2,..., tk и векторные поля Xi1 , Xi2 ,..., Xik из D (где k - произвольное натуральное число) такие, что y = Xtk (Xtk-1 (... (Xt1 (x)) .. .)). ik ik-1 i1 Определение 3.2. Орбита L(x) семейства D векторных полей, проходящая через точку x, определяется как множество таких точек y из M, для которых существуют действительные числа t1, t2,..., tk и векторные поля Xi1 Xi2 ,..., Xik из D (где k - произвольное натуральное число) такие, что y = Xtk (Xtk-1 (... (Xt1 (x)) .. .)). ik ik-1 i1 Ясно, что орбита является гладкой кривой (одномерным многообразием), если D состоит из одного векторного поля. Пример 3.1. Рассмотрим на двумерной евклидовой плоскости R2 с декартовыми координатами (x, y) семейство D, состоящее из полей ∂ , ∂ . Для произвольной точки p с координатами (x ,y ) ∂x ∂y 0 0 положительная полуорбита, проходящая через эту точку, состоит из точек {(x, y): x � x0,y � y0}, а отрицательная полуорбита состоит из точек {(x, y): x � x0,y � y0}. Орбита, проходящая через произвольную точку, совпадает со всей плоскостью. Этот пример показывает, что в общем случае объединение положительных и отрицательных полуорбит не сов- падает с орбитой. Пример 3.2. Рассмотрим семейство векторных полей ∂ ∂ D = { ∂x ; ϕ(x) ∂y }, где функция ϕ(x) из класса C∞ определена следующим образом: (0, x � 0, ϕ(x)= 1 e-x2 , x > 0. Положительная полуорбита L+(O) начала координат является двумерным многобразием, а от- рицательная полуорбита L-(O) является одномерным многобразием. Орбита L начала координат семейства векторных полей D совпадает со всей плоскостью. Вышеприведенные примеры показывают, что полуорбиты в общем случае не являются подмно- гообразиями. Топология орбиты L(x) (топология Суссмана) вводится как сильнейшая топология, для которой все отображения вида (t1, t2,..., tk ) ∈ Rk → Xtk (Xtk-1 (... (Xt1 (x)) .. .)) k k-1 1 являются непрерывными, где t1, t2,..., tk - действительные числа, X1, X2,..., Xk - векторные по- ля из семейства D. Как отмечено выше, в работах [27, 28] доказано, что каждая орбита семейства векторных полей (класса Cr,r � 1) с топологией Суссманна обладает дифференциальной структурой, по отношению которым она является гладким многообразием класса Cr, гладко погруженным в M. Напомним, что подмногообразие N ⊂ M называется погруженным в M, если каноническая инъекция i : N → M является дифференцируемым отображением максимального ранга. На каждой орбите возникают две топологии: ее собственная топология как погруженного под- многообразия и индуцированная топология из M. Собственная топология орбиты является более сильной, чем топология, индуцированная из M. Действительно, если x ∈ L(x0), где x ∈ M, V (x) - открытое множество в M, содержащее x, то L(x0) ∩ V (x) является открытым множеством в индуцированной топологии L(x0). Для каждой точки y ∈ L(x0)∩V (x) образ точки y при i : L(x) → M содержится в V (x), и в силу непрерывности отображения i существует окрестность U (y) точки в топологии L(x0) такая, что U (y) ⊂ V (x). Отсюда следует, что L(x0) ∩ V (x) открыто в топологии L(x0). Как показывают примеры, даже когда D состоит из одного векторного поля, эти две топологии не всегда совпадают. Например, для иррациональной обмотки тора для всех траекторий эти топологии различны. Определение 3.3. Орбита L называется собственной, если каноническая инъекция i : L → M является вложением, т. е. когда топология слоя совпадает с индуцированной топологией из M. Определение 3.4. Точка x ∈ M называется предельной для орбиты L(x0), если существует последовательность точек xm из L(x0), которая сходится к x в топологии M и не сходится к этой точке в топологии L(x0). ) 0 Ω(γx0 0 Множество всех предельных точек орбиты L0 = L(x0) обозначим через Ω(L0). Если D содержит только одно векторное поле X, то для незамкнутой траектории γx = {Xt(x0) : t ∈ I(x0,X)} множество состоит из α и ω - предельных точек γx . Нетрудно показать, что множество Ω(L0) состоит из целых орбит, т. е. x ∈ Ω(L0) влечет за собой L(x) ⊂ Ω(L0). Следующие утверждения доказаны в работе [1]. Утверждение 3.1. Орбита L0 является собственной тогда и только тогда, когда L0 ∩ Ω(L0)= ∅. Орбита L0 является несобственной тогда и только тогда, когда Ω(L0) = L0, где L0 - замыкание орбиты L0 в M. Утверждение 3.2. Если орбита L является замкнутым подмножеством M, то она являет- ся собственной. Из утверждения 3.1 вытекает, что предельное множество Ω(L) пусто для каждого замкнутого слоя L. Если слой L является незамкнутым подмножеством многообразия M, то его предельное множество Ω(L) может быть пустым или может даже совпадать со всем многообразием. Определение 3.5. Пусть x, y ∈ M. Точка y ∈ L(x) называется T-достижимой из точки x ∈ M, если y = Xtk (Xtk-1 (... (Xt1 (x)) .. .)) и '\' ti = T. ik ik-1 i1 Обозначим через Ax(T ) множество точек, которые T -достижимы из точки x. С использованием идей Сусманна, в работе [11] доказана следующая теорема. Теорема 3.1. Множество Ax(T ) для каждого x ∈ M при любом T является подмногообра- зием L(x) коразмерности единица или ноль. Для симметричных систем имеет место более сильное утверждение. Теорема 3.2. Пусть система D симметрична и содержит полное векторное поле. Тогда для каждого T ∈ R имеет место равенство Ax(T )= Ax(0) = L(x). Заметим,что система векторных полей D называется симметричной, если из X ∈ D вытекает, что -X ∈ D. В работе [19] доказана следующая теорема. Теорема 3.3. Пусть M - гладкое связное многообразие размерности n � 2. Существует система D, состоящая из двух векторных полей такая, что L(x) = M для каждой точки x ∈ M. С использованием этой теоремы нами доказана следующая теорема. Теорема 3.4. Пусть M - гладкое связное многообразие размерности n � 2. Существует система D, состоящая из трех векторных полей такая, что Ax(0) = M для каждой точки x ∈ M. Для многообразий с ненулевой эйлеровой характеристикой получен следующий результат [11]. Теорема 3.5. Пусть M - гладкое компактное связное многообразие размерности n � 2, эйлерова характеристика которого отлична от нуля. Существует система D, состоящая из двух векторных полей такая, что Ax(0) = M для каждой точки x ∈ M. Следующий пример показывает, что на компактном связном многообразии M с нулевой эйлеро- вой характеристикой также может существовать система D, состоящая из двух векторных полей такая, что Ax(0) = M для каждой точки x ∈ M. Пусть трехмерная сфера S3 ⊂ R4 задана уравнением x2 + y2 + z2 + w2 = 1, где x, y, z, w - декартовы координаты в R4. Рассмотрим систему на S3, состоящую их двух векторных полей: ∂ ∂ ∂ ∂ ∂ ∂ X = -y ∂x + x∂y - w∂z + z ∂z , Y = -z ∂x + x∂z . Скобка Ли [X, Y ] векторных полей X, Y имеет следующий вид: ∂ ∂ ∂ ∂ [X, Y ]= -w∂x - z ∂y + y ∂z + x∂w. Векторные поля X, Y, [X, Y ] принадлежат подалгебре Ли A(D), которая является минимальной подалгеброй Ли алгебры Ли V (M ), содержащей множество D. В точке p(1, 0, 0, 0) ∈ S3 векторы X(p),Y (p), [X, Y ](p) линейно независимы, т. е. подпростран- ство Ap(D) = {X(p) : X ∈ A(D)} трехмерно. Поэтому орбита L(p) является трехмерной. В силу того, что X, Y являются векторными полями Киллинга, орбита L(p) является замкнутым подмно- жеством R4 (следовательно, в S3) [10]. С другой стороны, в силу максимальности размерности, орбита L(p) является открытым подмножеством S3. Следовательно, орбита совпадает с S3. Теперь рассмотрим множества Aq (0) для q ∈ S3. Если множества Aq являются подмногооб- разиями коразмерности один, то в силу того, что векторные поля X, Y являются векторными полями Киллинга, они порождают двумерное риманово слоение на S3 (см. [10]). Как следует из результатов работы [9], на трехмерной сфере не существуют двумерных римановых слоений. Следовательно, множество Aq (0) совпадает с S3 для всех q ∈ S3. Определение 3.6. Пусть M - гладкое многообразие размерности n, TxM - касательное про- странство в точке x ∈ M. Отображение P, ставящее каждое точке x ∈ M некоторое подпро- странство P (x) ⊂ TxM, называется распределением. Если dim P (x) = k для всех x ∈ M, то P называется k-мерным распределением. Определение 3.7. Распределение P называется гладким, если для каждой точки x ∈ M су- ществует окрестность этой точки U (x), и гладкие векторные поля X1, X2,..., Xm, заданные на U (x), такие, что векторы X1(y), X2(y),..., Xm(y), образуют базис для подпространства P (y) для каждого y ∈ U (x. Определение 3.8. Распределение P называется вполне интегрируемым, если для каждой точ- ки x ∈ M существует связное подмногообразие Nx многообразия M, содержащее точку x такое, что Ty Nx = P (y) для всех y ∈ Nx. Подмногообразие Nx называется интегральным подмногообразием распределения P. Если дано семейство D гладких векторных полей, то естественным образом возникает гладкое распределение. Действительно, если D состоит из гладких векторных полей, то для каждой точки x ∈ M множество векторов D(x)= {X(x): X ∈ D} порождает некоторое подпространство PD (x) касательного пространства TxM. Разумеется, размерности подпространств P (x) могут меняться от точки к точке. Это распределение обозначим через PD. Говорят, что векторное поле X принадлежит распределению P, если X(x) ∈ P (x) для всех x ∈ M. Напомним, что распределение P на многообразии M называется инволютивным, если для X, Y ∈ P имеет место [X, Y ] ∈ P. Необходимое и достаточное условие вполне интегрируемости распределения постоянной размер- ности дано в теореме Фробениуса [21]. Теорема 3.6 (Фробениус). Для того, чтобы распределение P было вполне интегрируемым, необходимо и достаточно, чтобы оно было инволютивным. Замечание 3.1. Пусть D = {X1, X2,..., Xk } - вполне интегрируемое семейство векторных по- лей такое, что размерность линейной оболочки в TxM векторов {X1(x), X2(x),..., Xk (x)} посто- янна и равна s независимо от x. Тогда, как следует из доказательства теоремы Фробениуса, для каждой точки x0 ∈ M существует локальная система координат y = (y1, y2,..., yn) в некоторой окрестности V0 точки x0 такая, что компоненты связности пересечения интегрального подмногооб- разия с V0 описываются уравнениями yk+1 = ck+1, yk+2 = ck+2,..., yn = cn, где ck+1, ck+2,..., cn - постоянные. Одномерное гладкое распределение всегда интегрируемо в силу локальной теоремы существо- вания и единственности решений обыкновенных дифференциальных уравнений. Таким образом, одномерное распределение всегда порождает одномерное слоение. Определение 3.9. Семейство векторных полей D называется вполне интегрируемым, если со- ответствующее распределение PD, порожденное D, является вполне интегрируемым. Отметим, что если семейство D состоит из одного векторного поля, то оно всегда вполне ин- тегрируемо, так как по теореме о существовании и единственности решения системы дифферен- циальных уравнений через каждую точку проходит единственная интегральная кривая векторного поля. Если семейство состоит из более чем одного векторного поля, то оно не всегда вполне интегрируемо. Теорема Фробениуса, обобщенная Херманном для распределений непостоянной размерности, дает необходимое и достаточное условие для вполне интегрируемости семейства векторных полей, состоящего из конечного числа векторных полей. Теорема 3.7 (Херманн). Пусть D = {X1, X2,..., Xk } - семейство конечного числа вектор- ных полей на многообразии M. Семейство D вполне интегрируемо тогда и только тогда, когда оно инволютивно. Инволютивность семейства векторных полей D = {X1, X2,..., Xk } означает следующее: для любых векторных полей X, Y ∈ D существуют гладкие функции fi(x),x ∈ M, l = 1,...,k такие, что k [X, Y ]= '\' fi(x)Xi. i=1 В случае, когда семейство состоит из бесконечного числа векторных полей, как показывает следующий пример, эта теорема неверна. Пример 3.3. Пусть M = R2. Рассмотрим семейство векторных полей D, порожденное полем → ∂ и всеми векторными полями вида f (x) ∂ , где f : R R - произвольная гладкая функция, все ∂x ∂y производные которой в нуле равны нулю: fi(0) = 0,i = 0, 1, 2,.... Нетрудно проверить, что это семейство инволютивно. Несмотря на это, нет интегральных подмногообразий, проходящих через точки вида (0; y). Заметим, что если N - интегральное подмногообразие системы векторных полей D = {X1, X2,..., Xk }, то размерность подпространства пространства Ty M, порожденного вектора- ми X1(y), X2(y),..., Xk (y), равна размерности подмногообразия N в каждой точке y ∈ N. Это не исключает возможности, что размерность подпространства, порожденного векторами X1(y), X2(y),..., Xk (y), меняется от точки к точке. Это означает только то, что данное семей- ство векторных полей может иметь интегральные подмногообразия различных размерностей. Пример 3.4. Рассмотрим семейство векторных полей ∂ ∂ ∂ ∂ 2 2 X = -y ∂x + x∂x, Y = 2xz ∂y + 2yz ∂y + (z +1 - x - y) на R3. Легко проверить, что [X, Y ]= 0, так что по теореме Фробениуса система {X, Y } интегриру- ема. Для данной точки (x, y, z) подпространство пространства T R3|(x,y,z), порожденное векторами X|(x,y,z) и Y |(x,y,z), является двумерным, исключая точки оси Oz и окружности x2 + y2 = 1, z = 0, 1 где оно одномерно. Нетрудно проверить, что и окружность, и ось Oz являются одномерными ин- тегральными подмногообразиями системы X, Y . Все другие интегральные подмногообразия - дву- мерные торы, которые заданы уравнениями ϕ(x, y, z)= c, где ϕ(x, y, z)= (x2+y2)- 2 (x2+y2+z2+1), определенные при c > 0. В самом деле, dϕ(X)= X(ϕ)= 0, dϕ(Y )= Y (ϕ)=0 всюду, так как оба поля касаются каждого множества уровня функции ϕ. Отметим, что если семейство векторных полей вполне интегрируемо, то орбита является инте- гральным подмногообразием распределения PD (см. [29]). Теорема 3.8. Пусть семейство D гладких векторных полей вполне интегрируемо. Тогда каждая орбита семейства D является интегральным подмногообразием распределения PD. Теперь перейдем к изучению геометрии векторных полей Киллинга. В этой части излагаются результаты, полученные в работе [10]. Напомним, что векторное поле X на M называется векторным полем Киллинга, если однопа- раметрическая группа локальных преобразований x → Xt(x), порожденная полем X, состоит из изометрий. Отметим, что скобка Ли двух полей Киллинга дает опять поле Киллинга и линейная комбина- ция полей Киллинга над полем действительных чисел тоже является полем Киллинга. Поэтому множество всех векторных полей Киллинга на многообразии M, обозначаемое K(M ), образует ал- гебру Ли над полем действительных чисел. Кроме того, известно, что алгебра Ли K(M ) векторных полей Киллинга связного риманова многообразия M имеет размерность не более чем 1 n(n + 1), 2 где n = dim M. Если dim K(M )= 1 n(n + 1), то M есть многообразие постоянный кривизны. 2 Теперь через A(D) обозначим наименьшую подалгебру Ли алгебры K(M ), содержащую множе- ство D. Так как алгебра K(M ) конечномерна, то существуют такие векторные поля X1, X2,..., Xm из A(D), что векторы X1(x), X2(x),..., Xm(x) образуют базис для подпространства Ax(D) для каждого x ∈ M. Таким образом, в случае, когда семейство D состоит из векторных полей Киллинга, из теоре- мы 3.8 мы получим следующую теорему. Теорема 3.9. Каждая орбита семейства D является интегральным подмногообразием вполне интегрируемого распределения PD : x → Ax(D). Теорема 3.10. Пусть M = Rn и множество D состоит из векторных полей Киллинга. Тогда каждая орбита семейства D является замкнутым подмножеством. Пусть f : M -→ N - дифференцируемое отображение максимального ранга, где M - гладкое риманово многообразие размерности n, N - гладкое риманово многообразие размерности m, где n > m. Тогда для каждой точки q ∈ N множество Lq = p ∈ M : f (p)= q является многообразием размерности n - m. Пусть L - слой слоения F (орбита семейства D), x ∈ L, TxL - касательное пространство L в точке x, H(x) - ортогональное дополнение TxL. Возникают два подрасслоения TF : x -→ TxL, H : x -→ H(x) касательного расслоения TM многообразия M. В этом случае каждое векторное поле X ∈ V (M ) можно представить в виде X = XF + XH, где XF , XH - ортогональные проекции X на TF, H соответственно. Если XH = 0, то оно называется вертикальным полем (касательным к F ), а если XF = 0, то X называется горизонтальным полем. Отображение f : M -→ N называется римановой субмерсией, если дифференциал df отобра- жения f сохраняет длину горизонтальных векторов [25]. Обозначим через B = M/F множество слоев F, наделенное фактор-топологией. Рассмотрим отображение π : M → F, при котором π(x)= L(x), где L(x) - слой, содержащий точку x. Следу- ющая теорема показывают, что орбиты являются слоями римановой субмерсии. Теорема 3.11. Пусть M = Rn, множество D состоит из векторных полей Киллинга и dim Vx(D) = k для всех x ∈ M, где 0 < k < n. Тогда множество слоев B = M/F, наделенное фактор-топологией, обладает такой дифференциальной структурой гладкого (n - k)-мерного многообразия, что отображение π : M → B является гладкой римановой субмерсией. Следствие 3.1. Многообразие B является многообразием неотрицательной кривизны. Теорема 3.12. В условиях теоремы 4.5 орбиты семейства D являются параллельными плос- костями тогда и только тогда, когда многообразие B = M/F является многообразием нуле- вой кривизны. Рассмотрим векторное поле ∂ ∂ ∂ X = -y ∂x + x∂y + ∂z в M = R3. Это поле является векторным полем Киллинга, и его интегральными кривыми являются винтовые линии. Ортогональное распределение H : p -→ H(p) в каждой точке задается горизонтальными век- торными полями ∂ ∂ Y = + y , ∂x ∂z ∂ ∂ Z = ∂y - x∂z . Рассмотрим векторные поля Y∗ = dπ(Y ), Z∗ = dπ(Z) на B = M/F. В силу того, что отображение π : M -→ B имеет максимальный ранг, векторные поля Y∗, Z∗ линейно независимы в каждой точке многообразия B = M/F. Вычислим секционную кривизну многообразия B = M/F в двумерном направлении, опреде- ленном векторами Y∗(q), Z∗(q) в точке q ∈ B. По формуле О’Нейла, если (x, y, z) - декартовы координаты точки p ∈ π-1(q), то для вертикальной компоненты [Y, Z]v скобки Ли [Y, Z] вектор- ных полей имеет место равенство [Y, Z]v (p) = λX(p), где λ = (x2 + y2 + 1)-1. Отсюда получим следующее выражение для кривизны: 3 K∗(Y∗, Z∗)(q)= (x2 + y2 + 1)2 . Таким образом, в этом случае многообразие B = M/F является двумерным многообразием стро- го положительной кривизны. В этом примере все интегральные кривые (орбиты), кроме одной, проходящей через начало координат, не являются одномерными плоскостями. Теорема 3.13. Пусть M = Rn, D состоит из векторных полей Киллинга, и для точки p ∈ M орбита L(p) является k-мерной плоскостью, где 0 � k � n. Тогда для всех точек q ∈ L(p) множества Aq (0) либо совпадают с L(p), либо являются параллельными гиперплоскостями в L(p). СИНГУЛЯРНЫЕ СЛОЕНИЯ Пусть M - гладкое многообразие размерности n, A - максимальный атлас, определяющий на M структуру гладкого многообразия класса Cr, где r � 0. Многообразие M является также многообразием класса Cs, если 0 � s � r. Систему локальных криволинейных координат на Cs-многообразии M обозначим через As. Пусть теперь целое k удовлетворяет неравенствам 0 < k < n. Определение 4.1. Семейство F = {Lα; α ∈ B} линейно связных подмножеств M называется k-мерным Cs-слоением, если оно удовлетворяет следующим трем условиям: (FI ): J α∈B Lα = M ; (FII ): для всех α, β ∈ B если α ⊕= β, то обязательно Lα ∩ Lβ = ∅; (FIII ): для всякой точки p ∈ M можно выбрать локальные координаты (Uλ, ϕλ) ∈ A(s),p ∈ Uλ так, что если Uλ ∩ Lα ⊕= ∅ для некоторого α ∈ B, то компоненты линейной связности множества ϕλ(Uλ ∩ Lα) имеют вид {(x1, x2,..., xn) ∈ ϕλ(Uλ): xk+1 = ck+1, xk+2 = ck+2,..., xn = cn}, где числа ck+1, ck+2,..., cn постоянны на компонентах линейной связности. F Множество Lα называется слоем слоения F. В описанной ситуации k-мерное Cs-слоение на- зывается также Cs-слоением коразмерности q = n - k. Наличие слоения F в многообразии M выражается символом (M, F ). Условия (F1), (F11) означают, что M состоит из взаимно непересека- ющихся слоев. Условие (F111) означает, что локально слои устроены как параллельные плоскости. Если выполняется условие (FIII ), то координатные окрестности (Uλ, ϕλ) ∈ A(s), называются рас- слоенными, а совокупность всех расслоенных координатных окрестностей обозначается через As и называется системой расслоенных координатных окрестностей. Пример 4.1. Пусть X - векторное поле на M без особых точек, т. е. X(x) ⊕=0 для всех x ∈ M. Тогда по теореме о существовании и единственности решения дифференциального уравнения (2.1) вида x˙ = X(x) через каждую точку x0 ∈ M проходит единственная интегральная кривая γ(t, x0) векторного поля X. Поэтому многообразие M является объединением интегральных кривых векторного поля X. Разбиение M на интегральные кривые векторного поля X является одномерным слоением. Усло- вие (FIII ) определения 4.1 вытекает из теоремы о выпрямлении векторного поля. Действительно, по этой теореме для каждой точки x0 ∈ X такой, что X(x0) ⊕= 0 существуют окрестность U и локальная криволинейная система координат (y1, y2,..., yn) на U такие, что в этих координатах уравнение запишется в виде: y˙1 = 1, y˙2 = 0, ... y˙n = 0. (4.1) Пример 4.2. Как вытекает из теоремы Фробениуса, если k-мерное распределение P класса Cr вполне интегрируемо, то интегральные подмногообразия P образуют k-мерное слоение класса Cr (где r = s или r = s + 1). Пример 4.3. Пусть f : M → N - дифференцируемое отображение максимального ранга, где M - гладкое многообразие размерности n, N - гладкое многообразие размерности m. При n > m отображение f называется субмерсией, а при n < m отображение f называется погружением. Следующая теорема показывает, что дифференцируемые субмерсии порождают гладкие слоения. Теорема 4.1. Пусть f : M → N - субмерсия. Тогда для каждой точки q ∈ N множество Lq = {p ∈ M : f (q) = q} является многообразием размерности (n - m) и разбиение M на многообразия Lq является k = (n - m)-мерным слоением. Пусть (Lα : Aα) → Mn - отображение включения из (Lα, Aα) в Mn. В силу условия (FIII ) взаимно однозначное отображение lα является Cr -погружением. Если lα является Cr -вложением, то говорят, что Lα - собственный слой. Легко проверить, что всякий компактный слой является собственным. Если IntLβ ⊕= 0, то слой lβ называется локально плотным. Слой, не являющийся ни собственным, ни локально плотным, называется исключительным. С геометрической точки зрения важными классами слоений являются римановы и вполне геоде- зические слоения. Пусть M - гладкое связное риманово многообразие размерности n с римановой метрикой g. Определение 4.2. Слоение F называется вполне геодезическим, если каждый слой слоения является вполне геодезическим подмногообразием. Вполне геодезические слоения изучены многими авторами, в частности, в работах [15, 31]. Пусть M - гладкое связное риманово многообразие размерности n с римановой метрикой g. Риманова метрика g единственным образом определяет риманову связность ∇ без кручения (связность Леви-Чивита). Связность ∇ называется римановой, если для каждой гладкой кривой γ : [a, b] → M и любых двух параллельных векторных полей X, Y вдоль γ (т. е. ∇γ˙ X = 0, ∇γ˙ Y = 0, где γ˙ - поле касательных векторов γ) функция g(X, Y ) постоянна вдоль γ. При этих условиях параллельный перенос вектора из Tγ(a)M в Tγ(b)M является изометрическим отображением. Извест- но, что связность ∇ на M является римановой тогда и только тогда, когда для любых векторных полей X, Y, Z имеет место Zg(X, Y )= g(∇ZX, Y )+ g(X, ∇ZY ). Связность ∇ является связностью без кручения тогда и только тогда, когда ∇XY - ∇Y X = [X, Y ] для любых векторных полей X, Y. Пусть x ∈ M, C(x) - множество петель в точке x, т. е. множество всех замкнутых кусочно- гладких кривых с началом и концом в точке x. Для каждой кривой τ ∈ C(x) параллельный перенос вдоль τ, как отметили выше, есть изометрия касательного пространства TxM на себя. Множество таких изометрий образуют группу ψ(x). Эта группа называется группой голономии для связности ∇ в точке x (см. [3, с. 75]). Если группа ψ(x) приводима, то многообразие M назы- вается приводимым. В этом случае существует нетривиальное подпространство P (x) касательного пространства TxM, которое инвариантно под действием ψ(x), т. е. для каждого вектора v ∈ P (x) и для каждой изометрии h ∈ ψ(x) имеет место h(v) ∈ P (x). Известно, что если M приводимо, то на M возникают два распределения P и H, взаимно дополнительные по ортогональности, т. е. TxM = P (x) ⊕ H(x) для всех x ∈ M. Причем, оба распределения P и H являются параллельными относительно ∇, вследствие чего и вполне инте- грируемыми. Параллельность относительно ∇ означает следующее: если γ : [a, b] → M - произ- вольная кусочно-гладкая кривая, а γ(a) = x, γ(b) = y, v ∈ P (x) (или v ∈ H(x)), то в результате параллельного переноса вдоль γ вектор v переходит в вектор из P (y) (соответственно, из H(y)). Возникшие слоения (в силу вполне интегрируемости P и H) являются вполне геодезически- ми римановыми слоениями. При этом, если M полно и односвязно, то, как утверждает теорема де Рама, многообразие M изометрично прямому произведению любых двух слоев из разных слое- ний [3, с. 180]. В работе [8] изучена геометрия слоения F на M, которое является римановым вполне геодези- ческим слоением. Вполне интегрируемость распределения, дополнительного по ортогональности, не предполагается. Пусть F - гладкое слоение размерности k на M. Обозначим через L(p) - слой слоения F, проходящий через точку p, F (p) - касательное пространство слоя L(p) в точке p, H(p) - ортого- нальное дополнение F (p) в TpM, p ∈ M. Возникают два подрасслоения (гладкие распределения) TF = {F (p): p ∈ M }, H = {H(p): p ∈ M } касательного расслоения TM такие, что TM = TF ⊕H, где H является ортогональным дополнением TF. Пусть π1 : TM → TF, π2 : TM → H - ортогональные проекции,V (M ),V (F ),V (H) - множества гладких сечений расслоений TM, TF, H соответственно. Если X ∈ V (F ) (X ∈ V (H)), то X назовем вертикальным (горизонтальным) полем. Предположим, что каждый слой F является вполне геодезическим подмногообразием M. Это эквивалентно тому, что ∇XY ∈ V (F ) для всех X, Y ∈ V (F ). Тогда на расслоениях TF и H определены метрические связности ∇1 и ∇2 следующим образом. Если X ∈ V (F ),Y ∈ V (H),Z ∈ V (M ), тогда ∇ZX = π1(∇ZX), ∇ZY = π2[Z1, Y˜ ]+ π2∇Z2 Y, 1 2 где Z = Z1 ⊕ Z2, Z1 ∈ V (F ), Z2 ∈ V (H), Y˜ ∈ V (M ), π2Y˜ = Y ; здесь [Z1, Y˜ ] - скобка Ли векторных полей Z1 и Y. 2 Полагая ˜ X = ∇1 X1 ⊕∇ X2, где X, Z ∈ V (M ), Xi = πi(X),i = 1, 2, получим связность ˜ ∇Z Z Z ∇ на TM. Как доказано в работе [8], если слоение F является римановым слоением, слои которого ∇ являются вполне геодезическими подмногообразиями M, то связность ˜ является метрической. Теперь предположим, что многообразие M односвязно. Тогда имеет место следующая теоре- ма [8]. Теорема 4.2. Следующие утверждения эквивалентны: Распределение H вполне интегрируемо. ∇ 2. ˜ ∇ является связностью без кручения (т. е. ˜ = ∇). Замечание 4.1. В общем случае распределение H не всегда вполне интегрируемо. Примером может служить хорошо известное расслоение Хопфа на трехмерной сфере S3. Трехмерную сферу S3 зададим как множество пар (z1, z2) комплексных чисел z1, z2, удовлетворяющих уравнению z2 2 3 2 z1 1 + z2 = 1. Тогда расслоение Хопфа задается субмерсией h : S z → S , при которой h(z1, z2)= . 2 Здесь двумерная сфера S2 рассматривается как расширенная комплексная плоскость C ∪ {∞}. Для каждого λ ∈ S2 слой h-1(λ) слоения Хопфа есть окружность в S3, которая является геодези- ческой. Действительно, h-1(λ) является пересечением сферы S3 и двумерной плоскости z1 = λz2, проходящей через начало координат. Поэтому для каждого λ ∈ S2 слой h-1(λ) является вполне геодезическим подмногообразием S3. С другой стороны, расслоение Хопфа можно задать с помо- щью действия одномерной сферы S1 на S3. Одномерная сфера S1 рассматривается как множество комплексных чисел вида eiφ, и действие 0 S1 на S3 задается по формуле (z1, z2) → (z1eiφ, z2eiφ). Это действие является свободным, и поэтому каждая орбита диффеоморфна S1. Если λ = z1 , то орбита, содержащая точку (z0, z0), описывается z 0 1 2 2 уравнением z1 = λz2. Следовательно, каждая орбита есть слой расслоения h : S3 → S1. Пусть p, q ∈ S3, L(p), L(q) - слои расслоения Хопфа, проходящие через точки p и q, и пусть r = ρ(p, L(q)) - расстояние от точки p до слоя L(q). Из того, что расслоение Хопфа определяется действием S1, вытекает, что ρ(pt, L(q)) = r для всех pt ∈ L(p). Следовательно, слоение F, опре- деляемое слоями расслоения Хопфа, является римановым слоением. Пусть TF - распределение, касательное к F, а H - его ортогональное дополнение. Распределение H не является вполне инте- ∇ грируемым. Действительно, если H вполне интегрируемо, то по теореме 4.2 связность ˜ совпадает с ∇ и следовательно, распределения TF и H удовлетворяют условиям теоремы де Рама. Тогда S3 должна быть изометричной прямому произведению S1 × S2, что невозможно. Теперь рассмотрим вполне интегрируемые распределения и связанные с ними слоения с особенностями. Ясно, что если распределение P вполне интегрируемо, то многообразие M распадается на интегральные многообразия этого распределения. Если распределение P вполне интегрируе- мо и размерность подпространства k = dim P (x) не зависит от x, то интегральные многообразия порождают k-мерное слоение. В общем случае, поскольку размерности интегральных многообра- зий различны, на M не возникает слоение. Однако это разбиение приводит к понятию слоения с особенностями (к сингулярным слоениям). Поэтому сейчас перейдем к описанию слоений с осо- бенностями. Во избежания недоразумений, для обычных слоений в случае необходимости будем употреблять термин «регулярное слоение». Определение 4.3. Подмножество L многообразия M называется k-мерным слоем, если суще- ствует дифференциальная структура σ на L такая, что: (L, σ) есть связное k-мерное погруженное многообразие M ; если N - произвольное локально связное топологическое пространство и f : N → M - непрерывное отображение такое, что f (N ) ⊂ L, то f : N → (L, σ) непрерывно. Из определения погружений следует, что если f : N → M - дифференцируемое отображение и f (N ) ⊂ L, тогда f : N → (L, σ) также дифференцируемо. Поэтому, в частности, σ являет- ся единственной дифференциальной структурой, по отношению к которой L является k-мерным подмногообразием. Определение 4.4 (см. [27]). Пусть 1 � q � ∞ или q = ω (аналитичность). Будем говорить, что разбиение F многообразия M на Cq -слои является сингулярным слоением (слоением с особенно- стями) класса Cq, если для каждой точки x ∈ M : а) существует локальная Cq -карта ψ с областью определения U × V, где U - окрестность нуля в Rk,V - окрестность нуля в Rn-k, и k есть размерность слоя, проходящего через точки x; б) ψ(0, 0) = x; в) если L слой F, тогда имеет место равенство L ∩ ψ(U × V ) = ψ(U × l), где l = {v ∈ V : ψ(0, v) ∈ L}. В дальнейшем, как и в случае слоений постоянной размерности, слой слоения F, проходящий через точку x, обозначим через L(x). Пример 4.4. Каждое регулярное слоение является слоением с особенностями. В этом случае каждая компонента связности множества l является точкой. Пример 4.5. Пусть S - замкнутое подмножество многообразия M, M \S = J Mα - разбиение α дополнения M \S на компоненты связности Mα, Fα - регулярное слоение на Mα. Тогда семейство F = J Fα ∪ {x : x ∈ S} определяет слоение с особенностями на M. α Пример 4.6. Орбиты семейства векторных полей класса Cr определяют слоение с особенно- стями класса Cr. Это вытекает из следующей теоремы, принадлежащей Г. Суссманну [28] и П. Стефану [27], которая является фундаментальной при исследовании орбит системы векторных полей. Теорема 4.3. Пусть M - гладкое (класса Cr+1) многообразие размерности n, D - система векторных полей класса Cr,r � 1. Тогда орбиты системы D векторных полей определяют сингулярное слоение класса Cr. В дальнейшем всюду орбиту системы D будем рассматривать как слой слоения F с особенно- стями. Отметим, что функция x → dim L(x) является полунепрерывной снизу. Действительно, если x ∈ M, (U × V, ψ) - локальная карта в окрестности точки x, описанная в определении, и L ∩ ψ(U × V ) ⊕= 0, где L - слой F, то dim(L ∩ ψ(U × V )) = dim(U × l) � dim U = dim L(x). Как и в случае регулярных слоений, слой L слоения F с особенностями называется собствен- ным, если каноническая инъекция i : L → M является вложением. Обозначим через M/F множество слоев слоения F. Введем отношение на множестве M/F, определим понятия глубины слоя и слоения, следуя [24]. Пусть L1, L2 ∈ M/F. Пишем L1 � L2 тогда и только тогда, когда L1 ⊂ L2. Запись L1 < L2 означает, что L1 � L2 и L1 ⊕= L2. Обозначим через (M/F, �) множество слоев с введенным отношением на нем. Очевидно, что это отношение � рефлексивно, но во многих случаях это отношение не является антисимметричным (например, для иррациональной обмотки тора), поэтому в общем случае множество (M/F, �) не является частично упорядоченным множеством. Глубина слоя L и глубина слоения F определяются следующим образом: dL = Sup(k : существует k слоев, удовлетворяющие условию: L0 < L1 < L2 < ... < Lk = L), dF = Sup(dL : L ∈ M/F ). Если dim Ax(D) = n - 1 для всех x ∈ M, то, как было отмечено выше, F является слоением коразмерности один. В работе [24] для слоений коразмерности один компактных многообразий получен следующий результат. Теорема 4.4 (Нисимори). Если dF < ∞ или все слои слоения F собственные, то множество (M/F, �) частично упорядочено. Нисимори, изучая свойства слоений коразмерности один, поставил следующие вопросы, которые представляют интерес и для слоений с особенностями [24]: Может ли слоение F иметь несобственные слои, если множество (M/F, �) частично упоря- дочено? Можно ли утверждать, что слой L - собственный, если dL < ∞? Существует ли такое слоение F, что множество (M/F, �) частично упорядочено и dF = ∞? Следующая теорема решает вопросы 1,2 [5]. Теорема 4.5. Для того чтобы множество (M/F, �) было частично упорядоченным, необхо- димо и достаточно, чтобы все слои слоения f были собственными. Следствие 4.1. В замыкании каждого несобственного слоя L содержатся несчетное число несобственных слоев, замыкание которых совпадает с L. Из этого следствия вытекает, что если слоение с особенностями имеет несобственный слой, то оно имеет несчетное число несобственных слоев. Заметим, что число собственных слоев может быть конечным или счетным. Следствие 4.2. Если dL < ∞, то L - собственный слой. Действительно, если L - несобственный слой, то согласно следствию 4.2 имеет место dL = ∞. Заметим, что этот факт для слоений коразмерности один компактных многообразий доказан в работе [24]. В общем случае собственный слой может иметь бесконечную глубину. Известны примеры сло- ений коразмерности один, когда замыкание собственного слоя содержит несобственные слои. Нетрудно построить слоение с особенностями, в котором собственный слой имеет бесконечную глубину. Теперь перейдем к сингулярным римановым слоениям. Определение 4.5. Слоение F называется римановым, если каждая геодезическая, ортогональ- ная в некоторой своей точке к слою слоения F, остается ортогональной ко всем слоям F во всех своих точках. Регулярные римановы слоения введены Рейнхартом в [25] и изучались многими авторами, в частности, в работах [21, 31]. Сингулярные римановы слоения были введены Молино в своей монографии [21]. Пусть ω - дифференциальная форма степени 1 на M и P (x)= {v ∈ TxM : ωx(v)= 0} для всех x ∈ M. Возникает распределение P : x → P (x), где dim P (x) = n - 1. Это распределение вполне интегрируемо тогда и только тогда, когда ω Л dω = 0 (теореме Фробениуса). Поэтому если ω - замкнутая дифференциальная форма (dω = 0), то распределение P : x → P (x) вполне интегриру- емо. Возникает слоение F размерности n - 1. Известно, что если многообразие M компактно и слоение F задано замкнутой дифференциальной формой, то существует такая риманова метрика g˜ на M, что слоение F является римановым по отношению к римановой метрике g˜ (см. [26]). Например, для одномерного слоения F на двумерном торе T 2, определенного замкнутой формой ω = ω1dϕ1 + ω2dϕ2, существует риманова метрика g˜ на T 2, по отношению к которой слоение F является римановым. Пусть f : M → R1 - гладкая функция без критических точек, т. е. ранг f всюду равен 1. Тогда f является субмерсией, и потому на M возникает слоение коразмерности один, слоями которого служат поверхности уровня функции f. В [31] доказано, чтобы это слоение было римановым, необходимо и достаточно, чтобы X(|∇f |2)=0 для всех векторных полей X, касательных к этому слоению, где ∇f - градиент функции f. Это означает, что вдоль слоев длина вектора-градиента ∇f функции f должна быть постоянной. Пусть F является регулярным k-мерным слоением и P : x → P (x), где x ∈ M, и пусть P (x) ⊂ TxM для всех x ∈ M - вполне интегрируемое распределение, максимальными подмногообразиями которого являются слои слоения F, а также H : x → H(x) - распределение, которое является ортогональным дополнением P, т. е. TxM = P (x) ⊕ H(x) для всех x ∈ M. В этом случае каждое векторное поле X ∈ V (M ) можно представить в виде X = Xv + Xh, где Xv, Xh - ортогональные проекции X на P, H соответственно. Здесь для удобства P, H рассматриваются как подрасслоения касательного расслоения TM. Пусть D∗ - множество гладких векторных полей, касательных к слоению. Если Xh = 0, то X ∈ D∗ и оно называется вертикальным, а если Xv = 0, то X называется горизонтальным полем. Для векторных полей X, Y, полагая gt(X, Y ) = g(Xh, Yh), получим билинейную симметричную форму на V (M ), ядро которой совпадает с D∗. Изучим свойства этой формы. Напомним, что если x ∈ M, то по определению слоения суще- ствует окрестность V точки x и локальная система координат (x1, x2,..., xn) на V такая, что ∂ ∂ ∂ ∂x1 , ∂x2 ,..., ∂xk образуют базис для сечения P |v. Покажем, что базис vk+1, vk+2,..., vn для сечений H|V можно выбрать таким образом, что скобка Ли [X, vj ] для каждого X ∈ D∗, где j = k + 1,k + 2,..., n, является вертикальным полем. Пусть n j vj = '\' vi (x1, x2,..., xn) ∂ ∂xi , j = k + 1,k + 2,...,n i=1 - координатное выражение векторного поля vj на V. В силу того, что векторные поля j vk+1, vk+2,..., vn линейно независимы, ранг матрицы vi в точке x равен n - k. Не ограничивая j общности, можем считать, что матрица {vi } невырождена в точке x, а следовательно, в некоторой окрестности x, где k +1 � i, j � n. Обозначим через (ωj ), k +1 � i, j � n, обратную матрицу к (vi ), k +1 � i, j � n. Тогда, i j n если положим Yj = j ), ωivi, j = k + 1,k + 2,...,n то Yk+1, Yk+2,..., Yn является базисом для k+1 ∂ ∂ ∂ сечений H|V . Кроме того, скобка Ли [X, Yj ] для X ∈ D∗ выражается через ∂x1 , ∂x2 ,..., ∂xk , что проверяется непосредственным вычислением [X, Y ],j = k + 1,k + 2,..., n. Предположим, что F является k-мерным римановым слоением по отношению к римановой метрике g. Тогда, как следует из [21, с. 78], для каждого вертикального поля X ∈ D∗ вер- но Xg(vi, vj ) = 0 для всех i, j = k + 1,..., n. Учитывая этот факт, нетрудно доказать, что Xg(Y, Z)= gt([X, Y ], Z)+ gt(Y, [X, Z]), где Y, Z ∈ V (M ). В этом случае gt называется трансверсальной метрикой для слоения F, определенной римановой метрикой g (см. [21, с. 77]). Как следует из [22], верно и обратное, т. е. если задано k-мерное слоение F на римановом многообразии с римановой метрикой g, и если gt является трансверсальной метрикой, тогда F является римановым слоением. В работе [6] доказано, что аналогичный факт верен и для слоения с особенностями на полном римановом многообразии (M, g). Пусть F - слоение с особенностями, L - слой слоения F, Q - нормальное расслоение слоя L. t Тогда риманова метрика g определяет послойную метрику gL на Q следующим образом: если t ν1, ν2 :→ Q - гладкие (класса C∞) сечения расслоения Q, то положим gL(ν1, ν2) = g(X, Y ), где V (M ), ν1, ν2 - сужения X, Y на L соответственно (заметим, что gL(ν1, ν2 определена в X, Y ∈ t точках слоя L). T Метрика gL называется трансверсальной метрикой на L для F, если для каждого X ∈ D∗ в точках слоя L имеет место: XgL(Y, Z)= gL([X, Y ], Z)+ gL(Y, [X, Z]), t t t t где gL(Y, Z) = g(πY, πZ), Y, Z ∈ V (M ), π : TM → Q - ортогональная проекция, определенная над L, а Q рассматривается как расслоение, ортогональное к расслоению TL. Из результатов монографии [21, с. 199] вытекает, что если F является римановым слоением, T то метрика gL на каждом слое L слоения F является трансверсальной метрикой. Кроме того, в [21, с. 201] имеется гипотеза, что если полная риманова метрика g определяет на каждом слое слоения F трансверсальную метрику, то слоение F является римановым. Заметим, что риманово слоение с особенностями не имеет n-мерных слоев. Следующая теорема решает гипотезу Молино положительно. Теорема 4.6. Пусть M - полное риманово C∞-многообразие с римановой метрикой g, а слоение F не имеет n-мерных слоев. Тогда для того, чтобы слоение F было римановым, необходимо и достаточно, чтобы риманова метрика g определяла на каждом слое слоения F трансверсальную метрику.