Слоение
Слоение — геометрическая конструкция в топологии: говорят, что на многообразии задано слоение размерности , если многообразие «нарезано» (согласованным образом в окрестности каждой точки) на «слои» размерности .
Наиболее изученными являются 1-мерные слоения, порождаемые траекториями неособых векторных полей на многообразии, и слоения коразмерности 1.
Понятие слоения естественным образом возникает, в том числе, в теории динамических систем: так, для гиперболических динамических систем имеются устойчивое и неустойчивое слоения.
Формальное определение
Говорят, что на -мерном многообразии задано -мерное слоение, если многообразие покрыто картами с соответствующими координатными отображениями
такими, что отображения переклейки имеют вид
Иными словами, при переклейке вторая («трансверсальная») координата определяется только второй координатой.
В этом случае, рассматривается отношение эквивалентности, порождённое отношением , если в одной из карт вторые координаты точек и совпадают. Класс эквивалентности точки называется тогда слоем, проходящим через точку .
Также, если какое-то (обычно, конечное, и всегда коразмерности, не меньшей 2) множество точек выбранными картами не покрывается, говорят, что задано особое слоение (или слоение с особенностями), а эти точки называют особыми точками слоения.
Примеры
- Разбиение многообразия на траектории неособого векторного поля задаёт на нём одномерное слоение.
- Любое (локально тривиальное) расслоение автоматически является слоением.
- Если задано действие фундаментальной группы многообразия на многообразии ,
то по нему строится надстройка — слоение, динамика отображений голономии которого моделирует это действие. А именно, декартово произведение универсальной накрывающей над и , — многообразие — с «горизонтальным» слоением на нём факторизуется по «диагональному» действию фундаментальной группы:
Поскольку это действие сохраняет горизонтальное слоение, это слоение опускается на фактор, задавая искомую надстройку.
- -форма, в каждой точке многообразия удовлетворяющая критерию Фробениуса интегрируемости поля плоскостей, задаёт -мерное слоение этого многообразия;
- полиномиальное векторное поле в задаёт особое двумерное слоение.
Касательное и нормальное расслоение слоения
Касательное расслоение тотального многообразия слоения обладает подрасслоением, векторы которого касаются слоев, — это касательное расслоение слоения. Соответствующее фактор-расслоение называется нормальным расслоением слоения.
Слоение называется ориентированным, если ориентировано его нормальное расслоение. Заметим, что ни тотальное многообразие, ни слои ориентированного слоения не обязаны быть хотя бы ориентируемыми.
Слоение называется оснащенным, если его нормальное расслоение тривиально и наделено определенной тривиализацией.
Свойства
- Теорема Новикова утверждает, что у всякого двумерного слоения трёхмерной сферы имеется компактный слой.
- Аргумент Хэфлигера показывает, что для всякого некомпактного слоя слоения коразмерности один на компактном многообразии найдётся пересекающая этот слой трансверсальная к слоению окружность.
См. также
- Слоение коразмерности 1
- Слоение Риба
- Критерий Фробениуса интегрируемости поля плоскостей.
- Распределение, определяющее слоение
Литература
- Тамура И. Топология слоений. — М: Мир, 1979.
- Фукс Д. Б. Слоения // Итоги науки и техн. Сер. Алгебра. Топол. Геом., 18, ВИНИТИ, М., 1981, 151—213.
Ссылки
- Weisstein, Eric W. Foliation (англ.) на сайте Wolfram MathWorld.
- Фукс Д. Б. Характеристические классы слоений. — УМН, 28:2 (170) (1973), с. 3—17.