СИМПЛИЦИАЛЬНОЕ МНОЖЕСТВО

СИМПЛИЦИАЛЬНОЕ МНОЖЕСТВО

(прежние названия - полусимплициальный комплекс, полный полусимплициальный комплекс) - симплициальный объект категории множеств Ens, т. е. система множеств (n-х слоев) , связанных отображениями , (операторами граней), и si: К п Kn+1, (операторами вырождения), удовлетворяющих соотношениям


Точки слоя К п наз. n-мерными симплексами С. м. К. Если заданы только операторы di, удовлетворяющие соотношениям didj=dj-1di, i<j, то система п,dn} наз. полусимплициальным множеством.

Симплициальным отображением f: К К' С. м. Кв С. м. К' наз. морфизм функторов, т. е. последовательность отображений , , удовлетворяющих соотношениям,


С. м. и их симплициальные отображения образуют категорию . Если все отображения fn являются вложениями, то С. м. Кназ. симплициальным подмножеством С. м. К'. При этом операторы граней и вырождения в С. м. Кпредставляют собой ограничения соответствующих операторов в С. м. K'.

Для любого топологич. пространства Xопределено С. м. S(X), наз. сингулярным С. м. пространства X, симплексами к-рого являются сингулярные симплексы пространства X(см. Сингулярные гомологии), т. е. непрерывные отображения , где Dn - n-мерный геометрический стандартный симплекс


Операторы граней di и вырождения si этого С. м. определяются формулами


Соответствие является функтором (наз. сингулярным функтором) из категории топологич. пространств Тор в категорию С. м. D0Ens. Произвольная симплициальная схема К определяет С. м. О(К), симплексами размерности пк-рого являются (n+1) - членные последовательности (x0, . . ., х n).вершин схемы К, обладающие тем свойством, что в Ксуществует такой симплекс s, что для любого i=0, 1, . . ., п. Операторы граней di и вырождения si этого С. м. определяются формулами


где знак ^ означает, что символ, стоящий под ним, опускается. Если симплициальная схема Купорядочена, то симплексы ( х 0, . .., х п), для к-рых , образуют симплициальное подмножество О + (К) С. М. О(К). Соответствие ) является функтором из категории симплициальных схем (упорядоченных симплициальных схем) в категорию D0Ens. Для произвольной группы p определено С. м. К(p), симплексами размерности пк-рого являются классы пропорциональных (n+1)-членных последовательностей (по определению , если существует такой элемент , что x'i=yxi для всех i=0,...,п). Операторы граней di и вырождения si С. м. К(я) определяются формулами


С. м. К(p) является на самом деле симплициальной группой.

Для произвольной абелевой группы p и любого целого определено С. м. (на самом деле, симплициальная абелева группа) E(p, п), симплексами размерности qк-рого являются re-мерные коцепи q-мерного геометрического стандартного симплекса Dq с коэффициентами в группе я (таким образом, Е(p, n)qn(Dq;p)). Обозначая вершины симплекса Dq символами , определяют симплициальные отображения и формулами


Индуцированные гомоморфизмы групп коцепей


являются, по определению, операторами граней и вырождения С. м. Е(p, п). Симплексы, являющиеся коциклами, образуют симплициальное подмножество С. м. Е(p, п), к-рое наз. С. м. Эйленберга - Маклейна и обозначается К(p, n). Пограничный оператор на группах С*(Dq; p) определяет каноническое симплициальное отображение Е(p, п)K(p, n+1), к-рое обозначается d. Поскольку понятие одномерного коцикла имеет смысл и для неабелевой группы p (см. Неабелевы когомологии), С. м. К(p, 1) определено и без предположения, что группа p абелева. Это С. м. <изоморфно С. м. К(p). (следует каждому симплексу сопоставить значения нульмерной коцепи, кограницей к-рой является коцикл z, на вершинах ).

Сопоставив каждому слою К п С. м. Ксвободную абелеву группу, им порожденную, получают симплициальную абелеву группу и, следовательно, цепной комплекс. Этот комплекс обозначается С(К).и наз. комплексом цепей С. м. К. Группы (ко)гомологий комплекса С(К).(с коэффициентами в группе G) наз. группами (ко)гомологий Н * (К;G) и Н* (К;G).С. м. К. Группы (ко)гомологий сингулярного С. м. S(X).являются сингулярными группами (ко)гомологий топологич. пространства X. Группы (ко)гомологий С. м. О(К).и О + (К).изоморфны и наз. группами (ко)гомологий симплициальной схемы К. Группы (ко)гомологий С. м. К(p) суть группы (ко)гомологий группы p.

Симплекс С. м. Кназ. вырожденным, если существует такой симплекс и такой оператор вырождения si, что х=si у. Лемма Эйленберга - Зильбера утверждает, что любой симплекс С. м. Кединственным образом представляется в виде x=K(s)y, где s- нек-рый эпиморфизм , а - невырожденный симплекс. Наименьшее симплициальное подмножество С. м. К, содержащее все его невырожденные симплексы размерности, меньшей или равной n, обозначается К n или SknK и наз. n-мерным остовом С. м. К.

Геометрические стандартные симплексы


составляют косимплициальное топологич. пространство относительно операторов кограней di и ковырождения si, определенных формулами


В дизъюнктном объединении , где все К n рассматриваются как дискретные множества, формулы


определяют отношение эквивалентности, факторпространство по к-рому является клеточным разбиением (клеточным пространством), клетки к-рого находятся в биективном соответствии с невырожденными cимплексами С. м. К. Это клеточное разбиение обозначается | К| или RK и наз. геометрической реализацией в смысле Милнора С. м. К. Каждое симплициальное отображение индуцирует по формуле


непрерывное отображение , и соответствия представляют собой функтор R: . Этот функтор сопряжен слева к сингулярному функтору . Соответствующие изоморфизмы функторов


определяются формулами


где


Морфизм сопряжения является для любого топологич. пространства Xслабой гомотопич. эквивалентностью (это, в частности, доказывает, что произвольное топологич. пространство слабо гомотопически эквивалентно клеточному разбиению).

Конструкция геометрич. реализации | К| обобщается на симшшциальные топологич. пространства К. Можно . также определить геометрическую реализацию в смысле Дживера - Ху ||K||, учитывающую только операторы граней di (в этой реализации имеются клетки для всех симплексов из К, а не только невырожденных). Если каждый оператор вырождения si является замкнутым корасслоением (условие, автоматически выполненное для С. м.), то естественное отображение является гомотопич. эквивалентностью.

Категория допускает произведения, при этом для любых С. м. их произведением будет С. м. KXL, для к-рого


В частности, для каждого С. м. Копределено его произведение на симплициальный отрезок D1. Проекции и определяют биективное отображение


к-рое является гомеоморфизмом, когда произведение RKX RL представляет собой клеточное разбиение (напр., если оба С. м. Ки Lсчетны или же если одно из клеточных разбиений RK или RL локально конечно). Отсюда, в частности, следует, что геометрич. реализация любого счетного симплициального моноида (группы, абелевой группы) является топологич. моноидом (группой, абелевой группой).

Симплициальные отображения наз. гомотопными, если существует такое симплициальное отображение (гомотопия) L, что


для любого симплекса и для любой композиции s (длины п).операторов вырождения. Это определение (моделирующее обычное определение гомотопии непрерывных отображений) равносильно (для случая С. м.) общему определению гомотопности симплициальных отображений любых симплициальных объектов.

Имея понятие гомотопии, можно развивать теорию гомотопии С. м. аналогично теории гомотопии полиэдров. Оказывается, что эти две теории полностью параллельны; это находит свое выражение в том, что соответствующие категории эквивалентны (эквивалентность осуществляется функтором геомотрич. реализации). В частности, геометрич. реализации гомотопных симплициальных отображений гомотопны, и, напр., геометрич. реализация С. м. К(p, п).будет Эйленберга - Маклейна пространством К(p, п). Однако фактич. построение теории гомотопий для С. м. в деталях несколько отличается от построения теории гомотопий для топологич. пространств. Основное отличие состоит в том, что отношение гомотопности симплициальных отображений не является, вообще говоря, отношением эквивалентности. Эта трудность преодолевается следующим образом.

Симплициальное отображение стандартного фунтика (см. Стандартный симплекс).в С. м. Кназ. фунтиком в К. Каждый фунтик однозначно задается (n+1) - членной последовательностью n-мерных симплексов х 0, x1, ..., xk-1, xk+1, ..., xn+1 для к-рых dixj=dj-1xi при любых . Говорят, что фунтик заполняется, если он распространяется на все С. м. Dn+1, т. е. найдется такой (n+1)-мерный симплекс х, что dix=xi для каждого . С. м. Кназ. полным (или удовлетворяющим условию Кана), если каждый его фунтик заполняется.

Сингулярное С. м. S(X) произвольного топологич. пространства X всегда полно. Любая симплициальная группа полна, в частности полны С. м. Эйленберга - Маклейна К(p).и К(p, п). Значение полных С. м. состоит в том, что отношение гомотопности симплициальных отображений произвольного С. м. в полное С. м. является отношением эквивалентности. Поэтому на подкатегории полных С. м. построение теории гомотопий принципиальных трудностей не вызывает. Вместе с тем существует [4] функтор ,

сопоставляющий каждому С. м. Кполное С. м. , геометрич. реализация к-рого гомотонически эквивалентна геометрич. реализации С. м. Ки к-рое поэтому вполне заменяет С. м. Кво всех гомотопических вопросах.

Два n-мерных симплекса хи х' С. м. Кназ. сравнимыми, если . Сравнимые симплексы наз. гомотопными, если существует такой (n+1)-мерный симплекс у, что dny=x, dn+1y=x' и diy=sn-1dix=sn-1dix', . Для полных С. м. это отношение является отношением эквивалентности, причем симплексы тогда и только тогда гомотопны, когда их характеристические симплициальные отображения гомотопны .

С. м. Кназ. пунктированным, если в нем отмечен нек-рый нульмерный симплекс q (тем же символом q обозначаются все вырождения этого симплекса, а также порожденное им симплициальное подмножество, к-рое обычно наз. отмеченной точкой в К). Для полного пунктированного С. м. Кмножество p п (К).классов гомотопных га-мерных симплексов, сравнимых с симплексом q, является при группой. Эта группа наз. n-м ерной гомотопической группой пунктированного полного С. м. К;эта терминология оправдывается тем, что pn (К).p п(|К|), и в частности pn (К(p, n))=p и pi(K (p, п)).= 0 при . С. м. К, для к-рого pi (К).0 при всех , наз. n-связным; при этом 0-связное С. м. наз. связным, а 1-связное С. м.- односвязным. Сложение в группе , индуцируется операцией, сопоставляющей симплексам хи у(сравнимым с q) симплекс dnz, где z - симплекс размерности n+1, заполняющий фунтик xi=0, , х n-1=х, х п+1=у. Если С. м. Кявляется симплициальным моноидом с единицей q, то сложение индуцируется также умножением в этом моноиде (произведение двух симплексов, сравнимых с q, сравнимо с q).

Поскольку любой симплекс у, сравнимый с q, является циклом (цепного комплекса С(К), определяемого С. м. К), то возникает естественный гомоморфизм

Гуревича , при п=1 индуцирующий изоморфизм


(теорема Пуанкаре), а при n>1 являющийся изоморфизмом, когда С. м. К( п-1)-связно (теорема Гуревича). Для полных С. м. справедлива также и теорема Уайтхеда в обоих ее вариантах, т. е. симплициальное отображение полных С. м. тогда и только тогда является гомотопич. эквивалентностью, когда оно индуцирует изоморфизм гомотопич. групп, причем для односвязных С. м. это условие равносильно тому, что индуцированные гомоморфизмы групп гомологии являются изоморфизмами.

В случае, когда Кявляется симплициальной группой, гомотопич. группа pn (К).изоморфна группе гомологии цепного (не обязательно абелева) комплекса , для к-рого


а граничный оператор является ограничением на оператора (-1)ndn. Если симплициальная группа Кабелева, то комплекс является подкомплексом этой группы, рассматриваемой как цепной комплекс, и, более того, ее цепным деформационным ретрактом, и, в частности, ее прямым слагаемым. Оказывается, что дополнительным прямым слагаемым служит подкомплекс, порожденный вырожденными симплексами. Поэтому соответствующий факторкомплекс комплекса Кему ценно эквивалентен. Напр., для групп когомологий произвольного С. м. Котсюда следует (теорема о нормализации), что они изоморфны нормализованным группам когомологий, т. е. группам, получающимся, если ограничиться коцепями, равными нулю на всех вырожденных симплексах. Кроме того, pn (С(К))n (К).

Функтор осуществляет эквивалентность теории гомотопий симплициальных абелевых групп с теорией гомологии цепных комплексов. Отсюда, в частности, следует, что любая связная симплициальная абелева группа Кгомотопически эквивалентна произведению С. м. Эйленберга - Маклейна К(pn (К), п).

Полное С. м. К наз. минимальным, если сравнимые симплексы тогда и только тогда гомотопны, когда они совпадают. С. м. К(p, п).минимально. Всякая гомотопич. эквивалентность минимальных С. м. является изоморфизмом. Каждое полное С. м. Кобладает минимальным симплициальным подмножеством. Оно является его деформационным ретрактом, и но-этому с точностью до изоморфизма определено однозначно.

Симплициальное отображение наз. расслоением в смысле Кана, если в Езаполняется любой фунтик , для к-рого фунтик заполнен, причем для любого заполнения фунтика pof существует такое заполнение фунтика f, что . Расслоение в смысле Кана является симплициальным аналогом расслоения в смысле Серра и для него имеет место теорема о накрывающей гомотопий в следующей форме: если для симплициальных отображений и имеет место равенство то существует такое симплициальное отображение , что и . Если расслоение рявляется сюръективным отображением, то С. м. Еполно тогда и только тогда, когда полно С. м. В. Слоем расслоения наз. (автоматически полное) С. м. F=p1(q), где q - отмеченная точка в В. Для любого расслоения в смысле

Серра симплициальное отображение S(р): является расслоением в смысле Кана, и для любого расслоения в смысле Кана отображение является расслоением в смысле Серра (см. [5]).

Пусть К - полное пунктированное С. м. и Положим хп у, где , если dix=diy для всех , т. е. если


(см. Стандартный симплекс). Это отношение является эквивалентностью, и фактормножества (CosknK)q=Kq/n составляют (по отношению к индуцированным операторам граней и вырождения) С. м. CosknK, к-рое наз. n-м коостовом С. м. К. По определению, полагается CosknK = K. Для любого С. м. CosknK полно и pq(CosknK)=0 при q>n. Кроме того, для любого естественное сюръективное симплициальное отображение


является расслоением, индуцирующим в размерностях, меньших или равных т, изоморфизм гомотопич. групп. В частности, слой расслоения гомотонически эквивалентен С. м. Эйленберга - Маклейна К(pn (K), п). Последовательность расслоений


наз. Постникова системой полного С. м. К. Если С. м. Кминимально, то эта последовательность является его резольвентой (см. Гомотопический тип). Конструкция системы Постникова непосредственно обобщается на произвольное расслоение полного С. м. Енад полным С. м. В. Пусть Cosknp есть С. м., слоями (Cosknp)q к-рого являются фактормножества слоев Eq по отношению , к-рое имеет место тогда и только тогда, когда р(х) (у).и dix=diy при всех . По определению, полагается . При этом . При естественное сюръ-ективное симплициальное отображение


является расслоением, индуцирующим в размерностях, меньших или равных ти больших n+1, изоморфизм гомотопич. групп. В частности, слой расслоения гомотопически эквивалентен С. м. Эйленберга-Маклейна K(pn(F), n). Слоем расслоения является С. м. CosknF, где F - слой расслоения . Последовательность расслоений


наз. системой Мура - Постникова расслоения .

На языке С. м. удобно определять спектры. Симплициальным спектром наз. последовательность {X(q)} пунктированных множеств (его элементы наз, симплексами, отмеченный симплекс обозначается q), определенных для произвольного целого числа q, снабженная отображениями ,

(операторами граней), и (операторами вырождения), к-рые удовлетворяют соотношениям (*) и следующему условию: для каждого симплекса существует такое целое ге, что dix=qпри i>n. Каждому спектру Xи произвольному целому n можно сопоставить С. м. Х п, определив его формулой


при i > q, d0, ..., dqx =q}.

Для так определенных С. м. Х п имеют место вложения , где S - надстройка. По последовательности С. м. Х n и вложений симплициальный спектр X, в свою очередь, восстанавливается однозначно. Если все С. м. Xполны, то , где W - функтор петель. Функтор геометрич. реализации осуществляет эквивалентность категории симплициальных спектров с категорией топологич. спектров. Симплициальные спектры могут быть определены для произвольной категории. Категория абелевых групповых спектров изоморфна категории (абелевых) цепных комплексов.

Лит.:[1] Габриель П., Цисман М., Категории частных и теория гомотопий, пер. с англ., М., 1971; [2] М а у

J. P., Simplicial objects in algebraic topology, Princeton, 1967; [3] Lamotke K., Semisimpliziale algebraische Topologie, В.- [u. a.], 1968; [4] Кan D., "Amer. J. Math.", 1957, v. 79, p. 449-76; E5] Quillen D., "Proc. Amer. Math. Soc.", 1968, v. 19, p. 1499-500; [6] Браун 3. X., "Математика", 1958, т. 2, № 2, с. 3-24; [7] Кан Д., там же, 1962, т. 6, № 1, с. 3-32; [8] его же, там же, 1966, т. 10, № 3, с. 12-28.

С. Я. Малыгин, М. М. Постников.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Нужно сделать НИР?

Полезное


Смотреть что такое "СИМПЛИЦИАЛЬНОЕ МНОЖЕСТВО" в других словарях:

  • СИМПЛИЦИАЛЬНОЕ ПРОСТРАНСТВО — топологическое пространство X, снабженное таким покрытием топологическими симплексами (наз. триангуляцией), что грани любого симплекса триангуляции принадлежат триангуляции, пересечение любых двух симплексов триангуляции является гранью каждого… …   Математическая энциклопедия

  • ГОМОТОПИЧЕСКИЙ ТИП — класс гомотопически эквивалентных топологич. пространств. Отображения и наз. взаимно обратными гомотопическими эквивалентностями, если и Если выполнено только первое из этих соотношений, то gназ. гомотопически мономорфным отображением, а f… …   Математическая энциклопедия

  • СИМПЛИЦИАЛЬНАЯ СХЕМА — (прежние названия симплициальный комплекс, абстрактный симплициальный комплекс) множество, элементы к рого наз. вершинами и в к ром выделены такие конечные непустые подмножества, наз. симплексами, что каждое непустое подмножество симплекса s… …   Математическая энциклопедия

  • СТАНДАРТНЫЙ СИМПЛЕКС — 1) С. с. симплекс размерности пв пространстве с вершинами в точках е i=(0, . . ., 1, . . ., 0), i=0, . . ., п(единица стоит на i м месте), т. е. Для любого топологич. пространства . непрерывные отображения представляют собой сингулярные симплексы …   Математическая энциклопедия

  • СИМПЛИЦИАЛЬНЫЙ ОБЪЕКТ — категории произвольный контравариантный функтор X: (или, что то же самое, ковариантный функтор ) из категории D, объектами к рой являются упорядоченные множества [n]={0, 1, . . ., п}, , а морфизмами неубывающие отображения m: . Ковариантный… …   Математическая энциклопедия

  • ГОМОТОПИЧЕСКИЙ ТИП — топологизированной категории проективная система топологич. пространств, ассоциированная с топологизированной категорией и позволяющая определять гомотопические группы этой категории, группы гомологии и когомологий со значениями в абелевой группе …   Математическая энциклопедия

  • КОМПЛЕКС — частично упорядоченное рефлексивным, правильным и транзитивным отношением < множество К={t} каких либо элементов t, вместе с целочисленной функцией dim t, называемой размерностью элемента t,[t: t ], называемой коэффициентом инцидентности… …   Математическая энциклопедия

  • ПРОЕКЦИОННЫЙ СПЕКТР — индексированное направленным множеством( А, >) семейство симплициальных комплексов такое, что для каждой пары индексов , для к рых a >a, определено симплициальное отображение (проекция) комплексов Na на комплекс Na. При этом требуется,… …   Математическая энциклопедия

  • КУСОЧНО ЛИНЕЙНАЯ ТОПОЛОГИЯ — раздел топологии, изучающий полиэдры. Под полиэдром понимается прежде всего подмножество топологического векторного пространства, представимоо конечным или локально конечным объединением выпуклых многогранников ограниченной размерности, а также… …   Математическая энциклопедия

  • ПСЕВДОМНОГООБРАЗИЕ — n мерное замкнутое (соответственно, с краем) конечное симплициальное разбиение со следующими свойствами, а) Неразветвленность: каждый (n 1 ) мерный симплекс является гранью ровно двух (соответственно, одного или двух) n мерных симплексов; б)… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»