Akademik

обобщение фундаментальной группы, предложенное В. Гуревичем [1] в связи с задачей о классификации непрерывных отображений. Г. г. определены для любого . При Г. г. совпадает с фундаментальной группой. Определение Г. г. не конструктивно, и поэтому их вычисление является трудной задачей, общие методы решения к-рой были выработаны только в 50-х гг. 20 в. Значение Г. г. определяется тем, что все задачи теории гомотопий более или менее сводятся (см. Гомотопический тип).к задаче вычисления тех или иных Г. г.

Пусть

- единичный re-мерный куб, - его грань и - объединение всех остальных его граней. Для любой пунктированной пары (см. Пунктированный объект).символом (или просто ) обозначается пунктированное множество всех гомотопич. классов [u] (см. Гомотопия).отображений

отмеченным элементом (нулем) этого множества служит класс постоянного отображения, переводящего весь куб в точку . Каждое непрерывное отображение

индуцирует нек-рый морфизм

пунктированных множеств. Для любого множества и морфизмы составляют нек-рый функторp_n из категории пунктированных пар в категорию пунктированных множеств. Этот функтор гомотопически инвариантен, то есть когда fи g гомотопны (как отображения пунктированных пар). Кроме того, он нормирован, в том смысле, что если

При в множество можно ввести операцию сложения, относительно к-рой оно будет группой (при n>2 даже абелевой): по определению, если и , то , где - отображение

определенное формулой

Получающаяся группа наз. n-й гомотопической группой (или n-мерной Г. г.) пунктированной пары ; говорят также о Г. г. пары (X, .А) в точке х ₀ или о Г. г. пространства Xотносительно подпространства А в точке х ₀. Отображения являются гомоморфизмами этих групп. Таким образом, при можно считать, что функтор принимает значения в категории групп (при даже абелевых). При группа обозначается , или просто , и наз. абсолютной гомотопической группой пунктированного пространства (или пространства Xв точке х ₀ ). Ее элементами являются гомотопич. классы отображений где - граница куба . Для таких отображений формула (1) имеет смысл и при и=1, так что множество оказывается группой. Эта группа совпадает с классической фундаментальной группой. Обычно групповая операция в наз. умножением. Эта группа, вообще говоря, неабелева, тогда как группа - абелева. Для любого группы и соответствующие гомоморфизмы составляют нек-рый функтор из категории пунктированных пространств в категорию групп (при - в категорию абелевых групп). Этот функтор является композицией функтора вложения и построенного выше функтора .

Функтор распространяется и на случай , если понимать под пунктированное множество компонент линейной связности пространства X;нулем этого множества является компонента, содержащая точку . Множество при не определяется. Для упрощения формулировок множества и обычно также наз. Г. г., хотя они, вообще говоря, являются лишь пунктированными множествами.

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

Это - точная последовательность;она наз. точной гомотопической последовательностью пары и обозначается обычно . Если для всех , то гомоморфизм является изоморфизмом (также для всех п).

Граничный гомоморфизм обладает свойством естественности, т. е. является морфизмом функтора в функтор [точнее, в функтор , где . Это позволяет определить как функтор, принимающий значения в категории точных последовательностей пунктированных множеств, являющихся, за исключением последних шести множеств, абелевыми группами, а за исключением последних трех множеств,- группами.

Пусть - произвольное расслоение в смысле Серра и пусть и Отображение ропределяет нек-рое отображение пунктированных пар. Для любого индуцированный этим отображением гомоморфизм является изоморфизмом.

В частности, это верно при . В этом случае формула однозначно определяет нек-рый гомоморфизм где - слой расслоения рнад точкой . Этот гомоморфизм наз. гомотопической трансгрессией. Он входит в точную последовательность

Эта последовательность наз. гомотопической последовательностью расслоения . Сопоставление расслоению его гомотопич. последовательности приводит к нек-рому функтору на категории всех (пунктированных) расслоений.

В частном случае, когда ресть стандартнее Серра расслоение путей над пространством X, для любого имеет место изоморфизм . где - петель пространство пространства X. Этот изоморфизм наз. изоморфизмом Гуревича.

Перечисленные свойства по существу однозначно определяют Г. г. т. е. могут быть приняты за аксиомы, описывающие эти Г. г. Именно, пусть - произвольная последовательность гомотопически инвариантных нормированных функторов, заданных на категории пунктированных пространств, принимающих значения в категории пунктированных множеств и обладающих тем свойством, что для любого расслоения в смысле Серра любого подмножества и любой точки индуцированный гомоморфизм является изоморфизмом. Такая последовательность наз. гомотопической системой, если для любого задан морфизм функтора в функтор (при - в ), являющийся изоморфизмом для любой пунктированной пары , для которой при всех . Любая гомотопич. система изоморфна построенной выше гомотопич. системе, состоящей из Г. г. Более того, при в пунктированные множества (а также в множества ) можно единственным образом ввести групповое строение (структуру группы) так, чтобы все мор-физмы были гомоморфизмами [это строение совпадает, стало быть, с тем, к-рое определяется формулой (1)]. В группах же при и можно только ввести еще инверсную групповую операцию. Все это и означает, что перечисленные выше свойства однозначно определяют Г. г. (с точностью до порядка сомножителей в некоммутативных группах).

Для любого отображения и любого пути , соединяющего точку с точкой , формула определяет нек-рую гомо-топию отображения . По аксиоме о распространении гомотопии (см. Корасслоение).эта гомотопия может быть распространена до нек-рой гомотопии обладающей тем свойством, что . Конечное отображение u₁ этой гомотопии переводит в , то есть представляет собой отображение

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

Аналогичным образом группы составляют локальное семейство Г. г. на подпространстве А . В частности, является группой операторов Г. г. , так что при группа будет - модулем. Группа является скрещенным - модулем (см. Скрещенные модули), где - граничный гомоморфизм.

Группа служит группой операторов не только групп , но и групп , а также, в силу естественного гомоморфизма -группой операторов групп Относительно этого действия группы все гомоморфизмы точной последовательности являются операторными гомоморфизмами, так что группа может рассматриваться как группа операторов последовательности Это равносильно тому, что последовательности составляют локальное семейство точных последовательностей на подпространстве А.

В случае, когда дополнение представляет собой объединение непересекающихся открытых n-мерных клеток, -модуль является свободным модулем (при - свободным скрещенным модулем) и обладает системой свободных образующих - базисом, находящимся в биективном (не обязательно естественном) соответствии с клетками из (теорема Уайтхеда).

Отображения находятся в биективном соответствии с отображениями где - произвольная n-мерная сфера, а - нек-рая ее точка; поэтому элементы группы можно рассматривать как гомотопич. классы отображений Это верно и при n=0. Указанное отождествление зависит от выбора нек-рого относительного гомеоморфизма . Обычно сфера Sⁿ и гомеоморфизм j предполагаются раз навсегда выбранными и фиксированными. В первоначальном, ставшем малоупотребительным определении Гуревича, сфера не фиксировалась, а гомеоморфизм задавался с точностью до гомотопии. Такое задание гомеоморфизма равносильно заданию нек-рой ориентации сферы Таким образом, по Гуревичу, элементами группы являются пунктированные гомотопич. классы отображений ориентированной re-мерной сферы в пространстве X. Множество непунктированных гомотопич. классов отображений находится в биективном соответствии с орбитами, действия группы в группе . Если (или, более общим образом, если группа тривиально действует на группе , - в этом случае пространство наз. гомотопически п- простым), то не зависит от точки (так что в этом случае обозначение полностью оправдано). Эта группа естественным образом отождествляется с множеством , к-рое является, стало быть, в этом случае группой. Пространство, гомотопическн n-простое для всех и, наз. абелевым.

Пусть s_n - ориентирующий класс гомологии сферы Sⁿ и пусть . Тем самым определяется нек-рый гомоморфизм , наз. гомоморфизмом Гуревича. Его ядро содержит все элементы вида (при - все элементы вида т. е. содержит коммутант группы ). Классич. теорема Пуанкаре утверждает, что при n=1 ядро гомоморфизма hсовпадает с коммутантом , так что группа изоморфна про-коммутированной фундаментальной группе Обобщением теоремы Пуанкаре на случай n>1 является теорема Гуревича, утверждающая, что если при , то гомоморфизм h: является изоморфизмом (а гомоморфизм - эпиморфизмом).

Аналогичным образом элементы группы можно рассматривать как (пунктированные) гомотопич. классы отображений где - (ориентированный) n-мерный шар, a S - его граница. Если пара гомотопически n-проста [т. е. группа тривиально действует на группе то в этом определении пунктированность можно игнорировать. Формула

где - ориентирующий класс гомологии пары , а определяет гомоморфизм Гуревича

Если при то этот гомоморфизм является изоморфизмом (теорема Гуревича для относительных групп).

Для вычисления Г. г. конкретных пространств известны два основных метода: метод убивающих пространств и метод гомотопич. резольвент (см. Гомотопический тип, Постникова системы). Первый метод основывается на изоморфизме вытекающем из теоремы Гуревича, и определении убивающего пространства Этот изоморфизм сводит задачу вычисления группы к задаче вычисления групп гомологии Пространство расслаивается над пространством со слоем а группы гомологии пространств известны. Поэтому индукцией можно пытаться найти нужные группы гомологии убивающих пространств. Задача вычисления группы гомологии расслоенного пространства по группам гомологии его базы и слоя в общем виде полностью не решена (и, по-видимому, общего удовлетворительного решения не имеет), однако обширную информацию о группах гомологии пространств можно извлечь из соответствующих спектральных последовательностей Серра. Во многих случаях этой информации достаточно для вычисления групп , по крайней мере для нек-рых n. Существенное технич. упрощение задачи достигается на основе серровской теории классов абелевых групп и вытекающей из этой теории теоремы -аппроксимации, позволяющей проводить все вычисления во-первых для когомологий, а во-вторых лишь для групп коэффициентов . Геометрич. принципы, лежащие в основе этой техники, были недавно вскрыты Дж. Адамсом (J. Adams) и Д. Саллнваном (D. Sullivan) [8] на основе понятия локализации топологич. пространств по данному простому р.

Второй (также индуктивный) метод вычисления Г. г. состоит в постепенном построении гомотопич. резольвенты пространства X. Пусть уже известен n-й член этой резольвенты [напр., если , то ].

Следующий член должен быть расслоенным пространством над Х _п со слоем , причем группа должна быть изоморфна известной группе . Это дает (на основе соответствующей спектральной последовательности) определенную информацию о группе , позволяющую во многих случаях полностью ее вычислить. Напр., при этим методом можно найти группы для всех . В современной своей форме эти вычисления также основываются на понятии локализации.

Метод гомотопич. резольвент был доведен (см. [5]) до алгоритма, применимого к любому односвязному конечному клеточному разбиению и дающего все его Г. г. Однако этот алгоритм для практич. применения слишком сложен.

Поскольку гомотопич. теория пространств полностью эквивалентна гомотопич. теории симплициальных множеств, определение Г. г. может быть перенесено на любые (полные) симплпциальные множества. Получающееся "комбинаторное" определение Г. г. (принадлежащее Д. Кану) легко может быть доведено до алгоритма. Однако и этот алгоритм для практич. вычислений слишком сложен.

Любой из описанных методов без труда устанавливает, что Г. г. произвольного односвязного пространства, имеющего конечно порожденные группы гомологии, также конечно порождены. Аналогичное утверждение для неодносвязных пространств (Г. г. конечно порождены как -модули), вообще говоря, неверно.

Пусть S- функтор (приведенной) надстройки, а - функтор петель. Так как эти функторы сопряжены, то для любого тождественное отображение определяет нек-рое вложение . Поскольку это вложение определяет нек-рый гомоморфизм известный как гомоморфизм надстройки. Он совпадает с гомоморфизмом, получающимся при сопоставлении произвольному (пунктированному) отображению его надстройки . Этот гомоморфизм входит в точную последовательность

Эта последовательность наз. надстроечной последовательностью пространствa X. Фигурирующий в ней гомоморфизм Нявляется обобщением классического Хопфа инварианта.

В случае, когда X- счетное одновершинное клеточное разбиение, пространство может быть заменено (см. [7]) приведенной степенью разбиения X. Это показывает, что если при , то гомоморфизм Еявляется изоморфизмом для всех и эпиморфизмом при . Эта теорема известна как теорема Фрейденталя о надстройке [Г. Фрейденталь (Н. Freudenthal) первым опубликовал доказательство для случая , хотя теорема была известна и ранее].

Теорема Фрейденталя показывает, что при группа не зависит от п. Она наз. k-й стационарной Г. г. (стабильной Г. г.) сфер. Аналогичное явление стабилизации наблюдается для Г. г. ортогональных групп, Г. г. Тома пространств MSO и во многих других случаях. Общее изучение этого явления наиболее удобно проводить в рамках так наз. теории спектров. В этой теории стационарные Г. г. появляются как Г. г. спектров. Эти группы устроены существенно проще Г. г. пространства и их изучение (и вычисление) оказывается значительно более легкой задачей. Напр., для вычисления этих групп имеется специальный аппарат: спектральная последовательность Адамса.

Г. г. обобщались в самых различных направлениях. Напр., делались попытки заменить сферы другими пространствами. Здесь можно отметить торусные Г. г., позволившие проинтерпретировать Уайтхеда произведения как нек-рые коммутанты. Показано также, что в множество гомотопич. классов отображений тогда и только тогда можно ввести естественную по Yгрупповую операцию, когда Xявляется ко-Н-пространством. Были определены Г. г. с коэффициентами, получающиеся при замене сфер Мура пространствами, Это определение Г. г. с коэффициентами оказалось не очень удачным. Более удовлетворительное определение (согласующееся с общим принципом двойственности Экмана - Хилтона) было получено при замене M-пространств Мура ко-M-пространствами. Однако эти Г. г. определены не для всех G (напр., при G, являющейся аддитивной группой действительных чисел, эти группы не определены).

Детально изучен также вопрос о построении Г. г. в категориях, отличных от категории пунктированных пар. Здесь в первую очередь следует отметить построение Г. г. триад (см., напр., [3]), оказавшихся очень полезными при изучении гомоморфизма Е. Весьма общие конструкции Г. г. были предложены в связи с исследованиями по двойственности. На основе понятия стандартной конструкции (см. [6]) построение Г. г. было перенесено на произвольные категории. Существенную роль в этом построении играют уже упоминавшиеся Г. г. симплициальных множеств.

Лит.:[1] Стинрод Н., Топология косых произведений, пер. с англ., М., 1953; [2] Болтянский В. Г., Гомотопическая теория непрерывных отображений и векторных полей, М., 1955; [3] Ху Сы - дзян, Теория гомотопий пер. с англ., М., 1964; [4] Браун Э. X., "Математика" 1958, т. 2: 2, с.3-24; [5] Кан Д., там же, 1962 т. 6, № 1, с. 3-32; [6] Столлингс Дж., там же 1964, 8:4, с. 155-57; [7] Экман Б., Xилтон П. там же, 1960, 4 : 3, с. 3-27; [8] Сулливан Д., Геометрическая топология, пер. с англ., М., 1975. М. М. Постников.