Математическая энциклопедия - древовидное многообразие
Связанные словари
Древовидное многообразие
гладкое нечетномерное многообразие специального вида, являющееся краем четномерного многообразия, строящегося из расслоений над сферами с помощью склеек по схеме, задаваемой нек-рым графом (деревом).
Пусть pi: i= 1,2, ...расслоение над n-сферами со слоем n-шар Dn и структурной группой SOn и пусть В niзамкнутый стандартный ге-шар в n-сфере Sni тогда
где слой расслоения р i. Пусть гомеоморфизм, осуществляющий склейку двух расслоений pi, pj и переводящий каждый n-шар из в некоторый шар из (склейка меняет сомножители прямого произведения ).
Результатом склейки двух расслоений р i, pj является 2n-мерное многообразие к-рое превращается в гладкое многообразие с помощью операции "сглаживания углов".
Расслоения рассматриваются как "строительные блоки", из к-рых с помощью попарных склеек результирующее гладкое многообразие строится следующим образом. Пусть Тодномерный конечный комплекс (граф). Каждой вершине графа Тсопоставляется блок выбираются в непересекающиеся 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), равен . Если это условие выполнено, то многообразие , W2n (Т)наз. плюмбингом.
Если Тпроизвольный граф и то W2n (Т)тогда и только тогда односвязно, когда Тдерево. Если Тдерево и то dW2n(T)односвязно; если
W2nплюмбинг, то край dW2n является гомотопич. сферой,
Если плюмбинг W4kпараллелизуем, то на главной диагонали матрицы пересечений 2k-мерных циклов стоят четные числа; в этом случае сигнатура матрицы пересечений делится на 8. Плюмбинг Wik тогда и только тогда пара, ллелизуем, когда все расслоения над S2k, использованные при построении W4k, являются стабильно тривиальными; напр., если все расслоения, используемые при построении W4k, являются касательными расслоениями на диски над 2k-мернымн сферами, то плюмбинг W4k параллелизуем. Плюмбинг W4k+2 тогда и только тогда параллелизуем, когда каждое расслоение Е 4k+2, используемое в качестве блоков при построении плюмбинга Wi4k+2, принадлежит к одному из двух типов: оно либо тривиально, либо является трубчатой окрестностью диагонали в произведении то есть касательным расслоением на диски над S2k+2. Если плюмбинг W4k+2 параллелизуем, то его матрица пересечений приводится к симплектическому виду, состоящему из блоков расположенных вдоль главной диагонали.
Среди плюмбингов особо выделяются многообразия Милнора размерности 4k, k>1 и многообразия Кервера размерности 4k+2, Многообразия Милнора строятся следующим образом: в качестве блоков берутся несколько экземпляров трубчатой окрестности Е 4k диагонали в произведении в качестве графа Тборется граф следующего вида:
При этих условиях многообразие W4k(T). реализует квадратичную форму 8-го
порядка, у которой на главной диагонали стоят двойки, а сигнатура равна 8.