Симметричное произведение (топология)
В алгебраической n топологии й симметричное произведение топологического пространства состоит из неупорядоченных n -кортежей его элементов. Если зафиксировать базовую точку , существует канонический способ встраивания симметричных произведений более низкой размерности в продукты более высокой размерности. Таким образом, можно рассмотреть копредел симметричных произведений, бесконечное симметричное произведение. Эту конструкцию легко расширить до гомотопического функтора.
С алгебраической точки зрения бесконечное симметричное произведение представляет собой свободный коммутативный моноид, порожденный пространством минус базовая точка, причем базовая точка дает единичный элемент. Таким образом, его можно рассматривать как абелеву версию приведенного произведения Джеймса .
Одним из его существенных приложений является теорема Дольда-Тома , утверждающая, что гомотопические группы бесконечного симметричного произведения связного комплекса CW такие же, как и приведенные группы гомологии этого комплекса. Таким образом, можно дать гомотопическое определение гомологии .
Определение [ править ]
Пусть X — топологическое пространство и n ≥ 1 — натуральное число. Определите n й симметричное произведение X или n -кратное симметричное произведение X как пространство
Здесь симметрическая группа Sn действует на X н путем перестановки факторов. Следовательно, элементы SP н ( X — неупорядоченные n -кортежи элементов X. ) Напишите [ x 1 , ..., x n ] для точки в SP. н ( X ) определяется формулой ( x 1 , ..., x n ) ∈ X н .
Обратите внимание, что можно определить n й симметричный продукт в любой категории , где существуют продукты и копределы . А именно, тогда существует канонический изоморфизм φ : X × Y → Y × X для любых объектов X и Y и можно определить действие транспозиции на Х н как тем самым индуцируя действие всего Sn , на X н . Это означает, что можно рассматривать симметричные произведения объектов, такие как симплициальные множества и . Более того, если категория является декартово замкнутой , то имеет место дистрибутивный закон X × ( Y ∐ Z ) ≅ X × Y ∐ X × Z , и, следовательно, можно получить
Если ( X , e ) является базовым пространством, обычно устанавливают SP 0 ( Икс ) знак равно { е }. Далее, Х н затем может быть встроен в X п +1 отправив ( x 1 , ..., x n ) в ( x 1 , ..., x n , e ). Это явно приводит к встраиванию SP н ( X ) в SP п +1 ( ИКС ). Следовательно, бесконечное симметричное произведение можно определить как
Определение, избегающее теоретико-категорных понятий, можно дать, взяв SP( X ) за объединение возрастающей последовательности пространств SP. н ( X ) оснащен топологией прямого предела . Это означает, что подмножество SP( X ) открыто тогда и только тогда, когда все его пересечения с SP н ( X ) открыты. Мы определяем базовую точку SP( X ) как [ e ]. Таким образом, SP( X ) также становится базируемым пространством.
Это определение можно также обобщить на указанные категории , в которых существуют произведения и копределы. А именно, в этом случае имеется каноническое отображение X н → Х п +1 , индуцированный тождеством X н → Х н и нулевое отображение X н → Х. Таким образом, это также приводит к прямой системе симметричных произведений, и поэтому ее копредел можно определить как бесконечное симметричное произведение.
Примеры [ править ]
- СП н ( I ) совпадает с n -мерным стандартным симплексом ∆ н , где I обозначает единичный интервал.
- СП н ( С 1 пространством классов сопряженности унитарных ) можно отождествить с n × n -матриц , где S 1 должен быть круг. Это связано с тем, что такой класс однозначно определяется собственными значениями элемента класса, лежащими в S. 1 . На первый взгляд легко увидеть, что это пространство гомотопически эквивалентно S 1 : Как СП н является гомотопическим функтором (см. Свойства ), рассматриваемое пространство гомотопически эквивалентно SP н ( С − {0}). Рассмотрим отображение SP н ( C − {0}) → P n в пространство P n многочленов над C степени не выше n , отображая [ w 1 , ..., w n ] в ( z - w 1 ) ⋅⋅ ⋅ ( z - ш н ). Таким образом, можно идентифицировать SP. н ( C − {0}) с пространством приведенных многочленов степени n, имеющим постоянный член, отличный от нуля, т.е. C п - 1 × ( C − {0}), что гомотопически эквивалентно S 1 . Отсюда следует, что бесконечное симметричное произведение SP( S 1 ) гомотопически эквивалентен S 1 также. Однако о космической СП известно значительно больше. н ( С 1 ). А именно, что карта — расслоение , слой которого гомеоморфен ( n − 1)-мерному стандартному симплексу ∆ п -1 . Оно ориентируемо тогда и только тогда, когда n нечетно. [1] [2]
- СП( С 2 ) гомеоморфно бесконечномерному комплексному проективному пространству CP ∞ следующим образом: Пространство CP н можно отождествить с пространством ненулевых полиномов степени не выше n над C отправив 0 с точностью до скалярного умножения , + ... + a n z н к линии, проходящей через ( a 0 , ..., an n ). Интерпретация S 2 поскольку сфера Римана C ∪ {∞} дает отображение где возможные множители z + ∞ опущены. Можно проверить, что это отображение действительно непрерывно. [3] Поскольку f ( a 1 , ..., ) an остается неизменным при перестановке a i , f индуцирует непрерывную биекцию SP н (С 2 ) → КП н . Но поскольку оба являются хаусдорфовыми пространствами , это отображение является гомеоморфизмом . Устремление n к бесконечности показывает, что утверждение верно.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/de/Sp2%28sn%29.png/350px-Sp2%28sn%29.png)
Хотя вычисление SP( S н ) при n ≥ 3 оказывается весьма затруднительным, все же можно описать SP 2 ( С н ) вполне так же, как конус отображения отображения Σ н РП n-1 → С н , где Σ н означает применение уменьшенной подвески n раз и RP п -1 — это ( n − 1)-мерное реальное проективное пространство : можно рассматривать SP 2 ( С н ) как определенное частное от D н × Д н определив S н с Д н /∂ D н . Интерпретация D н × Д н как конус на своей границе D н × ∂ D н ∪ ∂ D н × Д н , идентификации для SP 2 уважайте концентрические копии границы. Следовательно, достаточно рассмотреть только их. Отождествления на границе ∂ D н × Д н ∪ Д н × ∂ D н из D н × Д н сам по себе дает S н . Это понятно, поскольку это частное от D н × ∂ D н и поскольку ∂ D н свернуто в одну точку в S н . Отождествления на других концентрических копиях границы дают фактор-пространство Z группы D н × ∂ D н , полученный путем отождествления ( x , y ) с ( y , x ) всякий раз, когда обе координаты лежат в ∂ D н . Определить отображение f : D н × РП п -1 → Z , отправив пару ( x , L ) в ( w , z ). Здесь z ∈ ∂ D н и w ∈ D н выбираются на линии, проходящей через x, параллельной L, так, что x является их серединой. Если x является серединой отрезка zz' , невозможно отличить z от w , но это не проблема, поскольку принимает значения в факторпространстве Z. f Следовательно, f корректно определен. Поскольку f ( x , L ) = f ( x , L′ ) имеет место для каждого x ∈ ∂ D н , f множит через Σ н РП п -1 и, как легко видеть, является гомеоморфизмом в этой области.
Свойства [ править ]
Структура H-пространства [ править ]
Поскольку SP( X ) является свободным коммутативным моноидом, порожденным X − { e } с единичным элементом e , его можно рассматривать как коммутативный аналог приведенного произведения Джеймса J ( X ). Это означает, что SP( X ) — это фактор J ( X ), полученный путем идентификации точек, которые отличаются только перестановкой координат. Следовательно, структура H-пространства на J ( X ) индуцирует структуру на SP( X ), если X является комплексом CW, что делает его коммутативным и ассоциативным H-пространством со строгой идентичностью. Таким образом, из теоремы Долда-Тома следует, что все ее k -инварианты равны нулю, а это означает, что оно имеет слабый гомотопический тип обобщенного пространства Эйленберга-Маклейна, если X линейно связно. [4] Однако, если X — произвольное пространство, умножение на SP( X ) может не быть непрерывным. [5]
Функциональность [ править ]
СП н является гомотопическим функтором: отображение f : X → Y , очевидно, индуцирует отображение SP н ( ж ) : СП н ( Икс ) → СП н ( Y ), заданный SP н ( ж )[ Икс 1 , ..., Икс п ] знак равно [ ж ( Икс 1 ), ..., ж ( Икс п )]. Гомотопия между двумя отображениями f , g : X → Y дает гомотопию между SP н ( f ) и SP н ( г ). Также легко видеть, что диаграмма
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8b/Functoriality_%282%29.svg/200px-Functoriality_%282%29.svg.png)
коммутирует, а это означает, что SP является функтором также . Точно так же SP является даже гомотопическим функтором в категории точечных пространств и гомотопических классов отображений, сохраняющих базовую точку. В частности, из X ≃ Y следует SP н ( Икс ) ≃ СП н ( Y ), но, как правило, не SP( X ) ≃ SP( Y ), поскольку на гомотопическую эквивалентность может повлиять требование, чтобы отображения и гомотопии сохраняли базовую точку. Однако это не тот случай, если требуется, чтобы X и Y были соединены комплексами CW. [6]
Симплициальная и CW-структура [ править ]
SP( X ) наследует определенные структуры X : для симплициального комплекса X можно также установить симплициальную структуру на X н такая, что каждая n -перестановка является либо тождеством на симплексе, либо гомеоморфизмом одного симплекса в другой. Это означает, что на SP получается симплициальная структура. н ( ИКС ). Кроме того, СП н ( X ) также является подсимплексом SP п +1 ( X ), если базовая точка e ∈ X является вершиной, а это означает, что SP( X ) наследует симплициальную структуру и в этом случае. [7] Однако следует отметить, что X н и СП н ( X ) не обязательно должны иметь слабую топологию, если X имеет несчетное количество симплексов. [8] Аналогичное утверждение можно сделать, если X — комплекс CW. ) все еще возможно снабдить Тем не менее, SP( X структурой CW-комплекса так, чтобы обе топологии имели одинаковые компакты, если X — произвольный симплициальный комплекс. [9] Таким образом, различие между двумя топологиями не приведет к каким-либо различиям с точки зрения гомотопии, например
Гомотопия [ править ]
Одним из основных применений бесконечных симметричных произведений является теорема Долда-Тома. В нем утверждается, что приведенные группы гомологий совпадают с гомотопическими группами бесконечного симметричного произведения связного комплекса CW. Это позволяет переформулировать гомологии только с использованием гомотопии, что может быть очень полезно в алгебраической геометрии . Это также означает, что функтор SP отображает пространства Мура M ( G , n ) в пространства Эйленберга-Маклейна K ( G , n ). Следовательно, это дает естественный способ построить последние пространства, учитывая собственные пространства Мура.
Также было изучено, как другие конструкции в сочетании с бесконечным симметричным произведением влияют на гомотопические группы. Например, было показано, что карта
является слабой гомотопической эквивалентностью, где Σ X = X ∧ S 1 обозначает приведенную подвеску, а Ω Y обозначает пространство петель точечного пространства Y . [10]
Гомология [ править ]
Неудивительно, что группы гомологии симметричного произведения не могут быть описаны так же легко, как гомотопические группы. Тем не менее известно, что группы гомологии симметричного произведения комплекса CW определяются группами гомологии комплекса. Точнее, если X и Y — комплексы CW, а R — область главных идеалов такая, что H i ( X , R ) ≅ H i ( Y , R ) для всех i ⩽ k , то H i (SP н ( Икс ), р ) ≅ ЧАС я (SP н ( Y ), R ) также верно для всех i ≤ k . Это можно обобщить на Γ-произведения, определенные в следующем разделе. [11]
для симплициального множества K Кроме того,
Переходя к геометрическим реализациям , видим, что это утверждение справедливо и для связных комплексов CW. [12] Кроме того, индукция дает
Сопутствующие конструкции и обобщения [ править ]
С. Ляо ввел несколько более общую версию симметричных произведений, названную Γ-произведениями для подгруппы Γ симметрической Sn группы . [14] Операция была такой же, и поэтому он определил X С = Х н /Γ как Γ-произведение X . Это позволило ему изучить циклические произведения , причем особый случай, когда Γ является циклической группой также .
При установлении теоремы Дольда-Тома они также рассматривали «факторгруппу» Z [ X ] группы SP( X ). Это свободная абелева группа над X с базовой точкой в качестве нулевого элемента. Если X — комплекс CW, это даже топологическая группа . Чтобы снабдить эту группу топологией, Дольд и Том первоначально ввели ее как следующий фактор по бесконечному симметричному произведению клиновой суммы X с его копией: Пусть τ : X ∨ X → X ∨ X меняет местами слагаемые. Кроме того, пусть ~ будет отношением эквивалентности на SP( X ∨ X ), порожденным
для x , y ∈ SP( X ∨ X ). Тогда можно определить Z [ X ] как
Поскольку ~ совместимо со сложением в SP( X ∨ X ), получается ассоциативное и коммутативное сложение на Z [ X ]. Имеются также топологические включения X ⊂ SP( X ) ⊂ Z [ X ] [15] и легко видеть, что эта конструкция имеет свойства, аналогичные свойствам SP, например, быть функтором.
МакКорд дал конструкцию, обобщающую SP( X ) и Z [ X ]: пусть G — моноид с единичным элементом 1 и пусть ( X , e ) — точечное множество. Определять
Тогда B ( G , X ) снова является моноидом при поточечном умножении, которое будем обозначать ⋅. Пусть gx обозначает элемент B ( G , X ), принимающий значение g в точке x и равный 1 в другом месте для g ∈ G , x ∈ X − { e }. Более того, ge будет обозначать функцию, всюду равную 1, единицу B ( G , X ).
Чтобы установить топологию на B ( G , X ), нужно потребовать, чтобы X было компактно порождено и чтобы G был абелевым топологическим моноидом . Определите B n ( G , X ) как подмножество B ( G , X ), состоящее из всех карт, которые отличаются от постоянной функции 1 не более чем в n точках. B n ( G , X ) получает окончательную топологию карты.
Теперь B n ( G , X ) является замкнутым подмножеством B n+1 ( G , X ). [16] Тогда B ( G , X ) можно снабдить топологией прямого предела, что снова сделает его компактно порожденным пространством. Затем можно отождествить SP( X ) соответственно Z [ X ] с B ( N , X ) соответственно B ( Z , X ).
Более того, B (⋅,⋅) функториален в том смысле, что B : C × D → C является бифунктором, поскольку C — категория абелевых топологических моноидов, а D — категория точечных CW-комплексов. [17] Здесь отображение B (φ, f ): B ( G , X ) → B ( H , Y ) для морфизма φ: G → H абелевых топологических моноидов и непрерывного отображения f : X → Y определяется как
для всех g i ∈ G и x i ∈ X . Как и в предыдущих случаях, видно, что базовая гомотопия f t : X → Y индуцирует гомотопию B (Id, f t ) : B ( G , X ) → B ( G , Y ) для абелева топологического моноида G .
Используя эту конструкцию, можно обобщить теорему Дольда-Тома. А именно, для дискретного модуля M над коммутативным кольцом с единицей имеем
для базовых пространств X и Y , имеющих гомотопический тип комплекса CW. [18] Здесь H̃ n обозначает приведенные гомологии, а [ X , Z ] обозначает множество всех базовых гомотопических классов отображений X → Z , сохраняющих базовую точку . Поскольку M — модуль, [ X , B ( M , Y )] имеет очевидную групповую структуру. Вставка X = S н и M = Z дает теорему Дольда-Тома для Z [ X ].
Примечательно также, что B ( G , S 1 ) является классифицирующим пространством для G , если G является топологической группой такой, что включение {1} → G является корасслоением . [19]
Примечания [ править ]
- ^ Мортон, Хью Р. (1967). «Симметричные произведения круга». Математические труды Кембриджского философского общества . Том. 63. Издательство Кембриджского университета. стр. 349–352.
- ^ Симметричное произведение кругов на nLab
- ^ Hatcher (2002), Example 4K.4
- ^ Дольд и Том (1958), Теорема 7.1
- ^ Спаниер (1959), сноска 2
- ^ Хэтчер (2002), стр.481
- ^ Агилар, Гитлер и Прието (2008), примечание 5.2.2.
- ^ Долд и Том (1958), 3.3
- ^ Хэтчер (2002), стр.482-483.
- ^ Спанье (1959), Теорема 10.1
- ^ Скрытый (1958), Теорема 7.2.
- ^ Милгрэм, Р. Джеймс (1969), «Гомология симметричных произведений», Труды Американского математического общества , 138 : 251–265.
- ^ Спанье (1959), Теорема 7.2.
- ^ Ляо (1954)
- ^ Долд и Том (1958), 4,7
- ^ МакКорд (1969), Лемма 6.2.
- ^ МакКорд (1969), Следствие 6.9
- ^ МакКорд (1969), Теорема 11.5.
- ^ МакКорд (1969), Теорема 9.17.
Ссылки [ править ]
- Агилар, Марсело; Гитлер, Самуэль; Прието, Карлос (2008). Алгебраическая топология с гомотопической точки зрения . Springer Science & Business Media. ISBN 978-0-387-22489-3 .
- Дольд, Альбрехт (1958), «Гомологии симметричных произведений и других функторов комплексов», Анналы математики : 54–80.
- Дольд, Альбрехт; Том, Рене (1958), «Квазирасслоения и бесконечные симметричные произведения», Annals of Mathematics , Second Series, 67 (2): 239–281, doi : 10.2307/1970005 , ISSN 0003-486X , JSTOR 1970005 , MR 0097062
- Хэтчер, Аллен (2002). Алгебраическая топология . Издательство Кембриджского университета . ISBN 978-0-521-79540-1 .
- Ляо, С.Д. (1954), «О топологии циклических произведений сфер», Труды Американского математического общества , 77 (3): 520–551.
- МакКорд, Майкл К. (1969), «Классификация пространств и бесконечных симметричных произведений», Труды Американского математического общества , 146 : 273–298.
- Пиччинини, Ренцо А. (1992). Лекции по теории гомотопии . Эльзевир. ISBN 9780080872827 .
- Спаниер, Эдвин (1959), «Бесконечные симметричные произведения, функциональные пространства и двойственность», Анналы математики : 142–198.