Древовидное многообразие

- гладкое нечетномерное многообразие специального вида, являющееся краем четномерного многообразия, строящегося из расслоений над сферами с помощью склеек по схеме, задаваемой нек-рым графом (деревом). Пусть pi: [img: http://localhost:8080/file/020540-72.jpg] i= 1,2,...- расслоение над n-сферами со слоем n-шар Dn и структурной группой SOn и пусть В ni- замкнутый стандартный ге-шар в n-сфере Sni тогда [img: http://localhost:8080/file/020540-73.jpg] где [img: http://localhost:8080/file/020540-74.jpg] - слой расслоения р i. Пусть [img: http://localhost:8080/file/020540-75.jpg] - гомеоморфизм, осуществляющий склейку двух расслоений pi, pj и переводящий каждый n-шар [img: http://localhost:8080/file/020540-76.jpg] из [img: http://localhost:8080/file/020540-77.jpg] в некоторый шар [img: http://localhost:8080/file/020540-78.jpg] из [img: http://localhost:8080/file/020540-79.jpg] (склейка меняет сомножители прямого произведения [img: http://localhost:8080/file/020540-80.jpg]). Результатом склейки двух расслоений р i, pj является 2n-мерное многообразие [img: http://localhost:8080/file/020540-81.jpg] к-рое превращается в гладкое многообразие с помощью операции "сглаживания углов". Расслоения [img: http://localhost:8080/file/020540-82.jpg] рассматриваются как "строительные блоки", из к-рых с помощью попарных склеек результирующее гладкое многообразие строится следующим образом. Пусть Т- одномерный конечный комплекс (граф). Каждой вершине графа Тсопоставляется блок [img: http://localhost:8080/file/020540-83.jpg] выбираются в [img: http://localhost:8080/file/020540-84.jpg] непересекающиеся re-шары Bnik в количестве k=l, 2,..., равном индексу ветвления соответствующей вершины, и производится склейка по схеме, указанной графом Т. Полученное таким образом многообразие с краем обозначается (опуская зависимость от выбора расслоений E2ni). через W2n(T). В случае, если Тесть дерево, то есть граф без циклов, то край dW2n(T) = M2n-1 наз. древовидным многообразием. Если Т- дерево, то W2n(T). имеет гомотопич. тип букета n-сфер в. количестве, равным числу вершин дерева Т. Д. м. M2n-1=dW2n(T)является целочисленной гомологич. (2n-1)-сферой тогда и только тогда, когда определитель матрицы целочисленной билинейной (-1)n -формы пересечений, определенной на решетке re-мерных гомологии Hn(W2n,Z), равен [img: http://localhost:8080/file/020540-85.jpg]. Если это условие выполнено, то многообразие, W2n (Т)наз. плюмбингом. Если Т- произвольный граф и [img: http://localhost:8080/file/020540-86.jpg] то W2n (Т)тогда и только тогда односвязно, когда Т- дерево. Если Т- дерево и [img: http://localhost:8080/file/020540-87.jpg] то dW2n(T)односвязно; если W2n- плюмбинг, то край dW2n является гомотопич. сферой, [img: http://localhost:8080/file/020540-88.jpg] Если плюмбинг W4k- параллелизуем, то на главной диагонали матрицы пересечений 2k-мерных циклов стоят четные числа; в этом случае сигнатура матрицы пересечений делится на 8. Плюмбинг Wik тогда и только тогда пара, ллелизуем, когда все расслоения над S2k, использованные при построении W4k, являются стабильно тривиальными; напр., если все расслоения, используемые при построении W4k, являются касательными расслоениями на диски над 2k-мернымн сферами, то плюмбинг W4k параллелизуем. Плюмбинг W4k+2 тогда и только тогда параллелизуем, когда каждое расслоение Е 4k+2, используемое в качестве блоков при построении плюмбинга Wi4k+2, принадлежит к одному из двух типов: оно либо тривиально, либо является трубчатой окрестностью диагонали в произведении [img: http://localhost:8080/file/020540-89.jpg] то есть касательным расслоением на диски над S2k+2. Если плюмбинг W4k+2 параллелизуем, то его матрица пересечений приводится к симплектическому виду, состоящему из блоков [img: http://localhost:8080/file/020540-90.jpg] расположенных вдоль главной диагонали. Среди плюмбингов особо выделяются многообразия Милнора размерности 4k, k>1 и многообразия Кервера размерности 4k+2, [img: http://localhost:8080/file/020540-91.jpg] Многообразия Милнора строятся следующим образом: в качестве блоков берутся несколько экземпляров трубчатой окрестности Е 4k диагонали в произведении [img: http://localhost:8080/file/020540-92.jpg] в качестве графа Тборется граф следующего вида: При этих условиях многообразие W4k(T). реализует квадратичную форму 8-го [img: http://localhost:8080/file/020540-93.jpg] порядка, у которой на главной диагонали стоят двойки, а сигнатура равна 8. Для построения многообразий Кервера K4k+2 берутся два экземпляра блока, получающегося как трубчатая окрестность E4k+2 диагонали в произведении [img: http://localhost:8080/file/020540-94.jpg] Склеиваются они так, что матрица пересечений имеет вид [img: http://localhost:8080/file/020540-95.jpg] Крап многообразия Милнора дM4k (сферы Милнора) всегда недиффеоморфен стандартной сфере S4k-1;относительно многообразий Кервера этот вопрос до конца не решен (1978). Если [img: http://localhost:8080/file/020540-96.jpg] то край многообразия Кервера дK4k+2 (сферы Кервера) всегда нетривиален, если же 2k+1 = 2i - 1, то для [img: http://localhost:8080/file/020540-97.jpg] получится стандартная сфера S4k+1, для остальных iрешение неизвестно (см. Кервера инвариант). Многообразия Кервера K4k+2 размерности 2, 6, 14 представляют собой произведения сфер [img: http://localhost:8080/file/020540-98.jpg] k=0,1, 3, с выкинутой открытой клеткой, а все другие многообразия Кервера не гомеоморфны произведениям сфер с выкинутой клеткой. В топологии многообразий часто используются PL -многообразия [img: http://localhost:8080/file/020540-99.jpg] и [img: http://localhost:8080/file/020540-100.jpg] полученные добавлением конуса над краем, соответственно, многообразий Милнора М 4k и многообразий Кервера K4k+2, а также два 4-мерных гладких многообразия - одно из них Wi(T)(Tне обязательно дерево) является параллелизуемым односвязным многообразием, край к-рого диффеоморфен 3-сфере, а сигнатура равна 16. Такое многообразие P4=W4(T)наз. многообразием (или плюм бингом) Рохлина. В известных примерах многообразий Рохлина минимальное значение двумерного числа Бетти равно 22. Другое многообразие есть W4 (Г), где Г - граф, указанный выше, в качестве блока берется трубчатая окрестность диагонали в произведении [img: http://localhost:8080/file/020540-101.jpg] Край получающегося многообразия Q4= W4 (Г) есть неодносвязное додекаэдра пространство. Трехмерные Д. м. M3=дW4(T)принадлежат к так называемым многообразиям Зейферта. Не всякое 3-мерное многообразие является Д. м., и для Д. м. справедлива гипотеза Пуанкаре. В частности, 3-мерные линзовые пространства получаются от склейки только двух блоков.