Слоение

на n-мерном многообразии М n - такое разбиение М n на линейно связные подмножества, именуемые слоями, что М n можно покрыть координатными окрестностями Ua с локальными координатами [img: http://localhost:8080/file/041914-131.jpg], в терминах к-рых локальные слои - компоненты связности пересечения слоев с Ua, задаются уравнениями [img: http://localhost:8080/file/041914-132.jpg] = [img: http://localhost:8080/file/041914-133.jpg]. С. в этом смысле наз. топологическим С.; требуя же, чтобы М п имело кусочно линейную, дифференцируемую или аналитич. структуру и чтобы локальные координаты были кусочно линейными, дифференцируемыми (класса С r). или аналитическими, получают определение кусочно линейного, дифференцируемого (класса С r).или аналитического С. Определение дифференцируемого С. класса С r формально годится и при r=0, совпадая в этом случае с определением топологич. С. Обычно, говоря о дифференцируемом С., подразумевают, что [img: http://localhost:8080/file/041914-134.jpg]. Слои естественно снабжаются структурой n-мерных многообразий (топологических, кусочно линейных, дифференцируемых или аналитических) и тем самым оказываются подмногообразиями (в широком смысле слова) многообразия М п. Число р(размерность слоев) наз. размерностью С., a q=п-р - его коразмерностью. Рассматривая С. на многообразии с краем, обычно требуют либо трансверсальности слоев к краю, либо же того, чтобы слой, пересекающийся с краем, целиком в нем содержался. Очевидным образом определяются комплексно-аналитические С. Основным в теории С. является дифференцируемый случай (ниже С. и отображения, как правило, подразумеваются дифференцируемыми). Отображение [img: http://localhost:8080/file/041914-135.jpg] является субмерсией. Локальные слои суть [img: http://localhost:8080/file/041914-136.jpg], [img: http://localhost:8080/file/041914-137.jpg]. Система локальных субмерсий {(Ua, ja)} является согласованной в том смысле, что если [img: http://localhost:8080/file/041914-138.jpg], то возле и можно перейти от ja(v). к jb(v) с помощью нек-рого локального диффеоморфизма [img: http://localhost:8080/file/041914-139.jpg] (класса С r).пространства [img: http://localhost:8080/file/041914-140.jpg], т. е. для всех v, достаточно близких к и, имеет место [img: http://localhost:8080/file/041914-141.jpg]. Обратно, если М п покрыто областями Ua. и заданы субмерсий [img: http://localhost:8080/file/041914-142.jpg], согласованные в том же смысле, что и выше, то путем подходящего "склеивания" [img: http://localhost:8080/file/041914-143.jpg] между собой получается такое С., что каждое [img: http://localhost:8080/file/041914-144.jpg] содержится в нек-ром слое. Сопоставление каждой точке [img: http://localhost:8080/file/041914-145.jpg] касательного пространства к проходящему через эту точку слою, приводит к нек-рому полю р-мерных касательных подпространств (но другой терминологии, р-мерному расслоению), к-рое наз. касательным полем С. При р=1 любое поле p-мерных касательных подпространств, при самых минимальных требованиях дифференцируемостй, является касательным нолем нек-рого однозначно определенного С. При p>1 это не так. Данный вопрос имеет локальный характер (см. Фробениуса теорема). Непосредственное применение теоремы Фробениуса к инволютивному распределению показывает, что при выполнении соответствующих условий имеется система согласованных локальных субмерсий, для к-рых заданное поле касается, переход к С. осуществляется путем надлежащих "склеиваний" (в других терминах это описано в [3]). Формирование понятия С. произошло в 40-х гг. 20 в. в цикле работ Ж. Риба (G. Reeb) и III. Эресмана (Ch. Ehresmann), завершившемся книгой [1] (в связи с историей см. [2]), и было связано с переходом к глобальной точке зрения. Этому отчасти способствовала теория гладких динамических систем, где разбиение фазового многообразия (с выкинутыми равновесия положениями).на траектории потока является одномерным С. Особое положение, к-рое в этой теории занимают потоки на поверхностях (Пуанкаре- Бендиксона теория, Дифференциальные уравнения на торе, Кнезера теорема). Особое положение, где траектории локально разбивают пространство, способствовало привлечению внимания к С. коразмерности 1. Другой пример С., проанализированный в 40-х гг.,- разбиение группы Ли на смежные классы по аналитич. одгруппе (не обязательно замкнутой) (см. [3]). Наконец, в комплексной области решения дифференциального уравнения dw/dz=f(z, w).с аналитической правой частью образуют (с вещественной точки зрения) двумерное С. После первых работ наступил перерыв в развитии теории С., к-рая тогда была еще бедна значительными результатами. Интенсивное развитие началось с работ А. Хефлигера [4] и С. П. Новикова [7], наиболее известные результаты к-рых таковы (см. [17]): С. коразмерности 1 на трехмерной сфере имеет компактный слой [7] и не может быть аналитическим [4], хотя еще Ж. Риб построил С. класса [img: http://localhost:8080/file/041915-1.jpg]. Тогда же при изучении нек-рых динамич. систем (У-системы и родственные им) возникли нек-рые вспомогательные С. (уже не одномерные, что тоже стимулировало исследование С. (см. [7], [8]). Все эти работы и ряд последующих можно отнести к "геометрическому" или "качественному" направлению [16]. В нем большое внимание уделяется С. коразмерности 1, существованию компактных слоев, теоремам устойчивости (устанавливающим, что при определенных условиях С. с компактным слоем устроено в его окрестности и глобально как расслоение; первые такие теоремы доказал еще Ж. Риб, см. [17]), характеристике "роста" слоев (т. е. зависимости р-мерного объема геодезич. шара радиуса r на слое от r).или их фундаментальных групп. Отметим также недавнее решение вопроса: если на замкнутом М п имеется р-мерное С., все слои к-рого компактны, то обязательно ли ограничен р-мерный объем слоев? Д. Эпстейн (D. Epstein), Д. Сулливан (D. Sullivan) и др. выяснили, что ответ положительный только при [img: http://localhost:8080/file/041915-2.jpg] (см. [9]). Позднее возникло "гомотопическое" направление, прообразом к-рого послужила гомотопич. теория расслоений. Отличия, возникающие для С., отчасти связаны с тем, что для С., вообще говоря, нет аналога индуцированному расслоению. Это вынуждает перейти от С. к более общим объектам - Хефлигера структурам (нечто вроде С. с особенностями), для к-рых такой аналог имеется. Слоения F0 и F1 на Мназ. конкордантными, если на "цилиндре" МХ [0, 1] существует такое С. (той же коразмерности), слои к-рого трансверсальны ко "дну" и "крышке" цилиндра и "высекают" на них слоения F0 и F1. Сходным образом определяется конкордантность структур Хефлигера. Всякая структура Хефлигера конкордантна такой, к-рая вне множества "особых точек" на Мсоответствует нек-рому С., причем выполняются определенные условия о поведении слоев последнего возле этих точек. В этом смысле структуру Хефлигера можно представить себе как С. с особенностями. Имеется естественное биективное соответствие между классами конкордатных структур Хефлигера и гомотопич. классами непрерывных отображений М в т. Гомотопич. теория устанавливает, какие гомотопич. объекты определяют конкордантность С.: два С. конкордантны тогда и только тогда, когда они конкордантны как структуры Хефлигера, а их касательные поля гомотопны (см. [6], |10], [11]). Родственный результат - доказательство существования р-мерных С. на любых открытых М(см. [6J) и на таких замкнутых М, на к-рых существует непрерывное поле р-мерных касательных подпространств (что является очевидным необходимым условием существования С., см. [10], [11]), ранее различными учеными было доказано существование С. на ряде многообразий путем непосредственных построений [12]. Идея (см. [10], [11]) состоит в том, чтобы, пачав со С. с особенностями, ликвидировать их путем нек-рых модификаций С. Случай q>1 оказывается более простым (см. [10], [13]) и ликвидация особенностей может быть проведена в духе "геометрической" теории [14]; случай q=1 сложнее [11]. Отображение порождает отображение когомологий, что [img: http://localhost:8080/file/041915-4.jpg] приводит к характеристическим классам С. В возникающую здесь "гомологическую" или "количественную" теорию С. (см. [13], [15], [16]) включаются и нек-рые результаты, полученные ранее без обращения к [img: http://localhost:8080/file/041915-5.jpg], напр. инвариант Годбийона-Вея; для n=3 (см. [17]) или указанные P. Боттом (R, Bott(условия, необходимые для того, чтобы непрерывное поле касательных подпространств было гомотопно касательному полю С.