×

基本群和有限片覆盖。 (英语) Zbl 1181.55010号

作者摘要:“众所周知,对于连通局部路径连通半局部1-连通空间\(X\),在次\(d\)的对称群\(\ Sigma_d\)中,尖\(d\)-折叠连通覆盖与\(X\)的基群的传递表示之间存在双唯一对应。如果\(X\)是一个更一般的空间,特别是如果\(X\)不是本地连接的,则分类问题变得更加困难。为了解决一般空间的问题,引入了覆盖的几个概念,例如S.卢布金【美国数学学会翻译104、205–238(1962;Zbl 0133.16303号)]或通过R.H.福克斯【Fundam.Math.74,47-71(1972;Zbl 0232.55023号)]. 另一方面,数学文献中出现了不同的“基本群”概念,例如Brown-Grossman-Quigley基本群[E.M.布朗弗吉尼亚理工学院和州立大学拓扑委员会,1973年,Lect。数学笔记。375, 41–46 (1974;Zbl 0315.55020号)][J.W.格罗斯曼,伊利诺伊州J.数学。20, 622–625 (1976;Zbl 0329.55011)], [J.B.奎格利,Fundam。数学。77, 195-210 (1973;Zbl 0247.55010号)],Tech-Borsuk基本集团[K.Borsuk公司,Fundam。数学。62, 223–254 (1968;Zbl 0159.24603号)]和Steenrod-Quigley基本群(参见[D.爱德华兹H.黑斯廷斯,数学课堂讲稿。542.柏林-海德堡-纽约:斯普林格-弗拉格。(1976;Zbl 0334.55001号)]、和[J.B.奎格利,op.cit.]),基本profinite群或基本local群。本文的主要结果确定了不同的“基本群”,这些基本群可用于根据X的拓扑性质对给定空间的点有限张连通覆盖进行分类。”
本文的主要结果包括以下定理。
定理3.5。设\((X,X^0)\)是一个连通的紧可度量点空间。考虑集合\(n-\mathbf{坐标}_0(n)-片状连接尖覆盖物的(X,X^0)/\cong\)(p:(Y,Y^0)\rightarrow(X,X ^0)\)到覆盖同构。然后9毫米
(i)
\(n-\mathbf{坐标}_0(X,X^0)/\cong\)是形式\(pro\pi_1(X,X ^0)\rightarrow\Sigma_n\)的传递表示集的双射,
(ii)
设(F)是一个含有(n)个元素的有限集。然后\(n-\mathbf{坐标}_0(X,X^0)/\cong\)对hom-set的子集(Grp_{\mathcal)是双射的{P} c(c)\马查尔{C}_\infty}(\Pi_1^{BGQ}(X,X^0),\mathcal{P} Aut(奥特)(F) ),它与形式的可分解传递表示(\pi_1^{BGQ}(X,X^0)\rightarrow-Aut(\mathcal{P} F类)\).
(iii)
如果\((X,X^0)\)是\(S^1)-可移动的,则\(n-\mathbf{坐标}_0(X,X^0)/\cong\)是形式\(\Pi_1^{CB}(X,X^0)\rightarrow\Sigma_n\)的传递连续表示集的双射。
(iv)
如果\((X,X^0)\)是\(S^1)-可移动的,则\(n-\mathbf{坐标}_0(X,X^0)/\cong\)是形式\(\Pi_1^{SQ}(X,X^0)\rightarrow\Sigma_n\)的传递连续表示集的双射。
(v)
如果\((X,X^0)\)是本地连接的,则\(n-\mathbf{新冠肺炎}_0(X,X^0)/\cong\)是形式\(pro\pi_1(X,X ^0)\cong pro\pi_1(|\prod(Sh(X,X^O))|)\rightarrow\Sigma_n\)的传递连续表示集的双射。
(vi)
如果\((X,X^0)\)是本地连接的,则\(n-\mathbf{坐标}_0(X,X^0)/\cong\)是形式\(loc\pi_1(X,X ^0)\cong loc\pi_1(|\prod(Sh(X,X^O))|)\rightarrow loc\Sigma_n\)的传递连续表示集的双射。
(vii)
如果\((X,X^0)\)是本地连接的,则\(n-\mathbf{坐标}_0(X,X^0)/\cong\)是形式\(\Pi_1^{CB}(X,X^0)\rightarrow\Sigma_n\)的传递连续表示集的双射。
(viii)
如果\((X,X^0)\)是本地路径连接的,则\(n-\mathbf{坐标}_0(X,X^0)/\cong\)对形式为\(\Pi_1^{Sp}(X,X_0)\rightarrow\ Sigma_n\)的传递连续表示集是双射的。
(ix)
如果\((X,X^0)\)是本地路径连接的,则\(n-\mathbf{坐标}_0(X,X^0)/\cong\)是形式\(pro\pi_1^{Sp}(X,X_0)\rightarrow\Sigma_n\)的传递连续表示集的双射。
(x)
如果\((X,X^0)\)是本地路径连接的,并且是半本地1-连接的,那么\(n-\mathbf{坐标}_0(X,X^0)/\cong\)是形式\(\pi_1(X,X^O)\rightarrow\Sigma_n\)的传递连续表示集的双射。

MSC公司:

55页57页 真同伦理论
55问题52 特殊空间的同伦群
70年第55季度 特殊类型的同伦群
55页第55页 形状理论
55单位40 拓扑范畴,同伦理论的基础
2007年第55季度 形状组
55兰特65 代数拓扑中纤维空间和纤维束的推广
57M10个 覆盖空间和低维拓扑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Lubkin,S.,覆盖空间理论,Trans。阿默尔。数学。Soc.,104,205-238(1962年)·Zbl 0133.16303号
[2] 阿廷,M。;Mazur,B.,Etale同伦,(数学笔记,第100卷(1967),Springer-Verlay:Springer-Verlay Berlin)·兹比尔0182.26001
[3] Fox,R.,《论形状,基金》。数学。,74, 47-71 (1972) ·Zbl 0232.55023号
[4] Fox,R.,形状理论和覆盖空间,(拓扑会议,拓扑会议,数学笔记,第375卷(1974),Springer-Verlag:Springer-Verlag纽约),71-90·Zbl 0288.55011号
[5] 格罗森迪克,A.,Revétements etales et groupe fondamental,(SGA1)。SGA1,莱克特。数学笔记。,第222卷(1971年),斯普林格·弗拉格:纽约斯普林格尔·弗拉格),77-90
[6] Moerdijk,I.,前离散群和伽罗瓦拓扑,Proc。Koninklijke Nederlandse Akademie van Wetenschappen,92,219-234(1989)·Zbl 0687.18004号
[7] Hernández,L.J.,《基本面支持和覆盖预测》,基金。数学。,156, 1-31 (1998) ·Zbl 0906.55008号
[8] 埃尔南德斯,L.J。;Ardanza-Trevijano,S.,具有结构范畴的基本子群和丛,拓扑应用。,92, 85-99 (1999) ·Zbl 0933.55018号
[9] Mardešić,S。;Matijević,V.,分类拓扑空间的覆盖结构,拓扑应用。,113, 167-209 (2001) ·Zbl 0989.57002号
[10] Eda,K。;Mandić,J。;Matijević,V.,非自覆盖空间的类圆环continua,Topology Appl。,114/2, 359-369 (2005) ·Zbl 1086.57003号
[11] Dubuc,E.,局部伽罗瓦理论,高级数学。,144-167 (2003) ·兹比尔1027.18003
[12] Dubuc,E.,《关于伽罗瓦和原子拓扑的表示理论》,J.Pure Appl。代数,186,233-275(2004)·Zbl 1037.18002号
[13] Dubuc,E.,一般拓扑的基本程序,J.Pure Appl。代数,2122479-2492(2008)·Zbl 1155.18001号
[14] Meldrum,J.D.P.,《Near-rings and their Links with Groups》(1985年),皮特曼出版公司·Zbl 0658.16029号
[15] Pilz,G.,Near rings(1977),北荷兰人/美国爱思唯尔·兹比尔0505.16015
[16] 爱德华兹。;黑斯廷斯,H.,采奇和斯蒂恩罗德同伦理论及其在几何拓扑中的应用(数学讲义,第542卷(1976年),斯普林格-Verlag)·Zbl 0334.55001号
[17] Mardešić,S。;Segal,J.,《形状理论——逆极限方法》(1982年),北荷兰·Zbl 0495.55001号
[18] 科迪尔,J.M。;Porter,T.,《形状理论,近似的范畴方法》(《数学中的Ellis-Horwood级数及其应用》(1989))·Zbl 0663.18001号
[19] Quillen,D.G.,(同伦代数.同伦代数,数学笔记,第43卷(1967),Springer-Verlag:Springer-Verlag纽约)·Zbl 0168.20903号
[20] 波特,T.,采奇同伦I,J.伦敦数学。Soc.,6429-436(1973)·Zbl 0254.55012号
[21] Dowker,C.H.,《同源群与关系》,《数学年鉴》。,5644-95(1952年)·Zbl 0046.40402号
[22] Spanier,E.H.,《代数拓扑》(1966),麦格劳·希尔·Zbl 0145.43303号
[23] Brown,E.M.,关于单形复形的适当同伦类型,(拓扑会议,拓扑会议,数学注释,第375卷(1975),Springer-Verlag:Springer-Verlag New York),41-46
[24] Grossman,J.W.,前空间的同伦群,伊利诺伊州数学杂志。,20622-625(1976年)·Zbl 0329.55011
[25] Quigley,J.B.,《从第(n-)个到第(n-1)个基本群的精确序列》,基金。数学。,77, 195-210 (1973) ·Zbl 0247.55010号
[26] García Calcines,J.M。;Gracía-Pinillos,M。;Hernández,L.J.,正确同伦和形状理论的封闭模型范畴,布尔。澳大利亚。数学。《社会学杂志》,57,2,221-242(1998)·Zbl 0907.55017号
[27] 波特,T.,采奇和斯蒂恩罗德同伦以及强形状和真同伦理论中的奎格利精确偶,J.Pure Appl。代数,24,303-312(1983)·兹比尔0485.5009
[28] García Calcines,J.M。;García Pinillos,M。;Hernández,L.J.,正确同伦和形状理论的封闭模型范畴,布尔。南方的。数学。《社会学杂志》,57,2,221-242(1998)·Zbl 0907.55017号
[29] García Calcines,J.M。;García Pinillos,M。;Hernández,L.J.,外同伦和真同伦的闭单形模型结构,应用。类别。结构,12,3,225-243(2004)·兹比尔1071.55007
[30] Borsuk,K.,关于紧集的同伦性质,Fund。数学。,62, 223-254 (1968) ·Zbl 0159.24603号
[31] 南卡罗来纳州麦克莱恩。;Moerdijk,I.,《几何和逻辑中的滑轮》(1992),斯普林格·弗拉格出版社·Zbl 0822.18001号
[32] Hernández,L.J.,单形集在真同伦和强形状理论中的应用,Trans。阿默尔。数学。Soc.,347,2363-409(1995)·Zbl 0855.55007号
[33] García Pinillos,M。;埃尔南德斯,L.J。;Rivas Rodríguez,M.T.,《精确序列和闭合模型类别》,应用。类别。结构(2009)
[34] Hernández,L.J.,Brown(P)函子的函数和代数性质,理论应用。类别。,1, 2, 10-53 (1995) ·Zbl 0849.57001号
[35] 坎农,J.W。;Conner,G.R.,夏威夷耳环群的组合结构,拓扑应用。,106, 225-271 (2000) ·Zbl 0955.57002号
[36] 摩根·J·W·。;Morrison,I.,关于弱连接的van kampen定理,Proc。伦敦数学。《社会》,53,562-576(1986)·Zbl 0609.57002号
[37] 德史密特,夏威夷耳环的基本组不是免费的,国际。代数计算杂志。,2, 33-37 (1992) ·Zbl 0738.20033号
[39] 埃尔南德斯,L.J。;波特,T.,《Brown-Grossman真同伦群的全局类比》,数学。程序。外倾角。菲尔学会,104483-496(1988)·Zbl 0669.55009号
[40] B.休斯。;Ranicki,A.,《复合物的终结》(剑桥数学丛书(1996),剑桥大学出版社)·Zbl 0876.57001号
[41] Cathey,F.,强形状理论,(形状理论和几何拓扑,形状理论和几何学拓扑,数学笔记,第870卷(1981),Springer-Verlag:Springer-Verlag New York),215-238·Zbl 0505.55020号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。